Package net.jqwik.api

Interface Combinators.Combinator4<T1 extends @Nullable Object,T2 extends @Nullable Object,T3 extends @Nullable Object,T4 extends @Nullable Object>

Enclosing class:
Combinators
public static interface Combinators.Combinator4<T1 extends @Nullable Object,T2 extends @Nullable Object,T3 extends @Nullable Object,T4 extends @Nullable Object>
Combinator for four values.

  • Method Details

    • as

      <R extends @Nullable Object> Arbitrary<R> as(Combinators.F4<? super T1,? super T2,? super T3,? super T4,? extends 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<? super T1,? super T2,? super T3,? super T4,Boolean> filter)
      Filter four 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.F4<? super T1,? super T2,? super T3,? super T4,? extends Arbitrary<R>> flatCombinator)
      Combine four values to create a new arbitrary.
      Type Parameters:
      R - return type of arbitrary
      Parameters:
      flatCombinator - function
      Returns:
      arbitrary instance