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

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.

O
obs [QCheck.Tuple]
How to observe a 'a t

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