categories-0.59: categories from category-extras (Index)

categories-0.59: categories from category-extras

Index

&&&	Control.Category.Cartesian
apply	Control.Category.Cartesian.Closed
associate	Control.Category.Associative
associateProduct	Control.Category.Cartesian
associateSum	Control.Category.Cartesian
Associative	Control.Category.Associative
Bifunctor	Control.Categorical.Bifunctor
bimap	Control.Categorical.Bifunctor
bimapProduct	Control.Category.Cartesian
bimapSum	Control.Category.Cartesian
braid	Control.Category.Braided
Braided	Control.Category.Braided
braidProduct	Control.Category.Cartesian
braidSum	Control.Category.Cartesian
Cartesian	Control.Category.Cartesian
cast	Control.Category.Discrete
CCC	Control.Category.Cartesian.Closed
coapply	Control.Category.Cartesian.Closed
CoCartesian	Control.Category.Cartesian
CoCCC	Control.Category.Cartesian.Closed
cocurry	Control.Category.Cartesian.Closed
codiag	Control.Category.Cartesian
Coexp	Control.Category.Cartesian.Closed
coidl	Control.Category.Monoidal
coidr	Control.Category.Monoidal
Comonoidal	Control.Category.Monoidal
counitCCC	Control.Category.Cartesian.Closed
counitCoCCC	Control.Category.Cartesian.Closed
curry	Control.Category.Cartesian.Closed
diag	Control.Category.Cartesian
difirst	Control.Categorical.Bifunctor
dimap	Control.Categorical.Bifunctor
disassociate	Control.Category.Associative
disassociateProduct	Control.Category.Cartesian
disassociateSum	Control.Category.Cartesian
Disassociative	Control.Category.Associative
Discrete	Control.Category.Discrete
distribute	Control.Category.Distributive
Distributive	Control.Category.Distributive
Dual
1 (Type/Class)	Control.Category.Dual
2 (Data Constructor)	Control.Category.Dual
EndoFunctor	Control.Categorical.Functor
Exp	Control.Category.Cartesian.Closed
factor	Control.Category.Distributive
first	Control.Categorical.Bifunctor
firstDefault	Control.Categorical.Bifunctor
fmap	Control.Categorical.Functor
fst	Control.Category.Cartesian
Functor	Control.Categorical.Functor
HasInitialObject	Control.Categorical.Object
HasTerminalObject	Control.Categorical.Object
Id	Control.Category.Monoidal
idl	Control.Category.Monoidal
idr	Control.Category.Monoidal
Initial	Control.Categorical.Object
initiate	Control.Categorical.Object
inl	Control.Category.Cartesian
inr	Control.Category.Cartesian
inverse	Control.Category.Discrete
liftDiscrete	Control.Category.Discrete
LiftedFunctor
1 (Type/Class)	Control.Categorical.Functor
2 (Data Constructor)	Control.Categorical.Functor
LoweredFunctor
1 (Type/Class)	Control.Categorical.Functor
2 (Data Constructor)	Control.Categorical.Functor
Monoidal	Control.Category.Monoidal
PFunctor	Control.Categorical.Bifunctor
PreCartesian	Control.Category.Cartesian
PreCoCartesian	Control.Category.Cartesian
Product	Control.Category.Cartesian
QFunctor	Control.Categorical.Bifunctor
Refl	Control.Category.Discrete
runDual	Control.Category.Dual
second	Control.Categorical.Bifunctor
secondDefault	Control.Categorical.Bifunctor
snd	Control.Category.Cartesian
Sum	Control.Category.Cartesian
swap	Control.Category.Braided
Symmetric	Control.Category.Braided
Terminal	Control.Categorical.Object
terminate	Control.Categorical.Object
uncocurry	Control.Category.Cartesian.Closed
uncurry	Control.Category.Cartesian.Closed
unitCCC	Control.Category.Cartesian.Closed
unitCoCCC	Control.Category.Cartesian.Closed
\|\|\|	Control.Category.Cartesian