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,T2>	Combinator for two values.
static interface	Combinators.Combinator3<T1,T2,T3>	Combinator for three values.
static interface	Combinators.Combinator4<T1,T2,T3,T4>	Combinator for four values.
static interface	Combinators.Combinator5<T1,T2,T3,T4,T5>	Combinator for five values.
static interface	Combinators.Combinator6<T1,T2,T3,T4,T5,T6>	Combinator for six values.
static interface	Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7>	Combinator for seven values.
static interface	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 interface	Combinators.ListCombinator<T>	Combinator for any number of values.

Method Summary

Modifier and Type	Method	Description
static <T> Combinators.ListCombinator<T>	combine(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 Details

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(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>)