Adding more instances to Kleisli: Generic, Monad, etc

George Wilson george at wils.online
Mon Apr 8 02:00:26 UTC 2019


I am also +1

On Mon, 8 Apr 2019 at 02:47, chessai . <chessai1996 at gmail.com> wrote:
>
> 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
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries


More information about the Libraries mailing list