Re: Maximum and Minimum monoids

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.