| 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 |
| object | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| Objs | Proarrow.Object, Proarrow |
| ObLift | Proarrow.Profunctor.Free |
| ObLiftRetract | Proarrow.Profunctor.Free |
| ObRetract | Proarrow.Profunctor.Free |
| obs | Proarrow.Preorder |
| On | Proarrow.Category.Instance.Sub |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| 2 (Data Constructor) | Proarrow.Category.Opposite |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| 3 (Type/Class) | Proarrow.Category.Opposite |
| 4 (Data Constructor) | Proarrow.Category.Opposite |
| 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 |
| OpticCat | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| out | Proarrow.Profunctor.Fix |