Re: darcs patch: Added list operations for arrows

On Fri, 2008-10-31 at 13:26 +0100, Wolfgang Jeltsch wrote:

Am Donnerstag, 30. Oktober 2008 18:17 schrieb Peter Collingbourne:

...

Hello,

This patch adds two arrow combinators which I have found useful: mapA (equivalent of map) and filterA (equivalent of filter).

Thu Oct 30 16:50:02 GMT 2008 Peter Collingbourne * Added list operations for arrows

Thanks,

Hello,

wouldn’t it be better to stop using identifiers containing categorization in form of single letters like filterA, mappend, etc.? I’d say, we have the module system for this: Monoid.append, Arrow.filter, etc. Is someone interested in cleaning up the library interfaces in this regard while maintaining compatibility?

Here here! 'A.filter' rather than 'filterA' (with a suitable qualified import). Duncan