Test.Extrapolate

Checking properties

check

checkResult

for

withBackground

withConditionSize

Obtaining generalizations

counterExampleGen

counterExampleGens

Generalizable types

class Generalizable a

this

these

usefuns

nameOf

data Expr

constant

showConstant

Testable properties

class Testable a

Automatically deriving Generalizable instances

deriveGeneralizable

deriveGeneralizableIfNeeded

deriveGeneralizableCascading

Other useful modules