Basement.PrimType

Methods

• primSizeInBytes :: Proxy ty -> CountOf Word8

  get the size in bytes of a ty element

• primShiftToBytes :: Proxy ty -> Int

  get the shift size

• primBaUIndex :: ByteArray# -> Offset ty -> ty

  return the element stored at a specific index

• primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> prim ty

  Read an element at an index in a mutable array

• primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> ty -> prim ()

  Write an element to a specific cell in a mutable array.

• primAddrIndex :: Addr# -> Offset ty -> ty

  Read from Address, without a state. the value read should be considered a constant for all pratical purpose, otherwise bad thing will happens.

• primAddrRead :: PrimMonad prim => Addr# -> Offset ty -> prim ty

  Read a value from Addr in a specific primitive monad

• primAddrWrite :: PrimMonad prim => Addr# -> Offset ty -> ty -> prim ()

  Write a value to Addr in a specific primitive monad