load-store vs peek-poke about raaz HOT 4 CLOSED

On Fri, Aug 30, 2013 at 10:15:07PM -0700, satvikc wrote:

why load ptr is not giving same result as peek ((castPtr ptr) :: Ptr a)?

load takes care of endianness. For example consier Word32BE on an
intel machine. load will load the data and convert the endian, peek
will not.

Regards

ppk

from raaz.

Defining cellLoad and cellStore using load and store is not working while defining them using peek and poke works.

from raaz.

What happens when you use store to write a value to a pointer and then read that in the c side ?

from raaz.

On Sat, Aug 31, 2013 at 03:33:48AM -0700, satvikc wrote:

What happens when you use store to write a value to a pointer and then read that in the c side ?

It is working as expected. There are two classes Storable (provided by Haskell) and
CryptoStore (provided in Raaz). The functions load and store are functions of the
CryptoStore class and their purpose is only while reading/writing with appropriate
endian conversion. Load and store are thus relevant only at the very first step (i.e reading
the SHA1 hash for example) or the very last step (i.e. when serializing and deserializing).
For example the toByteString uses store, and if we want the corresponding (fromByteString) it
would use load. All other steps, including passing to C, should make use peek and poke.

Regards

ppk

from raaz.