| O | Proarrow.Category.Bicategory |
| o | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Profunctor.Composition |
| OB | Proarrow.Core |
| Ob | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
| Ob' | |
| 1 (Type/Class) | Proarrow.Object, Proarrow |
| 2 (Type/Class) | Proarrow.Category.Bicategory |
| Ob0 | Proarrow.Category.Bicategory |
| Ob0' | Proarrow.Category.Bicategory |
| ObDual | Proarrow.Object.Dual |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| object | Proarrow.Squares |
| Objs | Proarrow.Object, Proarrow |
| Ok | Proarrow.Category.Instance.Free |
| On | Proarrow.Category.Instance.Sub |
| one | Proarrow.Category.Instance.Mat |
| oneState | Proarrow.Category.Instance.ZX |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Opposite |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| opact | Proarrow.Category.Bicategory.Relative |
| Opalgebra | Proarrow.Category.Bicategory.Relative |
| OpCorepresentable | Proarrow.Category.Instance.Rep |
| OPK | Proarrow.Category.Bicategory.Op |
| OPPOSITE | Proarrow.Category.Opposite |
| OPT | Proarrow.Optic |
| OPTIC | Proarrow.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| 3 (Type/Class) | Proarrow.Squares |
| Optic' | Proarrow.Optic |
| Optic_ | Proarrow.Optic |
| OptL | Proarrow.Optic |
| OptR | Proarrow.Optic |
| out | Proarrow.Profunctor.Fix |
| outputs | Proarrow.Tools.Diagrams.Dot |
| over | Proarrow.Optic |