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 <@Nullable T> Combinators.ListCombinator<T>	combine(List<Arbitrary<@Nullable T>> listOfArbitraries)	Combine a list of arbitraries into one.
static <@Nullable T1, @Nullable T2> Combinators.Combinator2<T1,T2>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2)	Combine 2 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3> Combinators.Combinator3<T1,T2,T3>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3)	Combine 3 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3, @Nullable T4> Combinators.Combinator4<T1,T2,T3,T4>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3, Arbitrary<@Nullable T4> a4)	Combine 4 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3, @Nullable T4, @Nullable T5> Combinators.Combinator5<T1,T2,T3,T4,T5>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3, Arbitrary<@Nullable T4> a4, Arbitrary<@Nullable T5> a5)	Combine 5 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3, @Nullable T4, @Nullable T5, @Nullable T6> Combinators.Combinator6<T1,T2,T3,T4,T5,T6>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3, Arbitrary<@Nullable T4> a4, Arbitrary<@Nullable T5> a5, Arbitrary<@Nullable T6> a6)	Combine 6 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3, @Nullable T4, @Nullable T5, @Nullable T6, @Nullable T7> Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3, Arbitrary<@Nullable T4> a4, Arbitrary<@Nullable T5> a5, Arbitrary<@Nullable T6> a6, Arbitrary<@Nullable T7> a7)	Combine 7 arbitraries into one.
static <@Nullable T1, @Nullable T2, @Nullable T3, @Nullable T4, @Nullable T5, @Nullable T6, @Nullable T7, @Nullable T8> Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8>	combine(Arbitrary<@Nullable T1> a1, Arbitrary<@Nullable T2> a2, Arbitrary<@Nullable T3> a3, Arbitrary<@Nullable T4> a4, Arbitrary<@Nullable T5> a5, Arbitrary<@Nullable T6> a6, Arbitrary<@Nullable T7> a7, Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2>
Combinators.Combinator2<T1,T2> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3>
Combinators.Combinator3<T1,T2,T3> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3,
@Nullable T4>
Combinators.Combinator4<T1,T2,T3,T4> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable T3> a3,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3,
@Nullable T4,
@Nullable T5>
Combinators.Combinator5<T1,T2,T3,T4,T5> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable T3> a3,
 Arbitrary<@Nullable T4> a4,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3,
@Nullable T4,
@Nullable T5,
@Nullable T6>
Combinators.Combinator6<T1,T2,T3,T4,T5,T6> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable T3> a3,
 Arbitrary<@Nullable T4> a4,
 Arbitrary<@Nullable T5> a5,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3,
@Nullable T4,
@Nullable T5,
@Nullable T6,
@Nullable T7>
Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable T3> a3,
 Arbitrary<@Nullable T4> a4,
 Arbitrary<@Nullable T5> a5,
 Arbitrary<@Nullable T6> a6,
 Arbitrary<@Nullable 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 <@Nullable T1,
@Nullable T2,
@Nullable T3,
@Nullable T4,
@Nullable T5,
@Nullable T6,
@Nullable T7,
@Nullable T8>
Combinators.Combinator8<T1,T2,T3,T4,T5,T6,T7,T8> combine(Arbitrary<@Nullable T1> a1,
 Arbitrary<@Nullable T2> a2,
 Arbitrary<@Nullable T3> a3,
 Arbitrary<@Nullable T4> a4,
 Arbitrary<@Nullable T5> a5,
 Arbitrary<@Nullable T6> a6,
 Arbitrary<@Nullable T7> a7,
 Arbitrary<@Nullable 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 <@Nullable T>
Combinators.ListCombinator<T> combine(List<Arbitrary<@Nullable 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>)