[Haskell-cafe] Sequence of lifting transformation operators

Erik de Castro Lopo mle+hs at mega-nerd.com
Fri Jan 27 22:33:42 UTC 2017


Tyson Whitehead wrote:

> <$$> :: (a -> b -> c) -> f a -> f b -> f c

I'd just like to point out that this operator is often used by
as the oeprator for fmap2:


  (<$$>) :: (Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b)
  (<$$>) = fmap . fmap

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


More information about the Haskell-Cafe mailing list