Control.Monad.Trans.MultiState

Contents

• MultiStateT
• MonadMultiState class
• run-functions
• with-functions (single state)
• with-functions (multiple states)
• without-function (single state)
• inflate-functions (run single state in multiple states)
• other functions

Description

Synopsis

• newtype MultiStateT x m a = MultiStateT {
  • runMultiStateTRaw :: StateT (HList x) m a
  }
• type MultiStateTNull = MultiStateT '[]
• type MultiState x = MultiStateT x Identity
• class Monad m => MonadMultiState a m where
• runMultiStateT :: Functor m => HList s -> MultiStateT s m a -> m (a, HList s)
• runMultiStateTAS :: Functor m => HList s -> MultiStateT s m a -> m (a, HList s)
• runMultiStateTSA :: Monad m => HList s -> MultiStateT s m a -> m (HList s, a)
• runMultiStateTA :: Monad m => HList s -> MultiStateT s m a -> m a
• runMultiStateTS :: Monad m => HList s -> MultiStateT s m a -> m (HList s)
• runMultiStateT_ :: Functor m => HList s -> MultiStateT s m a -> m ()
• runMultiStateTNil :: Monad m => MultiStateT '[] m a -> m a
• runMultiStateTNil_ :: Functor m => MultiStateT '[] m a -> m ()
• withMultiState :: Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (a, s)
• withMultiStateAS :: Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (a, s)
• withMultiStateSA :: Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (s, a)
• withMultiStateA :: Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m a
• withMultiStateS :: Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m s
• withMultiState_ :: (Functor m, Monad m) => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m ()
• withMultiStates :: Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (a, HList s1)
• withMultiStatesAS :: Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (a, HList s1)
• withMultiStatesSA :: Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (HList s1, a)
• withMultiStatesA :: Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m a
• withMultiStatesS :: Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (HList s1)
• withMultiStates_ :: (Functor m, Monad m) => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m ()
• withoutMultiState :: (Functor m, Monad m) => MultiStateT ss m a -> MultiStateT (s ': ss) m a
• inflateState :: (Monad m, ContainsType s ss) => StateT s m a -> MultiStateT ss m a
• inflateReader :: (Monad m, ContainsType r ss) => ReaderT r m a -> MultiStateT ss m a
• inflateWriter :: (Monad m, ContainsType w ss, Monoid w) => WriterT w m a -> MultiStateT ss m a
• mapMultiStateT :: (m (a, HList w) -> m' (a', HList w)) -> MultiStateT w m a -> MultiStateT w m' a'
• mGetRaw :: Monad m => MultiStateT a m (HList a)
• mPutRaw :: Monad m => HList s -> MultiStateT s m ()

MultiStateT

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

MonadMultiState class

run-functions

with-functions (single state)

with-functions (multiple states)

without-function (single state)

inflate-functions (run single state in multiple states)

other functions