| C | Proarrow.Category.Instance.Cost |
| C0 | Proarrow.Category.Internal |
| C1 | Proarrow.Category.Internal |
| CanEqShow | Proarrow.Category.Instance.Free |
| cap | |
| 1 (Function) | Proarrow.Category.Monoidal.Hypergraph |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| capS | Proarrow.Category.Monoidal.Hypergraph |
| Cartesian | Proarrow.Limit.BinaryProduct |
| CAT | Proarrow.Core, Proarrow.Category, Proarrow |
| Cat | |
| 1 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 2 (Data Constructor) | Proarrow.Category.Instance.CatProf |
| cata | Proarrow.Profunctor.Instance.Fix |
| CatAsComonoid | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| CategoryOf | Proarrow.Core, Proarrow.Category, Proarrow |
| CCC | Proarrow.Category.Monoidal.Closed |
| CD | Proarrow.Category.Instance.Discrete |
| censor | Proarrow.Promonad.Writer |
| CheckBiproduct | Proarrow.Colimit.BinaryCoproduct |
| checkCodiscreteProfunctor | Proarrow.Category.Instance.Product |
| checkDiscrete | Proarrow.Category.Instance.Product |
| classifyGraph | Proarrow.Category.Topos |
| classifyImage | Proarrow.Category.Topos |
| Classifying | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| classifyKernelPair | Proarrow.Category.Topos |
| Clone | Proarrow.Category.Enriched |
| Closed | Proarrow.Category.Monoidal.Closed |
| cnot | Proarrow.Category.Instance.ZX |
| 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.Instance.Star |
| coact | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Monoidal.Strength |
| coactCC | Proarrow.Category.Monoidal.CompactClosed |
| Coadjunction | Proarrow.Category.Bicategory.Relative |
| Coalgebra | Proarrow.Category.Bicategory.Relative |
| Coapex | Proarrow.Profunctor.Instance.Cocone |
| coarr | |
| 1 (Function) | Proarrow.Category.Instance.Span |
| 2 (Function) | Proarrow.Category.Instance.Cospan |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| Cocartesian | Proarrow.Colimit.BinaryCoproduct |
| CoCCC | Proarrow.Category.Monoidal.Coclosed |
| Coclosed | Proarrow.Category.Monoidal.Coclosed |
| Cocone | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Cocone |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Cocone |
| Codensity | Proarrow.Category.Bicategory.Kan |
| Codiag | Proarrow.Category.Instance.Coproduct |
| codiag | Proarrow.Colimit.BinaryCoproduct |
| CODISCRETE | Proarrow.Category.Instance.Discrete |
| Codiscrete | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Thin |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| CodiscreteProfunctor | Proarrow.Category.Enriched.Thin |
| Coend | |
| 1 (Type/Class) | Proarrow.Colimit |
| 2 (Data Constructor) | Proarrow.Colimit |
| CoendLimit | Proarrow.Colimit |
| coepsilon | Proarrow.Category.Bicategory.Relative |
| coequalize | Proarrow.Colimit.Coequalizer |
| coequalizerDefault | Proarrow.Colimit.Pushout |
| coeta | Proarrow.Category.Bicategory.Relative |
| coeval | Proarrow.Category.Monoidal.Coclosed |
| coevalUniv | Proarrow.Category.Monoidal.Coclosed |
| Cofree | Proarrow.Profunctor.Cofree |
| cofreeComp | Proarrow.Profunctor.Cofree |
| cofreeMap | Proarrow.Profunctor.Cofree |
| coindex | Proarrow.Profunctor.Corepresentable |
| coinj | Proarrow.Category.Bicategory.Kan |
| COK | Proarrow.Category.Bicategory.Co |
| cokernel | Proarrow.Colimit.Coequalizer |
| cokernelPair | Proarrow.Colimit.Pushout |
| Coleg | Proarrow.Profunctor.Instance.Cocone |
| Colimit | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| colimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| colimitFromLimitAdj | Proarrow.Category.Equipment.Limit |
| colimitToLimitAdj | Proarrow.Category.Equipment.Limit |
| colimitUniv | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| COLLAGE | Proarrow.Category.Instance.Collage |
| Collage | Proarrow.Category.Instance.Collage |
| CollageAsCoprod | Proarrow.Category.Instance.Collage |
| collageUniv | Proarrow.Category.Instance.Collage |
| combine | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| combineAll | Proarrow.Category.Bicategory.Strictified |
| CombineDual | Proarrow.Category.Instance.CatProf |
| combineDual | Proarrow.Category.Monoidal.CompactClosed |
| combineDualS | Proarrow.Category.Monoidal.CompactClosed |
| combines | Proarrow.Category.Instance.FinRel |
| COMMA | Proarrow.Category.Instance.Graph |
| commSquare | Proarrow.Category.Instance.Bool |
| CommutativeMonoid | Proarrow.Monoid, Proarrow |
| Comonad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Promonad |
| Comonoid | Proarrow.Monoid, Proarrow |
| ComonoidAsCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Comp | |
| 1 (Type/Class) | Proarrow.Category.Instance.BiAsCategory |
| 2 (Data Constructor) | Proarrow.Profunctor.Free |
| comp | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Category.Enriched |
| CompactClosed | Proarrow.Category.Monoidal.CompactClosed |
| compAsRan | Proarrow.Profunctor.Instance.Ran |
| compAsRift | Proarrow.Profunctor.Instance.Rift |
| compComp | Proarrow.Profunctor.Instance.Composition |
| compOptic | Proarrow.Category.Monoidal.Optic |
| compose | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Category.Internal |
| composeActs | Proarrow.Category.Monoidal.Action |
| composeCostar | Proarrow.Profunctor.Instance.Costar |
| composeRan | Proarrow.Category.Bicategory.Kan |
| composeRift | Proarrow.Category.Bicategory.Kan |
| composeStar | Proarrow.Profunctor.Instance.Star |
| compPt | Proarrow.Category.Instance.PointedHask |
| compS | Proarrow.Category.Monoidal.Closed |
| compSelf | Proarrow.Category.Enriched |
| comult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| comultAct | Proarrow.Monoid, Proarrow |
| comultS | Proarrow.Monoid, Proarrow |
| concatFold | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| concatMany | Proarrow.Category.Monoidal.Strictified |
| Cone | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Cone |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Cone |
| Conjugate | Proarrow.Category.Instance.Mat |
| Cons | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.List |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Fix |
| Constant | Proarrow.Profunctor.Instance.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 |
| Converse | |
| 1 (Type/Class) | Proarrow.Category.Instance.Rel |
| 2 (Data Constructor) | Proarrow.Category.Instance.Rel |
| coopact | Proarrow.Category.Bicategory.Relative |
| Coopalgebra | Proarrow.Category.Bicategory.Relative |
| Copower | |
| 1 (Data Constructor) | Proarrow.Colimit.Copower |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| copower | Proarrow.Colimit.Copower |
| Copowered | Proarrow.Colimit.Copower |
| CopowerLimit | Proarrow.Colimit |
| COPR | Proarrow.Colimit.BinaryCoproduct |
| Copresheaf | Proarrow.Functor, Proarrow |
| COPROD | Proarrow.Colimit.BinaryCoproduct |
| Coprod | |
| 1 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| CoprodAction | Proarrow.Category.Monoidal.Action |
| CoprodAction' | Proarrow.Category.Monoidal.Action |
| CoprodDom | Proarrow.Profunctor.Instance.Star |
| COPRODUCT | Proarrow.Category.Instance.Coproduct |
| coproduct | Proarrow.Profunctor.Instance.Coproduct |
| CoproductColimit | Proarrow.Colimit |
| copy | Proarrow.Category.Monoidal.CopyDiscard |
| CopyDiscard | Proarrow.Category.Monoidal.CopyDiscard |
| copyS | Proarrow.Category.Monoidal.CopyDiscard |
| COREP | Proarrow.Category.Instance.Rep |
| Corep | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Data Constructor) | Proarrow.Profunctor.Corepresentable |
| corep | Proarrow.Profunctor.Corepresentable |
| COREPK | Proarrow.Category.Instance.Rep |
| corepMap | Proarrow.Profunctor.Corepresentable |
| corepObj | Proarrow.Profunctor.Corepresentable |
| Corepresentable | Proarrow.Profunctor.Corepresentable |
| CorepStar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| corepUniv | Proarrow.Profunctor.Corepresentable |
| corun | Proarrow.Category.Bicategory.Kan |
| Cosink | Proarrow.Profunctor.Instance.Cone |
| COSPAN | Proarrow.Category.Instance.Cospan |
| Cospan | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cospan |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cospan |
| COST | Proarrow.Category.Instance.Cost |
| Costar | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Costar |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Costar |
| Costar' | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Costar |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Costar |
| costArr | Proarrow.Category.Instance.Cost |
| Costate | Proarrow.Category.Monoidal |
| costrength | Proarrow.Category.Monoidal.Strength |
| Costrong | Proarrow.Category.Monoidal.Strength |
| cotabulate | Proarrow.Profunctor.Corepresentable |
| cotabulated | Proarrow.Profunctor.Corepresentable |
| Cotight | Proarrow.Category.Equipment |
| CotightAdj | Proarrow.Category.Bicategory.Adj |
| CotightAdjoint | Proarrow.Category.Equipment |
| Cotraversable | Proarrow.Category.Monoidal.Distributive |
| cotraverse | Proarrow.Category.Monoidal.Distributive |
| cotraverseReader | Proarrow.Promonad.Reader |
| counit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Monoid, Proarrow |
| 4 (Function) | Proarrow.Category.Instance.Linear |
| 5 (Function) | Proarrow.Adjunction |
| 6 (Function) | Proarrow.Squares |
| counitAct | Proarrow.Monoid, Proarrow |
| counitAdj | Proarrow.Tools.Diagrams.Dot |
| counitIso | Proarrow.Adjunction |
| counitRep | Proarrow.Adjunction |
| counitS | Proarrow.Monoid, Proarrow |
| counitUr | Proarrow.Category.Instance.Linear |
| CountLR | Proarrow.Category.Bicategory.Adj |
| CountLR' | Proarrow.Category.Bicategory.Adj |
| CountRL | Proarrow.Category.Bicategory.Adj |
| CountRL' | Proarrow.Category.Bicategory.Adj |
| Coyoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Coyoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Coyoneda |
| coyoneda | Proarrow.Profunctor.Instance.Coyoneda |
| crossing | Proarrow.Category.Equipment.Stateful |
| CS | Proarrow.Category.Instance.Cospan |
| cup | |
| 1 (Function) | Proarrow.Category.Monoidal.Hypergraph |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| cupS | Proarrow.Category.Monoidal.Hypergraph |
| Curry | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal.Closed |
| 2 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 3 (Data Constructor) | Proarrow.Category.Instance.CatProf |
| 4 (Type/Class) | Proarrow.Category.Instance.CatFun |
| curry | Proarrow.Category.Monoidal.Closed |
| CurryH | Proarrow.Category.Instance.CatFun |
| curryHG | Proarrow.Category.Monoidal.Hypergraph |
| curryS | Proarrow.Category.Monoidal.Closed |
| curryS' | Proarrow.Category.Monoidal.Closed |
| currySA | Proarrow.Category.Monoidal.StarAutonomous |