Proposal: Max and Min for Monoid

Ross Paterson ross at soi.city.ac.uk
Thu Sep 23 18:46:46 EDT 2010


On Thu, Sep 23, 2010 at 03:08:48PM -0400, Edward Kmett wrote:
> On the other hand, composing AddBounds introduces another element on the other
> side, which serves as an annihilator when composed with Min and Max. This is
> fine for some applications, but I don't believe it subsumes MinPriority and
> MaxPriority.

This extra element at the other end introduced by AddBounds bothers
me too.  So I agree with the conclusion that we need both versions that
add a maximum/minimum, and ones that take it from Bounded.  That leaves
the question of which variant deserves to be called Max/Min.


More information about the Libraries mailing list