-
Converts this Gen to an Arbitrary
Returns an Arbitrary based on this Arbitrary which produces unique values.
Returns an Arbitrary based on this Arbitrary which produces unique values based on the given comparator.
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.
Maps arbitrary objects T to arbitrary object U.
Generates arbitrary integer values.
Intersperses values from this arbitrary instance with those of another.
static <T> Arbitrary<io.vavr.collection.List<T>>
Generates arbitrary lists based on a given element generator arbitraryT.
Maps arbitrary objects T to arbitrary object U.
Arbitrary.of(U... values)
Generates an arbitrary value from a fixed set of values
Generates an arbitrary value from a given generator
static <T> Arbitrary<io.vavr.collection.Stream<T>>
Generates arbitrary streams based on a given element generator arbitraryT.
Generates arbitrary strings based on a given alphabet represented by gen.
Returns a logical for all quantor of 1 given variables.
Returns a logical for all quantor of 2 given variables.
Returns a logical for all quantor of 3 given variables.
Returns a logical for all quantor of 4 given variables.
Returns a logical for all quantor of 5 given variables.
<T1,
T2,
T3,
T4,
T5,
T6>
Property.ForAll6<T1,T2,T3,T4,T5,T6>
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>
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>
Returns a logical for all quantor of 8 given variables.
Intersperses values from this arbitrary instance with those of another.
static <T> Arbitrary<io.vavr.collection.List<T>>
Generates arbitrary lists based on a given element generator arbitraryT.
static <T> Arbitrary<io.vavr.collection.Stream<T>>
Generates arbitrary streams based on a given element generator arbitraryT.
Maps arbitrary objects T to arbitrary object U.
default <U> U
Transforms this Arbitrary
.