Control.Effects.Reader

Documentation

data ReadEnv e

Instances

type EffectRes (ReadEnv e)

type EffectRes (ReadEnv e) = e

type EffectMsg (ReadEnv e)

type EffectMsg (ReadEnv e) = ()

readEnv :: forall m e. MonadEffect (ReadEnv e) m => m e

handleReadEnv :: Monad m => m e -> EffectHandler (ReadEnv e) m a -> m a

handleSubreader :: MonadEffect (ReadEnv e) m => (e -> e') -> EffectHandler (ReadEnv e') m a -> m a

module Control.Effects