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) Source | |
MonadHReader m => MonadHReader (ContT r m) Source | |
MonadHReader m => MonadHReader (ReaderT r m) Source | |
MonadHReader m => MonadHReader (StateT s m) Source | |
MonadHReader m => MonadHReader (StateT s m) Source | |
MonadHReader m => MonadHReader (ExceptT e m) Source | |
(MonadHReader m, Monoid w) => MonadHReader (WriterT w m) Source | |
(MonadHReader m, Monoid w) => MonadHReader (WriterT w m) Source | |
(Monad m, Applicative m) => MonadHReader (HReaderT els m) Source | |
(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m) Source | |
(MonadHReader m, Monoid w) => MonadHReader (RWST r w s m) Source |
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