Maximum and Minimum monoids

Gabriel Gonzalez gabriel439 at gmail.com
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 
argument.



More information about the Libraries mailing list