monoid-transformer-0.0.4: Monoid counterparts to some ubiquitous monad transformers

Synopsis

# Documentation

newtype T m a Source #

Sequence actions and combine their monadic results with mappend.

This type could be omitted, if Monad would be a sub-class of Applicative.

Constructors

 Cons Fieldsrun :: m a

Instances

 Monad m => C (T m) Source # Methodslift :: Monoid m => m -> T m m Source # (Monad m, Semigroup a) => Semigroup (T m a) Source # Methods(<>) :: T m a -> T m a -> T m a #sconcat :: NonEmpty (T m a) -> T m a #stimes :: Integral b => b -> T m a -> T m a # (Monad m, Monoid a) => Monoid (T m a) Source # Methodsmempty :: T m a #mappend :: T m a -> T m a -> T m a #mconcat :: [T m a] -> T m a #