[Haskell-cafe] Failing to find a function

Erik Hesselink hesselink at gmail.com
Sun Feb 19 13:01:29 CET 2012


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.fairbairn at 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) <+> 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 at cl.cam.ac.uk
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list