Control.Monad.HReader

Documentation

newtype HReaderT els m a

Constructors

HReaderT

Fields

unHReaderT :: ReaderT (HSet els) m a

Instances

MonadBase b m => MonadBase b (HReaderT els m)

MonadBaseControl b m => MonadBaseControl b (HReaderT els m)

MonadError e m => MonadError e (HReaderT els m)

MonadReader r m => MonadReader r (HReaderT els m)

MonadState s m => MonadState s (HReaderT els m)

MonadWriter w m => MonadWriter w (HReaderT els m)

MFunctor (HReaderT els)

MMonad (HReaderT els)

MonadTrans (HReaderT els)

MonadTransControl (HReaderT els)

Monad m => Monad (HReaderT els m)

Functor m => Functor (HReaderT els m)

Applicative m => Applicative (HReaderT els m)

MonadThrow m => MonadThrow (HReaderT els m)

MonadCatch m => MonadCatch (HReaderT els m)

MonadIO m => MonadIO (HReaderT els m)

MonadCont m => MonadCont (HReaderT els m)

(Monad m, Applicative m) => MonadHReader (HReaderT els m)

Typeable ([*] -> (* -> *) -> * -> *) HReaderT

Generic (HReaderT els m a)

type StT (HReaderT els) a = StT (ReaderT (HSet els)) a

type HSetElements (HReaderT els m) = els

type StM (HReaderT els m) a = StM (ReaderT (HSet els) m) a

type Rep (HReaderT els m a)

runHReaderT :: HSet els -> HReaderT els m a -> m a

module Control.Monad.HReader.Class