Index

!	Data.Category.NaturalTransformation
%	Data.Category.Functor
&&&	Data.Category.Limit
***	Data.Category.Limit
+++	Data.Category.Limit
.	Data.Category
:%	Data.Category.Functor
:***:
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
:**:
1 (Type/Class)	Data.Category.Product
2 (Data Constructor)	Data.Category.Product
:*-:	Data.Category.Functor
:*:
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
:+++:
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
:++:	Data.Category.Coproduct
:+:
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
:-*:	Data.Category.Functor
:.:
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
:/\:	Data.Category.Comma
:::	Data.Category.Discrete
:~>	Data.Category.NaturalTransformation
AdjArrow
1 (Data Constructor)	Data.Category.Adjunction
2 (Type/Class)	Data.Category.Adjunction
Adjunction
1 (Data Constructor)	Data.Category.Adjunction
2 (Type/Class)	Data.Category.Adjunction
adjunctionComonad	Data.Category.Monoidal
adjunctionInitialProp	Data.Category.Adjunction
adjunctionMonad	Data.Category.Monoidal
adjunctionTerminalProp	Data.Category.Adjunction
Alg	Data.Category.Dialg
Algebra	Data.Category.Dialg
Ana	Data.Category.Dialg
anaHask	Data.Category.Dialg
apply	Data.Category.CartesianClosed
associator	Data.Category.Monoidal
associatorInv	Data.Category.Monoidal
BinaryCoproduct	Data.Category.Limit
BinaryProduct	Data.Category.Limit
Boolean	Data.Category.Boolean
CartesianClosed	Data.Category.CartesianClosed
Cat	Data.Category.Functor
CatA	Data.Category.Functor
Cata	Data.Category.Dialg
cataHask	Data.Category.Dialg
CatApply
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
Category	Data.Category
CatTuple
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
CatW	Data.Category.Functor
Coalg	Data.Category.Dialg
Coalgebra	Data.Category.Dialg
Cocone	Data.Category.Limit
coconeVertex	Data.Category.Limit
Cod	Data.Category.Functor
CodiagCoprod
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
Colimit	Data.Category.Limit
colimit	Data.Category.Limit
colimitAdj	Data.Category.Limit
colimitFactorizer	Data.Category.Limit
ColimitFam	Data.Category.Limit
ColimitFunctor
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
Com
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
CommaA	Data.Category.Comma
CommaO
1 (Type/Class)	Data.Category.Comma
2 (Data Constructor)	Data.Category.Comma
Comonad	Data.Category.Monoidal
ComonoidObject
1 (Data Constructor)	Data.Category.Monoidal
2 (Type/Class)	Data.Category.Monoidal
compAssoc	Data.Category.NaturalTransformation
compAssocInv	Data.Category.NaturalTransformation
Component	Data.Category.NaturalTransformation
comultiply	Data.Category.Monoidal
Cone	Data.Category.Limit
coneVertex	Data.Category.Limit
Const
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
ConstF	Data.Category.Functor
constPostcomp	Data.Category.NaturalTransformation
constPostcompInv	Data.Category.NaturalTransformation
constPrecomp	Data.Category.NaturalTransformation
constPrecompInv	Data.Category.NaturalTransformation
contAdj	Data.Category.Adjunction
Context	Data.Category.CartesianClosed
contextComonadDuplicate	Data.Category.CartesianClosed
contextComonadExtract	Data.Category.CartesianClosed
contravariantHomRepr	Data.Category.RepresentableFunctor
CoproductFunctor
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
Cotuple1
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
Cotuple2
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
counit
1 (Function)	Data.Category.Adjunction
2 (Function)	Data.Category.Monoidal
covariantHomRepr	Data.Category.RepresentableFunctor
curry	Data.Category.CartesianClosed
curryAdj	Data.Category.CartesianClosed
Diag
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
DiagF	Data.Category.Limit
DiagProd
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
Dialg	Data.Category.Dialg
DialgA	Data.Category.Dialg
Dialgebra
1 (Data Constructor)	Data.Category.Dialg
2 (Type/Class)	Data.Category.Dialg
dialgebra	Data.Category.Dialg
dialgId	Data.Category.Dialg
Discrete	Data.Category.Discrete
DiscreteDiagram	Data.Category.Discrete
Dom	Data.Category.Functor
eilenbergMooreAdj	Data.Category.Dialg
EMAdjF
1 (Data Constructor)	Data.Category.Dialg
2 (Type/Class)	Data.Category.Dialg
EMAdjG
1 (Data Constructor)	Data.Category.Dialg
2 (Type/Class)	Data.Category.Dialg
Endo	Data.Category.NaturalTransformation
EndoHask
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
ExpFunctor
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
Exponential	Data.Category.CartesianClosed
ExponentialWith
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
F2T	Data.Category.Boolean
falseCoproductComonoid	Data.Category.Boolean
falseCoproductMonoid	Data.Category.Boolean
falseProductComonoid	Data.Category.Boolean
FixF	Data.Category.Dialg
Fls
1 (Type/Class)	Data.Category.Boolean
2 (Data Constructor)	Data.Category.Boolean
foldMap	Data.Category.Monoid
ForgetMonoid
1 (Data Constructor)	Data.Category.Monoid
2 (Type/Class)	Data.Category.Monoid
FreeMonoid
1 (Data Constructor)	Data.Category.Monoid
2 (Type/Class)	Data.Category.Monoid
freeMonoidAdj	Data.Category.Monoid
fromYoneda	Data.Category.Yoneda
Functor	Data.Category.Functor
FunctorCompose
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
HasBinaryCoproducts	Data.Category.Limit
HasBinaryProducts	Data.Category.Limit
HasColimits	Data.Category.Limit
HasInitialObject	Data.Category.Limit
HasLimits	Data.Category.Limit
HasTerminalObject	Data.Category.Limit
HasUnit	Data.Category.Monoidal
Hom
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
homX_	Data.Category.Functor
hom_X	Data.Category.Functor
I1
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
I2
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
Id
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
idPostcomp	Data.Category.NaturalTransformation
idPostcompInv	Data.Category.NaturalTransformation
idPrecomp	Data.Category.NaturalTransformation
idPrecompInv	Data.Category.NaturalTransformation
InF	Data.Category.Dialg
InitialFAlgebra	Data.Category.Dialg
initialize	Data.Category.Limit
InitialObject	Data.Category.Limit
initialObject	Data.Category.Limit
initialPropAdjunction	Data.Category.Adjunction
InitialUniversal	Data.Category.RepresentableFunctor
initialUniversal	Data.Category.RepresentableFunctor
Inj1
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
inj1	Data.Category.Limit
Inj2
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
inj2	Data.Category.Limit
Kleisli
1 (Data Constructor)	Data.Category.Kleisli
2 (Type/Class)	Data.Category.Kleisli
kleisliAdj	Data.Category.Kleisli
KleisliAdjF
1 (Data Constructor)	Data.Category.Kleisli
2 (Type/Class)	Data.Category.Kleisli
KleisliAdjG
1 (Data Constructor)	Data.Category.Kleisli
2 (Type/Class)	Data.Category.Kleisli
kleisliId	Data.Category.Kleisli
leftAdjoint	Data.Category.Adjunction
leftAdjunct	Data.Category.Adjunction
leftUnitor	Data.Category.Monoidal
leftUnitorInv	Data.Category.Monoidal
Limit	Data.Category.Limit
limit	Data.Category.Limit
limitAdj	Data.Category.Limit
limitFactorizer	Data.Category.Limit
LimitFam	Data.Category.Limit
LimitFunctor
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
listComonadDuplicate	Data.Category.Monoid
listComonadExtract	Data.Category.Monoid
listMonadJoin	Data.Category.Monoid
listMonadReturn	Data.Category.Monoid
magicZ	Data.Category.Discrete
mkAdjunction	Data.Category.Adjunction
mkComonad	Data.Category.Monoidal
mkMonad	Data.Category.Monoidal
Mon	Data.Category.Monoid
Monad	Data.Category.Monoidal
monadFunctor	Data.Category.Monoidal
MonoidA
1 (Data Constructor)	Data.Category.Monoid
2 (Type/Class)	Data.Category.Monoid
MonoidAsCategory	Data.Category.Monoidal
MonoidMorphism	Data.Category.Monoid
MonoidObject
1 (Data Constructor)	Data.Category.Monoidal
2 (Type/Class)	Data.Category.Monoidal
MonoidValue	Data.Category.Monoidal
multiply	Data.Category.Monoidal
Nat
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
NatAsFunctor
1 (Data Constructor)	Data.Category.Boolean
2 (Type/Class)	Data.Category.Boolean
NatF
1 (Data Constructor)	Data.Category.Dialg
2 (Type/Class)	Data.Category.Dialg
natId	Data.Category.NaturalTransformation
NatNum
1 (Type/Class)	Data.Category.Dialg
2 (Type/Class)	Data.Category.Peano
Nil	Data.Category.Discrete
o	Data.Category.NaturalTransformation
Obj	Data.Category
ObjectsFOver	Data.Category.Comma
ObjectsFUnder	Data.Category.Comma
ObjectsOver	Data.Category.Comma
ObjectsUnder	Data.Category.Comma
Omega	Data.Category.Omega
Op
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
Opposite
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
outF	Data.Category.Dialg
Pair	Data.Category.Discrete
Peano	Data.Category.Peano
PeanoA	Data.Category.Peano
peanoId	Data.Category.Peano
PeanoO
1 (Data Constructor)	Data.Category.Peano
2 (Type/Class)	Data.Category.Peano
peanoO	Data.Category.Peano
Postcompose
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
Precompose
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
preludeMonad	Data.Category.Monoidal
preludeMonoid	Data.Category.Monoidal
Presheaves	Data.Category.CartesianClosed
primRec
1 (Function)	Data.Category.Dialg
2 (Function)	Data.Category.Peano
ProductFunctor
1 (Data Constructor)	Data.Category.Limit
2 (Type/Class)	Data.Category.Limit
ProductWith
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
Proj1
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
proj1	Data.Category.Limit
Proj2
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
proj2	Data.Category.Limit
PShExponential
1 (Data Constructor)	Data.Category.CartesianClosed
2 (Type/Class)	Data.Category.CartesianClosed
represent	Data.Category.RepresentableFunctor
Representable
1 (Type/Class)	Data.Category.RepresentableFunctor
2 (Data Constructor)	Data.Category.RepresentableFunctor
representedFunctor	Data.Category.RepresentableFunctor
representingObject	Data.Category.RepresentableFunctor
rightAdjoint	Data.Category.Adjunction
rightAdjunct	Data.Category.Adjunction
rightUnitor	Data.Category.Monoidal
rightUnitorInv	Data.Category.Monoidal
S
1 (Type/Class)	Data.Category.Discrete
2 (Data Constructor)	Data.Category.Discrete
3 (Type/Class)	Data.Category.Omega
4 (Data Constructor)	Data.Category.Omega
5 (Data Constructor)	Data.Category.Dialg
6 (Data Constructor)	Data.Category.Peano
src	Data.Category
srcF	Data.Category.NaturalTransformation
State	Data.Category.CartesianClosed
stateMonadJoin	Data.Category.CartesianClosed
stateMonadReturn	Data.Category.CartesianClosed
Succ
1 (Data Constructor)	Data.Category.Discrete
2 (Type/Class)	Data.Category.Discrete
TensorProduct	Data.Category.Monoidal
TerminalFAlgebra	Data.Category.Dialg
TerminalObject	Data.Category.Limit
terminalObject	Data.Category.Limit
terminalPropAdjunction	Data.Category.Adjunction
TerminalUniversal	Data.Category.RepresentableFunctor
terminalUniversal	Data.Category.RepresentableFunctor
terminate	Data.Category.Limit
tgt	Data.Category
tgtF	Data.Category.NaturalTransformation
toYoneda	Data.Category.Yoneda
Tru
1 (Type/Class)	Data.Category.Boolean
2 (Data Constructor)	Data.Category.Boolean
trueCoproductMonoid	Data.Category.Boolean
trueProductComonoid	Data.Category.Boolean
trueProductMonoid	Data.Category.Boolean
tuple	Data.Category.CartesianClosed
Tuple1
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
Tuple2
1 (Data Constructor)	Data.Category.Functor
2 (Type/Class)	Data.Category.Functor
unCom	Data.Category.NaturalTransformation
uncurry	Data.Category.CartesianClosed
Unit
1 (Type/Class)	Data.Category.Discrete
2 (Type/Class)	Data.Category.Monoidal
unit
1 (Function)	Data.Category.Adjunction
2 (Function)	Data.Category.Monoidal
unitObject	Data.Category.Monoidal
universalElement	Data.Category.RepresentableFunctor
unMonoidMorphism	Data.Category.Monoid
unOp	Data.Category
unrepresent	Data.Category.RepresentableFunctor
Void	Data.Category.Discrete
voidNat	Data.Category.Discrete
Wrap
1 (Data Constructor)	Data.Category.NaturalTransformation
2 (Type/Class)	Data.Category.NaturalTransformation
Yoneda
1 (Data Constructor)	Data.Category.Yoneda
2 (Type/Class)	Data.Category.Yoneda
yonedaEmbedding	Data.Category.Yoneda
Z
1 (Type/Class)	Data.Category.Discrete
2 (Data Constructor)	Data.Category.Discrete
3 (Type/Class)	Data.Category.Omega
4 (Data Constructor)	Data.Category.Omega
5 (Data Constructor)	Data.Category.Dialg
6 (Data Constructor)	Data.Category.Peano
Z2S	Data.Category.Omega
Zero	Data.Category.Limit
zeroComonoid	Data.Category.Omega
zeroMonoid	Data.Category.Omega
^^^	Data.Category.CartesianClosed
\|\|\|	Data.Category.Limit