Maximum and Minimum monoids
gabriel439 at gmail.com
Fri Dec 28 19:14:06 CET 2012
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.
More information about the Libraries