[Haskell-cafe] traversal with an arrow

Ivan Perez ivanperezdominguez at gmail.com
Fri Jun 17 17:27:37 UTC 2022

There are some constructs like this in Dunai and Yampa (but not

The first one indeed uses ArrowChoice:


The other two seem to be implementing some similar (ad hoc) choice, but it
can be hard to tell sometimes:



On Fri, 17 Jun 2022 at 11:29, Tom Ellis <
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk> wrote:

> On Fri, Jun 17, 2022 at 05:01:55PM +0200, Olaf Klinke wrote:
> > Is there prior art to the following generalisation?
> >     traverseArrow :: Traversable t => a x y -> a (t x) (t y)
> Perhaps you are looking for this:
> https://github.com/tomjaguarpaw/Arrows2/issues/3#issuecomment-561973678
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220617/82bda6af/attachment.html>

More information about the Haskell-Cafe mailing list