MHask-0.3.0.0: The category of monads
MHask.Copointed
Description
Compare to comonad.Control.Comonad (Copointed)
Synopsis
class Functor t => Copointed t whereSource
The dual of MHask.Pointed
Methods
extract :: Monad m => m <~ t mSource
Instances