Index - U
| U | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 3 (Data Constructor) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Unchanged | OAlg.Data.Reducible |
| UnconsSymbol | OAlg.Data.TypeLits |
| uncurry | OAlg.Category.Definition, OAlg.Prelude |
| uncurry3 | OAlg.Category.Definition, OAlg.Prelude |
| Undefined | OAlg.Control.Exception, OAlg.Prelude |
| undefined | OAlg.Prelude |
| UndefinedScalarproduct | OAlg.Structure.Exception |
| unit | OAlg.Data.Singleton |
| unit1 | OAlg.Data.Singleton |
| unitl | OAlg.Adjunction.Definition, OAlg.Adjunction |
| unitr | OAlg.Adjunction.Definition, OAlg.Adjunction |
| universalCone | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| universalDiagram | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| universalFactor | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |