GHC.Serialized

Main Serialized data type

data Serialized

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

Defined in GHCi.TH.Binary

Methods

put :: Serialized -> Put

get :: Get Serialized

putList :: [Serialized] -> Put

Outputable Serialized

Defined in GHC.Utils.Outputable

Methods

ppr :: Serialized -> SDoc

Binary Serialized

Defined in GHC.Utils.Binary.Typeable

Methods

put_ :: BinHandle -> Serialized -> IO ()

put :: BinHandle -> Serialized -> IO (Bin Serialized)

get :: BinHandle -> IO Serialized

Going into and out of Serialized

toSerialized :: forall a. Typeable a => (a -> [Word8]) -> a -> Serialized

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

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]

Use a Data instance to implement a serialization scheme dual to that of deserializeWithData

deserializeWithData :: Data a => [Word8] -> a

Use a Data instance to implement a deserialization scheme dual to that of serializeWithData