Index of modules

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 QCheck2.Tuple operators for convenience.

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]