Safe Haskell	Safe-Inferred
Language	GHC2021

Integer.Signed

Contents

Type
Conversion
Arithmetic
- Increase
- One (1)

Synopsis

data Signed where
- Zero
- NonZero Sign Positive
- pattern Plus :: Positive -> Signed
- pattern Minus :: Positive -> Signed
- pattern NotPlus :: Natural -> Signed
- pattern NotMinus :: Natural -> Signed
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
increase :: Natural -> Signed -> Signed
strictlyIncrease :: Positive -> Signed -> Signed
one :: Signed
addOne :: Signed -> Signed
subtractOne :: Signed -> Signed

Type

data Signed Source #

Constructors

Zero
NonZero Sign Positive

Bundled Patterns

pattern Plus :: Positive -> Signed
pattern Minus :: Positive -> Signed
pattern NotPlus :: Natural -> Signed	A `Signed` that is either zero or negative; the `Natural` gives the magnitude of the negative
pattern NotMinus :: Natural -> Signed	A `Signed` that is either zero or positive

Instances

Instances details

Enum Signed Source #
Instance details Defined in Integer.Signed Methods succ :: Signed -> Signed # pred :: Signed -> Signed # toEnum :: Int -> Signed # fromEnum :: Signed -> Int # enumFrom :: Signed -> [Signed] # enumFromThen :: Signed -> Signed -> [Signed] # enumFromTo :: Signed -> Signed -> [Signed] # enumFromThenTo :: Signed -> Signed -> Signed -> [Signed] #
Num Signed Source #
Instance details Defined in Integer.Signed Methods (+) :: Signed -> Signed -> Signed # (-) :: Signed -> Signed -> Signed # (*) :: Signed -> Signed -> Signed # negate :: Signed -> Signed # abs :: Signed -> Signed # signum :: Signed -> Signed # fromInteger :: Integer -> Signed #
Integral Signed Source #
Instance details Defined in Integer.Signed Methods quot :: Signed -> Signed -> Signed # rem :: Signed -> Signed -> Signed # div :: Signed -> Signed -> Signed # mod :: Signed -> Signed -> Signed # quotRem :: Signed -> Signed -> (Signed, Signed) # divMod :: Signed -> Signed -> (Signed, Signed) # toInteger :: Signed -> Integer #
Real Signed Source #
Instance details Defined in Integer.Signed Methods toRational :: Signed -> Rational #
Show Signed Source #
Instance details Defined in Integer.Signed Methods showsPrec :: Int -> Signed -> ShowS # show :: Signed -> String # showList :: [Signed] -> ShowS #
NFData Signed Source #
Instance details Defined in Integer.Signed Methods rnf :: Signed -> () #
Eq Signed Source #
Instance details Defined in Integer.Signed Methods (==) :: Signed -> Signed -> Bool # (/=) :: Signed -> Signed -> Bool #
Ord Signed Source #
Instance details Defined in Integer.Signed Methods compare :: Signed -> Signed -> Ordering # (<) :: Signed -> Signed -> Bool # (<=) :: Signed -> Signed -> Bool # (>) :: Signed -> Signed -> Bool # (>=) :: Signed -> Signed -> Bool # max :: Signed -> Signed -> Signed # min :: Signed -> Signed -> Signed #
Hashable Signed Source #
Instance details Defined in Integer.Signed Methods hashWithSalt :: Int -> Signed -> Int # hash :: Signed -> Int #
ConvertWithFinite Signed Source #
Instance details Defined in Integer.Finite Methods toWord :: Signed -> Maybe Word Source # fromWord :: Word -> Maybe Signed Source # toInt :: Signed -> Maybe Int Source # fromInt :: Int -> Maybe Signed Source #
Increase Signed Source #
Instance details Defined in Integer.Increase Methods increase :: Natural -> Signed -> Signed Source #
StrictlyIncrease Signed Source #
Instance details Defined in Integer.StrictlyIncrease Methods strictlyIncrease :: Positive -> Signed -> Signed Source #
Subtraction Signed Source #
Instance details Defined in Integer.Subtraction Methods subtractInteger :: Signed -> Signed -> Integer Source # subtractSigned :: Signed -> Signed -> Signed Source #
Subtraction' Signed Source #
Instance details Defined in Integer.Subtraction Methods subtract :: Subtraction a => a -> a -> Signed Source #
AbsoluteDifference Positive Signed Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Positive -> Signed -> Natural Source #
AbsoluteDifference Signed Positive Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Signed -> Positive -> Natural Source #
AbsoluteDifference Signed Signed Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Signed -> Signed -> Natural Source #
AbsoluteDifference Signed Integer Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Signed -> Integer -> Natural Source #
AbsoluteDifference Signed Natural Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Signed -> Natural -> Natural Source #
AbsoluteDifference Integer Signed Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Integer -> Signed -> Natural Source #
AbsoluteDifference Natural Signed Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Natural -> Signed -> Natural Source #
IntegerConvert Positive Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Positive -> Signed Source #
IntegerConvert Signed Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Signed -> Signed Source #
IntegerConvert Signed Integer Source #
Instance details Defined in Integer.Conversion Methods convert :: Signed -> Integer Source #
IntegerConvert Integer Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Integer -> Signed Source #
IntegerConvert Natural Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Natural -> Signed Source #
IntegerEquiv Signed Signed Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Signed Integer Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Integer Signed Source #
Instance details Defined in Integer.Conversion
IntegerNarrow Positive Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Positive -> Maybe Signed Source #
IntegerNarrow Signed Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Positive Source #
IntegerNarrow Signed Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Signed Source #
IntegerNarrow Signed Integer Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Integer Source #
IntegerNarrow Signed Natural Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Natural Source #
IntegerNarrow Integer Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Signed Source #
IntegerNarrow Natural Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Signed Source #