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 |
| cat | DDC.Core.Pretty |
| char | DDC.Core.Pretty |
| Check | DDC.Core.Check, DDC.Core.Load |
| checkExp | DDC.Core.Check |
| checkModule | DDC.Core.Check |
| checkSpec | DDC.Type.Check |
| CheckTrace | |
| 1 (Type/Class) | DDC.Core.Check, DDC.Core.Load |
| 2 (Data Constructor) | DDC.Core.Check, DDC.Core.Load |
| checkTraceDoc | DDC.Core.Check, DDC.Core.Load |
| checkType | DDC.Type.Check |
| checkTypeM | DDC.Type.Check |
| checkWitness | DDC.Core.Check |
| Closure | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, 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.Type.Check, DDC.Core.Check |
| 2 (Data Constructor) | DDC.Type.Check, DDC.Core.Check |
| configDataDefs | DDC.Type.Check, DDC.Core.Check |
| configEffectCapabilities | DDC.Type.Check, DDC.Core.Check |
| configFunctionalClosures | DDC.Type.Check, DDC.Core.Check |
| configFunctionalEffects | DDC.Type.Check, DDC.Core.Check |
| configNameIsHole | DDC.Type.Check, DDC.Core.Check |
| configOfProfile | DDC.Type.Check, DDC.Core.Check |
| configPrimKinds | DDC.Type.Check, DDC.Core.Check |
| configPrimTypes | DDC.Type.Check, DDC.Core.Check |
| configTrackedClosures | DDC.Type.Check, DDC.Core.Check |
| configTrackedEffects | DDC.Type.Check, DDC.Core.Check |
| Context | |
| 1 (Type/Class) | DDC.Core.Parser |
| 2 (Data Constructor) | DDC.Core.Parser |
| contextFunctionalClosures | DDC.Core.Parser |
| contextFunctionalEffects | DDC.Core.Parser |
| contextOfProfile | DDC.Core.Parser |
| contextTrackedClosures | DDC.Core.Parser |
| contextTrackedEffects | DDC.Core.Parser |
| crushEffect | DDC.Type.Transform.Crush |
| crushSomeT | DDC.Type.Transform.Crush |