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

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

export interface TSemaphore extends TSemaphore.Proto {}

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

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

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

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

export 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>
}

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

export 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>
}

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

export declare const TSemaphoreTypeId: typeof TSemaphoreTypeId

export type TSemaphoreTypeId = typeof TSemaphoreTypeId

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

export interface Proto {
  readonly [TSemaphoreTypeId]: TSemaphoreTypeId
}