Data.Int
| Авторские права | (c) Университет Глазго 2001 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | стабильная |
| Переносимость | переносимая |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Содержание
Описание
Целые типы со знаком
Целые типы со знаком
Тип целого числа с фиксированной точностью и по крайней мере диапазоном [-2^29 .. 2^29-1]. Точный диапазон для конкретной реализации можно определить, используя minBound и maxBound из класса Bounded.
Экземпляры
| Data Int Source | Since: base-4.0.0.0 |
Defined in GHC.Internal.Data.Data Методы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 |
| Enum Int Source | Since: base-2.1 |
Defined in GHC.Internal.Enum | |
| Storable Int Source | Since: base-2.1 |
Определено в GHC.Internal.Foreign.Storable | |
| Ix Int Source | Since: base-2.1 |
| Num Int Source | Since: base-2.1 |
| Read Int Source | Since: base-2.1 |
Определено в GHC.Internal.Read МетодыreadsPrec :: Int -> ReadS Int Исходный код readList :: ReadS [Int] Исходный код | |
| Integral Int Исходный код | С: base-2.0.1 |
Определено в GHC.Internal.Real | |
| Real Int Исходный код | С: base-2.0.1 |
Определено в GHC.Internal.Real МетодыtoRational :: Int -> Rational Исходный код | |
| Show Int Исходный код | С: base-2.1 |
Определено в GHC.Internal.Show МетодыshowsPrec :: Int -> Int -> ShowS Исходный код show :: Int -> String Исходный код showList :: [Int] -> ShowS Исходный код | |
| Eq Int Исходный код | |
Определено в GHC.Classes | |
| Ord Int Исходный код | |
Определено в GHC.Classes Методыcompare :: Int -> Int -> Ordering Исходный код (<) :: Int -> Int -> Bool Исходный код (<=) :: Int -> Int -> Bool Исходный код (>) :: Int -> Int -> Bool Исходный код (>=) :: Int -> Int -> Bool Исходный код max :: Int -> Int -> Int Исходный код min :: Int -> Int -> Int Исходный код | |||||
| Lift Int Исходный код | |||||
Определено в GHC.Internal.TH.Lift | |||||
| Generic1 (URec Int :: k -> Type) Исходный код | |||||
Определено в GHC.Internal.Generics Связанные типы
| |||||
| Eq1 (UInt :: Type -> Type) Исходный код | С момента: base-4.21.0.0 |
||||
Определено в Data.Functor.Classes | |||||
| Ord1 (UInt :: Type -> Type) Исходный код | С момента: base-4.21.0.0 |
||||
Определено в Data.Functor.Classes МетодыliftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Исходный код | |||||
| Show1 (UInt :: Type -> Type) Source | Since: base-4.21.0.0 |
| Foldable (UInt :: Type -> Type) Source | Since: base-4.9.0.0 |
Defined in GHC.Internal.Data.Foldable Краткое описание методов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 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 | |
| Traversable (UInt :: Type -> Type) Source | Since: base-4.9.0.0 |
Defined in GHC.Internal.Data.Traversable | |
| Functor (URec Int :: Type -> Type) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Generics | |||||
| Generic (URec Int p) Исходный код | |||||
Определено в GHC.Internal.Generics Связанные типы
| |||||
| Show (URec Int p) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Generics | |||||
| Eq (URec Int p) Исходный код | С момента: base-4.9.0.0 |
||||
Определено в GHC.Internal.Generics | |||||
| Ord (URec Int p) Исходный код | С момента: base-4.9.0.0 |
||||
data Int8 Исходный код
8-битовое целое со знаком
Экземпляры
| PrintfArg Int8 Source | С версии: base-2.1 |
Определено в Text.Printf | |
| Bits Int8 Source | С версии: base-2.1 |
Определено в GHC.Internal.Int Методы(.&.) :: 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 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 | |
| FiniteBits Int8 Source | С версии: base-4.6.0.0 |
Определено в GHC.Internal.Int МетодыfiniteBitSize :: Int8 -> Int Source countLeadingZeros :: Int8 -> Int Source countTrailingZeros :: Int8 -> Int Source | |
| Data Int8 Source | Since: base-4.0.0.0 |
Defined in GHC.Internal.Data.Data Методы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 |
| Enum Int8 Source | Since: base-2.1 |
| Storable Int8 Source | Since: base-2.1 |
Определено в GHC.Internal.Foreign.Storable | |
| Ix Int8 Source | Since: base-2.1 |
Определено в GHC.Internal.Int | |
| Num Int8 Source | Since: base-2.1 |
| Read Int8 Source | Since: base-2.1 |
Определено в GHC.Internal.Int МетодыreadsPrec :: Int -> ReadS Int8 Исходный код readList :: ReadS [Int8] Исходный код | |
| Integral Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int Методыquot :: Int8 -> Int8 -> Int8 Исходный код rem :: Int8 -> Int8 -> Int8 Исходный код div :: Int8 -> Int8 -> Int8 Исходный код mod :: Int8 -> Int8 -> Int8 Исходный код quotRem :: Int8 -> Int8 -> (Int8, Int8) Исходный код divMod :: Int8 -> Int8 -> (Int8, Int8) Исходный код toInteger :: Int8 -> Integer Исходный код | |
| Real Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int МетодыtoRational :: Int8 -> Rational Исходный код | |
| Show Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int МетодыshowsPrec :: Int -> Int8 -> ShowS Исходный код show :: Int8 -> String Исходный код showList :: [Int8] -> ShowS Исходный код | |
| Eq Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Ord Int8 Исходный код | С момента: base-2.1 |
| Data Int16 Source | Since: base-4.0.0.0 |
Defined in GHC.Internal.Data.Data Методы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 |
| Enum Int16 Source | Since: base-2.1 |
Определено в GHC.Internal.Int МетодыreadsPrec :: Int -> ReadS Int16 Исходный код readList :: ReadS [Int16] Исходный код | |
| Integral Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int Методыquot :: Int16 -> Int16 -> Int16 Исходный код rem :: Int16 -> Int16 -> Int16 Исходный код div :: Int16 -> Int16 -> Int16 Исходный код mod :: Int16 -> Int16 -> Int16 Исходный код quotRem :: Int16 -> Int16 -> (Int16, Int16) Исходный код divMod :: Int16 -> Int16 -> (Int16, Int16) Исходный код toInteger :: Int16 -> Integer Исходный код | |
| Real Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int МетодыtoRational :: Int16 -> Rational Исходный код | |
| Show Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int МетодыshowsPrec :: Int -> Int16 -> ShowS Исходный код show :: Int16 -> String Исходный код showList :: [Int16] -> ShowS Исходный код | |
| Eq Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Ord Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int Методыcompare :: Int16 -> Int16 -> Ordering Исходный код (<) :: Int16 -> Int16 -> Bool Исходный код (<=) :: Int16 -> Int16 -> Bool Исходный код (>) :: Int16 -> Int16 -> Bool Исходный код (>=) :: Int16 -> Int16 -> Bool Исходный код max :: Int16 -> Int16 -> Int16 Исходный код min :: Int16 -> Int16 -> Int16 Исходный код | |
| Lift Int16 Исходный код | |
Определено в GHC.Internal.TH.Lift | |
data Int32 Исходный код
32-битное знаковое целое число
Экземпляры
| Data Int32 Source | Since: base-4.0.0.0 |
Определено в GHC.Internal.Data.Data Методы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 |
| Enum Int32 Source | Since: base-2.1 |
| Storable Int32 Source | Since: base-2.1 |
Определено в GHC.Internal.Foreign.Storable | |
| Ix Int32 Source | Since: base-2.1 |
Определено в GHC.Internal.Int | |
| Num Int32 Source | Since: base-2.1 |
| Read Int32 Source | Since: base-2.1 |
| Integral Int32 Source | Since: base-2.1 |
Определено в GHC.Internal.Int | |
| Real Int32 Source | Since: base-2.1 |
Определено в GHC.Internal.Int Краткое описание методовtoRational :: Int32 -> Rational Source | |
| Show Int32 Source | Since: base-2.1 |
| Eq Int32 Source | Since: base-2.1 |
| Ord Int32 Source | Since: base-2.1 |
Определено в GHC.Internal.Int Методыcompare :: Int32 -> Int32 -> Ordering Исходный код (<) :: Int32 -> Int32 -> Bool Исходный код (<=) :: Int32 -> Int32 -> Bool Исходный код (>) :: Int32 -> Int32 -> Bool Исходный код (>=) :: Int32 -> Int32 -> Bool Исходный код max :: Int32 -> Int32 -> Int32 Исходный код min :: Int32 -> Int32 -> Int32 Исходный код | |
| Lift Int32 Исходный код | |
Определено в GHC.Internal.TH.Lift | |
data Int64 Исходный код
64-битный знаковый целочисленный тип
Экземпляры
| Data Int64 Source | Since: base-4.0.0.0 |
Defined in GHC.Internal.Data.Data Методы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 |
| Enum Int64 Source | Since: base-2.1 |
| Storable Int64 Source | Since: base-2.1 |
Определено в GHC.Internal.Foreign.Storable | |
| Ix Int64 Source | Since: base-2.1 |
Определено в GHC.Internal.Int | |
| Num Int64 Source | Since: base-2.1 |
| Read Int64 Source | Since: base-2.1 |
Определено в GHC.Internal.Int Методыcompare :: Int64 -> Int64 -> Ordering Исходный код (<) :: Int64 -> Int64 -> Bool Исходный код (<=) :: Int64 -> Int64 -> Bool Исходный код (>) :: Int64 -> Int64 -> Bool Исходный код (>=) :: Int64 -> Int64 -> Bool Исходный код max :: Int64 -> Int64 -> Int64 Исходный код min :: Int64 -> Int64 -> Int64 Исходный код | |
| Lift Int64 Исходный код | |
Определено в GHC.Internal.TH.Lift | |
Примечания
- Все арифметические операции выполняются по модулю 2^n, где
n— количество битов в типе. - Для преобразования между любыми двумя целочисленными типами используйте
fromIntegral, который специализирован для всех распространенных случаев и должен быть достаточно быстрым. Преобразование типов word (см. Data.Word) в целочисленные типы и обратно сохраняет представление, а не знак. - Правила, которые выполняются для экземпляров
Enumнад ограниченным типом, таким какInt(см. раздел отчета Haskell, посвящённый арифметическим последовательностям), также выполняются для экземпляровEnumнад различными типамиIntопределёнными здесь. - Сдвиги вправо и влево на величину, большую или равную ширине типа, приводят к нулю или -1, в зависимости от знака сдвигаемого значения. Это противоречит поведению в C, которое не определено; общепринятое толкование заключается в усечении величины сдвига до ширины типа, например,
1 << 32 == 1в некоторых реализациях C.
© 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