Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data Positive
- subtract :: Positive -> Positive -> Signed
- toNatural :: Positive -> Natural
- fromNatural :: Natural -> Maybe Positive
- toInteger :: Positive -> Integer
- fromInteger :: Integer -> Maybe Positive
- toSigned :: Positive -> Signed
- fromSigned :: Signed -> Maybe Positive
- toInt :: Positive -> Maybe Int
- fromInt :: Int -> Maybe Positive
- toWord :: Positive -> Maybe Word
- fromWord :: Word -> Maybe Positive
- one :: Positive
- addOne :: Positive -> Positive
- subtractOne :: Positive -> Natural
Type
Instances
Subtraction
Conversion
Natural
Integer
Signed
Int
Word
One (1)
subtractOne :: Positive -> Natural Source #