idris-0.9.20: Functional Programming Language with Dependent Types

Index - M

machine_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makePkg.Package
MakeCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
makeCaseIdris.Interactive
MakeCaseBlockIdris.IdeMode
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
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
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
MaybeHolesIdris.Core.TT
maybeWithNSIdris.ParseHelpers, Idris.Parser
MetaInformationIdris.Core.Evaluate
MetaNIdris.Core.TT
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
metavarNameIdris.Elab.Term
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
mkListIdris.Reflection
mkMultiPathsIdris.Coverage
mkNameIdris.ParseHelpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
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.Core.TT
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax