Adding more instances to Kleisli: Generic, Monad, etc

[Fumiaki Kinoshita]

I'm not quite sure what the point of MonadPlus is; the default definitions
are the Alternative methods. Would we ever want to have MonadPlus different
from Alternative?

2019年4月2日(火) 13:44 David Feuer <david.feuer at gmail.com>:

> 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/20190403/c9fe6f59/attachment-0001.html>