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

Bas van Dijk v.dijk.bas at
Tue Jan 11 20:55:20 CET 2011

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".


More information about the Libraries mailing list