Package net.jqwik.api

Interface Combinators.Combinator4<T1,T2,T3,T4>

Enclosing class:

Combinators

public static interface Combinators.Combinator4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4>

Combinator for four values.

Method Summary

Modifier and Type	Method	Description
<@Nullable R> Arbitrary<R>	as(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable R> combinator)	Combine four values.
Combinators.Combinator4<T1,T2,T3,T4>	filter(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,Boolean> filter)	Filter four values to only let them pass if the predicate is true.
default <@Nullable R> Arbitrary<R>	flatAs(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,Arbitrary<@Nullable R>> flatCombinator)	Combine four values to create a new arbitrary.

Method Details

as

<@Nullable R> Arbitrary<R> as(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable R> combinator)

Combine four values.

Type Parameters:

R - return type

Parameters:

combinator - function

Returns:

arbitrary instance

filter

@API(status=MAINTAINED,
     since="1.8.0")
Combinators.Combinator4<T1,T2,T3,T4> filter(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,Boolean> filter)

Filter four values to only let them pass if the predicate is true.

Parameters:

filter - function

Returns:

combinator instance

flatAs

default <@Nullable R> Arbitrary<R> flatAs(Combinators.F4<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,Arbitrary<@Nullable R>> flatCombinator)

Combine four values to create a new arbitrary.

Type Parameters:

R - return type of arbitrary

Parameters:

flatCombinator - function

Returns:

arbitrary instance