Proposal: add liftA4 and liftA5 to match liftM4 and liftM5

Conal Elliott conal at conal.net
Sat Nov 8 16:27:39 UTC 2014


Strongly +1.

liftAn are partial-application-friendly. They're also very handy to compose
with *no arguments* in the style of semantic editor combinators. For
instance, `(liftA2.liftA2.liftA2)` lifts a binary function to a binary
function that targets three levels deep in applicative functor nesting.

-- Conal

On Fri, Nov 7, 2014 at 10:00 AM, Edward Kmett <ekmett at gmail.com> wrote:

> If you want to partially apply a lifted function the f <$> x <*>y <*> z
> approach doesn't work.
>
> liftMn and liftAn still have a place.
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20141108/e5c8190c/attachment.html>


More information about the Libraries mailing list