Contents
Index
data-category-0.3.1.1: Restricted categories
A
B
C
D
E
F
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
:
!
%
&
*
+
.
^
|
All
Index - C
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.Adjunction
colimitFactorizer
Data.Category.Limit
ColimitFam
Data.Category.Limit
ColimitFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
colimitUniv
Data.Category.Limit
ColimitUniversal
Data.Category.Limit
colimitUniversal
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
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
contAdj
Data.Category.Adjunction
Context
Data.Category.CartesianClosed
contextComonadDuplicate
Data.Category.CartesianClosed
contextComonadExtract
Data.Category.CartesianClosed
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.Monoidal
2 (Function)
Data.Category.Adjunction
curry
Data.Category.CartesianClosed
curryAdj
Data.Category.CartesianClosed