idris-1.3.0: 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
makeFnIRTS.Lang, IRTS.Defunctionalise
MakeLemma 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
makeLemmaIdris.Interactive
makeTargetIdris.Package
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
MarkIdris.Parser.Stack, Idris.Parser.Helpers
markIdris.Parser.Stack, Idris.Parser.Helpers
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
mergeOptionsIdris.Package
MessageIdris.Output
messageExtentIdris.Output
messageSourceIdris.Output
messageTextIdris.Output
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
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkProofTermIdris.Core.ProofTerm
mkStaticIdris.Elab.Utils
mkStaticTyIdris.Elab.Utils
mkTypeIdris.Parser.Expr
mkUnderConIRTS.Defunctionalise
mkUniqueNamesIdris.AbsSyntax
mkWithIdris.CaseSplit
MNIdris.Core.TT
ModDocIdris.Docs
modDocNameIdris.AbsSyntaxTree, Idris.AbsSyntax
modifyConstIdris.Parser.Expr
ModImportIdris.REPL.Commands
ModuleArgIdris.Help
moduleNameIdris.Parser
modulesIdris.Package.Common
ModuleTreeIdris.Chaser
module_aliasesIdris.AbsSyntaxTree, Idris.AbsSyntax
mod_depsIdris.Chaser
mod_needsRecheckIdris.Chaser
mod_pathIdris.Chaser
mod_timeIdris.Chaser
MoveLastIdris.Core.ProofState, Idris.Core.Elaborate
movelastIdris.Core.Elaborate
moveRegIRTS.Bytecode
MsgIdris.Core.TT
MTreeIdris.Chaser
MutualIdris.Core.Evaluate
mutual_typesIdris.Core.TT
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax