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

Index - C

Cast 
1 (Type/Class)DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Type/Class)DDC.Core.Exp.Simple.Exp
CastBox 
1 (Data Constructor)DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)DDC.Core.Exp.Generic.Exp
3 (Data Constructor)DDC.Core.Exp.Simple.Exp
CastPurify 
1 (Data Constructor)DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)DDC.Core.Exp.Generic.Exp
3 (Data Constructor)DDC.Core.Exp.Simple.Exp
CastRun 
1 (Data Constructor)DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)DDC.Core.Exp.Generic.Exp
3 (Data Constructor)DDC.Core.Exp.Simple.Exp
CastWeakenEffect 
1 (Data Constructor)DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)DDC.Core.Exp.Generic.Exp
3 (Data Constructor)DDC.Core.Exp.Simple.Exp
catDDC.Core.Pretty
charDDC.Core.Pretty
CheckDDC.Core.Check, DDC.Core.Load
checkExpDDC.Core.Check
checkModuleDDC.Core.Check
checkSpecDDC.Type.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.Type.Check
checkTypeMDDC.Type.Check
checkWitnessDDC.Core.Check
ClosureDDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp
collectBindsDDC.Type.Collect, DDC.Core.Collect
collectBoundDDC.Type.Collect, DDC.Core.Collect
colonDDC.Core.Pretty
columnDDC.Core.Pretty
commaDDC.Core.Pretty
CompliesDDC.Core.Fragment
compliesDDC.Core.Fragment
compliesWithEnvsDDC.Core.Fragment
Config 
1 (Type/Class)DDC.Type.Check, DDC.Core.Check
2 (Data Constructor)DDC.Type.Check, DDC.Core.Check
configDataDefsDDC.Type.Check, DDC.Core.Check
configEffectCapabilitiesDDC.Type.Check, DDC.Core.Check
configFunctionalClosuresDDC.Type.Check, DDC.Core.Check
configFunctionalEffectsDDC.Type.Check, DDC.Core.Check
configGeneralLetRecDDC.Type.Check, DDC.Core.Check
configGlobalCapsDDC.Type.Check, DDC.Core.Check
configImplicitBoxDDC.Type.Check, DDC.Core.Check
configImplicitRunDDC.Type.Check, DDC.Core.Check
configNameIsHoleDDC.Type.Check, DDC.Core.Check
configOfProfileDDC.Type.Check, DDC.Core.Check
configPrimKindsDDC.Type.Check, DDC.Core.Check
configPrimTypesDDC.Type.Check, DDC.Core.Check
configTrackedClosuresDDC.Type.Check, DDC.Core.Check
configTrackedEffectsDDC.Type.Check, DDC.Core.Check
ConsDDC.Core.Call
ConsBoxDDC.Core.Call
ConsTypeDDC.Core.Call
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
contextFunctionalClosuresDDC.Core.Parser
contextFunctionalEffectsDDC.Core.Parser
contextGlobalCapsDDC.Core.Exp.Annot.Context
contextKindEnvDDC.Core.Exp.Annot.Context
contextMakeStringNameDDC.Core.Parser
contextOfProfileDDC.Core.Parser
contextTrackedClosuresDDC.Core.Parser
contextTrackedEffectsDDC.Core.Parser
contextTypeEnvDDC.Core.Exp.Annot.Context
crushEffectDDC.Type.Equiv
crushSomeTDDC.Type.Equiv
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
ctxDataDefsDDC.Core.Exp.Annot.Ctx
ctxKindEnvDDC.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
ctxTypeEnvDDC.Core.Exp.Annot.Ctx