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

Index - C

Cast 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
CastBox 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastForget 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastPurify 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastRun 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastWeakenClosure 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastWeakenEffect 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.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.Simple, 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
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
Context 
1 (Type/Class)DDC.Core.Parser
2 (Data Constructor)DDC.Core.Parser
contextFunctionalClosuresDDC.Core.Parser
contextFunctionalEffectsDDC.Core.Parser
contextOfProfileDDC.Core.Parser
contextTrackedClosuresDDC.Core.Parser
contextTrackedEffectsDDC.Core.Parser
crushEffectDDC.Type.Transform.Crush
crushSomeTDDC.Type.Transform.Crush