Portability | non-portable |
---|---|
Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |
Primitive operations on machine addresses
Documentation
minusAddr :: Addr -> Addr -> IntSource
Distance in bytes between two addresses. The result is only valid if the
difference fits in an Int
.
indexOffAddr :: Prim a => Addr -> Int -> aSource
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.