MHask.Comonad

Documentation

class Copointed t => Comonad t where

Methods

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

duplicate :: (Monad m, Monad (t m), Monad (t (t m))) => t m ~> t (t m)