idris-1.3.0: Functional Programming Language with Dependent Types

Index - A

AbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
accDataIdris.Parser.Helpers
AccessibilityIdris.Core.Evaluate
accessibilityIdris.Parser.Helpers
addAccIdris.Parser.Helpers
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
addExtentIdris.Parser.Stack, Idris.Parser.Helpers
addFlagIdris.AbsSyntax
addFnIRTS.Lang, IRTS.Defunctionalise
addFnOptIdris.AbsSyntax
addFragileIdris.AbsSyntax
addFunctionErrorHandlersIdris.AbsSyntax
addHdrIdris.AbsSyntax
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.Options
addOptimiseIdris.AbsSyntax
AddProofIdris.REPL.Commands
AddProofClauseIdris.IdeMode
AddProofClauseFromIdris.REPL.Commands
addProofClauseFromIdris.Interactive
addPSnameIdris.Core.Elaborate
addRecordIdris.AbsSyntax
addReplSyntaxIdris.Parser
addSourceDirIdris.AbsSyntax
addStaticsIdris.AbsSyntax
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
allocUniqueIRTS.Lang, IRTS.Defunctionalise
AllowCapitalizedPatternVariablesIdris.Options
allowConstrIdris.Parser.Expr
allowImpIdris.Parser.Expr
allSourceDirsIdris.AbsSyntax
allTTNamesIdris.Core.TT
AllTypesIdris.Core.TT
AlreadyDefinedIdris.Core.TT
altIdris.Parser.Expr
AltsTArgIdris.Parser.Expr
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
AnnSyntaxIdris.Core.TT
AnnTermIdris.Core.TT
AnnTextFmtIdris.Core.TT
AnnTypeIdris.Core.TT
AnySyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
AppIdris.Core.TT
appIdris.Parser.Expr
appExtentIdris.Parser.Stack, Idris.Parser.Helpers
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
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.Options
auditPackageIdris.Package
AutoArgIdris.Core.ProofState, Idris.Core.Elaborate
autoArgIdris.Core.Elaborate
AutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
autoImplicitIdris.Parser.Expr
AutomaticWidthIdris.Options
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.Options
AutoWidthIdris.Options
auto_bindsIdris.AbsSyntaxTree, Idris.AbsSyntax