| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Polysemy.Conc.Interpreter.Queue.Pure
Description
Synopsis
- interpretQueueListReadOnlyAtomicWith :: forall d (r :: EffectRow). Member (AtomicState [d] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Queue d) r
- interpretQueueListReadOnlyAtomic :: forall d (r :: EffectRow). Member (Embed IO) r => [d] -> InterpreterFor (Queue d) r
- interpretQueueListReadOnlyStateWith :: forall d (r :: EffectRow). Member (State [d] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Queue d) r
- interpretQueueListReadOnlyState :: forall d (r :: [Effect]). [d] -> InterpreterFor (Queue d) r
Documentation
interpretQueueListReadOnlyAtomicWith :: forall d (r :: EffectRow). Member (AtomicState [d] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Queue d) r Source #
Reinterpret Queue as AtomicState with a list that cannot be written to.
Useful for testing.
interpretQueueListReadOnlyAtomic :: forall d (r :: EffectRow). Member (Embed IO) r => [d] -> InterpreterFor (Queue d) r Source #
Variant of interpretQueueListReadOnlyAtomicWith that interprets the AtomicState.
interpretQueueListReadOnlyStateWith :: forall d (r :: EffectRow). Member (State [d] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Queue d) r Source #
interpretQueueListReadOnlyState :: forall d (r :: [Effect]). [d] -> InterpreterFor (Queue d) r Source #
Variant of interpretQueueListReadOnlyAtomicWith that interprets the State.