Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Natural
- integerToNatural :: Integer -> Natural
- naturalToInteger :: Natural -> Integer
Documentation
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS
constructor
Instances
integerToNatural :: Integer -> Natural Source #
naturalToInteger :: Natural -> Integer Source #