Control.Effect.Environment

Documentation

class Monad m => EffEnvironment env m | m -> env where

Minimal complete definition

liftReader

Methods

liftReader :: Reader env a -> m a

Instances

EffEnvironment env m => EffEnvironment env (Eff effects m)

Methods

liftReader :: Reader env a -> Eff effects m a

Monad m => EffEnvironment env (Eff (Reader env) m)

Methods

liftReader :: Reader env a -> Eff (Reader env) m a

runInEnvironment :: Monad m => Eff (Reader env) m a -> env -> m a

ask :: EffEnvironment env m => m env

asks :: EffEnvironment a m => (a -> b) -> m b

mapEnvironment :: EffEnvironment env m => (env -> env') -> Eff (Reader env') m a -> m a

liftReader :: EffEnvironment env m => Reader env a -> m a

effToReaderT :: Monad m => Eff (Reader e) m a -> ReaderT e m a

readerTToEff :: (Monad m, EffEnvironment e m) => ReaderT e m a -> m a