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
public static class Property.ForAll1<T1> extends java.lang.Object
Represents a logical for all quantor.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Property.Property1<T1>
suchThat(CheckedFunction1<T1,java.lang.Boolean> predicate)
Returns a checkable property that checks values of the 1 variables of thisForAll
quantor.
-
-
-
Method Detail
-
suchThat
public Property.Property1<T1> suchThat(CheckedFunction1<T1,java.lang.Boolean> predicate)
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.
-
-