Cleff.State

Effect

data State s :: Effect where

An effect capable of providing a mutable state s that can be read and written. This roughly corresponds to the MonadState typeclass and StateT monad transformer in the mtl approach.

Constructors

Get :: State s m s

Put :: s -> State s m ()

State :: (s -> (a, s)) -> State s m a

Operations

get :: State s :> es => Eff es s

put :: State s :> es => s -> Eff es ()

state :: State s :> es => (s -> (a, s)) -> Eff es a

gets :: State s :> es => (s -> t) -> Eff es t

Apply a function to the result of get.

modify :: State s :> es => (s -> s) -> Eff es ()

Modify the value of the state via a function.

Interpretations

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

Run the State effect.

Caveat: The runState interpreter is implemented with IORefs and there is no way to do arbitrary atomic transactions at all. The state operation is atomic though and it is implemented with atomicModifyIORefCAS which can be faster in contention. For any more complicated cases of atomicity please build your own effect that uses either MVars or TVars based on your need.

Unlike mtl, in cleff the state will not revert when an error is thrown.

runState will stop taking care of state operations done on forked threads as soon as the main thread finishes its computation. Any state operation done before main thread finishes is still taken into account.

zoom :: State t :> es => Lens' t s -> Eff (State s ': es) ~> Eff es

Run a State effect in terms of a larger State via a Lens'.