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