Ribosome.Host.Interpreter.MState

Interpreters for MState.

Documentation

interpretMState :: Members [Resource, Race, Mask mres, Embed IO] r => s -> InterpreterFor (MState s) r

Interpret MState using AtomicState and Lock.

evalMState :: s -> InterpreterFor (MState s) r

Interpret MState as State.

scope :: Members [Mask mres, Resource, Race, Embed IO] r => s -> (() -> Sem (AtomicState s ': (Lock ': r)) a) -> Sem r a

Internal combinator that runs the dependencies of the scope for MState.

interpretMStates :: forall s mres r. Members [Mask mres, Resource, Race, Embed IO] r => InterpreterFor (ScopedMState s) r

Interpret MState as a scoped effect.