Index - +
| + | |
| 1 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| ++ | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| +++ | |
| 1 (Type/Class) | Proarrow.Path |
| 2 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 3 (Function) | Proarrow.Tools.Diagrams.Dot |
| +-> | Proarrow.Core, Proarrow |