
20 May
2016
20 May
'16
1 a.m.
On Thu, May 19, 2016 at 10:00 AM, David Feuer
Data.Map offers functions to convert from ascending lists to maps, and also offers a function to map an increasing function over the keys of a map. Equivalents for descending lists and decreasing functions are missing. I think we should add them. Any objections?
+1. They're a lot more performant to do directly rather than (a) reversing the ascending lists, or (b) constructing the mirror image (Map (Down k) a) so that "ascending" is in the right order. -- Live well, ~wren