io.vavr.test.Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>

Type Parameters:: T1 - 1st variable type of this for all quantor; T2 - 2nd variable type of this for all quantor; T3 - 3rd variable type of this for all quantor; T4 - 4th variable type of this for all quantor; T5 - 5th variable type of this for all quantor; T6 - 6th variable type of this for all quantor; T7 - 7th variable type of this for all quantor; T8 - 8th variable type of this for all quantor

public static class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> extends Object

Represents a logical for all quantor.

Field Details
- name
  
  private final String name
- a1
  
  private final Arbitrary<T1> a1
- a2
  
  private final Arbitrary<T2> a2
- a3
  
  private final Arbitrary<T3> a3
- a4
  
  private final Arbitrary<T4> a4
- a5
  
  private final Arbitrary<T5> a5
- a6
  
  private final Arbitrary<T6> a6
- a7
  
  private final Arbitrary<T7> a7
- a8
  
  private final Arbitrary<T8> a8
Constructor Details
- ForAll8
  
  ForAll8(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8)
Method Details
- suchThat
  
  public Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> predicate)
  
  Returns a checkable property that checks values of the 8 variables of this ForAll quantor.
  
  Parameters:
  
  predicate - A 8-ary predicate
  
  Returns:
  
  a new Property8 of 8 variables.

Class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>

Field Summary