Module Base_quickcheckSource
Generators are sources of random values. Every randomized test needs a generator to produce its inputs.
Observers create random functions. Generator.fn creates a random function using an observer for the input type and a generator for the output type.
Shrinkers produce small values from large values. When a random test case fails, a shrinker finds the simplest version of the problem.
Use the Test module to run randomized tests. Each randomized test needs a generator, a shrinker, and a property to test.
Provides default generators, observers, and shrinkers for built-in types. Follows ppx_quickcheck naming conventions.
include module type of struct include Export end
include sig ... end
Source
val quickcheck_generator_option :
('a : value_or_null). 'a Base_quickcheck.Generator.t ->
'a Base.option Base_quickcheck.Generator.tSource
val quickcheck_generator_or_null :
'a Base_quickcheck.Generator.t ->
'a Base.or_null Base_quickcheck.Generator.tSource
val quickcheck_generator_list :
('a : value_or_null). 'a Base_quickcheck.Generator.t ->
'a Base.list Base_quickcheck.Generator.tSource
val quickcheck_generator_array :
'a Base_quickcheck.Generator.t ->
'a Base.array Base_quickcheck.Generator.tSource
val quickcheck_generator_ref :
('a : value_or_null). 'a Base_quickcheck.Generator.t ->
'a Base.ref Base_quickcheck.Generator.tSource
val quickcheck_generator_lazy_t :
'a Base_quickcheck.Generator.t ->
'a Base.Lazy.t Base_quickcheck.Generator.tSource
val quickcheck_observer_option :
('a : value_or_null). 'a Base_quickcheck.Observer.t ->
'a Base.option Base_quickcheck.Observer.tSource
val quickcheck_observer_or_null :
'a Base_quickcheck.Observer.t ->
'a Base.or_null Base_quickcheck.Observer.tSource
val quickcheck_observer_list :
('a : value_or_null). 'a Base_quickcheck.Observer.t ->
'a Base.list Base_quickcheck.Observer.tSource
val quickcheck_observer_array :
'a Base_quickcheck.Observer.t ->
'a Base.array Base_quickcheck.Observer.tSource
val quickcheck_observer_ref :
('a : value_or_null). 'a Base_quickcheck.Observer.t ->
'a Base.ref Base_quickcheck.Observer.tSource
val quickcheck_observer_lazy_t :
'a Base_quickcheck.Observer.t ->
'a Base.Lazy.t Base_quickcheck.Observer.tSource
val quickcheck_shrinker_option :
('a : value_or_null). 'a Base_quickcheck.Shrinker.t ->
'a Base.option Base_quickcheck.Shrinker.tSource
val quickcheck_shrinker_or_null :
'a Base_quickcheck.Shrinker.t ->
'a Base.or_null Base_quickcheck.Shrinker.tSource
val quickcheck_shrinker_list :
('a : value_or_null). 'a Base_quickcheck.Shrinker.t ->
'a Base.list Base_quickcheck.Shrinker.tSource
val quickcheck_shrinker_array :
'a Base_quickcheck.Shrinker.t ->
'a Base.array Base_quickcheck.Shrinker.tSource
val quickcheck_shrinker_ref :
('a : value_or_null). 'a Base_quickcheck.Shrinker.t ->
'a Base.ref Base_quickcheck.Shrinker.tSource
val quickcheck_shrinker_lazy_t :
'a Base_quickcheck.Shrinker.t ->
'a Base.Lazy.t Base_quickcheck.Shrinker.t