Proposal: add liftA4 and liftA5 to match liftM4 and liftM5

Alexander Berntsen alexander at plaimi.net
Fri Nov 7 10:18:41 UTC 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

(Sent this to David personally by a mistake.)


On 06/11/14 03:24, David Feuer wrote:
> Since Applicative is supposed to be important now, I figure we
> should get these in.
- -1.

On 06/11/14 07:31, Michael Snoyman wrote:
> But let me ask something else: why not just change the type
> signature of liftM2... to have an Applicative constraint instead of
> a Monad constraint? Besides the funny naming, that would seem to
> address your concern, without increasing the number of
> non-idiomatic combinators.
I'd prefer just getting rid of liftMN, but this sounds like a
reasonable compromise.
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iF4EAREIAAYFAlRcnIEACgkQRtClrXBQc7V5HwEAryX1hJmfu4aLomGnOzEbVln1
webgdIhu6B2j4WB/zZMA/0f0Av5Bde/sC6KH1htcSABPo7Vv7gPcn5Yo03jHWVoK
=zn1W
-----END PGP SIGNATURE-----


More information about the Libraries mailing list