Control.Monad.Freer.State

Composable handler for State effects.

Using http://okmij.org/ftp/Haskell/extensible/Eff1.hs as a starting point.

Documentation

data State s v

Strict State effects: one can either Get values or Put them

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

Retrieve state

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

Store state

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

Modify state

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

Handler for State effects

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

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