Control.Monad.Eff.State

Documentation

data State s a

get :: Member (State s) r => Eff r s

put :: Member (State s) r => s -> Eff r ()

runState :: s -> Eff (State s ': r) a -> Eff r (a, s)

transactionState :: forall s r a. Member (State s) r => Proxy s -> Eff r a -> Eff r a

An encapsulated State handler, for transactional semantics The global state is updated only if the transactionState finished successfully