Package net.jqwik.api

Interface Combinators.Combinator7<T1,T2,T3,T4,T5,T6,T7>

Enclosing class:
Combinators
public static interface Combinators.Combinator7<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable T5,@Nullable T6,@Nullable T7>
Combinator for seven values.

  • Method Details

    • as

      <@Nullable R> Arbitrary<R> as(Combinators.F7<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable T5,@Nullable T6,@Nullable T7,@Nullable 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,T3,T4,T5,T6,T7> filter(Combinators.F7<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable T5,@Nullable T6,@Nullable T7,Boolean> filter)
      Filter seven 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.F7<@Nullable T1,@Nullable T2,@Nullable T3,@Nullable T4,@Nullable T5,@Nullable T6,@Nullable T7,Arbitrary<@Nullable R>> flatCombinator)
      Combine seven values to create a new arbitrary.
      Type Parameters:
      R - return type of arbitrary
      Parameters:
      flatCombinator - function
      Returns:
      arbitrary instance