MHask.Monad

Compare to base.Prelude (Monad)

Documentation

class Pointed t => Monad t where

Dual of MHask.Comonad

Methods

join :: Monad m => t (t m) ~> t m

bind :: (Monad m, Monad n) => (m ~> t n) -> t m ~> t n

fmapMonad :: (Monad m, Monad n, Monad (t n), Monad t) => (m ~> n) -> t m ~> t n

If you define your Monad in terms of bind and return, then you get a free implementation of fmap which can be used for Functor.