Index - :
| :& | Proarrow.Tools.CCC |
| :&&: | Proarrow.Optic |
| :**: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Category.Instance.Product |
| :*.: | |
| 1 (Type/Class) | Proarrow.Colimit.Copower |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :*: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Product |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Product |
| :++: | Proarrow.Category.Instance.Coproduct |
| :+: | Proarrow.Profunctor.Instance.Coproduct |
| :- | Proarrow.Category.Instance.Constraint |
| :-> | Proarrow.Category.Bicategory.LaxFunctor |
| :.: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Composition |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Composition |
| ::: | Proarrow.Category.Bicategory.Strictified |
| :=> | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Category.Instance.Constraint |
| :^: | |
| 1 (Type/Class) | Proarrow.Limit.Power |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :~> | Proarrow.Core |
| :~>: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Exponential |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |