Proposal: Data.Functor.<.> for `fmap f2 . f1`

Alexander Berntsen alexander at plaimi.net
Mon Sep 21 11:59:10 UTC 2015


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

On 20/09/15 22:08, Edward Kmett wrote:
> This operator is usually named .: or the like. It is a weaker form
> of fmap.fmap.
'(.:) = (.).(.)' is very common. But given that '(<$>) = (.)' for
functions, '(.:) = fmap . fmap' would work.

- -1 on '(<.>)'.
+1 on '(.:)'.

- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCgAGBQJV//ENAAoJENQqWdRUGk8BZmAP/1WfovtSUqj1WcpMq/2tgS3s
lasGdQ+Rzw1G340yKkfkjPmHs6OHMKBbuUFCpofmIE5zNZBcK91GZptvbfO4saSd
d66Rj/t7h7sl1Jc5JLnJj+UEls+z1ycUsrHOPQgWOqvHwClkMkD2fiV/qPgUGYYP
czTsRBLCnTGx3kbebfvBfrCk+rdCwRf/L8EC22ambp8/TCh5j1J4QpfubwNzy6Yh
IgHLq+25EzEMkZgxuf3e5wb5M/cJiNCujFcA4x2hOIR/4d6KOWtM+Gxse2T8V4Jr
AhwEdj27AQRvZ+vM5khFA7UyfB1Y4yqhWd8BmeisQGnhHvK1gPPfXBvp6K3l/ylf
XMePGOAEY7SDreb/Fk6rtlDW1uD5ukbY5RY9dp62OgLBexm/eL/Ywx/OAjRi7r7I
iQFV1dOFSCkNwEdf07A062FtaV0pRD+LjocnRodOvTDdACfpDDZFwDD/zbBip58u
mCD6vlM7wOcW8eL8Pg/BvwTuRVY+zT1L8b1TpVFRw3y8VtWE2uGPSsdI91g0wQcC
HX5g7LLeg8vl55z28TScOD/2jf0uCixwwAOe/r0nWY1+Ifv9J+lzCJQeyr9Ffbif
JUfbmBQHek/FDnPKtTcZcGms11tZZF5qMTl7y2FefKNtj+A2ipJeM3n9jzkXWci7
TBeEdz4g/0JJHdGciOug
=+oey
-----END PGP SIGNATURE-----


More information about the Libraries mailing list