/**
 * Coordinates access to limited resources inside transactions.
 *
 * A `TxSemaphore` has a fixed capacity and stores its available permit count in
 * a `TxRef`. Acquiring or releasing permits can therefore commit atomically
 * with other transactional state changes. This module includes operations for
 * creating semaphores, checking capacity and availability, acquiring or
 * releasing permits, and running effects while permits are held.
 *
 * @stability stable
 * @since 4.0.0
 */

import * as Effect from "./Effect.ts"
import { dual } from "./Function.ts"
import type { Inspectable } from "./Inspectable.ts"
import { NodeInspectSymbol, toJson } from "./Inspectable.ts"
import type { Pipeable } from "./Pipeable.ts"
import { pipeArguments } from "./Pipeable.ts"
import { hasProperty } from "./Predicate.ts"
import type * as Scope from "./Scope.ts"
import * as TxRef from "./TxRef.ts"

const TypeId = "~effect/TxSemaphore"

/**
 * A 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.
 *
 * **When to use**
 *
 * Use to coordinate permit accounting atomically with other transactional
 * state changes.
 *
 * **Example** (Managing permits transactionally)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * // Create a semaphore with 3 permits for managing concurrent database connections
 * const program = Effect.gen(function*() {
 *   const dbSemaphore = yield* TxSemaphore.make(3)
 *
 *   // Acquire a permit before accessing the database
 *   yield* TxSemaphore.acquire(dbSemaphore)
 *   const acquired = yield* TxSemaphore.available(dbSemaphore)
 *
 *   // Perform database operations...
 *
 *   // Release the permit when done
 *   yield* TxSemaphore.release(dbSemaphore)
 *   const released = yield* TxSemaphore.available(dbSemaphore)
 *   return [acquired, released] as const
 * })
 *
 * await Effect.runPromise(program) // => [2, 3]
 * ```
 *
 * @see {@link make} for creating a transactional semaphore
 * @see {@link withPermit} for automatically acquiring and releasing one permit
 * @see {@link acquire} for manually acquiring one permit transactionally
 *
 * @stability stable
 * @category models
 * @since 4.0.0
 */
export interface TxSemaphore extends Inspectable, Pipeable {
  readonly [TypeId]: typeof TypeId
  readonly permitsRef: TxRef.TxRef<number>
  readonly capacity: number
}

const TxSemaphoreProto: Omit<TxSemaphore, typeof TypeId | "permitsRef" | "capacity"> = {
  [NodeInspectSymbol](this: TxSemaphore) {
    return toJson(this)
  },
  toJSON(this: TxSemaphore) {
    return {
      _id: "TxSemaphore",
      capacity: this.capacity
    }
  },
  pipe() {
    return pipeArguments(this, arguments)
  }
}

const makeTxSemaphore = (permitsRef: TxRef.TxRef<number>, capacity: number): TxSemaphore => {
  const self = Object.create(TxSemaphoreProto)
  self[TypeId] = TypeId
  self.permitsRef = permitsRef
  self.capacity = capacity
  return self
}

/**
 * Creates a new TxSemaphore with the specified number of permits.
 *
 * **When to use**
 *
 * Use to create a transactional semaphore with a fixed permit capacity.
 *
 * **Example** (Creating a semaphore)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * // Create a semaphore for managing concurrent access to a resource pool
 * const program = Effect.gen(function*() {
 *   // Create a semaphore with 3 permits for a connection pool
 *   const connectionSemaphore = yield* TxSemaphore.make(3)
 *
 *   // Check initial state
 *   const available = yield* TxSemaphore.available(connectionSemaphore)
 *   const capacity = yield* TxSemaphore.capacity(connectionSemaphore)
 *   return [capacity, available] as const
 * })
 *
 * await Effect.runPromise(program) // => [3, 3]
 * ```
 *
 * @see {@link available} for reading the current available permit count
 * @see {@link capacity} for reading the fixed total permit count
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
export const make = (permits: number): Effect.Effect<TxSemaphore> =>
  Effect.gen(function*() {
    if (permits < 0) {
      return yield* Effect.die(new Error("Permits must be non-negative"))
    }

    const permitsRef = yield* TxRef.make(permits)
    return makeTxSemaphore(permitsRef, permits)
  }).pipe(Effect.tx)

/**
 * Gets the current number of available permits in the semaphore.
 *
 * **When to use**
 *
 * Use to inspect how many permits are currently available.
 *
 * **Example** (Checking available permits)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(5)
 *
 *   // Check available permits before acquiring
 *   const before = yield* TxSemaphore.available(semaphore)
 *
 *   // Acquire some permits
 *   yield* TxSemaphore.acquire(semaphore)
 *   yield* TxSemaphore.acquire(semaphore)
 *
 *   // Check available permits after acquiring
 *   const after = yield* TxSemaphore.available(semaphore)
 *   return [before, after] as const
 * })
 *
 * await Effect.runPromise(program) // => [5, 3]
 * ```
 *
 * @see {@link capacity} for reading the fixed total permit count
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const available = (self: TxSemaphore): Effect.Effect<number> => TxRef.get(self.permitsRef)

/**
 * Gets the maximum capacity (total permits) of the semaphore.
 *
 * **When to use**
 *
 * Use to inspect the fixed total number of permits managed by the semaphore.
 *
 * **Example** (Checking semaphore capacity)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(10)
 *
 *   const capacity = yield* TxSemaphore.capacity(semaphore)
 *
 *   // Capacity remains constant regardless of current permits
 *   yield* TxSemaphore.acquire(semaphore)
 *   const stillSame = yield* TxSemaphore.capacity(semaphore)
 *   return [capacity, stillSame] as const
 * })
 *
 * await Effect.runPromise(program) // => [10, 10]
 * ```
 *
 * @see {@link available} for reading the current available permit count
 *
 * @stability stable
 * @category combinators
 * @since 4.0.0
 */
export const capacity = (self: TxSemaphore): Effect.Effect<number> => Effect.succeed(self.capacity)

/**
 * Acquires a single permit from the semaphore. If no permits are available,
 * the effect will block until one becomes available.
 *
 * **When to use**
 *
 * Use to manually acquire one permit transactionally, waiting until one is
 * available.
 *
 * **Example** (Acquiring a permit)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(2)
 *
 *   yield* TxSemaphore.acquire(semaphore)
 *
 *   yield* TxSemaphore.acquire(semaphore)
 *
 *   return yield* TxSemaphore.available(semaphore)
 * })
 *
 * await Effect.runPromise(program) // => 0
 * ```
 *
 * @see {@link tryAcquire} for a non-blocking single-permit attempt
 * @see {@link release} for returning one permit
 * @see {@link withPermit} for automatic acquire and release around an effect
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const acquire = (self: TxSemaphore): Effect.Effect<void> =>
  Effect.gen(function*() {
    const permits = yield* TxRef.get(self.permitsRef)
    if (permits <= 0) {
      return yield* Effect.txRetry
    }
    yield* TxRef.set(self.permitsRef, permits - 1)
  }).pipe(Effect.tx)

/**
 * Acquires the specified number of permits from the semaphore.
 *
 * **When to use**
 *
 * Use to manually acquire multiple permits transactionally, waiting until all
 * requested permits are available.
 *
 * **Details**
 *
 * If fewer than `n` permits are available, the transaction retries until enough
 * permits are released.
 *
 * **Gotchas**
 *
 * Passing a non-positive `n` dies with a defect. Passing a value greater than
 * the semaphore capacity can wait forever because the capacity is fixed.
 *
 * **Example** (Acquiring multiple permits)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(5)
 *
 *   yield* TxSemaphore.acquireN(semaphore, 3)
 *
 *   return yield* TxSemaphore.available(semaphore)
 * })
 *
 * await Effect.runPromise(program) // => 2
 * ```
 *
 * @see {@link tryAcquireN} for a non-blocking multi-permit attempt
 * @see {@link releaseN} for returning multiple permits
 * @see {@link withPermits} for automatic acquire and release around an effect
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const acquireN: {
  /**
   * Acquires the specified number of permits from the semaphore.
   *
   * **When to use**
   *
   * Use to manually acquire multiple permits transactionally, waiting until all
   * requested permits are available.
   *
   * **Details**
   *
   * If fewer than `n` permits are available, the transaction retries until enough
   * permits are released.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect. Passing a value greater than
   * the semaphore capacity can wait forever because the capacity is fixed.
   *
   * **Example** (Acquiring multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *
   *   yield* TxSemaphore.acquireN(semaphore, 3)
   *
   *   return yield* TxSemaphore.available(semaphore)
   * })
   *
   * await Effect.runPromise(program) // => 2
   * ```
   *
   * @see {@link tryAcquireN} for a non-blocking multi-permit attempt
   * @see {@link releaseN} for returning multiple permits
   * @see {@link withPermits} for automatic acquire and release around an effect
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (n: number): (self: TxSemaphore) => Effect.Effect<void>
  /**
   * Acquires the specified number of permits from the semaphore.
   *
   * **When to use**
   *
   * Use to manually acquire multiple permits transactionally, waiting until all
   * requested permits are available.
   *
   * **Details**
   *
   * If fewer than `n` permits are available, the transaction retries until enough
   * permits are released.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect. Passing a value greater than
   * the semaphore capacity can wait forever because the capacity is fixed.
   *
   * **Example** (Acquiring multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *
   *   yield* TxSemaphore.acquireN(semaphore, 3)
   *
   *   return yield* TxSemaphore.available(semaphore)
   * })
   *
   * await Effect.runPromise(program) // => 2
   * ```
   *
   * @see {@link tryAcquireN} for a non-blocking multi-permit attempt
   * @see {@link releaseN} for returning multiple permits
   * @see {@link withPermits} for automatic acquire and release around an effect
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (self: TxSemaphore, n: number): Effect.Effect<void>
} = dual(2, (self: TxSemaphore, n: number): Effect.Effect<void> => {
  if (n <= 0) {
    return Effect.die(new Error("Number of permits must be positive"))
  }
  return Effect.gen(function*() {
    const permits = yield* TxRef.get(self.permitsRef)
    if (permits < n) {
      return yield* Effect.txRetry
    }
    yield* TxRef.set(self.permitsRef, permits - n)
  }).pipe(Effect.tx)
})

/**
 * Tries to acquire a single permit from the semaphore without blocking,
 * returning `true` if successful or `false` if no permits are available.
 *
 * **When to use**
 *
 * Use to attempt a single-permit acquisition without retrying when no permit is
 * available.
 *
 * **Example** (Trying to acquire a permit)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(1)
 *
 *   // First try should succeed
 *   const first = yield* TxSemaphore.tryAcquire(semaphore)
 *
 *   // Second try should fail (no permits left)
 *   const second = yield* TxSemaphore.tryAcquire(semaphore)
 *   return [first, second] as const
 * })
 *
 * await Effect.runPromise(program) // => [true, false]
 * ```
 *
 * @see {@link acquire} for waiting until one permit is available
 * @see {@link tryAcquireN} for attempting to acquire multiple permits without blocking
 *
 * @stability stable
 * @category combinators
 * @since 4.0.0
 */
export const tryAcquire = (self: TxSemaphore): Effect.Effect<boolean> =>
  TxRef.modify(self.permitsRef, (permits: number) => {
    if (permits > 0) {
      return [true, permits - 1]
    }
    return [false, permits]
  })

/**
 * Tries to acquire the specified number of permits from the semaphore without
 * blocking, returning `true` if successful or `false` if not enough permits are
 * available.
 *
 * **When to use**
 *
 * Use to attempt a multi-permit acquisition without retrying when not enough
 * permits are available.
 *
 * **Example** (Trying to acquire multiple permits)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(3)
 *
 *   // Try to acquire 2 permits (should succeed)
 *   const first = yield* TxSemaphore.tryAcquireN(semaphore, 2)
 *
 *   // Try to acquire 2 more permits (should fail, only 1 left)
 *   const second = yield* TxSemaphore.tryAcquireN(semaphore, 2)
 *   return [first, second] as const
 * })
 *
 * await Effect.runPromise(program) // => [true, false]
 * ```
 *
 * @see {@link acquireN} for waiting until all requested permits are available
 * @see {@link tryAcquire} for attempting to acquire one permit without blocking
 *
 * @stability stable
 * @category combinators
 * @since 4.0.0
 */
export const tryAcquireN: {
  /**
   * Tries to acquire the specified number of permits from the semaphore without
   * blocking, returning `true` if successful or `false` if not enough permits are
   * available.
   *
   * **When to use**
   *
   * Use to attempt a multi-permit acquisition without retrying when not enough
   * permits are available.
   *
   * **Example** (Trying to acquire multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(3)
   *
   *   // Try to acquire 2 permits (should succeed)
   *   const first = yield* TxSemaphore.tryAcquireN(semaphore, 2)
   *
   *   // Try to acquire 2 more permits (should fail, only 1 left)
   *   const second = yield* TxSemaphore.tryAcquireN(semaphore, 2)
   *   return [first, second] as const
   * })
   *
   * await Effect.runPromise(program) // => [true, false]
   * ```
   *
   * @see {@link acquireN} for waiting until all requested permits are available
   * @see {@link tryAcquire} for attempting to acquire one permit without blocking
   *
   * @stability stable
   * @category combinators
   * @since 4.0.0
   */
  (n: number): (self: TxSemaphore) => Effect.Effect<boolean>
  /**
   * Tries to acquire the specified number of permits from the semaphore without
   * blocking, returning `true` if successful or `false` if not enough permits are
   * available.
   *
   * **When to use**
   *
   * Use to attempt a multi-permit acquisition without retrying when not enough
   * permits are available.
   *
   * **Example** (Trying to acquire multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(3)
   *
   *   // Try to acquire 2 permits (should succeed)
   *   const first = yield* TxSemaphore.tryAcquireN(semaphore, 2)
   *
   *   // Try to acquire 2 more permits (should fail, only 1 left)
   *   const second = yield* TxSemaphore.tryAcquireN(semaphore, 2)
   *   return [first, second] as const
   * })
   *
   * await Effect.runPromise(program) // => [true, false]
   * ```
   *
   * @see {@link acquireN} for waiting until all requested permits are available
   * @see {@link tryAcquire} for attempting to acquire one permit without blocking
   *
   * @stability stable
   * @category combinators
   * @since 4.0.0
   */
  (self: TxSemaphore, n: number): Effect.Effect<boolean>
} = dual(2, (self: TxSemaphore, n: number): Effect.Effect<boolean> => {
  if (n <= 0) {
    return Effect.die(new Error("Number of permits must be positive"))
  }
  return TxRef.modify(self.permitsRef, (permits: number) => {
    if (permits >= n) {
      return [true, permits - n]
    }
    return [false, permits]
  })
})

/**
 * Releases one permit back to the semaphore, making it available for
 * acquisition.
 *
 * **When to use**
 *
 * Use to manually return one permit after a transactional acquire.
 *
 * **Details**
 *
 * If the semaphore is already at capacity, this operation leaves the permit
 * count unchanged.
 *
 * **Example** (Releasing a permit)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(2)
 *
 *   // Acquire a permit
 *   yield* TxSemaphore.acquire(semaphore)
 *   const afterAcquire = yield* TxSemaphore.available(semaphore)
 *
 *   // Release the permit
 *   yield* TxSemaphore.release(semaphore)
 *   const afterRelease = yield* TxSemaphore.available(semaphore)
 *   return [afterAcquire, afterRelease] as const
 * })
 *
 * await Effect.runPromise(program) // => [1, 2]
 * ```
 *
 * @see {@link acquire} for manually acquiring one permit
 * @see {@link releaseN} for returning multiple permits
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const release = (self: TxSemaphore): Effect.Effect<void> =>
  TxRef.update(self.permitsRef, (permits: number) => permits >= self.capacity ? permits : permits + 1)

/**
 * Releases the specified number of permits back to the semaphore.
 *
 * **When to use**
 *
 * Use to manually return multiple permits after a transactional acquire.
 *
 * **Details**
 *
 * The available permit count is capped at the semaphore capacity.
 *
 * **Gotchas**
 *
 * Passing a non-positive `n` dies with a defect.
 *
 * **Example** (Releasing multiple permits)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(5)
 *
 *   // Acquire 3 permits
 *   yield* TxSemaphore.acquireN(semaphore, 3)
 *   const afterAcquire = yield* TxSemaphore.available(semaphore)
 *
 *   // Release 2 permits
 *   yield* TxSemaphore.releaseN(semaphore, 2)
 *   const afterRelease = yield* TxSemaphore.available(semaphore)
 *   return [afterAcquire, afterRelease] as const
 * })
 *
 * await Effect.runPromise(program) // => [2, 4]
 * ```
 *
 * @see {@link acquireN} for manually acquiring multiple permits
 * @see {@link release} for returning one permit
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const releaseN: {
  /**
   * Releases the specified number of permits back to the semaphore.
   *
   * **When to use**
   *
   * Use to manually return multiple permits after a transactional acquire.
   *
   * **Details**
   *
   * The available permit count is capped at the semaphore capacity.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect.
   *
   * **Example** (Releasing multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *
   *   // Acquire 3 permits
   *   yield* TxSemaphore.acquireN(semaphore, 3)
   *   const afterAcquire = yield* TxSemaphore.available(semaphore)
   *
   *   // Release 2 permits
   *   yield* TxSemaphore.releaseN(semaphore, 2)
   *   const afterRelease = yield* TxSemaphore.available(semaphore)
   *   return [afterAcquire, afterRelease] as const
   * })
   *
   * await Effect.runPromise(program) // => [2, 4]
   * ```
   *
   * @see {@link acquireN} for manually acquiring multiple permits
   * @see {@link release} for returning one permit
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (n: number): (self: TxSemaphore) => Effect.Effect<void>
  /**
   * Releases the specified number of permits back to the semaphore.
   *
   * **When to use**
   *
   * Use to manually return multiple permits after a transactional acquire.
   *
   * **Details**
   *
   * The available permit count is capped at the semaphore capacity.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect.
   *
   * **Example** (Releasing multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *
   *   // Acquire 3 permits
   *   yield* TxSemaphore.acquireN(semaphore, 3)
   *   const afterAcquire = yield* TxSemaphore.available(semaphore)
   *
   *   // Release 2 permits
   *   yield* TxSemaphore.releaseN(semaphore, 2)
   *   const afterRelease = yield* TxSemaphore.available(semaphore)
   *   return [afterAcquire, afterRelease] as const
   * })
   *
   * await Effect.runPromise(program) // => [2, 4]
   * ```
   *
   * @see {@link acquireN} for manually acquiring multiple permits
   * @see {@link release} for returning one permit
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (self: TxSemaphore, n: number): Effect.Effect<void>
} = dual(2, (self: TxSemaphore, n: number): Effect.Effect<void> => {
  if (n <= 0) {
    return Effect.die(new Error("Number of permits must be positive"))
  }
  return TxRef.update(self.permitsRef, (permits: number) => {
    const newPermits = permits + n
    return newPermits > self.capacity ? self.capacity : newPermits
  })
})

/**
 * Runs `effect` between `acquire` and `release`. Acquisition and `effect`
 * inherit the caller's interruptibility, while the handoff from a successful
 * acquisition to the release finalizer stays protected.
 */
const withAcquired = <A, E, R>(
  acquire: Effect.Effect<void>,
  effect: Effect.Effect<A, E, R>,
  release: Effect.Effect<void>
): Effect.Effect<A, E, R> =>
  Effect.uninterruptibleMask((restore) =>
    Effect.flatMap(restore(acquire), () => Effect.ensuring(restore(effect), release))
  )

/**
 * Executes an effect with a single permit from the semaphore. The permit is
 * automatically acquired before execution and released afterwards, even if the
 * effect fails or is interrupted.
 *
 * **When to use**
 *
 * Use to run an effect while automatically acquiring and releasing one
 * transactional permit.
 *
 * **Details**
 *
 * The permit acquisition and release operations use atomic semantics to ensure
 * proper resource management with Effect's scoped operations.
 *
 * **Example** (Running an effect with a permit)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(2)
 *   const events: Array<string> = []
 *
 *   // Execute database operation with automatic permit management
 *   const result = yield* TxSemaphore.withPermit(
 *     semaphore,
 *     Effect.gen(function*() {
 *       events.push("permit acquired")
 *       yield* Effect.yieldNow
 *       events.push("operation complete")
 *       return "query result"
 *     })
 *   )
 *
 *   // Permit is automatically released here
 *   const available = yield* TxSemaphore.available(semaphore)
 *   return [events, result, available] as const
 * })
 *
 * await Effect.runPromise(program) // => [["permit acquired", "operation complete"], "query result", 2]
 * ```
 *
 * @see {@link withPermits} for automatically acquiring and releasing multiple permits
 * @see {@link withPermitScoped} for acquiring one permit for the current scope
 * @see {@link acquire} for manual single-permit acquisition
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const withPermit: {
  /**
   * Executes an effect with a single permit from the semaphore. The permit is
   * automatically acquired before execution and released afterwards, even if the
   * effect fails or is interrupted.
   *
   * **When to use**
   *
   * Use to run an effect while automatically acquiring and releasing one
   * transactional permit.
   *
   * **Details**
   *
   * The permit acquisition and release operations use atomic semantics to ensure
   * proper resource management with Effect's scoped operations.
   *
   * **Example** (Running an effect with a permit)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(2)
   *   const events: Array<string> = []
   *
   *   // Execute database operation with automatic permit management
   *   const result = yield* TxSemaphore.withPermit(
   *     semaphore,
   *     Effect.gen(function*() {
   *       events.push("permit acquired")
   *       yield* Effect.yieldNow
   *       events.push("operation complete")
   *       return "query result"
   *     })
   *   )
   *
   *   // Permit is automatically released here
   *   const available = yield* TxSemaphore.available(semaphore)
   *   return [events, result, available] as const
   * })
   *
   * await Effect.runPromise(program) // => [["permit acquired", "operation complete"], "query result", 2]
   * ```
   *
   * @see {@link withPermits} for automatically acquiring and releasing multiple permits
   * @see {@link withPermitScoped} for acquiring one permit for the current scope
   * @see {@link acquire} for manual single-permit acquisition
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (self: TxSemaphore): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
  /**
   * Executes an effect with a single permit from the semaphore. The permit is
   * automatically acquired before execution and released afterwards, even if the
   * effect fails or is interrupted.
   *
   * **When to use**
   *
   * Use to run an effect while automatically acquiring and releasing one
   * transactional permit.
   *
   * **Details**
   *
   * The permit acquisition and release operations use atomic semantics to ensure
   * proper resource management with Effect's scoped operations.
   *
   * **Example** (Running an effect with a permit)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(2)
   *   const events: Array<string> = []
   *
   *   // Execute database operation with automatic permit management
   *   const result = yield* TxSemaphore.withPermit(
   *     semaphore,
   *     Effect.gen(function*() {
   *       events.push("permit acquired")
   *       yield* Effect.yieldNow
   *       events.push("operation complete")
   *       return "query result"
   *     })
   *   )
   *
   *   // Permit is automatically released here
   *   const available = yield* TxSemaphore.available(semaphore)
   *   return [events, result, available] as const
   * })
   *
   * await Effect.runPromise(program) // => [["permit acquired", "operation complete"], "query result", 2]
   * ```
   *
   * @see {@link withPermits} for automatically acquiring and releasing multiple permits
   * @see {@link withPermitScoped} for acquiring one permit for the current scope
   * @see {@link acquire} for manual single-permit acquisition
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  <A, E, R>(self: TxSemaphore, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R>
} = ((...args: Array<any>) => {
  const [self] = args
  const run = <A, E, R>(effect: Effect.Effect<A, E, R>) => withAcquired(acquire(self), effect, release(self))
  return args.length === 1 ? run : run(args[1])
}) as any

/**
 * Runs an effect while holding the specified number of permits from the
 * semaphore.
 *
 * **When to use**
 *
 * Use to run an effect while automatically acquiring and releasing multiple
 * transactional permits.
 *
 * **Details**
 *
 * The permits are acquired before the effect starts and released after it
 * completes, fails, or is interrupted.
 *
 * **Gotchas**
 *
 * Passing a non-positive `n` dies with a defect. Passing a value greater than
 * the semaphore capacity can wait forever.
 *
 * **Example** (Running an effect with multiple permits)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(5)
 *   const events: Array<string> = []
 *
 *   // Execute batch operation with 3 permits
 *   const results = yield* TxSemaphore.withPermits(
 *     semaphore,
 *     3,
 *     Effect.gen(function*() {
 *       events.push("3 permits acquired")
 *       yield* Effect.yieldNow
 *       return ["result1", "result2", "result3"]
 *     })
 *   )
 *
 *   // All 3 permits are automatically released here
 *   const available = yield* TxSemaphore.available(semaphore)
 *   return [events, results, available] as const
 * })
 *
 * await Effect.runPromise(program) // => [["3 permits acquired"], ["result1", "result2", "result3"], 5]
 * ```
 *
 * @see {@link withPermit} for automatically acquiring and releasing one permit
 * @see {@link acquireN} for manual multi-permit acquisition
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const withPermits: {
  /**
   * Runs an effect while holding the specified number of permits from the
   * semaphore.
   *
   * **When to use**
   *
   * Use to run an effect while automatically acquiring and releasing multiple
   * transactional permits.
   *
   * **Details**
   *
   * The permits are acquired before the effect starts and released after it
   * completes, fails, or is interrupted.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect. Passing a value greater than
   * the semaphore capacity can wait forever.
   *
   * **Example** (Running an effect with multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *   const events: Array<string> = []
   *
   *   // Execute batch operation with 3 permits
   *   const results = yield* TxSemaphore.withPermits(
   *     semaphore,
   *     3,
   *     Effect.gen(function*() {
   *       events.push("3 permits acquired")
   *       yield* Effect.yieldNow
   *       return ["result1", "result2", "result3"]
   *     })
   *   )
   *
   *   // All 3 permits are automatically released here
   *   const available = yield* TxSemaphore.available(semaphore)
   *   return [events, results, available] as const
   * })
   *
   * await Effect.runPromise(program) // => [["3 permits acquired"], ["result1", "result2", "result3"], 5]
   * ```
   *
   * @see {@link withPermit} for automatically acquiring and releasing one permit
   * @see {@link acquireN} for manual multi-permit acquisition
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  (self: TxSemaphore, n: number): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
  /**
   * Runs an effect while holding the specified number of permits from the
   * semaphore.
   *
   * **When to use**
   *
   * Use to run an effect while automatically acquiring and releasing multiple
   * transactional permits.
   *
   * **Details**
   *
   * The permits are acquired before the effect starts and released after it
   * completes, fails, or is interrupted.
   *
   * **Gotchas**
   *
   * Passing a non-positive `n` dies with a defect. Passing a value greater than
   * the semaphore capacity can wait forever.
   *
   * **Example** (Running an effect with multiple permits)
   *
   * ```ts import.meta.vitest
   * import { Effect, TxSemaphore } from "effect"
   *
   * const program = Effect.gen(function*() {
   *   const semaphore = yield* TxSemaphore.make(5)
   *   const events: Array<string> = []
   *
   *   // Execute batch operation with 3 permits
   *   const results = yield* TxSemaphore.withPermits(
   *     semaphore,
   *     3,
   *     Effect.gen(function*() {
   *       events.push("3 permits acquired")
   *       yield* Effect.yieldNow
   *       return ["result1", "result2", "result3"]
   *     })
   *   )
   *
   *   // All 3 permits are automatically released here
   *   const available = yield* TxSemaphore.available(semaphore)
   *   return [events, results, available] as const
   * })
   *
   * await Effect.runPromise(program) // => [["3 permits acquired"], ["result1", "result2", "result3"], 5]
   * ```
   *
   * @see {@link withPermit} for automatically acquiring and releasing one permit
   * @see {@link acquireN} for manual multi-permit acquisition
   *
   * @stability stable
   * @category combinators
   * @since 2.0.0
   */
  <A, E, R>(self: TxSemaphore, n: number, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R>
} = ((...args: Array<any>) => {
  const [self, n] = args
  const run = <A, E, R>(effect: Effect.Effect<A, E, R>) => withAcquired(acquireN(self, n), effect, releaseN(self, n))
  return args.length === 2 ? run : run(args[2])
}) as any

/**
 * Acquires a single permit from the semaphore in a scoped manner. The permit
 * will be automatically released when the scope is closed, even if effects
 * within the scope fail or are interrupted.
 *
 * **When to use**
 *
 * Use to acquire one transactional permit for the lifetime of the current
 * scope.
 *
 * **Details**
 *
 * The permit acquisition and release operations use atomic semantics to ensure
 * proper resource management with Effect's scoped operations.
 *
 * **Example** (Acquiring a scoped permit)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(3)
 *   const events: Array<string> = []
 *
 *   yield* Effect.scoped(
 *     Effect.gen(function*() {
 *       // Acquire permit for the duration of this scope
 *       yield* TxSemaphore.withPermitScoped(semaphore)
 *       events.push("permit acquired for scope")
 *
 *       // Do work within the scope
 *       yield* Effect.yieldNow
 *       events.push("work completed")
 *
 *       // Permit will be automatically released when scope closes
 *     })
 *   )
 *
 *   const available = yield* TxSemaphore.available(semaphore)
 *   return [events, available] as const
 * })
 *
 * await Effect.runPromise(program) // => [["permit acquired for scope", "work completed"], 3]
 * ```
 *
 * @see {@link withPermit} for acquiring one permit around a single effect
 * @see {@link acquire} for manual single-permit acquisition
 *
 * @stability stable
 * @category combinators
 * @since 2.0.0
 */
export const withPermitScoped = (self: TxSemaphore): Effect.Effect<void, never, Scope.Scope> =>
  Effect.acquireRelease(
    acquire(self),
    () => release(self),
    { interruptible: true }
  )

/**
 * Determines if the provided value is a TxSemaphore.
 *
 * **When to use**
 *
 * Use to narrow an unknown value before treating it as a `TxSemaphore`.
 *
 * **Example** (Checking semaphore values)
 *
 * ```ts import.meta.vitest
 * import { Effect, TxSemaphore } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const semaphore = yield* TxSemaphore.make(5)
 *   const notSemaphore = { some: "object" }
 *
 *   const semaphoreResult = TxSemaphore.isTxSemaphore(semaphore)
 *   const objectResult = TxSemaphore.isTxSemaphore(notSemaphore)
 *
 *   // Useful for runtime type checking in generic functions
 *   if (TxSemaphore.isTxSemaphore(semaphore)) {
 *     const available = yield* TxSemaphore.available(semaphore)
 *     return [semaphoreResult, objectResult, available] as const
 *   }
 *   return [semaphoreResult, objectResult, 0] as const
 * })
 *
 * await Effect.runPromise(program) // => [true, false, 5]
 * ```
 *
 * @see {@link make} for creating a `TxSemaphore`
 *
 * @stability stable
 * @category guards
 * @since 4.0.0
 */
export const isTxSemaphore = (u: unknown): u is TxSemaphore => hasProperty(u, TypeId)