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
1 (Function)	Proarrow.Category.Monoidal.Action
2 (Function)	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
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
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
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
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
compactClosedCoact	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
comultAct	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
Constant
1 (Type/Class)	Proarrow.Profunctor.Constant
2 (Data Constructor)	Proarrow.Profunctor.Constant
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.Object.BinaryCoproduct
copar0	Proarrow.Object.BinaryCoproduct
COPR	Proarrow.Object.BinaryCoproduct
Copresheaf	Proarrow.Functor, Proarrow
COPROD	Proarrow.Object.BinaryCoproduct
Coprod
1 (Type/Class)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Object.BinaryCoproduct
CoprodAction	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
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
costrength	Proarrow.Profunctor.Costar
Costrong	Proarrow.Category.Monoidal.Action
cotabulate	Proarrow.Profunctor.Corepresentable
cotabulatorFactorize	Proarrow.Category.Bicategory.Prof
CotabulatorFactorizer	Proarrow.Category.Bicategory.Prof
Cotraversable	Proarrow.Category.Monoidal.Distributive
cotraverse	Proarrow.Category.Monoidal.Distributive
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
counitAct	Proarrow.Monoid
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
crossing	Proarrow.Category.Equipment.Stateful
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