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 Arbitrarydefault 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 arbitraryLocalDateTime
s withLocalDateTime.now()
asmedian
andChronoUnit.DAYS
as chronological unit.static Arbitrary<java.time.LocalDateTime>
Arbitrary. localDateTime(java.time.LocalDateTime median, java.time.temporal.ChronoUnit unit)
Generates arbitraryLocalDateTime
s.static Arbitrary<java.time.LocalDateTime>
Arbitrary. localDateTime(java.time.temporal.ChronoUnit unit)
Generates arbitraryLocalDateTime
s withLocalDateTime.now()
asmedian
.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 valuesstatic <U> Arbitrary<U>
Arbitrary. ofAll(Gen<U> generator)
Generates an arbitrary value from a given generatordefault 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 thisArbitrary
.
-