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 aSatisfied
property 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.