Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Natural :: *
- integerToNatural :: Integer -> Natural
- naturalToInteger :: Natural -> Integer
Documentation
Type representing arbitrary-precision non-negative integers.
Operations whose result would be negative
.throw
(Underflow
:: ArithException
)
Since: 4.8.0.0
Enum Natural | Since: 4.8.0.0 |
Eq Natural | |
Integral Natural | Since: 4.8.0.0 |
Data Natural | Since: 4.8.0.0 |
Num Natural | Since: 4.8.0.0 |
Ord Natural | |
Read Natural | Since: 4.8.0.0 |
Real Natural | Since: 4.8.0.0 |
Show Natural | Since: 4.8.0.0 |
Ix Natural | Since: 4.8.0.0 |
Bits Natural | Since: 4.8.0.0 |
Integral Natural Source # | |
IsNatural Natural Source # | |
IsIntegral Natural Source # | |
Subtractive Natural Source # | |
Additive Natural Source # | |
IDivisible Natural Source # | |
Multiplicative Natural Source # | |
NormalForm Natural Source # | |
IsNatural a => IntegralUpsize a Natural Source # | |
IntegralDownsize Integer Natural Source # | |
IntegralDownsize Natural Word8 Source # | |
IntegralDownsize Natural Word16 Source # | |
IntegralDownsize Natural Word32 Source # | |
IntegralDownsize Natural Word64 Source # | |
IsNatural n => From n Natural Source # | |
type Difference Natural Source # | |
integerToNatural :: Integer -> Natural Source #
naturalToInteger :: Natural -> Integer Source #