
5 Sep
2011
5 Sep
'11
12:22 p.m.
On 11-09-05 10:42 AM, Sjoerd Visscher wrote:
This way these laws hold for non-empty lists:
maximumBy f xs = last (sortBy f xs) minimumBy f xs = head (sortBy f xs)
That's not a bad justification for the way implementation works, even if it's not the original reason behind it. I think these laws should be added to the Haddock documentation.