MHask-0.2.0.0: The category of monads
MHask.Monad
Description
Compare to base.Prelude (Monad)
Synopsis
class Pointed t => Monad t whereSource
Dual of MHask.Comonad
Methods
join :: Monad m => t (t m) ~> t mSource
bind :: (Monad m, Monad n) => (m ~> t n) -> t m ~> t nSource