[Haskell-cafe] traversal with an arrow

Dan Dart haskellcafe at dandart.co.uk
Fri Jun 17 15:19:56 UTC 2022

> Is there prior art to the following generalisation?

Hello, that reminds me of a Profunctor - you could manipulate via
Profunctor, since all arrows are Profunctors via a WrappedArrow
newtype. Maybe Strong too? I forget which way round those go.


More information about the Haskell-Cafe mailing list