Integer.Integer

Type

data Integer

Arbitrary precision integers. In contrast with fixed-size integral types such as Int, the Integer type represents the entire infinite range of integers.

Integers are stored in a kind of sign-magnitude form, hence do not expect two's complement form when using bit operations.

If the value is small (fit into an Int), IS constructor is used. Otherwise Integer and IN constructors are used to store a BigNat representing respectively the positive or the negative value magnitude.

Invariant: Integer and IN are used iff value doesn't fit in IS

Instances

Bits Integer

Since: base-2.1

Defined in GHC.Bits

Methods

(.&.) :: Integer -> Integer -> Integer

(.|.) :: Integer -> Integer -> Integer

xor :: Integer -> Integer -> Integer

complement :: Integer -> Integer

shift :: Integer -> Int -> Integer

rotate :: Integer -> Int -> Integer

zeroBits :: Integer

bit :: Int -> Integer

setBit :: Integer -> Int -> Integer

clearBit :: Integer -> Int -> Integer

complementBit :: Integer -> Int -> Integer

testBit :: Integer -> Int -> Bool

bitSizeMaybe :: Integer -> Maybe Int

bitSize :: Integer -> Int

isSigned :: Integer -> Bool

shiftL :: Integer -> Int -> Integer

unsafeShiftL :: Integer -> Int -> Integer

shiftR :: Integer -> Int -> Integer

unsafeShiftR :: Integer -> Int -> Integer

rotateL :: Integer -> Int -> Integer

rotateR :: Integer -> Int -> Integer

popCount :: Integer -> Int

Enum Integer

Since: base-2.1

Defined in GHC.Enum

Methods

succ :: Integer -> Integer

pred :: Integer -> Integer

toEnum :: Int -> Integer

fromEnum :: Integer -> Int

enumFrom :: Integer -> [Integer]

enumFromThen :: Integer -> Integer -> [Integer]

enumFromTo :: Integer -> Integer -> [Integer]

enumFromThenTo :: Integer -> Integer -> Integer -> [Integer]

Num Integer

Since: base-2.1

Defined in GHC.Num

Methods

(+) :: Integer -> Integer -> Integer

(-) :: Integer -> Integer -> Integer

(*) :: Integer -> Integer -> Integer

negate :: Integer -> Integer

abs :: Integer -> Integer

signum :: Integer -> Integer

fromInteger :: Integer -> Integer

Integral Integer

Since: base-2.0.1

Defined in GHC.Real

Methods

quot :: Integer -> Integer -> Integer

rem :: Integer -> Integer -> Integer

div :: Integer -> Integer -> Integer

mod :: Integer -> Integer -> Integer

quotRem :: Integer -> Integer -> (Integer, Integer)

divMod :: Integer -> Integer -> (Integer, Integer)

toInteger :: Integer -> Integer

Real Integer

Since: base-2.0.1

Defined in GHC.Real

Methods

toRational :: Integer -> Rational

Show Integer

Since: base-2.1

Defined in GHC.Show

Methods

showsPrec :: Int -> Integer -> ShowS

show :: Integer -> String

showList :: [Integer] -> ShowS

NFData Integer

Defined in Control.DeepSeq

Methods

rnf :: Integer -> ()

Eq Integer

Defined in GHC.Num.Integer

Methods

(==) :: Integer -> Integer -> Bool

(/=) :: Integer -> Integer -> Bool

Ord Integer

Defined in GHC.Num.Integer

Methods

compare :: Integer -> Integer -> Ordering

(<) :: Integer -> Integer -> Bool

(<=) :: Integer -> Integer -> Bool

(>) :: Integer -> Integer -> Bool

(>=) :: Integer -> Integer -> Bool

max :: Integer -> Integer -> Integer

min :: Integer -> Integer -> Integer

ConvertWithFinite Integer

Defined in Integer.Finite

Methods

toWord :: Integer -> Maybe Word

fromWord :: Word -> Maybe Integer

toInt :: Integer -> Maybe Int

fromInt :: Int -> Maybe Integer

Subtraction Integer

Defined in Integer.Subtraction

Methods

subtractInteger :: Integer -> Integer -> Integer

subtractSigned :: Integer -> Integer -> Signed

Subtraction' Integer

Defined in Integer.Subtraction

Methods

subtract :: Subtraction a => a -> a -> Integer

IntegerConvert Positive Integer

Defined in Integer.Conversion

Methods

convert :: Positive -> Integer

IntegerConvert Signed Integer

Defined in Integer.Conversion

Methods

convert :: Signed -> Integer

IntegerConvert Integer Signed

Defined in Integer.Conversion

Methods

convert :: Integer -> Signed

IntegerConvert Integer Integer

Defined in Integer.Conversion

Methods

convert :: Integer -> Integer

IntegerConvert Natural Integer

Defined in Integer.Conversion

Methods

convert :: Natural -> Integer

IntegerEquiv Signed Integer

Defined in Integer.Conversion

IntegerEquiv Integer Signed

Defined in Integer.Conversion

IntegerEquiv Integer Integer

Defined in Integer.Conversion

IntegerNarrow Positive Integer

Defined in Integer.Conversion

Methods

narrow :: Positive -> Maybe Integer

IntegerNarrow Signed Integer

Defined in Integer.Conversion

Methods

narrow :: Signed -> Maybe Integer

IntegerNarrow Integer Positive

Defined in Integer.Conversion

Methods

narrow :: Integer -> Maybe Positive

IntegerNarrow Integer Signed

Defined in Integer.Conversion

Methods

narrow :: Integer -> Maybe Signed

IntegerNarrow Integer Integer

Defined in Integer.Conversion

Methods

narrow :: Integer -> Maybe Integer

IntegerNarrow Integer Natural

Defined in Integer.Conversion

Methods

narrow :: Integer -> Maybe Natural

IntegerNarrow Natural Integer

Defined in Integer.Conversion

Methods

narrow :: Natural -> Maybe Integer

Conversion

Positive

toPositive :: Integer -> Maybe Positive

fromPositive :: Positive -> Integer

Natural

toNatural :: Integer -> Maybe Natural

fromNatural :: Natural -> Integer

Signed

toSigned :: Integer -> Signed

fromSigned :: Signed -> Integer

Int

toInt :: Integer -> Maybe Int

fromInt :: Int -> Integer

Word

toWord :: Integer -> Maybe Word

fromWord :: Word -> Integer