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