Test.QuickCheck.Property
Property and Testable types
type
Property
class
Testable
prop
Type Prop
data
Prop
type Rose
data
Rose
a
join
Result type
data
Callback
data
Result
result
failed
exception
succeeded
rejected
Lifting and mapping functions
liftBool
liftResult
liftIOResult
liftRoseIOResult
mapResult
mapIOResult
mapRoseIOResult
mapProp
Property combinators
mapSize
shrinking
callback
whenFail
whenFail'
expectFailure
label
collect
classify
cover
(==>)
within
forAll
forAllShrink
(.&.)