Index - C
| 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.CheckExp, DDC.Core.Check |
| checkExpM | DDC.Core.Check.CheckExp |
| CheckM | |
| 1 (Type/Class) | DDC.Type.Check.Monad |
| 2 (Data Constructor) | DDC.Type.Check.Monad |
| 3 (Type/Class) | DDC.Core.Check.CheckWitness, DDC.Core.Check.CheckExp |
| checkType | DDC.Type.Check |
| checkWitness | DDC.Core.Check.CheckWitness, DDC.Core.Check |
| checkWitnessM | DDC.Core.Check.CheckWitness |
| Closure | DDC.Type.Exp, DDC.Core.Exp |
| closureOfTagged | DDC.Core.Check.TaggedClosure |
| closureOfTaggedSet | DDC.Core.Check.TaggedClosure |
| collectBound | DDC.Core.Collect |
| collectSpecBinds | DDC.Core.Collect |
| colon | DDC.Core.Pretty |
| column | DDC.Core.Pretty |
| comma | DDC.Core.Pretty |
| crushEffect | DDC.Type.Transform.Crush |
| cutTaggedClosureT | DDC.Core.Check.TaggedClosure |
| cutTaggedClosureX | DDC.Core.Check.TaggedClosure |
| cutTaggedClosureXs | DDC.Core.Check.TaggedClosure |