ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.

Index - D

DaConDDC.Core.Exp, DDC.Core.Exp.Annot
DaConBoundDDC.Core.Exp, DDC.Core.Exp.Annot
daConNameDDC.Core.Exp, DDC.Core.Exp.Annot
DaConPrimDDC.Core.Exp, DDC.Core.Exp.Annot
daConTypeDDC.Core.Exp, DDC.Core.Exp.Annot
DaConUnitDDC.Core.Exp, DDC.Core.Exp.Annot
dataArityOfTypeDDC.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
dataCtorFieldTypesDDC.Type.DataDef
dataCtorNameDDC.Type.DataDef
dataCtorNamesOfDataDefDDC.Type.DataDef
dataCtorResultTypeDDC.Type.DataDef
dataCtorTagDDC.Type.DataDef
dataCtorTypeNameDDC.Type.DataDef
dataCtorTypeParamsDDC.Type.DataDef
DataDef 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataDefCtorsDDC.Type.DataDef
dataDefIsAlgebraicDDC.Type.DataDef
dataDefParamsDDC.Type.DataDef
DataDefs 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataDefsCtorsDDC.Type.DataDef
dataDefsTypesDDC.Type.DataDef
dataDefTypeNameDDC.Type.DataDef
DataModeDDC.Type.DataDef
DataModeLargeDDC.Type.DataDef
DataModeSmallDDC.Type.DataDef
DataType 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataTypeIsAlgebraicDDC.Type.DataDef
dataTypeModeDDC.Type.DataDef
dataTypeNameDDC.Type.DataDef
dataTypeOfDataDefDDC.Type.DataDef
dataTypeParamsDDC.Type.DataDef
dcUnitDDC.Core.Exp.Annot, DDC.Core.Exp.Generic
DebruijnBindersDDC.Core.Fragment
deleteDDC.Type.Sum
DemandDDC.Core.Check
DemandNoneDDC.Core.Check
DemandRunDDC.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
describeTokenDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokenAtomDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokenMetaDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokenNamedDDC.Core.Lexer.Tokens, DDC.Core.Lexer
differenceDDC.Type.Sum
digitDDC.Control.Parser
dischargeConsWithElimsDDC.Core.Call
dischargeTypeWithElimsDDC.Core.Call
displayIODDC.Data.Pretty, DDC.Core.Pretty
displaySDDC.Data.Pretty, DDC.Core.Pretty
DocDDC.Data.Pretty, DDC.Core.Pretty
dotDDC.Data.Pretty, DDC.Core.Pretty
doubleDDC.Data.Pretty, DDC.Core.Pretty
dquoteDDC.Data.Pretty, DDC.Core.Pretty
dquotesDDC.Data.Pretty, DDC.Core.Pretty