Index of types

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.

callback [QCheck2.Test]

Callback executed after each test has been run.

callback [QCheck.Test]

cell [QCheck2.Test]

A single property test on a value of type 'a.

cell [QCheck.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 [QCheck2.TestResult]

A counter-example when a test fails.

counter_ex [QCheck.TestResult]

event [QCheck2.Test]

event [QCheck.Test]

failed_state [QCheck.TestResult]

fun_ [QCheck2]

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

fun_ [QCheck]

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

fun_repr [QCheck2]

Used by QCheck to shrink and print generated functions of type 'f in case of test failure.

fun_repr [QCheck]

Internal data for functions.

handler [QCheck_base_runner]

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

handler [QCheck2.Test]

Handler executed after each event during testing of an instance.

handler [QCheck.Test]

handler_gen [QCheck_base_runner]

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

obs [QCheck2.Tuple]

How to observe a QCheck2.Tuple.t.

obs [QCheck.Tuple]

How to observe a 'a t

printer [QCheck_base_runner.Raw]

res [QCheck2.Test]

res [QCheck.Test]

sized [QCheck2.Gen]

Random generator with a size bound.

sized [QCheck.Gen]

Random generator with a size bound.

stat [QCheck2]

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

stat [QCheck]

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

state [QCheck2.TestResult]

Result state.

state [QCheck.TestResult]

Result state.

step [QCheck2.Test]

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

step [QCheck.Test]

t [QCheck2.Test]

t [QCheck2.TestResult]

t [QCheck2.Tuple]

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

t [QCheck2.Observable]

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

t [QCheck2.Shrink.Number]

t [QCheck2.Print]

Printer for values of type 'a.

t [QCheck2.Gen]

A random generator for values of type 'a.

t [QCheck2.Tree]

A tree of random generated values, where the root contains the value used for the test, and the sub-trees contain shrunk values (as trees, to be able to shrink several times a value) used if the test fails.

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.

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 [QCheck2.Test]	Callback executed after each test has been run.
callback [QCheck.Test]
cell [QCheck2.Test]	A single property test on a value of type `'a`.
cell [QCheck.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 [QCheck2.TestResult]	A counter-example when a test fails.
counter_ex [QCheck.TestResult]
E
event [QCheck2.Test]
event [QCheck.Test]
F
failed_state [QCheck.TestResult]
fun_ [QCheck2]	A function packed with the data required to print/shrink it.
fun_ [QCheck]	A function packed with the data required to print/shrink it.
fun_repr [QCheck2]	Used by QCheck to shrink and print generated functions of type `'f` in case of test failure.
fun_repr [QCheck]	Internal data for functions.
H
handler [QCheck_base_runner]	A type to represent polymorphic-enough handlers for test cells.
handler [QCheck2.Test]	Handler executed after each event during testing of an instance.
handler [QCheck.Test]
handler_gen [QCheck_base_runner]	An alias type to a generator of handlers for test cells.
O
obs [QCheck2.Tuple]	How to observe a `QCheck2.Tuple.t`.
obs [QCheck.Tuple]	How to observe a `'a t`
P
printer [QCheck_base_runner.Raw]
R
res [QCheck2.Test]
res [QCheck.Test]
S
sized [QCheck2.Gen]	Random generator with a size bound.
sized [QCheck.Gen]	Random generator with a size bound.
stat [QCheck2]	A statistic on a distribution of values of type `'a`.
stat [QCheck]	A statistic on a distribution of values of type `'a`.
state [QCheck2.TestResult]	Result state.
state [QCheck.TestResult]	Result state.
step [QCheck2.Test]	Callback executed after each instance of a test has been run.
step [QCheck.Test]
T
t [QCheck2.Test]
t [QCheck2.TestResult]
t [QCheck2.Tuple]	Heterogeneous tuple, used to pass any number of arguments to a function.
t [QCheck2.Observable]	An observable of `'a`, packing a printer and other things.
t [QCheck2.Shrink.Number]
t [QCheck2.Print]	Printer for values of type `'a`.
t [QCheck2.Gen]	A random generator for values of type `'a`.
t [QCheck2.Tree]	A tree of random generated values, where the root contains the value used for the test, and the sub-trees contain shrunk values (as trees, to be able to shrink several times a value) used if the test fails.
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.