Test.QuickCheck.Property
type Property
class Testable prop
morallyDubiousIOProperty
protect
data Prop
data Rose a
ioRose
joinRose
reduceRose
onRose
protectRose
protectResults
data Callback
data CallbackKind
data Result
result
exception
formatException
protectResult
succeeded
failed
rejected
liftBool
mapResult
mapTotalResult
mapRoseResult
mapProp
mapSize
shrinking
noShrinking
callback
printTestCase
whenFail
whenFail'
verbose
expectFailure
once
label
collect
classify
cover
(==>)
within
forAll
forAllShrink
(.&.)
(.&&.)
conjoin
(.||.)
disjoin