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

Johan Tibell johan.tibell at
Tue Jan 11 21:14:25 CET 2011

On Tue, Jan 11, 2011 at 8:55 PM, Bas van Dijk <v.dijk.bas at> wrote:
> On Tue, Jan 11, 2011 at 5:20 PM, Heinrich Apfelmus
> <apfelmus at> 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.


More information about the Libraries mailing list