| 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 |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | Proarrow.Category.Bicategory.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| object | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares, Proarrow |
| Objs | Proarrow.Object, Proarrow |
| Ok | Proarrow.Category.Instance.Free |
| On | Proarrow.Category.Instance.Sub |
| 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 |
| OPK | Proarrow.Category.Bicategory.Op |
| OPPOSITE | Proarrow.Category.Opposite |
| OPT | Proarrow.Category.Monoidal.Optic |
| OPTIC | Proarrow.Category.Monoidal.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| 3 (Type/Class) | Proarrow.Squares, Proarrow |
| OpticCat | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| OptL | Proarrow.Category.Monoidal.Optic |
| OptR | Proarrow.Category.Monoidal.Optic |
| out | Proarrow.Profunctor.Fix |