Control.Monad.Trans.MultiWriter.Strict

Contents

• MultiWriterT
• MonadMultiWriter class
• run-functions
• with-functions (single Writer)
• with-functions (multiple Writers)
• inflate-function (run WriterT in MultiWriterT)
• other functions

Description

Synopsis

• newtype MultiWriterT x m a = MultiWriterT {
  • runMultiWriterTRaw :: StateT (HList x) m a
  }
• type MultiWriterTNull = MultiWriterT '[]
• type MultiWriter x a = MultiWriterT x Identity a
• class (Monad m, Monoid a) => MonadMultiWriter a m where
• runMultiWriterT :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w)
• runMultiWriterTAW :: (Monoid (HList w), Functor m) => MultiWriterT w m a -> m (a, HList w)
• runMultiWriterTWA :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w, a)
• runMultiWriterTW :: (Monoid (HList w), Monad m) => MultiWriterT w m a -> m (HList w)
• runMultiWriterTNil :: Monad m => MultiWriterT '[] m a -> m a
• runMultiWriterTNil_ :: Functor m => MultiWriterT '[] m a -> m ()
• withMultiWriter :: (Monoid w, Monad m) => MultiWriterT (w ': ws) m a -> MultiWriterT ws m (a, w)
• withMultiWriterAW :: (Monoid w, Monad m) => MultiWriterT (w ': ws) m a -> MultiWriterT ws m (a, w)
• withMultiWriterWA :: (Monoid w, Monad m) => MultiWriterT (w ': ws) m a -> MultiWriterT ws m (w, a)
• withMultiWriterW :: (Monoid w, Monad m) => MultiWriterT (w ': ws) m a -> MultiWriterT ws m w
• withMultiWriters :: forall w1 w2 m a. (Monoid (HList w1), Monad m, HInit w1) => MultiWriterT (Append w1 w2) m a -> MultiWriterT w2 m (a, HList w1)
• withMultiWritersAW :: forall w1 w2 m a. (Monoid (HList w1), Monad m, HInit w1) => MultiWriterT (Append w1 w2) m a -> MultiWriterT w2 m (a, HList w1)
• withMultiWritersWA :: forall w1 w2 m a. (Monoid (HList w1), Monad m, HInit w1) => MultiWriterT (Append w1 w2) m a -> MultiWriterT w2 m (HList w1, a)
• withMultiWritersW :: forall w1 w2 m a. (Monoid (HList w1), Monad m, HInit w1) => MultiWriterT (Append w1 w2) m a -> MultiWriterT w2 m (HList w1)
• inflateWriter :: (Monad m, Monoid w, ContainsType w ws) => WriterT w m a -> MultiWriterT ws m a
• mapMultiWriterT :: (m (a, HList w) -> m' (a', HList w)) -> MultiWriterT w m a -> MultiWriterT w m' a'
• mGetRaw :: Monad m => MultiWriterT a m (HList a)
• mPutRaw :: Monad m => HList s -> MultiWriterT s m ()

MultiWriterT

MultiWriterT '[Int, Bool] :: (* -> *) -> (* -> *)

MonadMultiWriter class

run-functions

with-functions (single Writer)

with-functions (multiple Writers)

inflate-function (run WriterT in MultiWriterT)

other functions