Proposal: flipped fmap in base (again)

Siddhanathan Shanmugam siddhanathan+eml at
Sat Feb 18 04:40:00 UTC 2017

This was proposed about 7 years ago, and rejected at the time:

 Is it okay if I revive this argument now?

I think it would be useful to have the lens operator <&> in base, which is
defined as:

(<&>) :: Functor f => f a -> (a -> b) -> f b
as <&> f = f <$> as

This is analogous to a lifted version of (&) that already present in

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list