darcs patch: Added list operations for arrows

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Fri Oct 31 09:21:40 EDT 2008


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 <pcc03 at doc.ic.ac.uk>
> >   * 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



More information about the Libraries mailing list