monoid-transformer-0.0.4.1: Monoid counterparts to some ubiquitous monad transformers
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Monoid.MonadicEndo

Synopsis
  • newtype T (m :: Type -> Type) a = Cons {
    • run :: a -> m a
    }

Documentation

newtype T (m :: Type -> Type) a Source #

Like Data.Monoid.Endo but with monadic result. mempty is return and (<>) is <=<.

Useful e.g. for handling options with GetOpt.

Constructors

Cons 

Fields

  • run :: a -> m a
     

Instances

Instances details
Monad m => Monoid (T m a) Source # 
Instance details

Defined in Data.Monoid.MonadicEndo

Methods

mempty :: T m a

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

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

Monad m => Semigroup (T m a) Source # 
Instance details

Defined in Data.Monoid.MonadicEndo

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