19 Feb
2012
19 Feb
'12
12:02 p.m.
Isn't that just something like liftA2 mplus? Отправлено с iPhone Feb 19, 2012, в 15:50, Jon Fairbairn <jon.fairbairn@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 -> 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 Fairbairn Jon.Fairbairn@cl.cam.ac.uk
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe