Modulepolysemy-1.9.2.0Haskell2010

Polysemy.AtomicState

1 type
14 values

Packagepolysemy-1.9.2.0
Exports15
LanguageHaskell2010
LicenceBSD-3-Clause
SourceAtomicState.hs

Effect

1 declaration

datadata AtomicState s (m :: k) a where

A variant of State that supports atomic operations.

Constructors

AtomicState :: (s -> (s, a)) -> AtomicState s m a
Run a state action.
AtomicGet :: AtomicState s m s
Get the state.

Actions

7 declarations

valueatomicState :: Member (AtomicState s) r => (s -> (s, a)) -> Sem r a

Run a state action.

valueatomicState' :: Member (AtomicState s) r => (s -> (s, a)) -> Sem r a

A variant of atomicState in which the computation is strict in the new state and return value.

valueatomicGet :: Member (AtomicState s) r => Sem r s

Get the state.

valueatomicGets :: Member (AtomicState s) r => (s -> s') -> Sem r s'

valueatomicPut :: Member (AtomicState s) r => s -> Sem r ()

Replace the state with the given value.

valueatomicModify :: Member (AtomicState s) r => (s -> s) -> Sem r ()

Modify the state lazily.

valueatomicModify' :: Member (AtomicState s) r => (s -> s) -> Sem r ()

A variant of atomicModify in which the computation is strict in the new state.

Interpretations

7 declarations

valuerunAtomicStateIORef

:: Member (Embed IO) r
=> IORef s
-> Sem (AtomicState s ': r) a
-> Sem r a

Run an AtomicState effect by transforming it into atomic operations over an IORef.

valuerunAtomicStateTVar

:: Member (Embed IO) r
=> TVar s
-> Sem (AtomicState s ': r) a
-> Sem r a

Run an AtomicState effect by transforming it into atomic operations over a TVar.

valueatomicStateToIO

:: Member (Embed IO) r
=> s
-> Sem (AtomicState s ': r) a
-> Sem r (s, a)

Run an AtomicState effect in terms of atomic operations in IO.

Internally, this simply creates a new IORef, passes it to runAtomicStateIORef, and then returns the result and the final value of the IORef.

Beware: As this uses an IORef internally, all other effects will have local state semantics in regards to AtomicState effects interpreted this way. For example, throw and catch will never revert atomicModifys, even if runError is used after atomicStateToIO.

valueatomicStateToState

:: Member (State s) r
=> Sem (AtomicState s ': r) a
-> Sem r a

Transform an AtomicState effect to a State effect, discarding the notion of atomicity.

valuerunAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r (s, a)

Run an AtomicState with local state semantics, discarding the notion of atomicity, by transforming it into State and running it with the provided initial state.

@since v1.7.0.0

valueevalAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r a

Evaluate an AtomicState with local state semantics, discarding the notion of atomicity, by transforming it into State and running it with the provided initial state.

@since v1.7.0.0

valueexecAtomicStateViaState :: s -> Sem (AtomicState s ': r) a -> Sem r s

Execute an AtomicState with local state semantics, discarding the notion of atomicity, by transforming it into State and running it with the provided initial state.

@since v1.7.0.0