Control.Monad.HReader.Class

Documentation

class Monad m => MonadHReader m where

Monad which is a reader of HSet (or just can construct it).

Associated Types

type HSetElements m :: [*]

Methods

askHSet :: m (HSet (HSetElements m))

Instances

MonadHReader m => MonadHReader (ListT m)

MonadHReader m => MonadHReader (ContT r m)

MonadHReader m => MonadHReader (ReaderT r m)

MonadHReader m => MonadHReader (StateT s m)

MonadHReader m => MonadHReader (StateT s m)

MonadHReader m => MonadHReader (ExceptT e m)

(MonadHReader m, Monoid w) => MonadHReader (WriterT w m)

(MonadHReader m, Monoid w) => MonadHReader (WriterT w m)

Monad m => MonadHReader (HReaderT els m)

(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m)

(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m)

haskM :: (MonadHReader m, Contains (HSetElements m) e) => m e

Ask arbitrary element of hset inside HReader

haskLabeledM :: (MonadHReader m, Contains (HSetElements m) (Labeled label e)) => proxy label -> m e

Ask arbitrary labeled element of hset in HReader