Spec-Zone.ru › Haskell 8

Data.Word

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 Safe
Language Haskell2010

Содержание

  • Беззнаковые целочисленные типы
  • Обращение байтов
  • Обращение битов
  • Примечания

Описание

Беззнаковые целочисленные типы.

Беззнаковые целочисленные типы

data Word Source

A Word is an unsigned integral type, with the same size as Int.

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

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

Defined in GHC.Enum

Методы

minBound :: Word Source

maxBound :: Word Source

Enum Word

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

Defined in GHC.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

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

Defined in GHC.Classes

Методы

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

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

Integral Word

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

Defined in GHC.Real

Методы

quot :: Word -> Word -> Word Source

rem :: Word -> Word -> Word Source

div :: Word -> Word -> Word Source

mod :: Word -> Word -> Word Source

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

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

toInteger :: Word -> Integer Source

Data Word

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) -> Word -> c Word Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word Источник

toConstr :: Word -> Constr Источник

dataTypeOf :: Word -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word) Источник

gmapT :: (forall b. Data b => b -> b) -> Word -> Word Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Word -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word -> m Word Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Источник

Num Word

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

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

Методы

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

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

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

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

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

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

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

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

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

Методы

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

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

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

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

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

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

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

Read Word

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

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

Методы

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

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

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

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

Real Word

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

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

Методы

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

Show Word

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

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

Методы

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

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

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

Ix Word

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

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

Методы

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

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

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

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

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

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

FiniteBits Word

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

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

Методы

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

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

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

Bits Word

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Storable Word

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

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

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

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

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

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

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

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

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

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

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

PrintfArg Word

С версии: base-2.1
Подробности о реализации

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

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

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

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

Generic1 (URec Word :: k -> Type)

С версии: base-4.9.0.0
Подробности о реализации

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

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

type Rep1 (URec Word) :: k -> Type Исходный код

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

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

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

Foldable (UWord :: Type -> Type)

С версии: base-4.9.0.0
Подробности о реализации

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

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

fold :: Monoid m => UWord m -> m Исходный код

foldMap :: Monoid m => (a -> m) -> UWord a -> m Исходный код

foldMap' :: Monoid m => (a -> m) -> UWord a -> m Исходный код

foldr :: (a -> b -> b) -> b -> UWord a -> b Исходный код

foldr' :: (a -> b -> b) -> b -> UWord a -> b Исходный код

foldl :: (b -> a -> b) -> b -> UWord a -> b Исходный код

foldl' :: (b -> a -> b) -> b -> UWord a -> b Исходный код

foldr1 :: (a -> a -> a) -> UWord a -> a Исходный код

foldl1 :: (a -> a -> a) -> UWord a -> a Исходный код

toList :: UWord a -> [a] Исходный код

null :: UWord a -> Bool Исходный код

length :: UWord a -> Int Исходный код

elem :: Eq a => a -> UWord a -> Bool Исходный код

maximum :: Ord a => UWord a -> a Исходный код

minimum :: Ord a => UWord a -> a Исходный код

sum :: Num a => UWord a -> a Исходный код

product :: Num a => UWord a -> a Исходный код

Traversable (UWord :: Type -> Type)

С версии: base-4.9.0.0
Подробности о реализации

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

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

traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) Исходный код

sequenceA :: Applicative f => UWord (f a) -> f (UWord a) Исходный код

mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) Исходный код

sequence :: Monad m => UWord (m a) -> m (UWord a) Исходный код

Functor (URec Word :: Type -> Type)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

fmap :: (a -> b) -> URec Word a -> URec Word b Source

(<$) :: a -> URec Word b -> URec Word a Source

Eq (URec Word p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

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

(/=) :: URec Word p -> URec Word p -> Bool Source

Ord (URec Word p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Методы

compare :: URec Word p -> URec Word p -> Ordering Source

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

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

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

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

max :: URec Word p -> URec Word p -> URec Word p Source

min :: URec Word p -> URec Word p -> URec Word p Source

Show (URec Word p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

showsPrec :: Int -> URec Word p -> ShowS Source

show :: URec Word p -> String Source

showList :: [URec Word p] -> ShowS Source

Generic (URec Word p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

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

type Rep (URec Word p) :: Type -> Type Source

Методы

from :: URec Word p -> Rep (URec Word p) x Source

to :: Rep (URec Word p) x -> URec Word p Source

data URec Word (p :: k)

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

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

data URec Word (p :: k) = UWord {
  • uWord# :: Word#
}
type Rep1 (URec Слово :: k -> Тип)
Подробности экземпляра

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

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

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

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

data Word8 Источник

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

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

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

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

Методы

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

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

Перечислимый Word8

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

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

Равенство Word8

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

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

Методы

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

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

Целочисленный Word8

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

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

Данные Word8

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Num Word8

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

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

Методы

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

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

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

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

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

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

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

Ord Word8

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

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

Read Word8

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

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

Методы

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

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

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

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

Real Word8

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

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

Методы

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

Show Word8

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

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

Методы

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

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

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

Ix Word8

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

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

FiniteBits Word8

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

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

Методы

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

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

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

Bits Word8

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

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

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

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

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

xor :: Word8 -> Word8 -> Word8 Source

complement :: Word8 -> Word8 Source

shift :: Word8 -> Int -> Word8 Source

rotate :: Word8 -> Int -> Word8 Source

zeroBits :: Word8 Source

bit :: Int -> Word8 Source

setBit :: Word8 -> Int -> Word8 Source

clearBit :: Word8 -> Int -> Word8 Source

complementBit :: Word8 -> Int -> Word8 Source

testBit :: Word8 -> Int -> Bool Source

bitSizeMaybe :: Word8 -> Maybe Int Source

bitSize :: Word8 -> Int Source

isSigned :: Word8 -> Bool Source

shiftL :: Word8 -> Int -> Word8 Source

unsafeShiftL :: Word8 -> Int -> Word8 Source

shiftR :: Word8 -> Int -> Word8 Source

unsafeShiftR :: Word8 -> Int -> Word8 Source

rotateL :: Word8 -> Int -> Word8 Source

rotateR :: Word8 -> Int -> Word8 Source

popCount :: Word8 -> Int Source

Storable Word8

Since: base-2.1
Instance details

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

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

sizeOf :: Word8 -> Int Source

alignment :: Word8 -> Int Source

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

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

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

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

peek :: Ptr Word8 -> IO Word8 Source

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

PrintfArg Word8

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

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

Методы

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

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

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

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

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

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

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

Методы

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

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

Enum Word16

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

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

Eq Word16

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

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

Методы

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

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

Integral Word16

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

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

Data Word16

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) -> Word16 -> c Word16 Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word16 Источник

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

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

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word16) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word16) Источник

gmapT :: (forall b. Data b => b -> b) -> Word16 -> Word16 Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Word16 -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word16 -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Источник

Num Word16

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

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

Методы

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

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

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

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

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

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

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

Ord Word16

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

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

Read Word16

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

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

Методы

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

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

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

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

Real Word16

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

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

Методы

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

Show Word16

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

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

Методы

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

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

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

Ix Word16

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

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

FiniteBits Word16

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

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

Методы

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

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

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

Bits Word16

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

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

Методы

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

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

xor :: Word16 -> Word16 -> Word16 Source

complement :: Word16 -> Word16 Source

shift :: Word16 -> Int -> Word16 Source

rotate :: Word16 -> Int -> Word16 Source

zeroBits :: Word16 Source

bit :: Int -> Word16 Source

setBit :: Word16 -> Int -> Word16 Source

clearBit :: Word16 -> Int -> Word16 Source

complementBit :: Word16 -> Int -> Word16 Source

testBit :: Word16 -> Int -> Bool Source

bitSizeMaybe :: Word16 -> Maybe Int Source

bitSize :: Word16 -> Int Source

isSigned :: Word16 -> Bool Source

shiftL :: Word16 -> Int -> Word16 Source

unsafeShiftL :: Word16 -> Int -> Word16 Source

shiftR :: Word16 -> Int -> Word16 Source

unsafeShiftR :: Word16 -> Int -> Word16 Source

rotateL :: Word16 -> Int -> Word16 Source

rotateR :: Word16 -> Int -> Word16 Source

popCount :: Word16 -> Int Source

Storable Word16

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

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

PrintfArg Word16

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

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

Методы

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

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

data Word32 Источник

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

Примеры реализации
Подробности примеров реализации
Bounded Word32

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

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

Методы

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

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

Enum Word32

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

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

Eq Word32

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

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

Методы

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

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

Integral Word32

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

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

Data Word32

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Num Word32

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

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

Методы

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

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

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

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

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

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

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

Ord Word32

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

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

Read Word32

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

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

Методы

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

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

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

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

Действительное Word32

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

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

Методы

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

Show Word32

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

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

Методы

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

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

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

Ix Word32

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

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

FiniteBits Word32

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

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

Методы

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

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

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

Биты Word32

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

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

Storable Word32

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

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

PrintfArg Word32

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

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

Методы

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

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

data Word64 Источник

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

Примеры
Подробности примеров
Ограниченный Word64

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

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

Методы

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

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

Перечислимый Word64

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

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

Равенство Word64

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

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

Методы

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

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

Целочисленный Word64

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

Определено в GHC.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-4.0.0.0
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Num Word64

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

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

Методы

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

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

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

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

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

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

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

Ord Word64

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

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

Методы

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

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

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

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

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

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

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

Read Word64

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

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

Методы

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

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

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

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

Real Word64

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

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

Методы

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

Show Word64

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

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

Методы

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

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

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

Ix Word64

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

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

FiniteBits Word64

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

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

Методы

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

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

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

Bits Word64

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

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

Storable Word64

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

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

PrintfArg Word64

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

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

Методы

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

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

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

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.12.0.0

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

Обратный порядок битов в Word16.

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

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

Обратный порядок битов в Word32.

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

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

Обратный порядок битов в Word64.

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

Примечания

  • Все арифметические операции выполняются по модулю 2^n, где 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/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Word.html

Spec-Zone.ru

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