net.jqwik.api

Interface RandomGenerator<T>

public interface RandomGenerator<T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	RandomGenerator.RandomGeneratorFacade

Method Summary

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)

Method Detail

next

Shrinkable<T> next(java.util.Random random)

Parameters:

random - the source of randomness. Injected by jqwik itself.

Returns:

the next generated value wrapped within the Shrinkable interface. The method must ALWAYS return a next value.

map

default <U> RandomGenerator<U> map(java.util.function.Function<T,U> mapper)

flatMap

default <U> RandomGenerator<U> flatMap(java.util.function.Function<T,RandomGenerator<U>> mapper)

flatMap

default <U> RandomGenerator<U> flatMap(java.util.function.Function<T,Arbitrary<U>> mapper,
                                       int genSize)

filter

default RandomGenerator<T> filter(java.util.function.Predicate<T> filterPredicate)

injectNull

default RandomGenerator<T> injectNull(double nullProbability)

withEdgeCases

default RandomGenerator<T> withEdgeCases(int genSize,
                                         java.util.List<Shrinkable<T>> edgeCases)

withSamples

default RandomGenerator<T> withSamples(T... samples)

unique

default RandomGenerator<T> unique()

stream

default java.util.stream.Stream<Shrinkable<T>> stream(java.util.Random random)