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#
- data Word = W# Word#
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# #
Constructors
W# Word# |
Instances
Bounded Word | |
Enum Word | |
Eq Word | |
Integral Word | |
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 # | |
Num Word | |
Ord Word | |
Read Word | |
Real Word | |
Defined in GHC.Real Methods toRational :: Word -> Rational | |
Show Word | |
Ix Word | |
Bits Word | |
Defined in Data.Bits | |
FiniteBits Word | |
Defined in Data.Bits Methods finiteBitSize :: Word -> Int countLeadingZeros :: Word -> Int countTrailingZeros :: Word -> Int | |
Storable Word | |
Defined in Foreign.Storable | |
HasNegation Word # | |
Defined in Basement.Compat.NumLiteral | |
Integral Word # | |
Defined in Basement.Compat.NumLiteral Methods fromInteger :: Integer -> Word # | |
IsNatural Word # | |
Defined in Basement.Numerical.Number | |
IsIntegral Word # | |
Defined in Basement.Numerical.Number | |
Subtractive Word # | |
Defined in Basement.Numerical.Subtractive Associated Types type Difference Word # | |
Additive Word # | |
IDivisible Word # | |
Multiplicative 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 () # | |
NormalForm Word # | |
Defined in Basement.NormalForm Methods toNormalForm :: Word -> () # | |
BitOps Word # | |
FiniteBitsOps 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 | |
IntegralDownsize Word Word16 # | |
Defined in Basement.IntegralConv | |
IntegralDownsize Word Word32 # | |
Defined in Basement.IntegralConv | |
Cast Int Word # | |
Defined in Basement.Cast | |
Cast Int64 Word # | |
Defined in Basement.Cast | |
Cast Word Int # | |
Defined in Basement.Cast | |
Cast Word Int64 # | |
Defined in Basement.Cast | |
Cast Word Word64 # | |
Defined in Basement.Cast | |
Cast Word64 Word # | |
Defined in Basement.Cast | |
From Word Word64 # | |
Defined in Basement.From | |
From Word8 Word # | |
Defined in Basement.From | |
From Word16 Word # | |
Defined in Basement.From | |
From Word32 Word # | |
Defined in Basement.From | |
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) | |
Eq (URec Word p) | |
Ord (URec Word p) | |
Defined in GHC.Generics | |
Show (URec Word p) | |
Generic (URec Word p) | |
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) | |