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 [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.