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