| A | OAlg.Data.Symbol |
| Abelian | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Abl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| abs | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Action | |
| 1 (Type/Class) | OAlg.Control.Action |
| 2 (Data Constructor) | OAlg.Control.Action |
| Acyclic | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Adbl2 | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| Adbl3 | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| Add | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Additive | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| adjHomMlt | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjl | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjr | OAlg.Adjunction.Definition, OAlg.Adjunction |
| Adjunction | |
| 1 (Type/Class) | OAlg.Adjunction.Definition, OAlg.Adjunction |
| 2 (Data Constructor) | OAlg.Adjunction.Definition, OAlg.Adjunction |
| Alg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| Algebraic | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| AlgebraicException | |
| 1 (Type/Class) | OAlg.Control.Exception, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Exception, OAlg.Prelude |
| amap | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| amap1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| And | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| and | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Any | OAlg.Entity.Natural |
| AppendSymbol | OAlg.Data.TypeLits |
| Applicative | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| Applicative1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| ArithmeticException | OAlg.Structure.Exception |
| aspCnstr | OAlg.Data.X, OAlg.Prelude |
| Ats | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| attest | OAlg.Entity.Natural |
| Attestable | OAlg.Entity.Natural |