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

Defined in Data.Ruby.Marshal.Monad

Methods

(>>=) :: Marshal a -> (a -> Marshal b) -> Marshal b

(>>) :: Marshal a -> Marshal b -> Marshal b

return :: a -> Marshal a

Functor Marshal

Defined in Data.Ruby.Marshal.Monad

Methods

fmap :: (a -> b) -> Marshal a -> Marshal b

(<$) :: a -> Marshal b -> Marshal a

MonadFail Marshal

Defined in Data.Ruby.Marshal.Monad

Methods

fail :: String -> Marshal a

Applicative Marshal

Defined in Data.Ruby.Marshal.Monad

Methods

pure :: a -> Marshal a

(<*>) :: Marshal (a -> b) -> Marshal a -> Marshal b

liftA2 :: (a -> b -> c) -> Marshal a -> Marshal b -> Marshal c

(*>) :: Marshal a -> Marshal b -> Marshal b

(<*) :: Marshal a -> Marshal b -> Marshal a

MonadState Cache Marshal

Defined in Data.Ruby.Marshal.Monad

Methods

get :: Marshal Cache

put :: Cache -> Marshal ()

state :: (Cache -> (a, Cache)) -> Marshal a

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

Defined in Data.Ruby.Marshal.Monad

Methods

showsPrec :: Int -> Cache -> ShowS

show :: Cache -> String

showList :: [Cache] -> ShowS

MonadState Cache Marshal

Defined in Data.Ruby.Marshal.Monad

Methods

get :: Marshal Cache

put :: Cache -> Marshal ()

state :: (Cache -> (a, Cache)) -> Marshal a

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.