Data.Monoid.Monad

Documentation

newtype T m a

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

Fields

• run :: m a

Instances

Monad m => C (T m)

Methods

lift :: Monoid m => m -> T m m

(Monad m, Semigroup a) => Semigroup (T m a)

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)

Methods

mempty :: T m a

mappend :: T m a -> T m a -> T m a

mconcat :: [T m a] -> T m a