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 Object
Represents a logical for all quantor.
  • Field Details

  • Constructor Details

  • Method Details

    • suchThat

      public Property.Property1<T1> suchThat(CheckedFunction1<T1,Boolean> predicate)
      Returns a checkable property that checks values of the 1 variables of this ForAll quantor.
      Parameters:
      predicate - A 1-ary predicate
      Returns:
      a new Property1 of 1 variables.