A | |
arbitrary [QCheck] | A value of type |
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 |
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 |
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 |
obs [QCheck.Tuple] | How to observe a |
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 |
stat [QCheck] | A statistic on a distribution of values of type |
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 |
t [QCheck2.Shrink.Number] | |
t [QCheck2.Print] | Printer for values of type |
t [QCheck2.Gen] | A random generator for values of type |
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 |
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. |