Test.QuickCheck

Running tests

data Args
data Result

Random generation

data Gen a

Generator combinators

Generators which use Arbitrary

Generator debugging

Arbitrary and CoArbitrary classes.

class Arbitrary a
class CoArbitrary a

Helper functions for implementing arbitrary

Helper functions for implementing shrink

Helper functions for implementing coarbitrary

Type-level modifiers for changing generator behavior

data Blind a
data Fixed a
data OrderedList a
data NonEmptyList a
data Positive a
data NonZero a
data NonNegative a
data Smart a
data Shrinking s a
class ShrinkState s a

Properties

type Property
data Prop
class Testable prop

Property combinators

Handling failure

Test distribution

Text formatting

data Str