[Proposal] Add instance Monoid a => Monoid (Const a b)

Dag Odenhall dag.odenhall at gmail.com
Sat Oct 12 19:40:42 UTC 2013

On Sat, Oct 12, 2013 at 7:32 PM, Edward Kmett <ekmett at gmail.com> wrote:

On a related note Simon recently asked the core libraries committee if we
> should move Data.Functor.Identity into base.

 How about calling that one Id then (already in Data.Traversable but not
exported). This would be more consistent with Const not being called
Constant. Maybe also put it in Control.Applicative or move both somewhere

For back-compat, transformers could continue to export those modules, with
aliases like type Identity = Id.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131012/ccc7326e/attachment.html>

More information about the Libraries mailing list