| O | Proarrow.Category.Bicategory |
| o | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Profunctor.Instance.Composition |
| O1 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| O2 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| 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.Category.Monoidal.StarAutonomous |
| 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 |
| 3 (Function) | Proarrow.Category.Monoidal.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| ObjDict | |
| 1 (Type/Class) | Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| objDicts | Proarrow.Object, Proarrow |
| object | Proarrow.Squares |
| Objs | Proarrow.Object, Proarrow |
| Obs | Proarrow.Category.Monoidal.Strictified |
| Ok | Proarrow.Category.Instance.Free |
| Omega | Proarrow.Category.Topos |
| On | Proarrow.Category.Instance.Sub |
| one | Proarrow.Category.Monoidal |
| oneState | Proarrow.Category.Instance.ZX |
| oneV | Proarrow.Category.Instance.Mat |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| opact | Proarrow.Category.Bicategory.Relative |
| OpAction | Proarrow.Category.Monoidal.Action |
| Opalgebra | Proarrow.Category.Bicategory.Relative |
| OpCorepresentable | Proarrow.Category.Instance.Rep |
| OPK | Proarrow.Category.Bicategory.Op |
| OPPOSITE | Proarrow.Category.Instance.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 |
| or | Proarrow.Category.Topos |
| out | Proarrow.Profunctor.Instance.Fix |
| outputs | Proarrow.Tools.Diagrams.Dot |
| over | Proarrow.Optic |