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
protectResult
succeeded
failed
rejected
Lifting and mapping functions
liftBool
mapResult
mapTotalResult
mapRoseResult
mapProp
Property combinators
mapSize
shrinking
noShrinking
callback
printTestCase
whenFail
whenFail'
verbose
expectFailure
label
collect
classify
cover
(==>)
within
forAll
forAllShrink
(.&.)
(.&&.)
conjoin
(.||.)
disjoin