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 |