字典我要纠错

Data.Int

Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
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
Methods minBound :: Int Source maxBound :: Int Source
Enum Int
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
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
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
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
Methods readsPrec :: Int -> ReadS Int Source readList :: ReadS [Int] Source readPrec :: ReadPrec Int Source readListPrec :: ReadPrec [Int] Source
Real Int
Methods toRational :: Int -> Rational Source
Show Int
Methods showsPrec :: Int -> Int -> ShowS Source show :: Int -> String Source showList :: [Int] -> ShowS Source
Ix Int
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
Methods finiteBitSize :: Int -> Int Source countLeadingZeros :: Int -> Int Source countTrailingZeros :: Int -> Int Source
Bits Int
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
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
Methods formatArg :: Int -> FieldFormatter Source parseFormat :: Int -> ModifierParser 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
Generic1 (URec Int)
Associated Types type Rep1 (URec Int :: * -> ) :: -> * Source Methods from1 :: URec Int a -> Rep1 (URec Int) a Source to1 :: Rep1 (URec Int) a -> URec Int a Source
Eq (URec Int p)
Methods (==) :: URec Int p -> URec Int p -> Bool Source (/=) :: URec Int p -> URec Int p -> Bool Source
Ord (URec Int p)
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
Show (URec Int p)
Methods showsPrec :: Int -> URec Int p -> ShowS Source show :: URec Int p -> String Source showList :: [URec Int p] -> ShowS Source
Generic (URec Int p)
Associated Types type Rep (URec Int p) :: * -> * Source Methods from :: URec Int p -> Rep (URec Int p) x Source to :: Rep (URec Int p) x -> URec Int p Source
data URec Int	Used for marking occurrences of `Int#`
data URec Int = UInt { uInt# :: Int# }
type Rep1 (URec Int)
type Rep1 (URec Int) = D1 (MetaData "URec" "GHC.Generics" "base" False) (C1 (MetaCons "UInt" PrefixI True) (S1 (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) UInt))
type Rep (URec Int p)
type Rep (URec 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
Methods minBound :: Int8 Source maxBound :: Int8 Source
Enum Int8
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
Methods (==) :: Int8 -> Int8 -> Bool Source (/=) :: Int8 -> Int8 -> Bool Source
Integral Int8
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
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
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
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
Methods readsPrec :: Int -> ReadS Int8 Source readList :: ReadS [Int8] Source readPrec :: ReadPrec Int8 Source readListPrec :: ReadPrec [Int8] Source
Real Int8
Methods toRational :: Int8 -> Rational Source
Show Int8
Methods showsPrec :: Int -> Int8 -> ShowS Source show :: Int8 -> String Source showList :: [Int8] -> ShowS Source
Ix Int8
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
Methods finiteBitSize :: Int8 -> Int Source countLeadingZeros :: Int8 -> Int Source countTrailingZeros :: Int8 -> Int Source
Bits Int8
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
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
Methods formatArg :: Int8 -> FieldFormatter Source parseFormat :: Int8 -> ModifierParser Source

data Int16 Source

16-bit signed integer type

Instances

Bounded Int16
Methods minBound :: Int16 Source maxBound :: Int16 Source
Enum Int16
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
Methods (==) :: Int16 -> Int16 -> Bool Source (/=) :: Int16 -> Int16 -> Bool Source
Integral Int16
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
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
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
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
Methods readsPrec :: Int -> ReadS Int16 Source readList :: ReadS [Int16] Source readPrec :: ReadPrec Int16 Source readListPrec :: ReadPrec [Int16] Source
Real Int16
Methods toRational :: Int16 -> Rational Source
Show Int16
Methods showsPrec :: Int -> Int16 -> ShowS Source show :: Int16 -> String Source showList :: [Int16] -> ShowS Source
Ix Int16
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
Methods finiteBitSize :: Int16 -> Int Source countLeadingZeros :: Int16 -> Int Source countTrailingZeros :: Int16 -> Int Source
Bits Int16
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
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
Methods formatArg :: Int16 -> FieldFormatter Source parseFormat :: Int16 -> ModifierParser Source

data Int32 Source

32-bit signed integer type

Instances

Bounded Int32
Methods minBound :: Int32 Source maxBound :: Int32 Source
Enum Int32
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
Methods (==) :: Int32 -> Int32 -> Bool Source (/=) :: Int32 -> Int32 -> Bool Source
Integral Int32
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
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
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
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
Methods readsPrec :: Int -> ReadS Int32 Source readList :: ReadS [Int32] Source readPrec :: ReadPrec Int32 Source readListPrec :: ReadPrec [Int32] Source
Real Int32
Methods toRational :: Int32 -> Rational Source
Show Int32
Methods showsPrec :: Int -> Int32 -> ShowS Source show :: Int32 -> String Source showList :: [Int32] -> ShowS Source
Ix Int32
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
Methods finiteBitSize :: Int32 -> Int Source countLeadingZeros :: Int32 -> Int Source countTrailingZeros :: Int32 -> Int Source
Bits Int32
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
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
Methods formatArg :: Int32 -> FieldFormatter Source parseFormat :: Int32 -> ModifierParser Source

data Int64 Source

64-bit signed integer type

Instances

Bounded Int64
Methods minBound :: Int64 Source maxBound :: Int64 Source
Enum Int64
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
Methods (==) :: Int64 -> Int64 -> Bool Source (/=) :: Int64 -> Int64 -> Bool Source
Integral Int64
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
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
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
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
Methods readsPrec :: Int -> ReadS Int64 Source readList :: ReadS [Int64] Source readPrec :: ReadPrec Int64 Source readListPrec :: ReadPrec [Int64] Source
Real Int64
Methods toRational :: Int64 -> Rational Source
Show Int64
Methods showsPrec :: Int -> Int64 -> ShowS Source show :: Int64 -> String Source showList :: [Int64] -> ShowS Source
Ix Int64
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
Methods finiteBitSize :: Int64 -> Int Source countLeadingZeros :: Int64 -> Int Source countTrailingZeros :: Int64 -> Int Source
Bits Int64
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
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
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.0.1/docs/html/libraries/base-4.9.0.0/Data-Int.html

Data.Int

Data.Int

Contents

Description

Signed integer types

Instances

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Methods

Associated Types

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