Ian Lynagh | 2 Dec 20:26
Picon
Gravatar

Re: Proposal: Max and Min for Monoid (ticket # 1952)

On Sun, Dec 02, 2007 at 09:57:50AM -0800, Conal Elliott wrote:
> 
> instance (Ord a, Bounded a) => Monoid (Min a) where
> 	mempty = Min minBound

I think you mean:

    mempty = Min maxBound

> 	Min a `mappend` Min b = Min (a `min` b)

Thanks
Ian

Gmane