W3cubDocs

/Haskell 9

Data.Int

Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	[email protected]
Stability	stable
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Signed integer types
Notes

Description

Signed integer types

data Int Source

A fixed-precision integer type with at least the range [-2^29 .. 2^29-1]. The exact range for a given implementation can be determined by using minBound and maxBound from the Bounded class.

Instances

Instances details

PrintfArg Int Source

Since: base-2.1

Instance details

Defined in Text.Printf

Methods

formatArg :: Int -> FieldFormatter Source

parseFormat :: Int -> ModifierParser Source

Bits Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Bits

Methods

(.&.) :: Int -> Int -> Int Source

(.|.) :: Int -> Int -> Int Source

xor :: Int -> Int -> Int Source

complement :: Int -> Int Source

shift :: Int -> Int -> Int Source

rotate :: Int -> Int -> Int Source

zeroBits :: Int Source

bit :: Int -> Int Source

setBit :: Int -> Int -> Int Source

clearBit :: Int -> Int -> Int Source

complementBit :: Int -> Int -> Int Source

testBit :: Int -> Int -> Bool Source

bitSizeMaybe :: Int -> Maybe Int Source

bitSize :: Int -> Int Source

isSigned :: Int -> Bool Source

shiftL :: Int -> Int -> Int Source

unsafeShiftL :: Int -> Int -> Int Source

shiftR :: Int -> Int -> Int Source

unsafeShiftR :: Int -> Int -> Int Source

rotateL :: Int -> Int -> Int Source

rotateR :: Int -> Int -> Int Source

popCount :: Int -> Int Source

FiniteBits Int Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Bits

Methods

finiteBitSize :: Int -> Int Source

countLeadingZeros :: Int -> Int Source

countTrailingZeros :: Int -> Int Source

Data Int Source

Since: base-4.0.0.0

Instance details

Defined in GHC.Internal.Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int -> c Int Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int Source

toConstr :: Int -> Constr Source

dataTypeOf :: Int -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int) Source

gmapT :: (forall b. Data b => b -> b) -> Int -> Int Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Int -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int -> m Int Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int -> m Int Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int -> m Int Source

Bounded Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Methods

minBound :: Int Source

maxBound :: Int Source

Enum Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Methods

succ :: Int -> Int Source

pred :: Int -> Int Source

toEnum :: Int -> Int Source

fromEnum :: Int -> Int Source

enumFrom :: Int -> [Int] Source

enumFromThen :: Int -> Int -> [Int] Source

enumFromTo :: Int -> Int -> [Int] Source

enumFromThenTo :: Int -> Int -> Int -> [Int] Source

Storable Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Int -> Int Source

alignment :: Int -> Int Source

peekElemOff :: Ptr Int -> Int -> IO Int Source

pokeElemOff :: Ptr Int -> Int -> Int -> IO () Source

peekByteOff :: Ptr b -> Int -> IO Int Source

pokeByteOff :: Ptr b -> Int -> Int -> IO () Source

peek :: Ptr Int -> IO Int Source

poke :: Ptr Int -> Int -> IO () Source

Ix Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Ix

Methods

range :: (Int, Int) -> [Int] Source

index :: (Int, Int) -> Int -> Int Source

unsafeIndex :: (Int, Int) -> Int -> Int Source

inRange :: (Int, Int) -> Int -> Bool Source

rangeSize :: (Int, Int) -> Int Source

unsafeRangeSize :: (Int, Int) -> Int Source

Num Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Num

Methods

(+) :: Int -> Int -> Int Source

(-) :: Int -> Int -> Int Source

(*) :: Int -> Int -> Int Source

negate :: Int -> Int Source

abs :: Int -> Int Source

signum :: Int -> Int Source

fromInteger :: Integer -> Int Source

Read Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Int Source

readList :: ReadS [Int] Source

readPrec :: ReadPrec Int Source

readListPrec :: ReadPrec [Int] Source

Integral Int Source

Since: base-2.0.1

Instance details

Defined in GHC.Internal.Real

Methods

quot :: Int -> Int -> Int Source

rem :: Int -> Int -> Int Source

div :: Int -> Int -> Int Source

mod :: Int -> Int -> Int Source

quotRem :: Int -> Int -> (Int, Int) Source

divMod :: Int -> Int -> (Int, Int) Source

toInteger :: Int -> Integer Source

Real Int Source

Since: base-2.0.1

Instance details

Defined in GHC.Internal.Real

Methods

toRational :: Int -> Rational Source

Show Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Show

Methods

showsPrec :: Int -> Int -> ShowS Source

show :: Int -> String Source

showList :: [Int] -> ShowS Source

Eq Int Source

Instance details

Defined in GHC.Classes

Methods

(==) :: Int -> Int -> Bool Source

(/=) :: Int -> Int -> Bool Source

Ord Int Source

Instance details

Defined in GHC.Classes

Methods

compare :: Int -> Int -> Ordering Source

(<) :: Int -> Int -> Bool Source

(<=) :: Int -> Int -> Bool Source

(>) :: Int -> Int -> Bool Source

(>=) :: Int -> Int -> Bool Source

max :: Int -> Int -> Int Source

min :: Int -> Int -> Int Source

Lift Int Source

Instance details

Defined in GHC.Internal.TH.Lift

Methods

lift :: Quote m => Int -> m Exp Source

liftTyped :: forall (m :: Type -> Type). Quote m => Int -> Code m Int Source

Generic1 (URec Int :: k -> Type) Source

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Int :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Type) a Source

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Type) a -> URec Int a Source

Eq1 (UInt :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Source

Ord1 (UInt :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Source

Show1 (UInt :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UInt a -> ShowS Source

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UInt a] -> ShowS Source

Foldable (UInt :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UInt m -> m Source

foldMap :: Monoid m => (a -> m) -> UInt a -> m Source

foldMap' :: Monoid m => (a -> m) -> UInt a -> m Source

foldr :: (a -> b -> b) -> b -> UInt a -> b Source

foldr' :: (a -> b -> b) -> b -> UInt a -> b Source

foldl :: (b -> a -> b) -> b -> UInt a -> b Source

foldl' :: (b -> a -> b) -> b -> UInt a -> b Source

foldr1 :: (a -> a -> a) -> UInt a -> a Source

foldl1 :: (a -> a -> a) -> UInt a -> a Source

toList :: UInt a -> [a] Source

null :: UInt a -> Bool Source

length :: UInt a -> Int Source

elem :: Eq a => a -> UInt a -> Bool Source

maximum :: Ord a => UInt a -> a Source

minimum :: Ord a => UInt a -> a Source

sum :: Num a => UInt a -> a Source

product :: Num a => UInt a -> a Source

Traversable (UInt :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> UInt a -> f (UInt b) Source

sequenceA :: Applicative f => UInt (f a) -> f (UInt a) Source

mapM :: Monad m => (a -> m b) -> UInt a -> m (UInt b) Source

sequence :: Monad m => UInt (m a) -> m (UInt a) Source

Functor (URec Int :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

fmap :: (a -> b) -> URec Int a -> URec Int b Source

(<$) :: a -> URec Int b -> URec Int a Source

Generic (URec Int p) Source

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

Methods

from :: URec Int p -> Rep (URec Int p) x Source

to :: Rep (URec Int p) x -> URec Int p Source

Show (URec Int p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

showsPrec :: Int -> URec Int p -> ShowS Source

show :: URec Int p -> String Source

showList :: [URec Int p] -> ShowS Source

Eq (URec Int p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

(==) :: URec Int p -> URec Int p -> Bool Source

(/=) :: URec Int p -> URec Int p -> Bool Source

Ord (URec Int p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Int p -> URec Int p -> Ordering Source

(<) :: URec Int p -> URec Int p -> Bool Source

(<=) :: URec Int p -> URec Int p -> Bool Source

(>) :: URec Int p -> URec Int p -> Bool Source

(>=) :: URec Int p -> URec Int p -> Bool Source

max :: URec Int p -> URec Int p -> URec Int p Source

min :: URec Int p -> URec Int p -> URec Int p Source

data URec Int (p :: k) Source

Used for marking occurrences of Int#

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

data URec Int (p :: k) = UInt {

uInt# :: Int#

}

type Rep1 (URec Int :: k -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

type Rep (URec Int p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

data Int8 Source

8-bit signed integer type

Instances

Instances details

PrintfArg Int8 Source	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int8 -> FieldFormatter Source parseFormat :: Int8 -> ModifierParser Source
Bits Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (.&.) :: Int8 -> Int8 -> Int8 Source (.\|.) :: Int8 -> Int8 -> Int8 Source xor :: Int8 -> Int8 -> Int8 Source complement :: Int8 -> Int8 Source shift :: Int8 -> Int -> Int8 Source rotate :: Int8 -> Int -> Int8 Source zeroBits :: Int8 Source bit :: Int -> Int8 Source setBit :: Int8 -> Int -> Int8 Source clearBit :: Int8 -> Int -> Int8 Source complementBit :: Int8 -> Int -> Int8 Source testBit :: Int8 -> Int -> Bool Source bitSizeMaybe :: Int8 -> Maybe Int Source bitSize :: Int8 -> Int Source isSigned :: Int8 -> Bool Source shiftL :: Int8 -> Int -> Int8 Source unsafeShiftL :: Int8 -> Int -> Int8 Source shiftR :: Int8 -> Int -> Int8 Source unsafeShiftR :: Int8 -> Int -> Int8 Source rotateL :: Int8 -> Int -> Int8 Source rotateR :: Int8 -> Int -> Int8 Source popCount :: Int8 -> Int Source
FiniteBits Int8 Source	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int8 -> Int Source countLeadingZeros :: Int8 -> Int Source countTrailingZeros :: Int8 -> Int Source
Data Int8 Source	Since: base-4.0.0.0
Instance details Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int8 -> c Int8 Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int8 Source toConstr :: Int8 -> Constr Source dataTypeOf :: Int8 -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int8) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int8) Source gmapT :: (forall b. Data b => b -> b) -> Int8 -> Int8 Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Source gmapQ :: (forall d. Data d => d -> u) -> Int8 -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Int8 -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Source
Bounded Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods minBound :: Int8 Source maxBound :: Int8 Source
Enum Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods succ :: Int8 -> Int8 Source pred :: Int8 -> Int8 Source toEnum :: Int -> Int8 Source fromEnum :: Int8 -> Int Source enumFrom :: Int8 -> [Int8] Source enumFromThen :: Int8 -> Int8 -> [Int8] Source enumFromTo :: Int8 -> Int8 -> [Int8] Source enumFromThenTo :: Int8 -> Int8 -> Int8 -> [Int8] Source
Storable Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Int8 -> Int Source alignment :: Int8 -> Int Source peekElemOff :: Ptr Int8 -> Int -> IO Int8 Source pokeElemOff :: Ptr Int8 -> Int -> Int8 -> IO () Source peekByteOff :: Ptr b -> Int -> IO Int8 Source pokeByteOff :: Ptr b -> Int -> Int8 -> IO () Source peek :: Ptr Int8 -> IO Int8 Source poke :: Ptr Int8 -> Int8 -> IO () Source
Ix Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int8, Int8) -> [Int8] Source index :: (Int8, Int8) -> Int8 -> Int Source unsafeIndex :: (Int8, Int8) -> Int8 -> Int Source inRange :: (Int8, Int8) -> Int8 -> Bool Source rangeSize :: (Int8, Int8) -> Int Source unsafeRangeSize :: (Int8, Int8) -> Int Source
Num Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (+) :: Int8 -> Int8 -> Int8 Source (-) :: Int8 -> Int8 -> Int8 Source (*) :: Int8 -> Int8 -> Int8 Source negate :: Int8 -> Int8 Source abs :: Int8 -> Int8 Source signum :: Int8 -> Int8 Source fromInteger :: Integer -> Int8 Source
Read Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int8 Source readList :: ReadS [Int8] Source readPrec :: ReadPrec Int8 Source readListPrec :: ReadPrec [Int8] Source
Integral Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods quot :: Int8 -> Int8 -> Int8 Source rem :: Int8 -> Int8 -> Int8 Source div :: Int8 -> Int8 -> Int8 Source mod :: Int8 -> Int8 -> Int8 Source quotRem :: Int8 -> Int8 -> (Int8, Int8) Source divMod :: Int8 -> Int8 -> (Int8, Int8) Source toInteger :: Int8 -> Integer Source
Real Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods toRational :: Int8 -> Rational Source
Show Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int8 -> ShowS Source show :: Int8 -> String Source showList :: [Int8] -> ShowS Source
Eq Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (==) :: Int8 -> Int8 -> Bool Source (/=) :: Int8 -> Int8 -> Bool Source
Ord Int8 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods compare :: Int8 -> Int8 -> Ordering Source (<) :: Int8 -> Int8 -> Bool Source (<=) :: Int8 -> Int8 -> Bool Source (>) :: Int8 -> Int8 -> Bool Source (>=) :: Int8 -> Int8 -> Bool Source max :: Int8 -> Int8 -> Int8 Source min :: Int8 -> Int8 -> Int8 Source
Lift Int8 Source
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int8 -> m Exp Source liftTyped :: forall (m :: Type -> Type). Quote m => Int8 -> Code m Int8 Source

data Int16 Source

16-bit signed integer type

Instances

Instances details

PrintfArg Int16 Source	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int16 -> FieldFormatter Source parseFormat :: Int16 -> ModifierParser Source
Bits Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (.&.) :: Int16 -> Int16 -> Int16 Source (.\|.) :: Int16 -> Int16 -> Int16 Source xor :: Int16 -> Int16 -> Int16 Source complement :: Int16 -> Int16 Source shift :: Int16 -> Int -> Int16 Source rotate :: Int16 -> Int -> Int16 Source zeroBits :: Int16 Source bit :: Int -> Int16 Source setBit :: Int16 -> Int -> Int16 Source clearBit :: Int16 -> Int -> Int16 Source complementBit :: Int16 -> Int -> Int16 Source testBit :: Int16 -> Int -> Bool Source bitSizeMaybe :: Int16 -> Maybe Int Source bitSize :: Int16 -> Int Source isSigned :: Int16 -> Bool Source shiftL :: Int16 -> Int -> Int16 Source unsafeShiftL :: Int16 -> Int -> Int16 Source shiftR :: Int16 -> Int -> Int16 Source unsafeShiftR :: Int16 -> Int -> Int16 Source rotateL :: Int16 -> Int -> Int16 Source rotateR :: Int16 -> Int -> Int16 Source popCount :: Int16 -> Int Source
FiniteBits Int16 Source	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int16 -> Int Source countLeadingZeros :: Int16 -> Int Source countTrailingZeros :: Int16 -> Int Source
Data Int16 Source	Since: base-4.0.0.0
Instance details Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int16 -> c Int16 Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int16 Source toConstr :: Int16 -> Constr Source dataTypeOf :: Int16 -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int16) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int16) Source gmapT :: (forall b. Data b => b -> b) -> Int16 -> Int16 Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Source gmapQ :: (forall d. Data d => d -> u) -> Int16 -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Int16 -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Source
Bounded Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods minBound :: Int16 Source maxBound :: Int16 Source
Enum Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods succ :: Int16 -> Int16 Source pred :: Int16 -> Int16 Source toEnum :: Int -> Int16 Source fromEnum :: Int16 -> Int Source enumFrom :: Int16 -> [Int16] Source enumFromThen :: Int16 -> Int16 -> [Int16] Source enumFromTo :: Int16 -> Int16 -> [Int16] Source enumFromThenTo :: Int16 -> Int16 -> Int16 -> [Int16] Source
Storable Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Int16 -> Int Source alignment :: Int16 -> Int Source peekElemOff :: Ptr Int16 -> Int -> IO Int16 Source pokeElemOff :: Ptr Int16 -> Int -> Int16 -> IO () Source peekByteOff :: Ptr b -> Int -> IO Int16 Source pokeByteOff :: Ptr b -> Int -> Int16 -> IO () Source peek :: Ptr Int16 -> IO Int16 Source poke :: Ptr Int16 -> Int16 -> IO () Source
Ix Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int16, Int16) -> [Int16] Source index :: (Int16, Int16) -> Int16 -> Int Source unsafeIndex :: (Int16, Int16) -> Int16 -> Int Source inRange :: (Int16, Int16) -> Int16 -> Bool Source rangeSize :: (Int16, Int16) -> Int Source unsafeRangeSize :: (Int16, Int16) -> Int Source
Num Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (+) :: Int16 -> Int16 -> Int16 Source (-) :: Int16 -> Int16 -> Int16 Source (*) :: Int16 -> Int16 -> Int16 Source negate :: Int16 -> Int16 Source abs :: Int16 -> Int16 Source signum :: Int16 -> Int16 Source fromInteger :: Integer -> Int16 Source
Read Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int16 Source readList :: ReadS [Int16] Source readPrec :: ReadPrec Int16 Source readListPrec :: ReadPrec [Int16] Source
Integral Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods quot :: Int16 -> Int16 -> Int16 Source rem :: Int16 -> Int16 -> Int16 Source div :: Int16 -> Int16 -> Int16 Source mod :: Int16 -> Int16 -> Int16 Source quotRem :: Int16 -> Int16 -> (Int16, Int16) Source divMod :: Int16 -> Int16 -> (Int16, Int16) Source toInteger :: Int16 -> Integer Source
Real Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods toRational :: Int16 -> Rational Source
Show Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int16 -> ShowS Source show :: Int16 -> String Source showList :: [Int16] -> ShowS Source
Eq Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (==) :: Int16 -> Int16 -> Bool Source (/=) :: Int16 -> Int16 -> Bool Source
Ord Int16 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods compare :: Int16 -> Int16 -> Ordering Source (<) :: Int16 -> Int16 -> Bool Source (<=) :: Int16 -> Int16 -> Bool Source (>) :: Int16 -> Int16 -> Bool Source (>=) :: Int16 -> Int16 -> Bool Source max :: Int16 -> Int16 -> Int16 Source min :: Int16 -> Int16 -> Int16 Source
Lift Int16 Source
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int16 -> m Exp Source liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16 Source

data Int32 Source

32-bit signed integer type

Instances

Instances details

PrintfArg Int32 Source	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int32 -> FieldFormatter Source parseFormat :: Int32 -> ModifierParser Source
Bits Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (.&.) :: Int32 -> Int32 -> Int32 Source (.\|.) :: Int32 -> Int32 -> Int32 Source xor :: Int32 -> Int32 -> Int32 Source complement :: Int32 -> Int32 Source shift :: Int32 -> Int -> Int32 Source rotate :: Int32 -> Int -> Int32 Source zeroBits :: Int32 Source bit :: Int -> Int32 Source setBit :: Int32 -> Int -> Int32 Source clearBit :: Int32 -> Int -> Int32 Source complementBit :: Int32 -> Int -> Int32 Source testBit :: Int32 -> Int -> Bool Source bitSizeMaybe :: Int32 -> Maybe Int Source bitSize :: Int32 -> Int Source isSigned :: Int32 -> Bool Source shiftL :: Int32 -> Int -> Int32 Source unsafeShiftL :: Int32 -> Int -> Int32 Source shiftR :: Int32 -> Int -> Int32 Source unsafeShiftR :: Int32 -> Int -> Int32 Source rotateL :: Int32 -> Int -> Int32 Source rotateR :: Int32 -> Int -> Int32 Source popCount :: Int32 -> Int Source
FiniteBits Int32 Source	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int32 -> Int Source countLeadingZeros :: Int32 -> Int Source countTrailingZeros :: Int32 -> Int Source
Data Int32 Source	Since: base-4.0.0.0
Instance details Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int32 -> c Int32 Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int32 Source toConstr :: Int32 -> Constr Source dataTypeOf :: Int32 -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int32) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int32) Source gmapT :: (forall b. Data b => b -> b) -> Int32 -> Int32 Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Source gmapQ :: (forall d. Data d => d -> u) -> Int32 -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Int32 -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Source
Bounded Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods minBound :: Int32 Source maxBound :: Int32 Source
Enum Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods succ :: Int32 -> Int32 Source pred :: Int32 -> Int32 Source toEnum :: Int -> Int32 Source fromEnum :: Int32 -> Int Source enumFrom :: Int32 -> [Int32] Source enumFromThen :: Int32 -> Int32 -> [Int32] Source enumFromTo :: Int32 -> Int32 -> [Int32] Source enumFromThenTo :: Int32 -> Int32 -> Int32 -> [Int32] Source
Storable Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Int32 -> Int Source alignment :: Int32 -> Int Source peekElemOff :: Ptr Int32 -> Int -> IO Int32 Source pokeElemOff :: Ptr Int32 -> Int -> Int32 -> IO () Source peekByteOff :: Ptr b -> Int -> IO Int32 Source pokeByteOff :: Ptr b -> Int -> Int32 -> IO () Source peek :: Ptr Int32 -> IO Int32 Source poke :: Ptr Int32 -> Int32 -> IO () Source
Ix Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int32, Int32) -> [Int32] Source index :: (Int32, Int32) -> Int32 -> Int Source unsafeIndex :: (Int32, Int32) -> Int32 -> Int Source inRange :: (Int32, Int32) -> Int32 -> Bool Source rangeSize :: (Int32, Int32) -> Int Source unsafeRangeSize :: (Int32, Int32) -> Int Source
Num Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (+) :: Int32 -> Int32 -> Int32 Source (-) :: Int32 -> Int32 -> Int32 Source (*) :: Int32 -> Int32 -> Int32 Source negate :: Int32 -> Int32 Source abs :: Int32 -> Int32 Source signum :: Int32 -> Int32 Source fromInteger :: Integer -> Int32 Source
Read Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int32 Source readList :: ReadS [Int32] Source readPrec :: ReadPrec Int32 Source readListPrec :: ReadPrec [Int32] Source
Integral Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods quot :: Int32 -> Int32 -> Int32 Source rem :: Int32 -> Int32 -> Int32 Source div :: Int32 -> Int32 -> Int32 Source mod :: Int32 -> Int32 -> Int32 Source quotRem :: Int32 -> Int32 -> (Int32, Int32) Source divMod :: Int32 -> Int32 -> (Int32, Int32) Source toInteger :: Int32 -> Integer Source
Real Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods toRational :: Int32 -> Rational Source
Show Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int32 -> ShowS Source show :: Int32 -> String Source showList :: [Int32] -> ShowS Source
Eq Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (==) :: Int32 -> Int32 -> Bool Source (/=) :: Int32 -> Int32 -> Bool Source
Ord Int32 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods compare :: Int32 -> Int32 -> Ordering Source (<) :: Int32 -> Int32 -> Bool Source (<=) :: Int32 -> Int32 -> Bool Source (>) :: Int32 -> Int32 -> Bool Source (>=) :: Int32 -> Int32 -> Bool Source max :: Int32 -> Int32 -> Int32 Source min :: Int32 -> Int32 -> Int32 Source
Lift Int32 Source
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int32 -> m Exp Source liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32 Source

data Int64 Source

64-bit signed integer type

Instances

Instances details

PrintfArg Int64 Source	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int64 -> FieldFormatter Source parseFormat :: Int64 -> ModifierParser Source
Bits Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (.&.) :: Int64 -> Int64 -> Int64 Source (.\|.) :: Int64 -> Int64 -> Int64 Source xor :: Int64 -> Int64 -> Int64 Source complement :: Int64 -> Int64 Source shift :: Int64 -> Int -> Int64 Source rotate :: Int64 -> Int -> Int64 Source zeroBits :: Int64 Source bit :: Int -> Int64 Source setBit :: Int64 -> Int -> Int64 Source clearBit :: Int64 -> Int -> Int64 Source complementBit :: Int64 -> Int -> Int64 Source testBit :: Int64 -> Int -> Bool Source bitSizeMaybe :: Int64 -> Maybe Int Source bitSize :: Int64 -> Int Source isSigned :: Int64 -> Bool Source shiftL :: Int64 -> Int -> Int64 Source unsafeShiftL :: Int64 -> Int -> Int64 Source shiftR :: Int64 -> Int -> Int64 Source unsafeShiftR :: Int64 -> Int -> Int64 Source rotateL :: Int64 -> Int -> Int64 Source rotateR :: Int64 -> Int -> Int64 Source popCount :: Int64 -> Int Source
FiniteBits Int64 Source	Since: base-4.6.0.0
Instance details Defined in GHC.Internal.Int Methods finiteBitSize :: Int64 -> Int Source countLeadingZeros :: Int64 -> Int Source countTrailingZeros :: Int64 -> Int Source
Data Int64 Source	Since: base-4.0.0.0
Instance details Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int64 -> c Int64 Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int64 Source toConstr :: Int64 -> Constr Source dataTypeOf :: Int64 -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int64) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int64) Source gmapT :: (forall b. Data b => b -> b) -> Int64 -> Int64 Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Source gmapQ :: (forall d. Data d => d -> u) -> Int64 -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Int64 -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Source
Bounded Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods minBound :: Int64 Source maxBound :: Int64 Source
Enum Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods succ :: Int64 -> Int64 Source pred :: Int64 -> Int64 Source toEnum :: Int -> Int64 Source fromEnum :: Int64 -> Int Source enumFrom :: Int64 -> [Int64] Source enumFromThen :: Int64 -> Int64 -> [Int64] Source enumFromTo :: Int64 -> Int64 -> [Int64] Source enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64] Source
Storable Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Foreign.Storable Methods sizeOf :: Int64 -> Int Source alignment :: Int64 -> Int Source peekElemOff :: Ptr Int64 -> Int -> IO Int64 Source pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO () Source peekByteOff :: Ptr b -> Int -> IO Int64 Source pokeByteOff :: Ptr b -> Int -> Int64 -> IO () Source peek :: Ptr Int64 -> IO Int64 Source poke :: Ptr Int64 -> Int64 -> IO () Source
Ix Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods range :: (Int64, Int64) -> [Int64] Source index :: (Int64, Int64) -> Int64 -> Int Source unsafeIndex :: (Int64, Int64) -> Int64 -> Int Source inRange :: (Int64, Int64) -> Int64 -> Bool Source rangeSize :: (Int64, Int64) -> Int Source unsafeRangeSize :: (Int64, Int64) -> Int Source
Num Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (+) :: Int64 -> Int64 -> Int64 Source (-) :: Int64 -> Int64 -> Int64 Source (*) :: Int64 -> Int64 -> Int64 Source negate :: Int64 -> Int64 Source abs :: Int64 -> Int64 Source signum :: Int64 -> Int64 Source fromInteger :: Integer -> Int64 Source
Read Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods readsPrec :: Int -> ReadS Int64 Source readList :: ReadS [Int64] Source readPrec :: ReadPrec Int64 Source readListPrec :: ReadPrec [Int64] Source
Integral Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods quot :: Int64 -> Int64 -> Int64 Source rem :: Int64 -> Int64 -> Int64 Source div :: Int64 -> Int64 -> Int64 Source mod :: Int64 -> Int64 -> Int64 Source quotRem :: Int64 -> Int64 -> (Int64, Int64) Source divMod :: Int64 -> Int64 -> (Int64, Int64) Source toInteger :: Int64 -> Integer Source
Real Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods toRational :: Int64 -> Rational Source
Show Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods showsPrec :: Int -> Int64 -> ShowS Source show :: Int64 -> String Source showList :: [Int64] -> ShowS Source
Eq Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods (==) :: Int64 -> Int64 -> Bool Source (/=) :: Int64 -> Int64 -> Bool Source
Ord Int64 Source	Since: base-2.1
Instance details Defined in GHC.Internal.Int Methods compare :: Int64 -> Int64 -> Ordering Source (<) :: Int64 -> Int64 -> Bool Source (<=) :: Int64 -> Int64 -> Bool Source (>) :: Int64 -> Int64 -> Bool Source (>=) :: Int64 -> Int64 -> Bool Source max :: Int64 -> Int64 -> Int64 Source min :: Int64 -> Int64 -> Int64 Source
Lift Int64 Source
Instance details Defined in GHC.Internal.TH.Lift Methods lift :: Quote m => Int64 -> m Exp Source liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64 Source

Notes

All arithmetic is performed modulo 2^n, where n is the number of bits in the type.
For coercing between any two integer types, use fromIntegral, which is specialized for all the common cases so should be fast enough. Coercing word types (see Data.Word) to and from integer types preserves representation, not sign.
The rules that hold for Enum instances over a bounded type such as Int (see the section of the Haskell report dealing with arithmetic sequences) also hold for the Enum instances over the various Int types defined here.
Right and left shifts by amounts greater than or equal to the width of the type result in either zero or -1, depending on the sign of the value being shifted. This is contrary to the behaviour in C, which is undefined; a common interpretation is to truncate the shift count to the width of the type, for example 1 << 32 == 1 in some C implementations.

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Int.html

Data.Int

Contents

Description

Signed integer types

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Associated Types

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Associated Types

Methods

Methods

Methods

Methods

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods