Package net.jqwik.api

Class Combinators

java.lang.Object

net.jqwik.api.Combinators

@API(status=MAINTAINED,
     since="1.0")
public class Combinators
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Combinators.Combinator2<T1,T2>	Combinator for two values.
static class	Combinators.Combinator3<T1,T2,T3>	Combinator for three values.
static class	Combinators.Combinator4<T1,T2,T3,T4>	Combinator for four values.
static class	Combinators.Combinator5<T1,T2,T3,T4,T5>	Combinator for five values.
static class	Combinators.Combinator6<T1,T2,T3,T4,T5,T6>	Combinator for six values.
static class	Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7>	Combinator for seven values.
static class	Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8>	Combinator for eight values.
static class	Combinators.CombinatorsFacade
static interface	Combinators.F2<T1,T2,R>
static interface	Combinators.F3<T1,T2,T3,R>
static interface	Combinators.F4<T1,T2,T3,T4,R>
static interface	Combinators.F5<T1,T2,T3,T4,T5,R>
static interface	Combinators.F6<T1,T2,T3,T4,T5,T6,R>
static interface	Combinators.F7<T1,T2,T3,T4,T5,T6,T7,R>
static interface	Combinators.F8<T1,T2,T3,T4,T5,T6,T7,T8,R>
static class	Combinators.ListCombinator<T>	Combinator for any number of values.

Method Summary

Modifier and Type	Method	Description
static <T> Combinators.ListCombinator<T>	combine(java.util.List<Arbitrary<T>> listOfArbitraries)	Combine a list of arbitraries into one.
static <T1,T2> Combinators.Combinator2<T1,T2>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2)	Combine 2 arbitraries into one.
static <T1,T2,T3> Combinators.Combinator3<T1,T2,T3>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)	Combine 3 arbitraries into one.
static <T1,T2,T3,T4> Combinators.Combinator4<T1,T2,T3,T4>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4)	Combine 4 arbitraries into one.
static <T1,T2,T3,T4,T5> Combinators.Combinator5<T1,T2,T3,T4,T5>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5)	Combine 5 arbitraries into one.
static <T1,T2,T3,T4,T5,T6> Combinators.Combinator6<T1,T2,T3,T4,T5,T6>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6)	Combine 6 arbitraries into one.
static <T1,T2,T3,T4,T5,T6,T7> Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7)	Combine 7 arbitraries into one.
static <T1,T2,T3,T4,T5,T6,T7,T8> Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8)	Combine 8 arbitraries into one.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

combine

public static <T1,T2> Combinators.Combinator2<T1,T2> combine(Arbitrary<T1> a1,
                                                                         Arbitrary<T2> a2)

Combine 2 arbitraries into one.

Returns:

Combinator2 instance which can be evaluated using Combinators.Combinator2.as(net.jqwik.api.Combinators.F2<T1, T2, R>)

combine

public static <T1,T2,T3> Combinators.Combinator3<T1,T2,T3> combine(Arbitrary<T1> a1,
                                                                                           Arbitrary<T2> a2,
                                                                                           Arbitrary<T3> a3)

Combine 3 arbitraries into one.

Returns:

Combinator3 instance which can be evaluated using Combinators.Combinator3.as(net.jqwik.api.Combinators.F3<T1, T2, T3, R>)

combine

public static <T1,T2,T3,T4> Combinators.Combinator4<T1,T2,T3,T4> combine(Arbitrary<T1> a1,
                                                                                                             Arbitrary<T2> a2,
                                                                                                             Arbitrary<T3> a3,
                                                                                                             Arbitrary<T4> a4)

Combine 4 arbitraries into one.

Returns:

Combinator4 instance which can be evaluated using Combinators.Combinator4.as(net.jqwik.api.Combinators.F4<T1, T2, T3, T4, R>)

combine

public static <T1,T2,T3,T4,T5> Combinators.Combinator5<T1,T2,T3,T4,T5> combine(Arbitrary<T1> a1,
                                                                                                                               Arbitrary<T2> a2,
                                                                                                                               Arbitrary<T3> a3,
                                                                                                                               Arbitrary<T4> a4,
                                                                                                                               Arbitrary<T5> a5)

Combine 5 arbitraries into one.

Returns:

Combinator5 instance which can be evaluated using Combinators.Combinator5.as(net.jqwik.api.Combinators.F5<T1, T2, T3, T4, T5, R>)

combine

public static <T1,T2,T3,T4,T5,T6> Combinators.Combinator6<T1,T2,T3,T4,T5,T6> combine(Arbitrary<T1> a1,
                                                                                                                                                 Arbitrary<T2> a2,
                                                                                                                                                 Arbitrary<T3> a3,
                                                                                                                                                 Arbitrary<T4> a4,
                                                                                                                                                 Arbitrary<T5> a5,
                                                                                                                                                 Arbitrary<T6> a6)

Combine 6 arbitraries into one.

Returns:

Combinator6 instance which can be evaluated using Combinators.Combinator6.as(net.jqwik.api.Combinators.F6<T1, T2, T3, T4, T5, T6, R>)

combine

public static <T1,T2,T3,T4,T5,T6,T7> Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> combine(Arbitrary<T1> a1,
                                                                                                                                                                   Arbitrary<T2> a2,
                                                                                                                                                                   Arbitrary<T3> a3,
                                                                                                                                                                   Arbitrary<T4> a4,
                                                                                                                                                                   Arbitrary<T5> a5,
                                                                                                                                                                   Arbitrary<T6> a6,
                                                                                                                                                                   Arbitrary<T7> a7)

Combine 7 arbitraries into one.

Returns:

Combinator7 instance which can be evaluated using Combinators.Combinator7.as(net.jqwik.api.Combinators.F7<T1, T2, T3, T4, T5, T6, T7, R>)

combine

public static <T1,T2,T3,T4,T5,T6,T7,T8> Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> combine(Arbitrary<T1> a1,
                                                                                                                                                                                     Arbitrary<T2> a2,
                                                                                                                                                                                     Arbitrary<T3> a3,
                                                                                                                                                                                     Arbitrary<T4> a4,
                                                                                                                                                                                     Arbitrary<T5> a5,
                                                                                                                                                                                     Arbitrary<T6> a6,
                                                                                                                                                                                     Arbitrary<T7> a7,
                                                                                                                                                                                     Arbitrary<T8> a8)

Combine 8 arbitraries into one.

Returns:

Combinator8 instance which can be evaluated using Combinators.Combinator8.as(net.jqwik.api.Combinators.F8<T1, T2, T3, T4, T5, T6, T7, T8, R>)

combine

public static <T> Combinators.ListCombinator<T> combine(java.util.List<Arbitrary<T>> listOfArbitraries)

Combine a list of arbitraries into one.

Returns:

ListCombinator instance which can be evaluated using Combinators.ListCombinator.as(java.util.function.Function<java.util.List<T>, R>)