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

Index - C

Canned 
1 (Type/Class)DDC.Data.Canned
2 (Data Constructor)DDC.Data.Canned
CastDDC.Core.Exp, DDC.Core.Exp.Annot
CastBox 
1 (Data Constructor)DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)DDC.Core.Exp.Generic
CastPurify 
1 (Data Constructor)DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)DDC.Core.Exp.Generic
CastRun 
1 (Data Constructor)DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)DDC.Core.Exp.Generic
CastWeakenEffect 
1 (Data Constructor)DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)DDC.Core.Exp.Generic
catDDC.Data.Pretty, DDC.Core.Pretty
chainlDDC.Control.Parser
chainl1DDC.Control.Parser
chainrDDC.Control.Parser
chainr1DDC.Control.Parser
char 
1 (Function)DDC.Data.Pretty, DDC.Core.Pretty
2 (Function)DDC.Control.Parser
CheckDDC.Core.Check, DDC.Core.Load
checkExpDDC.Core.Check
CheckM 
1 (Type/Class)DDC.Control.Check
2 (Data Constructor)DDC.Control.Check
checkModuleDDC.Core.Check
checkSpecDDC.Core.Check
CheckTrace 
1 (Type/Class)DDC.Core.Check, DDC.Core.Load
2 (Data Constructor)DDC.Core.Check, DDC.Core.Load
checkTraceDocDDC.Core.Check, DDC.Core.Load
checkTypeDDC.Core.Check
checkTypeMDDC.Core.Check
checkWitnessDDC.Core.Check
choiceDDC.Control.Parser
ClosureDDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
collectBindsDDC.Core.Collect.BindStruct, DDC.Core.Collect
collectBoundDDC.Core.Collect.BindStruct, DDC.Core.Collect
colonDDC.Data.Pretty, DDC.Core.Pretty
ColumnDDC.Control.Parser
columnDDC.Data.Pretty, DDC.Core.Pretty
columnOfLocatedDDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer
commaDDC.Data.Pretty, DDC.Core.Pretty
CompliesDDC.Core.Fragment
compliesDDC.Core.Fragment
compliesWithEnvsDDC.Core.Fragment
CompoundNameDDC.Data.Name
Config 
1 (Type/Class)DDC.Core.Check
2 (Data Constructor)DDC.Core.Check
configEffectCapabilitiesDDC.Core.Check
configFunctionalClosuresDDC.Core.Check
configFunctionalEffectsDDC.Core.Check
configGeneralLetRecDDC.Core.Check
configImplicitBoxDDC.Core.Check
configImplicitRunDDC.Core.Check
configNameIsHoleDDC.Core.Check
configOfProfileDDC.Core.Check
configPrimDataDefsDDC.Core.Check
configPrimKindsDDC.Core.Check
configPrimTypesDDC.Core.Check
configTrackedClosuresDDC.Core.Check
configTrackedEffectsDDC.Core.Check
ConsDDC.Core.Call
ConsBoxDDC.Core.Call
ConsTypeDDC.Core.Call
Consumed 
1 (Data Constructor)DDC.Control.Parser
2 (Type/Class)DDC.Control.Parser
ConsValueDDC.Core.Call
Context 
1 (Type/Class)DDC.Core.Exp.Annot.Context
2 (Data Constructor)DDC.Core.Exp.Annot.Context
3 (Type/Class)DDC.Core.Parser
4 (Data Constructor)DDC.Core.Parser
contextCtxDDC.Core.Exp.Annot.Context
contextEnvDDC.Core.Exp.Annot.Context
contextFunctionalClosuresDDC.Core.Parser
contextFunctionalEffectsDDC.Core.Parser
contextMakeLiteralNameDDC.Core.Parser
contextOfProfileDDC.Core.Parser
contextTrackedClosuresDDC.Core.Parser
contextTrackedEffectsDDC.Core.Parser
countDDC.Control.Parser
crlfDDC.Control.Parser
crushEffectDDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple
crushHeadTDDC.Type.Exp.Simple.Equiv
crushSomeTDDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple
CtxDDC.Core.Exp.Annot.Ctx
CtxAppLeftDDC.Core.Exp.Annot.Ctx
CtxAppRightDDC.Core.Exp.Annot.Ctx
CtxCaseAltDDC.Core.Exp.Annot.Ctx
CtxCaseScrutDDC.Core.Exp.Annot.Ctx
CtxCastBodyDDC.Core.Exp.Annot.Ctx
ctxEnvXDDC.Core.Exp.Annot.Ctx
CtxLAMDDC.Core.Exp.Annot.Ctx
CtxLamDDC.Core.Exp.Annot.Ctx
CtxLetBodyDDC.Core.Exp.Annot.Ctx
CtxLetLLetDDC.Core.Exp.Annot.Ctx
CtxLetLRecDDC.Core.Exp.Annot.Ctx
CtxTopDDC.Core.Exp.Annot.Ctx