| 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 |