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

Chung-chieh Shan ccshan at
Sat Jan 8 03:34:14 CET 2011

Ross Paterson <ross at> wrote in article <20110107173753.GA9221 at> in gmane.comp.lang.haskell.libraries:


Given that no function takes two Locations at once, a Location can
be thought of (and implemented) as a record whose fields are "key",
"before", "after", etc.  To support this thought, it would be nice if
all functions that take a Location as argument take it as the first
argument.  That seems already the case except in "assign".

Edit this signature at

More information about the Libraries mailing list