Safe Haskell	None
Language	Haskell98

Data.Persistent.IDynamic

Description

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.

Synopsis

data IDynamic = IDyn (IORef IDynType)
data IDynType
- = (Typeable a, Serialize a) => DRight !a
- | DLeft !(ByteString, (Context, ByteString))
newtype Save = Save ByteString
tosave :: IDynamic -> IDynamic
errorfied :: [Char] -> [Char] -> a
dynPrefix :: [Char]
dynPrefixSp :: ByteString
notreified :: ByteString
toIDyn :: (Typeable a, Serialize a) => a -> IDynamic
serializedEqual :: IDynamic -> ByteString -> Bool
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

Documentation

data IDynamic #

Constructors

IDyn (IORef IDynType)

Instances

Show IDynamic #
Instance details Defined in Data.Persistent.IDynamic Methods showsPrec :: Int -> IDynamic -> ShowS # show :: IDynamic -> String # showList :: [IDynamic] -> ShowS #
Serialize IDynamic #
Instance details Defined in Data.Persistent.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 #
Instance details Defined in Data.Persistent.IDynamic Methods showp :: Save -> STW () # readp :: STR Save #

tosave :: IDynamic -> IDynamic #

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

dynPrefix :: [Char] #

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 #