Test.Extrapolate

Checking properties

check

checkResult

for

withBackground

withConditionSize

Generalizable types

class Generalizable a

this

data Expr

constant

showConstant

bgEq

bgOrd

Testable properties

class Testable a

Automatically deriving Generalizable instances

deriveGeneralizable

deriveGeneralizableIfNeeded

deriveGeneralizableCascading

Other useful modules