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

[Bas van Dijk]

On Tue, Jan 11, 2011 at 5:20 PM, Heinrich Apfelmus
<apfelmus at quantentunnel.de> wrote:
> I'm not overly happy with the name "Location", though, because the data type
> not only represents one location but also the whole map around it. Maybe
> "Vicinity" is slightly more apt?
>
> The other names I could think of ("PinnedMap", "FocussedMap", "FingerMap",
> "MarkedMap", "Neighborhood", "TreasureTrove") don't seem to be an
> improvement.

I was thinking about "Cursor".

Bas