GHC.Generics and instances of Functor, Applicative, etc?
conal at conal.net
Wed Jan 13 03:26:08 UTC 2016
On Tue, Jan 12, 2016 at 7:23 PM, Edward Kmett <ekmett at gmail.com> wrote:
> https://ghc.haskell.org/trac/ghc/ticket/9043 is the current ticket for
> tracking this and has more details.
> On Tue, Jan 12, 2016 at 8:28 PM, Conal Elliott <conal at conal.net> wrote:
>> I'm using GHC.Generics and have noticed that the data types defined there
>> don't have instances of the standard classes (at least not defined in that
>> module), such as Functor, Applicative, Foldable and Traversable. It'd be
>> very useful to be able to rely on such instances, so that one can define
>> instances of custom types via instances of the generic types. (Hopefully,
>> the compiler can remove most or all conversion overhead) Is there any
>> reason not to add these generic instances?
>> -- Conal
>> Libraries mailing list
>> Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries