idris-1.3.4: 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 - D

DAccess | Idris.AbsSyntaxTree, Idris.AbsSyntax
DAlt | IRTS.Defunctionalise
DApp | IRTS.Defunctionalise
Data | Idris.Core.TT
DataColour | Idris.Colours
dataColour | Idris.Colours
DataDoc | Idris.Docs
DataErrRev | Idris.Core.TT
dataI | Idris.Parser.Data
DataMI | Idris.Core.Evaluate
DataOpt | Idris.Core.TT
DataOpts | Idris.Core.TT
dataOpts | Idris.Parser.Data
DataOutput | Idris.Core.TT
dataPartName | IRTS.JavaScript.Name
Datatype | Idris.Core.TT
datatypes | Idris.Core.ProofState, Idris.Core.Elaborate
data_ | Idris.Parser.Data
data_opts | Idris.Core.TT
DAutoImplicits | Idris.AbsSyntaxTree, Idris.AbsSyntax
DbgLevel | IRTS.CodegenCommon
DC | IRTS.Defunctionalise
DCase | IRTS.Defunctionalise
DChkCase | IRTS.Defunctionalise
DCon | Idris.Core.TT
DConCase | IRTS.Defunctionalise
DConst | IRTS.Defunctionalise
DConstCase | IRTS.Defunctionalise
DConstructor | IRTS.Defunctionalise
DDecl | IRTS.Defunctionalise
DDefault | Idris.AbsSyntaxTree, Idris.AbsSyntax
DDefaultCase | IRTS.Defunctionalise
DDefs | IRTS.Defunctionalise
DDeprecate | Idris.AbsSyntaxTree, Idris.AbsSyntax
DDynamicLibs | Idris.AbsSyntaxTree, Idris.AbsSyntax
debindApp | Idris.DSL
DEBUG | IRTS.CodegenCommon
debugElaborator | Idris.Core.Elaborate
DebugInfo | Idris.REPL.Commands
debugLevel | IRTS.CodegenCommon
DebugUnify | Idris.REPL.Commands
decl | Idris.Parser
declare | IRTS.Defunctionalise
declared | Idris.AbsSyntaxTree, Idris.AbsSyntax
DeclArg | Idris.Help
DeclRule | Idris.AbsSyntaxTree, Idris.AbsSyntax
decorateid | Idris.Elab.Utils
decoration | Idris.AbsSyntaxTree, Idris.AbsSyntax
Def | Idris.Core.Evaluate
defaultAlt | IRTS.Bytecode
DefaultCase | Idris.Core.CaseTree
DefaultCheckingCovering | Idris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax
defaultImplicit | Idris.Parser.Expr
defaultOptimise | Idris.AbsSyntaxTree, Idris.AbsSyntax
defaultOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartial | Idris.Options
defaultPkg | Idris.Package.Common
defaultPort | Idris.ModeCommon
defaultPPOption | Idris.AbsSyntaxTree, Idris.AbsSyntax
defaultScoreFunction | Idris.TypeSearch
defaultSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax
defaultTheme | Idris.Colours
DefaultTotal | Idris.Options
DefaultTotality | Idris.AbsSyntaxTree, Idris.AbsSyntax
default_access | Idris.AbsSyntaxTree, Idris.AbsSyntax
default_total | Idris.AbsSyntaxTree, Idris.AbsSyntax
Defer | Idris.Core.ProofState, Idris.Core.Elaborate
defer | Idris.Core.Elaborate
deferred | Idris.Core.ProofState, Idris.Core.Elaborate
DeferType | Idris.Core.ProofState, Idris.Core.Elaborate
deferType | Idris.Core.Elaborate
defer_totcheck | Idris.AbsSyntax
defined | Idris.AbsSyntaxTree, Idris.AbsSyntax
definitions | Idris.Core.Evaluate
Defn | Idris.REPL.Commands
defunctionalise | IRTS.Defunctionalise
defunDecls | IRTS.CodegenCommon
delab | Idris.Delaborate
delab' | Idris.Delaborate
delabDirect | Idris.Delaborate
delabMV | Idris.Delaborate
delabSugared | Idris.Delaborate
delabTy | Idris.Delaborate
delabTy' | Idris.Delaborate
delabWithEnv | Idris.Delaborate
delayed_elab | Idris.AbsSyntaxTree, Idris.AbsSyntax
deleteDefExact | Idris.Core.TT
dependentPair | Idris.Parser.Expr
dep_app | Idris.Core.Elaborate
DError | IRTS.Defunctionalise
DErrorHandlers | Idris.AbsSyntaxTree, Idris.AbsSyntax
desugar | Idris.DSL
desugarAs | Idris.Elab.AsPat
DesugarNats | Idris.Options
detaggable | Idris.AbsSyntaxTree, Idris.AbsSyntax
DExp | IRTS.Defunctionalise
DFlag | Idris.AbsSyntaxTree, Idris.AbsSyntax
DForeign | IRTS.Defunctionalise
DFragile | Idris.AbsSyntaxTree, Idris.AbsSyntax
DFreeze | Idris.AbsSyntaxTree, Idris.AbsSyntax
DFun | IRTS.Defunctionalise
DHide | Idris.AbsSyntaxTree, Idris.AbsSyntax
Dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax
dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax
DInclude | Idris.AbsSyntaxTree, Idris.AbsSyntax
DInjective | Idris.AbsSyntaxTree, Idris.AbsSyntax
Directive | Idris.AbsSyntaxTree, Idris.AbsSyntax
directiveAction | Idris.Directives
disallowImp | Idris.Parser.Expr
disamb | Idris.Parser.Expr
discard | Idris.Core.TT
displayWarnings | Idris.Elab.Utils
DLanguage | Idris.AbsSyntaxTree, Idris.AbsSyntax
DLet | IRTS.Defunctionalise
DLib | Idris.AbsSyntaxTree, Idris.AbsSyntax
DLink | Idris.AbsSyntaxTree, Idris.AbsSyntax
DLogging | Idris.AbsSyntaxTree, Idris.AbsSyntax
DNameHint | Idris.AbsSyntaxTree, Idris.AbsSyntax
DNothing | IRTS.Defunctionalise
DoBind | Idris.AbsSyntaxTree, Idris.AbsSyntax
DoBindP | Idris.AbsSyntaxTree, Idris.AbsSyntax
doBlock | Idris.Parser.Expr
docComment | Idris.Parser.Helpers
Docs | Idris.Docs
Docs' | Idris.Docs
DocsFor | Idris.IdeMode
DocStr | Idris.REPL.Commands
DocString | Idris.Docstrings
Docstring | Idris.Docstrings
DocTerm | Idris.Docstrings
documentPkg | Idris.Package
DoExp | Idris.AbsSyntaxTree, Idris.AbsSyntax
DoLet | Idris.AbsSyntaxTree, Idris.AbsSyntax
DoLetP | Idris.AbsSyntaxTree, Idris.AbsSyntax
done | Idris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingAppPS | Idris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingArgPS | Idris.Core.ProofState, Idris.Core.Elaborate
done_elaborating_app | Idris.Core.Elaborate
done_elaborating_arg | Idris.Core.Elaborate
DontListen | Idris.Options
dontunify | Idris.Core.ProofState, Idris.Core.Elaborate
DOp | IRTS.Defunctionalise
DoProofSearch | Idris.REPL.Commands
doProofSearch | Idris.Interactive
DoRewrite | Idris.AbsSyntaxTree, Idris.AbsSyntax
dotted | Idris.Core.ProofState, Idris.Core.Elaborate
dotterm | Idris.Core.Elaborate
DoUnify | Idris.AbsSyntaxTree, Idris.AbsSyntax
do_ | Idris.Parser.Expr
do_alt | Idris.Parser.Expr
DProj | IRTS.Defunctionalise
dropGiven | Idris.Core.ProofState, Idris.Core.Elaborate
dropLangExt | Idris.AbsSyntax
DSetTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax
DSL |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl | Idris.Parser.Data
DSL' | Idris.AbsSyntaxTree, Idris.AbsSyntax
DSLNotation | Idris.Options
dsl_apply | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_bind | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_info | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_lambda | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_let | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_pi | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_pure | Idris.AbsSyntaxTree, Idris.AbsSyntax
dsl_var | Idris.AbsSyntaxTree, Idris.AbsSyntax
DThaw | Idris.AbsSyntaxTree, Idris.AbsSyntax
dumpBC | IRTS.DumpBC
DumpCases | Idris.Options
DumpDefun | Idris.Options
dumpDefuns | IRTS.Defunctionalise
DumpHighlights | Idris.Options
dumpprobs | Idris.Core.Elaborate
dumpTT | Idris.AbsSyntax
DUpdate | IRTS.Defunctionalise
DUsed | Idris.AbsSyntaxTree, Idris.AbsSyntax
DV | IRTS.Defunctionalise
Dynamic | Idris.AbsSyntaxTree, Idris.AbsSyntax
DynamicLib | Util.DynamicLinker
DynamicLink | Idris.REPL.Commands
d_cons |
1 (Function) | Idris.Core.TT
2 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax
d_name | Idris.AbsSyntaxTree, Idris.AbsSyntax
d_name_fc | Idris.AbsSyntaxTree, Idris.AbsSyntax
d_tcon | Idris.AbsSyntaxTree, Idris.AbsSyntax
d_type | Idris.Core.TT
d_typename | Idris.Core.TT
d_typetag | Idris.Core.TT
d_unique | Idris.Core.TT