Uses of Interface
io.vavr.test.Arbitrary
Packages that use Arbitrary
Package
Description
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Uses of Arbitrary in io.vavr.test
Fields in io.vavr.test declared as ArbitraryModifier and TypeFieldDescriptionProperty.ForAll1.a1
Property.ForAll2.a1
Property.ForAll3.a1
Property.ForAll4.a1
Property.ForAll5.a1
Property.ForAll6.a1
Property.ForAll7.a1
Property.ForAll8.a1
Property.Property1.a1
Property.Property2.a1
Property.Property3.a1
Property.Property4.a1
Property.Property5.a1
Property.Property6.a1
Property.Property7.a1
Property.Property8.a1
Property.ForAll2.a2
Property.ForAll3.a2
Property.ForAll4.a2
Property.ForAll5.a2
Property.ForAll6.a2
Property.ForAll7.a2
Property.ForAll8.a2
Property.Property2.a2
Property.Property3.a2
Property.Property4.a2
Property.Property5.a2
Property.Property6.a2
Property.Property7.a2
Property.Property8.a2
Property.ForAll3.a3
Property.ForAll4.a3
Property.ForAll5.a3
Property.ForAll6.a3
Property.ForAll7.a3
Property.ForAll8.a3
Property.Property3.a3
Property.Property4.a3
Property.Property5.a3
Property.Property6.a3
Property.Property7.a3
Property.Property8.a3
Property.ForAll4.a4
Property.ForAll5.a4
Property.ForAll6.a4
Property.ForAll7.a4
Property.ForAll8.a4
Property.Property4.a4
Property.Property5.a4
Property.Property6.a4
Property.Property7.a4
Property.Property8.a4
Property.ForAll5.a5
Property.ForAll6.a5
Property.ForAll7.a5
Property.ForAll8.a5
Property.Property5.a5
Property.Property6.a5
Property.Property7.a5
Property.Property8.a5
Property.ForAll6.a6
Property.ForAll7.a6
Property.ForAll8.a6
Property.Property6.a6
Property.Property7.a6
Property.Property8.a6
Property.ForAll7.a7
Property.ForAll8.a7
Property.Property7.a7
Property.Property8.a7
Property.ForAll8.a8
Property.Property8.a8
Methods in io.vavr.test that return ArbitraryModifier and TypeMethodDescriptionGen.arbitrary()
Converts this Gen to an ArbitraryArbitrary.distinct()
Returns an Arbitrary based on this Arbitrary which produces unique values.Arbitrary.distinctBy
(Comparator<? super T> comparator) Returns an Arbitrary based on this Arbitrary which produces unique values based on the given comparator.Arbitrary.distinctBy
(Function<? super T, ? extends U> keyExtractor) Returns an Arbitrary based on this Arbitrary which produces unique values based on the given function.Returns an Arbitrary based on this Arbitrary which produces values that fulfill the given predicate.default <U> Arbitrary
<U> Maps arbitrary objects T to arbitrary object U.Arbitrary.integer()
Generates arbitrary integer values.Arbitrary.intersperse
(Arbitrary<T> other) Intersperses values from this arbitrary instance with those of another.Generates arbitrary lists based on a given element generator arbitraryT.static Arbitrary
<LocalDateTime> Arbitrary.localDateTime()
Generates arbitraryLocalDateTime
s withLocalDateTime.now()
asmedian
andChronoUnit.DAYS
as chronological unit.static Arbitrary
<LocalDateTime> Arbitrary.localDateTime
(LocalDateTime median, ChronoUnit unit) Generates arbitraryLocalDateTime
s.static Arbitrary
<LocalDateTime> Arbitrary.localDateTime
(ChronoUnit unit) default <U> Arbitrary
<U> Maps arbitrary objects T to arbitrary object U.static <U> Arbitrary
<U> Arbitrary.of
(U... values) Generates an arbitrary value from a fixed set of valuesstatic <U> Arbitrary
<U> Generates an arbitrary value from a given generatorGenerates arbitrary streams based on a given element generator arbitraryT.Generates arbitrary strings based on a given alphabet represented by gen.Methods in io.vavr.test with parameters of type ArbitraryModifier and TypeMethodDescription<T1> Property.ForAll1
<T1> Returns a logical for all quantor of 1 given variables.<T1,
T2> Property.ForAll2 <T1, T2> Returns a logical for all quantor of 2 given variables.<T1,
T2, T3>
Property.ForAll3<T1, T2, T3> Returns a logical for all quantor of 3 given variables.<T1,
T2, T3, T4>
Property.ForAll4<T1, T2, T3, T4> Returns a logical for all quantor of 4 given variables.<T1,
T2, T3, T4, T5>
Property.ForAll5<T1, T2, T3, T4, T5> Property.forAll
(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5) Returns a logical for all quantor of 5 given variables.<T1,
T2, T3, T4, T5, T6>
Property.ForAll6<T1, T2, T3, T4, T5, T6> Property.forAll
(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6) Returns a logical for all quantor of 6 given variables.<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.<T1,
T2, T3, T4, T5, T6, T7, T8>
Property.ForAll8<T1, T2, T3, T4, T5, T6, T7, T8> Property.forAll
(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8) Returns a logical for all quantor of 8 given variables.Arbitrary.intersperse
(Arbitrary<T> other) Intersperses values from this arbitrary instance with those of another.Generates arbitrary lists based on a given element generator arbitraryT.Generates arbitrary streams based on a given element generator arbitraryT.Method parameters in io.vavr.test with type arguments of type ArbitraryModifier and TypeMethodDescriptiondefault <U> Arbitrary
<U> Maps arbitrary objects T to arbitrary object U.default <U> U
Transforms thisArbitrary
.Constructors in io.vavr.test with parameters of type ArbitraryModifierConstructorDescription(package private)
(package private)
(package private)
(package private)
(package private)
ForAll5
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5) (package private)
ForAll6
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6) (package private)
ForAll7
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7) (package private)
ForAll8
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8) (package private)
Property1
(String name, Arbitrary<T1> a1, CheckedFunction1<T1, Property.Condition> predicate) (package private)
Property2
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, CheckedFunction2<T1, T2, Property.Condition> predicate) (package private)
Property3
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, CheckedFunction3<T1, T2, T3, Property.Condition> predicate) (package private)
Property4
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, CheckedFunction4<T1, T2, T3, T4, Property.Condition> predicate) (package private)
Property5
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, CheckedFunction5<T1, T2, T3, T4, T5, Property.Condition> predicate) (package private)
Property6
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, CheckedFunction6<T1, T2, T3, T4, T5, T6, Property.Condition> predicate) (package private)
Property7
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, CheckedFunction7<T1, T2, T3, T4, T5, T6, T7, Property.Condition> predicate) (package private)
Property8
(String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8, CheckedFunction8<T1, T2, T3, T4, T5, T6, T7, T8, Property.Condition> predicate)