base-4.16.0.0: Basic libraries
Copyright(c) The University of Glasgow 1997-2002
Licensesee libraries/base/LICENSE
Maintainercvs-ghc@haskell.org
Stabilityinternal
Portabilitynon-portable (GHC Extensions)
Safe HaskellTrustworthy
LanguageHaskell2010

GHC.Word

Description

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

Synopsis

Documentation

data Word Source #

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

Constructors

W# Word# 

Instances

Instances details
Data Word #

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 #

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word #

Since: base-2.1

Instance details

Defined in GHC.Bits

FiniteBits Word #

Since: base-4.6.0.0

Instance details

Defined in GHC.Bits

Bounded Word #

Since: base-2.1

Instance details

Defined in GHC.Enum

Enum Word #

Since: base-2.1

Instance details

Defined in GHC.Enum

Ix Word #

Since: base-4.6.0.0

Instance details

Defined in GHC.Ix

Num Word #

Since: base-2.1

Instance details

Defined in GHC.Num

Read Word #

Since: base-4.5.0.0

Instance details

Defined in GHC.Read

Integral Word #

Since: base-2.1

Instance details

Defined in GHC.Real

Real Word #

Since: base-2.1

Instance details

Defined in GHC.Real

Show Word #

Since: base-2.1

Instance details

Defined in GHC.Show

PrintfArg Word #

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

Generic1 (URec Word :: k -> Type) # 
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 LiftedRep -> Type) #

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

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 LiftedRep -> 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 #

Generic (URec Word p) # 
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) #

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

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

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

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

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

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

W8# Word8# 

Instances

Instances details
Data Word8 #

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 #

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word8 #

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word8 #

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word8 #

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

Ord Word8 #

Since: base-2.1

Instance details

Defined in GHC.Word

data Word16 Source #

16-bit unsigned integer type

Constructors

W16# Word16# 

Instances

Instances details
Data Word16 #

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 #

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word16 #

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word16 #

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word16 #

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ord Word16 #

Since: base-2.1

Instance details

Defined in GHC.Word

data Word32 Source #

32-bit unsigned integer type

Constructors

W32# Word32# 

Instances

Instances details
Data Word32 #

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 #

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word32 #

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word32 #

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word32 #

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ord Word32 #

Since: base-2.1

Instance details

Defined in GHC.Word

data Word64 Source #

64-bit unsigned integer type

Constructors

W64# Word# 

Instances

Instances details
Data Word64 #

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 #

Since: base-2.1

Instance details

Defined in Foreign.Storable

Bits Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

FiniteBits Word64 #

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Bounded Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Enum Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ix Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Num Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Read Word64 #

Since: base-2.1

Instance details

Defined in GHC.Read

Integral Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Real Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

PrintfArg Word64 #

Since: base-2.1

Instance details

Defined in Text.Printf

Eq Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Ord Word64 #

Since: base-2.1

Instance details

Defined in GHC.Word

Shifts

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

bitReverse16 :: Word16 -> Word16 Source #

Reverse the order of the bits in a Word16.

Since: base-4.12.0.0

bitReverse32 :: Word32 -> Word32 Source #

Reverse the order of the bits in a Word32.

Since: base-4.12.0.0

bitReverse64 :: Word64 -> Word64 Source #

Reverse the order of the bits in a Word64.

Since: base-4.12.0.0

Equality operators

See GHC.Classes#matching_overloaded_methods_in_rules