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 |
mtyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |