GHC.Word
| Copyright | (c) The University of Glasgow 1997-2002 |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | cvs-ghc@haskell.org |
| Stability | internal |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Описание
Типы целых беззнаковых чисел с фиксированным размером: Word, Word8, Word16, Word32, и Word64.
A Word is an unsigned integral type, with the same size as Int.
Экземпляры
| Bounded Word | Since: base-2.1 |
| Enum Word | Since: base-2.1 |
| Eq Word | |
| Integral Word | Since: base-2.1 |
| 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 | Since: base-4.5.0.0 |
Определено в GHC.Read МетодыreadsPrec :: Int -> ReadS Word Исходный код readList :: ReadS [Word] Исходный код | |
| Real Word | Since: base-2.1 |
Определено в GHC.Real МетодыtoRational :: Word -> Rational Исходный код | |
| Show Word | Since: base-2.1 |
Определено в GHC.Show МетодыshowsPrec :: Int -> Word -> ShowS Исходный код show :: Word -> String Исходный код showList :: [Word] -> ShowS Исходный код | |
| Ix Word | Since: 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 | Since: base-4.6.0.0 |
Определено в Data.Bits | |
| Bits Word | Since: base-2.1 |
Определено в Data.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 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 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 | |
| Storable Word | Since: base-2.1 |
Определено в Foreign.Storable | |
| PrintfArg Word | Since: base-2.1 |
Определено в Text.Printf Краткое описание методовformatArg :: Word -> FieldFormatter Source parseFormat :: Word -> ModifierParser Source | |
| Generic1 (URec Word :: k -> Type) | Since: base-4.9.0.0 |
| Foldable (UWord :: Type -> Type) | Since: base-4.9.0.0 |
Определено в Data.Foldable Краткое описание методов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 | |
| Traversable (UWord :: Type -> Type) | Since: base-4.9.0.0 |
Определено в Data.Traversable | |
| Functor (URec Word :: Type -> Type) | Since: base-4.9.0.0 |
| Eq (URec Word p) | Since: base-4.9.0.0 |
| Ord (URec Word p) | Since: base-4.9.0.0 |
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 | |
| Show (URec Word p) | Since: base-4.9.0.0 |
| Generic (URec Word p) | Since: base-4.9.0.0 |
| data URec Word (p :: k) |
Используется для маркировки вхождений Since: base-4.9.0.0 |
| type Rep1 (URec Word :: k -> Type) | |
Определено в GHC.Generics | |
| type Rep (URec Word p) | |
Определено в GHC.Generics | |
8-битное беззнаковое целое число
Примеры реализации
| Ограниченный Word8 | С версии: base-2.1 |
Определено в GHC.Word | |
| Перечисление 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 |
| Целочисленный Word8 | С версии: base-2.1 |
| Данные 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 |
| PrintfArg Word8 | Since: base-2.1 |
Defined in Text.Printf | |
16-битный беззнаковый целочисленный тип
Экземпляры
| Bounded Word16 | Since: base-2.1 |
| Enum Word16 | Since: base-2.1 |
Defined in GHC.Word Методыsucc :: Word16 -> Word16 Source pred :: Word16 -> Word16 Source toEnum :: Int -> Word16 Source fromEnum :: Word16 -> Int Source enumFrom :: Word16 -> [Word16] Source enumFromThen :: Word16 -> Word16 -> [Word16] Source enumFromTo :: Word16 -> Word16 -> [Word16] Source enumFromThenTo :: Word16 -> Word16 -> Word16 -> [Word16] Source | |
| Eq Word16 | Since: base-2.1 |
| Integral Word16 | Since: base-2.1 |
Defined in GHC.Word | |
| 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 | Since: 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 | Since: base-2.1 |
| PrintfArg Word16 | Since: base-2.1 |
Определено в Text.Printf Методы | |
data Word32 Исходный код
32-битное целое без знака
Экземпляры
| Bounded Word32 | Since: base-2.1 |
Определено в GHC.Word | |
| Enum Word32 | Since: 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 | Since: base-2.1 |
| Integral Word32 | Since: 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 | 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) -> 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 | Since: 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 | Since: base-2.1 |
| PrintfArg Word32 | Since: base-2.1 |
Определено в Text.Printf Методы | |
data Word64 Исходный код
64-битный беззнаковый целочисленный тип
Экземпляры
| Bounded Word64 | Since: base-2.1 |
Определено в GHC.Word | |
| Enum Word64 | Since: 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] Исходный код | |
| Eq Word64 | Since: base-2.1 |
| Integral Word64 | Since: base-2.1 |
| Data Word64 | 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) -> 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 | Since: 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 | Since: base-2.1 |
| Read Word64 | С: base-2.1 |
| Действительное Word64 | С: base-2.1 |
Определено в GHC.Word Методы | |
| Show Word64 | С: base-2.1 |
| Индекс Word64 | С: base-2.1 |
Определено в GHC.Word Методыrange :: (Word64, Word64) -> [Word64] Источник index :: (Word64, Word64) -> Word64 -> Целое число Источник unsafeIndex :: (Word64, Word64) -> Word64 -> Целое число Источник inRange :: (Word64, Word64) -> Word64 -> Bool Источник rangeSize :: (Word64, Word64) -> Целое число Источник unsafeRangeSize :: (Word64, Word64) -> Целое число Источник | |
| Конечные биты Word64 | С: base-4.6.0.0 |
Определено в GHC.Word МетодыfiniteBitSize :: Word64 -> Целое число Источник | |
| Битсы Word64 | С: base-2.1 |
| PrintfArg Word64 | Since: base-2.1 |
Defined in Text.Printf | |
Сдвиги
uncheckedShiftL64# :: Word# -> Int# -> Word# Source
uncheckedShiftRL64# :: Word# -> Int# -> Word# Source
Перестановка байтов
byteSwap16 :: Word16 -> Word16 Source
Обратный порядок байтов в Word16.
Since: base-4.7.0.0
byteSwap32 :: Word32 -> Word32 Source
Обратный порядок байтов в Word32.
Since: base-4.7.0.0
byteSwap64 :: Word64 -> Word64 Source
Обратный порядок байтов в Word64.
Since: base-4.7.0.0
Инверсия битов
bitReverse8 :: Word8 -> Word8 Source
Инвертирует порядок битов в Word8.
Since: base-4.12.0.0
bitReverse16 :: Word16 -> Word16 Source
Инвертирует порядок битов в Word16.
Since: base-4.12.0.0
bitReverse32 :: Word32 -> Word32 Source
Инвертирует порядок битов в Word32.
Since: base-4.12.0.0
bitReverse64 :: Word64 -> Word64 Source
Инвертирует порядок битов в Word64.
Since: base-4.12.0.0
Операторы равенства
См. GHC.Classes#matching_overloaded_methods_in_rules
eqWord :: Word -> Word -> Bool Source
neWord :: Word -> Word -> Bool Source
gtWord :: Word -> Word -> Bool Source
geWord :: Word -> Word -> Bool Source
ltWord :: Word -> Word -> Bool Source
leWord :: Word -> Word -> Bool Source
eqWord8 :: Word8 -> Word8 -> Bool Source
neWord8 :: Word8 -> Word8 -> Bool Source
gtWord8 :: Word8 -> Word8 -> Bool Source
geWord8 :: Word8 -> Word8 -> Bool Source
ltWord8 :: Word8 -> Word8 -> Bool Source
leWord8 :: Word8 -> Word8 -> Bool Source
eqWord16 :: Word16 -> Word16 -> Bool Source
neWord16 :: Word16 -> Word16 -> Bool Source
gtWord16 :: Word16 -> Word16 -> Bool Source
leWord16 :: Word16 -> Word16 -> Bool Источник
eqWord32 :: Word32 -> Word32 -> Bool Источник
neWord32 :: Word32 -> Word32 -> Bool Источник
gtWord32 :: Word32 -> Word32 -> Bool Источник
geWord32 :: Word32 -> Word32 -> Bool Источник
ltWord32 :: Word32 -> Word32 -> Bool Источник
leWord32 :: Word32 -> Word32 -> Bool Источник
eqWord64 :: Word64 -> Word64 -> Bool Источник
neWord64 :: Word64 -> Word64 -> Bool Источник
gtWord64 :: Word64 -> Word64 -> Bool Источник
geWord64 :: Word64 -> Word64 -> Bool Источник
© 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/GHC-Word.html