Dahdit.LiftedPrim

Documentation

class 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 byte arrays.

Minimal complete definition

elemSizeLifted, indexByteArrayLiftedInBytes, writeByteArrayLiftedInBytes

Methods

elemSizeLifted :: Proxy a -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> a

indexByteArrayLiftedInElems :: ByteArray -> Int -> a

writeByteArrayLiftedInBytes :: PrimMonad m => a -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => a -> MutableByteArray (PrimState m) -> Int -> m ()

Instances

LiftedPrim Int8

Defined in Dahdit.LiftedPrim

Methods

elemSizeLifted :: Proxy Int8 -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int8

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int8

writeByteArrayLiftedInBytes :: PrimMonad m => Int8 -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int8 -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word8

Defined in Dahdit.LiftedPrim

Methods

elemSizeLifted :: Proxy Word8 -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word8

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word8

writeByteArrayLiftedInBytes :: PrimMonad m => Word8 -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word8 -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim FloatBE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy FloatBE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> FloatBE

indexByteArrayLiftedInElems :: ByteArray -> Int -> FloatBE

writeByteArrayLiftedInBytes :: PrimMonad m => FloatBE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => FloatBE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim FloatLE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy FloatLE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> FloatLE

indexByteArrayLiftedInElems :: ByteArray -> Int -> FloatLE

writeByteArrayLiftedInBytes :: PrimMonad m => FloatLE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => FloatLE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int16BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int16BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int16BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int16BE

writeByteArrayLiftedInBytes :: PrimMonad m => Int16BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int16BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int16LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int16LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int16LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int16LE

writeByteArrayLiftedInBytes :: PrimMonad m => Int16LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int16LE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int24BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int24BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int24BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int24BE

writeByteArrayLiftedInBytes :: PrimMonad m => Int24BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int24BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int24LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int24LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int24LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int24LE

writeByteArrayLiftedInBytes :: PrimMonad m => Int24LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int24LE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int32BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int32BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int32BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int32BE

writeByteArrayLiftedInBytes :: PrimMonad m => Int32BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int32BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Int32LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Int32LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Int32LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Int32LE

writeByteArrayLiftedInBytes :: PrimMonad m => Int32LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Int32LE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word16BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word16BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word16BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word16BE

writeByteArrayLiftedInBytes :: PrimMonad m => Word16BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word16BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word16LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word16LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word16LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word16LE

writeByteArrayLiftedInBytes :: PrimMonad m => Word16LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word16LE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word24BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word24BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word24BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word24BE

writeByteArrayLiftedInBytes :: PrimMonad m => Word24BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word24BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word24LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word24LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word24LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word24LE

writeByteArrayLiftedInBytes :: PrimMonad m => Word24LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word24LE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word32BE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word32BE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word32BE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word32BE

writeByteArrayLiftedInBytes :: PrimMonad m => Word32BE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word32BE -> MutableByteArray (PrimState m) -> Int -> m ()

LiftedPrim Word32LE

Defined in Dahdit.Nums

Methods

elemSizeLifted :: Proxy Word32LE -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> Word32LE

indexByteArrayLiftedInElems :: ByteArray -> Int -> Word32LE

writeByteArrayLiftedInBytes :: PrimMonad m => Word32LE -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => Word32LE -> MutableByteArray (PrimState m) -> Int -> 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

elemSizeLifted :: Proxy (ViaFromIntegral x y) -> Int

indexByteArrayLiftedInBytes :: ByteArray -> Int -> ViaFromIntegral x y

indexByteArrayLiftedInElems :: ByteArray -> Int -> ViaFromIntegral x y

writeByteArrayLiftedInBytes :: PrimMonad m => ViaFromIntegral x y -> MutableByteArray (PrimState m) -> Int -> m ()

writeByteArrayLiftedInElems :: PrimMonad m => ViaFromIntegral x y -> MutableByteArray (PrimState m) -> Int -> m ()

newtype LiftedPrimArray a

Constructors

LiftedPrimArray

Fields

• unLiftedPrimArray :: ByteArray

Instances

Monoid (LiftedPrimArray a)

Defined in Dahdit.LiftedPrim

Methods

mempty :: LiftedPrimArray a

mappend :: LiftedPrimArray a -> LiftedPrimArray a -> LiftedPrimArray a

mconcat :: [LiftedPrimArray a] -> LiftedPrimArray a

Semigroup (LiftedPrimArray a)

Defined in Dahdit.LiftedPrim

Methods

(<>) :: LiftedPrimArray a -> LiftedPrimArray a -> LiftedPrimArray a

sconcat :: NonEmpty (LiftedPrimArray a) -> LiftedPrimArray a

stimes :: Integral b => b -> LiftedPrimArray a -> LiftedPrimArray a

Show (LiftedPrimArray a)

Defined in Dahdit.LiftedPrim

Methods

showsPrec :: Int -> LiftedPrimArray a -> ShowS

show :: LiftedPrimArray a -> String

showList :: [LiftedPrimArray a] -> ShowS

(StaticByteSized a, LiftedPrim a) => ByteSized (LiftedPrimArray a)

Defined in Dahdit.Sizes

Methods

byteSize :: LiftedPrimArray a -> ByteCount

Default (LiftedPrimArray a)

Defined in Dahdit.LiftedPrim

Methods

def :: LiftedPrimArray a

Eq (LiftedPrimArray a)

Defined in Dahdit.LiftedPrim

Methods

(==) :: LiftedPrimArray a -> LiftedPrimArray a -> Bool

(/=) :: LiftedPrimArray a -> LiftedPrimArray a -> Bool

newtype MutableLiftedPrimArray m a

Constructors

MutableLiftedPrimArray

Fields

• unMutableLiftedPrimArray :: MutableByteArray m

Instances

Eq (MutableLiftedPrimArray m a)

Defined in Dahdit.LiftedPrim

Methods

(==) :: MutableLiftedPrimArray m a -> MutableLiftedPrimArray m a -> Bool

(/=) :: MutableLiftedPrimArray m a -> MutableLiftedPrimArray m a -> Bool

emptyLiftedPrimArray :: LiftedPrimArray a

indexLiftedPrimArray :: LiftedPrim a => LiftedPrimArray a -> Int -> a

writeLiftedPrimArray :: (LiftedPrim a, PrimMonad m) => a -> MutableLiftedPrimArray (PrimState m) a -> Int -> m ()

freezeLiftedPrimArray :: PrimMonad m => MutableLiftedPrimArray (PrimState m) a -> Int -> Int -> m (LiftedPrimArray a)

thawLiftedPrimArray :: PrimMonad m => LiftedPrimArray a -> Int -> Int -> m (MutableLiftedPrimArray (PrimState m) a)

unsafeFreezeLiftedPrimArray :: PrimMonad m => MutableLiftedPrimArray (PrimState m) a -> m (LiftedPrimArray a)

unsafeThawLiftedPrimArray :: PrimMonad m => LiftedPrimArray a -> m (MutableLiftedPrimArray (PrimState m) a)

liftedPrimArrayFromListN :: LiftedPrim a => Int -> [a] -> LiftedPrimArray a

liftedPrimArrayFromList :: LiftedPrim a => [a] -> LiftedPrimArray a

generateLiftedPrimArray :: LiftedPrim a => Int -> (Int -> a) -> LiftedPrimArray a

sizeofLiftedPrimArray :: LiftedPrim a => LiftedPrimArray a -> Int

cloneLiftedPrimArray :: LiftedPrim a => LiftedPrimArray a -> Int -> Int -> LiftedPrimArray a