Spec-Zone.ru › Haskell 9

Data.Int

Авторские права (c) Университет Глазго 2001
Лицензия BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка libraries@haskell.org
Устойчивость стабильная
Переносимость переносимая
Безопасный Haskell Безопасный
Язык Haskell2010

Содержание

  • Целые типы со знаком
  • Примечания

Описание

Целые типы со знаком

Целые типы со знаком

data Int Источник

Тип целого числа с фиксированной точностью и по крайней мере диапазоном [-2^29 .. 2^29-1]. Точный диапазон для конкретной реализации можно определить, используя minBound и maxBound из класса Bounded.

Экземпляры
Подробности о экземплярах
PrintfArg Int Источник

С версии: base-2.1

Подробности о экземпляре

Определено в Text.Printf

Методы

formatArg :: Int -> FieldFormatter Источник

parseFormat :: Int -> ModifierParser Источник

Bits Int Источник

С версии: base-2.1

Подробности о экземпляре

Определено в GHC.Internal.Bits

Методы

(.&.) :: Int -> Int -> Int Источник

(.|.) :: Int -> Int -> Int Источник

xor :: Int -> Int -> Int Источник

complement :: Int -> Int Источник

shift :: Int -> Int -> Int Источник

rotate :: Int -> Int -> Int Источник

zeroBits :: Int Источник

bit :: Int -> Int Источник

setBit :: Int -> Int -> Int Источник

clearBit :: Int -> Int -> Int Источник

complementBit :: Int -> Int -> Int Источник

testBit :: Int -> Int -> Bool Источник

bitSizeMaybe :: Int -> Maybe Int Источник

bitSize :: Int -> Int Источник

isSigned :: Int -> Bool Источник

shiftL :: Int -> Int -> Int Источник

unsafeShiftL :: Int -> Int -> Int Источник

shiftR :: Int -> Int -> Int Источник

unsafeShiftR :: Int -> Int -> Int Источник

rotateL :: Int -> Int -> Int Источник

rotateR :: Int -> Int -> Int Источник

popCount :: Int -> Int Источник

FiniteBits Int Источник

С версии: base-4.6.0.0

Подробности о экземпляре

Определено в GHC.Internal.Bits

Методы

finiteBitSize :: Int -> Int Источник

countLeadingZeros :: Int -> Int Источник

countTrailingZeros :: Int -> Int Источник

Data Int Source

Since: base-4.0.0.0

Instance details

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

Instance details

Defined in GHC.Internal.Enum

Методы

minBound :: Int Source

maxBound :: Int Source

Enum Int Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Ix

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Num

Методы

(+) :: 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

Подробности экземпляра

Определено в GHC.Internal.Read

Методы

readsPrec :: Int -> ReadS Int Исходный код

readList :: ReadS [Int] Исходный код

readPrec :: ReadPrec Int Исходный код

readListPrec :: ReadPrec [Int] Исходный код

Integral Int Исходный код

С: base-2.0.1

Подробности экземпляра

Определено в GHC.Internal.Real

Методы

quot :: Int -> Int -> Int Исходный код

rem :: Int -> Int -> Int Исходный код

div :: Int -> Int -> Int Исходный код

mod :: Int -> Int -> Int Исходный код

quotRem :: Int -> Int -> (Int, Int) Исходный код

divMod :: Int -> Int -> (Int, Int) Исходный код

toInteger :: Int -> Integer Исходный код

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

Методы

(==) :: Int -> Int -> Bool Исходный код

(/=) :: Int -> Int -> Bool Исходный код

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

Методы

lift :: Quote m => Int -> m Exp Исходный код

liftTyped :: forall (m :: Type -> Type). Quote m => Int -> Code m Int Исходный код

Generic1 (URec Int :: k -> Type) Исходный код
Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

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

С момента: base-4.9.0.0

Подробности экземпляра

Определено в 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)))

Методы

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Type) a -> URec Int a Исходный код

Eq1 (UInt :: Type -> Type) Исходный код

С момента: base-4.21.0.0

Подробности экземпляра

Определено в Data.Functor.Classes

Методы

liftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Исходный код

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

Instance details

Defined in Data.Functor.Classes

Краткое описание методов

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

Краткое описание методов

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

Краткое описание методов

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) Исходный код

С момента: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

fmap :: (a -> b) -> URec Int a -> URec Int b Исходный код

(<$) :: a -> URec Int b -> URec Int a Исходный код

Generic (URec Int p) Исходный код
Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

type Rep (URec Int p)

С момента: base-4.9.0.0

Подробности экземпляра

Определено в 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)))

Методы

from :: URec Int p -> Rep (URec Int p) x Исходный код

to :: Rep (URec Int p) x -> URec Int p Исходный код

Show (URec Int p) Исходный код

С момента: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

showsPrec :: Int -> URec Int p -> ShowS Исходный код

show :: URec Int p -> String Исходный код

showList :: [URec Int p] -> ShowS Исходный код

Eq (URec Int p) Исходный код

С момента: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

(==) :: URec Int p -> URec Int p -> Bool Исходный код

(/=) :: URec Int p -> URec Int p -> Bool Исходный код

Ord (URec Int p) Исходный код

С момента: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

compare :: URec Целое число p -> URec Целое число p -> Порядок Исходный код

(<) :: URec Целое число p -> URec Целое число p -> Булево Исходный код

(<=) :: URec Целое число p -> URec Целое число p -> Булево Исходный код

(>) :: URec Целое число p -> URec Целое число p -> Булево Исходный код

(>=) :: URec Целое число p -> URec Целое число p -> Булево Исходный код

max :: URec Целое число p -> URec Целое число p -> URec Целое число p Исходный код

min :: URec Целое число p -> URec Целое число p -> URec Целое число p Исходный код

data URec Целое число (p :: k) Исходный код

Используется для маркировки вхождений Int#

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

data URec Целое число (p :: k) = UInt {
  • uInt# :: Целое число#
}
type Rep1 (URec Целое число :: k -> Тип) Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep1 (URec Целое число :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'Ложь) (C1 ('MetaCons "UInt" 'PrefixI 'Истина) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Тип)))
type Rep (URec Целое число p) Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep (URec Целое число p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'Ложь) (C1 ('MetaCons "UInt" 'PrefixI 'Истина) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Тип -> Тип)))

data Int8 Исходный код

8-битовое целое со знаком

Экземпляры
Подробности экземпляров
PrintfArg Int8 Source

С версии: base-2.1

Подробности экземпляра

Определено в Text.Printf

Методы

formatArg :: Int8 -> FieldFormatter Source

parseFormat :: Int8 -> ModifierParser Source

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

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

С версии: 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

Instance details

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

Instance details

Defined in GHC.Internal.Int

Методы

minBound :: Int8 Source

maxBound :: Int8 Source

Enum Int8 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

(+) :: 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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

readsPrec :: Int -> ReadS Int8 Исходный код

readList :: ReadS [Int8] Исходный код

readPrec :: ReadPrec Int8 Исходный код

readListPrec :: ReadPrec [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

Методы

(==) :: Int8 -> Int8 -> Bool Исходный код

(/=) :: Int8 -> Int8 -> Bool Исходный код

Ord Int8 Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

compare :: Int8 -> Int8 -> Ordering Источник

(<) :: Int8 -> Int8 -> Bool Источник

(<=) :: Int8 -> Int8 -> Bool Источник

(>) :: Int8 -> Int8 -> Bool Источник

(>=) :: Int8 -> Int8 -> Bool Источник

max :: Int8 -> Int8 -> Int8 Источник

min :: Int8 -> Int8 -> Int8 Источник

Lift Int8 Источник
Подробности экземпляра

Определено в GHC.Internal.TH.Lift

Методы

lift :: Quote m => Int8 -> m Exp Источник

liftTyped :: forall (m :: Тип -> Тип). Quote m => Int8 -> Код m Int8 Источник

data Int16 Источник

16-битный целое со знаком тип

Экземпляры
Подробности экземпляров
PrintfArg Int16 Source

Since: base-2.1

Instance details

Определено в Text.Printf

Методы

formatArg :: Int16 -> FieldFormatter Source

parseFormat :: Int16 -> ModifierParser Source

Bits Int16 Source

Since: base-2.1

Instance details

Определено в GHC.Internal.Int

Методы

(.&.) :: 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

Определено в GHC.Internal.Int

Методы

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

Методы

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

Методы

minBound :: Int16 Source

maxBound :: Int16 Source

Enum Int16 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Методы

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 Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

sizeOf :: Int16 -> Int Исходный код

alignment :: Int16 -> Int Исходный код

peekElemOff :: Указатель Int16 -> Int -> IO Int16 Исходный код

pokeElemOff :: Указатель Int16 -> Int -> Int16 -> IO () Исходный код

peekByteOff :: Указатель b -> Int -> IO Int16 Исходный код

pokeByteOff :: Указатель b -> Int -> Int16 -> IO () Исходный код

peek :: Указатель Int16 -> IO Int16 Исходный код

poke :: Указатель Int16 -> Int16 -> IO () Исходный код

Ix Int16 Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

range :: (Int16, Int16) -> [Int16] Исходный код

index :: (Int16, Int16) -> Int16 -> Int Исходный код

unsafeIndex :: (Int16, Int16) -> Int16 -> Int Исходный код

inRange :: (Int16, Int16) -> Int16 -> Булево Исходный код

rangeSize :: (Int16, Int16) -> Int Исходный код

unsafeRangeSize :: (Int16, Int16) -> Int Исходный код

Num Int16 Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

(+) :: Int16 -> Int16 -> Int16 Исходный код

(-) :: Int16 -> Int16 -> Int16 Исходный код

(*) :: Int16 -> Int16 -> Int16 Исходный код

negate :: Int16 -> Int16 Исходный код

abs :: Int16 -> Int16 Исходный код

signum :: Int16 -> Int16 Исходный код

fromInteger :: Целое число -> Int16 Исходный код

Read Int16 Исходный код

С момента: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

readsPrec :: Int -> ReadS Int16 Исходный код

readList :: ReadS [Int16] Исходный код

readPrec :: ReadPrec Int16 Исходный код

readListPrec :: ReadPrec [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

Методы

(==) :: Int16 -> Int16 -> Bool Исходный код

(/=) :: Int16 -> Int16 -> Bool Исходный код

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

Методы

lift :: Quote m => Int16 -> m Exp Исходный код

liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16 Исходный код

data Int32 Исходный код

32-битное знаковое целое число

Экземпляры
Подробности экземпляров
PrintfArg Int32 Source

Since: base-2.1

Instance details

Определено в Text.Printf

Методы

formatArg :: Int32 -> FieldFormatter Source

parseFormat :: Int32 -> ModifierParser Source

Bits Int32 Source

Since: base-2.1

Instance details

Определено в GHC.Internal.Int

Методы

(.&.) :: 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

Определено в GHC.Internal.Int

Методы

finiteBitSize :: Int32 -> Int Source

countLeadingZeros :: Int32 -> Int Source

countTrailingZeros :: Int32 -> Int Source

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

Информация о реализации

Определено в GHC.Internal.Int

Методы

minBound :: Int32 Source

maxBound :: Int32 Source

Enum Int32 Source

Since: base-2.1

Информация о реализации

Определено в GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

(+) :: 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

Подробности экземпляра

Определено в GHC.Internal.Int

Краткое описание методов

readsPrec :: Int -> ReadS Int32 Source

readList :: ReadS [Int32] Source

readPrec :: ReadPrec Int32 Source

readListPrec :: ReadPrec [Int32] Source

Integral Int32 Source

Since: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Краткое описание методов

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

Подробности экземпляра

Определено в GHC.Internal.Int

Краткое описание методов

toRational :: Int32 -> Rational Source

Show Int32 Source

Since: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Краткое описание методов

showsPrec :: Int -> Int32 -> ShowS Source

show :: Int32 -> String Source

showList :: [Int32] -> ShowS Source

Eq Int32 Source

Since: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Краткое описание методов

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

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

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

Методы

lift :: Quote m => Int32 -> m Exp Исходный код

liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32 Исходный код

data Int64 Исходный код

64-битный знаковый целочисленный тип

Экземпляры
Сведения об экземплярах
PrintfArg Int64 Source

Since: base-2.1

Instance details

Defined in Text.Printf

Методы

formatArg :: Int64 -> FieldFormatter Source

parseFormat :: Int64 -> ModifierParser Source

Bits Int64 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Методы

(.&.) :: 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

Методы

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

Методы

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

Методы

minBound :: Int64 Source

maxBound :: Int64 Source

Enum Int64 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

(+) :: 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

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

readsPrec :: Int -> ReadS Int64 Исходный код

readList :: ReadS [Int64] Исходный код

readPrec :: ReadPrec Int64 Исходный код

readListPrec :: ReadPrec [Int64] Исходный код

Integral Int64 Исходный код

С тех пор как: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

quot :: Int64 -> Int64 -> Int64 Исходный код

rem :: Int64 -> Int64 -> Int64 Исходный код

div :: Int64 -> Int64 -> Int64 Исходный код

mod :: Int64 -> Int64 -> Int64 Исходный код

quotRem :: Int64 -> Int64 -> (Int64, Int64) Исходный код

divMod :: Int64 -> Int64 -> (Int64, Int64) Исходный код

toInteger :: Int64 -> Integer Исходный код

Real Int64 Исходный код

С тех пор как: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

toRational :: Int64 -> Rational Исходный код

Show Int64 Исходный код

С тех пор как: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

showsPrec :: Int -> Int64 -> ShowS Исходный код

show :: Int64 -> String Исходный код

showList :: [Int64] -> ShowS Исходный код

Eq Int64 Исходный код

С тех пор как: base-2.1

Подробности экземпляра

Определено в GHC.Internal.Int

Методы

(==) :: Int64 -> Int64 -> Bool Исходный код

(/=) :: Int64 -> Int64 -> Bool Исходный код

Ord Int64 Исходный код

С тех пор как: 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

Методы

lift :: Quote m => Int64 -> m Exp Исходный код

liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64 Исходный код

Примечания

  • Все арифметические операции выполняются по модулю 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API