category-extras-0.53.1: Various modules and constructs inspired by category theory

Index - C

CartesianControl.Category.Cartesian
cascadeControl.Morphism.Prepro
cataControl.Morphism.Cata
cataFreeControl.Monad.Free
cbindControl.Monad.Categorical
CCCControl.Category.Cartesian.Closed
CFunctorControl.Functor.Categorical
chronoControl.Morphism.Chrono
cjoinControl.Monad.Categorical
cmapControl.Functor.Categorical
CMonadControl.Monad.Categorical
CoalgebraControl.Functor.Algebra
coalgebraCointerpreterControl.Functor.KanExtension.Interpreter
coapplyControl.Category.Cartesian.Closed
coassociateControl.Category.Associative, Control.Category.Cartesian
coassociateCompositionControl.Functor.Composition
coassociatePreCartesianControl.Category.Cartesian
coassociatePreCoCartesianControl.Category.Cartesian
CoassociativeControl.Category.Associative, Control.Category.Cartesian
CoCartesianControl.Category.Cartesian
CoCCCControl.Category.Cartesian.Closed
Cocone 
1 (Type/Class)Control.Functor.Cone
2 (Data Constructor)Control.Functor.Cone
cocurryControl.Category.Cartesian.Closed
CodensityControl.Monad.Codensity
codensityToAdjunctionControl.Monad.Codensity
codensityToRanControl.Monad.Codensity
codiagControl.Category.Cartesian
coelgotControl.Functor.Algebra.Elgot
cofixControl.Comonad.Fix
CofreeControl.Comonad.Cofree
cofreeControl.Comonad.Cofree
CoidealControl.Comonad.Coideal
coidealControl.Comonad.Coideal
coidealizeControl.Comonad.Coideal
coidlControl.Category.Monoidal, Control.Category.Cartesian
coidrControl.Category.Monoidal, Control.Category.Cartesian
CointerpreterControl.Functor.KanExtension.Interpreter
cointerpreterCoalgebraControl.Functor.KanExtension.Interpreter
CointerpreterTControl.Functor.KanExtension.Interpreter
CoKleisli 
1 (Type/Class)Control.Arrow.CoKleisli
2 (Data Constructor)Control.Arrow.CoKleisli
colambekControl.Functor.Lambek
coliftControl.Comonad.Trans
Colimit 
1 (Type/Class)Control.Functor.Limit
2 (Data Constructor)Control.Functor.Limit
ComonadControl.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply
ComonadCofreeControl.Comonad.Cofree
ComonadCoidealControl.Comonad.Coideal
ComonadContextControl.Comonad.Context
ComonadReaderControl.Comonad.Reader
ComonadTransControl.Comonad.Trans
ComonoidalControl.Category.Monoidal, Control.Category.Cartesian
CompControl.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
composeControl.Functor.Composition
composedAdjointToLanControl.Functor.KanExtension
composedAdjointToRanControl.Functor.KanExtension
composedAdjunctionToDensityControl.Comonad.Density
composeLanControl.Functor.KanExtension
composeRanControl.Functor.KanExtension
CompositionControl.Functor.Composition
ConeControl.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
ContraFunctorControl.Functor.Contra, Control.Monad.Hyper
contramapControl.Functor.Contra, Control.Monad.Hyper
CopointedControl.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
corepControl.Functor.Representable
CorepresentableControl.Functor.Representable
Cospan 
1 (Type/Class)Control.Morphism.Span
2 (Data Constructor)Control.Morphism.Span
costrengthControl.Functor.Strong
counbizipControl.Functor.Zip
counitControl.Functor.Adjunction
counitCCCControl.Category.Cartesian.Closed
counitCoCCCControl.Category.Cartesian.Closed
Couniversal 
1 (Type/Class)Control.Morphism.Universal
2 (Data Constructor)Control.Morphism.Universal
couniversalIdentityControl.Morphism.Universal
couniversalizeControl.Morphism.Universal
counzipControl.Functor.Zip
CoYoneda 
1 (Type/Class)Control.Functor.Yoneda
2 (Data Constructor)Control.Functor.Yoneda
coYonedaToLanControl.Functor.Yoneda
CozipControl.Functor.Zip
cozipControl.Functor.Zip
CPointedControl.Monad.Categorical
creturnControl.Monad.Categorical
curryControl.Category.Cartesian.Closed