Test.QuickCheck

Running tests

quickCheck

data Args

data Result

stdArgs

quickCheckWith

quickCheckWithResult

quickCheckResult

isSuccess

Running tests verbosely

verboseCheck

verboseCheckWith

verboseCheckWithResult

verboseCheckResult

Testing all properties in a module

quickCheckAll

verboseCheckAll

forAllProperties

allProperties

Testing polymorphic properties

polyQuickCheck

polyVerboseCheck

monomorphic

The Arbitrary typeclass: generation of random values

class Arbitrary a

Helper functions for implementing shrink

genericShrink

subterms

recursivelyShrink

shrinkNothing

shrinkList

shrinkMap

shrinkMapBy

shrinkIntegral

shrinkRealFrac

shrinkDecimal

Lifting of Arbitrary to unary and binary type constructors

class Arbitrary1 f

arbitrary1

shrink1

class Arbitrary2 f

arbitrary2

shrink2

The Gen monad: combinators for building random generators

data Gen a

Generator combinators

choose

oneof

frequency

elements

growingElements

sized

getSize

resize

scale

suchThat

suchThatMap

suchThatMaybe

applyArbitrary2

applyArbitrary3

applyArbitrary4

Generators for lists

listOf

listOf1

vectorOf

vector

infiniteListOf

infiniteList

shuffle

sublistOf

orderedList

Generators for particular types

arbitrarySizedIntegral

arbitrarySizedNatural

arbitrarySizedFractional

arbitrarySizedBoundedIntegral

arbitraryBoundedIntegral

arbitraryBoundedRandom

arbitraryBoundedEnum

arbitraryUnicodeChar

arbitraryASCIIChar

arbitraryPrintableChar

Running generators

generate

Debugging generators

sample

sample'

The Function typeclass: generation of random shrinkable, showable functions

data Fun a b

applyFun

applyFun2

applyFun3

class Function a

functionMap

functionShow

functionIntegral

functionRealFrac

functionBoundedEnum

The CoArbitrary typeclass: generation of functions the old-fashioned way

class CoArbitrary a

genericCoarbitrary

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

data SortedList 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

Property combinators

data Property

class Testable prop

forAll

forAllShrink

forAllShow

forAllShrinkShow

forAllBlind

forAllShrinkBlind

shrinking

(==>)

data Discard

discard

(===)

(=/=)

total

ioProperty

idempotentIOProperty

Controlling property execution

verbose

verboseShrinking

noShrinking

withMaxSuccess

within

once

again

mapSize

Conjunction and disjunction

(.&.)

(.&&.)

conjoin

(.||.)

disjoin

What to do on failure

counterexample

printTestCase

whenFail

whenFail'

expectFailure

Analysing test case distribution

label

collect

classify

tabulate

Checking test case distribution

cover

coverTable

checkCoverage

checkCoverageWith

data Confidence

stdConfidence

Generating example test cases

labelledExamples

labelledExamplesWith

labelledExamplesWithResult

labelledExamplesResult