more-extensible-effects-0.1.0.4: Initial project template from stack
Control.Monad.Eff.State
Synopsis
data State s a Source #
get :: Member (State s) r => Eff r s Source #
put :: Member (State s) r => s -> Eff r () Source #
runState :: s -> Eff (State s ': r) a -> Eff r (a, s) Source #
runState' :: s -> Eff (State s ': r) a -> Eff r (a, s) Source #
Since State is so frequently used, we optimize it a bit