idris-1.1.1: 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, Idris.Parser
DataMIIdris.Core.Evaluate
DataOptIdris.Core.TT
DataOptsIdris.Core.TT
dataOptsIdris.Parser.Data, Idris.Parser
DataOutputIdris.Core.TT
dataPartNameIRTS.JavaScript.Name
DatatypeIdris.Core.TT
datatypesIdris.Core.ProofState, Idris.Core.Elaborate
data_Idris.Parser.Data, Idris.Parser
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
debindIdris.DSL
debindAppIdris.DSL
DEBUGIRTS.CodegenCommon
debugElaboratorIdris.Core.Elaborate
DebugInfoIdris.REPL.Commands
debugLevelIRTS.CodegenCommon
DebugUnifyIdris.REPL.Commands
declIdris.Parser
decl'Idris.Parser
declareIRTS.Defunctionalise
declaredIdris.AbsSyntaxTree, Idris.AbsSyntax
DeclArgIdris.Help
declExtensionIdris.Parser
declExtensionsIdris.Parser
DeclRuleIdris.AbsSyntaxTree, Idris.AbsSyntax
decorateidIdris.Elab.Utils
decorationIdris.AbsSyntaxTree, Idris.AbsSyntax
DefIdris.Core.Evaluate
defaultAltIRTS.Bytecode
DefaultCaseIdris.Core.CaseTree
DefaultCaseFunIdris.Core.TT
DefaultCheckingCoveringIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultEliminatorIdris.Core.TT
defaultImplicitIdris.Parser.Expr, Idris.Parser
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
DelayedIdris.Termination
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
delazyIdris.Termination
delazy'Idris.Termination
deleteDefExactIdris.Core.TT
dependentPairIdris.Parser.Expr, Idris.Parser
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
directiveIdris.Parser
directiveActionIdris.Directives
disallowImpIdris.Parser.Expr, Idris.Parser
disambIdris.Parser.Expr, Idris.Parser
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, Idris.Parser
docCommentIdris.Parser.Helpers, Idris.Parser
DocsIdris.Docs
Docs'Idris.Docs
DocsForIdris.IdeMode
DocStrIdris.REPL.Commands
DocStringIdris.Docstrings
DocstringIdris.Docstrings
docstringIdris.Parser
DocTermIdris.Docstrings
documentPkgIdris.Package
DoExpIdris.AbsSyntaxTree, Idris.AbsSyntax
doInlineIRTS.LangOpts
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, Idris.Parser
do_altIdris.Parser.Expr, Idris.Parser
DProjIRTS.Defunctionalise
dropGivenIdris.Core.ProofState, Idris.Core.Elaborate
DSetTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
DSL 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
dslIdris.Parser.Data, Idris.Parser
DSL'Idris.AbsSyntaxTree, Idris.AbsSyntax
dslifyIdris.DSL
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