Test.QuickCheck
Running tests
Random generation
Generator combinators
Generators which use Arbitrary
Generator debugging
Arbitrary and CoArbitrary classes.
Helper functions for implementing arbitrary
Helper functions for implementing shrink
Helper functions for implementing coarbitrary
Type-level modifiers for changing generator behavior
Properties
Property combinators
Handling failure
Test distribution
Text formatting