Index - M
| M | SparseMatrix |
| madd | Termination |
| main | MainLib |
| mainFile | MainLib |
| main_mod | HsSyntax |
| main_name | HsSyntax |
| makeCG | Termination |
| ManyConstructors | Eval |
| mapAssoc | Util |
| mapAssocM | Util |
| mapDec | Abstract |
| mapDecM | Abstract |
| mapFst | Util |
| mapMapM | Util |
| mapOver | Util |
| mapPair | Util |
| mapPol | Abstract |
| mapSecond12 | TCM |
| mapSnd | Util |
| Mat | Termination |
| Match | HsSyntax |
| match | Eval |
| matchClause | Eval |
| matchClauses | Eval |
| MatchingConstructors | Eval |
| matchingConstructors | Eval |
| matchingConstructors' | Eval |
| matchingConstructors'' | Eval |
| matchList | Eval |
| matchPatType | TCM |
| MatchState | Eval |
| Matrix | |
| 1 (Type/Class) | SparseMatrix |
| 2 (Type/Class) | Warshall |
| 3 (Type/Class) | Termination |
| matrix | |
| 1 (Function) | Warshall |
| 2 (Function) | Termination |
| matrixInvariant | SparseMatrix |
| Max | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| maxClass | Abstract |
| maxE | Abstract |
| MaxExpr | Warshall |
| maxExpr | TCM |
| maxL | Termination |
| MaxMatches | TypeChecker |
| maxMins | Eval |
| maxO | Termination |
| maxSize | Value |
| maxSizeE | Abstract |
| maxSort | Abstract |
| maybeErase | TypeChecker |
| Measure | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| measure | Abstract |
| Meta | Abstract |
| metaToExpr | Eval |
| MetaVar | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| MetaVars | TCM |
| metaVars | TCM |
| minClass | Abstract |
| minL | Termination |
| minM | Termination |
| minO | Termination |
| minSize | Eval |
| minSizeE | Abstract |
| minSort | Abstract |
| Minus | Lexer |
| MIx | |
| 1 (Type/Class) | SparseMatrix |
| 2 (Data Constructor) | SparseMatrix |
| mixed | Polarity |
| mIxInvariant | SparseMatrix |
| mkApp | HsSyntax |
| mkCast | HsSyntax |
| mkClause | HsSyntax |
| mkClos | Value |
| mkCon | HsSyntax |
| mkConDecl | HsSyntax |
| mkConLType | TypeChecker |
| mkConstraint | TCM |
| mkConVal | Eval |
| mkCP | Termination |
| mkDataDecl | HsSyntax |
| mkDotted | Abstract |
| mkExtName | Abstract |
| mkExtRef | Abstract |
| mkForall | HsSyntax |
| mkKindFun | HsSyntax |
| mkLam | HsSyntax |
| mkLet | HsSyntax |
| mkLLet | HsSyntax |
| mkMatrix | Warshall |
| mkModule | HsSyntax |
| mkPair | HsSyntax |
| mkParen | HsSyntax |
| mkQual | HsSyntax |
| mkQualImport | HsSyntax |
| mkTyApp | HsSyntax |
| mkTyFun | HsSyntax |
| mkTyParen | HsSyntax |
| mkTypeSig | HsSyntax |
| mkTyPiSig | HsSyntax |
| mkTyProd | HsSyntax |
| mkVar | HsSyntax |
| mmul | Termination |
| modifySig | TCM |
| modifySigQ | TCM |
| Module | HsSyntax |
| MonadAssert | TraceError |
| MonadCxt | TCM |
| MonadMeta | TCM |
| MonadSig | TCM |
| MonadTCM | TCM |
| monomials | Polarity |
| MScope | TCM |
| mscope | TCM |
| MT12 | Eval |
| mul | |
| 1 (Function) | Semiring |
| 2 (Function) | SparseMatrix |
| mulCC | Termination |
| mulCMSet | Termination |
| mulCP | Termination |
| Multiplicity | Polarity |
| multiply | Semiring |
| multsEmpty | Polarity |
| multsSingle | Polarity |
| Mutual | Lexer |
| mutualCo | TCM |
| MutualDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| MutualFunDecl | Abstract |
| mutualFuns | TCM |
| mutualNames | TCM |
| MVar | Abstract |