Library proposal: add a Location interface for element-wise operations on Data.Map (#4887)
johan.tibell at gmail.com
Tue Jan 11 21:14:25 CET 2011
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
> I was thinking about "Cursor".
I like it, short and sweet.
More information about the Libraries