Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- interpretDiAtomic' :: forall level path msg r. Member (AtomicState [msg]) r => InterpreterFor (Di level path msg) r
- interpretDiAtomic :: forall level path msg r. Member (Embed IO) r => InterpretersFor [Di level path msg, AtomicState [msg]] r
Documentation
interpretDiAtomic' :: forall level path msg r. Member (AtomicState [msg]) r => InterpreterFor (Di level path msg) r Source #
Interpret Di
by prepending each message to a list in an AtomicState
.
interpretDiAtomic :: forall level path msg r. Member (Embed IO) r => InterpretersFor [Di level path msg, AtomicState [msg]] r Source #
Interpret Di
by prepending each message to a list in an AtomicState
, then interpret the
AtomicState
in a TVar
.