W3cubDocs

/Haskell 8

Data.Int

Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
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

Bounded Int	Since: 2.1
Methods minBound :: Int Source maxBound :: Int Source
Enum Int	Since: 2.1
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
Eq Int
Methods (==) :: Int -> Int -> Bool Source (/=) :: Int -> Int -> Bool Source
Integral Int	Since: 2.0.1
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
Data Int	Since: 4.0.0.0
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 :: (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
Num Int	Since: 2.1
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
Ord Int
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
Read Int	Since: 2.1
Methods readsPrec :: Int -> ReadS Int Source readList :: ReadS [Int] Source readPrec :: ReadPrec Int Source readListPrec :: ReadPrec [Int] Source
Real Int	Since: 2.0.1
Methods toRational :: Int -> Rational Source
Show Int	Since: 2.1
Methods showsPrec :: Int -> Int -> ShowS Source show :: Int -> String Source showList :: [Int] -> ShowS Source
Ix Int	Since: 2.1
Methods range :: (Int, Int) -> [Int] Source index :: (Int, Int) -> Int -> Int Source unsafeIndex :: (Int, Int) -> Int -> Int inRange :: (Int, Int) -> Int -> Bool Source rangeSize :: (Int, Int) -> Int Source unsafeRangeSize :: (Int, Int) -> Int
FiniteBits Int	Since: 4.6.0.0
Methods finiteBitSize :: Int -> Int Source countLeadingZeros :: Int -> Int Source countTrailingZeros :: Int -> Int Source
Bits Int	Since: 2.1
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
Storable Int	Since: 2.1
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
PrintfArg Int	Since: 2.1
Methods formatArg :: Int -> FieldFormatter Source parseFormat :: Int -> ModifierParser Source
Generic1 k (URec k Int)
Associated Types type Rep1 (URec k Int) (f :: URec k Int -> ) :: k -> Source Methods from1 :: f a -> Rep1 (URec k Int) f a Source to1 :: Rep1 (URec k Int) f a -> f a Source
Functor (URec * Int)
Methods fmap :: (a -> b) -> URec * Int a -> URec * Int b Source (<$) :: a -> URec * Int b -> URec * Int a Source
Foldable (URec * Int)
Methods fold :: Monoid m => URec * Int m -> m Source foldMap :: Monoid m => (a -> m) -> URec * Int a -> m Source foldr :: (a -> b -> b) -> b -> URec * Int a -> b Source foldr' :: (a -> b -> b) -> b -> URec * Int a -> b Source foldl :: (b -> a -> b) -> b -> URec * Int a -> b Source foldl' :: (b -> a -> b) -> b -> URec * Int a -> b Source foldr1 :: (a -> a -> a) -> URec * Int a -> a Source foldl1 :: (a -> a -> a) -> URec * Int a -> a Source toList :: URec * Int a -> [a] Source null :: URec * Int a -> Bool Source length :: URec * Int a -> Int Source elem :: Eq a => a -> URec * Int a -> Bool Source maximum :: Ord a => URec * Int a -> a Source minimum :: Ord a => URec * Int a -> a Source sum :: Num a => URec * Int a -> a Source product :: Num a => URec * Int a -> a Source
Traversable (URec * Int)
Methods traverse :: Applicative f => (a -> f b) -> URec * Int a -> f (URec * Int b) Source sequenceA :: Applicative f => URec * Int (f a) -> f (URec * Int a) Source mapM :: Monad m => (a -> m b) -> URec * Int a -> m (URec * Int b) Source sequence :: Monad m => URec * Int (m a) -> m (URec * Int a) Source
Eq (URec k Int p)
Methods (==) :: URec k Int p -> URec k Int p -> Bool Source (/=) :: URec k Int p -> URec k Int p -> Bool Source
Ord (URec k Int p)
Methods compare :: URec k Int p -> URec k Int p -> Ordering Source (<) :: URec k Int p -> URec k Int p -> Bool Source (<=) :: URec k Int p -> URec k Int p -> Bool Source (>) :: URec k Int p -> URec k Int p -> Bool Source (>=) :: URec k Int p -> URec k Int p -> Bool Source max :: URec k Int p -> URec k Int p -> URec k Int p Source min :: URec k Int p -> URec k Int p -> URec k Int p Source
Show (URec k Int p)
Methods showsPrec :: Int -> URec k Int p -> ShowS Source show :: URec k Int p -> String Source showList :: [URec k Int p] -> ShowS Source
Generic (URec k Int p)
Associated Types type Rep (URec k Int p) :: * -> * Source Methods from :: URec k Int p -> Rep (URec k Int p) x Source to :: Rep (URec k Int p) x -> URec k Int p Source
data URec k Int	Used for marking occurrences of `Int#` Since: 4.9.0.0
data URec k Int = UInt { uInt# :: Int# }
type Rep1 k (URec k Int)
type Rep1 k (URec k Int) = D1 k (MetaData "URec" "GHC.Generics" "base" False) (C1 k (MetaCons "UInt" PrefixI True) (S1 k (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UInt k)))
type Rep (URec k Int p)
type Rep (URec k Int p) = D1 * (MetaData "URec" "GHC.Generics" "base" False) (C1 * (MetaCons "UInt" PrefixI True) (S1 * (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UInt *)))

data Int8 Source

8-bit signed integer type

Instances

Bounded Int8	Since: 2.1
Methods minBound :: Int8 Source maxBound :: Int8 Source
Enum Int8	Since: 2.1
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
Eq Int8	Since: 2.1
Methods (==) :: Int8 -> Int8 -> Bool Source (/=) :: Int8 -> Int8 -> Bool Source
Integral Int8	Since: 2.1
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
Data Int8	Since: 4.0.0.0
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 :: (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
Num Int8	Since: 2.1
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
Ord Int8	Since: 2.1
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
Read Int8	Since: 2.1
Methods readsPrec :: Int -> ReadS Int8 Source readList :: ReadS [Int8] Source readPrec :: ReadPrec Int8 Source readListPrec :: ReadPrec [Int8] Source
Real Int8	Since: 2.1
Methods toRational :: Int8 -> Rational Source
Show Int8	Since: 2.1
Methods showsPrec :: Int -> Int8 -> ShowS Source show :: Int8 -> String Source showList :: [Int8] -> ShowS Source
Ix Int8	Since: 2.1
Methods range :: (Int8, Int8) -> [Int8] Source index :: (Int8, Int8) -> Int8 -> Int Source unsafeIndex :: (Int8, Int8) -> Int8 -> Int inRange :: (Int8, Int8) -> Int8 -> Bool Source rangeSize :: (Int8, Int8) -> Int Source unsafeRangeSize :: (Int8, Int8) -> Int
FiniteBits Int8	Since: 4.6.0.0
Methods finiteBitSize :: Int8 -> Int Source countLeadingZeros :: Int8 -> Int Source countTrailingZeros :: Int8 -> Int Source
Bits Int8	Since: 2.1
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
Storable Int8	Since: 2.1
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
PrintfArg Int8	Since: 2.1
Methods formatArg :: Int8 -> FieldFormatter Source parseFormat :: Int8 -> ModifierParser Source

data Int16 Source

16-bit signed integer type

Instances

Bounded Int16	Since: 2.1
Methods minBound :: Int16 Source maxBound :: Int16 Source
Enum Int16	Since: 2.1
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
Eq Int16	Since: 2.1
Methods (==) :: Int16 -> Int16 -> Bool Source (/=) :: Int16 -> Int16 -> Bool Source
Integral Int16	Since: 2.1
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
Data Int16	Since: 4.0.0.0
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 :: (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
Num Int16	Since: 2.1
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
Ord Int16	Since: 2.1
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
Read Int16	Since: 2.1
Methods readsPrec :: Int -> ReadS Int16 Source readList :: ReadS [Int16] Source readPrec :: ReadPrec Int16 Source readListPrec :: ReadPrec [Int16] Source
Real Int16	Since: 2.1
Methods toRational :: Int16 -> Rational Source
Show Int16	Since: 2.1
Methods showsPrec :: Int -> Int16 -> ShowS Source show :: Int16 -> String Source showList :: [Int16] -> ShowS Source
Ix Int16	Since: 2.1
Methods range :: (Int16, Int16) -> [Int16] Source index :: (Int16, Int16) -> Int16 -> Int Source unsafeIndex :: (Int16, Int16) -> Int16 -> Int inRange :: (Int16, Int16) -> Int16 -> Bool Source rangeSize :: (Int16, Int16) -> Int Source unsafeRangeSize :: (Int16, Int16) -> Int
FiniteBits Int16	Since: 4.6.0.0
Methods finiteBitSize :: Int16 -> Int Source countLeadingZeros :: Int16 -> Int Source countTrailingZeros :: Int16 -> Int Source
Bits Int16	Since: 2.1
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
Storable Int16	Since: 2.1
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
PrintfArg Int16	Since: 2.1
Methods formatArg :: Int16 -> FieldFormatter Source parseFormat :: Int16 -> ModifierParser Source

data Int32 Source

32-bit signed integer type

Instances

Bounded Int32	Since: 2.1
Methods minBound :: Int32 Source maxBound :: Int32 Source
Enum Int32	Since: 2.1
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
Eq Int32	Since: 2.1
Methods (==) :: Int32 -> Int32 -> Bool Source (/=) :: Int32 -> Int32 -> Bool Source
Integral Int32	Since: 2.1
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
Data Int32	Since: 4.0.0.0
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 :: (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
Num Int32	Since: 2.1
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
Ord Int32	Since: 2.1
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
Read Int32	Since: 2.1
Methods readsPrec :: Int -> ReadS Int32 Source readList :: ReadS [Int32] Source readPrec :: ReadPrec Int32 Source readListPrec :: ReadPrec [Int32] Source
Real Int32	Since: 2.1
Methods toRational :: Int32 -> Rational Source
Show Int32	Since: 2.1
Methods showsPrec :: Int -> Int32 -> ShowS Source show :: Int32 -> String Source showList :: [Int32] -> ShowS Source
Ix Int32	Since: 2.1
Methods range :: (Int32, Int32) -> [Int32] Source index :: (Int32, Int32) -> Int32 -> Int Source unsafeIndex :: (Int32, Int32) -> Int32 -> Int inRange :: (Int32, Int32) -> Int32 -> Bool Source rangeSize :: (Int32, Int32) -> Int Source unsafeRangeSize :: (Int32, Int32) -> Int
FiniteBits Int32	Since: 4.6.0.0
Methods finiteBitSize :: Int32 -> Int Source countLeadingZeros :: Int32 -> Int Source countTrailingZeros :: Int32 -> Int Source
Bits Int32	Since: 2.1
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
Storable Int32	Since: 2.1
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
PrintfArg Int32	Since: 2.1
Methods formatArg :: Int32 -> FieldFormatter Source parseFormat :: Int32 -> ModifierParser Source

data Int64 Source

64-bit signed integer type

Instances

Bounded Int64	Since: 2.1
Methods minBound :: Int64 Source maxBound :: Int64 Source
Enum Int64	Since: 2.1
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
Eq Int64	Since: 2.1
Methods (==) :: Int64 -> Int64 -> Bool Source (/=) :: Int64 -> Int64 -> Bool Source
Integral Int64	Since: 2.1
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
Data Int64	Since: 4.0.0.0
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 :: (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
Num Int64	Since: 2.1
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
Ord Int64	Since: 2.1
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
Read Int64	Since: 2.1
Methods readsPrec :: Int -> ReadS Int64 Source readList :: ReadS [Int64] Source readPrec :: ReadPrec Int64 Source readListPrec :: ReadPrec [Int64] Source
Real Int64	Since: 2.1
Methods toRational :: Int64 -> Rational Source
Show Int64	Since: 2.1
Methods showsPrec :: Int -> Int64 -> ShowS Source show :: Int64 -> String Source showList :: [Int64] -> ShowS Source
Ix Int64	Since: 2.1
Methods range :: (Int64, Int64) -> [Int64] Source index :: (Int64, Int64) -> Int64 -> Int Source unsafeIndex :: (Int64, Int64) -> Int64 -> Int inRange :: (Int64, Int64) -> Int64 -> Bool Source rangeSize :: (Int64, Int64) -> Int Source unsafeRangeSize :: (Int64, Int64) -> Int
FiniteBits Int64	Since: 4.6.0.0
Methods finiteBitSize :: Int64 -> Int Source countLeadingZeros :: Int64 -> Int Source countTrailingZeros :: Int64 -> Int Source
Bits Int64	Since: 2.1
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
Storable Int64	Since: 2.1
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
PrintfArg Int64	Since: 2.1
Methods formatArg :: Int64 -> FieldFormatter Source parseFormat :: Int64 -> ModifierParser 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/8.2.1/docs/html/libraries/base-4.10.0.0/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

Associated Types

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Associated Types

Methods

Instances

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

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Instances

Methods