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 #
Flag record whether a specific byte array is pinned or not
Instances
Eq PinnedStatus # | |
Defined in Basement.Compat.Primitive |
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 #
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 | |
Num Word | |
Read Word | |
Integral Word | |
Real Word | |
Defined in GHC.Real Methods toRational :: Word -> Rational | |
Show Word | |
BitOps Word # | |
FiniteBitsOps Word # | |
HasNegation Word # | |
Defined in Basement.Compat.NumLiteral | |
Integral Word # | |
Defined in Basement.Compat.NumLiteral Methods fromInteger :: Integer -> Word # | |
NormalForm Word # | |
Defined in Basement.NormalForm Methods toNormalForm :: Word -> () # | |
Additive Word # | |
IDivisible Word # | |
Multiplicative Word # | |
IsIntegral Word # | |
Defined in Basement.Numerical.Number | |
IsNatural Word # | |
Defined in Basement.Numerical.Number | |
Subtractive Word # | |
Defined in Basement.Numerical.Subtractive Associated Types type Difference Word # | |
PrimMemoryComparable Word # | |
Defined in Basement.PrimType | |
PrimType Word # | |
Defined in Basement.PrimType 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 () # | |
Eq Word | |
Ord Word | |
Cast Int64 Word # | |
Defined in Basement.Cast | |
Cast Word64 Word # | |
Defined in Basement.Cast | |
Cast Int Word # | |
Defined in Basement.Cast | |
Cast Word Int64 # | |
Defined in Basement.Cast | |
Cast Word Word64 # | |
Defined in Basement.Cast | |
Cast Word Int # | |
Defined in Basement.Cast | |
From Word16 Word # | |
Defined in Basement.From | |
From Word32 Word # | |
Defined in Basement.From | |
From Word8 Word # | |
Defined in Basement.From | |
From Word Word64 # | |
Defined in Basement.From | |
IntegralDownsize Word Word16 # | |
Defined in Basement.IntegralConv | |
IntegralDownsize Word Word32 # | |
Defined in Basement.IntegralConv | |
IntegralDownsize Word Word8 # | |
Defined in Basement.IntegralConv | |
IntegralUpsize Word16 Word # | |
Defined in Basement.IntegralConv Methods integralUpsize :: Word16 -> Word # | |
IntegralUpsize Word32 Word # | |
Defined in Basement.IntegralConv Methods integralUpsize :: Word32 -> Word # | |
IntegralUpsize Word8 Word # | |
Defined in Basement.IntegralConv Methods integralUpsize :: Word8 -> Word # | |
IntegralUpsize Word Word64 # | |
Defined in Basement.IntegralConv Methods integralUpsize :: Word -> Word64 # | |
From Word (CountOf ty) # | |
Defined in Basement.From | |
From Word (Offset ty) # | |
Defined in Basement.From | |
Generic1 (URec Word :: k -> Type) | |
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 # | |
Defined in Basement.From | |
Functor (URec Word :: Type -> Type) | |
Generic (URec Word p) | |
Show (URec Word p) | |
Eq (URec Word p) | |
Ord (URec Word p) | |
Defined in GHC.Generics | |
type NatNumMaxBound Word # | |
Defined in Basement.Nat | |
type Difference Word # | |
Defined in Basement.Numerical.Subtractive | |
type PrimSize Word # | |
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# #
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# #
plusInt16# :: Int16# -> Int16# -> Int16# #
plusInt32# :: Int32# -> Int32# -> Int32# #