Proposal: Make Semigroup as a superclass of Monoid

[Brent Yorgey]

As is probably well-known, I am definitely +1 on this.  I don't have strong
opinions about which particular path we take to get there.

On Tue, Apr 7, 2015 at 1:37 PM wren romano <winterkoninkje at gmail.com> wrote:

> On Tue, Apr 7, 2015 at 12:52 AM, Edward Kmett <ekmett at gmail.com> wrote:
> > The most likely path forward would bring in:
> >
> > class Semigroup a where
> >   (<>) :: a -> a -> a
> >   (... and sconcat :: NonEmpty a -> a probably hidden in a submodule to
> > avoid bringing NonEmpty into Prelude, and times1p possibly bikeshedded to
> > stimes1p for naming consistency, both probably exiled to Data.Semigroup)
>
> Whoops! Yes, that's the type I meant for concatenation ::chagrin::
>
> --
> Live well,
> ~wren
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150409/79abcf27/attachment.html>