| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Monad.MultiReader
Documentation
newtype MultiReaderT x m a Source
Constructors
| MultiReaderT | |
Fields
| |
Instances
| MonadState s m => MonadState s (MultiReaderT c m) | |
| MonadWriter w m => MonadWriter w (MultiReaderT c m) | |
| (Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m) | |
| MonadTrans (MultiReaderT x) | |
| Monad m => Monad (MultiReaderT x m) | |
| Functor f => Functor (MultiReaderT x f) | |
| (Applicative m, Monad m) => Applicative (MultiReaderT x m) |
type MultiReaderTNull = MultiReaderT Null Source
type MultiReader x a = MultiReaderT x Identity a Source
class Monad m => MonadMultiReader a m where Source
Instances
| (MonadTrans t, Monad (t m), MonadMultiReader a m) => MonadMultiReader a (t m) | |
| (Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m) |
mAskRaw :: Monad m => MultiReaderT a m (HList a) Source
withMultiReader :: Monad m => x -> MultiReaderT (Cons x xs) m a -> MultiReaderT xs m a Source
withMultiReaders :: Monad m => HList xs -> MultiReaderT (Append xs ys) m a -> MultiReaderT ys m a Source
evalMultiReaderT :: Monad m => MultiReaderT Null m a -> m a Source
evalMultiReaderTWithInitial :: Monad m => HList a -> MultiReaderT a m b -> m b Source
mapMultiReaderT :: (m (a, HList w) -> m' (a', HList w)) -> MultiReaderT w m a -> MultiReaderT w m' a' Source
data Cons car cdr :: * -> * -> *