Index - :
| :&&&: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| :**: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Category.Instance.Product |
| :*: | |
| 1 (Type/Class) | Proarrow.Profunctor.Product |
| 2 (Data Constructor) | Proarrow.Profunctor.Product |
| :++: | Proarrow.Category.Instance.Coproduct |
| :+: | Proarrow.Profunctor.Coproduct |
| :- | Proarrow.Category.Instance.Constraint |
| :.: | |
| 1 (Type/Class) | Proarrow.Profunctor.Composition |
| 2 (Data Constructor) | Proarrow.Profunctor.Composition |
| ::: | Proarrow.Category.Bicategory |
| :=> | Proarrow.Category.Instance.Constraint |
| :| | Proarrow.Category.Instance.Free |
| :~> | Proarrow.Core |
| :~>: | Proarrow.Profunctor.Exponential |