Test.Extrapolate.Core

class Generalizable a

this

backgroundWith

(+++)

backgroundOf

bgEq

bgOrd

data Option

data WithOption a

maxTests

extraInstances

maxConditionSize

hasEq

(*==*)

counterExampleGen

counterExampleGens

generalizations

generalizationsCE

generalizationsCEC

generalizationsCounts

weakestCondition

candidateConditions

conditionalGeneralization

matchList

newMatches

class Testable a

results

areInstancesOf

expressionsT