Data.DynamicState.Serializable

This module is HashMap ConcreteTypeRep Dynamic with a twist. The Dynamic used can also be ByteString, to make repeated reserialization cheap. A user-provided State-like is used to store this.

Documentation

newtype DynamicState

An extensible record, indexed by type, using state to cache deserializtion

Constructors

DynamicState

Fields

• unDynamicState :: HashMap ConcreteTypeRep Dynamic

Instances

Monoid DynamicState

Methods

mempty :: DynamicState

mappend :: DynamicState -> DynamicState -> DynamicState

mconcat :: [DynamicState] -> DynamicState

Binary DynamicState

Methods

put :: DynamicState -> Put

get :: Get DynamicState

putList :: [DynamicState] -> Put

getDyn :: forall m a. (Typeable a, Binary a, Monad m) => m DynamicState -> (DynamicState -> m ()) -> m (Maybe a)

Get a value, inside a State-like monad specified by the first two functions

putDyn :: forall m a. (Typeable a, Binary a, Monad m) => m DynamicState -> (DynamicState -> m ()) -> a -> m ()

Set a value, inside a State-like monad specified by the first two functions