@API(status=STABLE,
     since="1.0")
public interface RandomGenerator<T>
| Modifier and Type | Interface and Description | 
|---|---|
static class  | 
RandomGenerator.RandomGeneratorFacade  | 
| Modifier and Type | Method and Description | 
|---|---|
default RandomGenerator<T> | 
filter(java.util.function.Predicate<T> filterPredicate)  | 
default <U> RandomGenerator<U> | 
flatMap(java.util.function.Function<T,Arbitrary<U>> mapper,
       int genSize)  | 
default <U> RandomGenerator<U> | 
flatMap(java.util.function.Function<T,RandomGenerator<U>> mapper)  | 
default RandomGenerator<T> | 
injectNull(double nullProbability)  | 
default <U> RandomGenerator<U> | 
map(java.util.function.Function<T,U> mapper)  | 
Shrinkable<T> | 
next(java.util.Random random)  | 
default java.util.stream.Stream<Shrinkable<T>> | 
stream(java.util.Random random)  | 
default RandomGenerator<T> | 
unique()  | 
default RandomGenerator<T> | 
withEdgeCases(int genSize,
             java.util.List<Shrinkable<T>> edgeCases)  | 
default RandomGenerator<T> | 
withSamples(T... samples)  | 
Shrinkable<T> next(java.util.Random random)
random - the source of randomness. Injected by jqwik itself.default <U> RandomGenerator<U> map(java.util.function.Function<T,U> mapper)
default <U> RandomGenerator<U> flatMap(java.util.function.Function<T,RandomGenerator<U>> mapper)
default <U> RandomGenerator<U> flatMap(java.util.function.Function<T,Arbitrary<U>> mapper, int genSize)
default RandomGenerator<T> filter(java.util.function.Predicate<T> filterPredicate)
default RandomGenerator<T> injectNull(double nullProbability)
default RandomGenerator<T> withEdgeCases(int genSize, java.util.List<Shrinkable<T>> edgeCases)
default RandomGenerator<T> withSamples(T... samples)
default RandomGenerator<T> unique()
default java.util.stream.Stream<Shrinkable<T>> stream(java.util.Random random)