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

getSize

resize

scale

suchThat

suchThatMap

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

Unary and Binary classes

class Arbitrary1 f

arbitrary1

shrink1

class Arbitrary2 f

arbitrary2

shrink2

Helper functions for implementing arbitrary

arbitrarySizedIntegral

arbitrarySizedNatural

arbitrarySizedFractional

arbitrarySizedBoundedIntegral

arbitraryBoundedIntegral

arbitraryBoundedRandom

arbitraryBoundedEnum

arbitraryUnicodeChar

arbitraryASCIIChar

arbitraryPrintableChar

Helper functions for implementing shrink

genericCoarbitrary

genericShrink

subterms

recursivelyShrink

shrinkNothing

shrinkList

shrinkMap

shrinkMapBy

shrinkIntegral

shrinkRealFrac

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

data ASCIIString

data UnicodeString

data PrintableString

Functions

data Fun a b

applyFun

applyFun2

applyFun3

class Function a

functionMap

Properties

data Property

class Testable prop

Property combinators

forAll

forAllShrink

shrinking

(==>)

(===)

total

ioProperty

Controlling property execution

verbose

once

again

withMaxSuccess

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