| 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.
- 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 :: (Serialize a, Typeable * 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
Constructors
| (Typeable a, Serialize a) => DRight !a | |
| DLeft !(ByteString, (Context, ByteString)) |
serializedEqual :: IDynamic -> ByteString -> Bool Source #
check if a (possibly polimorphic) value within a IDynamic value has the given serialization"