Maximum and Minimum monoids

[Edward Kmett]

semigroups isn't going to drop the containers dependency.

There is no other place for those instances to live and containers is
farther down in the 'onion' of packages since it goes out with GHC, so this
dependency cannot be inverted by the downstream and orphans here are
unacceptable.

-Edward

On Fri, Dec 28, 2012 at 11:32 AM, Gabriel Gonzalez <gabriel439 at gmail.com>wrote:

> I am definitely in favor of adding "semigroups" to the platform if drops
> the containers dependency.  Optionally, we could then fix the Monoid
> instance for Maybe so that it has a proper semigroup context and we
> wouldn't have to use the Option type.  I would be happy with that solution.
>  However, if we do that then rename the types to "Max" and "Min" instead of
> "Maximum and "Minimum", since "Maybe (Max a)" is long enough as it is.
>
>
> ______________________________**_________________
> 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/c0725032/attachment.htm>