Maximum and Minimum monoids

Gabriel Gonzalez gabriel439 at
Sat Dec 29 00:22:03 CET 2012

On 12/28/2012 05:18 PM, Edward Kmett wrote:
> Personally I like having both Maximum-and-Minimum-with-sentinel 
> version like the proposed Maximum and Minimum here, along with the 
> simpler Max and Min semigroups that upgrade themselves to a Monoid 
> when Bounded is present.
> Each is useful for different usecases. I like having access to the 
> efficient version whenever I know the target admits a minimum value 
> (like Int).
> Paying for unnecessary Maybe's makes me cry.
> -Edward
That sounds like a reasonable compromise.  I can buy the efficiency 

More information about the Libraries mailing list