25 Jul
2013
25 Jul
'13
5:21 p.m.
On 25/07/2013 20:16, John Wiegley wrote:
The function is:
om f m = (m >>=) . flip f [...] A rider to this proposal is to also add "nom = flip om", but I can live without that one. "om", however, is handy enough that I've started locally defining in all the modules where I find myself now reaching for it.
I have to admit my first reaction to this was that it isn't April 1st... More seriously, "om" sounds useful but the name seems a bit obscure ("on monad"?) Are there any examples of "nom" being useful? Cheers, Ganesh