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

[Bas van Dijk]

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:
Data.Map.Location/Zipper/Cursor?

If, in the future, it turns out that this interface is used a lot we
can always move it to Data.Map.

Bas