Modulelifted-base-0.2.3.12Haskell98

Control.Concurrent.QSem.Lifted

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

1 type
3 values

Packagelifted-base-0.2.3.12
Exports4
LanguageHaskell98
LicenceBSD-3-Clause
SourceLifted.hs

newtypenewtype 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.

valuenewQSem :: MonadBase IO m => Int -> m QSem

Generalized version of newQSem.

valuewaitQSem :: MonadBase IO m => QSem -> m ()

Generalized version of waitQSem.

valuesignalQSem :: MonadBase IO m => QSem -> m ()

Generalized version of signalQSem.