| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Polysemy.Conc.SyncRead
Description
Synopsis
- whileEmpty :: forall a (r :: EffectRow). Member (SyncRead a) r => Sem r () -> Sem r ()
- whileEmptyInterval :: forall a u t d (r :: EffectRow). (TimeUnit u, Members '[Time t d, SyncRead a] r) => u -> Sem r () -> Sem r ()
- empty :: forall d (r :: EffectRow). Member (SyncRead d) r => Sem r Bool
- wait :: forall d (r :: EffectRow) u. (Member (SyncRead d) r, TimeUnit u) => u -> Sem r (Maybe d)
- try :: forall d (r :: EffectRow). Member (SyncRead d) r => Sem r (Maybe d)
- data SyncRead d (a :: Type -> Type) b
- block :: forall d (r :: EffectRow). Member (SyncRead d) r => Sem r d
Documentation
whileEmpty :: forall a (r :: EffectRow). Member (SyncRead a) r => Sem r () -> Sem r () Source #
Run an action repeatedly until the SyncRead variable is available.
whileEmptyInterval :: forall a u t d (r :: EffectRow). (TimeUnit u, Members '[Time t d, SyncRead a] r) => u -> Sem r () -> Sem r () Source #
Run an action repeatedly until the SyncRead variable is available, waiting for the specified time between executions.
empty :: forall d (r :: EffectRow). Member (SyncRead d) r => Sem r Bool Source #
Indicate whether the variable is empty.
wait :: forall d (r :: EffectRow) u. (Member (SyncRead d) r, TimeUnit u) => u -> Sem r (Maybe d) Source #
Read the variable, waiting until a value is available or the timeout has expired.
try :: forall d (r :: EffectRow). Member (SyncRead d) r => Sem r (Maybe d) Source #
Read the variable, returning Nothing immmediately if no value was available.