Test.Extrapolate.Core

class Generalizable a

this

backgroundWith

(+++)

backgroundOf

bgEq

bgOrd

bgEqWith1

bgEqWith2

data Option

data WithOption a

maxTests

extraInstances

maxConditionSize

hasEq

(*==*)

(*/=*)

(*<=*)

(*<*)

counterExamples

counterExampleGen

counterExampleGens

generalizations

generalizationsCE

generalizationsCEC

generalizationsCounts

weakestCondition

candidateConditions

conditionalGeneralization

matchList

newMatches

class Testable a

results

areInstancesOf

expressionsT