MHask.Pointed

Documentation

class Functor t => Pointed t where

Methods

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

Instances

Monoid w => Pointed (WriterT w)

Pointed (StateT s)

Pointed (ReaderT r)