Re: Adding (??) into Data.Functor

On 17/02/14 17:29, Daniil Frumin wrote:

On Mon, Feb 17, 2014 at 8:21 PM, Twan van Laarhoven wrote:

...

Would (<$$>) be a sensible name? To match (<**>) from Control.Applicative

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

I don't really feel the need for such a function, though.

On a related note, the documentation for (<**>) is pretty bad. It says "A variant of <*> with the arguments reversed." but that doesn't make it clear that the function is different from `flip (<*>)`.

Is the current definition not equivalent to `flip (<*>)` though?

It is defined as (<**>) = liftA2 (flip ($)) So it does not flip the order of effects. Twan