categories-0.55.1: categories from category-extras

Index

&&&Control.Category.Cartesian
applyControl.Category.Cartesian.Closed
associateControl.Category.Associative
associateProductControl.Category.Cartesian
associateSumControl.Category.Cartesian
AssociativeControl.Category.Associative
BifunctorControl.Categorical.Bifunctor
bimapControl.Categorical.Bifunctor
bimapProductControl.Category.Cartesian
bimapSumControl.Category.Cartesian
braidControl.Category.Braided
BraidedControl.Category.Braided
braidProductControl.Category.Cartesian
braidSumControl.Category.Cartesian
CartesianControl.Category.Cartesian
castControl.Category.Discrete
CCCControl.Category.Cartesian.Closed
coapplyControl.Category.Cartesian.Closed
CoCartesianControl.Category.Cartesian
CoCCCControl.Category.Cartesian.Closed
cocurryControl.Category.Cartesian.Closed
codiagControl.Category.Cartesian
CoexpControl.Category.Cartesian.Closed
coidlControl.Category.Monoidal
coidrControl.Category.Monoidal
ComonoidalControl.Category.Monoidal
counitCCCControl.Category.Cartesian.Closed
counitCoCCCControl.Category.Cartesian.Closed
curryControl.Category.Cartesian.Closed
diagControl.Category.Cartesian
difirstControl.Categorical.Bifunctor
dimapControl.Categorical.Bifunctor
disassociateControl.Category.Associative
disassociateProductControl.Category.Cartesian
disassociateSumControl.Category.Cartesian
DisassociativeControl.Category.Associative
DiscreteControl.Category.Discrete
distributeControl.Category.Distributive
DistributiveControl.Category.Distributive
Dual 
1 (Type/Class)Control.Category.Dual
2 (Data Constructor)Control.Category.Dual
EndoFunctorControl.Categorical.Functor
ExpControl.Category.Cartesian.Closed
factorControl.Category.Distributive
firstControl.Categorical.Bifunctor
firstDefaultControl.Categorical.Bifunctor
fmapControl.Categorical.Functor
fstControl.Category.Cartesian
FunctorControl.Categorical.Functor
HasIdentityControl.Category.Monoidal
HasInitialObjectControl.Categorical.Object
HasTerminalObjectControl.Categorical.Object
IdControl.Category.Monoidal
idlControl.Category.Monoidal
idrControl.Category.Monoidal
InitialControl.Categorical.Object
initiateControl.Categorical.Object
inlControl.Category.Cartesian
inrControl.Category.Cartesian
inverseControl.Category.Discrete
liftDiscreteControl.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
MonoidalControl.Category.Monoidal
PFunctorControl.Categorical.Bifunctor
PreCartesianControl.Category.Cartesian
PreCoCartesianControl.Category.Cartesian
ProductControl.Category.Cartesian
QFunctorControl.Categorical.Bifunctor
ReflControl.Category.Discrete
runDualControl.Category.Dual
secondControl.Categorical.Bifunctor
secondDefaultControl.Categorical.Bifunctor
sndControl.Category.Cartesian
SumControl.Category.Cartesian
swapControl.Category.Braided
SymmetricControl.Category.Braided
TerminalControl.Categorical.Object
terminateControl.Categorical.Object
uncocurryControl.Category.Cartesian.Closed
uncurryControl.Category.Cartesian.Closed
unitCCCControl.Category.Cartesian.Closed
unitCoCCCControl.Category.Cartesian.Closed
|||Control.Category.Cartesian