Ros.Internal.Util.StorableMonad

An applicative interface for working with Storable values. The idea is that the underlying pointer is threaded through the computation to make reading and writing consecutive values easier.

Documentation

peek :: Storable a => StorableM a

Action that peeks a value from the current pointer location, then moves the pointer to just after the peeked value.

poke :: Storable a => a -> StorableM ()

Action that pokes a value into the current pointer location, then moves the pointer to just after the poked value.

runStorable :: StorableM a -> Ptr b -> IO a

Run a StorableM action with the supplied initial pointer location.

type StorableM a = StateT (Ptr ()) IO a

A state monad that threads a pointer through a computation.