Proposal: add an order-reversing newtype to Data.Ord
byorgey at seas.upenn.edu
Tue Jul 10 16:08:59 CEST 2012
On Tue, Jul 10, 2012 at 03:07:38AM -0400, wren ng thornton wrote:
> On 7/9/12 7:29 PM, Edward Kmett 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 resolution.
> Indeed. I'd rather use "Reverse" than "Down", but I'd rather have
> Down in the standard library than have this bikeshedded to death
+1 for re-exporting Down and no bikeshedding.
More information about the Libraries