Adding more instances to Kleisli: Generic, Monad, etc

[David Feuer]

I think the MonadPlus instance should probably have a MonadPlus constraint,
since MonadPlus makes a sort of statement about the interaction between >>=
and mplus, even if it's a bit of an ambiguous one.

On Tue, Apr 2, 2019, 12:30 AM Fumiaki Kinoshita <fumiexcel at gmail.com> wrote:

> This is another part of
> https://gitlab.haskell.org/ghc/ghc/merge_requests/644, which is
> presumably much less controversial:
>
> Generic (Kleisli m a b)
> Functor m => Functor (Kleisli m a)
> Applicative m => Applicative (Kleisli m a)
> Alternative m => Alternative (Kleisli m a)
> Monad m => Monad (Kleisli m a)
> (Alternative m, Monad m) => MonadPlus (Kleisli m a)
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190402/f29f1a9f/attachment.html>