declare const make: (permits: number) => STM.STM<TSemaphore>

declare const available: (self: TSemaphore) => STM.STM<number>

export interface TSemaphore extends TSemaphore.Proto {}

declare const acquire: (self: TSemaphore) => STM.STM<void>

declare const acquireN: {
  (n: number): (self: TSemaphore) => STM.STM<void>
  (self: TSemaphore, n: number): STM.STM<void>
}

declare const release: (self: TSemaphore) => STM.STM<void>

declare const releaseN: {
  (n: number): (self: TSemaphore) => STM.STM<void>
  (self: TSemaphore, n: number): STM.STM<void>
}

declare const withPermit: {
  (semaphore: TSemaphore): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
  <A, E, R>(self: Effect.Effect<A, E, R>, semaphore: TSemaphore): Effect.Effect<A, E, R>
}

declare const withPermitScoped: (self: TSemaphore) => Effect.Effect<void, never, Scope.Scope>

declare const withPermits: {
  (semaphore: TSemaphore, permits: number): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
  <A, E, R>(self: Effect.Effect<A, E, R>, semaphore: TSemaphore, permits: number): Effect.Effect<A, E, R>
}

declare const withPermitsScoped: {
  (permits: number): (self: TSemaphore) => Effect.Effect<void, never, Scope.Scope>
  (self: TSemaphore, permits: number): Effect.Effect<void, never, Scope.Scope>
}

declare const TSemaphoreTypeId: unique symbol

type TSemaphoreTypeId = typeof TSemaphoreTypeId

declare const unsafeMake: (permits: number) => TSemaphore

export interface Proto {
  readonly [TSemaphoreTypeId]: TSemaphoreTypeId
}