License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
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# :: forall (q :: RuntimeRep) (r :: RuntimeRep) (a :: TYPE q) (b :: TYPE r). 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# :: forall (q :: RuntimeRep) (r :: RuntimeRep) (a :: TYPE q) (b :: TYPE r). 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 | |
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 type Difference Word Source # | |
PrimMemoryComparable Word Source # | |
Defined in Basement.PrimType | |
PrimType Word Source # | |
Defined in Basement.PrimType 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) | |
Foldable (UWord :: TYPE LiftedRep -> 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 LiftedRep -> Type) | |
Generic (URec Word p) | |
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# #