This is probably a failure of my search fu or some other mental
lacuna, but is there already a definition of this function
somewhere:
\a b - runKleisli $ (Kleisli a) + Kleisli b
?
Hoogling for its type
MonadPlus m = (a - m b) - (a - m b) - a - m b
doesn’t net me anything useful.
--
Jón
Not a single name, but I believe
liftA2 mplus
is the same function, and much shorter (and more general). It uses the
Applicative instance for (a -). Of course, it also works with liftM2.
Erik
On Sun, Feb 19, 2012 at 12:50, Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote:
This is probably a
Isn't that just something like liftA2 mplus?
Отправлено с iPhone
Feb 19, 2012, в 15:50, Jon Fairbairn jon.fairba...@cl.cam.ac.uk написал(а):
This is probably a failure of my search fu or some other mental
lacuna, but is there already a definition of this function
somewhere:
\a b -
Erik Hesselink hessel...@gmail.com writes:
On Sun, Feb 19, 2012 at 12:50, Jon Fairbairn jon.fairba...@cl.cam.ac.uk
wrote:
This is probably a failure of my search fu or some other mental
lacuna, but is there already a definition of this function
somewhere:
\a b - runKleisli $ (Kleisli a) +