idris-1.0: Functional Programming Language with Dependent Types

Index - A

AbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
accDataIdris.Parser.Helpers, Idris.Parser
AccessibilityIdris.Core.Evaluate
accessibilityIdris.Parser.Helpers, Idris.Parser
accessibility'Idris.Parser.Helpers, Idris.Parser
addAccIdris.Parser.Helpers, Idris.Parser
addAlistIdris.Core.TT
addAppsIRTS.Defunctionalise
addAutoHintIdris.AbsSyntax
addAutoImportIdris.AbsSyntax
addBinderIdris.Core.TT
addCallsIdris.AbsSyntax
addCasedefIdris.Core.Evaluate
addCGAllNamesIdris.AbsSyntax
AddClauseIdris.IdeMode
AddClauseFromIdris.REPL.Commands
addClauseFromIdris.Interactive
addCoercionIdris.AbsSyntax
addConstraintsIdris.AbsSyntax
addCtxtDefIdris.Core.Evaluate
addDatatypeIdris.Core.Evaluate
addDefIdris.Core.TT
addDeferredIdris.AbsSyntax
addDeferred'Idris.AbsSyntax
addDeferredTyConIdris.AbsSyntax
addDefinedNameIdris.AbsSyntax
addDeprecatedIdris.AbsSyntax
addDocStrIdris.AbsSyntax
addDyLibIdris.AbsSyntax
addErasureUsageIdris.AbsSyntax
addErrReduceIdris.AbsSyntax
addErrRevIdris.AbsSyntax
addExportIdris.AbsSyntax
addFlagIdris.AbsSyntax
addFnIRTS.Lang, IRTS.Defunctionalise
addFnOptIdris.AbsSyntax
addFragileIdris.AbsSyntax
addFunctionErrorHandlersIdris.AbsSyntax
addHdrIdris.AbsSyntax
addHidesIdris.Parser
addIBCIdris.AbsSyntax
addImplIdris.AbsSyntax
addImpl'Idris.AbsSyntax
addImplBoundIdris.AbsSyntax
addImplBoundInfIdris.AbsSyntax
addImplementationIdris.AbsSyntax
addImplPatIdris.AbsSyntax
addImportDirIdris.AbsSyntax
addImportedIdris.AbsSyntax
addInterfaceIdris.AbsSyntax
addInternalAppIdris.AbsSyntax
addLangExtIdris.AbsSyntax
addLibIdris.AbsSyntax
AddMissing 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
addMissingIdris.Interactive
addNameHintIdris.AbsSyntax
addNameIdxIdris.AbsSyntax
addNameIdx'Idris.AbsSyntax
addObjectFileIdris.AbsSyntax
addOpenImplIdris.AbsSyntax
addOperatorIdris.Core.Evaluate
AddOptIdris.AbsSyntaxTree, Idris.AbsSyntax
addOptimiseIdris.AbsSyntax
AddProofIdris.REPL.Commands
AddProofClauseIdris.IdeMode
AddProofClauseFromIdris.REPL.Commands
addProofClauseFromIdris.Interactive
addPSnameIdris.Core.Elaborate
addRecordIdris.AbsSyntax
addReplSyntaxIdris.Parser
addSourceDirIdris.AbsSyntax
addStaticsIdris.AbsSyntax
addSyntaxIdris.Parser
addTagsIRTS.Lang, IRTS.Defunctionalise
addToCGIdris.AbsSyntax
addToCtxtIdris.Core.Evaluate
ADDTOPIRTS.Bytecode
addToUsingIdris.AbsSyntax
addTransIdris.AbsSyntax
addTTIdris.AbsSyntax
addTyDeclIdris.Core.Evaluate
addTyInfConstraintsIdris.AbsSyntax
addTyInferredIdris.AbsSyntax
addUsedNameIdris.AbsSyntax
addUsingConstraintsIdris.AbsSyntax
addUsingImplsIdris.AbsSyntax
aiFnIdris.AbsSyntax
allCallsIdris.AbsSyntaxTree, Idris.AbsSyntax
AllGuardedIdris.AbsSyntaxTree, Idris.AbsSyntax
allHelpIdris.REPL.Parser
allImportDirsIdris.AbsSyntax
allNamesIdris.AbsSyntax
allNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
allNothingIdris.Termination
allocUniqueIRTS.Lang, IRTS.Defunctionalise
allowConstrIdris.Parser.Expr, Idris.Parser
allowImpIdris.Parser.Expr, Idris.Parser
allSourceDirsIdris.AbsSyntax
allTTNamesIdris.Core.TT
AllTypesIdris.Core.TT
AlreadyDefinedIdris.Core.TT
altIdris.Parser.Expr, Idris.Parser
AltsTArgIdris.Parser.Expr, Idris.Parser
AlwaysShowIdris.AbsSyntaxTree, Idris.AbsSyntax
AnnAntiquoteIdris.Core.TT
AnnBoundNameIdris.Core.TT
AnnConstIdris.Core.TT
AnnDataIdris.Core.TT
AnnErrIdris.Core.TT
AnnFCIdris.Core.TT
AnnKeywordIdris.Core.TT
AnnLinkIdris.Core.TT
AnnNameIdris.Core.TT
annNameIdris.Delaborate
AnnNamespaceIdris.Core.TT
annotationColourIdris.AbsSyntaxTree, Idris.AbsSyntax
annotCodeIdris.Docstrings
AnnQuasiquoteIdris.Core.TT
AnnSearchResultIdris.Core.TT
AnnTermIdris.Core.TT
AnnTextFmtIdris.Core.TT
AnnTypeIdris.Core.TT
AnySyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
AppIdris.Core.TT
appIdris.Parser.Expr, Idris.Parser
applyIdris.Core.Elaborate
apply'Idris.Core.Elaborate
apply2Idris.Core.Elaborate
Apply2CaseIRTS.Defunctionalise
ApplyCaseIRTS.Defunctionalise
applyOptsIdris.DataOpts
ApplyTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRulesIdris.Transforms
applyTransRulesWithIdris.Transforms
apply_elabIdris.Core.Elaborate
AppStatusIdris.Core.TT
Apropos 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
aproposIdris.Apropos
aproposModulesIdris.Apropos
arg 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.Parser.Expr, Idris.Parser
argExprIdris.Parser
argNameIdris.Reflection
ArgOptIdris.AbsSyntaxTree, Idris.AbsSyntax
argoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
argPlicityIdris.Reflection
argTyIdris.Reflection
ArithTyIdris.Core.TT
arityIdris.Core.TT
AssertTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
ASSIGNIRTS.Bytecode
assignIRTS.Bytecode
ASSIGNCONSTIRTS.Bytecode
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
AuditIPkgIdris.AbsSyntaxTree, Idris.AbsSyntax
auditPackageIdris.Package
AutoArgIdris.Core.ProofState, Idris.Core.Elaborate
autoArgIdris.Core.Elaborate
AutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
autoImplicitIdris.Parser.Expr, Idris.Parser
AutomaticWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
auto_bindsIdris.AbsSyntaxTree, Idris.AbsSyntax