| Cartesian | Control.Category.Cartesian |
| cata | Control.Morphism.Cata |
| cataFree | Control.Monad.Free |
| CCC | Control.Category.Cartesian.Closed |
| CFunctor | Control.Functor.Categorical |
| chrono | Control.Morphism.Chrono |
| cmap | Control.Functor.Categorical |
| Coalgebra | Control.Functor.Algebra |
| coapply | Control.Category.Cartesian.Closed |
| coassociate | Control.Category.Associative, Control.Category.Cartesian |
| coassociateComposition | Control.Functor.Composition |
| coassociatePreCartesian | Control.Category.Cartesian |
| coassociatePreCoCartesian | Control.Category.Cartesian |
| Coassociative | Control.Category.Associative, Control.Category.Cartesian |
| CoCartesian | Control.Category.Cartesian |
| CoCCC | Control.Category.Cartesian.Closed |
| cocurry | Control.Category.Cartesian.Closed |
| codiag | Control.Category.Cartesian |
| coelgot | Control.Functor.Algebra.Elgot |
| cofix | Control.Comonad.Fix |
| Cofree | Control.Comonad.Cofree |
| cofree | Control.Comonad.Cofree |
| Coideal | Control.Monad.Ideal, Control.Comonad.Coideal |
| coideal | Control.Monad.Ideal, Control.Comonad.Coideal |
| coidealize | Control.Monad.Ideal, Control.Comonad.Coideal |
| coidl | Control.Category.Monoidal, Control.Category.Cartesian |
| coidr | Control.Category.Monoidal, Control.Category.Cartesian |
| CoKleisli | |
| 1 (Type/Class) | Control.Arrow.CoKleisli |
| 2 (Data Constructor) | Control.Arrow.CoKleisli |
| Colim | Control.Functor.Limit |
| Comonad | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| ComonadCofree | Control.Comonad.Cofree |
| ComonadCoideal | Control.Monad.Ideal, Control.Comonad.Coideal |
| ComonadContext | Control.Comonad.Context |
| ComonadFix | Control.Comonad.Fix |
| ComonadReader | Control.Comonad.Reader |
| Comonoidal | Control.Category.Monoidal, Control.Category.Cartesian |
| Comp | Control.Functor.Composition |
| CompF | |
| 1 (Type/Class) | Control.Functor.Composition |
| 2 (Data Constructor) | Control.Functor.Composition |
| CompH | |
| 1 (Type/Class) | Control.Functor.HigherOrder.Composition |
| 2 (Data Constructor) | Control.Functor.HigherOrder.Composition |
| compose | Control.Functor.Composition |
| composedAdjointToLan | Control.Functor.KanExtension, Control.Functor.Limit |
| composedAdjointToRan | Control.Functor.KanExtension, Control.Functor.Limit |
| composeLan | Control.Functor.KanExtension, Control.Functor.Limit |
| composeRan | Control.Functor.KanExtension, Control.Functor.Limit |
| Composition | Control.Functor.Composition |
| Const | Control.Functor.Limit |
| Const2 | |
| 1 (Type/Class) | Control.Functor.Combinators.Const |
| 2 (Data Constructor) | Control.Functor.Combinators.Const |
| Context | |
| 1 (Type/Class) | Control.Comonad.Context |
| 2 (Data Constructor) | Control.Comonad.Context |
| ContextT | |
| 1 (Type/Class) | Control.Comonad.Context |
| 2 (Data Constructor) | Control.Comonad.Context |
| ContraF | |
| 1 (Type/Class) | Control.Functor.Contra |
| 2 (Data Constructor) | Control.Functor.Contra |
| ContraFunctor | Control.Functor.Contra, Control.Monad.Hyper |
| contramap | Control.Functor.Contra, Control.Monad.Hyper |
| Copointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| Coreader | |
| 1 (Type/Class) | Control.Comonad.Reader |
| 2 (Data Constructor) | Control.Comonad.Reader |
| CoreaderT | |
| 1 (Type/Class) | Control.Comonad.Reader |
| 2 (Data Constructor) | Control.Comonad.Reader |
| costrength | Control.Functor.Strong |
| counbizip | Control.Functor.Zip |
| counit | Control.Functor.Adjunction |
| counitCCC | Control.Category.Cartesian.Closed |
| counitCoCCC | Control.Category.Cartesian.Closed |
| Couniversal | |
| 1 (Type/Class) | Control.Morphism.Universal |
| 2 (Data Constructor) | Control.Morphism.Universal |
| couniversalIdentity | Control.Morphism.Universal |
| couniversalize | Control.Morphism.Universal |
| counzip | Control.Functor.Zip |
| Cozip | Control.Functor.Zip |
| cozip | Control.Functor.Zip |
| curry | Control.Category.Cartesian.Closed |