Package io.vavr.test
Class Property.ForAll1<T1>
java.lang.Object
io.vavr.test.Property.ForAll1<T1>
- Type Parameters:
T1
- 1st 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
(CheckedFunction1<T1, Boolean> predicate) Returns a checkable property that checks values of the 1 variables of thisForAll
quantor.
-
Field Details
-
name
-
a1
-
-
Constructor Details
-
ForAll1
-
-
Method Details
-
suchThat
Returns a checkable property that checks values of the 1 variables of thisForAll
quantor.- Parameters:
predicate
- A 1-ary predicate- Returns:
- a new
Property1
of 1 variables.
-