Control.Monad.Trans.MultiRWS

The multi-valued version of mtl's RWS / RWST

MultiRWST

newtype MultiRWST r w s m a

Constructors

MultiRWST

Fields

• runMultiRWSTRaw :: StateT (HList r, HList w, HList s) m a

Instances

MonadBase b m => MonadBase b (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

liftBase :: b α -> MultiRWST r w s m α

MonadBaseControl b m => MonadBaseControl b (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Associated Types

type StM (MultiRWST r w s m) a

Methods

liftBaseWith :: (RunInBase (MultiRWST r w s m) b -> b a) -> MultiRWST r w s m a

restoreM :: StM (MultiRWST r w s m) a -> MultiRWST r w s m a

(Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mGet :: MultiRWST r w s m a

(Monad m, ContainsType a r) => MonadMultiReader a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mAsk :: MultiRWST r w s m a

(Monad m, ContainsType a s) => MonadMultiState a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mSet :: a -> MultiRWST r w s m ()

(Monad m, ContainsType a w, Monoid a) => MonadMultiWriter a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mTell :: a -> MultiRWST r w s m ()

MonadTrans (MultiRWST r w s)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

lift :: Monad m => m a -> MultiRWST r w s m a

MonadTransControl (MultiRWST r w s)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Associated Types

type StT (MultiRWST r w s) a

Methods

liftWith :: Monad m => (Run (MultiRWST r w s) -> m a) -> MultiRWST r w s m a

restoreT :: Monad m => m (StT (MultiRWST r w s) a) -> MultiRWST r w s m a

Monad m => Monad (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

(>>=) :: MultiRWST r w s m a -> (a -> MultiRWST r w s m b) -> MultiRWST r w s m b

(>>) :: MultiRWST r w s m a -> MultiRWST r w s m b -> MultiRWST r w s m b

return :: a -> MultiRWST r w s m a

Functor f => Functor (MultiRWST r w s f)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

fmap :: (a -> b) -> MultiRWST r w s f a -> MultiRWST r w s f b

(<$) :: a -> MultiRWST r w s f b -> MultiRWST r w s f a

MonadFix m => MonadFix (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mfix :: (a -> MultiRWST r w s m a) -> MultiRWST r w s m a

(Applicative m, Monad m) => Applicative (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

pure :: a -> MultiRWST r w s m a

(<*>) :: MultiRWST r w s m (a -> b) -> MultiRWST r w s m a -> MultiRWST r w s m b

liftA2 :: (a -> b -> c) -> MultiRWST r w s m a -> MultiRWST r w s m b -> MultiRWST r w s m c

(*>) :: MultiRWST r w s m a -> MultiRWST r w s m b -> MultiRWST r w s m b

(<*) :: MultiRWST r w s m a -> MultiRWST r w s m b -> MultiRWST r w s m a

MonadIO m => MonadIO (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

liftIO :: IO a -> MultiRWST r w s m a

(Functor m, Applicative m, MonadPlus m) => Alternative (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

empty :: MultiRWST r w s m a

(<|>) :: MultiRWST r w s m a -> MultiRWST r w s m a -> MultiRWST r w s m a

some :: MultiRWST r w s m a -> MultiRWST r w s m [a]

many :: MultiRWST r w s m a -> MultiRWST r w s m [a]

MonadPlus m => MonadPlus (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mzero :: MultiRWST r w s m a

mplus :: MultiRWST r w s m a -> MultiRWST r w s m a -> MultiRWST r w s m a

type StT (MultiRWST r w s) a

Defined in Control.Monad.Trans.MultiRWS.Lazy

type StT (MultiRWST r w s) a = (a, (HList r, HList w, HList s))

type StM (MultiRWST r w s m) a

Defined in Control.Monad.Trans.MultiRWS.Lazy

type StM (MultiRWST r w s m) a = ComposeSt (MultiRWST r w s) m a

type MultiRWSTNull = MultiRWST '[] '[] '[]

type MultiRWS r w s = MultiRWST r w s Identity

MonadMulti classes

class Monad m => MonadMultiReader a m where

All methods must be defined.

The idea is: Any monad stack is instance of MonadMultiReader a, iff the stack contains a MultiReaderT x with a element of x.

Methods

mAsk

Arguments

:: m a

Access to a specific type in the environment.

Instances

(MonadTrans t, Monad (t m), MonadMultiReader a m) => MonadMultiReader a (t m)

Defined in Control.Monad.Trans.MultiReader.Class

Methods

mAsk :: t m a

(Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m)

Defined in Control.Monad.Trans.MultiReader.Strict

Methods

mAsk :: MultiReaderT c m a

(Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m)

Defined in Control.Monad.Trans.MultiReader.Lazy

Methods

mAsk :: MultiReaderT c m a

(Monad m, ContainsType a r) => MonadMultiReader a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mAsk :: MultiRWST r w s m a

(Monad m, ContainsType a r) => MonadMultiReader a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mAsk :: MultiRWST r w s m a

class (Monad m, Monoid a) => MonadMultiWriter a m where

Methods

mTell :: a -> m ()

Instances

(MonadTrans t, Monad (t m), MonadMultiWriter a m) => MonadMultiWriter a (t m)

Defined in Control.Monad.Trans.MultiWriter.Class

Methods

mTell :: a -> t m ()

(Monad m, ContainsType a c, Monoid a) => MonadMultiWriter a (MultiWriterT c m)

Defined in Control.Monad.Trans.MultiWriter.Strict

Methods

mTell :: a -> MultiWriterT c m ()

(Monad m, ContainsType a c, Monoid a) => MonadMultiWriter a (MultiWriterT c m)

Defined in Control.Monad.Trans.MultiWriter.Lazy

Methods

mTell :: a -> MultiWriterT c m ()

(Monad m, Monoid a, HListMContains 'TellableFlag a cts) => MonadMultiWriter a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Strict

Methods

mTell :: a -> MultiGSTT cts m ()

(Monad m, Monoid a, HListMContains 'TellableFlag a cts) => MonadMultiWriter a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mTell :: a -> MultiGSTT cts m ()

(Monad m, ContainsType a w, Monoid a) => MonadMultiWriter a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mTell :: a -> MultiRWST r w s m ()

(Monad m, ContainsType a w, Monoid a) => MonadMultiWriter a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mTell :: a -> MultiRWST r w s m ()

class Monad m => MonadMultiGet a m where

In contrast to MonadMultiReader, MonadMultiGet is defined for State too, so it corresponds to read-access of any kind.

Note however that for MultiRWS, only the values from the state part can be accessed via MonadMultiGet, due to limitations of the design of MultiRWS and of the type system. This is issue is resolved in the MultiGST type.

Methods

mGet

Arguments

:: m a

Access to a specific type in the environment.

Instances

(MonadTrans t, Monad (t m), MonadMultiGet a m) => MonadMultiGet a (t m)

Defined in Control.Monad.Trans.MultiGet.Class

Methods

mGet :: t m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Strict

Methods

mGet :: MultiStateT c m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Lazy

Methods

mGet :: MultiStateT c m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m)

Defined in Control.Monad.Trans.MultiReader.Strict

Methods

mGet :: MultiReaderT c m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m)

Defined in Control.Monad.Trans.MultiReader.Lazy

Methods

mGet :: MultiReaderT c m a

(Monad m, HListMContains 'GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Strict

Methods

mGet :: MultiGSTT cts m a

(Monad m, HListMContains 'GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mGet :: MultiGSTT cts m a

(Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mGet :: MultiRWST r w s m a

(Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mGet :: MultiRWST r w s m a

class MonadMultiGet a m => MonadMultiState a m where

Methods

mSet :: a -> m ()

Instances

(MonadTrans t, Monad (t m), MonadMultiState a m) => MonadMultiState a (t m)

Defined in Control.Monad.Trans.MultiState.Class

Methods

mSet :: a -> t m ()

(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Strict

Methods

mSet :: a -> MultiStateT c m ()

(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Lazy

Methods

mSet :: a -> MultiStateT c m ()

(Monad m, HListMContains 'SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Strict

Methods

mSet :: a -> MultiGSTT cts m ()

(Monad m, HListMContains 'SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mSet :: a -> MultiGSTT cts m ()

(Monad m, ContainsType a s) => MonadMultiState a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mSet :: a -> MultiRWST r w s m ()

(Monad m, ContainsType a s) => MonadMultiState a (MultiRWST r w s m)

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mSet :: a -> MultiRWST r w s m ()

run-functions (extracting from RWST)

runMultiRWST :: (Monad m, Monoid (HList w)) => HList r -> HList s -> MultiRWST r w s m a -> m (a, HList s, HList w)

runMultiRWSTASW :: (Monad m, Monoid (HList w)) => HList r -> HList s -> MultiRWST r w s m a -> m (a, HList s, HList w)

runMultiRWSTW :: (Monad m, Monoid (HList w)) => HList r -> HList s -> MultiRWST r w s m a -> m (HList w)

runMultiRWSTAW :: (Monad m, Monoid (HList w)) => HList r -> HList s -> MultiRWST r w s m a -> m (a, HList w)

runMultiRWSTSW :: (Monad m, Monoid (HList w)) => HList r -> HList s -> MultiRWST r w s m a -> m (HList s, HList w)

runMultiRWSTNil :: Monad m => MultiRWST '[] '[] '[] m a -> m a

runMultiRWSTNil_ :: (Monad m, Functor m) => MultiRWST '[] '[] '[] m a -> m ()

with-functions (extending an RWST)

withMultiReader :: Monad m => r -> MultiRWST (r ': rs) w s m a -> MultiRWST rs w s m a

withMultiReader_ :: (Functor m, Monad m) => r -> MultiRWST (r ': rs) w s m a -> MultiRWST rs w s m ()

withMultiReaders :: Monad m => HList r1 -> MultiRWST (Append r1 r2) w s m a -> MultiRWST r2 w s m a

withMultiReaders_ :: (Functor m, Monad m) => HList r1 -> MultiRWST (Append r1 r2) w s m a -> MultiRWST r2 w s m ()

withMultiWriter :: (Monoid w, Monad m) => MultiRWST r (w ': ws) s m a -> MultiRWST r ws s m (a, w)

withMultiWriterAW :: (Monoid w, Monad m) => MultiRWST r (w ': ws) s m a -> MultiRWST r ws s m (a, w)

withMultiWriterWA :: (Monoid w, Monad m) => MultiRWST r (w ': ws) s m a -> MultiRWST r ws s m (w, a)

withMultiWriterW :: (Monoid w, Monad m) => MultiRWST r (w ': ws) s m a -> MultiRWST r ws s m w

withMultiWriters :: forall r w1 w2 s m a. (Monoid (HList w1), Monad m, HInit w1) => MultiRWST r (Append w1 w2) s m a -> MultiRWST r w2 s m (a, HList w1)

withMultiWritersAW :: forall r w1 w2 s m a. (Monoid (HList w1), Monad m, HInit w1) => MultiRWST r (Append w1 w2) s m a -> MultiRWST r w2 s m (a, HList w1)

withMultiWritersWA :: forall r w1 w2 s m a. (Monoid (HList w1), Monad m, HInit w1) => MultiRWST r (Append w1 w2) s m a -> MultiRWST r w2 s m (HList w1, a)

withMultiWritersW :: forall r w1 w2 s m a. (Monoid (HList w1), Monad m, HInit w1) => MultiRWST r (Append w1 w2) s m a -> MultiRWST r w2 s m (HList w1)

withMultiState :: Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (a, s)

withMultiStateAS :: Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (a, s)

withMultiStateSA :: Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (s, a)

withMultiStateA :: Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m a

withMultiStateS :: Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m s

withMultiState_ :: (Functor m, Monad m) => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m ()

withMultiStates :: Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (a, HList s1)

withMultiStatesAS :: Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (a, HList s1)

withMultiStatesSA :: Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (HList s1, a)

withMultiStatesA :: Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m a

withMultiStatesS :: Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (HList s1)

withMultiStates_ :: (Functor m, Monad m) => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m ()

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

withoutMultiReader :: Monad m => MultiRWST rs w s m a -> MultiRWST (r ': rs) w s m a

withoutMultiState :: Monad m => MultiRWST r w ss m a -> MultiRWST r w (s ': ss) m a

inflate-functions (run simple transformer in MultiRWST)

inflateReader :: (Monad m, ContainsType r rs) => ReaderT r m a -> MultiRWST rs w s m a

inflateMultiReader :: Monad m => MultiReaderT r m a -> MultiRWST r w s m a

inflateWriter :: (Monad m, ContainsType w ws, Monoid w) => WriterT w m a -> MultiRWST r ws s m a

inflateMultiWriter :: (Functor m, Monad m, Monoid (HList w)) => MultiWriterT w m a -> MultiRWST r w s m a

inflateState :: (Monad m, MonadMultiState s (t m), MonadTrans t) => StateT s m a -> t m a

inflateMultiState :: (Functor m, Monad m) => MultiStateT s m a -> MultiRWST r w s m a

other functions

mapMultiRWST :: ss ~ (HList r, HList w, HList s) => (m (a, ss) -> m' (a', ss)) -> MultiRWST r w s m a -> MultiRWST r w s m' a'

mGetRawR :: Monad m => MultiRWST r w s m (HList r)

mGetRawW :: Monad m => MultiRWST r w s m (HList w)

mGetRawS :: Monad m => MultiRWST r w s m (HList s)

mPutRawR :: Monad m => HList r -> MultiRWST r w s m ()

mPutRawW :: Monad m => HList w -> MultiRWST r w s m ()

mPutRawS :: Monad m => HList s -> MultiRWST r w s m ()