Uses of Interface
io.vavr.test.Arbitrary

Packages that use Arbitrary

Package	Description
io.vavr.test	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 Arbitrary

Modifier and Type	Field	Description
private Arbitrary<T1>	Property.ForAll1.a1
private Arbitrary<T1>	Property.ForAll2.a1
private Arbitrary<T1>	Property.ForAll3.a1
private Arbitrary<T1>	Property.ForAll4.a1
private Arbitrary<T1>	Property.ForAll5.a1
private Arbitrary<T1>	Property.ForAll6.a1
private Arbitrary<T1>	Property.ForAll7.a1
private Arbitrary<T1>	Property.ForAll8.a1
private Arbitrary<T1>	Property.Property1.a1
private Arbitrary<T1>	Property.Property2.a1
private Arbitrary<T1>	Property.Property3.a1
private Arbitrary<T1>	Property.Property4.a1
private Arbitrary<T1>	Property.Property5.a1
private Arbitrary<T1>	Property.Property6.a1
private Arbitrary<T1>	Property.Property7.a1
private Arbitrary<T1>	Property.Property8.a1
private Arbitrary<T2>	Property.ForAll2.a2
private Arbitrary<T2>	Property.ForAll3.a2
private Arbitrary<T2>	Property.ForAll4.a2
private Arbitrary<T2>	Property.ForAll5.a2
private Arbitrary<T2>	Property.ForAll6.a2
private Arbitrary<T2>	Property.ForAll7.a2
private Arbitrary<T2>	Property.ForAll8.a2
private Arbitrary<T2>	Property.Property2.a2
private Arbitrary<T2>	Property.Property3.a2
private Arbitrary<T2>	Property.Property4.a2
private Arbitrary<T2>	Property.Property5.a2
private Arbitrary<T2>	Property.Property6.a2
private Arbitrary<T2>	Property.Property7.a2
private Arbitrary<T2>	Property.Property8.a2
private Arbitrary<T3>	Property.ForAll3.a3
private Arbitrary<T3>	Property.ForAll4.a3
private Arbitrary<T3>	Property.ForAll5.a3
private Arbitrary<T3>	Property.ForAll6.a3
private Arbitrary<T3>	Property.ForAll7.a3
private Arbitrary<T3>	Property.ForAll8.a3
private Arbitrary<T3>	Property.Property3.a3
private Arbitrary<T3>	Property.Property4.a3
private Arbitrary<T3>	Property.Property5.a3
private Arbitrary<T3>	Property.Property6.a3
private Arbitrary<T3>	Property.Property7.a3
private Arbitrary<T3>	Property.Property8.a3
private Arbitrary<T4>	Property.ForAll4.a4
private Arbitrary<T4>	Property.ForAll5.a4
private Arbitrary<T4>	Property.ForAll6.a4
private Arbitrary<T4>	Property.ForAll7.a4
private Arbitrary<T4>	Property.ForAll8.a4
private Arbitrary<T4>	Property.Property4.a4
private Arbitrary<T4>	Property.Property5.a4
private Arbitrary<T4>	Property.Property6.a4
private Arbitrary<T4>	Property.Property7.a4
private Arbitrary<T4>	Property.Property8.a4
private Arbitrary<T5>	Property.ForAll5.a5
private Arbitrary<T5>	Property.ForAll6.a5
private Arbitrary<T5>	Property.ForAll7.a5
private Arbitrary<T5>	Property.ForAll8.a5
private Arbitrary<T5>	Property.Property5.a5
private Arbitrary<T5>	Property.Property6.a5
private Arbitrary<T5>	Property.Property7.a5
private Arbitrary<T5>	Property.Property8.a5
private Arbitrary<T6>	Property.ForAll6.a6
private Arbitrary<T6>	Property.ForAll7.a6
private Arbitrary<T6>	Property.ForAll8.a6
private Arbitrary<T6>	Property.Property6.a6
private Arbitrary<T6>	Property.Property7.a6
private Arbitrary<T6>	Property.Property8.a6
private Arbitrary<T7>	Property.ForAll7.a7
private Arbitrary<T7>	Property.ForAll8.a7
private Arbitrary<T7>	Property.Property7.a7
private Arbitrary<T7>	Property.Property8.a7
private Arbitrary<T8>	Property.ForAll8.a8
private Arbitrary<T8>	Property.Property8.a8

Methods in io.vavr.test that return Arbitrary

Modifier and Type	Method	Description
default Arbitrary<T>	Gen.arbitrary()	Converts this Gen to an Arbitrary
default Arbitrary<T>	Arbitrary.distinct()	Returns an Arbitrary based on this Arbitrary which produces unique values.
default Arbitrary<T>	Arbitrary.distinctBy(java.util.Comparator<? super T> comparator)	Returns an Arbitrary based on this Arbitrary which produces unique values based on the given comparator.
default <U> Arbitrary<T>	Arbitrary.distinctBy(java.util.function.Function<? super T,? extends U> keyExtractor)	Returns an Arbitrary based on this Arbitrary which produces unique values based on the given function.
default Arbitrary<T>	Arbitrary.filter(java.util.function.Predicate<? super T> predicate)	Returns an Arbitrary based on this Arbitrary which produces values that fulfill the given predicate.
default <U> Arbitrary<U>	Arbitrary.flatMap(java.util.function.Function<? super T,? extends Arbitrary<? extends U>> mapper)	Maps arbitrary objects T to arbitrary object U.
static Arbitrary<java.lang.Integer>	Arbitrary.integer()	Generates arbitrary integer values.
default Arbitrary<T>	Arbitrary.intersperse(Arbitrary<T> other)	Intersperses values from this arbitrary instance with those of another.
static <T> Arbitrary<List<T>>	Arbitrary.list(Arbitrary<T> arbitraryT)	Generates arbitrary lists based on a given element generator arbitraryT.
static Arbitrary<java.time.LocalDateTime>	Arbitrary.localDateTime()	Generates arbitrary LocalDateTimes with LocalDateTime.now() as median and ChronoUnit.DAYS as chronological unit.
static Arbitrary<java.time.LocalDateTime>	Arbitrary.localDateTime(java.time.LocalDateTime median, java.time.temporal.ChronoUnit unit)	Generates arbitrary LocalDateTimes.
static Arbitrary<java.time.LocalDateTime>	Arbitrary.localDateTime(java.time.temporal.ChronoUnit unit)	Generates arbitrary LocalDateTimes with LocalDateTime.now() as median.
default <U> Arbitrary<U>	Arbitrary.map(java.util.function.Function<? super T,? extends U> mapper)	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 values
static <U> Arbitrary<U>	Arbitrary.ofAll(Gen<U> generator)	Generates an arbitrary value from a given generator
default Arbitrary<T>	Arbitrary.peek(java.util.function.Consumer<? super T> action)
static <T> Arbitrary<Stream<T>>	Arbitrary.stream(Arbitrary<T> arbitraryT)	Generates arbitrary streams based on a given element generator arbitraryT.
static Arbitrary<java.lang.String>	Arbitrary.string(Gen<java.lang.Character> gen)	Generates arbitrary strings based on a given alphabet represented by gen.

Methods in io.vavr.test with parameters of type Arbitrary

Modifier and Type	Method	Description
<T1> Property.ForAll1<T1>	Property.forAll(Arbitrary<T1> a1)	Returns a logical for all quantor of 1 given variables.
<T1,T2> Property.ForAll2<T1,T2>	Property.forAll(Arbitrary<T1> a1, Arbitrary<T2> a2)	Returns a logical for all quantor of 2 given variables.
<T1,T2,T3> Property.ForAll3<T1,T2,T3>	Property.forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)	Returns a logical for all quantor of 3 given variables.
<T1,T2,T3,T4> Property.ForAll4<T1,T2,T3,T4>	Property.forAll(Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4)	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.
default Arbitrary<T>	Arbitrary.intersperse(Arbitrary<T> other)	Intersperses values from this arbitrary instance with those of another.
static <T> Arbitrary<List<T>>	Arbitrary.list(Arbitrary<T> arbitraryT)	Generates arbitrary lists based on a given element generator arbitraryT.
static <T> Arbitrary<Stream<T>>	Arbitrary.stream(Arbitrary<T> arbitraryT)	Generates arbitrary streams based on a given element generator arbitraryT.

Method parameters in io.vavr.test with type arguments of type Arbitrary

Modifier and Type	Method	Description
default <U> Arbitrary<U>	Arbitrary.flatMap(java.util.function.Function<? super T,? extends Arbitrary<? extends U>> mapper)	Maps arbitrary objects T to arbitrary object U.
default <U> U	Arbitrary.transform(java.util.function.Function<? super Arbitrary<T>,? extends U> f)	Transforms this Arbitrary.

Constructors in io.vavr.test with parameters of type Arbitrary

Constructor	Description
ForAll1(java.lang.String name, Arbitrary<T1> a1)
ForAll2(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2)
ForAll3(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3)
ForAll4(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4)
ForAll5(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5)
ForAll6(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6)
ForAll7(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7)
ForAll8(java.lang.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)
Property1(java.lang.String name, Arbitrary<T1> a1, CheckedFunction1<T1,Property.Condition> predicate)
Property2(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, CheckedFunction2<T1,T2,Property.Condition> predicate)
Property3(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, CheckedFunction3<T1,T2,T3,Property.Condition> predicate)
Property4(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, CheckedFunction4<T1,T2,T3,T4,Property.Condition> predicate)
Property5(java.lang.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)
Property6(java.lang.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)
Property7(java.lang.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)
Property8(java.lang.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)