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 |
Data.Int
Contents
Description
Signed integer types
Signed integer types
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
Instance details
Defined in GHC.Real
Instance details
Defined in 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 #
Instance details
Defined in GHC.Ix
Instance details
Defined in Data.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 #
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 #
Instance details
Defined in Foreign.Storable
Instance details
Defined in Text.Printf
Instance details
Defined in 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 #
Instance details
Defined in Data.Traversable
Instance details
Defined in GHC.Generics
Instance details
Defined in GHC.Generics
Instance details
Defined in GHC.Generics
8-bit signed integer type
Instances
Instances details
Instance details
Defined in GHC.Int
Instance details
Defined in 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 #
Instance details
Defined in GHC.Int
Instance details
Defined in GHC.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 #
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 #
Instance details
Defined in 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 #
Instance details
Defined in Text.Printf
16-bit signed integer type
Instances
Instances details
Instance details
Defined in GHC.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 #
Instance details
Defined in GHC.Int
Instance details
Defined in 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 #
Instance details
Defined in GHC.Int
Instance details
Defined in GHC.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 #
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 #
Instance details
Defined in 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 #
Instance details
Defined in Text.Printf
Methods
formatArg :: Int16 -> FieldFormatter Source #
parseFormat :: Int16 -> ModifierParser Source #
32-bit signed integer type
Instances
Instances details
Instance details
Defined in GHC.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 #
Instance details
Defined in GHC.Int
Instance details
Defined in 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 #
Instance details
Defined in GHC.Int
Instance details
Defined in GHC.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 #
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 #
Instance details
Defined in 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 #
Instance details
Defined in Text.Printf
Methods
formatArg :: Int32 -> FieldFormatter Source #
parseFormat :: Int32 -> ModifierParser Source #
64-bit signed integer type
Instances
Instances details
Instance details
Defined in GHC.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 #
Instance details
Defined in GHC.Int
Instance details
Defined in 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 #
Instance details
Defined in GHC.Int
Instance details
Defined in GHC.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 #
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 #
Instance details
Defined in 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 #
Instance details
Defined in Text.Printf
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 asInt
(see the section of the Haskell report dealing with arithmetic sequences) also hold for theEnum
instances over the variousInt
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.