candidateConditions | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
candidateGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
candidateHoleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
canonicalization | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizationWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalize | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeUsingHoles | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeUsingHolesWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalVariations | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
cast | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
char | Test.Extrapolate.TypeBinding, Test.Extrapolate |
check | Test.Extrapolate.IO, Test.Extrapolate |
checkResult | Test.Extrapolate.IO, Test.Extrapolate |
classesFromSchemasAndVariables | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
compareComplexity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
compareIndex | Test.Extrapolate.Utils |
compareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
concatMapT | Test.Extrapolate.Core, Test.Extrapolate |
concatT | Test.Extrapolate.Core, Test.Extrapolate |
condEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
condEqualM | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
conditionalCounterExampleGeneralizations | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
cons0 | Test.Extrapolate.Core, Test.Extrapolate |
cons1 | Test.Extrapolate.Core, Test.Extrapolate |
cons10 | Test.Extrapolate.Core, Test.Extrapolate |
cons11 | Test.Extrapolate.Core, Test.Extrapolate |
cons12 | Test.Extrapolate.Core, Test.Extrapolate |
cons2 | Test.Extrapolate.Core, Test.Extrapolate |
cons3 | Test.Extrapolate.Core, Test.Extrapolate |
cons4 | Test.Extrapolate.Core, Test.Extrapolate |
cons5 | Test.Extrapolate.Core, Test.Extrapolate |
cons6 | Test.Extrapolate.Core, Test.Extrapolate |
cons7 | Test.Extrapolate.Core, Test.Extrapolate |
cons8 | Test.Extrapolate.Core, Test.Extrapolate |
cons9 | Test.Extrapolate.Core, Test.Extrapolate |
consts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
counterExample | Test.Extrapolate.Testable, Test.Extrapolate.Core |
counterExampleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
counterExamples | Test.Extrapolate.Testable, Test.Extrapolate.Core |
counterExampleWithGeneralizations | Test.Extrapolate.Core |