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

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