Package io.vavr.test

Class 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.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private Arbitrary<T1> a1  
      private java.lang.String name  
    • Constructor Summary

      Constructors 
      Constructor Description
      ForAll1​(java.lang.String name, Arbitrary<T1> a1)  
    • 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 this ForAll quantor.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • name

        private final java.lang.String name
    • Constructor Detail

      • ForAll1

        ForAll1​(java.lang.String name,
                Arbitrary<T1> a1)
    • 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 this ForAll quantor.
        Parameters:
        predicate - A 1-ary predicate
        Returns:
        a new Property1 of 1 variables.