darcs patch: Added list operations for arrows
Wolfgang Jeltsch
g9ks157k at acme.softbase.org
Fri Oct 31 08:26:55 EDT 2008
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?
Best wishes,
Wolfgang
More information about the Libraries
mailing list