Test.SmallCheck

smallCheck

smallCheckI

depthCheck

test

data Property

class Testable a

forAll

forAllElem

exists

existsDeeperBy

thereExists

thereExistsElem

exists1

exists1DeeperBy

thereExists1

thereExists1Elem

(==>)

type Series a

class Serial a

(\/)

(><)

two

three

four

cons0

cons1

cons2

cons3

cons4

alts0

alts1

alts2

alts3

alts4

data N a

type Nat

type Natural

depth

inc

dec