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 |
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 |
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 |