| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Serialized
Synopsis
- data Serialized = Serialized TypeRep [Word8]
- toSerialized :: forall a. Typeable a => (a -> [Word8]) -> a -> Serialized
- fromSerialized :: forall a. Typeable a => ([Word8] -> a) -> Serialized -> Maybe a
- serializeWithData :: Data a => a -> [Word8]
- deserializeWithData :: Data a => [Word8] -> a
Main Serialized data type
data Serialized Source #
Represents a serialized value of a particular type. Attempts can be made to deserialize it at certain types
Constructors
| Serialized TypeRep [Word8] |
Instances
| Binary Serialized Source # | |
Defined in GHCi.TH.Binary | |
| Binary Serialized Source # | |
Defined in GHC.Utils.Binary.Typeable Methods put_ :: BinHandle -> Serialized -> IO () Source # put :: BinHandle -> Serialized -> IO (Bin Serialized) Source # | |
| Outputable Serialized Source # | |
Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc Source # | |
Going into and out of Serialized
toSerialized :: forall a. Typeable a => (a -> [Word8]) -> a -> Serialized Source #
Put a Typeable value that we are able to actually turn into bytes into a Serialized value ready for deserialization later
fromSerialized :: forall a. Typeable a => ([Word8] -> a) -> Serialized -> Maybe a Source #
If the Serialized value contains something of the given type, then use the specified deserializer to return Just that.
Otherwise return Nothing.
Handy serialization functions
serializeWithData :: Data a => a -> [Word8] Source #
Use a Data instance to implement a serialization scheme dual to that of deserializeWithData
deserializeWithData :: Data a => [Word8] -> a Source #
Use a Data instance to implement a deserialization scheme dual to that of serializeWithData