MHask.Pointed

Equivalent to transformers.Control.Monad.Trans.Class (MonadTrans)

Documentation

class Functor t => Pointed t where

The dual of MHask.Copointed

Methods

return :: Monad m => m ~> t m

Instances

Monoid w => Pointed (WriterT w)

Pointed (StateT s)

Pointed (ReaderT r)