Maximum and Minimum monoids

Herbert Valerio Riedel hvr at
Fri Dec 28 01:13:27 CET 2012

Sjoerd Visscher <sjoerd at> writes:

> Can't you use Option (Max a) from the semigroups package?

This was my first thought as well; IMHO, the elementary Minimum/Maximum
operation forms a semigroup rather than a monoid.


More information about the Libraries mailing list