sizeOf# :: a -> Int# |
Size of values of type a. The argument is not used.
|
|
alignment# :: a -> Int# |
Alignment of values of type a. The argument is not used.
|
|
indexByteArray# :: ByteArray# -> Int# -> a |
Read a value from the array. The offset is in elements of type
a rather than in bytes.
|
|
readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, a#) |
Read a value from the mutable array. The offset is in elements of type
a rather than in bytes.
|
|
writeByteArray# :: MutableByteArray# s -> Int# -> a -> State# s -> State# s |
Write a value to the mutable array. The offset is in elements of type
a rather than in bytes.
|
|
indexOffAddr# :: Addr# -> Int# -> a |
Read a value from a memory position given by an address and an offset.
The memory block the address refers to must be immutable. The offset is in
elements of type a rather than in bytes.
|
|
readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, a#) |
Read a value from a memory position given by an address and an offset.
The offset is in elements of type a rather than in bytes.
|
|
writeOffAddr# :: Addr# -> Int# -> a -> State# s -> State# s |
Write a value to a memory position given by an address and an offset.
The offset is in elements of type a rather than in bytes.
|