Safe Haskell	None
Language	Haskell2010

Control.Monad.HReader

Synopsis

Documentation

newtype HReaderT els m a Source

Monad transformer which is like ReaderT but for HSet only

Constructors

HReaderT
Fields unHReaderT :: ReaderT (HSet els) m a

Instances

MonadBase b m => MonadBase b (HReaderT els m) Source
MonadBaseControl b m => MonadBaseControl b (HReaderT els m) Source
MonadError e m => MonadError e (HReaderT els m) Source
MonadReader r m => MonadReader r (HReaderT els m) Source
MonadState s m => MonadState s (HReaderT els m) Source
MonadWriter w m => MonadWriter w (HReaderT els m) Source
MFunctor (HReaderT els) Source
MMonad (HReaderT els) Source
MonadTrans (HReaderT els) Source
MonadTransControl (HReaderT els) Source
Monad m => Monad (HReaderT els m) Source
Functor m => Functor (HReaderT els m) Source
Applicative m => Applicative (HReaderT els m) Source
MonadThrow m => MonadThrow (HReaderT els m) Source
MonadCatch m => MonadCatch (HReaderT els m) Source
MonadMask m => MonadMask (HReaderT els m) Source
MonadIO m => MonadIO (HReaderT els m) Source
MonadCont m => MonadCont (HReaderT els m) Source
(Monad m, Applicative m) => MonadHReader (HReaderT els m) Source
Generic (HReaderT els m a) Source
type StT (HReaderT els) a = StT (ReaderT (HSet els)) a Source
type MHRElements (HReaderT els m) = els Source
type StM (HReaderT els m) a = StM (ReaderT (HSet els) m) a Source
type Rep (HReaderT els m a) Source

Run a local reader with a subset of HSet elements.

narrowHReaderT :: (Monad m, Applicative m, SubHSettable els subels) => proxy subels -> HReaderT subels m a -> HReaderT els m a Source

Convenient variant of subHSetHReaderT with proxy type to make it posible to run nested HReaderT in place without complex type declarations, e.g.

narrowHReaderT (Proxy :: Proxy '[String, Int]) $ do
  doThingsWithString
  doThingsWithInt
  doThingsWithOtherStuff -- < this will not compile