Re: Proposal: Make Semigroup as a superclass of Monoid

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 wrote:

On Tue, Apr 7, 2015 at 12:52 AM, Edward Kmett 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries