Contents
Index
data-category-0.2.0: Restricted categories
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
:
!
%
&
*
+
.
|
Index - C
Cat
Data.Category.Functor
CatA
Data.Category.Functor
Cata
Data.Category.Dialg
cataHask
Data.Category.Dialg
Category
Data.Category
CatO
Data.Category.Functor
CatW
Data.Category.Functor
Coalg
Data.Category.Dialg
Coalgebra
Data.Category.Dialg
Cocone
Data.Category.Limit
coconeVertex
Data.Category.Limit
Cod
Data.Category.Functor
Colimit
Data.Category.Limit
colimit
Data.Category.Limit
colimitAdj
Data.Category.Adjunction
colimitFactorizer
Data.Category.Limit
ColimitFam
Data.Category.Limit
ColimitFunctor
1 (Type/Class)
Data.Category.Limit
2 (Data Constructor)
Data.Category.Limit
colimitUniv
Data.Category.Limit
ColimitUniversal
Data.Category.Limit
colimitUniversal
Data.Category.Limit
Com
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
CommaA
Data.Category.Comma
CommaO
Data.Category.Comma
Component
Data.Category.NaturalTransformation
Cone
Data.Category.Limit
coneVertex
Data.Category.Limit
Const
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
ConstF
Data.Category.Functor
coproduct
Data.Category.Limit
counit
Data.Category.Adjunction
cowrap
Data.Category.Adjunction
curryAdj
Data.Category.Adjunction