Uses of Package
io.vavr.test
Packages that use io.vavr.test
Package
Description
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Classes in io.vavr.test used by io.vavr.testClassDescriptionRepresents an arbitrary object of type T.Interface for checkable properties, allowing composition via Checkable.and(Checkable) and Checkable.or(Checkable).Represents the result of a property check which is
Satisfied, if all tests satisfied the given propertyFalsified, if a counter-example could be discovered that falsified the given propertyErroneous, if an exception occurred executing the property check Please note that aSatisfiedproperty check may beExhausted, if the property is an implication and no sample could be found that satisfied the pre-condition.Generators are the building blocks for providing arbitrary objects.A property builder which provides a fluent API to build checkable properties.Internally used to provide more specific error messages.Internally used to model conditions composed of pre- and post-condition.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a logical for all quantor.Represents a 1-ary checkable property.Represents a 2-ary checkable property.Represents a 3-ary checkable property.Represents a 4-ary checkable property.Represents a 5-ary checkable property.Represents a 6-ary checkable property.Represents a 7-ary checkable property.Represents a 8-ary checkable property.