PROPOSAL: Add instances to Data.Monoid newtype wrappers

[Dan Burton]

+1 Seems obvious. People shouldn't have to define orphan instances for
these. Any instance (of a class in base) that makes sense should be
included whenever possible.

-- Dan Burton

On Thu, Dec 11, 2014 at 7:30 AM, Sean Leather <sean.leather at gmail.com>
wrote:

> As of base 4.7.0.1, none of the newtype wrappers in Data.Monoid have
> instances for:
>
>    - Typeable
>    - Data
>    - Functor
>
>
> It looks like the base library repository has AutoDeriveTypeable, so I
> presume that takes care of the Typeable instances. It also looks like First
> and Last now have Functor instances, amongst others.
>
> In particular, I would like to add Functor instances for all parameterized
> types, where applicable (i.e. Dual, Sum, Product).
>
> In general, I think we should add whatever other instances make sense.
> Data came to mind. Others?
>
> Discussion period: 2 weeks (or perhaps until after the beginning of the
> new year)
>
> Regards,
> Sean
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20141211/fc6a1086/attachment.html>