Test.SmallCheck.Property
data TestCase
data TestResult
resultIsOk
data Property
type Depth
class Testable a
property
mkProperty
(==>)
exists
existsDeeperBy
exists1
exists1DeeperBy
forAll
forAllElem
thereExists
thereExistsElem
thereExists1
thereExists1Elem