| machine_inf | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| main | Main |
| make | Pkg.Package |
| makefile | Pkg.PParser |
| MakeWith | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| MakeWithBlock | Idris.IdeSlave |
| mangle | IRTS.Java.Mangling |
| mangle' | IRTS.Java.Mangling |
| mangleFull | IRTS.Java.Mangling |
| mangleWithPrefix | IRTS.Java.Mangling |
| mapPT | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| mapsnd | Idris.AbsSyntax |
| MArgTy | Idris.ElabDecls |
| matchApp | Idris.ParseExpr, Idris.Parser |
| matchClause | Idris.AbsSyntax |
| matchClause' | Idris.AbsSyntax |
| MatchFill | Core.ProofState, Core.Elaborate |
| MatchProblems | Core.ProofState, Core.Elaborate |
| matchProblems | Core.Elaborate |
| MatchRefine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| match_apply | Core.Elaborate |
| match_fill | Core.Elaborate |
| match_unify | Core.Unify |
| mathType | IRTS.Java.JTypes |
| MavenProject | IRTS.CodegenCommon |
| maybeWithNS | Idris.ParseHelpers, Idris.Parser |
| MetaVarArg | Idris.Help |
| Metavars | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| MethodN | Core.TT |
| methodsBlock | Idris.Parser |
| Missing | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| mkApp | 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 |
| mkSpecDecl | Idris.ElabTerm |
| mkSpecialised | Idris.ElabTerm |
| mkType | Idris.ParseExpr, Idris.Parser |
| mkUnderCon | IRTS.Defunctionalise |
| mkWith | Idris.CaseSplit |
| MN | Core.TT |
| Mode | Util.Pretty |
| mode | Util.Pretty |
| modifyConst | Idris.ParseExpr, Idris.Parser |
| ModImport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ModuleArg | Idris.Help |
| moduleHeader | Idris.Parser |
| modules | Pkg.PParser |
| ModuleTree | Idris.Chaser |
| mod_deps | Idris.Chaser |
| mod_needsRecheck | Idris.Chaser |
| mod_path | Idris.Chaser |
| mod_time | Idris.Chaser |
| MonadicParsing | Idris.ParseHelpers, Idris.Parser |
| MoveLast | Core.ProofState, Core.Elaborate |
| movelast | Core.Elaborate |
| moveReg | IRTS.Bytecode |
| Msg | Core.TT |
| MTree | Idris.Chaser |
| multiLineComment | Idris.ParseHelpers, Idris.Parser |
| MultiPath | Idris.Coverage |
| Mutual | Core.Evaluate |
| mutual | Idris.Parser |