Spec-Zone.ru › Haskell 8

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

Содержание

  • Типы целых чисел со знаком
  • Примечания

Описание

Типы целых чисел со знаком

Типы целых чисел со знаком

data Int Source

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

Экземпляры
Подробная информация об экземплярах
Bounded Int

Since: base-2.1
Подробности экземпляра

Определено в GHC.Enum

Методы

minBound :: Int Source

maxBound :: Int Source

Enum Int

Since: base-2.1
Подробности экземпляра

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

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

Определено в GHC.Classes

Методы

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

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

Integral Int

Since: base-2.0.1
Подробности экземпляра

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

Методы

quot :: Int -> Int -> Int Source

rem :: Int -> Int -> Int Source

div :: Int -> Int -> Int Source

mod :: Int -> Int -> Int Source

quotRem :: Int -> Int -> (Int, Int) Source

divMod :: Int -> Int -> (Int, Int) Source

toInteger :: Int -> Integer Source

Data Int

Since: base-4.0.0.0
END_OF_DOCUMENT_MARKER
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int -> c Int Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int Исходный код

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

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

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int -> Int Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int -> m Int Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int -> m Int Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int -> m Int Исходный код

Num Int

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

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

Read Int

Since: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

Real Int

Since: base-2.0.1
Подробности экземпляра

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

Методы

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

Show Int

Since: base-2.1
Подробности экземпляра

Определено в GHC.Show

Методы

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

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

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

Ix Int

Since: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

FiniteBits Int

Since: base-4.6.0.0
Подробности экземпляра

Определено в Data.Bits

Методы

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

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

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

Bits Int

Since: base-2.1
Подробности экземпляра

Определено в Data.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 Источник

Storable Int

С: base-2.1
Подробности экземпляра

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

Методы

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

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

peekElemOff :: Ptr Int -> Int -> IO Int Источник

pokeElemOff :: Ptr Int -> Int -> Int -> IO () Источник

peekByteOff :: Ptr b -> Int -> IO Int Источник

pokeByteOff :: Ptr b -> Int -> Int -> IO () Источник

peek :: Ptr Int -> IO Int Источник

poke :: Ptr Int -> Int -> IO () Источник

PrintfArg Int

С: base-2.1
Instance details

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

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

formatArg :: Int -> FieldFormatter Source

parseFormat :: Int -> ModifierParser Source

Generic1 (URec Int :: k -> Type)

Since: base-4.9.0.0
Instance details

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

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

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

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

from1 :: forall (a :: k0). URec Int a -> Rep1 (URec Int) a Source

to1 :: forall (a :: k0). Rep1 (URec Int) a -> URec Int a Source

Foldable (UInt :: Type -> Type)

Since: base-4.9.0.0
Instance details

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

Since: base-4.9.0.0
Instance details

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

Since: base-4.9.0.0
Подробности экземпляра

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

Методы

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

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

Eq (URec Int p)

С версии: base-4.9.0.0
Подробности экземпляра

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

Методы

compare :: URec Int p -> URec Int p -> Ordering Исходный код

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

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

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

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

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

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

Show (URec Int p)

С версии: base-4.9.0.0
Подробности экземпляра

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

Методы

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

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

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

Generic (URec Int p)

С версии: base-4.9.0.0
Подробности экземпляра

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

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

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

Методы

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

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

data URec Int (p :: k)

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

С версии: base-4.9.0.0
Подробности экземпляра

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

data URec Int (p :: k) = UInt {
  • uInt# :: Int#
}
type Rep1 (URec Int :: k -> Type)
Подробности экземпляра

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

type Rep1 (URec Целое :: k -> Тип) = D1 ('MetaData "URec" "GHC.Generics" "base" 'Ложь) (C1 ('MetaCons "UInt" 'PrefixI 'Истина) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Тип)))
type Rep (URec Целое p)
Подробности экземпляра

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

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

data Int8 Источник

Целочисленный тип со знаком 8 бит

Примеры использования
Подробности примеров использования
Ограниченный Int8

С момента: base-2.1
Подробности примера

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

Методы

minBound :: Int8 Исходный код

maxBound :: Int8 Исходный код

Перечисление Int8

С момента: base-2.1
Подробности примера

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

Методы

succ :: Int8 -> Int8 Исходный код

pred :: Int8 -> Int8 Исходный код

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

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

enumFrom :: Int8 -> [Int8] Исходный код

enumFromThen :: Int8 -> Int8 -> [Int8] Исходный код

enumFromTo :: Int8 -> Int8 -> [Int8] Исходный код

enumFromThenTo :: Int8 -> Int8 -> Int8 -> [Int8] Исходный код

Равенство Int8

С момента: base-2.1
Подробности примера

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

Методы

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

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

Целочисленное Int8

С момента: base-2.1
Подробности примера

Определено в GHC.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 Исходный код

Данные Int8

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int8 -> c Int8 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int8 Исходный код

toConstr :: Int8 -> Constr Исходный код

dataTypeOf :: Int8 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Int8) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Int8) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int8 -> Int8 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int8 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int8 -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

gmapMp :: МонадныйСумма m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

gmapMo :: МонадныйСумма m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

Число Int8

С: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

Порядок Int8

С: base-2.1
Подробности экземпляра

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

Методы

compare :: Int8 -> Int8 -> Порядок Исходный код

(<) :: Int8 -> Int8 -> Булево Исходный код

(<=) :: Int8 -> Int8 -> Булево Исходный код

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

(>=) :: Int8 -> Int8 -> Булево Исходный код

max :: Int8 -> Int8 -> Int8 Исходный код

min :: Int8 -> Int8 -> Int8 Исходный код

Read Int8

Since: base-2.1
Подробности экземпляра

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

Методы

readsPrec :: Целое -> ReadS Int8 Исходный код

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

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

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

Вещественный Int8

Since: base-2.1
Подробности экземпляра

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

Методы

toRational :: Int8 -> Рациональное число Исходный код

Show Int8

Since: base-2.1
Подробности экземпляра

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

Методы

showsPrec :: Целое -> Int8 -> ShowS Исходный код

show :: Int8 -> Строка Исходный код

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

Ix Int8

Since: base-2.1
Подробности экземпляра

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

Методы

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

index :: (Int8, Int8) -> Int8 -> Целое Исходный код

unsafeIndex :: (Int8, Int8) -> Int8 -> Целое Исходный код

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

rangeSize :: (Int8, Int8) -> Целое Исходный код

unsafeRangeSize :: (Int8, Int8) -> Целое Исходный код

FiniteBits Int8

Since: base-4.6.0.0
Подробности экземпляра

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

Методы

finiteBitSize :: Int8 -> Целое Исходный код

countLeadingZeros :: Int8 -> Целое Исходный код

countTrailingZeros :: Int8 -> Целое Исходный код

Bits Int8

Since: base-2.1
Подробности экземпляра

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

Методы

(.&.) :: Int8 -> Int8 -> Int8 Исходный код

(.|.) :: Int8 -> Int8 -> Int8 Исходный код

xor :: Int8 -> Int8 -> Int8 Исходный код

complement :: Int8 -> Int8 Исходный код

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

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

zeroBits :: Int8 Исходный код

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

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

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

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

testBit :: Int8 -> Int -> Bool Исходный код

bitSizeMaybe :: Int8 -> Maybe Int Исходный код

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

isSigned :: Int8 -> Bool Исходный код

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

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

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

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

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

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

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

Storable Int8

Since: base-2.1
Подробности экземпляра

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

Методы

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

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

peekElemOff :: Ptr Int8 -> Int -> IO Int8 Исходный код

pokeElemOff :: Ptr Int8 -> Int -> Int8 -> IO () Исходный код

peekByteOff :: Ptr b -> Int -> IO Int8 Исходный код

pokeByteOff :: Ptr b -> Int -> Int8 -> IO () Исходный код

peek :: Ptr Int8 -> IO Int8 Исходный код

poke :: Ptr Int8 -> Int8 -> IO () Исходный код

PrintfArg Int8

Since: base-2.1
Информация о экземпляре

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

Методы

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

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

data Int16 Источник

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

Экземпляры
Информация о экземплярах
Bounded Int16

С версии: base-2.1
Информация о экземпляре

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

Методы

minBound :: Int16 Источник

maxBound :: Int16 Источник

Enum Int16

С версии: base-2.1
Информация о экземпляре

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

Методы

succ :: Int16 -> Int16 Источник

pred :: Int16 -> Int16 Источник

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

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

enumFrom :: Int16 -> [Int16] Источник

enumFromThen :: Int16 -> Int16 -> [Int16] Источник

enumFromTo :: Int16 -> Int16 -> [Int16] Источник

enumFromThenTo :: Int16 -> Int16 -> Int16 -> [Int16] Источник

Eq Int16

С версии: base-2.1
Информация о экземпляре

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

Методы

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

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

Integral Int16

С версии: base-2.1
Информация о экземпляре

Определено в GHC.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 Источник

Data Int16

С версии: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int16 -> c Int16 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int16 Исходный код

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

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

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int16) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int16) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int16 -> Int16 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int16 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int16 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Исходный код

Num Int16

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

Ord Int16

С момента: base-2.1
Подробности экземпляра

Определено в GHC.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 Исходный код

Read Int16

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

Real Int16

С момента: base-2.1
Подробности экземпляра

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

Методы

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

Show Int16

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

Ix Int16

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

FiniteBits Int16

С момента: base-4.6.0.0
Подробности экземпляра

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

Методы

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

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

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

Bits Int16

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

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

Storable Int16

С версии: base-2.1
Instance details

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

Методы

sizeOf :: Int16 -> Int Source

alignment :: Int16 -> Int Source

peekElemOff :: Ptr Int16 -> Int -> IO Int16 Source

pokeElemOff :: Ptr Int16 -> Int -> Int16 -> IO () Source

peekByteOff :: Ptr b -> Int -> IO Int16 Source

pokeByteOff :: Ptr b -> Int -> Int16 -> IO () Source

peek :: Ptr Int16 -> IO Int16 Source

poke :: Ptr Int16 -> Int16 -> IO () Source

PrintfArg Int16

Since: base-2.1
Подробности экземпляра

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

Методы

formatArg :: Int16 -> FieldFormatter Source

parseFormat :: Int16 -> ModifierParser Source

data Int32 Source

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

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

Since: base-2.1
Подробности экземпляра

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

Методы

minBound :: Int32 Source

maxBound :: Int32 Source

Enum Int32

Since: base-2.1
Подробности экземпляра

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

Eq Int32

Since: base-2.1
Подробности экземпляра

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

Методы

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

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

Integral Int32

Since: base-2.1
Подробности экземпляра

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

Data Int32

Since: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int32 -> c Int32 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int32 Исходный код

toConstr :: Int32 -> Constr Исходный код

dataTypeOf :: Int32 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int32) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int32) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int32 -> Int32 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int32 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int32 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

Num Int32

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

fromInteger :: Integer -> Int32 Исходный код

Ord Int32

С момента: base-2.1
Подробности экземпляра

Определено в GHC.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 Исходный код

Read Int32

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

Real Int32

С момента: base-2.1
Подробности экземпляра

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

Методы

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

Show Int32

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

Ix Int32

С момента: base-2.1
Подробности экземпляра

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

Методы

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

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

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

inRange :: (Int32, Int32) -> Int32 -> Bool Исходный код

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

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

FiniteBits Int32

С момента: base-4.6.0.0
Подробности экземпляра

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

Методы

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

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

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

Bits Int32

С момента: base-2.1
Подробности экземпляра

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

Storable Int32

С версии: base-2.1
Подробности экземпляра

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

PrintfArg Int32

Since: base-2.1
Сведения об экземпляре

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

Методы

formatArg :: Int32 -> FieldFormatter Исходный код

parseFormat :: Int32 -> ModifierParser Исходный код

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

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

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

Since: base-2.1
Сведения об экземпляре

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

Методы

minBound :: Int64 Исходный код

maxBound :: Int64 Исходный код

Enum Int64

Since: base-2.1
Сведения об экземпляре

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

Методы

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

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

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

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

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

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

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

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

Eq Int64

Since: base-2.1
Сведения об экземпляре

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

Методы

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

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

Integral Int64

Since: base-2.1
Сведения об экземпляре

Определено в GHC.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 Исходный код

Data Int64

Since: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int64 -> c Int64 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int64 Исходный код

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

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

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int64) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int64) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int64 -> Int64 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int64 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int64 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

Num Int64

С версии: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

Ord Int64

С версии: base-2.1
Подробности экземпляра

Определено в GHC.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 Исходный код

Read Int64

С версии: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

Real Int64

С версии: base-2.1
Подробности экземпляра

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

Методы

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

Show Int64

С версии: base-2.1
Подробности экземпляра

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

Методы

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

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

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

Ix Int64

С версии: base-2.1
Подробности экземпляра

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

Методы

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

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

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

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

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

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

FiniteBits Int64

С версии: base-4.6.0.0
Подробности экземпляра

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

Методы

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

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

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

Bits Int64

С версии: base-2.1
Информация об экземпляре

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

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

(.&.) :: Int64 -> Int64 -> Int64 Исходный код

(.|.) :: Int64 -> Int64 -> Int64 Исходный код

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

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

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

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

zeroBits :: Int64 Исходный код

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

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

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

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

testBit :: Int64 -> Int -> Bool Исходный код

bitSizeMaybe :: Int64 -> Maybe Int Исходный код

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

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

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

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

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

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

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

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

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

Storable Int64

С версии: base-2.1
Информация об экземпляре

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

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

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

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

peekElemOff :: Ptr Int64 -> Int -> IO Int64 Исходный код

pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO () Исходный код

peekByteOff :: Ptr b -> Int -> IO Int64 Исходный код

pokeByteOff :: Ptr b -> Int -> Int64 -> IO () Исходный код

peek :: Ptr Int64 -> IO Int64 Исходный код

poke :: Ptr Int64 -> Int64 -> IO () Исходный код

PrintfArg Int64

С момента: base-2.1
Детали экземпляра

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

Методы

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

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

Примечания

  • Все арифметические операции выполняются по модулю 2n, где n — количество битов в типе.
  • Для преобразования между любыми двумя целочисленными типами используйте fromIntegral, который специализирован для всех распространенных случаев и, следовательно, должен быть достаточно быстрым. Преобразование типов слов (см. 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/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Int.html

Spec-Zone.ru

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