Test.QuickCheck

# Running tests

quickCheck

data Args

data Result

stdArgs

quickCheckWith

quickCheckWithResult

quickCheckResult

## Running tests verbosely

verboseCheck

verboseCheckWith

verboseCheckWithResult

verboseCheckResult

## Testing all properties in a module

quickCheckAll

verboseCheckAll

forAllProperties

## Testing polymorphic properties

polyQuickCheck

polyVerboseCheck

monomorphic

# Random generation

data Gen a

## Generator combinators

choose

oneof

frequency

elements

growingElements

sized

resize

scale

suchThat

suchThatMaybe

listOf

listOf1

vectorOf

infiniteListOf

shuffle

sublistOf

## Generators which use Arbitrary

vector

orderedList

infiniteList

## Running a generator

generate

## Generator debugging

sample

sample'

# Arbitrary and CoArbitrary classes

class Arbitrary a

class CoArbitrary a

## Helper functions for implementing arbitrary

arbitrarySizedIntegral

arbitrarySizedNatural

arbitrarySizedFractional

arbitrarySizedBoundedIntegral

arbitraryBoundedIntegral

arbitraryBoundedRandom

arbitraryBoundedEnum

## Helper functions for implementing shrink

genericCoarbitrary

genericShrink

subterms

recursivelyShrink

shrinkNothing

shrinkList

shrinkIntegral

shrinkRealFrac

shrinkRealFracToInteger

## Helper functions for implementing coarbitrary

variant

coarbitraryIntegral

coarbitraryReal

coarbitraryShow

coarbitraryEnum

(><)

## 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 Large a

data Small a

data Smart a

data Shrink2 a

data Shrinking s a

class ShrinkState s a

# Properties

data Property

class Testable prop

## Property combinators

forAll

forAllShrink

shrinking

(==>)

(===)

ioProperty

### Controlling property execution

verbose

once

within

noShrinking

### Conjunction and disjunction

(.&.)

(.&&.)

conjoin

(.||.)

disjoin

### What to do on failure

counterexample

printTestCase

whenFail

whenFail'

expectFailure

### Analysing test distribution

label

collect

classify

cover

### Miscellaneous

data Discard

discard

mapSize