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

Index - C

CastDDC.Core.Exp
CastForgetDDC.Core.Exp
CastPurifyDDC.Core.Exp
CastWeakenClosureDDC.Core.Exp
CastWeakenEffectDDC.Core.Exp
catDDC.Core.Pretty
charDDC.Core.Pretty
checkExpDDC.Core.Check
checkModuleDDC.Core.Check
checkTypeDDC.Type.Check
checkWitnessDDC.Core.Check
ClosureDDC.Type.Exp, 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.Core.Check
2 (Data Constructor)DDC.Core.Check
configOfProfileDDC.Core.Check
configPrimDataDefsDDC.Core.Check
configPrimKindsDDC.Core.Check
configPrimTypesDDC.Core.Check
configSuppressClosuresDDC.Core.Check
crushEffectDDC.Type.Transform.Crush
crushSomeTDDC.Type.Transform.Crush