License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Basement.Compat.Primitive
Description
Synopsis
- bool# :: Int# -> Bool
- data PinnedStatus
- toPinnedStatus# :: Pinned# -> PinnedStatus
- compatMkWeak# :: o -> b -> IO () -> State# RealWorld -> (# State# RealWorld, Weak# b #)
- compatIsByteArrayPinned# :: ByteArray# -> Pinned#
- compatIsMutableByteArrayPinned# :: MutableByteArray# s -> Pinned#
- unsafeCoerce# :: a -> b
- data Word = W# Word#
- data Word8# :: TYPE 'Word8Rep
- data Word16# :: TYPE 'Word16Rep
- data Word32# :: TYPE 'Word32Rep
- data Int8# :: TYPE 'Int8Rep
- data Int16# :: TYPE 'Int16Rep
- data Int32# :: TYPE 'Int32Rep
- word8ToWord16# :: Word8# -> Word16#
- word8ToWord32# :: Word8# -> Word32#
- word8ToWord# :: Word8# -> Word#
- word16ToWord8# :: Word16# -> Word8#
- word16ToWord32# :: Word16# -> Word32#
- word16ToWord# :: Word16# -> Word#
- word32ToWord# :: Word32# -> Word#
- word32ToWord8# :: Word32# -> Word8#
- word32ToWord16# :: Word32# -> Word16#
- wordToWord32# :: Word# -> Word32#
- wordToWord16# :: Word# -> Word16#
- wordToWord8# :: Word# -> Word8#
- int8ToInt16# :: Int8# -> Int16#
- int8ToInt32# :: Int8# -> Int32#
- int8ToInt# :: Int8# -> Int#
- int16ToInt32# :: Int16# -> Int32#
- int16ToInt# :: Int16# -> Int#
- int32ToInt# :: Int32# -> Int#
- intToInt8# :: Int# -> Int8#
- intToInt16# :: Int# -> Int16#
- intToInt32# :: Int# -> Int32#
- word8ToInt# :: Word8# -> Int#
- word8ToInt16# :: Word8# -> Int16#
- word8ToInt32# :: Word8# -> Int32#
- charToWord32# :: Char# -> Word32#
- word8ToChar# :: Word8# -> Char#
- word16ToChar# :: Word16# -> Char#
- word32ToChar# :: Word32# -> Char#
- wordToChar# :: Word# -> Char#
- plusWord8# :: Word8# -> Word8# -> Word8#
- uncheckedShiftRLWord16# :: Word16# -> Int# -> Word16#
- plusWord16# :: Word16# -> Word16# -> Word16#
- uncheckedShiftRLWord32# :: Word32# -> Int# -> Word32#
- plusWord32# :: Word32# -> Word32# -> Word32#
- plusInt8# :: Int8# -> Int8# -> Int8#
- plusInt16# :: Int16# -> Int16# -> Int16#
- plusInt32# :: Int32# -> Int32# -> Int32#
Documentation
data PinnedStatus Source #
Flag record whether a specific byte array is pinned or not
Instances
Eq PinnedStatus Source # | |
Defined in Basement.Compat.Primitive |
compatMkWeak# :: o -> b -> IO () -> State# RealWorld -> (# State# RealWorld, Weak# b #) Source #
compatIsByteArrayPinned# :: ByteArray# -> Pinned# Source #
compatIsMutableByteArrayPinned# :: MutableByteArray# s -> Pinned# Source #
unsafeCoerce# :: a -> b #
Constructors
W# Word# |
Instances
Data Word | |||||
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 # 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 # | |||||
Storable Word | |||||
Defined in Foreign.Storable | |||||
Bits Word | |||||
Defined in GHC.Bits | |||||
FiniteBits Word | |||||
Defined in GHC.Bits Methods finiteBitSize :: Word -> Int countLeadingZeros :: Word -> Int countTrailingZeros :: Word -> Int | |||||
Bounded Word | |||||
Enum Word | |||||
Ix Word | |||||
Num Word | |||||
Read Word | |||||
Integral Word | |||||
Real Word | |||||
Defined in GHC.Real Methods toRational :: Word -> Rational | |||||
Show Word | |||||
PrintfArg Word | |||||
Defined in Text.Printf | |||||
BitOps Word Source # | |||||
Defined in Basement.Bits Methods (.&.) :: Word -> Word -> Word Source # (.|.) :: Word -> Word -> Word Source # (.^.) :: Word -> Word -> Word Source # (.<<.) :: Word -> CountOf Bool -> Word Source # (.>>.) :: Word -> CountOf Bool -> Word Source # bit :: Offset Bool -> Word Source # isBitSet :: Word -> Offset Bool -> Bool Source # | |||||
FiniteBitsOps Word Source # | |||||
HasNegation Word Source # | |||||
Integral Word Source # | |||||
Defined in Basement.Compat.NumLiteral Methods fromInteger :: Integer -> Word Source # | |||||
NormalForm Word Source # | |||||
Defined in Basement.NormalForm Methods toNormalForm :: Word -> () Source # | |||||
Additive Word Source # | |||||
IDivisible Word Source # | |||||
Multiplicative Word Source # | |||||
IsIntegral Word Source # | |||||
IsNatural Word Source # | |||||
Subtractive Word Source # | |||||
Defined in Basement.Numerical.Subtractive Associated Types
| |||||
PrimMemoryComparable Word Source # | |||||
Defined in Basement.PrimType | |||||
PrimType Word Source # | |||||
Defined in Basement.PrimType Associated Types
Methods primSizeInBytes :: Proxy Word -> CountOf Word8 Source # primShiftToBytes :: Proxy Word -> Int Source # primBaUIndex :: ByteArray# -> Offset Word -> Word Source # primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> prim Word Source # primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word -> Word -> prim () Source # primAddrIndex :: Addr# -> Offset Word -> Word Source # primAddrRead :: PrimMonad prim => Addr# -> Offset Word -> prim Word Source # primAddrWrite :: PrimMonad prim => Addr# -> Offset Word -> Word -> prim () Source # | |||||
Eq Word | |||||
Ord Word | |||||
Cast Int64 Word Source # | |||||
Cast Word64 Word Source # | |||||
Cast Int Word Source # | |||||
Cast Word Int64 Source # | |||||
Cast Word Word64 Source # | |||||
Cast Word Int Source # | |||||
From Word16 Word Source # | |||||
From Word32 Word Source # | |||||
From Word8 Word Source # | |||||
From Word Word64 Source # | |||||
IntegralDownsize Word Word16 Source # | |||||
Defined in Basement.IntegralConv | |||||
IntegralDownsize Word Word32 Source # | |||||
Defined in Basement.IntegralConv | |||||
IntegralDownsize Word Word8 Source # | |||||
Defined in Basement.IntegralConv | |||||
IntegralUpsize Word16 Word Source # | |||||
Defined in Basement.IntegralConv Methods integralUpsize :: Word16 -> Word Source # | |||||
IntegralUpsize Word32 Word Source # | |||||
Defined in Basement.IntegralConv Methods integralUpsize :: Word32 -> Word Source # | |||||
IntegralUpsize Word8 Word Source # | |||||
Defined in Basement.IntegralConv Methods integralUpsize :: Word8 -> Word Source # | |||||
IntegralUpsize Word Word64 Source # | |||||
Defined in Basement.IntegralConv Methods integralUpsize :: Word -> Word64 Source # | |||||
From Word (CountOf ty) Source # | |||||
From Word (Offset ty) Source # | |||||
Generic1 (URec Word :: k -> Type) | |||||
Defined in GHC.Generics Associated Types
| |||||
Foldable (UWord :: Type -> Type) | |||||
Defined in Data.Foldable Methods 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] 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) | |||||
Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) sequenceA :: Applicative f => UWord (f a) -> f (UWord a) | |||||
From (CountOf ty) Word Source # | |||||
Functor (URec Word :: Type -> Type) | |||||
Generic (URec Word p) | |||||
Defined in GHC.Generics | |||||
Show (URec Word p) | |||||
Eq (URec Word p) | |||||
Ord (URec Word p) | |||||
Defined in GHC.Generics | |||||
type NatNumMaxBound Word Source # | |||||
Defined in Basement.Nat | |||||
type Difference Word Source # | |||||
Defined in Basement.Numerical.Subtractive | |||||
type PrimSize Word Source # | |||||
Defined in Basement.PrimType | |||||
data URec Word (p :: k) | |||||
Defined in GHC.Generics | |||||
type Rep1 (URec Word :: k -> Type) | |||||
Defined in GHC.Generics | |||||
type Rep (URec Word p) | |||||
word8ToWord16# :: Word8# -> Word16# Source #
word8ToWord32# :: Word8# -> Word32# Source #
word8ToWord# :: Word8# -> Word# #
word16ToWord8# :: Word16# -> Word8# Source #
word16ToWord32# :: Word16# -> Word32# Source #
word16ToWord# :: Word16# -> Word# #
word32ToWord# :: Word32# -> Word# #
word32ToWord8# :: Word32# -> Word8# Source #
word32ToWord16# :: Word32# -> Word16# Source #
wordToWord32# :: Word# -> Word32# #
wordToWord16# :: Word# -> Word16# #
wordToWord8# :: Word# -> Word8# #
int8ToInt16# :: Int8# -> Int16# Source #
int8ToInt32# :: Int8# -> Int32# Source #
int8ToInt# :: Int8# -> Int# #
int16ToInt32# :: Int16# -> Int32# Source #
int16ToInt# :: Int16# -> Int# #
int32ToInt# :: Int32# -> Int# #
intToInt8# :: Int# -> Int8# #
intToInt16# :: Int# -> Int16# #
intToInt32# :: Int# -> Int32# #
word8ToInt# :: Word8# -> Int# Source #
word8ToInt16# :: Word8# -> Int16# Source #
word8ToInt32# :: Word8# -> Int32# Source #
charToWord32# :: Char# -> Word32# Source #
word8ToChar# :: Word8# -> Char# Source #
word16ToChar# :: Word16# -> Char# Source #
word32ToChar# :: Word32# -> Char# Source #
wordToChar# :: Word# -> Char# Source #
plusWord8# :: Word8# -> Word8# -> Word8# #
uncheckedShiftRLWord16# :: Word16# -> Int# -> Word16# #
plusWord16# :: Word16# -> Word16# -> Word16# #
uncheckedShiftRLWord32# :: Word32# -> Int# -> Word32# #
plusWord32# :: Word32# -> Word32# -> Word32# #
plusInt16# :: Int16# -> Int16# -> Int16# #
plusInt32# :: Int32# -> Int32# -> Int32# #