| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Polysemy.Log.Atomic
Description
Synopsis
- interpretDataLogAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (DataLog a) r
- interpretDataLogAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[DataLog a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r
- interpretLogAtomic' :: forall (r :: EffectRow). Member (AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r
- interpretLogAtomic :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type] r
Documentation
interpretDataLogAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (DataLog a) r Source #
Interpret DataLog by prepending each message to a list in an AtomicState.
interpretDataLogAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[DataLog a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r Source #
Interpret DataLog by prepending each message to a list in an AtomicState, then interpret the AtomicState in a
TVar.
interpretLogAtomic' :: forall (r :: EffectRow). Member (AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r Source #
Interpret Log by prepending each message to a list in an AtomicState.
interpretLogAtomic :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type] r Source #
Interpret Log by prepending each message to a list in an AtomicState, then interpret the AtomicState in a
TVar.