Index - U
| unsafeFromInt | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| unsafeFromInt' | Data.Type.Ordinal |
| unsafeNaturalToOrd | |
| 1 (Function) | Data.Type.Ordinal |
| 2 (Function) | Data.Type.Ordinal.Builtin |
| 3 (Function) | Data.Type.Ordinal.Peano |
| unsafeNaturalToOrd' | Data.Type.Ordinal |
| unSingFun1 | Data.Type.Natural |
| unSingFun2 | Data.Type.Natural |
| unSingFun3 | Data.Type.Natural |
| unSingFun4 | Data.Type.Natural |
| unSingFun5 | Data.Type.Natural |
| unSingFun6 | Data.Type.Natural |
| unSingFun7 | Data.Type.Natural |
| unSingFun8 | Data.Type.Natural |