Data.Ruby.Marshal.Monad

Marshal monad provides an object cache over the Get monad.

Documentation

newtype Marshal a

Marshal monad endows the underlying Get monad with State.

Constructors

Marshal

Fields

runMarshal :: StateT Cache Get a

Instances

Monad Marshal

Functor Marshal

Applicative Marshal

MonadState Cache Marshal

liftMarshal :: Get a -> Marshal a

Lift Get monad into Marshal monad.

data Cache

State that we must carry around during deserialisation.

Constructors

Cache

Fields

objects :: !(Vector RubyObject)

object cache.

symbols :: !(Vector RubyObject)

symbol cache.

Instances

Show Cache

MonadState Cache Marshal

emptyCache :: Cache

Constructs an empty cache to store symbols and objects.

readCache :: Int -> (Cache -> Vector RubyObject) -> Marshal (Maybe RubyObject)

Look up value in cache.

readObject :: Int -> Marshal (Maybe RubyObject)

Look up object in object cache.

readSymbol :: Int -> Marshal (Maybe RubyObject)

Look up a symbol in symbol cache.

writeCache :: RubyObject -> Marshal ()

Write an object to the appropriate cache.