idris-0.9.15: 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.IdeSlave
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
addErrRevIdris.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.IdeSlave
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.IdeSlave
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
addUsingConstraintsIdris.AbsSyntax
addUsingImplsIdris.AbsSyntax
aiFnIdris.AbsSyntax
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
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
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.IdeSlave
3 (Type/Class)Idris.Apropos
aproposIdris.Apropos
arg 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.ParseExpr, Idris.Parser
argExprIdris.Parser
ArgOptIdris.AbsSyntaxTree, Idris.AbsSyntax
argoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
argsdefIdris.AbsSyntaxTree, Idris.AbsSyntax
argsusedIdris.AbsSyntaxTree, Idris.AbsSyntax
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
AutomaticWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidthIdris.AbsSyntaxTree, Idris.AbsSyntax