@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)