Index - M
| mapCons | Test.Extrapolate.Core, Test.Extrapolate |
| mapConsts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapSubexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapT | Test.Extrapolate.Core, Test.Extrapolate |
| mapValues | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| match | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| matchWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| MaxConditionSize | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| maximumOn | Test.Extrapolate.Utils |
| MaxTests | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| mayb | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| maybeEq | Test.Extrapolate.Utils |
| maybeHoleOfTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| maybeOrd | Test.Extrapolate.Utils |
| minimumOn | Test.Extrapolate.Utils |
| mkCompareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonLE | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonLT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkNameWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrdLessEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mostGeneralCanonicalVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mostSpecificCanonicalVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mtyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |