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