See: Description
Class | Description |
---|---|
Arbitrary<A> |
The type used to generate arbitrary values of the given type parameter (
A ). |
Arg<T> |
An argument used in a property that may have undergone shrinking following falsification.
|
Bool |
A boolean wrapper that works well with properties.
|
CheckResult |
An enumeration of the possible results after checking a property.
|
Coarbitrary<A> |
Transforms a type and a generator to produce a new generator.
|
Gen<A> |
A generator for values of the type of the given type parameter (
A ). |
Property |
Represents an algebraic property about a program that may be
checked for its truth value. |
Rand |
A random number generator.
|
Result |
The result of evaluating a property.
|
Shrink<A> |
Represents a shrinking strategy over the given type parameter if that type can be represented as
a tree structure.
|
Variant |
A memoised generator variant.
|
shrinking
). The expression of the property also
serves as very rigorous documentation for the code under test; far surpassing that provided by
traditional testing techniques.
Many of the concepts of Reductio originated with a paper called QuickCheck: A Lightweight Tool
for Random Testing of Haskell Programs by Koen Claassen and John Hughes from Chalmers University
of Technology. Reductio also borrows ideas from ScalaCheck by Rickard Nilsson.