Test.QuickCheck.Checkers
type Test
type TestBatch
unbatch
checkBatch
quickBatch
verboseBatch
type Unop a
type Binop a
genR
inverseL
inverse
type FracT
type NumT
type OrdT
type T
class EqProp a
eq
type BinRel a
reflexive
transitive
symmetric
antiSymmetric
leftId
rightId
bothId
isAssoc
isCommut
commutes
data MonoidD a
monoidD
endoMonoidD
homomorphism
idempotent
idempotent2
idemElem
class Model a b
meq
meq1
meq2
meq3
meq4
meq5
eqModels
class Model1 f g
arbs
gens
(.&.)
arbitrarySatisfying