Proposal: add an order-reversing newtype to Data.Ord
strake888 at gmail.com
Tue Jul 10 14:31:59 CEST 2012
On 09/07/2012, Edward Kmett <ekmett at gmail.com> wrote:
> I would be happy enough with just re-exporting Down and calling it a day.
> Last time this topic came up it was bikeshedded to death without
Why is it called "Down"? Is this a mathematical term?
Its name ought to say what it does. So far, the best seems to be
"DualOrd", for it quite clearly affects only the order.
More information about the Libraries