Index - C
| 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 |
| compareComplexityThenIndex | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareIndex | Test.Extrapolate.Utils |
| compareLexicographically | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareLexicographicallyBy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareQuickly | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| 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 |
| countListTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |