Foundation.Check

data Gen a

class Arbitrary a

oneof

elements

frequency

between

data Test

testName

Property

data PropertyCheck

data Property

class IsProperty p

(===)

propertyCompare

propertyAnd

propertyFail

forAll

Check Plan

data Check a

validate

pick

iterateProperty