Index - U
| u32f32 | Data.Connection.Float, Data.Float |
| u32w64 | Data.Connection.Float, Data.Float |
| ugnsgn | Data.Dioid.Signed |
| Ulp32 | |
| 1 (Type/Class) | Data.Connection.Float, Data.Float |
| 2 (Data Constructor) | Data.Connection.Float, Data.Float |
| ulp32Nan | Data.Connection.Float, Data.Float |
| ulpDelta | Data.Float |
| ulpDelta' | Data.Float |
| ulpDistance | Data.Float |
| ulps | Data.Float |
| unit | Data.Connection |
| unitl | Data.Connection |
| unitr | Data.Connection |
| unJoin | Data.Prd.Lattice |
| unMeet | Data.Prd.Lattice |
| Unsigned | |
| 1 (Type/Class) | Data.Dioid.Signed |
| 2 (Data Constructor) | Data.Dioid.Signed |
| unSigned | Data.Dioid.Signed |
| unsigned | Data.Dioid.Signed |
| unsigned32 | Data.Connection.Float, Data.Float |
| until | Data.Prd |
| unUlp32 | Data.Connection.Float, Data.Float |
| upper | |
| 1 (Function) | Data.Connection.Yoneda |
| 2 (Function) | Data.Semigroup.Quantale |
| upset | Data.Dioid.Interval |