-----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@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-----