Test.QuickCheck.Checkers

Misc

type Test
type TestBatch
type Unop a
type Binop a
type FracT
type NumT
type OrdT
type T

Generalized equality

class EqProp a
type BinRel a
data MonoidD a

Model-based (semantics-based) testing

class Model a b
class Model1 f g

Some handy testing types