idris-1.0: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

Index - A

Abandon | Idris.AbsSyntaxTree, Idris.AbsSyntax
accData | Idris.Parser.Helpers, Idris.Parser
Accessibility | Idris.Core.Evaluate
accessibility | Idris.Parser.Helpers, Idris.Parser
accessibility' | Idris.Parser.Helpers, Idris.Parser
addAcc | Idris.Parser.Helpers, Idris.Parser
addAlist | Idris.Core.TT
addApps | IRTS.Defunctionalise
addAutoHint | Idris.AbsSyntax
addAutoImport | Idris.AbsSyntax
addBinder | Idris.Core.TT
addCalls | Idris.AbsSyntax
addCasedef | Idris.Core.Evaluate
addCGAllNames | Idris.AbsSyntax
AddClause | Idris.IdeMode
AddClauseFrom | Idris.REPL.Commands
addClauseFrom | Idris.Interactive
addCoercion | Idris.AbsSyntax
addConstraints | Idris.AbsSyntax
addCtxtDef | Idris.Core.Evaluate
addDatatype | Idris.Core.Evaluate
addDef | Idris.Core.TT
addDeferred | Idris.AbsSyntax
addDeferred' | Idris.AbsSyntax
addDeferredTyCon | Idris.AbsSyntax
addDefinedName | Idris.AbsSyntax
addDeprecated | Idris.AbsSyntax
addDocStr | Idris.AbsSyntax
addDyLib | Idris.AbsSyntax
addErasureUsage | Idris.AbsSyntax
addErrReduce | Idris.AbsSyntax
addErrRev | Idris.AbsSyntax
addExport | Idris.AbsSyntax
addFlag | Idris.AbsSyntax
addFn | IRTS.Lang, IRTS.Defunctionalise
addFnOpt | Idris.AbsSyntax
addFragile | Idris.AbsSyntax
addFunctionErrorHandlers | Idris.AbsSyntax
addHdr | Idris.AbsSyntax
addHides | Idris.Parser
addIBC | Idris.AbsSyntax
addImpl | Idris.AbsSyntax
addImpl' | Idris.AbsSyntax
addImplBound | Idris.AbsSyntax
addImplBoundInf | Idris.AbsSyntax
addImplementation | Idris.AbsSyntax
addImplPat | Idris.AbsSyntax
addImportDir | Idris.AbsSyntax
addImported | Idris.AbsSyntax
addInterface | Idris.AbsSyntax
addInternalApp | Idris.AbsSyntax
addLangExt | Idris.AbsSyntax
addLib | Idris.AbsSyntax
AddMissing |
1 (Data Constructor) | Idris.IdeMode
2 (Data Constructor) | Idris.REPL.Commands
addMissing | Idris.Interactive
addNameHint | Idris.AbsSyntax
addNameIdx | Idris.AbsSyntax
addNameIdx' | Idris.AbsSyntax
addObjectFile | Idris.AbsSyntax
addOpenImpl | Idris.AbsSyntax
addOperator | Idris.Core.Evaluate
AddOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax
addOptimise | Idris.AbsSyntax
AddProof | Idris.REPL.Commands
AddProofClause | Idris.IdeMode
AddProofClauseFrom | Idris.REPL.Commands
addProofClauseFrom | Idris.Interactive
addPSname | Idris.Core.Elaborate
addRecord | Idris.AbsSyntax
addReplSyntax | Idris.Parser
addSourceDir | Idris.AbsSyntax
addStatics | Idris.AbsSyntax
addSyntax | Idris.Parser
addTags | IRTS.Lang, IRTS.Defunctionalise
addToCG | Idris.AbsSyntax
addToCtxt | Idris.Core.Evaluate
ADDTOP | IRTS.Bytecode
addToUsing | Idris.AbsSyntax
addTrans | Idris.AbsSyntax
addTT | Idris.AbsSyntax
addTyDecl | Idris.Core.Evaluate
addTyInfConstraints | Idris.AbsSyntax
addTyInferred | Idris.AbsSyntax
addUsedName | Idris.AbsSyntax
addUsingConstraints | Idris.AbsSyntax
addUsingImpls | Idris.AbsSyntax
aiFn | Idris.AbsSyntax
allCalls | Idris.AbsSyntaxTree, Idris.AbsSyntax
AllGuarded | Idris.AbsSyntaxTree, Idris.AbsSyntax
allHelp | Idris.REPL.Parser
allImportDirs | Idris.AbsSyntax
allNames | Idris.AbsSyntax
allNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax
allNothing | Idris.Termination
allocUnique | IRTS.Lang, IRTS.Defunctionalise
allowConstr | Idris.Parser.Expr, Idris.Parser
allowImp | Idris.Parser.Expr, Idris.Parser
allSourceDirs | Idris.AbsSyntax
allTTNames | Idris.Core.TT
AllTypes | Idris.Core.TT
AlreadyDefined | Idris.Core.TT
alt | Idris.Parser.Expr, Idris.Parser
AltsTArg | Idris.Parser.Expr, Idris.Parser
AlwaysShow | Idris.AbsSyntaxTree, Idris.AbsSyntax
AnnAntiquote | Idris.Core.TT
AnnBoundName | Idris.Core.TT
AnnConst | Idris.Core.TT
AnnData | Idris.Core.TT
AnnErr | Idris.Core.TT
AnnFC | Idris.Core.TT
AnnKeyword | Idris.Core.TT
AnnLink | Idris.Core.TT
AnnName | Idris.Core.TT
annName | Idris.Delaborate
AnnNamespace | Idris.Core.TT
annotationColour | Idris.AbsSyntaxTree, Idris.AbsSyntax
annotCode | Idris.Docstrings
AnnQuasiquote | Idris.Core.TT
AnnSearchResult | Idris.Core.TT
AnnTerm | Idris.Core.TT
AnnTextFmt | Idris.Core.TT
AnnType | Idris.Core.TT
AnySyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax
App | Idris.Core.TT
app | Idris.Parser.Expr, Idris.Parser
apply | Idris.Core.Elaborate
apply' | Idris.Core.Elaborate
apply2 | Idris.Core.Elaborate
Apply2Case | IRTS.Defunctionalise
ApplyCase | IRTS.Defunctionalise
applyOpts | Idris.DataOpts
ApplyTactic | Idris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRules | Idris.Transforms
applyTransRulesWith | Idris.Transforms
apply_elab | Idris.Core.Elaborate
AppStatus | Idris.Core.TT
Apropos |
1 (Data Constructor) | Idris.IdeMode
2 (Data Constructor) | Idris.REPL.Commands
apropos | Idris.Apropos
aproposModules | Idris.Apropos
arg |
1 (Function) | Idris.Core.Elaborate
2 (Function) | Idris.Parser.Expr, Idris.Parser
argExpr | Idris.Parser
argName | Idris.Reflection
ArgOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax
argopts | Idris.AbsSyntaxTree, Idris.AbsSyntax
argPlicity | Idris.Reflection
argTy | Idris.Reflection
ArithTy | Idris.Core.TT
arity | Idris.Core.TT
AssertTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax
ASSIGN | IRTS.Bytecode
assign | IRTS.Bytecode
ASSIGNCONST | IRTS.Bytecode
At | Idris.Core.TT
ATFloat | Idris.Core.TT
atHole | Idris.Core.ProofTerm
ATInt | Idris.Core.TT
Attack |
1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
attack | Idris.Core.Elaborate
AType | Idris.Core.TT
AuditIPkg | Idris.AbsSyntaxTree, Idris.AbsSyntax
auditPackage | Idris.Package
AutoArg | Idris.Core.ProofState, Idris.Core.Elaborate
autoArg | Idris.Core.Elaborate
AutoHint | Idris.AbsSyntaxTree, Idris.AbsSyntax
autoImplicit | Idris.Parser.Expr, Idris.Parser
AutomaticWidth | Idris.AbsSyntaxTree, Idris.AbsSyntax
autos | Idris.Core.ProofState, Idris.Core.Elaborate
AutoSolve | Idris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidth | Idris.AbsSyntaxTree, Idris.AbsSyntax
auto_binds | Idris.AbsSyntaxTree, Idris.AbsSyntax