| machine_inf | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| make | Pkg.Package |
| MakeWith | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| MakeWithBlock | Idris.IdeSlave |
| mangle | IRTS.Java.Mangling |
| mangle' | IRTS.Java.Mangling |
| mangleFull | IRTS.Java.Mangling |
| mangleWithPrefix | IRTS.Java.Mangling |
| mapCtxt | Idris.Core.TT |
| mapDefCtxt | Idris.Core.Evaluate |
| mapPT | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| mapsnd | Idris.AbsSyntax |
| MArgTy | Idris.ElabDecls |
| matchApp | Idris.ParseExpr, Idris.Parser |
| matchClause | Idris.AbsSyntax |
| matchClause' | Idris.AbsSyntax |
| MatchFill | Idris.Core.ProofState, Idris.Core.Elaborate |
| MatchProblems | Idris.Core.ProofState, Idris.Core.Elaborate |
| matchProblems | Idris.Core.Elaborate |
| MatchRefine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| match_apply | Idris.Core.Elaborate |
| match_fill | Idris.Core.Elaborate |
| match_unify | Idris.Core.Unify |
| mathType | IRTS.Java.JTypes |
| MavenProject | IRTS.CodegenCommon |
| maybeWithNS | Idris.ParseHelpers, Idris.Parser |
| MetaInformation | Idris.Core.Evaluate |
| MetaVarArg | Idris.Help |
| Metavars | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| MethodN | Idris.Core.TT |
| Missing | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| mkApp | Idris.Core.TT |
| mkapp | IRTS.Simplified |
| mkApply | IRTS.Defunctionalise |
| mkApplyCase | IRTS.Defunctionalise |
| mkBigCase | IRTS.Defunctionalise |
| mkClassName | IRTS.Java.Mangling |
| MKCON | IRTS.Bytecode |
| mkDecls | IRTS.Compiler |
| mkDirCmd | Pkg.Package |
| mkEval | IRTS.Defunctionalise |
| mkfapp | IRTS.Simplified |
| mkFnCon | IRTS.Defunctionalise |
| mkIBC | Idris.IBC |
| mkIntIty | IRTS.Compiler |
| mkIty | IRTS.Compiler |
| mkIty' | IRTS.Compiler |
| mkLDecl | IRTS.Compiler |
| mkMultiPaths | Idris.Coverage |
| mkName | Idris.ParseHelpers, Idris.Parser |
| mkPApp | Idris.AbsSyntax |
| mkPatTm | Idris.Coverage |
| mkPE_TermDecl | Idris.PartialEval |
| mkPE_TyDecl | Idris.PartialEval |
| mkPrompt | Idris.REPL |
| mkType | Idris.ParseExpr, Idris.Parser |
| mkUnderCon | IRTS.Defunctionalise |
| mkUniqueNames | Idris.AbsSyntax |
| mkWith | Idris.CaseSplit |
| MN | Idris.Core.TT |
| modifyConst | Idris.ParseExpr, Idris.Parser |
| ModImport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ModuleArg | Idris.Help |
| moduleHeader | Idris.Parser |
| ModuleTree | Idris.Chaser |
| module_aliases | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| mod_deps | Idris.Chaser |
| mod_needsRecheck | Idris.Chaser |
| mod_path | Idris.Chaser |
| mod_time | Idris.Chaser |
| MonadicParsing | Idris.ParseHelpers, Idris.Parser |
| MoveLast | Idris.Core.ProofState, Idris.Core.Elaborate |
| movelast | Idris.Core.Elaborate |
| moveReg | IRTS.Bytecode |
| Msg | Idris.Core.TT |
| MTree | Idris.Chaser |
| multiLineComment | Idris.ParseHelpers, Idris.Parser |
| MultiPath | Idris.Coverage |
| Mutual | Idris.Core.Evaluate |
| mutual | Idris.Parser |