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
public static class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> extends java.lang.Object
Represents a logical for all quantor.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>
suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,java.lang.Boolean> predicate)
Returns a checkable property that checks values of the 8 variables of thisForAll
quantor.
-
-
-
Method Detail
-
suchThat
public Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,java.lang.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.
-
-