more-extensible-effects-0.1.0.4: Initial project template from stack
Control.Monad.Eff.StateRW
runStateRW :: s -> Eff (Writer s ': (Reader s ': r)) a -> Eff r (a, s) Source #
data Reader e a Source #
data Writer o a Source #
tell :: Member (Writer o) r => o -> Eff r () Source #
ask :: Member (Reader e) r => Eff r e Source #