| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ribosome.Host.Interpreter.MState
Description
Interpreters for MState.
Synopsis
- interpretMState :: Members [Resource, Race, Mask mres, Embed IO] r => s -> InterpreterFor (MState s) r
- evalMState :: s -> InterpreterFor (MState s) r
- scope :: Members [Mask mres, Resource, Race, Embed IO] r => s -> (() -> Sem (AtomicState s ': (Lock ': r)) a) -> Sem r a
- interpretMStates :: forall s mres r. Members [Mask mres, Resource, Race, Embed IO] r => InterpreterFor (ScopedMState s) r
Documentation
interpretMState :: Members [Resource, Race, Mask mres, Embed IO] r => s -> InterpreterFor (MState s) r Source #
Interpret MState using AtomicState and Lock.
evalMState :: s -> InterpreterFor (MState s) r Source #
scope :: Members [Mask mres, Resource, Race, Embed IO] r => s -> (() -> Sem (AtomicState s ': (Lock ': r)) a) -> Sem r a Source #
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 Source #
Interpret MState as a scoped effect.