Test.QuickCheck.Property

# Property and Testable types

type Property
class Testable prop

## Type Prop

data Prop

## type Rose

data Rose a
join
protectRose

## Result type

data Callback
data Result
result
failed
protectResult
succeeded
rejected

## Lifting and mapping functions

liftBool
liftResult
liftIOResult
liftRoseIOResult
mapResult
mapIOResult
mapRoseIOResult
mapProp

## Property combinators

mapSize
shrinking
noShrinking
callback
whenFail
whenFail'
expectFailure
label
collect
classify
cover
(==>)
within
forAll
forAllShrink
(.&.)