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

Henning Thielemann lemming at henning-thielemann.de
Sat Jan 8 01:41:04 CET 2011


On Sat, 8 Jan 2011, Bas van Dijk wrote:

> +1 Really nice idea!
>
> (The following is just some brainstorming)
>
> Why not store the value in the Location as in:

Yes, this was my question, too. 'index' would also be simplified.



More information about the Libraries mailing list