| o | Proarrow.Profunctor.Instance.Composition |
| OB | Proarrow.Core |
| Ob | Proarrow.Core, Proarrow |
| Ob' | Proarrow.Core, Proarrow.Object, Proarrow |
| obCount | Proarrow.Category.Internal |
| obFromTestOb | Proarrow.Testing |
| ObId | Proarrow.Core, Proarrow |
| ObIx | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | Proarrow.Category.Monoidal.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| ObjDict | |
| 1 (Type/Class) | Proarrow.Object |
| 2 (Data Constructor) | Proarrow.Object |
| objDicts | Proarrow.Object |
| object | Proarrow.Squares |
| Objects | Proarrow.Category.Enriched.Thin |
| objId | Proarrow.Core, Proarrow |
| objIndex | Proarrow.Category.Enriched.Finitary |
| Objs | Proarrow.Object, Proarrow |
| obNum | Proarrow.Category.Internal |
| Obs | Proarrow.Category.Monoidal.Strictified |
| Omega | Proarrow.Category.Topos |
| On | Proarrow.Category.Instance.Sub |
| OnE | Proarrow.Category.Monoidal.EndoProf |
| one | Proarrow.Category.Monoidal |
| oneElem | Proarrow.Testing |
| oneOfTotal | Proarrow.Testing |
| oneState | Proarrow.Category.Instance.ZX |
| oneV | Proarrow.Category.Instance.Mat |
| Only | Proarrow.Category.Sheaf |
| OP | Proarrow.Category.Instance.Opposite |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| OpAction | Proarrow.Category.Monoidal.Action |
| OpConstraint | Proarrow.Optic |
| OpCorepresentable | Proarrow.Category.Instance.Rep |
| openTopology | Proarrow.Category.Topos |
| OpFlavor | Proarrow.Optic |
| OplaxMonoidal | Proarrow.Category.Monoidal |
| OplaxMonoidalRep | Proarrow.Category.Monoidal |
| OpLens | Proarrow.Optic.Prism |
| opOptic | Proarrow.Optic |
| OPPOSITE | Proarrow.Category.Instance.Opposite |
| OPT | Proarrow.Optic |
| optGen | Proarrow.Testing |
| OPTIC | Proarrow.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Optic, Proarrow.Optics, Proarrow |
| 2 (Data Constructor) | Proarrow.Optic |
| Optic' | Proarrow.Optic, Proarrow.Optics, Proarrow |
| Optic_ | Proarrow.Optic |
| OptL | Proarrow.Optic |
| OptR | Proarrow.Optic |
| or | Proarrow.Category.Topos |
| OrdAt | Proarrow.Category.Instance.Ordinal |
| ordAtOb | Proarrow.Category.Instance.Ordinal |
| ORDINAL | Proarrow.Category.Instance.Ordinal |
| ORDINAL0 | Proarrow.Category.Instance.Ordinal |
| ORDINAL1 | Proarrow.Category.Instance.Ordinal |
| ORDINAL2 | Proarrow.Category.Instance.Ordinal |
| ORDINAL3 | Proarrow.Category.Instance.Ordinal |
| OrdIndex | Proarrow.Category.Instance.Ordinal |
| OrdLeq | Proarrow.Category.Instance.Ordinal |
| OrdObjects | Proarrow.Category.Instance.Ordinal |
| ordSize | Proarrow.Category.Instance.Ordinal |
| OS | Proarrow.Category.Instance.Ordinal |
| out | Proarrow.Profunctor.Instance.Fix |
| outputs | Proarrow.Tools.Diagrams.Dot |
| over | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| overP | Proarrow.Optic.Setter |
| OZ | Proarrow.Category.Instance.Ordinal |