Index

!	Data.Category
$$	Data.Category
%	Data.Category
-%	Data.Category
.	Data.Category
:***:	Data.Category.Pair
:*-:	Data.Category
:-*:	Data.Category
:.:
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
:~>	Data.Category
Adjunction
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
Alg	Data.Category.Alg
AlgA	Data.Category.Alg
Algebra
1 (Type/Class)	Data.Category.Alg
2 (Data Constructor)	Data.Category.Alg
AlgNat	Data.Category.Alg
Apply	Data.Category
Boolean	Data.Category.Boolean
BooleanNat	Data.Category.Boolean
Cata	Data.Category.Alg
cataHask	Data.Category.Alg
CategoryA	Data.Category
CategoryO	Data.Category
Cocone	Data.Category.Functor
Cod	Data.Category
Colimit	Data.Category.Functor
Component	Data.Category
Cone	Data.Category.Functor
Const
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
ContraFunctorA	Data.Category
CoprodInHask
1 (Type/Class)	Data.Category.Hask
2 (Data Constructor)	Data.Category.Hask
coprodInHaskAdj	Data.Category.Hask
Coproduct	Data.Category.Pair
counit	Data.Category
Diag
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
Dom	Data.Category
EndoHask
1 (Type/Class)	Data.Category.Hask
2 (Data Constructor)	Data.Category.Hask
F	Data.Category
FixF	Data.Category.Alg
Fls
1 (Type/Class)	Data.Category.Boolean
2 (Data Constructor)	Data.Category.Boolean
FlsTru	Data.Category.Boolean
Fst
1 (Type/Class)	Data.Category.Pair
2 (Data Constructor)	Data.Category.Pair
FunctNat	Data.Category.Functor
FunctorA	Data.Category
GTZ	Data.Category.Omega
Hask	Data.Category.Hask
HaskNat	Data.Category.Hask
HomX_	Data.Category
Hom_X	Data.Category
Id
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
id	Data.Category
IdFls	Data.Category.Boolean
IdFst	Data.Category.Pair
IdSnd	Data.Category.Pair
IdTru	Data.Category.Boolean
IdZ	Data.Category.Omega
InF	Data.Category.Alg
InitialFAlgebra	Data.Category.Alg
initialize	Data.Category.Void
InitialObject	Data.Category.Void
InitialUniversal
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
initObjInHask	Data.Category.Hask
inj1	Data.Category.Pair
inj2	Data.Category.Pair
join	Data.Category.Kleisli
Kleisli
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
kleisliAdj	Data.Category.Kleisli
KleisliAdjF
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
KleisliAdjG
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
KleisliNat	Data.Category.Kleisli
Limit	Data.Category.Functor
magic	Data.Category.Hask
Monad	Data.Category.Kleisli
MonoidA
1 (Type/Class)	Data.Category.Monoid
2 (Data Constructor)	Data.Category.Monoid
MonoidNat	Data.Category.Monoid
Nat	Data.Category
Obj	Data.Category
obj	Data.Category
Omega	Data.Category.Omega
OmegaC	Data.Category.Omega
OmegaColimit	Data.Category.Omega
omegaColimit	Data.Category.Omega
OmegaF
1 (Type/Class)	Data.Category.Omega
2 (Data Constructor)	Data.Category.Omega
OmegaL	Data.Category.Omega
OmegaLimit	Data.Category.Omega
omegaLimit	Data.Category.Omega
OmegaNat	Data.Category.Omega
outF	Data.Category.Alg
Pair	Data.Category.Pair
PairColimit	Data.Category.Pair
pairColimit	Data.Category.Pair
PairF
1 (Type/Class)	Data.Category.Pair
2 (Data Constructor)	Data.Category.Pair
PairLimit	Data.Category.Pair
pairLimit	Data.Category.Pair
point	Data.Category.Kleisli
Pointed	Data.Category.Kleisli
ProdInHask
1 (Type/Class)	Data.Category.Hask
2 (Data Constructor)	Data.Category.Hask
prodInHaskAdj	Data.Category.Hask
Product	Data.Category.Pair
proj1	Data.Category.Pair
proj2	Data.Category.Pair
S
1 (Type/Class)	Data.Category.Omega
2 (Data Constructor)	Data.Category.Omega
Snd
1 (Type/Class)	Data.Category.Pair
2 (Data Constructor)	Data.Category.Pair
StepS	Data.Category.Omega
TerminalObject	Data.Category.Void
TerminalUniversal
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
terminate	Data.Category.Void
termObjInHask	Data.Category.Hask
Tru
1 (Type/Class)	Data.Category.Boolean
2 (Data Constructor)	Data.Category.Boolean
unAlgNat	Data.Category.Alg
unFunctNat	Data.Category.Functor
unHaskNat	Data.Category.Hask
Unit	Data.Category.Unit
unit	Data.Category
UnitId	Data.Category.Unit
UnitNat	Data.Category.Unit
UnitO
1 (Type/Class)	Data.Category.Unit
2 (Data Constructor)	Data.Category.Unit
unKleisliNat	Data.Category.Kleisli
Void	Data.Category.Void
VoidColimit	Data.Category.Void
voidColimit	Data.Category.Void
VoidF
1 (Type/Class)	Data.Category.Void
2 (Data Constructor)	Data.Category.Void
VoidLimit	Data.Category.Void
voidLimit	Data.Category.Void
VoidNat	Data.Category.Void
Z
1 (Type/Class)	Data.Category.Omega
2 (Data Constructor)	Data.Category.Omega
Zero	Data.Category.Hask