Package net.jqwik.api
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>
- Enclosing class:
- Combinators
public 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.
-
Method Summary
Modifier and TypeMethodDescriptionas
(Combinators.F7<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends R> combinator) Combine seven values.filter
(Combinators.F7<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, Boolean> filter) Filter seven values to only let them pass if the predicate is true.flatAs
(Combinators.F7<T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends Arbitrary<R>> flatCombinator) Combine seven values to create a new arbitrary.
-
Method Details
-
as
<R extends @Nullable Object> Arbitrary<R> as(Combinators.F7<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends R> combinator) Combine seven values.- Type Parameters:
R
- return type- Parameters:
combinator
- function- Returns:
- arbitrary instance
-
filter
@API(status=MAINTAINED, since="1.8.0") Combinators.Combinator7<T1,T2, filterT3, T4, T5, T6, T7> (Combinators.F7<? super T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, Boolean> filter) Filter seven values to only let them pass if the predicate is true.- Parameters:
filter
- function- Returns:
- combinator instance
-
flatAs
default <R extends @Nullable Object> Arbitrary<R> flatAs(Combinators.F7<T1, ? super T2, ? super T3, ? super T4, ? super T5, ? super T6, ? super T7, ? extends Arbitrary<R>> flatCombinator) Combine seven values to create a new arbitrary.- Type Parameters:
R
- return type of arbitrary- Parameters:
flatCombinator
- function- Returns:
- arbitrary instance
-