Control.Monad.MultiReader

Documentation

newtype MultiReaderT x m a

Constructors

MultiReaderT

Fields

runMultiReaderTRaw :: StateT (HList x) m a

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

type MultiReader x a = MultiReaderT x Identity a

class Monad m => MonadMultiReader a m where

Methods

mAsk :: m a

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)

withMultiReader :: Monad m => x -> MultiReaderT (Cons x xs) m a -> MultiReaderT xs m a

withMultiReaders :: Monad m => HList xs -> MultiReaderT (Append xs ys) m a -> MultiReaderT ys m a

evalMultiReaderT :: Monad m => MultiReaderT Null m a -> m a

evalMultiReaderTWithInitial :: Monad m => HList a -> MultiReaderT a m b -> m b

mapMultiReaderT :: (m (a, HList w) -> m' (a', HList w)) -> MultiReaderT w m a -> MultiReaderT w m' a'

data Cons car cdr :: * -> * -> *

Instances

(Show car, Show cdr) => Show (Cons car cdr)

Typeable (* -> * -> *) Cons

type IsNull (Cons car cdr) = False

type Head (Cons car cdr) = car

type Tail (Cons car cdr) = cdr

type Reverse' (Cons car cdr) a = Reverse' cdr (Cons car a)

type Append (Cons car1 cdr2) l2 = Cons car1 (Append cdr2 l2)

data Null :: *

Instances

Show Null

Typeable * Null

type IsNull Null = True

type Reverse' Null a = a

type Append Null l2 = l2