Adding more instances to Kleisli: Generic, Monad, etc

chessai . chessai1996 at gmail.com
Sun Apr 7 16:46:30 UTC 2019


I am +1 on this.

On Sun, Apr 7, 2019, 4:31 AM Fumiaki Kinoshita <fumiexcel at gmail.com> wrote:

> Any +1/-1s?
>
> 2019年4月2日(火) 13:30 Fumiaki Kinoshita <fumiexcel at gmail.com>:
>
>> 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/20190407/74d36f2e/attachment.html>


More information about the Libraries mailing list