Library proposal: add a Location interface for element-wise operations on Data.Map (#4887)
ekmett at gmail.com
Fri Jan 7 23:22:20 CET 2011
+1 +1 +1 +1 =)
On Fri, Jan 7, 2011 at 12:37 PM, Ross Paterson <ross at soi.city.ac.uk> wrote:
> This is a variant of a suggestion by apfelmus:
> To avoid proliferation of variants of element-wise operations, the idea
> is to split these operations into two phases mediated by a new Location
> type, so that users can do whatever they like between these phases.
> Documentation is here:
> This adds a type and 9 functions to the interface, but makes possible
> monadic updates and much more. As an illustration, the file MapOps.hs
> attached to the ticket gives definitions of 30 of the public functions of
> Data.Map in terms of the new interface. At least in the case of insert,
> this definition is slightly faster than the current one.
> Discussion period: 4 weeks (to 4 February)
> Libraries mailing list
> Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries