Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data Signed where
- toInteger :: Signed -> Integer
- fromInteger :: Integer -> Signed
- toNatural :: Signed -> Maybe Natural
- fromNatural :: Natural -> Signed
- toPositive :: Signed -> Maybe Positive
- fromPositive :: Positive -> Signed
- toInt :: Signed -> Maybe Int
- fromInt :: Int -> Signed
- toWord :: Signed -> Maybe Word
- fromWord :: Word -> Signed
Type
pattern Plus :: Positive -> Signed | |
pattern Minus :: Positive -> Signed | |
pattern NotPlus :: Natural -> Signed | A |
pattern NotMinus :: Natural -> Signed | A |
Instances
Conversion
Integer
fromInteger :: Integer -> Signed Source #
Natural
fromNatural :: Natural -> Signed Source #
Positive
fromPositive :: Positive -> Signed Source #