Index of types

A
arbitrary [QCheck]

A value of type 'a arbitrary is an object with a method for generating random values of type 'a, and additional methods to compute the size of values, print them, and possibly shrink them into smaller counter-examples.

C
callback [QCheck.Test]

Callback executed after each test has been run.

cell [QCheck.Test]

A single property test

cli_args [QCheck_base_runner.Raw]
color [QCheck_base_runner.Color]
counter [QCheck_base_runner]

The type of counter used to keep tracks of the events received for a given test cell.

counter_ex [QCheck.TestResult]
E
event [QCheck.Test]
F
failed_state [QCheck.TestResult]
fun_ [QCheck]

A function packed with the data required to print/shrink it.

fun_repr [QCheck]

Internal data for functions.

H
handler [QCheck_base_runner]

A type to represent polymorphic-enough handlers for test cells.

handler [QCheck.Test]

Handler executed after each event during testing of an instance.

handler_gen [QCheck_base_runner]

An alias type to a generator of handlers for test cells.

O
obs [QCheck.Tuple]

How to observe a 'a t

P
printer [QCheck_base_runner.Raw]
R
res [QCheck.Test]
S
sized [QCheck.Gen]

Random generator with a size bound.

stat [QCheck]

A statistic on a distribution of values of type 'a.

state [QCheck.TestResult]

Result state.

step [QCheck.Test]

Callback executed after each instance of a test has been run.

T
t [QCheck.Tuple]

Heterogeneous tuple, used to pass any number of arguments to a function.

t [QCheck.Fn]
t [QCheck.Test]
t [QCheck.TestResult]
t [QCheck.Observable]

An observable for 'a, packing a printer and other things.

t [QCheck.Shrink]

Given a counter-example, return an iterator on smaller versions of the counter-example.

t [QCheck.Iter]
t [QCheck.Print]

Printer for values of type 'a.

t [QCheck.Gen]

A random generator for values of type 'a.

t_let [Qcheck_ops.S]
t_let [Qcheck_ops.Make]