Test.QuickCheck.Checkers

Misc

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

Generalized equality

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

Model-based (semantics-based) testing

class Model a b

meq

meq1

meq2

meq3

meq4

meq5

eqModels

class Model1 f g

Some handy testing types

arbs

gens

(.&.)

arbitrarySatisfying