effect 4.0.0-beta.66 → 4.0.0-beta.67

package/dist/PartitionedSemaphore.d.ts

@@ -1,16 +1,65 @@
 /**
+ * The `PartitionedSemaphore` module provides a semaphore for limiting
+ * concurrency across a shared permit pool while keeping waiters grouped by
+ * partition key. A `PartitionedSemaphore<K>` is useful when many independent
+ * groups of work compete for the same bounded resource and each group should
+ * make progress without one busy group monopolizing released permits.
+ *
+ * **Mental model**
+ *
+ * - The semaphore has a fixed shared capacity measured in permits
+ * - Work acquires permits with a partition key of type `K`
+ * - Waiting acquisitions are tracked per partition
+ * - Released permits are assigned to waiting partitions in round-robin order
+ * - `withPermit` and `withPermits` acquire permits around an effect and
+ *   release them when the effect exits, fails, or is interrupted
+ *
+ * **Common tasks**
+ *
+ * - Create a semaphore: {@link make}, {@link makeUnsafe}
+ * - Inspect capacity and availability: {@link capacity}, {@link available}
+ * - Acquire and release manually: {@link take}, {@link release}
+ * - Limit a single operation per partition: {@link withPermit}
+ * - Limit weighted work per partition: {@link withPermits}
+ * - Run only when permits are immediately available:
+ *   {@link withPermitsIfAvailable}
+ *
+ * **Gotchas**
+ *
+ * - `withPermitsIfAvailable` does not use a partition key; it only succeeds
+ *   when the shared pool has enough permits immediately
+ * - Acquiring more permits than the semaphore capacity never completes
+ * - Requests for zero or negative permits complete without acquiring anything
+ * - Non-finite capacities create an unbounded semaphore whose acquire and
+ *   release operations complete immediately
+ *
  * @since 4.0.0
  */
 import * as Effect from "./Effect.ts";
 import * as Option from "./Option.ts";
 /**
- * @since 4.0.0
+ * Runtime type identifier used to mark values that implement
+ * `PartitionedSemaphore`.
+ *
+ * **Details**
+ *
+ * This constant is stored on partitioned semaphore instances and can be used by
+ * library code that needs to recognize the data type at runtime.
+ *
  * @category models
+ * @since 4.0.0
  */
 export declare const PartitionedTypeId: PartitionedTypeId;
 /**
- * @since 4.0.0
+ * Literal type of the `PartitionedSemaphore` runtime type identifier.
+ *
+ * **Details**
+ *
+ * Use this type when declaring fields that must contain the exact
+ * `PartitionedTypeId` marker value.
+ *
  * @category models
+ * @since 4.0.0
  */
 export type PartitionedTypeId = "~effect/PartitionedSemaphore";
 /**
@@ -19,8 +68,8 @@ export type PartitionedTypeId = "~effect/PartitionedSemaphore";
  *
  * Waiting permits are distributed across partitions in round-robin order.
  *
- * @since 4.0.0
  * @category models
+ * @since 4.0.0
  */
 export interface PartitionedSemaphore<in K> {
     readonly [PartitionedTypeId]: PartitionedTypeId;
@@ -33,25 +82,50 @@ export interface PartitionedSemaphore<in K> {
     readonly withPermitsIfAvailable: (permits: number) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<Option.Option<A>, E, R>;
 }
 /**
- * @since 4.0.0
+ * Alias interface for a `PartitionedSemaphore` keyed by values of type `K`.
+ *
+ * **Details**
+ *
+ * This interface does not add members beyond `PartitionedSemaphore`; it
+ * provides an alternate exported name for APIs that refer to a partitioned
+ * permit pool.
+ *
  * @category models
+ * @since 4.0.0
  */
 export interface Partitioned<in K> extends PartitionedSemaphore<K> {
 }
 /**
- * Creates a `PartitionedSemaphore` unsafely.
+ * Constructs a `PartitionedSemaphore` synchronously, outside of `Effect`.
+ *
+ * **Details**
+ *
+ * Negative permit counts are clamped to `0`. Non-finite permit counts create
+ * an unbounded semaphore whose acquire and release operations complete
+ * immediately.
+ *
+ * **Notes**
+ *
+ * Prefer `make` when the semaphore should be created inside an `Effect`
+ * workflow.
  *
- * @since 4.0.0
  * @category constructors
+ * @since 4.0.0
  */
 export declare const makeUnsafe: <K = unknown>(options: {
     readonly permits: number;
 }) => PartitionedSemaphore<K>;
 /**
- * Creates a `PartitionedSemaphore`.
+ * Creates a `PartitionedSemaphore` inside an `Effect`.
+ *
+ * **Details**
+ *
+ * The `permits` option sets the shared permit capacity. The resulting
+ * semaphore tracks waiters by partition key and distributes released permits
+ * across waiting partitions in round-robin order.
  *
- * @since 4.0.0
  * @category constructors
+ * @since 4.0.0
  */
 export declare const make: <K = unknown>(options: {
     readonly permits: number;
@@ -59,124 +133,235 @@ export declare const make: <K = unknown>(options: {
 /**
  * Gets the current number of available permits.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const available: <K>(self: PartitionedSemaphore<K>) => Effect.Effect<number>;
 /**
  * Gets the total capacity.
  *
- * @since 4.0.0
  * @category getters
+ * @since 4.0.0
  */
 export declare const capacity: <K>(self: PartitionedSemaphore<K>) => number;
 /**
- * Acquires permits for a partition.
+ * Returns an effect that acquires the requested number of permits for the
+ * given partition key.
+ *
+ * **Details**
+ *
+ * If enough permits are available, the effect completes immediately. Otherwise
+ * it waits until released permits are assigned to this partition. Requests for
+ * more permits than the semaphore capacity never complete. Requests for zero
+ * or a negative number of permits complete without acquiring anything.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const take: {
     /**
-     * Acquires permits for a partition.
+     * Returns an effect that acquires the requested number of permits for the
+     * given partition key.
+     *
+     * **Details**
+     *
+     * If enough permits are available, the effect completes immediately. Otherwise
+     * it waits until released permits are assigned to this partition. Requests for
+     * more permits than the semaphore capacity never complete. Requests for zero
+     * or a negative number of permits complete without acquiring anything.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(key: K, permits: number): (self: PartitionedSemaphore<K>) => Effect.Effect<void>;
     /**
-     * Acquires permits for a partition.
+     * Returns an effect that acquires the requested number of permits for the
+     * given partition key.
+     *
+     * **Details**
+     *
+     * If enough permits are available, the effect completes immediately. Otherwise
+     * it waits until released permits are assigned to this partition. Requests for
+     * more permits than the semaphore capacity never complete. Requests for zero
+     * or a negative number of permits complete without acquiring anything.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(self: PartitionedSemaphore<K>, key: K, permits: number): Effect.Effect<void>;
 };
 /**
- * Releases permits back to the shared pool.
+ * Returns an effect that releases permits back to the shared pool and returns
+ * the current available permit count.
+ *
+ * **Details**
+ *
+ * Released permits are first assigned to waiting partitions in round-robin
+ * order. Only permits not needed by waiters increase the available count,
+ * which is capped at the semaphore capacity.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const release: {
     /**
-     * Releases permits back to the shared pool.
+     * Returns an effect that releases permits back to the shared pool and returns
+     * the current available permit count.
+     *
+     * **Details**
+     *
+     * Released permits are first assigned to waiting partitions in round-robin
+     * order. Only permits not needed by waiters increase the available count,
+     * which is capped at the semaphore capacity.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     (permits: number): <K>(self: PartitionedSemaphore<K>) => Effect.Effect<number>;
     /**
-     * Releases permits back to the shared pool.
+     * Returns an effect that releases permits back to the shared pool and returns
+     * the current available permit count.
+     *
+     * **Details**
+     *
+     * Released permits are first assigned to waiting partitions in round-robin
+     * order. Only permits not needed by waiters increase the available count,
+     * which is capped at the semaphore capacity.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(self: PartitionedSemaphore<K>, permits: number): Effect.Effect<number>;
 };
 /**
- * Runs an effect with permits for a partition.
+ * Runs an effect after acquiring permits for a partition, then releases those
+ * permits when the effect exits.
+ *
+ * **Details**
+ *
+ * Permit acquisition may wait according to `take` semantics. Once acquired,
+ * the permits are released even if the wrapped effect fails or is interrupted.
+ * Requests for zero or a negative number of permits run the effect without
+ * acquiring anything.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const withPermits: {
     /**
-     * Runs an effect with permits for a partition.
+     * Runs an effect after acquiring permits for a partition, then releases those
+     * permits when the effect exits.
+     *
+     * **Details**
+     *
+     * Permit acquisition may wait according to `take` semantics. Once acquired,
+     * the permits are released even if the wrapped effect fails or is interrupted.
+     * Requests for zero or a negative number of permits run the effect without
+     * acquiring anything.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(self: PartitionedSemaphore<K>, key: K, permits: number): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
     /**
-     * Runs an effect with permits for a partition.
+     * Runs an effect after acquiring permits for a partition, then releases those
+     * permits when the effect exits.
+     *
+     * **Details**
+     *
+     * Permit acquisition may wait according to `take` semantics. Once acquired,
+     * the permits are released even if the wrapped effect fails or is interrupted.
+     * Requests for zero or a negative number of permits run the effect without
+     * acquiring anything.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K, A, E, R>(self: PartitionedSemaphore<K>, key: K, permits: number, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R>;
 };
 /**
- * Runs an effect with a single permit for a partition.
+ * Runs an effect after acquiring one permit for a partition, then releases the
+ * permit when the effect exits.
+ *
+ * **Details**
+ *
+ * This is the single-permit variant of `withPermits`. The permit is released
+ * even if the wrapped effect fails or is interrupted.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const withPermit: {
     /**
-     * Runs an effect with a single permit for a partition.
+     * Runs an effect after acquiring one permit for a partition, then releases the
+     * permit when the effect exits.
+     *
+     * **Details**
+     *
+     * This is the single-permit variant of `withPermits`. The permit is released
+     * even if the wrapped effect fails or is interrupted.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(self: PartitionedSemaphore<K>, key: K): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
     /**
-     * Runs an effect with a single permit for a partition.
+     * Runs an effect after acquiring one permit for a partition, then releases the
+     * permit when the effect exits.
+     *
+     * **Details**
+     *
+     * This is the single-permit variant of `withPermits`. The permit is released
+     * even if the wrapped effect fails or is interrupted.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K, A, E, R>(self: PartitionedSemaphore<K>, key: K, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R>;
 };
 /**
- * Runs an effect only if the permits are immediately available.
+ * Runs an effect only when the requested permits can be acquired immediately,
+ * returning the result in `Some`.
+ *
+ * **Details**
+ *
+ * If the permits are not available, the effect is not run and the result is
+ * `None`. When permits are acquired, they are released after the wrapped
+ * effect completes, fails, or is interrupted. Requests for zero or a negative
+ * number of permits run the effect and return `Some`.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export declare const withPermitsIfAvailable: {
     /**
-     * Runs an effect only if the permits are immediately available.
+     * Runs an effect only when the requested permits can be acquired immediately,
+     * returning the result in `Some`.
+     *
+     * **Details**
+     *
+     * If the permits are not available, the effect is not run and the result is
+     * `None`. When permits are acquired, they are released after the wrapped
+     * effect completes, fails, or is interrupted. Requests for zero or a negative
+     * number of permits run the effect and return `Some`.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K>(self: PartitionedSemaphore<K>, permits: number): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<Option.Option<A>, E, R>;
     /**
-     * Runs an effect only if the permits are immediately available.
+     * Runs an effect only when the requested permits can be acquired immediately,
+     * returning the result in `Some`.
+     *
+     * **Details**
+     *
+     * If the permits are not available, the effect is not run and the result is
+     * `None`. When permits are acquired, they are released after the wrapped
+     * effect completes, fails, or is interrupted. Requests for zero or a negative
+     * number of permits run the effect and return `Some`.
      *
-     * @since 4.0.0
      * @category combinators
+     * @since 4.0.0
      */
     <K, A, E, R>(self: PartitionedSemaphore<K>, permits: number, effect: Effect.Effect<A, E, R>): Effect.Effect<Option.Option<A>, E, R>;
 };

package/dist/PartitionedSemaphore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PartitionedSemaphore.d.ts","sourceRoot":"","sources":["../src/PartitionedSemaphore.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,iBAAkD,CAAA;AAElF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,8BAA8B,CAAA;AAE9D;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACxC,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC/D,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC5D,QAAQ,CAAC,WAAW,EAAE,CACpB,GAAG,EAAE,CAAC,EACN,OAAO,EAAE,MAAM,KACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpG,QAAQ,CAAC,sBAAsB,EAAE,CAC/B,OAAO,EAAE,MAAM,KACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACxF;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,oBAAoB,CAAC,CAAC,CAAC;CAAG;AAErE;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,GAAG,OAAO,EAAE,SAAS;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,KAAG,oBAAoB,CAAC,CAAC,CAuLzB,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,GAAG,OAAO,EAAE,SAAS;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,KAAG,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAA8C,CAAA;AAEvF;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,MAAM,oBAAoB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAmB,CAAA;AAEpG;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,MAAM,oBAAoB,CAAC,CAAC,CAAC,KAAG,MAAuB,CAAA;AAEnF;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB;;;;;OAKG;IACH,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACpF;;;;;OAKG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACsC,CAAA;AAExH;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB;;;;;OAKG;IACH,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9E;;;;;OAKG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACoC,CAAA;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB;;;;;OAKG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChI;;;;;OAKG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAC7B,GAAG,EAAE,CAAC,EACN,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQlB,CAAA;AAET;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB;;;;;OAKG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/G;;;;;OAKG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQpG,CAAA;AAET;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,EAAE;IACnC;;;;;OAKG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvI;;;;;OAKG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAC7B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQjC,CAAA"}
+{"version":3,"file":"PartitionedSemaphore.d.ts","sourceRoot":"","sources":["../src/PartitionedSemaphore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,iBAAkD,CAAA;AAElF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,iBAAiB,GAAG,8BAA8B,CAAA;AAE9D;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACxC,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC/D,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC5D,QAAQ,CAAC,WAAW,EAAE,CACpB,GAAG,EAAE,CAAC,EACN,OAAO,EAAE,MAAM,KACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxE,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpG,QAAQ,CAAC,sBAAsB,EAAE,CAC/B,OAAO,EAAE,MAAM,KACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACxF;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,oBAAoB,CAAC,CAAC,CAAC;CAAG;AAErE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,GAAG,OAAO,EAAE,SAAS;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,KAAG,oBAAoB,CAAC,CAAC,CAuLzB,CAAA;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,GAAG,OAAO,EAAE,SAAS;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,KAAG,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAA8C,CAAA;AAEvF;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,MAAM,oBAAoB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAmB,CAAA;AAEpG;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,MAAM,oBAAoB,CAAC,CAAC,CAAC,KAAG,MAAuB,CAAA;AAEnF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACpF;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACsC,CAAA;AAExH;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB;;;;;;;;;;;;OAYG;IACH,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9E;;;;;;;;;;;;OAYG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACoC,CAAA;AAEhH;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChI;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAC7B,GAAG,EAAE,CAAC,EACN,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQlB,CAAA;AAET;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB;;;;;;;;;;;OAWG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/G;;;;;;;;;;;OAWG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQpG,CAAA;AAET;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,EAAE;IACnC;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvI;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAC7B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAQjC,CAAA"}

package/dist/PartitionedSemaphore.js

@@ -1,4 +1,38 @@
 /**
+ * The `PartitionedSemaphore` module provides a semaphore for limiting
+ * concurrency across a shared permit pool while keeping waiters grouped by
+ * partition key. A `PartitionedSemaphore<K>` is useful when many independent
+ * groups of work compete for the same bounded resource and each group should
+ * make progress without one busy group monopolizing released permits.
+ *
+ * **Mental model**
+ *
+ * - The semaphore has a fixed shared capacity measured in permits
+ * - Work acquires permits with a partition key of type `K`
+ * - Waiting acquisitions are tracked per partition
+ * - Released permits are assigned to waiting partitions in round-robin order
+ * - `withPermit` and `withPermits` acquire permits around an effect and
+ *   release them when the effect exits, fails, or is interrupted
+ *
+ * **Common tasks**
+ *
+ * - Create a semaphore: {@link make}, {@link makeUnsafe}
+ * - Inspect capacity and availability: {@link capacity}, {@link available}
+ * - Acquire and release manually: {@link take}, {@link release}
+ * - Limit a single operation per partition: {@link withPermit}
+ * - Limit weighted work per partition: {@link withPermits}
+ * - Run only when permits are immediately available:
+ *   {@link withPermitsIfAvailable}
+ *
+ * **Gotchas**
+ *
+ * - `withPermitsIfAvailable` does not use a partition key; it only succeeds
+ *   when the shared pool has enough permits immediately
+ * - Acquiring more permits than the semaphore capacity never completes
+ * - Requests for zero or negative permits complete without acquiring anything
+ * - Non-finite capacities create an unbounded semaphore whose acquire and
+ *   release operations complete immediately
+ *
  * @since 4.0.0
  */
 import * as Effect from "./Effect.js";
@@ -6,15 +40,34 @@ import { dual } from "./Function.js";
 import * as MutableHashMap from "./MutableHashMap.js";
 import * as Option from "./Option.js";
 /**
- * @since 4.0.0
+ * Runtime type identifier used to mark values that implement
+ * `PartitionedSemaphore`.
+ *
+ * **Details**
+ *
+ * This constant is stored on partitioned semaphore instances and can be used by
+ * library code that needs to recognize the data type at runtime.
+ *
  * @category models
+ * @since 4.0.0
  */
 export const PartitionedTypeId = "~effect/PartitionedSemaphore";
 /**
- * Creates a `PartitionedSemaphore` unsafely.
+ * Constructs a `PartitionedSemaphore` synchronously, outside of `Effect`.
+ *
+ * **Details**
+ *
+ * Negative permit counts are clamped to `0`. Non-finite permit counts create
+ * an unbounded semaphore whose acquire and release operations complete
+ * immediately.
+ *
+ * **Notes**
+ *
+ * Prefer `make` when the semaphore should be created inside an `Effect`
+ * workflow.
  *
- * @since 4.0.0
  * @category constructors
+ * @since 4.0.0
  */
 export const makeUnsafe = options => {
   const maxPermits = Math.max(0, options.permits);
@@ -152,45 +205,74 @@ export const makeUnsafe = options => {
   };
 };
 /**
- * Creates a `PartitionedSemaphore`.
+ * Creates a `PartitionedSemaphore` inside an `Effect`.
+ *
+ * **Details**
+ *
+ * The `permits` option sets the shared permit capacity. The resulting
+ * semaphore tracks waiters by partition key and distributes released permits
+ * across waiting partitions in round-robin order.
  *
- * @since 4.0.0
  * @category constructors
+ * @since 4.0.0
  */
 export const make = options => Effect.sync(() => makeUnsafe(options));
 /**
  * Gets the current number of available permits.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const available = self => self.available;
 /**
  * Gets the total capacity.
  *
- * @since 4.0.0
  * @category getters
+ * @since 4.0.0
  */
 export const capacity = self => self.capacity;
 /**
- * Acquires permits for a partition.
+ * Returns an effect that acquires the requested number of permits for the
+ * given partition key.
+ *
+ * **Details**
+ *
+ * If enough permits are available, the effect completes immediately. Otherwise
+ * it waits until released permits are assigned to this partition. Requests for
+ * more permits than the semaphore capacity never complete. Requests for zero
+ * or a negative number of permits complete without acquiring anything.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const take = /*#__PURE__*/dual(3, (self, key, permits) => self.take(key, permits));
 /**
- * Releases permits back to the shared pool.
+ * Returns an effect that releases permits back to the shared pool and returns
+ * the current available permit count.
+ *
+ * **Details**
+ *
+ * Released permits are first assigned to waiting partitions in round-robin
+ * order. Only permits not needed by waiters increase the available count,
+ * which is capped at the semaphore capacity.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const release = /*#__PURE__*/dual(2, (self, permits) => self.release(permits));
 /**
- * Runs an effect with permits for a partition.
+ * Runs an effect after acquiring permits for a partition, then releases those
+ * permits when the effect exits.
+ *
+ * **Details**
+ *
+ * Permit acquisition may wait according to `take` semantics. Once acquired,
+ * the permits are released even if the wrapped effect fails or is interrupted.
+ * Requests for zero or a negative number of permits run the effect without
+ * acquiring anything.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const withPermits = (...args) => {
   if (args.length === 3) {
@@ -201,10 +283,16 @@ export const withPermits = (...args) => {
   return self.withPermits(key, permits)(effect);
 };
 /**
- * Runs an effect with a single permit for a partition.
+ * Runs an effect after acquiring one permit for a partition, then releases the
+ * permit when the effect exits.
+ *
+ * **Details**
+ *
+ * This is the single-permit variant of `withPermits`. The permit is released
+ * even if the wrapped effect fails or is interrupted.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const withPermit = (...args) => {
   if (args.length === 2) {
@@ -215,10 +303,18 @@ export const withPermit = (...args) => {
   return self.withPermit(key)(effect);
 };
 /**
- * Runs an effect only if the permits are immediately available.
+ * Runs an effect only when the requested permits can be acquired immediately,
+ * returning the result in `Some`.
+ *
+ * **Details**
+ *
+ * If the permits are not available, the effect is not run and the result is
+ * `None`. When permits are acquired, they are released after the wrapped
+ * effect completes, fails, or is interrupted. Requests for zero or a negative
+ * number of permits run the effect and return `Some`.
  *
- * @since 4.0.0
  * @category combinators
+ * @since 4.0.0
  */
 export const withPermitsIfAvailable = (...args) => {
   if (args.length === 2) {

package/dist/PartitionedSemaphore.js.map

@@ -1 +1 @@
-{"version":3,"file":"PartitionedSemaphore.js","names":["Effect","dual","MutableHashMap","Option","PartitionedTypeId","makeUnsafe","options","maxPermits","Math","max","permits","Number","isFinite","capacity","available","succeed","take","void","release","withPermits","effect","withPermit","withPermitsIfAvailable","asSome","totalPermits","waitingPermits","partitions","empty","iterator","Symbol","releaseUnsafe","min","state","next","done","waiter","value","values","undefined","resume","key","callback","never","needed","taken","waiters","getOrElse","get","set","Set","entry","cleanup","delete","size","remove","add","sync","takePermits","uninterruptibleMask","restore","flatMap","ensuring","tryTake","suspend","none","make","self","args","length"],"sources":["../src/PartitionedSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,cAAc,MAAM,qBAAqB;AACrD,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;;;;AAIA,OAAO,MAAMC,iBAAiB,GAAsB,8BAA8B;AAuClF;;;;;;AAMA,OAAO,MAAMC,UAAU,GAAiBC,OAEvC,IAA6B;EAC5B,MAAMC,UAAU,GAAGC,IAAI,CAACC,GAAG,CAAC,CAAC,EAAEH,OAAO,CAACI,OAAO,CAAC;EAE/C,IAAI,CAACC,MAAM,CAACC,QAAQ,CAACL,UAAU,CAAC,EAAE;IAChC,OAAO;MACL,CAACH,iBAAiB,GAAGA,iBAAiB;MACtCS,QAAQ,EAAEN,UAAU;MACpBO,SAAS,EAAEd,MAAM,CAACe,OAAO,CAACR,UAAU,CAAC;MACrCS,IAAI,EAAEA,CAAA,KAAMhB,MAAM,CAACiB,IAAI;MACvBC,OAAO,EAAEA,CAAA,KAAMlB,MAAM,CAACe,OAAO,CAACR,UAAU,CAAC;MACzCY,WAAW,EAAEA,CAAA,KAAOC,MAAM,IAAKA,MAAM;MACrCC,UAAU,EAAEA,CAAA,KAAOD,MAAM,IAAKA,MAAM;MACpCE,sBAAsB,EAAEA,CAAA,KAAOF,MAAM,IAAKpB,MAAM,CAACuB,MAAM,CAACH,MAAM;KAC/D;EACH;EAEA,IAAII,YAAY,GAAGjB,UAAU;EAC7B,IAAIkB,cAAc,GAAG,CAAC;EAOtB,MAAMC,UAAU,GAAGxB,cAAc,CAACyB,KAAK,EAAkB;EACzD,IAAIC,QAAQ,GAAGF,UAAU,CAACG,MAAM,CAACD,QAAQ,CAAC,EAAE;EAE5C,MAAME,aAAa,GAAIpB,OAAe,IAAY;IAChD,OAAOA,OAAO,GAAG,CAAC,EAAE;MAClB,IAAIe,cAAc,KAAK,CAAC,EAAE;QACxBD,YAAY,GAAGhB,IAAI,CAACuB,GAAG,CAACxB,UAAU,EAAEiB,YAAY,GAAGd,OAAO,CAAC;QAC3D,OAAOc,YAAY;MACrB;MAEA,IAAIQ,KAAK,GAAGJ,QAAQ,CAACK,IAAI,EAAE;MAC3B,IAAID,KAAK,CAACE,IAAI,EAAE;QACdN,QAAQ,GAAGF,UAAU,CAACG,MAAM,CAACD,QAAQ,CAAC,EAAE;QACxCI,KAAK,GAAGJ,QAAQ,CAACK,IAAI,EAAE;QACvB,IAAID,KAAK,CAACE,IAAI,EAAE;UACd,OAAOV,YAAY;QACrB;MACF;MAEA,MAAMW,MAAM,GAAGH,KAAK,CAACI,KAAK,CAAC,CAAC,CAAC,CAACC,MAAM,EAAE,CAACJ,IAAI,EAAE,CAACG,KAAK;MACnD,IAAID,MAAM,KAAKG,SAAS,EAAE;QACxB;MACF;MAEAH,MAAM,CAACzB,OAAO,IAAI,CAAC;MACnBe,cAAc,IAAI,CAAC;MAEnB,IAAIU,MAAM,CAACzB,OAAO,KAAK,CAAC,EAAE;QACxByB,MAAM,CAACI,MAAM,EAAE;MACjB;MAEA7B,OAAO,IAAI,CAAC;IACd;IAEA,OAAOc,YAAY;EACrB,CAAC;EAED,MAAMR,IAAI,GAAGA,CAACwB,GAAM,EAAE9B,OAAe,KAAyB;IAC5D,IAAIA,OAAO,IAAI,CAAC,EAAE;MAChB,OAAOV,MAAM,CAACiB,IAAI;IACpB;IAEA,OAAOjB,MAAM,CAACyC,QAAQ,CAAQF,MAAM,IAAI;MACtC,IAAIhC,UAAU,GAAGG,OAAO,EAAE;QACxB6B,MAAM,CAACvC,MAAM,CAAC0C,KAAK,CAAC;QACpB;MACF;MAEA,IAAIlB,YAAY,IAAId,OAAO,EAAE;QAC3Bc,YAAY,IAAId,OAAO;QACvB6B,MAAM,CAACvC,MAAM,CAACiB,IAAI,CAAC;QACnB;MACF;MAEA,MAAM0B,MAAM,GAAGjC,OAAO,GAAGc,YAAY;MACrC,MAAMoB,KAAK,GAAGlC,OAAO,GAAGiC,MAAM;MAC9B,IAAInB,YAAY,GAAG,CAAC,EAAE;QACpBA,YAAY,GAAG,CAAC;MAClB;MACAC,cAAc,IAAIkB,MAAM;MAExB,MAAME,OAAO,GAAG1C,MAAM,CAAC2C,SAAS,CAC9B5C,cAAc,CAAC6C,GAAG,CAACrB,UAAU,EAAEc,GAAG,CAAC,EACnC,MAAK;QACH,MAAMQ,GAAG,GAAG,IAAIC,GAAG,EAAU;QAC7B/C,cAAc,CAAC8C,GAAG,CAACtB,UAAU,EAAEc,GAAG,EAAEQ,GAAG,CAAC;QACxC,OAAOA,GAAG;MACZ,CAAC,CACF;MAED,MAAME,KAAK,GAAW;QACpBxC,OAAO,EAAEiC,MAAM;QACfJ,MAAM,EAAEA,CAAA,KAAK;UACXY,OAAO,EAAE;UACTZ,MAAM,CAACvC,MAAM,CAACiB,IAAI,CAAC;QACrB;OACD;MAED,MAAMkC,OAAO,GAAGA,CAAA,KAAK;QACnBN,OAAO,CAACO,MAAM,CAACF,KAAK,CAAC;QACrB,IAAIL,OAAO,CAACQ,IAAI,KAAK,CAAC,EAAE;UACtBnD,cAAc,CAACoD,MAAM,CAAC5B,UAAU,EAAEc,GAAG,CAAC;QACxC;MACF,CAAC;MAEDK,OAAO,CAACU,GAAG,CAACL,KAAK,CAAC;MAElB,OAAOlD,MAAM,CAACwD,IAAI,CAAC,MAAK;QACtBL,OAAO,EAAE;QACT1B,cAAc,IAAIyB,KAAK,CAACxC,OAAO;QAC/B,IAAIkC,KAAK,GAAG,CAAC,EAAE;UACbd,aAAa,CAACc,KAAK,CAAC;QACtB;MACF,CAAC,CAAC;IACJ,CAAC,CAAC;EACJ,CAAC;EAED,MAAMzB,WAAW,GACfA,CAACqB,GAAM,EAAE9B,OAAe,KAAeU,MAA8B,IAA4B;IAC/F,IAAIV,OAAO,IAAI,CAAC,EAAE;MAChB,OAAOU,MAAM;IACf;IAEA,MAAMqC,WAAW,GAAGzC,IAAI,CAACwB,GAAG,EAAE9B,OAAO,CAAC;IACtC,OAAOV,MAAM,CAAC0D,mBAAmB,CAAEC,OAAO,IACxC3D,MAAM,CAAC4D,OAAO,CACZD,OAAO,CAACF,WAAW,CAAC,EACpB,MACEzD,MAAM,CAAC6D,QAAQ,CACbF,OAAO,CAACvC,MAAM,CAAC,EACfpB,MAAM,CAACwD,IAAI,CAAC,MAAK;MACf1B,aAAa,CAACpB,OAAO,CAAC;IACxB,CAAC,CAAC,CACH,CACJ,CACF;EACH,CAAC;EAEH,MAAMoD,OAAO,GAAIpD,OAAe,IAAa;IAC3C,IAAIA,OAAO,IAAI,CAAC,EAAE;MAChB,OAAO,IAAI;IACb;IAEA,IAAIH,UAAU,GAAGG,OAAO,IAAIc,YAAY,GAAGd,OAAO,EAAE;MAClD,OAAO,KAAK;IACd;IAEAc,YAAY,IAAId,OAAO;IACvB,OAAO,IAAI;EACb,CAAC;EAED,OAAO;IACL,CAACN,iBAAiB,GAAGA,iBAAiB;IACtCS,QAAQ,EAAEN,UAAU;IACpBO,SAAS,EAAEd,MAAM,CAACwD,IAAI,CAAC,MAAMhC,YAAY,CAAC;IAC1CR,IAAI;IACJE,OAAO,EAAGR,OAAO,IAAKV,MAAM,CAACwD,IAAI,CAAC,MAAM1B,aAAa,CAACpB,OAAO,CAAC,CAAC;IAC/DS,WAAW;IACXE,UAAU,EAAGmB,GAAG,IAAKrB,WAAW,CAACqB,GAAG,EAAE,CAAC,CAAC;IACxClB,sBAAsB,EACnBZ,OAAO,IAAeU,MAA8B,IAA2C;MAC9F,IAAIV,OAAO,IAAI,CAAC,EAAE;QAChB,OAAOV,MAAM,CAACuB,MAAM,CAACH,MAAM,CAAC;MAC9B;MAEA,OAAOpB,MAAM,CAAC+D,OAAO,CAAC,MAAK;QACzB,IAAI,CAACD,OAAO,CAACpD,OAAO,CAAC,EAAE;UACrB,OAAOV,MAAM,CAACe,OAAO,CAACZ,MAAM,CAAC6D,IAAI,EAAE,CAAC;QACtC;QAEA,OAAOhE,MAAM,CAAC6D,QAAQ,CACpB7D,MAAM,CAACuB,MAAM,CAACH,MAAM,CAAC,EACrBpB,MAAM,CAACwD,IAAI,CAAC,MAAK;UACf1B,aAAa,CAACpB,OAAO,CAAC;QACxB,CAAC,CAAC,CACH;MACH,CAAC,CAAC;IACJ;GACH;AACH,CAAC;AAED;;;;;;AAMA,OAAO,MAAMuD,IAAI,GAAiB3D,OAEjC,IAA6CN,MAAM,CAACwD,IAAI,CAAC,MAAMnD,UAAU,CAAIC,OAAO,CAAC,CAAC;AAEvF;;;;;;AAMA,OAAO,MAAMQ,SAAS,GAAOoD,IAA6B,IAA4BA,IAAI,CAACpD,SAAS;AAEpG;;;;;;AAMA,OAAO,MAAMD,QAAQ,GAAOqD,IAA6B,IAAaA,IAAI,CAACrD,QAAQ;AAEnF;;;;;;AAMA,OAAO,MAAMG,IAAI,gBAebf,IAAI,CAAC,CAAC,EAAE,CAAIiE,IAA6B,EAAE1B,GAAM,EAAE9B,OAAe,KAA0BwD,IAAI,CAAClD,IAAI,CAACwB,GAAG,EAAE9B,OAAO,CAAC,CAAC;AAExH;;;;;;AAMA,OAAO,MAAMQ,OAAO,gBAehBjB,IAAI,CAAC,CAAC,EAAE,CAAIiE,IAA6B,EAAExD,OAAe,KAA4BwD,IAAI,CAAChD,OAAO,CAACR,OAAO,CAAC,CAAC;AAEhH;;;;;;AAMA,OAAO,MAAMS,WAAW,GAoBnBA,CAAC,GAAGgD,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAE1B,GAAG,EAAE9B,OAAO,CAAC,GAAGyD,IAAI;IACjC,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC/C,WAAW,CAACqB,GAAG,EAAE9B,OAAO,CAAC,CAACU,MAAM,CAAC;EACzF;EACA,MAAM,CAAC8C,IAAI,EAAE1B,GAAG,EAAE9B,OAAO,EAAEU,MAAM,CAAC,GAAG+C,IAAI;EACzC,OAAOD,IAAI,CAAC/C,WAAW,CAACqB,GAAG,EAAE9B,OAAO,CAAC,CAACU,MAAM,CAAC;AAC/C,CAAS;AAET;;;;;;AAMA,OAAO,MAAMC,UAAU,GAelBA,CAAC,GAAG8C,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAE1B,GAAG,CAAC,GAAG2B,IAAI;IACxB,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC7C,UAAU,CAACmB,GAAG,CAAC,CAACpB,MAAM,CAAC;EAC/E;EACA,MAAM,CAAC8C,IAAI,EAAE1B,GAAG,EAAEpB,MAAM,CAAC,GAAG+C,IAAI;EAChC,OAAOD,IAAI,CAAC7C,UAAU,CAACmB,GAAG,CAAC,CAACpB,MAAM,CAAC;AACrC,CAAS;AAET;;;;;;AAMA,OAAO,MAAME,sBAAsB,GAmB9BA,CAAC,GAAG6C,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAExD,OAAO,CAAC,GAAGyD,IAAI;IAC5B,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC5C,sBAAsB,CAACZ,OAAO,CAAC,CAACU,MAAM,CAAC;EAC/F;EACA,MAAM,CAAC8C,IAAI,EAAExD,OAAO,EAAEU,MAAM,CAAC,GAAG+C,IAAI;EACpC,OAAOD,IAAI,CAAC5C,sBAAsB,CAACZ,OAAO,CAAC,CAACU,MAAM,CAAC;AACrD,CAAS","ignoreList":[]}
+{"version":3,"file":"PartitionedSemaphore.js","names":["Effect","dual","MutableHashMap","Option","PartitionedTypeId","makeUnsafe","options","maxPermits","Math","max","permits","Number","isFinite","capacity","available","succeed","take","void","release","withPermits","effect","withPermit","withPermitsIfAvailable","asSome","totalPermits","waitingPermits","partitions","empty","iterator","Symbol","releaseUnsafe","min","state","next","done","waiter","value","values","undefined","resume","key","callback","never","needed","taken","waiters","getOrElse","get","set","Set","entry","cleanup","delete","size","remove","add","sync","takePermits","uninterruptibleMask","restore","flatMap","ensuring","tryTake","suspend","none","make","self","args","length"],"sources":["../src/PartitionedSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,cAAc,MAAM,qBAAqB;AACrD,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;;;;;;;;;;;;AAYA,OAAO,MAAMC,iBAAiB,GAAsB,8BAA8B;AAsDlF;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,UAAU,GAAiBC,OAEvC,IAA6B;EAC5B,MAAMC,UAAU,GAAGC,IAAI,CAACC,GAAG,CAAC,CAAC,EAAEH,OAAO,CAACI,OAAO,CAAC;EAE/C,IAAI,CAACC,MAAM,CAACC,QAAQ,CAACL,UAAU,CAAC,EAAE;IAChC,OAAO;MACL,CAACH,iBAAiB,GAAGA,iBAAiB;MACtCS,QAAQ,EAAEN,UAAU;MACpBO,SAAS,EAAEd,MAAM,CAACe,OAAO,CAACR,UAAU,CAAC;MACrCS,IAAI,EAAEA,CAAA,KAAMhB,MAAM,CAACiB,IAAI;MACvBC,OAAO,EAAEA,CAAA,KAAMlB,MAAM,CAACe,OAAO,CAACR,UAAU,CAAC;MACzCY,WAAW,EAAEA,CAAA,KAAOC,MAAM,IAAKA,MAAM;MACrCC,UAAU,EAAEA,CAAA,KAAOD,MAAM,IAAKA,MAAM;MACpCE,sBAAsB,EAAEA,CAAA,KAAOF,MAAM,IAAKpB,MAAM,CAACuB,MAAM,CAACH,MAAM;KAC/D;EACH;EAEA,IAAII,YAAY,GAAGjB,UAAU;EAC7B,IAAIkB,cAAc,GAAG,CAAC;EAOtB,MAAMC,UAAU,GAAGxB,cAAc,CAACyB,KAAK,EAAkB;EACzD,IAAIC,QAAQ,GAAGF,UAAU,CAACG,MAAM,CAACD,QAAQ,CAAC,EAAE;EAE5C,MAAME,aAAa,GAAIpB,OAAe,IAAY;IAChD,OAAOA,OAAO,GAAG,CAAC,EAAE;MAClB,IAAIe,cAAc,KAAK,CAAC,EAAE;QACxBD,YAAY,GAAGhB,IAAI,CAACuB,GAAG,CAACxB,UAAU,EAAEiB,YAAY,GAAGd,OAAO,CAAC;QAC3D,OAAOc,YAAY;MACrB;MAEA,IAAIQ,KAAK,GAAGJ,QAAQ,CAACK,IAAI,EAAE;MAC3B,IAAID,KAAK,CAACE,IAAI,EAAE;QACdN,QAAQ,GAAGF,UAAU,CAACG,MAAM,CAACD,QAAQ,CAAC,EAAE;QACxCI,KAAK,GAAGJ,QAAQ,CAACK,IAAI,EAAE;QACvB,IAAID,KAAK,CAACE,IAAI,EAAE;UACd,OAAOV,YAAY;QACrB;MACF;MAEA,MAAMW,MAAM,GAAGH,KAAK,CAACI,KAAK,CAAC,CAAC,CAAC,CAACC,MAAM,EAAE,CAACJ,IAAI,EAAE,CAACG,KAAK;MACnD,IAAID,MAAM,KAAKG,SAAS,EAAE;QACxB;MACF;MAEAH,MAAM,CAACzB,OAAO,IAAI,CAAC;MACnBe,cAAc,IAAI,CAAC;MAEnB,IAAIU,MAAM,CAACzB,OAAO,KAAK,CAAC,EAAE;QACxByB,MAAM,CAACI,MAAM,EAAE;MACjB;MAEA7B,OAAO,IAAI,CAAC;IACd;IAEA,OAAOc,YAAY;EACrB,CAAC;EAED,MAAMR,IAAI,GAAGA,CAACwB,GAAM,EAAE9B,OAAe,KAAyB;IAC5D,IAAIA,OAAO,IAAI,CAAC,EAAE;MAChB,OAAOV,MAAM,CAACiB,IAAI;IACpB;IAEA,OAAOjB,MAAM,CAACyC,QAAQ,CAAQF,MAAM,IAAI;MACtC,IAAIhC,UAAU,GAAGG,OAAO,EAAE;QACxB6B,MAAM,CAACvC,MAAM,CAAC0C,KAAK,CAAC;QACpB;MACF;MAEA,IAAIlB,YAAY,IAAId,OAAO,EAAE;QAC3Bc,YAAY,IAAId,OAAO;QACvB6B,MAAM,CAACvC,MAAM,CAACiB,IAAI,CAAC;QACnB;MACF;MAEA,MAAM0B,MAAM,GAAGjC,OAAO,GAAGc,YAAY;MACrC,MAAMoB,KAAK,GAAGlC,OAAO,GAAGiC,MAAM;MAC9B,IAAInB,YAAY,GAAG,CAAC,EAAE;QACpBA,YAAY,GAAG,CAAC;MAClB;MACAC,cAAc,IAAIkB,MAAM;MAExB,MAAME,OAAO,GAAG1C,MAAM,CAAC2C,SAAS,CAC9B5C,cAAc,CAAC6C,GAAG,CAACrB,UAAU,EAAEc,GAAG,CAAC,EACnC,MAAK;QACH,MAAMQ,GAAG,GAAG,IAAIC,GAAG,EAAU;QAC7B/C,cAAc,CAAC8C,GAAG,CAACtB,UAAU,EAAEc,GAAG,EAAEQ,GAAG,CAAC;QACxC,OAAOA,GAAG;MACZ,CAAC,CACF;MAED,MAAME,KAAK,GAAW;QACpBxC,OAAO,EAAEiC,MAAM;QACfJ,MAAM,EAAEA,CAAA,KAAK;UACXY,OAAO,EAAE;UACTZ,MAAM,CAACvC,MAAM,CAACiB,IAAI,CAAC;QACrB;OACD;MAED,MAAMkC,OAAO,GAAGA,CAAA,KAAK;QACnBN,OAAO,CAACO,MAAM,CAACF,KAAK,CAAC;QACrB,IAAIL,OAAO,CAACQ,IAAI,KAAK,CAAC,EAAE;UACtBnD,cAAc,CAACoD,MAAM,CAAC5B,UAAU,EAAEc,GAAG,CAAC;QACxC;MACF,CAAC;MAEDK,OAAO,CAACU,GAAG,CAACL,KAAK,CAAC;MAElB,OAAOlD,MAAM,CAACwD,IAAI,CAAC,MAAK;QACtBL,OAAO,EAAE;QACT1B,cAAc,IAAIyB,KAAK,CAACxC,OAAO;QAC/B,IAAIkC,KAAK,GAAG,CAAC,EAAE;UACbd,aAAa,CAACc,KAAK,CAAC;QACtB;MACF,CAAC,CAAC;IACJ,CAAC,CAAC;EACJ,CAAC;EAED,MAAMzB,WAAW,GACfA,CAACqB,GAAM,EAAE9B,OAAe,KAAeU,MAA8B,IAA4B;IAC/F,IAAIV,OAAO,IAAI,CAAC,EAAE;MAChB,OAAOU,MAAM;IACf;IAEA,MAAMqC,WAAW,GAAGzC,IAAI,CAACwB,GAAG,EAAE9B,OAAO,CAAC;IACtC,OAAOV,MAAM,CAAC0D,mBAAmB,CAAEC,OAAO,IACxC3D,MAAM,CAAC4D,OAAO,CACZD,OAAO,CAACF,WAAW,CAAC,EACpB,MACEzD,MAAM,CAAC6D,QAAQ,CACbF,OAAO,CAACvC,MAAM,CAAC,EACfpB,MAAM,CAACwD,IAAI,CAAC,MAAK;MACf1B,aAAa,CAACpB,OAAO,CAAC;IACxB,CAAC,CAAC,CACH,CACJ,CACF;EACH,CAAC;EAEH,MAAMoD,OAAO,GAAIpD,OAAe,IAAa;IAC3C,IAAIA,OAAO,IAAI,CAAC,EAAE;MAChB,OAAO,IAAI;IACb;IAEA,IAAIH,UAAU,GAAGG,OAAO,IAAIc,YAAY,GAAGd,OAAO,EAAE;MAClD,OAAO,KAAK;IACd;IAEAc,YAAY,IAAId,OAAO;IACvB,OAAO,IAAI;EACb,CAAC;EAED,OAAO;IACL,CAACN,iBAAiB,GAAGA,iBAAiB;IACtCS,QAAQ,EAAEN,UAAU;IACpBO,SAAS,EAAEd,MAAM,CAACwD,IAAI,CAAC,MAAMhC,YAAY,CAAC;IAC1CR,IAAI;IACJE,OAAO,EAAGR,OAAO,IAAKV,MAAM,CAACwD,IAAI,CAAC,MAAM1B,aAAa,CAACpB,OAAO,CAAC,CAAC;IAC/DS,WAAW;IACXE,UAAU,EAAGmB,GAAG,IAAKrB,WAAW,CAACqB,GAAG,EAAE,CAAC,CAAC;IACxClB,sBAAsB,EACnBZ,OAAO,IAAeU,MAA8B,IAA2C;MAC9F,IAAIV,OAAO,IAAI,CAAC,EAAE;QAChB,OAAOV,MAAM,CAACuB,MAAM,CAACH,MAAM,CAAC;MAC9B;MAEA,OAAOpB,MAAM,CAAC+D,OAAO,CAAC,MAAK;QACzB,IAAI,CAACD,OAAO,CAACpD,OAAO,CAAC,EAAE;UACrB,OAAOV,MAAM,CAACe,OAAO,CAACZ,MAAM,CAAC6D,IAAI,EAAE,CAAC;QACtC;QAEA,OAAOhE,MAAM,CAAC6D,QAAQ,CACpB7D,MAAM,CAACuB,MAAM,CAACH,MAAM,CAAC,EACrBpB,MAAM,CAACwD,IAAI,CAAC,MAAK;UACf1B,aAAa,CAACpB,OAAO,CAAC;QACxB,CAAC,CAAC,CACH;MACH,CAAC,CAAC;IACJ;GACH;AACH,CAAC;AAED;;;;;;;;;;;;AAYA,OAAO,MAAMuD,IAAI,GAAiB3D,OAEjC,IAA6CN,MAAM,CAACwD,IAAI,CAAC,MAAMnD,UAAU,CAAIC,OAAO,CAAC,CAAC;AAEvF;;;;;;AAMA,OAAO,MAAMQ,SAAS,GAAOoD,IAA6B,IAA4BA,IAAI,CAACpD,SAAS;AAEpG;;;;;;AAMA,OAAO,MAAMD,QAAQ,GAAOqD,IAA6B,IAAaA,IAAI,CAACrD,QAAQ;AAEnF;;;;;;;;;;;;;;AAcA,OAAO,MAAMG,IAAI,gBA+Bbf,IAAI,CAAC,CAAC,EAAE,CAAIiE,IAA6B,EAAE1B,GAAM,EAAE9B,OAAe,KAA0BwD,IAAI,CAAClD,IAAI,CAACwB,GAAG,EAAE9B,OAAO,CAAC,CAAC;AAExH;;;;;;;;;;;;;AAaA,OAAO,MAAMQ,OAAO,gBA6BhBjB,IAAI,CAAC,CAAC,EAAE,CAAIiE,IAA6B,EAAExD,OAAe,KAA4BwD,IAAI,CAAChD,OAAO,CAACR,OAAO,CAAC,CAAC;AAEhH;;;;;;;;;;;;;;AAcA,OAAO,MAAMS,WAAW,GAoCnBA,CAAC,GAAGgD,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAE1B,GAAG,EAAE9B,OAAO,CAAC,GAAGyD,IAAI;IACjC,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC/C,WAAW,CAACqB,GAAG,EAAE9B,OAAO,CAAC,CAACU,MAAM,CAAC;EACzF;EACA,MAAM,CAAC8C,IAAI,EAAE1B,GAAG,EAAE9B,OAAO,EAAEU,MAAM,CAAC,GAAG+C,IAAI;EACzC,OAAOD,IAAI,CAAC/C,WAAW,CAACqB,GAAG,EAAE9B,OAAO,CAAC,CAACU,MAAM,CAAC;AAC/C,CAAS;AAET;;;;;;;;;;;;AAYA,OAAO,MAAMC,UAAU,GA2BlBA,CAAC,GAAG8C,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAE1B,GAAG,CAAC,GAAG2B,IAAI;IACxB,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC7C,UAAU,CAACmB,GAAG,CAAC,CAACpB,MAAM,CAAC;EAC/E;EACA,MAAM,CAAC8C,IAAI,EAAE1B,GAAG,EAAEpB,MAAM,CAAC,GAAG+C,IAAI;EAChC,OAAOD,IAAI,CAAC7C,UAAU,CAACmB,GAAG,CAAC,CAACpB,MAAM,CAAC;AACrC,CAAS;AAET;;;;;;;;;;;;;;AAcA,OAAO,MAAME,sBAAsB,GAmC9BA,CAAC,GAAG6C,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAACF,IAAI,EAAExD,OAAO,CAAC,GAAGyD,IAAI;IAC5B,OAAQ/C,MAAoC,IAAK8C,IAAI,CAAC5C,sBAAsB,CAACZ,OAAO,CAAC,CAACU,MAAM,CAAC;EAC/F;EACA,MAAM,CAAC8C,IAAI,EAAExD,OAAO,EAAEU,MAAM,CAAC,GAAG+C,IAAI;EACpC,OAAOD,IAAI,CAAC5C,sBAAsB,CAACZ,OAAO,CAAC,CAACU,MAAM,CAAC;AACrD,CAAS","ignoreList":[]}