Running tests

data Args

data Result

quickCheckWithResult

quickCheckResult

Running tests verbosely

verboseCheckWith

verboseCheckWithResult

verboseCheckResult

Random generation

data Gen a

Generator combinators

growingElements

Generators which use Arbitrary

Generator debugging

Arbitrary and CoArbitrary classes

class Arbitrary a

class CoArbitrary a

Helper functions for implementing arbitrary

arbitrarySizedIntegral

arbitrarySizedFractional

arbitrarySizedBoundedIntegral

arbitraryBoundedIntegral

arbitraryBoundedRandom

Helper functions for implementing shrink

Helper functions for implementing coarbitrary

coarbitraryIntegral

coarbitraryReal

coarbitraryShow

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 Shrink2 a

data Shrinking s a

class ShrinkState s a

Properties

data Prop

class Testable prop

Property combinators

Experimental combinators for conjunction and disjunction

Handling failure

Test distribution

Text formatting

data Str