| Cartesian | Control.Category.Cartesian |
| cata | Control.Morphism.Cata |
| cataFree | Control.Monad.Free |
| cbind | Control.Monad.Categorical |
| CCC | Control.Category.Cartesian.Closed |
| CFunctor | Control.Functor.Categorical |
| chrono | Control.Morphism.Chrono |
| cjoin | Control.Monad.Categorical |
| cmap | Control.Functor.Categorical |
| CMonad | Control.Monad.Categorical |
| Coalgebra | Control.Functor.Algebra |
| coalgebraCointerpreter | Control.Functor.KanExtension.Interpreter |
| 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 |
| Cocone | |
| 1 (Type/Class) | Control.Functor.Cone |
| 2 (Data Constructor) | Control.Functor.Cone |
| cocurry | Control.Category.Cartesian.Closed |
| Codensity | Control.Monad.Codensity |
| codensityToAdjunction | Control.Monad.Codensity |
| codensityToRan | Control.Monad.Codensity |
| 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 |
| Cointerpreter | Control.Functor.KanExtension.Interpreter |
| cointerpreterCoalgebra | Control.Functor.KanExtension.Interpreter |
| CointerpreterT | Control.Functor.KanExtension.Interpreter |
| CoKleisli | |
| 1 (Type/Class) | Control.Arrow.CoKleisli |
| 2 (Data Constructor) | Control.Arrow.CoKleisli |
| colambek | Control.Functor.Lambek |
| colift | Control.Comonad.Trans |
| Colimit | |
| 1 (Type/Class) | Control.Functor.Limit |
| 2 (Data Constructor) | 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 |
| ComonadTrans | Control.Comonad.Trans |
| 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 |
| composedAdjointToRan | Control.Functor.KanExtension |
| composedAdjunctionToDensity | Control.Comonad.Density |
| composeLan | Control.Functor.KanExtension |
| composeRan | Control.Functor.KanExtension |
| Composition | Control.Functor.Composition |
| Cone | Control.Functor.Cone |
| 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 |
| Cospan | |
| 1 (Type/Class) | Control.Morphism.Span |
| 2 (Data Constructor) | Control.Morphism.Span |
| 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 |
| CoYoneda | |
| 1 (Type/Class) | Control.Functor.Yoneda |
| 2 (Data Constructor) | Control.Functor.Yoneda |
| coYonedaToLan | Control.Functor.Yoneda |
| Cozip | Control.Functor.Zip |
| cozip | Control.Functor.Zip |
| CPointed | Control.Monad.Categorical |
| creturn | Control.Monad.Categorical |
| curry | Control.Category.Cartesian.Closed |