MHask-0.2.0.0: The category of monads
MHask.Comonad
Description
Compare to comonad.Control.Comonad (Comonad)
Synopsis
class Copointed t => Comonad t whereSource
Dual of MHask.Monad
Methods
duplicate :: Monad m => t (t m) <~ t mSource
extend :: (Monad m, Monad n) => (m <~ t n) -> t m <~ t nSource