Control.Monad.Trans.MultiGST

Contents

• MultiRWST
• MonadMulti classes
• run-functions (extracting from RWST)
• with-functions (extending an RWST)
• without-functions (reducing an RWST; inverse of with)
• other functions

Description

Synopsis

• newtype MultiGSTT ts m a = MultiGSTT {
  • runMultiGSTTRaw :: StateT (HListM ts) m a
  }
• type MultiGSTTNull = MultiGSTT '[]
• type MultiGST r = MultiGSTT r Identity
• type ContainsReader = HListMContains GettableFlag
• type ContainsState = HListMContains SettableFlag
• type ContainsWriter = HListMContains TellableFlag
• class Monad m => MonadMultiReader a m where
• class (Monad m, Monoid a) => MonadMultiWriter a m where
• class Monad m => MonadMultiGet a m where
• data CanReadWrite a
  • = Gettable a
  • | Settable a
  • | Tellable a
• runMultiGSTTNil :: Monad m => MultiGSTT '[] m a -> m a
• runMultiGSTTNil_ :: Monad m => MultiGSTT '[] m a -> m ()
• withReader :: Monad m => t -> MultiGSTT (Gettable t ': tr) m a -> MultiGSTT tr m a
• withReader_ :: Monad m => t -> MultiGSTT (Gettable t ': tr) m a -> MultiGSTT tr m ()
• withReaders :: Monad m => HList rs -> MultiGSTT (AppendM (HListMReaders rs) ts) m a -> MultiGSTT ts m a
• withWriter :: (Monoid t, Monad m) => MultiGSTT (Tellable t ': tr) m a -> MultiGSTT tr m (a, t)
• withWriterAW :: (Monoid t, Monad m) => MultiGSTT (Tellable t ': tr) m a -> MultiGSTT tr m (a, t)
• withWriterWA :: (Monoid t, Monad m) => MultiGSTT (Tellable t ': tr) m a -> MultiGSTT tr m (t, a)
• withWriterW :: (Monoid t, Monad m) => MultiGSTT (Tellable t ': tr) m a -> MultiGSTT tr m t
• withState :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m (a, t)
• withStateAS :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m (a, t)
• withStateSA :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m (t, a)
• withStateA :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m a
• withStateS :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m t
• withState_ :: Monad m => t -> MultiGSTT (Settable t ': tr) m a -> MultiGSTT tr m ()
• without :: Monad m => MultiGSTT tr m a -> MultiGSTT (ct ': tr) m a
• mapMultiGSTT :: ts ~ HListM cts => (m (a, ts) -> m' (a', ts)) -> MultiGSTT cts m a -> MultiGSTT cts m' a'
• mGetRawR :: (Monad m, HListMGettableClass ts) => MultiGSTT ts m (HList (HListMGettableOnly ts))
• mSetRaw :: Monad m => HListM ts -> MultiGSTT ts m ()
• mGetRaw :: Monad m => MultiGSTT ts m (HListM ts)

MultiRWST

MonadMulti classes

run-functions (extracting from RWST)

with-functions (extending an RWST)

without-functions (reducing an RWST; inverse of with)

other functions