Macros
A macro for writing quickcheck tests.
Structs
Gen represents a PRNG.
The main QuickCheck type for setting configuration and running QuickCheck.
Describes the status of a single instance of a test.
Traits
Arbitrary describes types whose values can be randomly generated and
shrunk.Testable describes types (e.g., a function) whose values can be
tested.Functions
Creates a shrinker with zero elements.
Convenience function for running QuickCheck.
Creates a shrinker with a single element.