idris-0.9.17: Functional Programming Language with Dependent Types

Index - D

DAltIRTS.Defunctionalise
DAppIRTS.Defunctionalise
DataIdris.Core.TT
DataColourIdris.Colours
dataColourIdris.Colours
DataDocIdris.Docs
DataErrRevIdris.AbsSyntaxTree, Idris.AbsSyntax
dataIIdris.ParseData, Idris.Parser
DataMIIdris.Core.Evaluate
DataOptIdris.AbsSyntaxTree, Idris.AbsSyntax
DataOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
dataOptsIdris.ParseData, Idris.Parser
DataOutputIdris.Core.TT
DatatypeIdris.Core.TT
data_Idris.ParseData, Idris.Parser
data_optsIdris.AbsSyntaxTree, Idris.AbsSyntax
DbgLevelIRTS.CodegenCommon
DCIRTS.Defunctionalise
DCaseIRTS.Defunctionalise
DChkCaseIRTS.Defunctionalise
DConIdris.Core.TT
DConCaseIRTS.Defunctionalise
DConstIRTS.Defunctionalise
DConstCaseIRTS.Defunctionalise
DConstructorIRTS.Defunctionalise
DDeclIRTS.Defunctionalise
DDefaultCaseIRTS.Defunctionalise
DDefsIRTS.Defunctionalise
debindIdris.DSL
debindAppIdris.DSL
DEBUGIRTS.CodegenCommon
debugElaboratorIdris.Core.Elaborate
DebugInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
debugLevelIRTS.CodegenCommon
DebugUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
declIdris.Parser
decl'Idris.Parser
declareIRTS.Defunctionalise
declaredIdris.AbsSyntaxTree, Idris.AbsSyntax
DeclArgIdris.Help
decorateidIdris.Elab.Utils
decorationIdris.AbsSyntaxTree, Idris.AbsSyntax
DefIdris.Core.Evaluate
defaultAltIRTS.Bytecode
DefaultCaseIdris.Core.CaseTree
DefaultCaseFunIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultEliminatorIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultPortIdris.REPL
defaultPPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultScoreFunctionIdris.TypeSearch
defaultSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultThemeIdris.Colours
DefaultTotalIdris.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.AbsSyntaxTree, Idris.AbsSyntax
defunctionaliseIRTS.Defunctionalise
defunDeclsIRTS.CodegenCommon
delabIdris.Delaborate
delab'Idris.Delaborate
delabMVIdris.Delaborate
delabTyIdris.Delaborate
delabTy'Idris.Delaborate
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
delazyIdris.Coverage
delazy'Idris.Coverage
deleteDefExactIdris.Core.TT
DErrorIRTS.Defunctionalise
desugarIdris.DSL
desugarAsIdris.Elab.AsPat
detaggableIdris.AbsSyntaxTree, Idris.AbsSyntax
DExpIRTS.Defunctionalise
DForeignIRTS.Defunctionalise
DFunIRTS.Defunctionalise
DictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
dictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
directiveIdris.Parser
disallowImpIdris.ParseExpr, Idris.Parser
disambIdris.ParseExpr, Idris.Parser
discardIdris.Core.TT
displayHelpIdris.REPL
DLetIRTS.Defunctionalise
DNothingIRTS.Defunctionalise
DoBindIdris.AbsSyntaxTree, Idris.AbsSyntax
DoBindPIdris.AbsSyntaxTree, Idris.AbsSyntax
doBlockIdris.ParseExpr, Idris.Parser
docCommentIdris.ParseHelpers, Idris.Parser
DocsIdris.Docs
Docs'Idris.Docs
DocsForIdris.IdeMode
DocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
DocStringIdris.Docstrings
DocstringIdris.Docstrings
docstringIdris.Parser
DocTermIdris.Docstrings
documentPkgPkg.Package
doesDirectoryExist'Idris.Imports
doesFileExist'Idris.Imports
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
dontunifyIdris.Core.ProofState, Idris.Core.Elaborate
DOpIRTS.Defunctionalise
DoProofSearchIdris.AbsSyntaxTree, Idris.AbsSyntax
doProofSearchIdris.Interactive
dottedIdris.Core.ProofState, Idris.Core.Elaborate
dottermIdris.Core.Elaborate
DoUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
do_Idris.ParseExpr, Idris.Parser
do_altIdris.ParseExpr, Idris.Parser
DProjIRTS.Defunctionalise
dropGivenIdris.Core.ProofState, Idris.Core.Elaborate
DSL 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
dslIdris.ParseData, Idris.Parser
DSL'Idris.AbsSyntaxTree, Idris.AbsSyntax
dslifyIdris.DSL
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_returnIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_varIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpBCIRTS.DumpBC
DumpCasesIdris.AbsSyntaxTree, Idris.AbsSyntax
DumpDefunIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpDefunsIRTS.Defunctionalise
dumpprobsIdris.Core.Elaborate
dumpStateIdris.Prover
DUpdateIRTS.Defunctionalise
DVIRTS.Defunctionalise
DynamicIdris.AbsSyntaxTree, Idris.AbsSyntax
DynamicLibUtil.DynamicLinker
DynamicLinkIdris.AbsSyntaxTree, Idris.AbsSyntax
d_cons 
1 (Function)Idris.Core.TT
2 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
d_nameIdris.AbsSyntaxTree, Idris.AbsSyntax
d_tconIdris.AbsSyntaxTree, Idris.AbsSyntax
d_typeIdris.Core.TT
d_typenameIdris.Core.TT
d_typetagIdris.Core.TT
d_uniqueIdris.Core.TT