idris-1.3.2: Functional Programming Language with Dependent Types

Index - D

DAccessIdris.AbsSyntaxTree, Idris.AbsSyntax
DAltIRTS.Defunctionalise
DAppIRTS.Defunctionalise
DataIdris.Core.TT
DataColourIdris.Colours
dataColourIdris.Colours
DataDocIdris.Docs
DataErrRevIdris.Core.TT
dataIIdris.Parser.Data
DataMIIdris.Core.Evaluate
DataOptIdris.Core.TT
DataOptsIdris.Core.TT
dataOptsIdris.Parser.Data
DataOutputIdris.Core.TT
dataPartNameIRTS.JavaScript.Name
DatatypeIdris.Core.TT
datatypesIdris.Core.ProofState, Idris.Core.Elaborate
data_Idris.Parser.Data
data_optsIdris.Core.TT
DAutoImplicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
DbgLevelIRTS.CodegenCommon
DCIRTS.Defunctionalise
DCaseIRTS.Defunctionalise
DChkCaseIRTS.Defunctionalise
DConIdris.Core.TT
DConCaseIRTS.Defunctionalise
DConstIRTS.Defunctionalise
DConstCaseIRTS.Defunctionalise
DConstructorIRTS.Defunctionalise
DDeclIRTS.Defunctionalise
DDefaultIdris.AbsSyntaxTree, Idris.AbsSyntax
DDefaultCaseIRTS.Defunctionalise
DDefsIRTS.Defunctionalise
DDeprecateIdris.AbsSyntaxTree, Idris.AbsSyntax
DDynamicLibsIdris.AbsSyntaxTree, Idris.AbsSyntax
debindAppIdris.DSL
DEBUGIRTS.CodegenCommon
debugElaboratorIdris.Core.Elaborate
DebugInfoIdris.REPL.Commands
debugLevelIRTS.CodegenCommon
DebugUnifyIdris.REPL.Commands
declIdris.Parser
declareIRTS.Defunctionalise
declaredIdris.AbsSyntaxTree, Idris.AbsSyntax
DeclArgIdris.Help
DeclRuleIdris.AbsSyntaxTree, Idris.AbsSyntax
decorateidIdris.Elab.Utils
decorationIdris.AbsSyntaxTree, Idris.AbsSyntax
DefIdris.Core.Evaluate
defaultAltIRTS.Bytecode
DefaultCaseIdris.Core.CaseTree
DefaultCheckingCoveringIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultImplicitIdris.Parser.Expr
defaultOptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartialIdris.Options
defaultPkgIdris.Package.Common
defaultPortIdris.ModeCommon
defaultPPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultScoreFunctionIdris.TypeSearch
defaultSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultThemeIdris.Colours
DefaultTotalIdris.Options
DefaultTotalityIdris.AbsSyntaxTree, Idris.AbsSyntax
default_accessIdris.AbsSyntaxTree, Idris.AbsSyntax
default_totalIdris.AbsSyntaxTree, Idris.AbsSyntax
DeferIdris.Core.ProofState, Idris.Core.Elaborate
deferIdris.Core.Elaborate
deferredIdris.Core.ProofState, Idris.Core.Elaborate
DeferTypeIdris.Core.ProofState, Idris.Core.Elaborate
deferTypeIdris.Core.Elaborate
defer_totcheckIdris.AbsSyntax
definedIdris.AbsSyntaxTree, Idris.AbsSyntax
definitionsIdris.Core.Evaluate
DefnIdris.REPL.Commands
defunctionaliseIRTS.Defunctionalise
defunDeclsIRTS.CodegenCommon
delabIdris.Delaborate
delab'Idris.Delaborate
delabDirectIdris.Delaborate
delabMVIdris.Delaborate
delabSugaredIdris.Delaborate
delabTyIdris.Delaborate
delabTy'Idris.Delaborate
delabWithEnvIdris.Delaborate
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
deleteDefExactIdris.Core.TT
dependentPairIdris.Parser.Expr
dep_appIdris.Core.Elaborate
DErrorIRTS.Defunctionalise
DErrorHandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
desugarIdris.DSL
desugarAsIdris.Elab.AsPat
DesugarNatsIdris.Options
detaggableIdris.AbsSyntaxTree, Idris.AbsSyntax
DExpIRTS.Defunctionalise
DFlagIdris.AbsSyntaxTree, Idris.AbsSyntax
DForeignIRTS.Defunctionalise
DFragileIdris.AbsSyntaxTree, Idris.AbsSyntax
DFreezeIdris.AbsSyntaxTree, Idris.AbsSyntax
DFunIRTS.Defunctionalise
DHideIdris.AbsSyntaxTree, Idris.AbsSyntax
DictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
dictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
DIncludeIdris.AbsSyntaxTree, Idris.AbsSyntax
DInjectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
DirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
directiveActionIdris.Directives
disallowImpIdris.Parser.Expr
disambIdris.Parser.Expr
discardIdris.Core.TT
displayWarningsIdris.Elab.Utils
DLanguageIdris.AbsSyntaxTree, Idris.AbsSyntax
DLetIRTS.Defunctionalise
DLibIdris.AbsSyntaxTree, Idris.AbsSyntax
DLinkIdris.AbsSyntaxTree, Idris.AbsSyntax
DLoggingIdris.AbsSyntaxTree, Idris.AbsSyntax
DNameHintIdris.AbsSyntaxTree, Idris.AbsSyntax
DNothingIRTS.Defunctionalise
DoBindIdris.AbsSyntaxTree, Idris.AbsSyntax
DoBindPIdris.AbsSyntaxTree, Idris.AbsSyntax
doBlockIdris.Parser.Expr
docCommentIdris.Parser.Helpers
DocsIdris.Docs
Docs'Idris.Docs
DocsForIdris.IdeMode
DocStrIdris.REPL.Commands
DocStringIdris.Docstrings
DocstringIdris.Docstrings
DocTermIdris.Docstrings
documentPkgIdris.Package
DoExpIdris.AbsSyntaxTree, Idris.AbsSyntax
DoLetIdris.AbsSyntaxTree, Idris.AbsSyntax
DoLetPIdris.AbsSyntaxTree, Idris.AbsSyntax
doneIdris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingAppPSIdris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingArgPSIdris.Core.ProofState, Idris.Core.Elaborate
done_elaborating_appIdris.Core.Elaborate
done_elaborating_argIdris.Core.Elaborate
DontListenIdris.Options
dontunifyIdris.Core.ProofState, Idris.Core.Elaborate
DOpIRTS.Defunctionalise
DoProofSearchIdris.REPL.Commands
doProofSearchIdris.Interactive
DoRewriteIdris.AbsSyntaxTree, Idris.AbsSyntax
dottedIdris.Core.ProofState, Idris.Core.Elaborate
dottermIdris.Core.Elaborate
DoUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
do_Idris.Parser.Expr
do_altIdris.Parser.Expr
DProjIRTS.Defunctionalise
dropGivenIdris.Core.ProofState, Idris.Core.Elaborate
dropLangExtIdris.AbsSyntax
DSetTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
DSL 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
dslIdris.Parser.Data
DSL'Idris.AbsSyntaxTree, Idris.AbsSyntax
DSLNotationIdris.Options
dsl_applyIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_bindIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_infoIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_lambdaIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_letIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_piIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_pureIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_varIdris.AbsSyntaxTree, Idris.AbsSyntax
DThawIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpBCIRTS.DumpBC
DumpCasesIdris.Options
DumpDefunIdris.Options
dumpDefunsIRTS.Defunctionalise
DumpHighlightsIdris.Options
dumpprobsIdris.Core.Elaborate
dumpTTIdris.AbsSyntax
DUpdateIRTS.Defunctionalise
DUsedIdris.AbsSyntaxTree, Idris.AbsSyntax
DVIRTS.Defunctionalise
DynamicIdris.AbsSyntaxTree, Idris.AbsSyntax
DynamicLibUtil.DynamicLinker
DynamicLinkIdris.REPL.Commands
d_cons 
1 (Function)Idris.Core.TT
2 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
d_nameIdris.AbsSyntaxTree, Idris.AbsSyntax
d_name_fcIdris.AbsSyntaxTree, Idris.AbsSyntax
d_tconIdris.AbsSyntaxTree, Idris.AbsSyntax
d_typeIdris.Core.TT
d_typenameIdris.Core.TT
d_typetagIdris.Core.TT
d_uniqueIdris.Core.TT