idris-0.9.17: Functional Programming Language with Dependent Types

Index - M

machine_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makePkg.Package
MakeDocIdris.AbsSyntaxTree, Idris.AbsSyntax
MakeLemma 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
makeLemmaIdris.Interactive
MakeWithIdris.AbsSyntaxTree, Idris.AbsSyntax
makeWithIdris.Interactive
MakeWithBlockIdris.IdeMode
ManagedPtrTypeIdris.Core.TT
ManyIdris.Core.Typecheck
ManyArgsIdris.Help
mapCtxtIdris.Core.TT
mapDefCtxtIdris.Core.Evaluate
mapPTIdris.AbsSyntaxTree, Idris.AbsSyntax
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
MavenProjectIRTS.CodegenCommon
maxlineIdris.AbsSyntaxTree, Idris.AbsSyntax
maybeWithNSIdris.ParseHelpers, Idris.Parser
maybe_defaultIdris.ASTUtils
MetaInformationIdris.Core.Evaluate
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
MetavarOutputIdris.Core.TT
MetavarsIdris.AbsSyntaxTree, Idris.AbsSyntax
MethodNIdris.Core.TT
MissingIdris.AbsSyntaxTree, Idris.AbsSyntax
mkAppIdris.Core.TT
mkApplyIRTS.Defunctionalise
mkApplyCaseIRTS.Defunctionalise
mkBigCaseIRTS.Defunctionalise
MKCONIRTS.Bytecode
mkDirCmdPkg.Package
mkEvalIRTS.Defunctionalise
mkFieldNameIdris.Erasure
mkFnConIRTS.Defunctionalise
mkForceIdris.Core.CaseTree
mkIBCIdris.IBC
mkListIdris.ElabTerm
mkMultiPathsIdris.Coverage
mkNameIdris.ParseHelpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkPromptIdris.REPL
mkProofTermIdris.Core.ProofTerm
mkStaticIdris.Elab.Utils
mkStaticTyIdris.Elab.Utils
mkTTNameIdris.DSL
mkTypeIdris.ParseExpr, Idris.Parser
mkUnderConIRTS.Defunctionalise
mkUniqueNamesIdris.AbsSyntax
mkWithIdris.CaseSplit
MNIdris.Core.TT
ModDocIdris.Docs
modDocNameIdris.AbsSyntaxTree, Idris.AbsSyntax
modifyConstIdris.ParseExpr, Idris.Parser
ModImportIdris.AbsSyntaxTree, Idris.AbsSyntax
ModuleArgIdris.Help
moduleHeaderIdris.Parser
ModuleTreeIdris.Chaser
module_aliasesIdris.AbsSyntaxTree, Idris.AbsSyntax
mod_depsIdris.Chaser
mod_needsRecheckIdris.Chaser
mod_pathIdris.Chaser
mod_timeIdris.Chaser
MonadicParsingIdris.ParseHelpers, Idris.Parser
MoveLastIdris.Core.ProofState, Idris.Core.Elaborate
movelastIdris.Core.Elaborate
moveRegIRTS.Bytecode
MsgIdris.Core.TT
MTreeIdris.Chaser
multiLineCommentIdris.ParseHelpers, Idris.Parser
MultiPathIdris.Coverage
MutualIdris.Core.Evaluate
mutualIdris.Parser
mutual_typesIdris.AbsSyntaxTree, Idris.AbsSyntax
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax