
23 Mar
2013
23 Mar
'13
12:47 p.m.
On Mar 22, 2013 2:58 AM, "C K Kashyap"
Thanks Eric and Brent,
Even with GADT, it appears that I'd need extra data definitions. I'll go
without GADT then ...
Brent, my use case is not particularly complicated. I am trying to model
the pdf spec - which says that pdf contains Objects that could of of types Number, String, Name, Array and Dictionary - while array is list of objects, the Disctionary is a list of tuples (Name, Object) not (Object, Object) - hence my situation.
Regards, Kashyap
You could have a look at how the aeson package represents JavaScript values, which have a similar structure to your requirement, e.g. http://hackage.haskell.org/packages/archive/aeson/0.6.1.0/doc/html/Data-Aeso... Doug