Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => EffEnvironment env m | m -> env where Source #
liftReader :: Reader env a -> m a Source #
EffEnvironment env m => EffEnvironment env (Eff effects m) Source # | |
Monad m => EffEnvironment env (Eff (Reader env) m) Source # | |
ask :: EffEnvironment env m => m env Source #
asks :: EffEnvironment a m => (a -> b) -> m b Source #
mapEnvironment :: EffEnvironment env m => (env -> env') -> Eff (Reader env') m a -> m a Source #
liftReader :: EffEnvironment env m => Reader env a -> m a Source #
readerTToEff :: (Monad m, EffEnvironment e m) => ReaderT e m a -> m a Source #