integer-types-0.1.0.0: Integer, Natural, and Positive
Safe HaskellSafe-Inferred
LanguageGHC2021

Integer.Signed

Synopsis

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

Num Signed Source # 
Instance details

Defined in Integer.Signed

Integral Signed Source # 
Instance details

Defined in Integer.Signed

Real Signed Source # 
Instance details

Defined in Integer.Signed

Show Signed Source # 
Instance details

Defined in Integer.Signed

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

ConvertWithFinite Signed Source # 
Instance details

Defined in Integer.Finite

Subtraction Signed Source # 
Instance details

Defined in Integer.Subtraction

Subtraction' Signed Source # 
Instance details

Defined in Integer.Subtraction

Methods

subtract :: Subtraction a => a -> a -> Signed Source #

IntegerConvert Positive Signed Source # 
Instance details

Defined in Integer.Conversion

IntegerConvert Signed Signed Source # 
Instance details

Defined in Integer.Conversion

IntegerConvert Signed Integer Source # 
Instance details

Defined in Integer.Conversion

IntegerConvert Integer Signed Source # 
Instance details

Defined in Integer.Conversion

IntegerConvert Natural Signed Source # 
Instance details

Defined in Integer.Conversion

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

IntegerNarrow Signed Positive Source # 
Instance details

Defined in Integer.Conversion

IntegerNarrow Signed Signed Source # 
Instance details

Defined in Integer.Conversion

IntegerNarrow Signed Integer Source # 
Instance details

Defined in Integer.Conversion

IntegerNarrow Signed Natural Source # 
Instance details

Defined in Integer.Conversion

IntegerNarrow Integer Signed Source # 
Instance details

Defined in Integer.Conversion

IntegerNarrow Natural Signed Source # 
Instance details

Defined in Integer.Conversion

Conversion

Integer

Natural

Positive

Int

Word