Package net.jqwik.api

Class Combinators

java.lang.Object

net.jqwik.api.Combinators

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

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method	Description
static <T extends @Nullable Object> Combinators.ListCombinator<T>	combine(List<? extends Arbitrary<T>> listOfArbitraries)	Combine a list of arbitraries into one.
static <T1 extends @Nullable Object, T2 extends @Nullable Object> Combinators.Combinator2<T1,T2>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2)	Combine 2 arbitraries into one.
static <T1 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object> Combinators.Combinator3<T1,T2,T3>	combine(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)	Combine 3 arbitraries into one.
static <T1 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object, T4 extends @Nullable Object> 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 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object, T4 extends @Nullable Object, T5 extends @Nullable Object> 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 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object, T4 extends @Nullable Object, T5 extends @Nullable Object, T6 extends @Nullable Object> 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 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object, T4 extends @Nullable Object, T5 extends @Nullable Object, T6 extends @Nullable Object, T7 extends @Nullable Object> 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 extends @Nullable Object, T2 extends @Nullable Object, T3 extends @Nullable Object, T4 extends @Nullable Object, T5 extends @Nullable Object, T6 extends @Nullable Object, T7 extends @Nullable Object, T8 extends @Nullable Object> 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 Details

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object>
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<? super T1, ? super T2, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object,
T4 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? super T4, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object,
T4 extends @Nullable Object,
T5 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object,
T4 extends @Nullable Object,
T5 extends @Nullable Object,
T6 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object,
T4 extends @Nullable Object,
T5 extends @Nullable Object,
T6 extends @Nullable Object,
T7 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends R>)

combine

public static <T1 extends @Nullable Object,
T2 extends @Nullable Object,
T3 extends @Nullable Object,
T4 extends @Nullable Object,
T5 extends @Nullable Object,
T6 extends @Nullable Object,
T7 extends @Nullable Object,
T8 extends @Nullable Object>
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<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? super T8, ? extends R>)

combine

public static <T extends @Nullable Object>
Combinators.ListCombinator<T> combine(List<? extends 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<? super java.util.List<T>, ? extends R>)