categories-1.0.7: Categories

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
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
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
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
Product | Control.Category.Cartesian
QFunctor | Control.Categorical.Bifunctor
Refl | Control.Category.Discrete
runDual | Control.Category.Dual
second | 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