Data.Persistent.IDynamic

IDynamic is a indexable and serializable version of Dynamic. (See Data.Dynamic). It is used as containers of objects in the cache so any new datatype can be incrementally stored without recompilation. IDimamic provices methods for safe casting, besides serializaton, deserialirezation and retrieval by key.

Documentation

newtype IDynamic

Constructors

IDyn (IORef IDynType)

Instances

Serialize IDynamic

Defined in Data.Persistent.IDynamic

Methods

showp :: IDynamic -> STW ()

readp :: STR IDynamic

Show IDynamic

Defined in Data.Persistent.IDynamic

Methods

showsPrec :: Int -> IDynamic -> ShowS

show :: IDynamic -> String

showList :: [IDynamic] -> ShowS

data IDynType

Constructors

forall a.(Typeable a, Serialize a) => DRight !a

DLeft !(ByteString, (Context, ByteString))

newtype Save

Constructors

Save ByteString

Instances

Serialize Save

Defined in Data.Persistent.IDynamic

Methods

showp :: Save -> STW ()

readp :: STR Save

tosave :: IDynamic -> IDynamic

errorfied :: String -> String -> a

dynPrefix :: String

dynPrefixSp :: ByteString

notreified :: ByteString

toIDyn :: (Typeable a, Serialize a) => a -> IDynamic

serializedEqual :: IDynamic -> ByteString -> Bool

check if a (possibly polimorphic) value within a IDynamic value has the given serialization"

fromIDyn :: (Typeable a, Serialize a) => IDynamic -> a

safeFromIDyn :: (Typeable a, Serialize a) => IDynamic -> Either String a

reifyM :: (Typeable a, Serialize a) => IDynamic -> a -> IO a