On 12.09 15:28, Misha Aizatulin wrote:
>   I've been using existentially quantified data constructors like
> 
> > data Box = forall a. Cxt a => Box a

If you can include Typeable into the mix then serializing works.

Serialize the value as "<name of type> <value>".

When deserializing use a Map <name of type> <decoder-function>
and get the appropriate decoder from there for the type in question.

- Einar Karttunen
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to