Cast | DDC.Core.Exp |
CastForget | DDC.Core.Exp |
CastPurify | DDC.Core.Exp |
CastWeakenClosure | DDC.Core.Exp |
CastWeakenEffect | DDC.Core.Exp |
cat | DDC.Core.Pretty |
char | DDC.Core.Pretty |
checkExp | DDC.Core.Check |
checkModule | DDC.Core.Check |
checkType | DDC.Type.Check |
checkWitness | DDC.Core.Check |
Closure | DDC.Type.Exp, DDC.Core.Exp |
collectBinds | DDC.Type.Collect, DDC.Core.Collect |
collectBound | DDC.Type.Collect, DDC.Core.Collect |
colon | DDC.Core.Pretty |
column | DDC.Core.Pretty |
comma | DDC.Core.Pretty |
Complies | DDC.Core.Fragment |
complies | DDC.Core.Fragment |
compliesWithEnvs | DDC.Core.Fragment |
Config | |
1 (Type/Class) | DDC.Core.Check |
2 (Data Constructor) | DDC.Core.Check |
configOfProfile | DDC.Core.Check |
configPrimDataDefs | DDC.Core.Check |
configPrimKinds | DDC.Core.Check |
configPrimTypes | DDC.Core.Check |
configSuppressClosures | DDC.Core.Check |
crushEffect | DDC.Type.Transform.Crush |
crushSomeT | DDC.Type.Transform.Crush |