Control.Concurrent.QSemN.Lifted

This is a wrapped version of Control.Concurrent.QSemN with types generalised from IO to all monads in MonadBase.

Documentation

data QSemN :: *

QSemN is a quantity semaphore in which the resource is aqcuired and released in units of one. It provides guaranteed FIFO ordering for satisfying blocked waitQSemN calls.

The pattern

  bracket_ (waitQSemN n) (signalQSemN n) (...)

is safe; it never loses any of the resource.

newQSemN :: MonadBase IO m => Int -> m QSemN

Generalized version of newQSemN.

waitQSemN :: MonadBase IO m => QSemN -> Int -> m ()

Generalized version of waitQSemN.

signalQSemN :: MonadBase IO m => QSemN -> Int -> m ()

Generalized version of signalQSemN.