Data.Word

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

Содержание

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

Описание

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

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

data Word Источник

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

Экземпляры

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

PrintfArg Word Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в Text.Printf Методы formatArg :: Word -> FieldFormatter Источник parseFormat :: Word -> ModifierParser Источник
Bits Word Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.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 Источник
FiniteBits Word Источник	Начиная с: base-4.6.0.0
Сведения об экземпляре Определён в GHC.Internal.Bits Методы finiteBitSize :: Word -> Int Источник countLeadingZeros :: Word -> Int Источник countTrailingZeros :: Word -> Int Источник
Eq Word Источник
Сведения об экземпляре Определён в GHC.Internal.Classes Методы (==) :: Word -> Word -> Bool Источник (/=) :: Word -> Word -> Bool Источник
Ord Word Источник
Сведения об экземпляре Определён в GHC.Internal.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 Источник
Data Word Источник	Начиная с: 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) -> 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 Источник
Bounded Word Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Enum Методы minBound :: Word Источник maxBound :: Word Источник
Enum Word Источник	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Enum Методы succ :: Word -> Word Источник pred :: Word -> Word Источник toEnum :: Int -> Word Источник fromEnum :: Word -> Int Источник enumFrom :: Word -> [Word] Источник enumFromThen :: Word -> Word -> [Word] Источник enumFromTo :: Word -> Word -> [Word] Источник enumFromThenTo :: Word -> Word -> Word -> [Word] Источник
Storable Word Источник	Начиная с: base-2.1

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

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

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

Начиная с: base-4.6.0.0

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

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

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

Начиная с: base-2.1

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

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

Методы

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

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

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

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

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

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

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

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

Начиная с: 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 Исходный код

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

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

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

Методы

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

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

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

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

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

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

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)))

Методы

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

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

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

Начиная с: base-4.21.0.0

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

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

Методы

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

Ord1 (UWord :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

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

Show1 (UWord :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Исходный код

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UWord a] -> ShowS Исходный код

Foldable (UWord :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

Сведения об экземпляре

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

Сведения об экземпляре

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

С версии: base-4.9.0.0

Сведения об экземпляре

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

Методы

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

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

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

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

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
Сведения об экземпляре Определено в GHC.Internal.Word Методы finiteBitSize :: Word8 -> Int Источник countLeadingZeros :: Word8 -> Int Источник countTrailingZeros :: Word8 -> Int Источник
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 Источник
Data Word8 Источник	Начиная с: 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) -> 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 Источник
Bounded Word8 Источник	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Word Методы minBound :: Word8 Источник maxBound :: Word8 Источник
Enum Word8 Источник	Начиная с: 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] Источник
Integral 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 Источник
Real Word8 Источник	С версии: base-2.1
Подробности экземпляра Определено в GHC.Internal.Word Методы toRational :: Word8 -> Rational Источник
Show Word8 Источник	С версии: base-2.1
Подробности экземпляра Определено в GHC.Internal.Word Методы showsPrec :: Int -> Word8 -> ShowS Источник show :: Word8 -> String Источник showList :: [Word8] -> ShowS Источник
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
Подробности экземпляра Определён в GHC.Internal.Word Методы finiteBitSize :: Word16 -> Int Исходный код countLeadingZeros :: Word16 -> Int Исходный код countTrailingZeros :: Word16 -> Int Исходный код
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 Исходный код
Data Word16 Исходный код	Начиная с: 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) -> 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 Исходный код
Bounded Word16 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определён в GHC.Internal.Word Методы minBound :: Word16 Исходный код maxBound :: Word16 Исходный код
Enum Word16 Исходный код	Начиная с: 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] Источник
Integral 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 Источник
Real Word16 Источник	С версии: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Word Методы toRational :: Word16 -> Rational Источник
Show Word16 Источник	С версии: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Word Методы showsPrec :: Int -> Word16 -> ShowS Источник show :: Word16 -> String Источник showList :: [Word16] -> ShowS Источник
Lift Word16 Источник
Сведения об экземпляре Определено в GHC.Internal.TH.Lift Методы lift :: Quote m => Word16 -> m Exp Источник liftTyped :: forall (m :: Type -> Type). Quote m => Word16 -> Code 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
Подробности экземпляра Определено в GHC.Internal.Word Методы finiteBitSize :: Word32 -> Int Источник countLeadingZeros :: Word32 -> Int Источник countTrailingZeros :: Word32 -> Int Источник
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 Источник
Data Word32 Источник	С версии: 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) -> 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 Источник
Bounded Word32 Источник	С версии: base-2.1
Подробности экземпляра Определено в GHC.Internal.Word Методы minBound :: Word32 Источник maxBound :: Word32 Источник
Enum Word32 Источник	С версии: 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] Исходный код
Integral 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 Исходный код
Real Word32 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.Word Методы toRational :: Word32 -> Rational Исходный код
Show Word32 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определено в GHC.Internal.Word Методы showsPrec :: Int -> Word32 -> ShowS Исходный код show :: Word32 -> String Исходный код showList :: [Word32] -> ShowS Исходный код
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 Исходный код countLeadingZeros :: Word64 -> Int Исходный код countTrailingZeros :: Word64 -> Int Исходный код
Eq Word64 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определён в GHC.Internal.Word Методы (==) :: Word64 -> Word64 -> Bool Исходный код (/=) :: Word64 -> Word64 -> Bool Исходный код
Ord Word64 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определён в GHC.Internal.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 Исходный код
Data Word64 Исходный код	Начиная с: 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 Исходный код 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 Исходный код
Bounded Word64 Исходный код	Начиная с: base-2.1
Подробности экземпляра Определён в GHC.Internal.Word Методы minBound :: Word64 Исходный код maxBound :: Word64 Исходный код
Enum Word64 Исходный код	Начиная с: 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] Исходный код
Integral 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 Исходный код
Real Word64 Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Word Методы toRational :: Word64 -> Rational Исходный код
Show Word64 Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определено в GHC.Internal.Word Методы showsPrec :: Int -> Word64 -> ShowS Исходный код show :: Word64 -> String Исходный код showList :: [Word64] -> ShowS Исходный код
Lift Word64 Исходный код
Сведения об экземпляре Определено в GHC.Internal.TH.Lift Методы lift :: Quote m => Word64 -> m Exp Исходный код liftTyped :: forall (m :: Type -> Type). Quote m => Word64 -> Code 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

Примечания

Все арифметические операции выполняются по модулю 2^n, где n — число битов в типе. Одно из неочевидных следствий этого состоит в том, что negate не должна вызывать ошибку при отрицательных аргументах.
Для преобразования между любыми двумя целочисленными типами используйте fromIntegral; она специализирована для всех распространённых случаев и поэтому должна работать достаточно быстро. При преобразовании типов слов в целочисленные типы и обратно сохраняется представление, а не знак.
Тип беззнакового целого числа неограниченного размера доступен через 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.14.1/docs/libraries/base-4.22.0.0-66f8/Data-Word.html