C | |
| Color [QCheck_base_runner] | Utils for colored output |
F | |
| Fn [QCheck2] | Utils on generated functions. |
| Fn [QCheck] | Utils on functions |
G | |
| Gen [QCheck2] | A generator is responsible for generating pseudo-random values and provide shrinks (smaller values) when a test fails. |
| Gen [QCheck] | Generate Random Values |
I | |
| Infix [QCheck2.Tuple] | Infix |
| Infix [QCheck.Tuple] | |
| Iter [QCheck] | Iterators |
O | |
| Observable [QCheck2] | An observable is a random function argument. |
| Observable [QCheck] | |
P | |
| Print [QCheck2] | Printing functions and helpers, used to print generated values on test failures. |
| Print [QCheck] | Show Values |
Q | |
| QCheck | Quickcheck inspired property-based testing |
| QCheck2 | QuickCheck-inspired property-based testing |
| QCheck_base_runner | Runners for Tests |
| QCheck_ounit | Conversion of tests to OUnit Tests |
| QCheck_runner | |
R | |
| Raw [QCheck_base_runner] | Internal Utils |
S | |
| Shrink [QCheck2] | Shrinking helper functions. |
| Shrink [QCheck] | Shrink Values |
T | |
| Test [QCheck2] | A test is a pair of a generator and a property that all generated values must satisfy. |
| Test [QCheck] | Module related to individual tests. |
| TestResult [QCheck2] | Result of running a test |
| TestResult [QCheck] | Result of running a test |
| Test_exceptions [QCheck2] | |
| Tree [QCheck2] | A tree represents a generated value and its successive shrunk values. |
| Tuple [QCheck2] | Utils on combining function arguments. |
| Tuple [QCheck] |