Package io.vavr.test

Class Property.ForAll2<T1,​T2>

  • Type Parameters:
    T1 - 1st variable type of this for all quantor
    T2 - 2nd variable type of this for all quantor
    Enclosing class:
    Property

    public static class Property.ForAll2<T1,​T2>
    extends java.lang.Object
    Represents a logical for all quantor.
    • Method Detail

      • suchThat

        public Property.Property2<T1,​T2> suchThat​(CheckedFunction2<T1,​T2,​java.lang.Boolean> predicate)
        Returns a checkable property that checks values of the 2 variables of this ForAll quantor.
        Parameters:
        predicate - A 2-ary predicate
        Returns:
        a new Property2 of 2 variables.