Safe Haskell	Safe
Language	Haskell98

Data.Monoid.Monad

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
Fields run :: m a

Instances

Monad m => C (T m) Source #
Methods lift :: 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 #
Methods mempty :: T m a # mappend :: T m a -> T m a -> T m a # mconcat :: [T m a] -> T m a #