<p dir="ltr">Yes, but no. Once you do that, the whole map is Down. Aside from the inconvenience factor, such a map can't be combined with one in the usual order using union, intersection, etc. We could add conversion functions, but they'd copy the whole structure and really only be special cases of the hypothetical mapKeysDescending.</p>
<div class="gmail_quote">On May 19, 2016 10:40 AM, "Nickolay Kudasov" <<a href="mailto:nickolay.kudasov@gmail.com">nickolay.kudasov@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi David,<div><br></div><div>Can't this be done simply by using Data.Ord.Down wrapper for the keys?</div><div><br></div><div>Kind regards,</div><div>Nick</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, 19 May 2016 at 17:00 David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">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?</p>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
</blockquote></div>