Library proposal: add a Location interface for element-wise operations on Data.Map (#4887)

Bas van Dijk v.dijk.bas at
Wed Jan 12 23:45:33 CET 2011

On Wed, Jan 12, 2011 at 10:53 PM, Johan Tibell <johan.tibell at> 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 mailing list