Control.Monad.Trans.MultiRWS.Strict

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

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

Methods

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

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

Methods

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

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

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) => MonadMultiState a (MultiRWST r w s m)

Methods

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

mGet :: MultiRWST r w s m a

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

Methods

mAsk :: MultiRWST r w s m a

MonadTrans (MultiRWST r w s)

Methods

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

MonadTransControl (MultiRWST r w s)

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)

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

fail :: String -> MultiRWST r w s m a

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

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)

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)

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

(*>) :: 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)

Methods

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

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

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)

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

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

type StM (MultiRWST r w s m) a

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.

Minimal complete definition

mAsk

Methods

mAsk :: m a

Instances

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

Methods

mAsk :: t m a

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

Methods

mAsk :: MultiReaderT c m a

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

Methods

mAsk :: MultiReaderT c m a

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

Methods

mAsk :: MultiRWST r w s m a

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

Methods

mAsk :: MultiRWST r w s m a

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

Minimal complete definition

mTell

Methods

mTell :: a -> m ()

Instances

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

Methods

mTell :: a -> t m ()

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

Methods

mTell :: a -> MultiWriterT c m ()

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

Methods

mTell :: a -> MultiWriterT c m ()

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

Methods

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

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

Methods

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

class Monad m => MonadMultiState a m where

All methods must be defined.

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

Minimal complete definition

mSet, mGet

Methods

mSet :: a -> m ()

state set function for values of type a.

mGet :: m a

state get function for values of type a.

Instances

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

Methods

mSet :: a -> t m ()

mGet :: t m a

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

Methods

mSet :: a -> MultiStateT c m ()

mGet :: MultiStateT c m a

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

Methods

mSet :: a -> MultiStateT c m ()

mGet :: MultiStateT c m a

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

Methods

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

mGet :: MultiRWST r w s m a

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

Methods

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

mGet :: MultiRWST r w s m a

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, ContainsType s ss) => StateT s m a -> MultiRWST r w ss 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 ()