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