idris-1.1.1: Functional Programming Language with Dependent Types

Index - M

machine_genIdris.Core.TT
machine_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makeIdris.Package
MakeCaseIdris.REPL.Commands
makeCaseIdris.Interactive
MakeCaseBlockIdris.IdeMode
MakeDocIdris.REPL.Commands
makefileIdris.Package.Common
MakeLemma 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
makeLemmaIdris.Interactive
MakeWithIdris.REPL.Commands
makeWithIdris.Interactive
MakeWithBlockIdris.IdeMode
ManyIdris.Core.Typecheck
ManyArgsIdris.Help
mapCtxtIdris.Core.TT
mapDefCtxtIdris.Core.Evaluate
mapPDataFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPDeclFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPTIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPTermFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapRHSIdris.Elab.Clause
mapRHSdeclIdris.Elab.Clause
mapsndIdris.AbsSyntax
MatchIdris.Core.Unify
matchClauseIdris.AbsSyntax
matchClause'Idris.AbsSyntax
MatchFillIdris.Core.ProofState, Idris.Core.Elaborate
MatchProblemsIdris.Core.ProofState, Idris.Core.Elaborate
matchProblemsIdris.Core.Elaborate
MatchRefineIdris.AbsSyntaxTree, Idris.AbsSyntax
match_applyIdris.Core.Elaborate
match_fillIdris.Core.Elaborate
match_unifyIdris.Core.Unify
maxlineIdris.AbsSyntaxTree, Idris.AbsSyntax
MaybeHolesIdris.Core.TT
maybeWithNSIdris.Parser.Helpers, Idris.Parser
mergeOptionsIdris.Package
MetaInformationIdris.Core.Evaluate
MetaNIdris.Core.TT
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
metavarNameIdris.Elab.Term
MetavarOutputIdris.Core.TT
MetavarsIdris.REPL.Commands
MethodNIdris.Core.TT
MissingIdris.REPL.Commands
mkAppIdris.Core.TT
mkApplyIRTS.Defunctionalise
mkApply2IRTS.Defunctionalise
mkApplyCaseIRTS.Defunctionalise
mkBigCaseIRTS.Defunctionalise
MKCONIRTS.Bytecode
mkDirCmdIdris.Package
mkEvalIRTS.Defunctionalise
mkFieldNameIdris.Erasure
mkFnConIRTS.Defunctionalise
mkForceIdris.Core.CaseTree
mkListIdris.Reflection
mkMultiPathsIdris.Termination
mkNameIdris.Parser.Helpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkProofTermIdris.Core.ProofTerm
mkStaticIdris.Elab.Utils
mkStaticTyIdris.Elab.Utils
mkTTNameIdris.DSL
mkTypeIdris.Parser.Expr, Idris.Parser
mkUnderConIRTS.Defunctionalise
mkUniqueNamesIdris.AbsSyntax
mkWithIdris.CaseSplit
MNIdris.Core.TT
ModDocIdris.Docs
modDocNameIdris.AbsSyntaxTree, Idris.AbsSyntax
modifyConstIdris.Parser.Expr, Idris.Parser
ModImportIdris.REPL.Commands
ModuleArgIdris.Help
moduleHeaderIdris.Parser
modulesIdris.Package.Common
ModuleTreeIdris.Chaser
module_aliasesIdris.AbsSyntaxTree, Idris.AbsSyntax
mod_depsIdris.Chaser
mod_needsRecheckIdris.Chaser
mod_pathIdris.Chaser
mod_timeIdris.Chaser
MonadicParsingIdris.Parser.Helpers, Idris.Parser
MoveLastIdris.Core.ProofState, Idris.Core.Elaborate
movelastIdris.Core.Elaborate
moveRegIRTS.Bytecode
MsgIdris.Core.TT
MTreeIdris.Chaser
multiLineCommentIdris.Parser.Helpers, Idris.Parser
MultiPathIdris.Termination
MutualIdris.Core.Evaluate
mutualIdris.Parser
mutual_typesIdris.Core.TT
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax