Index - U
| u32f32 | Data.Connection.Float, Data.Float |
| u32w64 | Data.Connection.Float, Data.Float |
| 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 |
| unsigned32 | Data.Connection.Float, Data.Float |
| until | Data.Prd |
| unUlp32 | Data.Connection.Float, Data.Float |
| upper | Data.Connection.Yoneda |