Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class (Monad m, Applicative m) => MonadHReader m where
- type HSetElements m :: [*]
- askHSet :: m (HSet (HSetElements m))
- haskM :: (MonadHReader m, HGetable (HSetElements m) e) => m e
- haskLabeledM :: (MonadHReader m, HGetable (HSetElements m) (Labeled label e)) => proxy label -> m e
Documentation
class (Monad m, Applicative m) => MonadHReader m where Source
Monad which is a reader of HSet (or just can construct it).
type HSetElements m :: [*] Source
askHSet :: m (HSet (HSetElements m)) Source
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, Applicative 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, HGetable (HSetElements m) e) => m e Source
Ask arbitrary element of hset inside HReader
haskLabeledM :: (MonadHReader m, HGetable (HSetElements m) (Labeled label e)) => proxy label -> m e Source
Ask arbitrary labeled element of hset in HReader