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