[Haskell-cafe] Are all arrows functors?
nicolas.pouillard at gmail.com
Tue Nov 3 08:26:45 EST 2009
Excerpts from Neil Brown's message of Tue Nov 03 13:45:42 +0100 2009:
> I was thinking about some of my code today, and I realised that where I
> have an arrow in my code, A b c, the type (A b) is also a functor. The
> definition is (see
> fmap = (^<<)
> -- Or, in long form:
> fmap f x = arr f <<< x
> Out of curiosity, and since this is a typical haskell-cafe question,
> does this definition of fmap hold for all arrows?
Yes, as shown by the 'WrappedArrow' newtype:
More information about the Haskell-Cafe