Test.SmallCheck

Constructing tests

class Testable a

data Property

property

Existential quantification

exists

exists1

existsDeeperBy

exists1DeeperBy

Conditioning

(==>)

Running tests

smallCheck

depthCheck

smallCheckI

type Depth