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