Control.Monad.HReader

Documentation

newtype HReaderT els m a

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)

Methods

liftBase :: b α -> HReaderT els m α

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

Associated Types

type StM (HReaderT els m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (HReaderT els m) b -> b a) -> HReaderT els m a

restoreM :: StM (HReaderT els m) a -> HReaderT els m a

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

Methods

throwError :: e -> HReaderT els m a

catchError :: HReaderT els m a -> (e -> HReaderT els m a) -> HReaderT els m a

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

Methods

ask :: HReaderT els m r

local :: (r -> r) -> HReaderT els m a -> HReaderT els m a

reader :: (r -> a) -> HReaderT els m a

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

Methods

get :: HReaderT els m s

put :: s -> HReaderT els m ()

state :: (s -> (a, s)) -> HReaderT els m a

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

Methods

writer :: (a, w) -> HReaderT els m a

tell :: w -> HReaderT els m ()

listen :: HReaderT els m a -> HReaderT els m (a, w)

pass :: HReaderT els m (a, w -> w) -> HReaderT els m a

MFunctor (HReaderT els)

Methods

hoist :: Monad m => (forall a. m a -> n a) -> HReaderT els m b -> HReaderT els n b

MMonad (HReaderT els)

Methods

embed :: Monad n => (forall a. m a -> HReaderT els n a) -> HReaderT els m b -> HReaderT els n b

MonadTrans (HReaderT els)

Methods

lift :: Monad m => m a -> HReaderT els m a

MonadTransControl (HReaderT els)

Associated Types

type StT (HReaderT els :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (HReaderT els) -> m a) -> HReaderT els m a

restoreT :: Monad m => m (StT (HReaderT els) a) -> HReaderT els m a

Monad m => Monad (HReaderT els m)

Methods

(>>=) :: HReaderT els m a -> (a -> HReaderT els m b) -> HReaderT els m b

(>>) :: HReaderT els m a -> HReaderT els m b -> HReaderT els m b

return :: a -> HReaderT els m a

fail :: String -> HReaderT els m a

Functor m => Functor (HReaderT els m)

Methods

fmap :: (a -> b) -> HReaderT els m a -> HReaderT els m b

(<$) :: a -> HReaderT els m b -> HReaderT els m a

Applicative m => Applicative (HReaderT els m)

Methods

pure :: a -> HReaderT els m a

(<*>) :: HReaderT els m (a -> b) -> HReaderT els m a -> HReaderT els m b

(*>) :: HReaderT els m a -> HReaderT els m b -> HReaderT els m b

(<*) :: HReaderT els m a -> HReaderT els m b -> HReaderT els m a

MonadIO m => MonadIO (HReaderT els m)

Methods

liftIO :: IO a -> HReaderT els m a

MonadThrow m => MonadThrow (HReaderT els m)

Methods

throwM :: Exception e => e -> HReaderT els m a

MonadCatch m => MonadCatch (HReaderT els m)

Methods

catch :: Exception e => HReaderT els m a -> (e -> HReaderT els m a) -> HReaderT els m a

MonadMask m => MonadMask (HReaderT els m)

Methods

mask :: ((forall a. HReaderT els m a -> HReaderT els m a) -> HReaderT els m b) -> HReaderT els m b

uninterruptibleMask :: ((forall a. HReaderT els m a -> HReaderT els m a) -> HReaderT els m b) -> HReaderT els m b

MonadCont m => MonadCont (HReaderT els m)

Methods

callCC :: ((a -> HReaderT els m b) -> HReaderT els m a) -> HReaderT els m a

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

Associated Types

type MHRElements (HReaderT els m :: * -> *) :: [*]

Methods

askHSet :: HReaderT els m (HSet (MHRElements (HReaderT els m)))

hlocal :: (HSet (MHRElements (HReaderT els m)) -> HSet (MHRElements (HReaderT els m))) -> HReaderT els m a -> HReaderT els m a

Generic (HReaderT els m a)

Associated Types

type Rep (HReaderT els m a) :: * -> *

Methods

from :: HReaderT els m a -> Rep (HReaderT els m a) x

to :: Rep (HReaderT els m a) x -> HReaderT els m a

type StT (HReaderT els) a

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

type MHRElements (HReaderT els m)

type MHRElements (HReaderT els m) = els

type StM (HReaderT els m) a

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

type Rep (HReaderT els m a)

type Rep (HReaderT els m a) = D1 (MetaData "HReaderT" "Control.Monad.HReader" "hreader-1.1.0-3FpHBq5M4MrIJljJqvMWGW" True) (C1 (MetaCons "HReaderT" PrefixI True) (S1 (MetaSel (Just Symbol "unHReaderT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ReaderT * (HSet els) m a))))

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

subHSetHReaderT :: (Monad m, Applicative m, SubHSettable els subels) => HReaderT subels m a -> HReaderT els m a

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

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

module Control.Monad.HReader.Class