haskell / 9 / libraries / base-4.17.0.0 / ghc-word.html

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

Description

Sized unsigned integral types: Word, Word8, Word16, Word32, and Word64.

data Word Source

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

Constructors

Instances
Instances details
Data Word Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Word -> Constr Source

dataTypeOf :: Word -> DataType Source

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

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

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

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

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

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

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

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

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

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

Storable Word Source

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word Source

Since: base-2.1

Instance details

Defined in GHC.Bits

FiniteBits Word Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Bits

Bounded Word Source

Since: base-2.1

Instance details

Defined in GHC.Enum

Enum Word Source

Since: base-2.1

Instance details

Defined in GHC.Enum

Ix Word Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Ix

Num Word Source

Since: base-2.1

Instance details

Defined in GHC.Num

Read Word Source

Since: base-4.5.0.0

Instance details

Defined in GHC.Read

Integral Word Source

Since: base-2.1

Instance details

Defined in GHC.Real

Real Word Source

Since: base-2.1

Instance details

Defined in GHC.Real

Methods

toRational :: Word -> Rational Source

Show Word Source

Since: base-2.1

Instance details

Defined in GHC.Show

PrintfArg Word Source

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word
Instance details

Defined in GHC.Classes

Methods

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

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

Ord Word
Instance details

Defined in GHC.Classes

Methods

compare :: Word -> Word -> Ordering Source

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

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

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

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

max :: Word -> Word -> Word Source

min :: Word -> Word -> Word Source

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

Defined in GHC.Generics

Associated Types

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

Methods

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

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

Foldable (UWord :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Foldable

Methods

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

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

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

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

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

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

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

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

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

toList :: UWord a -> [a] Source

null :: UWord a -> Bool Source

length :: UWord a -> Int Source

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

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

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

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

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

Traversable (UWord :: Type -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Traversable

Methods

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

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

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

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

Functor (URec Word :: Type -> Type) Source

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

Generic (URec Word p) Source
Instance details

Defined in GHC.Generics

Associated Types

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

Methods

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

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

Show (URec Word p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Eq (URec Word p) Source

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

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

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

data URec Word (p :: k) Source

Used for marking occurrences of Word#

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

data URec Word (p :: k) = UWord { }
type Rep1 (URec Word :: k -> Type) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

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

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

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

data Word8 Source

8-bit unsigned integer type

Constructors

Instances
Instances details
Data Word8 Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Word8 -> Constr Source

dataTypeOf :: Word8 -> DataType Source

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

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

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

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

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

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

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

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

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

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

Storable Word8 Source

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word8 Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word8 Source

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

Ord Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

data Word16 Source

16-bit unsigned integer type

Constructors

Instances
Instances details
Data Word16 Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Word16 -> Constr Source

dataTypeOf :: Word16 -> DataType Source

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

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

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

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

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

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

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

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

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

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

Storable Word16 Source

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word16 Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word16 Source

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

Ord Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

data Word32 Source

32-bit unsigned integer type

Constructors

Instances
Instances details
Data Word32 Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Word32 -> Constr Source

dataTypeOf :: Word32 -> DataType Source

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

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

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

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

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

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

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

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

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

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

Storable Word32 Source

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word32 Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word32 Source

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

Ord Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

data Word64 Source

64-bit unsigned integer type

Constructors

Instances
Instances details
Data Word64 Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Word64 -> Constr Source

dataTypeOf :: Word64 -> DataType Source

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

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

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

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

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

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

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

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

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

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

Storable Word64 Source

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word64 Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word64 Source

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

Ord Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Shifts

uncheckedShiftL64# :: Word64# -> Int# -> Word64# Source

uncheckedShiftRL64# :: Word64# -> Int# -> Word64# Source

Byte swapping

byteSwap16 :: Word16 -> Word16 Source

Reverse order of bytes in Word16.

Since: base-4.7.0.0

byteSwap32 :: Word32 -> Word32 Source

Reverse order of bytes in Word32.

Since: base-4.7.0.0

byteSwap64 :: Word64 -> Word64 Source

Reverse order of bytes in Word64.

Since: base-4.7.0.0

Bit reversal

bitReverse8 :: Word8 -> Word8 Source

Reverse the order of the bits in a Word8.

Since: base-4.14.0.0

bitReverse16 :: Word16 -> Word16 Source

Reverse the order of the bits in a Word16.

Since: base-4.14.0.0

bitReverse32 :: Word32 -> Word32 Source

Reverse the order of the bits in a Word32.

Since: base-4.14.0.0

bitReverse64 :: Word64 -> Word64 Source

Reverse the order of the bits in a Word64.

Since: base-4.14.0.0

Equality operators

See 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

geWord16 :: Word16 -> Word16 -> Bool Source

ltWord16 :: Word16 -> Word16 -> Bool Source

leWord16 :: Word16 -> Word16 -> Bool Source

eqWord32 :: Word32 -> Word32 -> Bool Source

neWord32 :: Word32 -> Word32 -> Bool Source

gtWord32 :: Word32 -> Word32 -> Bool Source

geWord32 :: Word32 -> Word32 -> Bool Source

ltWord32 :: Word32 -> Word32 -> Bool Source

leWord32 :: Word32 -> Word32 -> Bool Source

eqWord64 :: Word64 -> Word64 -> Bool Source

neWord64 :: Word64 -> Word64 -> Bool Source

gtWord64 :: Word64 -> Word64 -> Bool Source

geWord64 :: Word64 -> Word64 -> Bool Source

ltWord64 :: Word64 -> Word64 -> Bool Source

leWord64 :: Word64 -> Word64 -> Bool Source

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.4.2/docs/libraries/base-4.17.0.0/GHC-Word.html