Uses of Interface
io.vavr.test.Arbitrary

Uses of Arbitrary in io.vavr.test

Methods in io.vavr.test that return Arbitrary

Modifier and Type	Method and 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(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(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(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(Function<? super T,? extends Arbitrary<? extends U>> mapper) Maps arbitrary objects T to arbitrary object U.
static Arbitrary<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<LocalDateTime>	Arbitrary.localDateTime() Generates arbitrary LocalDateTimes with LocalDateTime.now() as median and ChronoUnit.DAYS as chronological unit.
static Arbitrary<LocalDateTime>	Arbitrary.localDateTime(ChronoUnit unit) Generates arbitrary LocalDateTimes with LocalDateTime.now() as median.
static Arbitrary<LocalDateTime>	Arbitrary.localDateTime(LocalDateTime median, ChronoUnit unit) Generates arbitrary LocalDateTimes.
default <U> Arbitrary<U>	Arbitrary.map(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(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<String>	Arbitrary.string(Gen<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 and 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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> 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.
<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.
<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.
<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.
<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.
<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.
<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.
<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 and Description
default <U> Arbitrary<U>	Arbitrary.flatMap(Function<? super T,? extends Arbitrary<? extends U>> mapper) Maps arbitrary objects T to arbitrary object U.
default <U> U	Arbitrary.transform(Function<? super Arbitrary<T>,? extends U> f) Transforms this Arbitrary.