Maximum and Minimum monoids

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


Sjoerd Visscher <sjoerd at w3future.com> 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.

cheers,
  hvr



More information about the Libraries mailing list