Control.Monad.Trans.MultiGST

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

MultiRWST

newtype MultiGSTT ts m a

Constructors

MultiGSTT

Fields

• runMultiGSTTRaw :: StateT (HListM ts) m a

Instances

(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, HListMContains SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

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

MonadTrans (MultiGSTT ts)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

lift :: Monad m => m a -> MultiGSTT ts m a

Monad m => Monad (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

(>>=) :: MultiGSTT ts m a -> (a -> MultiGSTT ts m b) -> MultiGSTT ts m b

(>>) :: MultiGSTT ts m a -> MultiGSTT ts m b -> MultiGSTT ts m b

return :: a -> MultiGSTT ts m a

fail :: String -> MultiGSTT ts m a

Functor m => Functor (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

fmap :: (a -> b) -> MultiGSTT ts m a -> MultiGSTT ts m b

(<$) :: a -> MultiGSTT ts m b -> MultiGSTT ts m a

Monad m => Applicative (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

pure :: a -> MultiGSTT ts m a

(<*>) :: MultiGSTT ts m (a -> b) -> MultiGSTT ts m a -> MultiGSTT ts m b

liftA2 :: (a -> b -> c) -> MultiGSTT ts m a -> MultiGSTT ts m b -> MultiGSTT ts m c

(*>) :: MultiGSTT ts m a -> MultiGSTT ts m b -> MultiGSTT ts m b

(<*) :: MultiGSTT ts m a -> MultiGSTT ts m b -> MultiGSTT ts m a

MonadIO m => MonadIO (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

liftIO :: IO a -> MultiGSTT ts m a

MonadPlus m => Alternative (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

empty :: MultiGSTT ts m a

(<|>) :: MultiGSTT ts m a -> MultiGSTT ts m a -> MultiGSTT ts m a

some :: MultiGSTT ts m a -> MultiGSTT ts m [a]

many :: MultiGSTT ts m a -> MultiGSTT ts m [a]

MonadPlus m => MonadPlus (MultiGSTT ts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mzero :: MultiGSTT ts m a

mplus :: MultiGSTT ts m a -> MultiGSTT ts m a -> MultiGSTT ts m a

type MultiGSTTNull = MultiGSTT '[]

type MultiGST r = MultiGSTT r Identity

MonadMulti classes

type ContainsReader = HListMContains GettableFlag

type ContainsState = HListMContains SettableFlag

type ContainsWriter = HListMContains TellableFlag

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

data CanReadWrite a

Constructors

Gettable a

Settable a

Tellable a

run-functions (extracting from RWST)

runMultiGSTTNil :: Monad m => MultiGSTT '[] m a -> m a

runMultiGSTTNil_ :: Monad m => MultiGSTT '[] m a -> m ()

with-functions (extending an RWST)

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-functions (reducing an RWST; inverse of with)

without :: Monad m => MultiGSTT tr m a -> MultiGSTT (ct ': tr) m a

other functions

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)