A | |
arbitrary [QCheck] | A value of type |
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 |
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 |
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 |
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 |
t [QCheck.Gen] | A random generator for values of type 'a. |
t_let [Qcheck_ops.S] | |
t_let [Qcheck_ops.Make] |