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

data IDynamic

Constructors

IDyn (IORef IDynType)

Instances

Show IDynamic

Methods

showsPrec :: Int -> IDynamic -> ShowS

show :: IDynamic -> String

showList :: [IDynamic] -> ShowS

Serialize IDynamic

Methods

showp :: IDynamic -> STW ()

readp :: STR IDynamic

data IDynType

Constructors

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

DLeft !(ByteString, (Context, ByteString))

newtype Save

Constructors

Save ByteString

Instances

Serialize Save

Methods

showp :: Save -> STW ()

readp :: STR Save

tosave :: IDynamic -> IDynamic

errorfied :: [Char] -> [Char] -> a

dynPrefix :: [Char]

dynPrefixSp :: ByteString

notreified :: ByteString

toIDyn :: (Serialize a, Typeable * 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