Spec-Zone.ru › Haskell 9

Data.Word

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

Содержание

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

Описание

Целые типы без знака.

Целые типы без знака

data Word Источник

A Word представляет собой целый тип без знака, с тем же размером, что и Int.

Примеры реализации
Подробности примеров реализации
PrintfArg Word Source

Since: base-2.1

Instance details

Defined in Text.Printf

Методы

formatArg :: Word -> FieldFormatter Source

parseFormat :: Word -> ModifierParser Source

Bits Word Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Bits

Методы

(.&.) :: Word -> Word -> Word Source

(.|.) :: Word -> Word -> Word Source

xor :: Word -> Word -> Word Source

complement :: Word -> Word Source

shift :: Word -> Int -> Word Source

rotate :: Word -> Int -> Word Source

zeroBits :: Word Source

bit :: Int -> Word Source

setBit :: Word -> Int -> Word Source

clearBit :: Word -> Int -> Word Source

complementBit :: Word -> Int -> Word Source

testBit :: Word -> Int -> Bool Source

bitSizeMaybe :: Word -> Maybe Int Source

bitSize :: Word -> Int Source

isSigned :: Word -> Bool Source

shiftL :: Word -> Int -> Word Source

unsafeShiftL :: Word -> Int -> Word Source

shiftR :: Word -> Int -> Word Source

unsafeShiftR :: Word -> Int -> Word Source

rotateL :: Word -> Int -> Word Source

rotateR :: Word -> Int -> Word Source

popCount :: Word -> Int Source

FiniteBits Word Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Bits

Методы

finiteBitSize :: Word -> Int Source

countLeadingZeros :: Word -> Int Source

countTrailingZeros :: Word -> Int Source

Data Word 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) -> Word -> c Word Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word Source

toConstr :: Word -> Constr Source

dataTypeOf :: Word -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word) Source

gmapT :: (forall b. Data b => b -> b) -> Word -> Word Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Word -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word -> m Word Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Source

Bounded Word Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Методы

minBound :: Word Source

maxBound :: Word Source

Enum Word Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Методы

succ :: Word -> Word Source

pred :: Word -> Word Source

toEnum :: Int -> Word Source

fromEnum :: Word -> Int Source

enumFrom :: Word -> [Word] Source

enumFromThen :: Word -> Word -> [Word] Source

enumFromTo :: Word -> Word -> [Word] Source

enumFromThenTo :: Word -> Word -> Word -> [Word] Source

Storable Word Source

Since: base-2.1

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

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

Методы

sizeOf :: Word -> Int Source

alignment :: Word -> Int Source

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

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

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

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

peek :: Ptr Word -> IO Word Source

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

Ix Word Source

Since: base-4.6.0.0

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

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

Методы

range :: (Word, Word) -> [Word] Source

index :: (Word, Word) -> Word -> Int Source

unsafeIndex :: (Word, Word) -> Word -> Int Source

inRange :: (Word, Word) -> Word -> Bool Source

rangeSize :: (Word, Word) -> Int Source

unsafeRangeSize :: (Word, Word) -> Int Source

Num Word Source

Since: base-2.1

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

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

Методы

(+) :: Word -> Word -> Word Source

(-) :: Word -> Word -> Word Source

(*) :: Word -> Word -> Word Source

negate :: Word -> Word Source

abs :: Word -> Word Source

signum :: Word -> Word Source

fromInteger :: Integer -> Word Source

Read Word Source

Since: base-4.5.0.0

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

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

Методы

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

Методы

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

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

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

Eq Word Исходный код
Подробности экземпляра

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

Методы

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

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

Ord Word Исходный код
Instance details

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

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

compare :: Word -> Word -> Ordering Source

(<) :: Word -> Word -> Bool Source

(<=) :: Word -> Word -> Bool Source

(>) :: Word -> Word -> Bool Source

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

max :: Word -> Word -> Word Source

min :: Word -> Word -> Word Source

Lift Word Source
Instance details

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

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

lift :: Quote m => Word -> m Exp Source

liftTyped :: forall (m :: Type -> Type). Quote m => Word -> Code m Word Source

Generic1 (URec Word :: k -> Type) Source
Instance details

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

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

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

С версии: base-4.9.0.0

Instance details

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

type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))

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

from1 :: forall (a :: k). URec Word a -> Rep1 (URec Word :: k -> Type) a Source

to1 :: forall (a :: k). Rep1 (URec Word :: k -> Type) a -> URec Word a Source

Eq1 (UWord :: Type -> Type) Source

С версии: base-4.21.0.0

Instance details

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

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

liftEq :: (a -> b -> Bool) -> UWord a -> UWord b -> Bool Source

Ord1 (UWord :: Type -> Type) Source

С версии: base-4.21.0.0

Instance details

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

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

liftCompare :: (a -> b -> Ordering) -> UWord a -> UWord b -> Ordering Source

Show1 (UWord :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Source

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UWord a] -> ShowS Source

Foldable (UWord :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UWord m -> m Source

foldMap :: Monoid m => (a -> m) -> UWord a -> m Source

foldMap' :: Monoid m => (a -> m) -> UWord a -> m Source

foldr :: (a -> b -> b) -> b -> UWord a -> b Source

foldr' :: (a -> b -> b) -> b -> UWord a -> b Source

foldl :: (b -> a -> b) -> b -> UWord a -> b Source

foldl' :: (b -> a -> b) -> b -> UWord a -> b Source

foldr1 :: (a -> a -> a) -> UWord a -> a Source

foldl1 :: (a -> a -> a) -> UWord a -> a Source

toList :: UWord a -> [a] Source

null :: UWord a -> Bool Source

length :: UWord a -> Int Source

elem :: Eq a => a -> UWord a -> Bool Source

maximum :: Ord a => UWord a -> a Source

minimum :: Ord a => UWord a -> a Source

sum :: Num a => UWord a -> a Source

product :: Num a => UWord a -> a Source

Traversable (UWord :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) Source

sequenceA :: Applicative f => UWord (f a) -> f (UWord a) Source

mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) Source

sequence :: Monad m => UWord (m a) -> m (UWord a) Source

Functor (URec Word :: Type -> Type) Источник

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

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

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

Методы

fmap :: (a -> b) -> URec Word a -> URec Word b Источник

(<$) :: a -> URec Word b -> URec Word a Источник

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

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

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

type Rep (URec Word p)

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

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

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

type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

Методы

from :: URec Word p -> Rep (URec Word p) x Источник

to :: Rep (URec Word p) x -> URec Word p Источник

Show (URec Word p) Источник

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

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

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

Методы

showsPrec :: Int -> URec Word p -> ShowS Источник

show :: URec Word p -> String Источник

showList :: [URec Word p] -> ShowS Источник

Eq (URec Word p) Источник

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

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

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

Методы

(==) :: URec Word p -> URec Word p -> Bool Источник

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

Ord (URec Word p) Источник

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

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

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

Методы

compare :: URec Word p -> URec Word p -> Ordering Источник

(<) :: URec Word p -> URec Word p -> Bool Источник

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

(>) :: URec Word p -> URec Word p -> Bool Источник

(>=) :: URec Word p -> URec Word p -> Bool Источник

max :: URec Word p -> URec Word p -> URec Word p Источник

min :: URec Word p -> URec Word p -> URec Word p Источник

data URec Word (p :: k) Источник

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

С версии: base-4.9.0.0

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

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

data URec Word (p :: k) = UWord {
  • uWord# :: Word#
}
type Rep1 (URec Word :: k -> Type) Источник

С версии: base-4.9.0.0

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

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

type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))
type Rep (URec Word p) Источник

С версии: base-4.9.0.0

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

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

type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

data Word8 Источник

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

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

С версии: base-2.1

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

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

Методы

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

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

Bits Word8 Источник

С версии: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FiniteBits Word8 Источник

С версии: base-4.6.0.0

Instance details

Defined in GHC.Internal.Word

Методы

finiteBitSize :: Word8 -> Int Source

countLeadingZeros :: Word8 -> Int Source

countTrailingZeros :: Word8 -> Int Source

Data Word8 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) -> Word8 -> c Word8 Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 Source

toConstr :: Word8 -> Constr Source

dataTypeOf :: Word8 -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word8) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word8) Source

gmapT :: (forall b. Data b => b -> b) -> Word8 -> Word8 Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Word8 -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word8 -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source

Bounded Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Методы

minBound :: Word8 Source

maxBound :: Word8 Source

Enum Word8 Source

Since: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

Storable Word8 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

Методы

(+) :: Word8 -> Word8 -> Word8 Источник

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

(*) :: Word8 -> Word8 -> Word8 Источник

negate :: Word8 -> Word8 Источник

abs :: Word8 -> Word8 Источник

signum :: Word8 -> Word8 Источник

fromInteger :: Integer -> Word8 Источник

Read Word8 Источник

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

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

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

Методы

readsPrec :: Int -> ReadS Word8 Источник

readList :: ReadS [Word8] Источник

readPrec :: ReadPrec Word8 Источник

readListPrec :: ReadPrec [Word8] Источник

Целочисленный Word8 Источник

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

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

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

Методы

quot :: Word8 -> Word8 -> Word8 Источник

rem :: Word8 -> Word8 -> Word8 Источник

div :: Word8 -> Word8 -> Word8 Источник

mod :: Word8 -> Word8 -> Word8 Источник

quotRem :: Word8 -> Word8 -> (Word8, Word8) Источник

divMod :: Word8 -> Word8 -> (Word8, Word8) Источник

toInteger :: Word8 -> Integer Источник

Вещественный Word8 Источник

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

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

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

Методы

toRational :: Word8 -> Рациональное Источник

Show Word8 Источник

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

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

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

Методы

showsPrec :: Int -> Word8 -> ShowS Источник

show :: Word8 -> Строка Источник

showList :: [Word8] -> ShowS Источник

Eq Word8 Источник

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

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

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

Методы

== :: Word8 -> Word8 -> Bool Исходный код

/= :: Word8 -> Word8 -> Bool Исходный код

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

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

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

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

Методы

compare :: Word8 -> Word8 -> Ordering Исходный код

< :: Word8 -> Word8 -> Bool Исходный код

<= :: Word8 -> Word8 -> Bool Исходный код

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

>= :: Word8 -> Word8 -> Bool Исходный код

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

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

Lift Word8 Исходный код
Подробности экземпляра

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

Методы

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

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

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

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

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

С версии: base-2.1

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

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

Методы

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

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

Bits Word16 Источник

С версии: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FiniteBits Word16 Источник

С версии: base-4.6.0.0

Instance details

Defined in GHC.Internal.Word

Методы

finiteBitSize :: Word16 -> Int Source

countLeadingZeros :: Word16 -> Int Source

countTrailingZeros :: Word16 -> Int Source

Data Word16 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) -> Word16 -> c Word16 Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word16 Source

toConstr :: Word16 -> Constr Source

dataTypeOf :: Word16 -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word16) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word16) Source

gmapT :: (forall b. Data b => b -> b) -> Word16 -> Word16 Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Word16 -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word16 -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Source

Bounded Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Методы

minBound :: Word16 Source

maxBound :: Word16 Source

Enum Word16 Source

Since: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

Storable Word16 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

Целочисленный Word16 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

Действительный Word16 Исходный код

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

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

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

Методы

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

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

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

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

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

Методы

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

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

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

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

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

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

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

Методы

== :: Word16 -> Word16 -> Bool Исходный код

/= :: Word16 -> Word16 -> Bool Исходный код

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

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

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

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

Методы

compare :: Word16 -> Word16 -> Ordering Исходный код

< :: Word16 -> Word16 -> Bool Исходный код

<= :: Word16 -> Word16 -> Bool Исходный код

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

>= :: Word16 -> Word16 -> Bool Исходный код

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

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

Lift Word16 Исходный код
Подробности экземпляра

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

Методы

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

liftTyped :: forall (m :: Тип -> Тип). Quote m => Word16 -> Код m Word16 Исходный код

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

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

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

С версии: base-2.1

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

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

Методы

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

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

Bits Word32 Источник

С версии: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FiniteBits Word32 Источник

С версии: base-4.6.0.0

Instance details

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

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

finiteBitSize :: Word32 -> Int Source

countLeadingZeros :: Word32 -> Int Source

countTrailingZeros :: Word32 -> Int Source

Data Word32 Source

Since: base-4.0.0.0

Instance details

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

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

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word32 -> c Word32 Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word32 Source

toConstr :: Word32 -> Constr Source

dataTypeOf :: Word32 -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word32) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word32) Source

gmapT :: (forall b. Data b => b -> b) -> Word32 -> Word32 Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word32 -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word32 -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Word32 -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word32 -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Source

Bounded Word32 Source

Since: base-2.1

Instance details

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

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

minBound :: Word32 Source

maxBound :: Word32 Source

Enum Word32 Source

Since: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

Storable Word32 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

Целочисленное Word32 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

Вещественное Word32 Исходный код

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

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

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

Методы

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

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

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

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

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

Методы

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

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

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

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

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

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

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

Методы

== :: Word32 -> Word32 -> Bool Исходный код

/= :: Word32 -> Word32 -> Bool Исходный код

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

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

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

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

Методы

compare :: Word32 -> Word32 -> Ordering Исходный код

< :: Word32 -> Word32 -> Bool Исходный код

<= :: Word32 -> Word32 -> Bool Исходный код

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

>= :: Word32 -> Word32 -> Bool Исходный код

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

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

Lift Word32 Исходный код
Подробности экземпляра

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

Методы

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

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

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

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

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

С версии: base-2.1

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

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

Методы

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

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

Bits Word64 Источник

С версии: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FiniteBits Word64 Источник

С версии: base-4.6.0.0

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

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

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

finiteBitSize :: Word64 -> Int Source

countLeadingZeros :: Word64 -> Int Source

countTrailingZeros :: Word64 -> Int Source

Data Word64 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) -> Word64 -> c Word64 Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word64 Source

toConstr :: Word64 -> Constr Source

dataTypeOf :: Word64 -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word64) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word64) Source

gmapT :: (forall b. Data b => b -> b) -> Word64 -> Word64 Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word64 -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word64 -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Word64 -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word64 -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Source

Bounded Word64 Source

Since: base-2.1

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

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

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

minBound :: Word64 Source

maxBound :: Word64 Source

Enum Word64 Source

Since: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

Storable Word64 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

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

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

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

Методы

(+) :: Word64 -> Word64 -> Word64 Источник

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

(*) :: Word64 -> Word64 -> Word64 Источник

negate :: Word64 -> Word64 Источник

abs :: Word64 -> Word64 Источник

signum :: Word64 -> Word64 Источник

fromInteger :: Integer -> Word64 Источник

Read Word64 Источник

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

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

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

Методы

readsPrec :: Int -> ReadS Word64 Источник

readList :: ReadS [Word64] Источник

readPrec :: ReadPrec Word64 Источник

readListPrec :: ReadPrec [Word64] Источник

Целочисленная Word64 Источник

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

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

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

Методы

quot :: Word64 -> Word64 -> Word64 Источник

rem :: Word64 -> Word64 -> Word64 Источник

div :: Word64 -> Word64 -> Word64 Источник

mod :: Word64 -> Word64 -> Word64 Источник

quotRem :: Word64 -> Word64 -> (Word64, Word64) Источник

divMod :: Word64 -> Word64 -> (Word64, Word64) Источник

toInteger :: Word64 -> Integer Источник

Вещественный Word64 Источник

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

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

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

Методы

toRational :: Word64 -> Рациональное Источник

Вывод Word64 Источник

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

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

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

Методы

showsPrec :: Int -> Word64 -> ShowS Источник

show :: Word64 -> Строка Источник

showList :: [Word64] -> ShowS Источник

Eq Word64 Источник

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

Детали экземпляра

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

Методы

равно :: Word64 -> Word64 -> Bool Исходный код

не равно :: Word64 -> Word64 -> Bool Исходный код

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

С версии: base-2.1

Детали экземпляра

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

Методы

сравнение :: Word64 -> Word64 -> Ordering Исходный код

(меньше) :: Word64 -> Word64 -> Bool Исходный код

(меньше или равно) :: Word64 -> Word64 -> Bool Исходный код

(больше) :: Word64 -> Word64 -> Bool Исходный код

(больше или равно) :: Word64 -> Word64 -> Bool Исходный код

максимум :: Word64 -> Word64 -> Word64 Исходный код

минимум :: Word64 -> Word64 -> Word64 Исходный код

Поднятие Word64 Исходный код
Детали экземпляра

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

Методы

поднять :: Цитата m => Word64 -> m Выражение Исходный код

поднять типизированный :: forall (m :: Тип -> Тип). Цитата m => Word64 -> Код m Word64 Исходный код

Перестановка байтов

byteSwap16 :: Word16 -> Word16 Исходный код

Изменение порядка байтов в Word16.

С версии: base-4.7.0.0

byteSwap32 :: Word32 -> Word32 Исходный код

Изменение порядка байтов в Word32.

С версии: base-4.7.0.0

byteSwap64 :: Word64 -> Word64 Исходный код

Изменение порядка байтов в Word64.

С версии: base-4.7.0.0

Инвертирование битов

bitReverse8 :: Word8 -> Word8 Исходный код

Инвертирование порядка битов в Word8.

С версии: base-4.14.0.0

bitReverse16 :: Word16 -> Word16 Исходный код

Инвертирование порядка битов в Word16.

С версии: base-4.14.0.0

bitReverse32 :: Word32 -> Word32 Исходный код

Инвертирование порядка битов в Word32.

С версии: base-4.14.0.0

bitReverse64 :: Word64 -> Word64 Исходный код

Инвертирование порядка битов в Word64.

С версии: base-4.14.0.0

Примечания

  • Все арифметические операции выполняются по модулю 2n, где n — количество битов в типе. Одним из неочевидных последствий этого является то, что negate не должно генерировать ошибку при отрицательных аргументах.
  • Для преобразования между любыми двумя целочисленными типами используйте fromIntegral, который специализируется на всех распространённых случаях, поэтому должен быть достаточно быстрым. Преобразование типов word в целочисленные типы и обратно сохраняет представление, а не знак.
  • Тип безграничного размера целых без знака доступен с помощью Natural.
  • Правила, которые выполняются для Enum экземпляров над ограниченным типом, таким как Int (см. раздел отчета Haskell, посвящённый арифметическим последовательностям), также выполняются для Enum экземпляров над различными Word типами, определёнными здесь.
  • Сдвиги вправо и влево на значения, большие или равные ширине типа, приводят к нулевому результату. Это противоречит поведению в 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-Word.html

Spec-Zone.ru

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