structure Std.Semaphore : Type

Counting semaphore.

Semaphore.acquire returns a promise that is resolved once a permit is available. If a permit is currently available, the returned promise is already resolved. Semaphore.release either resolves one waiting promise or increments the available permits.

• lock : Std.Mutex SemaphoreState

def Std.Semaphore.new (permits : Nat) : BaseIO Semaphore

Creates a new semaphore with permits initially available permits.

def Std.Semaphore.acquire (sem : Semaphore) : BaseIO (IO.Promise Unit)

Requests one permit. Returns a promise that resolves once the permit is acquired.

def Std.Semaphore.tryAcquire (sem : Semaphore) : BaseIO Bool

Tries to acquire a permit without blocking. Returns true on success.

def Std.Semaphore.release (sem : Semaphore) : BaseIO Unit

Releases one permit and resolves one waiting acquirer, if any.

def Std.Semaphore.availablePermits (sem : Semaphore) : BaseIO Nat

Returns the number of currently available permits.