Test.QuickCheck.Property

Property and Testable types

type Property

class Testable prop

morallyDubiousIOProperty

Exception handling

protect

Type Prop

data Prop

type Rose

data Rose a

ioRose

joinRose

reduceRose

onRose

protectRose

protectResults

Result type

data Callback

data CallbackKind

data Result

result

exception

formatException

protectResult

succeeded

failed

rejected

Lifting and mapping functions

liftBool

mapResult

mapTotalResult

mapRoseResult

mapProp

Property combinators

mapSize

shrinking

noShrinking

callback

printTestCase

whenFail

whenFail'

verbose

expectFailure

once

label

collect

classify

cover

(==>)

within

forAll

forAllShrink

(.&.)

(.&&.)

conjoin

(.||.)

disjoin