Dahdit.LiftedPrim

Documentation

class StaticByteSized a => LiftedPrim a where

This is a stripped-down version of Prim that is possible for a human to implement. It's all about reading and writing structures from lifted byte arrays and pointers.

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> a

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> a -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> a

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> a -> m ()

Instances

LiftedPrim Int8

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int8

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int8 -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int8

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int8 -> m ()

LiftedPrim Word8

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word8

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word8 -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word8

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word8 -> m ()

LiftedPrim DoubleBE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> DoubleBE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> DoubleBE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> DoubleBE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> DoubleBE -> m ()

LiftedPrim DoubleLE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> DoubleLE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> DoubleLE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> DoubleLE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> DoubleLE -> m ()

LiftedPrim FloatBE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> FloatBE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> FloatBE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> FloatBE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> FloatBE -> m ()

LiftedPrim FloatLE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> FloatLE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> FloatLE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> FloatLE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> FloatLE -> m ()

LiftedPrim Int16BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int16BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int16BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int16BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int16BE -> m ()

LiftedPrim Int16LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int16LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int16LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int16LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int16LE -> m ()

LiftedPrim Int24BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int24BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int24BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int24BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int24BE -> m ()

LiftedPrim Int24LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int24LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int24LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int24LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int24LE -> m ()

LiftedPrim Int32BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int32BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int32BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int32BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int32BE -> m ()

LiftedPrim Int32LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int32LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int32LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int32LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int32LE -> m ()

LiftedPrim Int64BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int64BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int64BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int64BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int64BE -> m ()

LiftedPrim Int64LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Int64LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Int64LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Int64LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Int64LE -> m ()

LiftedPrim Word16BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word16BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word16BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word16BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word16BE -> m ()

LiftedPrim Word16LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word16LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word16LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word16LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word16LE -> m ()

LiftedPrim Word24BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word24BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word24BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word24BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word24BE -> m ()

LiftedPrim Word24LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word24LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word24LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word24LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word24LE -> m ()

LiftedPrim Word32BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word32BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word32BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word32BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word32BE -> m ()

LiftedPrim Word32LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word32LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word32LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word32LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word32LE -> m ()

LiftedPrim Word64BE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word64BE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word64BE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word64BE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word64BE -> m ()

LiftedPrim Word64LE

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> Word64LE

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> Word64LE -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> Word64LE

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> Word64LE -> m ()

(LiftedPrim le, EndianPair le be) => LiftedPrim (ViaEndianPair le be)

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> ViaEndianPair le be

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> ViaEndianPair le be -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> ViaEndianPair le be

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> ViaEndianPair le be -> m ()

(Integral x, LiftedPrim x, Integral y) => LiftedPrim (ViaFromIntegral x y)

NOTE: Relies on same byte width of both types!

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> ViaFromIntegral x y

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> ViaFromIntegral x y -> m ()

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> ViaFromIntegral x y

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> ViaFromIntegral x y -> m ()

indexArrayLiftedInElems :: LiftedPrim a => Proxy a -> ByteArray -> ElemCount -> a

writeArrayLiftedInElems :: (PrimMonad m, LiftedPrim a) => MutableByteArray (PrimState m) -> ElemCount -> a -> m ()

indexPtrLiftedInElems :: LiftedPrim a => Proxy a -> Ptr Word8 -> ElemCount -> a

writePtrLiftedInElems :: (PrimMonad m, LiftedPrim a) => Ptr Word8 -> ElemCount -> a -> m ()

setByteArrayLifted :: (PrimMonad m, LiftedPrim a) => MutableByteArray (PrimState m) -> ByteCount -> ByteCount -> a -> m ()

Fill a byte array with the given value