unsafeFromInt | |
1 (Function) | Data.Type.Ordinal |
2 (Function) | Data.Type.Ordinal.Builtin |
3 (Function) | Data.Type.Ordinal.Peano |
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 |