Package io.vavr.test
Class Property.ForAll3<T1,T2,T3>
- java.lang.Object
-
- io.vavr.test.Property.ForAll3<T1,T2,T3>
-
- 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 quantor
- Enclosing class:
- Property
public static class Property.ForAll3<T1,T2,T3> extends java.lang.Object
Represents a logical for all quantor.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Property.Property3<T1,T2,T3>
suchThat(CheckedFunction3<T1,T2,T3,java.lang.Boolean> predicate)
Returns a checkable property that checks values of the 3 variables of thisForAll
quantor.
-
-
-
Method Detail
-
suchThat
public Property.Property3<T1,T2,T3> suchThat(CheckedFunction3<T1,T2,T3,java.lang.Boolean> predicate)
Returns a checkable property that checks values of the 3 variables of thisForAll
quantor.- Parameters:
predicate
- A 3-ary predicate- Returns:
- a new
Property3
of 3 variables.
-
-