[Haskell-cafe] Serialising types with existential data
ekarttun at cs.helsinki.fi
Wed Sep 13 02:29:07 EDT 2006
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
More information about the Haskell-Cafe