Library proposal: add a Location interface for element-wise operations on Data.Map (#4887)
Bas van Dijk
v.dijk.bas at gmail.com
Wed Jan 12 23:45:33 CET 2011
On Wed, Jan 12, 2011 at 10:53 PM, Johan Tibell <johan.tibell at gmail.com> wrote:
> Is it worth adding this Interface for all its coolness? Simply using
> 'lookup' plus 'insert' is simpler, as powerful, and only 7% slower.
If the argument is that this interface complicates the existing
Data.Map API why not export it from its own module:
If, in the future, it turns out that this interface is used a lot we
can always move it to Data.Map.
More information about the Libraries