HaskellWorks.Polysemy.Control.Concurrent.QSem

Documentation

data QSem

QSem is a quantity semaphore in which the resource is acquired and released in units of one. It provides guaranteed FIFO ordering for satisfying blocked waitQSem calls.

The pattern

  bracket_ waitQSem signalQSem (...)

is safe; it never loses a unit of the resource.

newQSem :: Member (Embed IO) r => Int -> Sem r QSem

waitQSem :: Member (Embed IO) r => QSem -> Sem r ()

signalQSem :: Member (Embed IO) r => QSem -> Sem r ()

bracketQSem :: Member (Embed IO) r => Member Resource r => QSem -> Sem r a -> Sem r a