Polysemy.Conc.Sync

Documentation

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

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