Basement.Compat.Primitive

Documentation

bool# :: Int# -> Bool

turn an Int# into a Bool

Since GHC 7.8, boolean primitive don't return Bool but Int#.

data PinnedStatus

Flag record whether a specific byte array is pinned or not

Constructors

Pinned

Unpinned

Instances

Eq PinnedStatus

Defined in Basement.Compat.Primitive

Methods

(==) :: PinnedStatus -> PinnedStatus -> Bool

(/=) :: PinnedStatus -> PinnedStatus -> Bool

toPinnedStatus# :: Pinned# -> PinnedStatus

compatAndI# :: Int# -> Int# -> Int#

A version friendly of andI#

compatQuotRemInt# :: Int# -> Int# -> (#Int#, Int##)

A version friendly of quotRemInt#

compatCopyAddrToByteArray# :: Addr# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s

A version friendly fo copyAddrToByteArray#

only available from GHC 7.8

compatCopyByteArrayToAddr# :: ByteArray# -> Int# -> Addr# -> Int# -> State# s -> State# s

A version friendly fo copyByteArrayToAddr#

only available from GHC 7.8

compatMkWeak# :: o -> b -> IO () -> State# RealWorld -> (#State# RealWorld, Weak# b#)

A mkWeak# version that keep working on 8.0

signature change in ghc-prim: * 0.4: mkWeak RealWorld -> ( RealWorld, Weak) * 0.5 :mkWeak RealWorld -> ( RealWorld, c RealWorld -> ( RealWorld, Weak)

compatGetSizeofMutableByteArray# :: MutableByteArray# s -> State# s -> (#State# s, Int##)

compatShrinkMutableByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, MutableByteArray# s#)

compatResizeMutableByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, MutableByteArray# s#)

compatIsByteArrayPinned# :: ByteArray# -> Pinned#

compatIsMutableByteArrayPinned# :: MutableByteArray# s -> Pinned#

data Word

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

Constructors

W# Word#

Instances

Bounded Word

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: Word

maxBound :: Word

Enum Word

Since: base-2.1

Defined in GHC.Enum

Methods

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]

Eq Word

Defined in GHC.Classes

Methods

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

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

Integral Word

Since: base-2.1

Defined in GHC.Real

Methods

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

Data Word

Since: base-4.0.0.0

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

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 :: (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

Since: base-2.1

Defined in GHC.Num

Methods

(+) :: Word -> Word -> Word

(-) :: Word -> Word -> Word

(*) :: Word -> Word -> Word

negate :: Word -> Word

abs :: Word -> Word

signum :: Word -> Word

fromInteger :: Integer -> Word

Ord Word

Defined in GHC.Classes

Methods

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

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS Word

readList :: ReadS [Word]

readPrec :: ReadPrec Word

readListPrec :: ReadPrec [Word]

Real Word

Since: base-2.1

Defined in GHC.Real

Methods

toRational :: Word -> Rational

Show Word

Since: base-2.1

Defined in GHC.Show

Methods

showsPrec :: Int -> Word -> ShowS

show :: Word -> String

showList :: [Word] -> ShowS

Ix Word

Since: base-4.6.0.0

Defined in GHC.Arr

Methods

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

Storable Word

Since: base-2.1

Defined in Foreign.Storable

Methods

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

Bits Word

Since: base-2.1

Defined in Data.Bits

Methods

(.&.) :: 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

Since: base-4.6.0.0

Defined in Data.Bits

Methods

finiteBitSize :: Word -> Int

countLeadingZeros :: Word -> Int

countTrailingZeros :: Word -> Int

HasNegation Word

Defined in Basement.Compat.NumLiteral

Methods

negate :: Word -> Word

Integral Word

Defined in Basement.Compat.NumLiteral

Methods

fromInteger :: Integer -> Word

IsNatural Word

Defined in Basement.Numerical.Number

Methods

toNatural :: Word -> Natural

IsIntegral Word

Defined in Basement.Numerical.Number

Methods

toInteger :: Word -> Integer

Subtractive Word

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word :: *

Methods

(-) :: Word -> Word -> Difference Word

Additive Word

Defined in Basement.Numerical.Additive

Methods

azero :: Word

(+) :: Word -> Word -> Word

scale :: IsNatural n => n -> Word -> Word

IDivisible Word

Defined in Basement.Numerical.Multiplicative

Methods

div :: Word -> Word -> Word

mod :: Word -> Word -> Word

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

Multiplicative Word

Defined in Basement.Numerical.Multiplicative

Methods

midentity :: Word

(*) :: Word -> Word -> Word

(^) :: (IsNatural n, IDivisible n) => Word -> n -> Word

PrimMemoryComparable Word

Defined in Basement.PrimType

PrimType Word

Defined in Basement.PrimType

Associated Types

type PrimSize Word :: Nat

Methods

primSizeInBytes :: Proxy Word -> CountOf Word8

primShiftToBytes :: Proxy Word -> Int

primBaUIndex :: ByteArray# -> Offset Word -> Word

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> prim Word

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> Word -> prim ()

primAddrIndex :: Addr# -> Offset Word -> Word

primAddrRead :: PrimMonad prim => Addr# -> Offset Word -> prim Word

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word -> Word -> prim ()

NormalForm Word

Defined in Basement.NormalForm

Methods

toNormalForm :: Word -> ()

IntegralUpsize Word Word64

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word -> Word64

IntegralUpsize Word8 Word

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word8 -> Word

IntegralUpsize Word16 Word

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word16 -> Word

IntegralUpsize Word32 Word

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word32 -> Word

IntegralDownsize Word Word8

Defined in Basement.IntegralConv

Methods

integralDownsize :: Word -> Word8

integralDownsizeCheck :: Word -> Maybe Word8

IntegralDownsize Word Word16

Defined in Basement.IntegralConv

Methods

integralDownsize :: Word -> Word16

integralDownsizeCheck :: Word -> Maybe Word16

IntegralDownsize Word Word32

Defined in Basement.IntegralConv

Methods

integralDownsize :: Word -> Word32

integralDownsizeCheck :: Word -> Maybe Word32

Cast Int Word

Defined in Basement.Cast

Methods

cast :: Int -> Word

Cast Int64 Word

Defined in Basement.Cast

Methods

cast :: Int64 -> Word

Cast Word Int

Defined in Basement.Cast

Methods

cast :: Word -> Int

Cast Word Int64

Defined in Basement.Cast

Methods

cast :: Word -> Int64

Cast Word Word64

Defined in Basement.Cast

Methods

cast :: Word -> Word64

Cast Word64 Word

Defined in Basement.Cast

Methods

cast :: Word64 -> Word

From Word Word64

Defined in Basement.From

Methods

from :: Word -> Word64

From Word8 Word

Defined in Basement.From

Methods

from :: Word8 -> Word

From Word16 Word

Defined in Basement.From

Methods

from :: Word16 -> Word

From Word32 Word

Defined in Basement.From

Methods

from :: Word32 -> Word

From Word (CountOf ty)

Defined in Basement.From

Methods

from :: Word -> CountOf ty

From Word (Offset ty)

Defined in Basement.From

Methods

from :: Word -> Offset ty

Generic1 (URec Word :: k -> *)

Defined in GHC.Generics

Associated Types

type Rep1 (URec Word) :: k -> *

Methods

from1 :: URec Word a -> Rep1 (URec Word) a

to1 :: Rep1 (URec Word) a -> URec Word a

From (CountOf ty) Word

Defined in Basement.From

Methods

from :: CountOf ty -> Word

Functor (URec Word :: * -> *)

Defined in GHC.Generics

Methods

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

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

Foldable (URec Word :: * -> *)

Defined in Data.Foldable

Methods

fold :: Monoid m => URec Word m -> m

foldMap :: Monoid m => (a -> m) -> URec Word a -> m

foldr :: (a -> b -> b) -> b -> URec Word a -> b

foldr' :: (a -> b -> b) -> b -> URec Word a -> b

foldl :: (b -> a -> b) -> b -> URec Word a -> b

foldl' :: (b -> a -> b) -> b -> URec Word a -> b

foldr1 :: (a -> a -> a) -> URec Word a -> a

foldl1 :: (a -> a -> a) -> URec Word a -> a

toList :: URec Word a -> [a]

null :: URec Word a -> Bool

length :: URec Word a -> Int

elem :: Eq a => a -> URec Word a -> Bool

maximum :: Ord a => URec Word a -> a

minimum :: Ord a => URec Word a -> a

sum :: Num a => URec Word a -> a

product :: Num a => URec Word a -> a

Traversable (URec Word :: * -> *)

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> URec Word a -> f (URec Word b)

sequenceA :: Applicative f => URec Word (f a) -> f (URec Word a)

mapM :: Monad m => (a -> m b) -> URec Word a -> m (URec Word b)

sequence :: Monad m => URec Word (m a) -> m (URec Word a)

Eq (URec Word p)

Defined in GHC.Generics

Methods

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

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

Ord (URec Word p)

Defined in GHC.Generics

Methods

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

Show (URec Word p)

Defined in GHC.Generics

Methods

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

show :: URec Word p -> String

showList :: [URec Word p] -> ShowS

Generic (URec Word p)

Defined in GHC.Generics

Associated Types

type Rep (URec Word p) :: * -> *

Methods

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

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

type NatNumMaxBound Word

Defined in Basement.Nat

type NatNumMaxBound Word = NatNumMaxBound Word64

type Difference Word

Defined in Basement.Numerical.Subtractive

type Difference Word = Word

type PrimSize Word

Defined in Basement.PrimType

type PrimSize Word = 8

data URec Word (p :: k)

Used for marking occurrences of Word#

Since: base-4.9.0.0

Defined in GHC.Generics

data URec Word (p :: k) = UWord {

• uWord# :: Word#

}

type Rep1 (URec Word :: k -> *)

Defined in GHC.Generics

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

type Rep (URec Word p)

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