Data.Monoid.MonadicEndo

Documentation

newtype T m a

Like Data.Monoid.Endo but with monadic result. mempty is return and mappend is <=<.

Useful e.g. for handling options with GetOpt.

Constructors

Cons

Fields

run :: a -> m a

Instances

Monad m => Monoid (T m a)