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 |