Polysemy.Conc.SyncRead

Documentation

whileEmpty :: forall a r. Member (SyncRead a) r => Sem r () -> Sem r ()

Run an action repeatedly until the SyncRead variable is available.

whileEmptyInterval :: forall a u t d r. TimeUnit u => Members [Time t d, SyncRead a] r => u -> Sem r () -> Sem r ()

Run an action repeatedly until the SyncRead variable is available, waiting for the specified time between executions.

data SyncRead (d :: Type) :: Effect

An interface to a shared variable (MVar) that can only be read.