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

[Johan Tibell]

On Tue, Jan 11, 2011 at 8:55 PM, Bas van Dijk <v.dijk.bas at gmail.com> wrote:
> 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".

I like it, short and sweet.

Johan