TxSemaphore14

Constructors

makeconstCreates a new TxSemaphore with the specified number of permits.

Models

TxSemaphoreinterfaceA transactional semaphore that manages permits using Software Transactional Memory (STM) semantics, providing atomic permit acquisition and release operations within Effect transactions for concurrency control over limited resources.

Guards

isTxSemaphoreconstDetermines if the provided value is a TxSemaphore.

Combinators

acquireconstAcquires a single permit from the semaphore.acquireNconstAcquires the specified number of permits from the semaphore.availableconstGets the current number of available permits in the semaphore.capacityconstGets the maximum capacity (total permits) of the semaphore.releaseconstReleases one permit back to the semaphore, making it available for acquisition.releaseNconstReleases the specified number of permits back to the semaphore.tryAcquireconstTries to acquire a single permit from the semaphore without blocking, returning true if successful or false if no permits are available.tryAcquireNconstTries to acquire the specified number of permits from the semaphore without blocking, returning true if successful or false if not enough permits are available.withPermitconstExecutes an effect with a single permit from the semaphore.withPermitsconstRuns an effect while holding the specified number of permits from the semaphore.withPermitScopedconstAcquires a single permit from the semaphore in a scoped manner.