Re: Evaluating type expressions in GHCi

2011-09-21 Thread Sean Leather
On Wed, Sep 21, 2011 at 04:00, Brent Yorgey wrote: On Tue, Sep 20, 2011 at 04:29:21PM -0700, J. Garrett Morris wrote: On Tue, Sep 20, 2011 at 3:44 PM, Simon Peyton-Jones wrote: What should the GHCi command be *called*? :simplify or :simplifytype. In GHCi at the moment, you could

Associativity of the generic representation of sum types

2011-09-21 Thread Bas van Dijk
Hello, I just used the new GHC generics together with the DefaultSignatures extension to provide a default generic implementation for toJSON and parseJSON in the aeson package: https://github.com/mailrank/aeson/pull/26 It appears that the generic representation of a sum type has a tree shape as

Re: Associativity of the generic representation of sum types

2011-09-21 Thread José Pedro Magalhães
Hi Bas, On Thu, Sep 22, 2011 at 03:55, Bas van Dijk v.dijk@gmail.com wrote: Hello, I just used the new GHC generics together with the DefaultSignatures extension to provide a default generic implementation for toJSON and parseJSON in the aeson package: