package base_quickcheck

You can search for identifiers within the package.

in-package search v0.2.0

Randomized testing framework, designed for compatibility with Base

Install

Dune Dependency

github.com Changelog MIT License Edit opam file Versions (9)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=bb1e7362d52e00cb4c460ee64a05133aee12f120a81a682ceb5fb09d11d8acea

doc/base_quickcheck/Base_quickcheck/index.html

Module `Base_quickcheck`Source

Sourcemodule Generator : sig ... end

Generators are sources of random values. Every randomized test needs a generator to produce its inputs.

Sourcemodule Observer : sig ... end

Observers create random functions. Generator.fn creates a random function using an observer for the input type and a generator for the output type.

Sourcemodule Shrinker : sig ... end

Shrinkers produce small values from large values. When a random test case fails, a shrinker finds the simplest version of the problem.

Sourcemodule Test : sig ... end

Use the Test module to run randomized tests. Each randomized test needs a generator, a shrinker, and a property to test.

Sourcemodule Export : sig ... end

Provides default generators, observers, and shrinkers for built-in types. Follows ppx_quickcheck naming conventions.

include module type of struct include Export end

Sourceval quickcheck_generator_unit : Base.unit Generator.t

Sourceval quickcheck_generator_bool : Base.bool Generator.t

Sourceval quickcheck_generator_char : Base.char Generator.t

Sourceval quickcheck_generator_string : Base.string Generator.t

Sourceval quickcheck_generator_bytes : Base.bytes Generator.t

Sourceval quickcheck_generator_int : Base.int Generator.t

Sourceval quickcheck_generator_int32 : Base.int32 Generator.t

Sourceval quickcheck_generator_int64 : Base.int64 Generator.t

Sourceval quickcheck_generator_nativeint : Base.nativeint Generator.t

Sourceval quickcheck_generator_float : Base.float Generator.t

Sourceval quickcheck_observer_unit : Base.unit Observer.t

Sourceval quickcheck_observer_bool : Base.bool Observer.t

Sourceval quickcheck_observer_char : Base.char Observer.t

Sourceval quickcheck_observer_string : Base.string Observer.t

Sourceval quickcheck_observer_bytes : Base.bytes Observer.t

Sourceval quickcheck_observer_int : Base.int Observer.t

Sourceval quickcheck_observer_int32 : Base.int32 Observer.t

Sourceval quickcheck_observer_int64 : Base.int64 Observer.t

Sourceval quickcheck_observer_nativeint : Base.nativeint Observer.t

Sourceval quickcheck_observer_float : Base.float Observer.t

Sourceval quickcheck_shrinker_unit : Base.unit Shrinker.t

Sourceval quickcheck_shrinker_bool : Base.bool Shrinker.t

Sourceval quickcheck_shrinker_char : Base.char Shrinker.t

Sourceval quickcheck_shrinker_string : Base.string Shrinker.t

Sourceval quickcheck_shrinker_bytes : Base.bytes Shrinker.t

Sourceval quickcheck_shrinker_int : Base.int Shrinker.t

Sourceval quickcheck_shrinker_int32 : Base.int32 Shrinker.t

Sourceval quickcheck_shrinker_int64 : Base.int64 Shrinker.t

Sourceval quickcheck_shrinker_nativeint : Base.nativeint Shrinker.t

Sourceval quickcheck_shrinker_float : Base.float Shrinker.t

Sourceval quickcheck_generator_option : 'a Generator.t -> 'a Base.option Generator.t

Sourceval quickcheck_generator_list : 'a Generator.t -> 'a Base.list Generator.t

Sourceval quickcheck_generator_array : 'a Generator.t -> 'a Base.array Generator.t

Sourceval quickcheck_generator_ref : 'a Generator.t -> 'a Base.ref Generator.t

Sourceval quickcheck_generator_lazy_t : 'a Generator.t -> 'a Base.Lazy.t Generator.t

Sourceval quickcheck_observer_option : 'a Observer.t -> 'a Base.option Observer.t

Sourceval quickcheck_observer_list : 'a Observer.t -> 'a Base.list Observer.t

Sourceval quickcheck_observer_array : 'a Observer.t -> 'a Base.array Observer.t

Sourceval quickcheck_observer_ref : 'a Observer.t -> 'a Base.ref Observer.t

Sourceval quickcheck_observer_lazy_t : 'a Observer.t -> 'a Base.Lazy.t Observer.t

Sourceval quickcheck_shrinker_option : 'a Shrinker.t -> 'a Base.option Shrinker.t

Sourceval quickcheck_shrinker_list : 'a Shrinker.t -> 'a Base.list Shrinker.t

Sourceval quickcheck_shrinker_array : 'a Shrinker.t -> 'a Base.array Shrinker.t

Sourceval quickcheck_shrinker_ref : 'a Shrinker.t -> 'a Base.ref Shrinker.t

Sourceval quickcheck_shrinker_lazy_t : 'a Shrinker.t -> 'a Base.Lazy.t Shrinker.t