Package io.vavr.test
Class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>
java.lang.Object
io.vavr.test.Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>
- Type Parameters:
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantorT3
- 3rd variable type of this for all quantorT4
- 4th variable type of this for all quantorT5
- 5th variable type of this for all quantorT6
- 6th variable type of this for all quantorT7
- 7th variable type of this for all quantorT8
- 8th variable type of this for all quantor
- Enclosing class:
Property
Represents a logical for all quantor.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
name
-
a1
-
a2
-
a3
-
a4
-
a5
-
a6
-
a7
-
a8
-
-
Constructor Details
-
ForAll8
-
-
Method Details
-
suchThat
public Property.Property8<T1,T2, suchThatT3, T4, T5, T6, T7, T8> (CheckedFunction8<T1, T2, T3, T4, T5, T6, T7, T8, Boolean> predicate) Returns a checkable property that checks values of the 8 variables of thisForAll
quantor.- Parameters:
predicate
- A 8-ary predicate- Returns:
- a new
Property8
of 8 variables.
-