Safe Haskell | Trustworthy |
---|---|
Language | GHC2021 |
Synopsis
- data Natural
- subtract :: Natural -> Natural -> Signed
- toPositive :: Natural -> Maybe Positive
- fromPositive :: Positive -> Natural
- toInteger :: Natural -> Integer
- fromInteger :: Integer -> Maybe Natural
- toSigned :: Natural -> Signed
- fromSigned :: Signed -> Maybe Natural
- toInt :: Natural -> Maybe Int
- fromInt :: Int -> Maybe Natural
- toWord :: Natural -> Maybe Word
- fromWord :: Word -> Natural
- one :: Natural
- addOne :: Integer -> Integer
- subtractOne :: Natural -> Maybe Signed
Type
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS
constructor
Instances
Subtraction
Conversion
Positive
fromPositive :: Positive -> Natural Source #