Test.Extrapolate.Core
class Generalizable a
this
backgroundWith
(+++)
backgroundOf
bgEq
bgOrd
data Option
options
data WithOption a
maxTests
extraInstances
maxConditionSize
hasEq
(*==*)
counterExampleGen
counterExampleGens
generalizations
generalizationsCE
generalizationsCEC
generalizationsCounts
weakestCondition
candidateConditions
conditionalGeneralization
matchList
newMatches
class Testable a
results
areInstancesOf
expressionsT