MHask-0.1.0.0: The category of monads
MHask.Monad
class Pointed t => Monad t whereSource
Methods
join :: (Monad m, Monad (t m), Monad (t (t m))) => t (t m) ~> t mSource
bind :: (Monad m, Monad (t m), Monad n, Monad (t n)) => (m ~> t n) -> t m ~> t nSource