Modulepolysemy-1.9.2.0

Polysemy.AtomicState

Synopsis

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

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

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

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

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

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

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

valueatomicStateToIO

valueatomicStateToState

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

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

valuerunAtomicStateIORef

valuerunAtomicStateTVar

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

datadata AtomicState s (m :: k) a where