Package io.vavr.test
Class Property.ForAll2<T1,T2>
java.lang.Object
io.vavr.test.Property.ForAll2<T1,T2>
- Type Parameters:
T1
- 1st variable type of this for all quantorT2
- 2nd variable type of this for all quantor
- Enclosing class:
Property
Represents a logical for all quantor.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionsuchThat
(CheckedFunction2<T1, T2, Boolean> predicate) Returns a checkable property that checks values of the 2 variables of thisForAll
quantor.
-
Field Details
-
name
-
a1
-
a2
-
-
Constructor Details
-
ForAll2
-
-
Method Details
-
suchThat
Returns a checkable property that checks values of the 2 variables of thisForAll
quantor.- Parameters:
predicate
- A 2-ary predicate- Returns:
- a new
Property2
of 2 variables.
-