Re: darcs patch: Added list operations for arrows

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? Best wishes, Wolfgang