Uses of Interface
javaslang.test.Arbitrary

Uses of Arbitrary in javaslang.test

Methods in javaslang.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.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.
static <T> Arbitrary<List<T>>	Arbitrary.list(Arbitrary<T> arbitraryT) Generates arbitrary lists based on a given element generator arbitraryT.
default <U> Arbitrary<U>	Arbitrary.map(Function<? super T,? extends U> mapper) Maps arbitrary objects T to arbitrary object U.
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 javaslang.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.
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 javaslang.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.