package core

  1. Overview
  2. Docs

Module Core.Quickcheck_intfSource

Quickcheck is a library that uses predicate-based tests and pseudo-random inputs to automate testing.

For examples see lib/base_quickcheck/examples.

Sourcemodule type Generator = sig ... end

An 'a t a generates values of type 'a with a specific probability distribution.

Sourcemodule type Deriving_hash = sig ... end
Sourcemodule type Observer = sig ... end

An 'a Quickcheck.Observer.t represents a hash function on 'a. Observers are used to construct distributions of random functions; see Quickcheck.Generator.fn.

Sourcemodule type Shrinker = sig ... end

A 'a Quickcheck.Shrinker.t takes a value of type 'a and produces similar values that are smaller by some metric.

Sourcemodule type S = sig ... end
Sourcemodule type S1 = sig ... end
Sourcemodule type S2 = sig ... end
Sourcemodule type S_range = sig ... end
Sourcemodule type S_int = sig ... end
Sourcetype seed = [
  1. | `Deterministic of Base.String.t
  2. | `Nondeterministic
]

seed specifies how to initialize a pseudo-random number generator. When multiple tests share a deterministic seed, they each get a separate copy of the random generator's state; random choices in one test do not affect those in another. The nondeterministic seed causes a fresh random state to be generated nondeterministically for each test.

Sourcetype shrink_attempts = [
  1. | `Exhaustive
  2. | `Limit of Base.Int.t
]
Sourcemodule type Quickcheck_config = sig ... end
Sourcemodule type Quickcheck_configured = sig ... end
Sourcemodule type Syntax = sig ... end

Includes Let_syntax from Monad.Syntax. Sets Open_on_rhs to be all of Generator, except that it does not shadow Let_syntax itself. Both Generator and Open_on_rhs are meant to be destructively assigned.

Sourcemodule type Quickcheck = sig ... end