catalyst-0.0.0.0: A Category typeclass hierarchy powerful enough to encode full programs.

Index

&&&Control.Category.Cartesian
***Control.Category.Monoidal
+++Control.Category.Monoidal
<+>Control.Category.Monoidal
AlongsideControl.Category.Free
CartesianControl.Category.Cartesian
CatalystControl.Category.Free
CategoryPlusControl.Category.Monoidal
CategoryZeroControl.Category.Monoidal
CocartesianControl.Category.Cartesian
CompControl.Category.Free
ConstraintsOfControl.Category.Free
ConsumeControl.Category.Free
consumeControl.Category.Cartesian
CopyControl.Category.Free
copyControl.Category.Cartesian
EitherOfControl.Category.Free
FaninControl.Category.Free
FanoutControl.Category.Free
FirstControl.Category.Free
first'Control.Category.Monoidal
FixedControl.Category.Recursive
FixLControl.Category.Free
fixLControl.Category.Recursive
FixRControl.Category.Free
fixRControl.Category.Recursive
FreeFunctionControl.Category.Free
FstControl.Category.Free
fst'Control.Category.Cartesian
HasCartesianControl.Category.Free
HasCategoryControl.Category.Free
HasCocartesianControl.Category.Free
HasFixedControl.Category.Free
HasMonoidalProductControl.Category.Free
HasMonoidalSumControl.Category.Free
HasRecursiveControl.Category.Free
HasSymmetricProductControl.Category.Free
HasSymmetricSumControl.Category.Free
IDControl.Category.Free
InjectLControl.Category.Free
injectLControl.Category.Cartesian
InjectRControl.Category.Free
injectRControl.Category.Cartesian
IsCartesianControl.Category.Free
IsCategoryControl.Category.Free
IsCocartesianControl.Category.Free
IsFixedControl.Category.Free
IsMonoidalProductControl.Category.Free
IsMonoidalSumControl.Category.Free
IsRecursiveControl.Category.Free
IsSymmetricProductControl.Category.Free
IsSymmetricSumControl.Category.Free
leftControl.Category.Monoidal
Left'Control.Category.Free
LiftCControl.Category.Free
liftCControl.Category.Free
MonoidalProductControl.Category.Monoidal
MonoidalSumControl.Category.Monoidal
NoCartesianControl.Category.Free
NoCategoryControl.Category.Free
NoCocartesianControl.Category.Free
NoFixedControl.Category.Free
NoMonoidalProductControl.Category.Free
NoMonoidalSumControl.Category.Free
NoRecursiveControl.Category.Free
NoSymmetricProductControl.Category.Free
NoSymmetricSumControl.Category.Free
ReassocControl.Category.Free
reassocControl.Category.Monoidal
ReassocEControl.Category.Free
reassocEControl.Category.Monoidal
RecurseLControl.Category.Free
recurseLControl.Category.Recursive
RecurseRControl.Category.Free
recurseRControl.Category.Recursive
RecursiveControl.Category.Recursive
ReqControl.Category.Free
RequirementsControl.Category.Free
rightControl.Category.Monoidal
Right'Control.Category.Free
runFreeControl.Category.Free
SecondControl.Category.Free
second'Control.Category.Monoidal
SndControl.Category.Free
snd'Control.Category.Cartesian
SwapControl.Category.Free
swapControl.Category.Monoidal
SwapEControl.Category.Free
swapEControl.Category.Monoidal
SymmetricProductControl.Category.Monoidal
SymmetricSumControl.Category.Monoidal
TagControl.Category.Free
tagControl.Category.Cartesian
UnifyControl.Category.Free
unifyControl.Category.Cartesian
zeroCControl.Category.Monoidal
|||Control.Category.Cartesian