Safe Haskell | None |
---|---|
Language | Haskell2010 |
Basement.Compat.Natural
- 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
Instances
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 # | |
IsNatural Natural # | |
IsIntegral Natural # | |
Subtractive Natural # | |
Additive Natural # | |
IDivisible Natural # | |
Multiplicative Natural # | |
NormalForm Natural # | |
IsNatural a => IntegralUpsize a Natural # | |
IntegralDownsize Integer Natural # | |
IntegralDownsize Natural Word8 # | |
IntegralDownsize Natural Word16 # | |
IntegralDownsize Natural Word32 # | |
IntegralDownsize Natural Word64 # | |
IsNatural n => From n Natural # | |
type Difference Natural # | |
integerToNatural :: Integer -> Natural #
naturalToInteger :: Natural -> Integer #