Maximum and Minimum monoids

[Edward Kmett]

If it moved semigroups into base, and fix that god-awful Maybe Monoid
instance, I'd be willing to shed the times1p function or convert it to
Integral.

To merely move it into the platform, I'd be more hesitant.

On Fri, Dec 28, 2012 at 1:14 PM, Gabriel Gonzalez <gabriel439 at gmail.com>wrote:

> On 12/28/2012 12:07 PM, Roman Cheplyaka wrote:
>
>> So, the best solution seems to be to merge semigroups into base.
>> My proposal would be to move only Data.Semigroup to base, as it will
>> lead to significant simplification, but leave other modules (NonEmpty,
>> Natural) in a separate package, since they are of limited applicability
>> and would gain nothing by being inside base.
>>
>
> I'm okay with this.  However, his Semigroup class depends on NonEmpty and
> Whole from the other semigroup modules, but I assume those are just there
> for efficiency purposes.
>
> Also, if semigroups is in base, then you can move the semigroups instances
> back to containers.
>
>
> ______________________________**_________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/**mailman/listinfo/libraries<http://www.haskell.org/mailman/listinfo/libraries>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121228/12cf80e1/attachment.htm>