A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
?
\
^
|
-
~
All

Index - C

Cart	Proarrow.Category.Equipment
Cartesian	Proarrow.Object.BinaryProduct
CAT	Proarrow.Core, Proarrow.Category, Proarrow
Cat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
cata	Proarrow.Profunctor.Fix
CatAsComonoid
1 (Type/Class)	Proarrow.Category.Instance.Nat
2 (Data Constructor)	Proarrow.Category.Instance.Nat
Category
1 (Type/Class)	Proarrow.Core
2 (Type/Class)	Proarrow.Category.Bicategory.CategoryAsBi
CategoryOf	Proarrow.Core, Proarrow.Category, Proarrow
CATK	Proarrow.Category.Enriched
CCC	Proarrow.Object.Exponential
ccomp	Proarrow.Preorder
cdimap	Proarrow.Preorder
cdimapDefault	Proarrow.Preorder
CF	Proarrow.Category.Bicategory.Prof
CHA	Proarrow.Category.Monoidal.Optic
ChaL	Proarrow.Category.Monoidal.Optic
ChaR	Proarrow.Category.Monoidal.Optic
CHART	Proarrow.Category.Monoidal.Optic
ChartCat
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
choose	Proarrow.Category.Limit
cid	Proarrow.Preorder
CK	Proarrow.Category.Enriched
Classifying
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
Closed	Proarrow.Object.Exponential
CNSTRNT	Proarrow.Category.Instance.Constraint
CO	Proarrow.Category.Bicategory.Co
Co
1 (Type/Class)	Proarrow.Category.Bicategory.Co
2 (Data Constructor)	Proarrow.Category.Bicategory.Co
3 (Data Constructor)	Proarrow.Profunctor.Star
coact	Proarrow.Category.Bicategory.Relative
Coadjunction	Proarrow.Category.Bicategory.Relative
Coalgebra	Proarrow.Category.Bicategory.Relative
COb	Proarrow.Preorder
Cocartesian	Proarrow.Object.BinaryCoproduct
CoCCC	Proarrow.Object.Coexponential
cochoose	Proarrow.Category.Colimit
Coclosed	Proarrow.Object.Coexponential
codiag	Proarrow.Object.BinaryCoproduct
Codiscrete	Proarrow.Preorder.ThinCategory
coepsilon	Proarrow.Category.Bicategory.Relative
coeta	Proarrow.Category.Bicategory.Relative
coeval	Proarrow.Object.Coexponential
coeval'	Proarrow.Object.Coexponential
coevalUniv	Proarrow.Object.Coexponential
coevalUniv'	Proarrow.Object.Coexponential
Cofree	Proarrow.Profunctor.Cofree
CofreeSub
1 (Type/Class)	Proarrow.Profunctor.Cofree
2 (Data Constructor)	Proarrow.Profunctor.Cofree
coindex	Proarrow.Profunctor.Corepresentable
COK	Proarrow.Category.Bicategory.Co
Colimit
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Colimit
colimit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Colimit
3 (Function)	Proarrow.Squares.Limit
colimitObj	Proarrow.Category.Equipment.Limit
colimitUniv
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Colimit
3 (Function)	Proarrow.Squares.Limit
COLLAGE	Proarrow.Category.Instance.Collage
Collage	Proarrow.Category.Instance.Collage
combineDual	Proarrow.Object.Dual
ComConAdjunction	Proarrow.Category.Equipment
comConCounit	Proarrow.Category.Equipment
comConUnit	Proarrow.Category.Equipment
Comonad
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Category.Bicategory.Relative
Comonoid	Proarrow.Monoid
ComonoidAsCat
1 (Type/Class)	Proarrow.Category.Instance.Nat
2 (Data Constructor)	Proarrow.Category.Instance.Nat
Comp	Proarrow.Profunctor.Free
comp	Proarrow.Object.Exponential
CompactClosed	Proarrow.Object.Dual
compactClosedTrace	Proarrow.Object.Dual
Companion	Proarrow.Category.Equipment
companionFold	Proarrow.Category.Bicategory.Strictified
compFromCompose	Proarrow.Category.Equipment
compFromId	Proarrow.Category.Equipment
compId
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares
composeActs	Proarrow.Category.Monoidal.Action
composeCostar	Proarrow.Profunctor.Costar
composeRan	Proarrow.Category.Bicategory.Kan
composeRift	Proarrow.Category.Bicategory.Kan
composeStar	Proarrow.Profunctor.Star
compToCompose	Proarrow.Category.Equipment
compToId	Proarrow.Category.Equipment
comult
1 (Function)	Proarrow.Category.Bicategory.Relative
2 (Function)	Proarrow.Monoid
concatFold
1 (Function)	Proarrow.Category.Monoidal.Strictified
2 (Function)	Proarrow.Category.Bicategory.Strictified
concatMap	Proarrow.Category.Instance.Mat
conjFromCompose	Proarrow.Category.Equipment
conjFromId	Proarrow.Category.Equipment
conjId
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares
Conjoint	Proarrow.Category.Equipment
conjToCompose	Proarrow.Category.Equipment
conjToId	Proarrow.Category.Equipment
Cons
1 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
2 (Data Constructor)	Proarrow.Category.Instance.List
3 (Data Constructor)	Proarrow.Profunctor.Fix
4 (Data Constructor)	Proarrow.Category.Instance.Mat
5 (Data Constructor)	Proarrow.Profunctor.Free
CONSTRAINT	Proarrow.Category.Instance.Constraint
Cont
1 (Type/Class)	Proarrow.Promonad.Cont
2 (Data Constructor)	Proarrow.Promonad.Cont
conv1	Proarrow.Category.Instance.Linear
conv2	Proarrow.Category.Instance.Linear
coopact	Proarrow.Category.Bicategory.Relative
Coopalgebra	Proarrow.Category.Bicategory.Relative
copar	Proarrow.Category.Monoidal.Distributive
copar0	Proarrow.Category.Monoidal.Distributive
COPR	Proarrow.Object.BinaryCoproduct
COPROD	Proarrow.Object.BinaryCoproduct
Coprod
1 (Type/Class)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Object.BinaryCoproduct
CoprodDom	Proarrow.Profunctor.Star
CoprodH	Proarrow.Category.Equipment.Limit
coprodObj	Proarrow.Category.Equipment.Limit
COPRODUCT	Proarrow.Category.Instance.Coproduct
Coproduct	Proarrow.Category.Equipment.Limit
coproduct	Proarrow.Profunctor.Coproduct
CoproductColimit
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
coprodUniv	Proarrow.Category.Equipment.Limit
CoprodV	Proarrow.Category.Equipment.Limit
copy	Proarrow.Category.Instance.Kleisli
Corep
1 (Type/Class)	Proarrow.Profunctor.Corepresentable
2 (Data Constructor)	Proarrow.Profunctor.Corepresentable
corepMap	Proarrow.Profunctor.Corepresentable
Corepresentable	Proarrow.Profunctor.Corepresentable
CorepStar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
Costar
1 (Type/Class)	Proarrow.Profunctor.Costar
2 (Data Constructor)	Proarrow.Profunctor.Costar
cotabulate	Proarrow.Profunctor.Corepresentable
cotabulatorFactorize	Proarrow.Category.Bicategory.Prof
CotabulatorFactorizer	Proarrow.Category.Bicategory.Prof
counit
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
3 (Function)	Proarrow.Monoid
4 (Function)	Proarrow.Adjunction, Proarrow
5 (Function)	Proarrow.Category.Instance.Linear
6 (Function)	Proarrow.Squares.Limit
counitFromRepCounit	Proarrow.Adjunction, Proarrow
counitUr	Proarrow.Category.Instance.Linear
Coyoneda
1 (Type/Class)	Proarrow.Profunctor.Coyoneda
2 (Data Constructor)	Proarrow.Profunctor.Coyoneda
coyoneda	Proarrow.Profunctor.Coyoneda
CProfunctor	Proarrow.Preorder
CPromonad	Proarrow.Preorder
Curry
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
curry	Proarrow.Object.Exponential
curry'	Proarrow.Object.Exponential
currySA	Proarrow.Object.Dual