Package io.vavr.test

package io.vavr.test

A property check framework built around Property which integrates well with unit test frameworks like junit.

Related Packages

Package	Description
io.vavr	Beside API the io.vavr package contains core types like (Checked)Functions and Tuples.
io.vavr.collection	Purely functional collections based on Traversable.
io.vavr.concurrent	This package contains basic building blocks for creating fast, asynchronous, non-blocking parallel code.
io.vavr.control	Control structures like the disjoint union type Either, the optional value type Option and Try for exception handling.
io.vavr.match

Class	Description
Arbitrary<T>	Represents an arbitrary object of type T.
Checkable	Interface for checkable properties, allowing composition via Checkable.and(Checkable) and Checkable.or(Checkable).
CheckResult	Represents the result of a property check which is Satisfied, if all tests satisfied the given property Falsified, if a counter-example could be discovered that falsified the given property Erroneous, if an exception occurred executing the property check Please note that a Satisfied property check may be Exhausted, if the property is an implication and no sample could be found that satisfied the pre-condition.
CheckResult.Erroneous	Represents an erroneous property check.
CheckResult.Falsified	Represents a falsified property check.
CheckResult.Satisfied	Represents a satisfied property check.
Gen<T>	Generators are the building blocks for providing arbitrary objects.
GenModule
Property	A property builder which provides a fluent API to build checkable properties.
Property.CheckError	Internally used to provide more specific error messages.
Property.Condition	Internally used to model conditions composed of pre- and post-condition.
Property.ForAll1<T1>	Represents a logical for all quantor.
Property.ForAll2<T1,T2>	Represents a logical for all quantor.
Property.ForAll3<T1,T2,T3>	Represents a logical for all quantor.
Property.ForAll4<T1,T2,T3,T4>	Represents a logical for all quantor.
Property.ForAll5<T1,T2,T3,T4,T5>	Represents a logical for all quantor.
Property.ForAll6<T1,T2,T3,T4,T5,T6>	Represents a logical for all quantor.
Property.ForAll7<T1,T2,T3,T4,T5,T6,T7>	Represents a logical for all quantor.
Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>	Represents a logical for all quantor.
Property.Property1<T1>	Represents a 1-ary checkable property.
Property.Property2<T1,T2>	Represents a 2-ary checkable property.
Property.Property3<T1,T2,T3>	Represents a 3-ary checkable property.
Property.Property4<T1,T2,T3,T4>	Represents a 4-ary checkable property.
Property.Property5<T1,T2,T3,T4,T5>	Represents a 5-ary checkable property.
Property.Property6<T1,T2,T3,T4,T5,T6>	Represents a 6-ary checkable property.
Property.Property7<T1,T2,T3,T4,T5,T6,T7>	Represents a 7-ary checkable property.
Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>	Represents a 8-ary checkable property.