Test.QuickCheck

# Running tests

quickCheck
data Args
data Result
stdArgs
quickCheckWith
quickCheckWithResult
quickCheckResult

# Random generation

data Gen a

## Generator combinators

sized
resize
choose
promote
suchThat
suchThatMaybe
oneof
frequency
elements
growingElements
listOf
listOf1
vectorOf

## Generators which use Arbitrary

vector
orderedList

## Generator debugging

sample
sample'

# Arbitrary and CoArbitrary classes.

class Arbitrary a
class CoArbitrary a

## Helper functions for implementing arbitrary

arbitrarySizedIntegral
arbitrarySizedFractional
arbitraryBoundedIntegral
arbitraryBoundedRandom

## Helper functions for implementing shrink

shrinkNothing
shrinkIntegral
shrinkRealFrac

## Helper functions for implementing coarbitrary

variant
(><)
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

type Property
data Prop
class Testable prop

## Property combinators

mapSize
shrinking
(==>)
forAll
forAllShrink
(.&.)

### Handling failure

whenFail
whenFail'
expectFailure
within

### Test distribution

label
collect
classify
cover

# Text formatting

data Str
ranges