Index - D
| DaCon | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConBound | DDC.Core.Exp, DDC.Core.Exp.Annot |
| daConName | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConPrim | DDC.Core.Exp, DDC.Core.Exp.Annot |
| daConType | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConUnit | DDC.Core.Exp, DDC.Core.Exp.Annot |
| dataArityOfType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| DataCtor | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataCtorFieldTypes | DDC.Type.DataDef |
| dataCtorName | DDC.Type.DataDef |
| dataCtorNamesOfDataDef | DDC.Type.DataDef |
| dataCtorResultType | DDC.Type.DataDef |
| dataCtorTag | DDC.Type.DataDef |
| dataCtorTypeName | DDC.Type.DataDef |
| dataCtorTypeParams | DDC.Type.DataDef |
| DataDef | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataDefCtors | DDC.Type.DataDef |
| dataDefIsAlgebraic | DDC.Type.DataDef |
| dataDefParams | DDC.Type.DataDef |
| DataDefs | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataDefsCtors | DDC.Type.DataDef |
| dataDefsTypes | DDC.Type.DataDef |
| dataDefTypeName | DDC.Type.DataDef |
| DataMode | DDC.Type.DataDef |
| DataModeLarge | DDC.Type.DataDef |
| DataModeSmall | DDC.Type.DataDef |
| DataType | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataTypeIsAlgebraic | DDC.Type.DataDef |
| dataTypeMode | DDC.Type.DataDef |
| dataTypeName | DDC.Type.DataDef |
| dataTypeOfDataDef | DDC.Type.DataDef |
| dataTypeParams | DDC.Type.DataDef |
| dcUnit | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| DebruijnBinders | DDC.Core.Fragment |
| delete | DDC.Type.Sum |
| Demand | DDC.Core.Check |
| DemandNone | DDC.Core.Check |
| DemandRun | DDC.Core.Check |
| depth | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| 4 (Function) | DDC.Core.Env.EnvX |
| describeToken | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| difference | DDC.Type.Sum |
| digit | DDC.Control.Parser |
| dischargeConsWithElims | DDC.Core.Call |
| dischargeTypeWithElims | DDC.Core.Call |
| displayIO | DDC.Data.Pretty, DDC.Core.Pretty |
| displayS | DDC.Data.Pretty, DDC.Core.Pretty |
| Doc | DDC.Data.Pretty, DDC.Core.Pretty |
| dot | DDC.Data.Pretty, DDC.Core.Pretty |
| double | DDC.Data.Pretty, DDC.Core.Pretty |
| dquote | DDC.Data.Pretty, DDC.Core.Pretty |
| dquotes | DDC.Data.Pretty, DDC.Core.Pretty |