Uses of Class
io.vavr.test.Property.ForAll7
Packages that use Property.ForAll7
Package
Description
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Uses of Property.ForAll7 in io.vavr.test
Methods in io.vavr.test that return Property.ForAll7Modifier and TypeMethodDescription<T1,
T2, T3, T4, T5, T6, T7>
Property.ForAll7<T1, T2, T3, T4, T5, T6, T7> Property.forAll
(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7) Returns a logical for all quantor of 7 given variables.