Control.Monad.Eff.StateRW

Documentation

runStateRW :: s -> Eff (Writer s ': (Reader s ': r)) a -> Eff r (a, s)

data Reader e a

data Writer o a

tell :: Member (Writer o) r => o -> Eff r ()

ask :: Member (Reader e) r => Eff r e