idris-0.9.17.1: Functional Programming Language with Dependent Types

Index - A

AbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
accDataIdris.ParseHelpers, Idris.Parser
AccessibilityIdris.Core.Evaluate
accessibilityIdris.ParseHelpers, Idris.Parser
addAccIdris.ParseHelpers, Idris.Parser
addAlistIdris.Core.TT
addAppsIRTS.Defunctionalise
addAutoImportIdris.AbsSyntax
addBinderIdris.Core.TT
addCasedefIdris.Core.Evaluate
addClassIdris.AbsSyntax
AddClauseIdris.IdeMode
AddClauseFromIdris.AbsSyntaxTree, Idris.AbsSyntax
addClauseFromIdris.Interactive
addCoercionIdris.AbsSyntax
addConstraintsIdris.AbsSyntax
addCtxtDefIdris.Core.Evaluate
addDatatypeIdris.Core.Evaluate
addDefIdris.Core.TT
addDeferredIdris.AbsSyntax
addDeferred'Idris.AbsSyntax
addDeferredTyConIdris.AbsSyntax
addDocStrIdris.AbsSyntax
addDyLibIdris.AbsSyntax
addErasureUsageIdris.AbsSyntax
addErrRevIdris.AbsSyntax
addExportIdris.AbsSyntax
addFlagIdris.AbsSyntax
addFnIRTS.Lang, IRTS.Defunctionalise
addFunctionErrorHandlersIdris.AbsSyntax
addHdrIdris.AbsSyntax
addHidesIdris.Parser
addIBCIdris.AbsSyntax
addImplIdris.AbsSyntax
addImpl'Idris.AbsSyntax
addImplBoundIdris.AbsSyntax
addImplBoundInfIdris.AbsSyntax
addImplPatIdris.AbsSyntax
addImportDirIdris.AbsSyntax
addImportedIdris.AbsSyntax
addInstanceIdris.AbsSyntax
addInternalAppIdris.AbsSyntax
addLangExtIdris.AbsSyntax
addLibIdris.AbsSyntax
AddMissing 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
addMissingIdris.Interactive
addNameHintIdris.AbsSyntax
addNameIdxIdris.AbsSyntax
addNameIdx'Idris.AbsSyntax
addObjectFileIdris.AbsSyntax
addOperatorIdris.Core.Evaluate
AddOptIdris.AbsSyntaxTree, Idris.AbsSyntax
addOptimiseIdris.AbsSyntax
AddProofIdris.AbsSyntaxTree, Idris.AbsSyntax
AddProofClauseIdris.IdeMode
AddProofClauseFromIdris.AbsSyntaxTree, Idris.AbsSyntax
addProofClauseFromIdris.Interactive
addReplSyntaxIdris.Parser
addStaticsIdris.AbsSyntax
addSyntaxIdris.Parser
addTagsIRTS.Lang, IRTS.Defunctionalise
addToCalledGIdris.AbsSyntax
addToCGIdris.AbsSyntax
addToCtxtIdris.Core.Evaluate
ADDTOPIRTS.Bytecode
addToUsingIdris.AbsSyntax
addTransIdris.AbsSyntax
addTyDeclIdris.Core.Evaluate
addTyInfConstraintsIdris.AbsSyntax
addTyInferredIdris.AbsSyntax
addUsedNameIdris.AbsSyntax
addUsingConstraintsIdris.AbsSyntax
addUsingImplsIdris.AbsSyntax
aiFnIdris.AbsSyntax
allHelpIdris.REPLParser
allImportDirsIdris.AbsSyntax
allNamesIdris.AbsSyntax
allNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
allNothingIdris.Coverage
allocUniqueIRTS.Lang, IRTS.Defunctionalise
allowImpIdris.ParseExpr, Idris.Parser
allTTNamesIdris.Core.TT
AllTypesIdris.Core.TT
AlreadyDefinedIdris.Core.TT
altIdris.ParseExpr, Idris.Parser
AltsTArgIdris.ParseExpr, Idris.Parser
AlwaysShowIdris.AbsSyntaxTree, Idris.AbsSyntax
AnnBoundNameIdris.Core.TT
AnnConstIdris.Core.TT
AnnDataIdris.Core.TT
AnnErrIdris.Core.TT
AnnFCIdris.Core.TT
AnnKeywordIdris.Core.TT
AnnNameIdris.Core.TT
annNameIdris.Delaborate
annotCodeIdris.Docstrings
AnnSearchResultIdris.Core.TT
AnnTermIdris.Core.TT
AnnTextFmtIdris.Core.TT
AnnTypeIdris.Core.TT
AnySyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
AppIdris.Core.TT
appIdris.ParseExpr, Idris.Parser
applyIdris.Core.Elaborate
apply'Idris.Core.Elaborate
apply2Idris.Core.Elaborate
ApplyCaseIRTS.Defunctionalise
applyDataOptRTIdris.DataOpts
applyOptsIdris.DataOpts
ApplyTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRulesIdris.Transforms
applyTransRulesWithIdris.Transforms
apply_elabIdris.Core.Elaborate
Apropos 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
aproposIdris.Apropos
aproposModulesIdris.Apropos
arg 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.ParseExpr, Idris.Parser
argExprIdris.Parser
argNameIdris.Reflection
ArgOptIdris.AbsSyntaxTree, Idris.AbsSyntax
argoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
argsdefIdris.AbsSyntaxTree, Idris.AbsSyntax
argsusedIdris.AbsSyntaxTree, Idris.AbsSyntax
argTyIdris.Reflection
ArithTyIdris.Core.TT
arityIdris.Core.TT
AssertTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
ASSIGNIRTS.Bytecode
assignIRTS.Bytecode
ASSIGNCONSTIRTS.Bytecode
assumptionNamesIdris.Prover
AtIdris.Core.TT
ATFloatIdris.Core.TT
atHoleIdris.Core.ProofTerm
ATIntIdris.Core.TT
Attack 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
attackIdris.Core.Elaborate
ATypeIdris.Core.TT
AutoArgIdris.Core.ProofState, Idris.Core.Elaborate
autoArgIdris.Core.Elaborate
AutomaticWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidthIdris.AbsSyntaxTree, Idris.AbsSyntax