Index - O
| O | OAlg.Data.Symbol |
| oalgExceptionFromException | OAlg.Control.Exception, OAlg.Prelude |
| oalgExceptionToException | OAlg.Control.Exception, OAlg.Prelude |
| Object | OAlg.Entity.Definition, OAlg.Prelude |
| ObjectClass | OAlg.Category.Definition, OAlg.Prelude, OAlg.Prelude |
| ObjectKernelCokernel | OAlg.Limes.Exact.Deviation |
| omap | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| omapDisj | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Omega | OAlg.Data.X, OAlg.Prelude |
| One | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| one | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| one' | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| Op | |
| 1 (Type/Class) | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| Op2 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| Opl | OAlg.Structure.Operational |
| opower | OAlg.Structure.Exponential |
| opposite | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Opr | OAlg.Structure.Operational |
| Or | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| or | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Ord | OAlg.Data.Ord, OAlg.Prelude |
| Ord' | OAlg.Structure.Definition, OAlg.Prelude |
| Ordering | OAlg.Data.Ord, OAlg.Prelude |
| OrderingI | OAlg.Data.TypeLits |
| OrdPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrdRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Orientation | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| orientation | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Oriented | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrientedOpl | OAlg.Structure.Operational |
| OrientedOpr | OAlg.Structure.Operational |
| Ornt | |
| 1 (Type/Class) | OAlg.Data.Ornt |
| 2 (Data Constructor) | OAlg.Data.Ornt |
| orntAppl | OAlg.Data.Ornt |
| OrntMap | OAlg.Data.Ornt |
| Ort | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrtSiteX | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| OrtX | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OS | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| otherwise | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |