Adding more instances to Kleisli: Generic, Monad, etc

Fumiaki Kinoshita fumiexcel at gmail.com
Tue Apr 2 04:30:16 UTC 2019


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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190402/37344486/attachment.html>


More information about the Libraries mailing list