effect 4.0.0-beta.77 → 4.0.0-beta.79

package/dist/TxRef.d.ts

@@ -1,63 +1,13 @@
 /**
- * The `TxRef` module provides transactional references for coordinating mutable
- * state with Effect transactions. A `TxRef<A>` stores a current value, but
- * reads and writes inside `Effect.tx` are recorded in a transaction journal and
- * committed together only when the outermost transaction succeeds.
- *
- * **Mental model**
- *
- * - {@link make} creates a reference whose value can participate in
- *   optimistic transactions.
- * - {@link get}, {@link set}, {@link update}, and {@link modify} read and
- *   write the transaction journal when a transaction is active.
- * - At commit time, the transaction checks whether any accessed reference was
- *   changed by another transaction. If so, it retries with a fresh journal.
- * - `Effect.txRetry` suspends the transaction until one of the `TxRef` values
- *   read by the transaction changes.
- *
- * **Common tasks**
- *
- * - Create transactional state with {@link make}.
- * - Read the current value with {@link get}.
- * - Replace or transform the value with {@link set} and {@link update}.
- * - Return a derived result while writing a new value with {@link modify}.
- * - Wrap related reads and writes in one `Effect.tx` boundary so they commit or
- *   roll back as a unit.
- *
- * **Example** (Committing multiple updates atomically)
- *
- * ```ts
- * import { Effect, TxRef } from "effect"
- *
- * const transfer = Effect.gen(function*() {
- *   const checking = yield* TxRef.make(100)
- *   const savings = yield* TxRef.make(0)
- *
- *   yield* Effect.tx(Effect.gen(function*() {
- *     const balance = yield* TxRef.get(checking)
- *     if (balance < 30) {
- *       return yield* Effect.fail("insufficient funds")
- *     }
- *     yield* TxRef.set(checking, balance - 30)
- *     yield* TxRef.update(savings, (amount) => amount + 30)
- *   }))
- *
- *   return {
- *     checking: yield* TxRef.get(checking),
- *     savings: yield* TxRef.get(savings)
- *   }
- * })
- * ```
- *
- * **Gotchas**
- *
- * - Group related operations in the same `Effect.tx` call; separate
- *   transactions can observe and commit intermediate states.
- * - A transaction body can run more than once after a conflict or
- *   `Effect.txRetry`, so keep externally visible effects outside the
- *   transaction body or make them idempotent.
- * - If a transaction fails, its journal is discarded and other fibers continue
- *   to see the last committed values.
+ * Transactional references for coordinating mutable state with Effect
+ * transactions. A `TxRef` stores a current value, but reads and writes inside
+ * `Effect.tx` are recorded in a transaction journal and committed together only
+ * when the outermost transaction succeeds.
+ *
+ * This is the basic building block behind the other transactional collections
+ * in Effect. The module provides effectful and unsafe constructors plus the
+ * core operations for reading, setting, updating, and modifying a transactional
+ * value while returning a separate result.
  *
  * @since 4.0.0
  */

package/dist/TxRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,QAAA,MAAM,MAAM,+BAA+B,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAEhC,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAA;IACjC,KAAK,EAAE,CAAC,CAAA;CACT;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,0CAA2C,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvG;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAkBxF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIU,CAAA;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAA;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACtD;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIA,CAAA"}
+{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAGrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,QAAA,MAAM,MAAM,+BAA+B,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAEhC,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAA;IACjC,KAAK,EAAE,CAAC,CAAA;CACT;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,0CAA2C,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvG;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAkBxF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIU,CAAA;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAA;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACtD;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAIA,CAAA"}

package/dist/TxRef.js

@@ -1,63 +1,13 @@
 /**
- * The `TxRef` module provides transactional references for coordinating mutable
- * state with Effect transactions. A `TxRef<A>` stores a current value, but
- * reads and writes inside `Effect.tx` are recorded in a transaction journal and
- * committed together only when the outermost transaction succeeds.
- *
- * **Mental model**
- *
- * - {@link make} creates a reference whose value can participate in
- *   optimistic transactions.
- * - {@link get}, {@link set}, {@link update}, and {@link modify} read and
- *   write the transaction journal when a transaction is active.
- * - At commit time, the transaction checks whether any accessed reference was
- *   changed by another transaction. If so, it retries with a fresh journal.
- * - `Effect.txRetry` suspends the transaction until one of the `TxRef` values
- *   read by the transaction changes.
- *
- * **Common tasks**
- *
- * - Create transactional state with {@link make}.
- * - Read the current value with {@link get}.
- * - Replace or transform the value with {@link set} and {@link update}.
- * - Return a derived result while writing a new value with {@link modify}.
- * - Wrap related reads and writes in one `Effect.tx` boundary so they commit or
- *   roll back as a unit.
- *
- * **Example** (Committing multiple updates atomically)
- *
- * ```ts
- * import { Effect, TxRef } from "effect"
- *
- * const transfer = Effect.gen(function*() {
- *   const checking = yield* TxRef.make(100)
- *   const savings = yield* TxRef.make(0)
- *
- *   yield* Effect.tx(Effect.gen(function*() {
- *     const balance = yield* TxRef.get(checking)
- *     if (balance < 30) {
- *       return yield* Effect.fail("insufficient funds")
- *     }
- *     yield* TxRef.set(checking, balance - 30)
- *     yield* TxRef.update(savings, (amount) => amount + 30)
- *   }))
- *
- *   return {
- *     checking: yield* TxRef.get(checking),
- *     savings: yield* TxRef.get(savings)
- *   }
- * })
- * ```
- *
- * **Gotchas**
- *
- * - Group related operations in the same `Effect.tx` call; separate
- *   transactions can observe and commit intermediate states.
- * - A transaction body can run more than once after a conflict or
- *   `Effect.txRetry`, so keep externally visible effects outside the
- *   transaction body or make them idempotent.
- * - If a transaction fails, its journal is discarded and other fibers continue
- *   to see the last committed values.
+ * Transactional references for coordinating mutable state with Effect
+ * transactions. A `TxRef` stores a current value, but reads and writes inside
+ * `Effect.tx` are recorded in a transaction journal and committed together only
+ * when the outermost transaction succeeds.
+ *
+ * This is the basic building block behind the other transactional collections
+ * in Effect. The module provides effectful and unsafe constructors plus the
+ * core operations for reading, setting, updating, and modifying a transactional
+ * value while returning a separate result.
  *
  * @since 4.0.0
  */

package/dist/TxRef.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxRef.js","names":["Effect","dual","pipeArguments","TypeId","make","initial","sync","makeUnsafe","pending","Map","pipe","arguments","version","value","modify","self","f","Transaction","flatMap","state","journal","has","set","current","get","returnValue","next","tx","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+DA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AAgD3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAAKL,MAAM,CAACM,IAAI,CAAC,MAAMC,UAAU,CAACF,OAAO,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAME,UAAU,GAAOF,OAAU,KAAgB;EACtD,CAACF,MAAM,GAAGA,MAAM;EAChBK,OAAO,EAAE,IAAIC,GAAG,EAAE;EAClBC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC,CAAC;EACDC,OAAO,EAAE,CAAC;EACVC,KAAK,EAAER;CACR,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMS,MAAM,gBAyDfb,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAgD,KAEhDhB,MAAM,CAACiB,WAAW,CAACP,IAAI,CACrBV,MAAM,CAACkB,OAAO,CAAEC,KAAK,IACnBnB,MAAM,CAACM,IAAI,CAAC,MAAK;EACf,IAAI,CAACa,KAAK,CAACC,OAAO,CAACC,GAAG,CAACN,IAAI,CAAC,EAAE;IAC5BI,KAAK,CAACC,OAAO,CAACE,GAAG,CAACP,IAAI,EAAE;MAAEH,OAAO,EAAEG,IAAI,CAACH,OAAO;MAAEC,KAAK,EAAEE,IAAI,CAACF;IAAK,CAAE,CAAC;EACvE;EACA,MAAMU,OAAO,GAAGJ,KAAK,CAACC,OAAO,CAACI,GAAG,CAACT,IAAI,CAAE;EACxC,MAAM,CAACU,WAAW,EAAEC,IAAI,CAAC,GAAGV,CAAC,CAACO,OAAO,CAACV,KAAK,CAAC;EAC5CU,OAAO,CAACV,KAAK,GAAGa,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,EACDzB,MAAM,CAAC2B,EAAE,CACV,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,MAAM,gBAyDf3B,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAoB,KACIF,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEP,CAAC,CAACO,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,GAAG,GAAOT,IAAc,IAAuBD,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMD,GAAG,gBAyDZrB,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdF,KAAQ,KACgBe,MAAM,CAACb,IAAI,EAAE,MAAMF,KAAK,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"TxRef.js","names":["Effect","dual","pipeArguments","TypeId","make","initial","sync","makeUnsafe","pending","Map","pipe","arguments","version","value","modify","self","f","Transaction","flatMap","state","journal","has","set","current","get","returnValue","next","tx","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;AAaA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AAgD3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAAKL,MAAM,CAACM,IAAI,CAAC,MAAMC,UAAU,CAACF,OAAO,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAME,UAAU,GAAOF,OAAU,KAAgB;EACtD,CAACF,MAAM,GAAGA,MAAM;EAChBK,OAAO,EAAE,IAAIC,GAAG,EAAE;EAClBC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC,CAAC;EACDC,OAAO,EAAE,CAAC;EACVC,KAAK,EAAER;CACR,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMS,MAAM,gBAyDfb,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAgD,KAEhDhB,MAAM,CAACiB,WAAW,CAACP,IAAI,CACrBV,MAAM,CAACkB,OAAO,CAAEC,KAAK,IACnBnB,MAAM,CAACM,IAAI,CAAC,MAAK;EACf,IAAI,CAACa,KAAK,CAACC,OAAO,CAACC,GAAG,CAACN,IAAI,CAAC,EAAE;IAC5BI,KAAK,CAACC,OAAO,CAACE,GAAG,CAACP,IAAI,EAAE;MAAEH,OAAO,EAAEG,IAAI,CAACH,OAAO;MAAEC,KAAK,EAAEE,IAAI,CAACF;IAAK,CAAE,CAAC;EACvE;EACA,MAAMU,OAAO,GAAGJ,KAAK,CAACC,OAAO,CAACI,GAAG,CAACT,IAAI,CAAE;EACxC,MAAM,CAACU,WAAW,EAAEC,IAAI,CAAC,GAAGV,CAAC,CAACO,OAAO,CAACV,KAAK,CAAC;EAC5CU,OAAO,CAACV,KAAK,GAAGa,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,EACDzB,MAAM,CAAC2B,EAAE,CACV,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,MAAM,gBAyDf3B,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdC,CAAoB,KACIF,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEP,CAAC,CAACO,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1E;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,GAAG,GAAOT,IAAc,IAAuBD,MAAM,CAACC,IAAI,EAAGQ,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAEzG;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMD,GAAG,gBAyDZrB,IAAI,CAAC,CAAC,EAAE,CACVc,IAAc,EACdF,KAAQ,KACgBe,MAAM,CAACb,IAAI,EAAE,MAAMF,KAAK,CAAC,CAAC","ignoreList":[]}

package/dist/TxSemaphore.d.ts

@@ -1,39 +1,11 @@
 /**
- * Coordinate access to limited resources with a semaphore whose permit count
- * participates in Effect transactions. A `TxSemaphore` keeps a fixed capacity
- * and records permit changes in transactional state, so acquiring or releasing
- * permits can commit atomically with related `TxRef` updates.
- *
- * **Mental model**
- *
- * - {@link make} creates a semaphore with a fixed number of permits.
- * - {@link acquire} and {@link acquireN} wait by retrying the transaction when
- *   there are not enough permits available.
- * - {@link tryAcquire} and {@link tryAcquireN} update the permit count only
- *   when enough permits are already available.
- * - {@link release} and {@link releaseN} return permits, and the total cannot
- *   exceed the original capacity.
- * - {@link withPermit} and {@link withPermits} bracket a supplied effect,
- *   while {@link withPermitScoped} holds one permit until the current scope
- *   closes.
- *
- * **Common tasks**
- *
- * - Reserve capacity before committing related transactional state changes.
- * - Protect a pool, queue, or rate-limited section with permit accounting that
- *   composes with `TxRef`.
- * - Inspect the current number of permits with {@link available} and the fixed
- *   total with {@link capacity}.
+ * Coordinates access to limited resources inside transactions.
  *
- * **Gotchas**
- *
- * - Permit operations enter `Effect.tx`; group related transactional
- *   work inside the same boundary when it must commit together.
- * - Requesting more permits than the semaphore capacity with
- *   {@link acquireN} can wait forever because the capacity never grows.
- * - Creating a semaphore with negative permits, acquiring a non-positive number
- *   of permits, or releasing a non-positive number of permits defects.
- * - Extra releases are capped at the fixed capacity.
+ * 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.
  *
  * @since 4.0.0
  */

package/dist/TxSemaphore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxSemaphore.d.ts","sourceRoot":"","sources":["../src/TxSemaphore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,QAAA,MAAM,MAAM,qCAAqC,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,WAAW,WAAY,SAAQ,WAAW,EAAE,QAAQ;IACxD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAQ5C,CAAA;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAA+B,CAAA;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAkC,CAAA;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAO1C,CAAA;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAWzE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAMhE,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAU/E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACwC,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAQzE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6CG;IACH,CAAC,IAAI,EAAE,WAAW,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;IACxF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6CG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,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;CAiB7E,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;IACH,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,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;IACnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,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;CAiBxF,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAIxF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,WAAqC,CAAA"}
+{"version":3,"file":"TxSemaphore.d.ts","sourceRoot":"","sources":["../src/TxSemaphore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,QAAA,MAAM,MAAM,qCAAqC,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,WAAW,WAAY,SAAQ,WAAW,EAAE,QAAQ;IACxD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAQ5C,CAAA;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAA+B,CAAA;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAkC,CAAA;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAO1C,CAAA;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAWzE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAMhE,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAU/E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACwC,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAQzE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6CG;IACH,CAAC,IAAI,EAAE,WAAW,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;IACxF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6CG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,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;CAiB7E,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;IACH,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,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;IACnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,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;CAiBxF,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAIxF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,WAAqC,CAAA"}

package/dist/TxSemaphore.js

@@ -1,39 +1,11 @@
 /**
- * Coordinate access to limited resources with a semaphore whose permit count
- * participates in Effect transactions. A `TxSemaphore` keeps a fixed capacity
- * and records permit changes in transactional state, so acquiring or releasing
- * permits can commit atomically with related `TxRef` updates.
- *
- * **Mental model**
- *
- * - {@link make} creates a semaphore with a fixed number of permits.
- * - {@link acquire} and {@link acquireN} wait by retrying the transaction when
- *   there are not enough permits available.
- * - {@link tryAcquire} and {@link tryAcquireN} update the permit count only
- *   when enough permits are already available.
- * - {@link release} and {@link releaseN} return permits, and the total cannot
- *   exceed the original capacity.
- * - {@link withPermit} and {@link withPermits} bracket a supplied effect,
- *   while {@link withPermitScoped} holds one permit until the current scope
- *   closes.
- *
- * **Common tasks**
- *
- * - Reserve capacity before committing related transactional state changes.
- * - Protect a pool, queue, or rate-limited section with permit accounting that
- *   composes with `TxRef`.
- * - Inspect the current number of permits with {@link available} and the fixed
- *   total with {@link capacity}.
+ * Coordinates access to limited resources inside transactions.
  *
- * **Gotchas**
- *
- * - Permit operations enter `Effect.tx`; group related transactional
- *   work inside the same boundary when it must commit together.
- * - Requesting more permits than the semaphore capacity with
- *   {@link acquireN} can wait forever because the capacity never grows.
- * - Creating a semaphore with negative permits, acquiring a non-positive number
- *   of permits, or releasing a non-positive number of permits defects.
- * - Extra releases are capped at the fixed capacity.
+ * 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.
  *
  * @since 4.0.0
  */

package/dist/TxSemaphore.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxSemaphore.js","names":["Effect","NodeInspectSymbol","toJson","pipeArguments","hasProperty","TxRef","TypeId","TxSemaphoreProto","toJSON","_id","capacity","pipe","arguments","makeTxSemaphore","permitsRef","self","Object","create","make","permits","gen","die","Error","tx","available","get","succeed","acquire","txRetry","set","acquireN","n","tryAcquire","modify","tryAcquireN","release","update","releaseN","newPermits","withPermit","args","length","effect","acquireUseRelease","withPermits","withPermitScoped","acquireRelease","isTxSemaphore","u"],"sources":["../src/TxSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCA,OAAO,KAAKA,MAAM,MAAM,aAAa;AAErC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,kCAAkC;AA+CjD,MAAMC,gBAAgB,GAAiE;EACrF,CAACN,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDM,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,aAAa;MAClBC,QAAQ,EAAE,IAAI,CAACA;KAChB;EACH,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,eAAe,GAAGA,CAACC,UAA+B,EAAEJ,QAAgB,KAAiB;EACzF,MAAMK,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACV,gBAAgB,CAAC;EAC5CQ,IAAI,CAACT,MAAM,CAAC,GAAGA,MAAM;EACrBS,IAAI,CAACD,UAAU,GAAGA,UAAU;EAC5BC,IAAI,CAACL,QAAQ,GAAGA,QAAQ;EACxB,OAAOK,IAAI;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMG,IAAI,GAAIC,OAAe,IAClCnB,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,IAAID,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,OAAOnB,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,8BAA8B,CAAC,CAAC;EACrE;EAEA,MAAMR,UAAU,GAAG,OAAOT,KAAK,CAACa,IAAI,CAACC,OAAO,CAAC;EAC7C,OAAON,eAAe,CAACC,UAAU,EAAEK,OAAO,CAAC;AAC7C,CAAC,CAAC,CAACR,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMC,SAAS,GAAIT,IAAiB,IAA4BV,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMJ,QAAQ,GAAIK,IAAiB,IAA4Bf,MAAM,CAAC0B,OAAO,CAACX,IAAI,CAACL,QAAQ,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCA,OAAO,MAAMiB,OAAO,GAAIZ,IAAiB,IACvCf,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;EACjD,IAAIK,OAAO,IAAI,CAAC,EAAE;IAChB,OAAO,OAAOnB,MAAM,CAAC4B,OAAO;EAC9B;EACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAG,CAAC,CAAC;AAChD,CAAC,CAAC,CAACR,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,OAAO,MAAMO,QAAQ,GAAGA,CAACf,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOtB,MAAM,CAACoB,GAAG,CAAC,aAAS;IACzB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;IACjD,IAAIK,OAAO,GAAGY,CAAC,EAAE;MACf,OAAO,OAAO/B,MAAM,CAAC4B,OAAO;IAC9B;IACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAGY,CAAC,CAAC;EAChD,CAAC,CAAC,CAACpB,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCA,OAAO,MAAMS,UAAU,GAAIjB,IAAiB,IAC1CV,KAAK,CAAC4B,MAAM,CAAClB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;EAChD,IAAIA,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,CAAC,IAAI,EAAEA,OAAO,GAAG,CAAC,CAAC;EAC5B;EACA,OAAO,CAAC,KAAK,EAAEA,OAAO,CAAC;AACzB,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMe,WAAW,GAAGA,CAACnB,IAAiB,EAAEgB,CAAS,KAA4B;EAClF,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC4B,MAAM,CAAClB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,IAAIA,OAAO,IAAIY,CAAC,EAAE;MAChB,OAAO,CAAC,IAAI,EAAEZ,OAAO,GAAGY,CAAC,CAAC;IAC5B;IACA,OAAO,CAAC,KAAK,EAAEZ,OAAO,CAAC;EACzB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAMgB,OAAO,GAAIpB,IAAiB,IACvCV,KAAK,CAAC+B,MAAM,CAACrB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAKA,OAAO,IAAIJ,IAAI,CAACL,QAAQ,GAAGS,OAAO,GAAGA,OAAO,GAAG,CAAC,CAAC;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMkB,QAAQ,GAAGA,CAACtB,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC+B,MAAM,CAACrB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,MAAMmB,UAAU,GAAGnB,OAAO,GAAGY,CAAC;IAC9B,OAAOO,UAAU,GAAGvB,IAAI,CAACL,QAAQ,GAAGK,IAAI,CAACL,QAAQ,GAAG4B,UAAU;EAChE,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CA,OAAO,MAAMC,UAAU,GA+FlBA,CAAC,GAAGC,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAAC1B,IAAI,CAAC,GAAGyB,IAAI;IACnB,OAAQE,MAAoC,IAC1C1C,MAAM,CAAC2C,iBAAiB,CACtBhB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAM2B,MAAM,EACZ,MAAMP,OAAO,CAACpB,IAAI,CAAC,CACpB;EACL;EACA,MAAM,CAACA,IAAI,EAAE2B,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOxC,MAAM,CAAC2C,iBAAiB,CAC7BhB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAM2B,MAAM,EACZ,MAAMP,OAAO,CAACpB,IAAI,CAAC,CACpB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDA,OAAO,MAAM6B,WAAW,GAqGnBA,CAAC,GAAGJ,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAAC1B,IAAI,EAAEgB,CAAC,CAAC,GAAGS,IAAI;IACtB,OAAQE,MAAoC,IAC1C1C,MAAM,CAAC2C,iBAAiB,CACtBb,QAAQ,CAACf,IAAI,EAAEgB,CAAC,CAAC,EACjB,MAAMW,MAAM,EACZ,MAAML,QAAQ,CAACtB,IAAI,EAAEgB,CAAC,CAAC,CACxB;EACL;EACA,MAAM,CAAChB,IAAI,EAAEgB,CAAC,EAAEW,MAAM,CAAC,GAAGF,IAAI;EAC9B,OAAOxC,MAAM,CAAC2C,iBAAiB,CAC7Bb,QAAQ,CAACf,IAAI,EAAEgB,CAAC,CAAC,EACjB,MAAMW,MAAM,EACZ,MAAML,QAAQ,CAACtB,IAAI,EAAEgB,CAAC,CAAC,CACxB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CA,OAAO,MAAMc,gBAAgB,GAAI9B,IAAiB,IAChDf,MAAM,CAAC8C,cAAc,CACnBnB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAMoB,OAAO,CAACpB,IAAI,CAAC,CACpB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAMgC,aAAa,GAAIC,CAAU,IAAuB5C,WAAW,CAAC4C,CAAC,EAAE1C,MAAM,CAAC","ignoreList":[]}
+{"version":3,"file":"TxSemaphore.js","names":["Effect","NodeInspectSymbol","toJson","pipeArguments","hasProperty","TxRef","TypeId","TxSemaphoreProto","toJSON","_id","capacity","pipe","arguments","makeTxSemaphore","permitsRef","self","Object","create","make","permits","gen","die","Error","tx","available","get","succeed","acquire","txRetry","set","acquireN","n","tryAcquire","modify","tryAcquireN","release","update","releaseN","newPermits","withPermit","args","length","effect","acquireUseRelease","withPermits","withPermitScoped","acquireRelease","isTxSemaphore","u"],"sources":["../src/TxSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;AAYA,OAAO,KAAKA,MAAM,MAAM,aAAa;AAErC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,kCAAkC;AA+CjD,MAAMC,gBAAgB,GAAiE;EACrF,CAACN,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDM,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,aAAa;MAClBC,QAAQ,EAAE,IAAI,CAACA;KAChB;EACH,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOR,aAAa,CAAC,IAAI,EAAES,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,eAAe,GAAGA,CAACC,UAA+B,EAAEJ,QAAgB,KAAiB;EACzF,MAAMK,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACV,gBAAgB,CAAC;EAC5CQ,IAAI,CAACT,MAAM,CAAC,GAAGA,MAAM;EACrBS,IAAI,CAACD,UAAU,GAAGA,UAAU;EAC5BC,IAAI,CAACL,QAAQ,GAAGA,QAAQ;EACxB,OAAOK,IAAI;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMG,IAAI,GAAIC,OAAe,IAClCnB,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,IAAID,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,OAAOnB,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,8BAA8B,CAAC,CAAC;EACrE;EAEA,MAAMR,UAAU,GAAG,OAAOT,KAAK,CAACa,IAAI,CAACC,OAAO,CAAC;EAC7C,OAAON,eAAe,CAACC,UAAU,EAAEK,OAAO,CAAC;AAC7C,CAAC,CAAC,CAACR,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMC,SAAS,GAAIT,IAAiB,IAA4BV,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMJ,QAAQ,GAAIK,IAAiB,IAA4Bf,MAAM,CAAC0B,OAAO,CAACX,IAAI,CAACL,QAAQ,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCA,OAAO,MAAMiB,OAAO,GAAIZ,IAAiB,IACvCf,MAAM,CAACoB,GAAG,CAAC,aAAS;EAClB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;EACjD,IAAIK,OAAO,IAAI,CAAC,EAAE;IAChB,OAAO,OAAOnB,MAAM,CAAC4B,OAAO;EAC9B;EACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAG,CAAC,CAAC;AAChD,CAAC,CAAC,CAACR,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,OAAO,MAAMO,QAAQ,GAAGA,CAACf,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOtB,MAAM,CAACoB,GAAG,CAAC,aAAS;IACzB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACoB,GAAG,CAACV,IAAI,CAACD,UAAU,CAAC;IACjD,IAAIK,OAAO,GAAGY,CAAC,EAAE;MACf,OAAO,OAAO/B,MAAM,CAAC4B,OAAO;IAC9B;IACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAGY,CAAC,CAAC;EAChD,CAAC,CAAC,CAACpB,IAAI,CAACX,MAAM,CAACuB,EAAE,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCA,OAAO,MAAMS,UAAU,GAAIjB,IAAiB,IAC1CV,KAAK,CAAC4B,MAAM,CAAClB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;EAChD,IAAIA,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,CAAC,IAAI,EAAEA,OAAO,GAAG,CAAC,CAAC;EAC5B;EACA,OAAO,CAAC,KAAK,EAAEA,OAAO,CAAC;AACzB,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMe,WAAW,GAAGA,CAACnB,IAAiB,EAAEgB,CAAS,KAA4B;EAClF,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC4B,MAAM,CAAClB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,IAAIA,OAAO,IAAIY,CAAC,EAAE;MAChB,OAAO,CAAC,IAAI,EAAEZ,OAAO,GAAGY,CAAC,CAAC;IAC5B;IACA,OAAO,CAAC,KAAK,EAAEZ,OAAO,CAAC;EACzB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAMgB,OAAO,GAAIpB,IAAiB,IACvCV,KAAK,CAAC+B,MAAM,CAACrB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAKA,OAAO,IAAIJ,IAAI,CAACL,QAAQ,GAAGS,OAAO,GAAGA,OAAO,GAAG,CAAC,CAAC;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMkB,QAAQ,GAAGA,CAACtB,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO/B,MAAM,CAACqB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC+B,MAAM,CAACrB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,MAAMmB,UAAU,GAAGnB,OAAO,GAAGY,CAAC;IAC9B,OAAOO,UAAU,GAAGvB,IAAI,CAACL,QAAQ,GAAGK,IAAI,CAACL,QAAQ,GAAG4B,UAAU;EAChE,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CA,OAAO,MAAMC,UAAU,GA+FlBA,CAAC,GAAGC,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAAC1B,IAAI,CAAC,GAAGyB,IAAI;IACnB,OAAQE,MAAoC,IAC1C1C,MAAM,CAAC2C,iBAAiB,CACtBhB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAM2B,MAAM,EACZ,MAAMP,OAAO,CAACpB,IAAI,CAAC,CACpB;EACL;EACA,MAAM,CAACA,IAAI,EAAE2B,MAAM,CAAC,GAAGF,IAAI;EAC3B,OAAOxC,MAAM,CAAC2C,iBAAiB,CAC7BhB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAM2B,MAAM,EACZ,MAAMP,OAAO,CAACpB,IAAI,CAAC,CACpB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDA,OAAO,MAAM6B,WAAW,GAqGnBA,CAAC,GAAGJ,IAAgB,KAAI;EAC3B,IAAIA,IAAI,CAACC,MAAM,KAAK,CAAC,EAAE;IACrB,MAAM,CAAC1B,IAAI,EAAEgB,CAAC,CAAC,GAAGS,IAAI;IACtB,OAAQE,MAAoC,IAC1C1C,MAAM,CAAC2C,iBAAiB,CACtBb,QAAQ,CAACf,IAAI,EAAEgB,CAAC,CAAC,EACjB,MAAMW,MAAM,EACZ,MAAML,QAAQ,CAACtB,IAAI,EAAEgB,CAAC,CAAC,CACxB;EACL;EACA,MAAM,CAAChB,IAAI,EAAEgB,CAAC,EAAEW,MAAM,CAAC,GAAGF,IAAI;EAC9B,OAAOxC,MAAM,CAAC2C,iBAAiB,CAC7Bb,QAAQ,CAACf,IAAI,EAAEgB,CAAC,CAAC,EACjB,MAAMW,MAAM,EACZ,MAAML,QAAQ,CAACtB,IAAI,EAAEgB,CAAC,CAAC,CACxB;AACH,CAAS;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CA,OAAO,MAAMc,gBAAgB,GAAI9B,IAAiB,IAChDf,MAAM,CAAC8C,cAAc,CACnBnB,OAAO,CAACZ,IAAI,CAAC,EACb,MAAMoB,OAAO,CAACpB,IAAI,CAAC,CACpB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAMgC,aAAa,GAAIC,CAAU,IAAuB5C,WAAW,CAAC4C,CAAC,EAAE1C,MAAM,CAAC","ignoreList":[]}

package/dist/TxSubscriptionRef.d.ts

@@ -1,39 +1,11 @@
 /**
- * The `TxSubscriptionRef` module provides a transactional reference that can
- * also be observed as a stream of committed values. It combines the read and
- * update behavior of a `TxRef.TxRef` with a subscription channel, so each
- * subscriber first receives the current value and then receives every value
- * published by later updates.
- *
- * **Mental model**
- *
- * - The current value is stored transactionally and can be read with
- *   {@link get}
- * - Mutations such as {@link set}, {@link update}, and {@link modify} commit a
- *   new value and publish that value to active subscribers
- * - {@link changes} creates a scoped transactional queue for one subscriber
- * - {@link changesStream} exposes the same change feed as a `Stream.Stream`
- * - Subscriptions are per subscriber; each subscriber gets its own queue of
- *   committed values
- *
- * **Common tasks**
- *
- * - Create observable transactional state with {@link make}
- * - Read or replace the current value with {@link get} and {@link set}
- * - Derive new values atomically with {@link update} or {@link modify}
- * - Consume changes from transactional code with {@link changes}
- * - Consume changes from stream pipelines with {@link changesStream}
- *
- * **Gotchas**
- *
- * - A subscription starts with the value current at subscription time, not just
- *   future updates
- * - The queue returned by {@link changes} is scoped; leaving the scope removes
- *   the subscriber
- * - Updates are published even when the new value is equal to the previous
- *   value
- * - Subscriber queues are unbounded, so long-lived slow subscribers can retain
- *   pending values until they catch up or their scope closes
+ * Stores transactional state and publishes committed changes.
+ *
+ * A `TxSubscriptionRef<A>` combines a `TxRef<A>` for the current value with a
+ * transactional pub/sub channel for updates. Subscribers first receive the
+ * current value and then every later value that is published by committed
+ * updates. This module includes constructors, reads, writes, update and modify
+ * helpers, transactional-queue subscriptions, stream subscriptions, and a guard.
  *
  * @since 4.0.0
  */

package/dist/TxSubscriptionRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxSubscriptionRef.d.ts","sourceRoot":"","sources":["../src/TxSubscriptionRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAGvC,QAAA,MAAM,MAAM,2CAA2C,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,WAAW,iBAAiB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,WAAW,EAAE,QAAQ;IACxE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;CAKjC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CASjD,CAAA;AAMpB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAwB,CAAA;AAM3F;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,MAAM,EAAE;IAKnB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAK1G;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAC1B,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAcpB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClE;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAI/D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAK3E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC/D;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAI5D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAKxE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAQxE,CAAA;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EACvB,MAAM,iBAAiB,CAAC,CAAC,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAWpD,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAMxF,CAAA;AAMH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,mBAAmB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAA2B,CAAA"}
+{"version":3,"file":"TxSubscriptionRef.d.ts","sourceRoot":"","sources":["../src/TxSubscriptionRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAGvC,QAAA,MAAM,MAAM,2CAA2C,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,WAAW,iBAAiB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,WAAW,EAAE,QAAQ;IACxE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAA;CAKjC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CASjD,CAAA;AAMpB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAwB,CAAA;AAM3F;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,MAAM,EAAE;IAKnB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAK1G;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAC1B,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAcpB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClE;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAI/D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAK3E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC/D;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAI5D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAKxE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAQxE,CAAA;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EACvB,MAAM,iBAAiB,CAAC,CAAC,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAWpD,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAMxF,CAAA;AAMH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,mBAAmB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAA2B,CAAA"}

package/dist/TxSubscriptionRef.js

@@ -1,39 +1,11 @@
 /**
- * The `TxSubscriptionRef` module provides a transactional reference that can
- * also be observed as a stream of committed values. It combines the read and
- * update behavior of a `TxRef.TxRef` with a subscription channel, so each
- * subscriber first receives the current value and then receives every value
- * published by later updates.
- *
- * **Mental model**
- *
- * - The current value is stored transactionally and can be read with
- *   {@link get}
- * - Mutations such as {@link set}, {@link update}, and {@link modify} commit a
- *   new value and publish that value to active subscribers
- * - {@link changes} creates a scoped transactional queue for one subscriber
- * - {@link changesStream} exposes the same change feed as a `Stream.Stream`
- * - Subscriptions are per subscriber; each subscriber gets its own queue of
- *   committed values
- *
- * **Common tasks**
- *
- * - Create observable transactional state with {@link make}
- * - Read or replace the current value with {@link get} and {@link set}
- * - Derive new values atomically with {@link update} or {@link modify}
- * - Consume changes from transactional code with {@link changes}
- * - Consume changes from stream pipelines with {@link changesStream}
- *
- * **Gotchas**
- *
- * - A subscription starts with the value current at subscription time, not just
- *   future updates
- * - The queue returned by {@link changes} is scoped; leaving the scope removes
- *   the subscriber
- * - Updates are published even when the new value is equal to the previous
- *   value
- * - Subscriber queues are unbounded, so long-lived slow subscribers can retain
- *   pending values until they catch up or their scope closes
+ * Stores transactional state and publishes committed changes.
+ *
+ * A `TxSubscriptionRef<A>` combines a `TxRef<A>` for the current value with a
+ * transactional pub/sub channel for updates. Subscribers first receive the
+ * current value and then every later value that is published by committed
+ * updates. This module includes constructors, reads, writes, update and modify
+ * helpers, transactional-queue subscriptions, stream subscriptions, and a guard.
  *
  * @since 4.0.0
  */

package/dist/TxSubscriptionRef.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxSubscriptionRef.js","names":["Effect","dual","NodeInspectSymbol","toJson","pipeArguments","hasProperty","Stream","TxPubSub","TxQueue","TxRef","TypeId","TxSubscriptionRefProto","toJSON","_id","toString","pipe","arguments","make","value","gen","ref","pubsub","unbounded","self","Object","create","tx","get","modify","f","current","returnValue","newValue","set","publish","update","getAndSet","getAndUpdate","updateAndGet","changes","acquireRelease","sub","acquireSubscriber","offer","queue","releaseSubscriber","changesStream","unwrap","map","fromEffectRepeat","take","isTxSubscriptionRef","u"],"sources":["../src/TxSubscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AAEpC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,QAAQ,MAAM,eAAe;AACzC,OAAO,KAAKC,OAAO,MAAM,cAAc;AACvC,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,wCAAwC;AAiDvD,MAAMC,sBAAsB,GAAmE;EAC7F,CAACT,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDS,MAAMA,CAAA;IACJ,OAAO;MAAEC,GAAG,EAAE;IAAmB,CAAE;EACrC,CAAC;EACDC,QAAQA,CAAA;IACN,OAAO,mBAAmB;EAC5B,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOX,aAAa,CAAC,IAAI,EAAEY,SAAS,CAAC;EACvC;CACD;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,IAAI,GAAOC,KAAQ,IAC9BlB,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMC,GAAG,GAAG,OAAOX,KAAK,CAACQ,IAAI,CAACC,KAAK,CAAC;EACpC,MAAMG,MAAM,GAAG,OAAOd,QAAQ,CAACe,SAAS,EAAK;EAC7C,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACd,sBAAsB,CAAC;EAClDY,IAAI,CAACb,MAAM,CAAC,GAAGA,MAAM;EACrBa,IAAI,CAACH,GAAG,GAAGA,GAAG;EACdG,IAAI,CAACF,MAAM,GAAGA,MAAM;EACpB,OAAOE,IAAI;AACb,CAAC,CAAC,CAACR,IAAI,CAACf,MAAM,CAAC0B,EAAE,CAAC;AAEpB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,GAAG,GAAOJ,IAA0B,IAAuBd,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;AAE3F;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMQ,MAAM,gBAsEf3B,IAAI,CACN,CAAC,EACD,CACEsB,IAA0B,EAC1BM,CAAgD,KAEhD7B,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMW,OAAO,GAAG,OAAOrB,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;EAC1C,MAAM,CAACW,WAAW,EAAEC,QAAQ,CAAC,GAAGH,CAAC,CAACC,OAAO,CAAC;EAC1C,OAAOrB,KAAK,CAACwB,GAAG,CAACV,IAAI,CAACH,GAAG,EAAEY,QAAQ,CAAC;EACpC,OAAOzB,QAAQ,CAAC2B,OAAO,CAACX,IAAI,CAACF,MAAM,EAAEW,QAAQ,CAAC;EAC9C,OAAOD,WAAW;AACpB,CAAC,CAAC,CAAChB,IAAI,CAACf,MAAM,CAAC0B,EAAE,CAAC,CACrB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMO,GAAG,gBAuDZhC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEL,KAAQ,KAA0BU,MAAM,CAACL,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAEL,KAAK,CAAC,CAAC,CACtG;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMiB,MAAM,gBAyDflC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAAC,KAAK,CAAC,EAAED,CAAC,CAACC,OAAO,CAAC,CAAC,CAAC,CAClD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMM,SAAS,gBA2DlBnC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEL,KAAQ,KAAuBU,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAACA,OAAO,EAAEZ,KAAK,CAAC,CAAC,CAC3G;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMmB,YAAY,gBA2DrBpC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAACA,OAAO,EAAED,CAAC,CAACC,OAAO,CAAC,CAAC,CAAC,CACnD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMQ,YAAY,gBAyDrBrC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAI;EACvB,MAAME,QAAQ,GAAGH,CAAC,CAACC,OAAO,CAAC;EAC3B,OAAO,CAACE,QAAQ,EAAEA,QAAQ,CAAC;AAC7B,CAAC,CAAC,CACL;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,OAAO,MAAMO,OAAO,GAClBhB,IAA0B,IAE1BvB,MAAM,CAACwC,cAAc,CACnBxC,MAAM,CAAC0B,EAAE,CACP1B,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMsB,GAAG,GAAG,OAAOlC,QAAQ,CAACmC,iBAAiB,CAACnB,IAAI,CAACF,MAAM,CAAC;EAC1D,MAAMS,OAAO,GAAG,OAAOrB,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;EAC1C,OAAOZ,OAAO,CAACmC,KAAK,CAACF,GAAG,EAAEX,OAAO,CAAC;EAClC,OAAOW,GAAG;AACZ,CAAC,CAAC,CACH,EACAG,KAAK,IAAK5C,MAAM,CAAC0B,EAAE,CAACnB,QAAQ,CAACsC,iBAAiB,CAACtB,IAAI,CAACF,MAAM,EAAEuB,KAAK,CAAC,CAAC,CACrE;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAME,aAAa,GAAOvB,IAA0B,IACzDjB,MAAM,CAACyC,MAAM,CACX/C,MAAM,CAACgD,GAAG,CACRT,OAAO,CAAChB,IAAI,CAAC,EACZkB,GAAG,IAAKnC,MAAM,CAAC2C,gBAAgB,CAACjD,MAAM,CAAC0B,EAAE,CAAClB,OAAO,CAAC0C,IAAI,CAACT,GAAG,CAAC,CAAC,CAAC,CAC/D,CACF;AAEH;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMU,mBAAmB,GAAIC,CAAU,IAAsC/C,WAAW,CAAC+C,CAAC,EAAE1C,MAAM,CAAC","ignoreList":[]}
+{"version":3,"file":"TxSubscriptionRef.js","names":["Effect","dual","NodeInspectSymbol","toJson","pipeArguments","hasProperty","Stream","TxPubSub","TxQueue","TxRef","TypeId","TxSubscriptionRefProto","toJSON","_id","toString","pipe","arguments","make","value","gen","ref","pubsub","unbounded","self","Object","create","tx","get","modify","f","current","returnValue","newValue","set","publish","update","getAndSet","getAndUpdate","updateAndGet","changes","acquireRelease","sub","acquireSubscriber","offer","queue","releaseSubscriber","changesStream","unwrap","map","fromEffectRepeat","take","isTxSubscriptionRef","u"],"sources":["../src/TxSubscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;AAWA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AAEpC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAC7C,SAASC,WAAW,QAAQ,gBAAgB;AAE5C,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,QAAQ,MAAM,eAAe;AACzC,OAAO,KAAKC,OAAO,MAAM,cAAc;AACvC,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,wCAAwC;AAiDvD,MAAMC,sBAAsB,GAAmE;EAC7F,CAACT,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDS,MAAMA,CAAA;IACJ,OAAO;MAAEC,GAAG,EAAE;IAAmB,CAAE;EACrC,CAAC;EACDC,QAAQA,CAAA;IACN,OAAO,mBAAmB;EAC5B,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOX,aAAa,CAAC,IAAI,EAAEY,SAAS,CAAC;EACvC;CACD;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,IAAI,GAAOC,KAAQ,IAC9BlB,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMC,GAAG,GAAG,OAAOX,KAAK,CAACQ,IAAI,CAACC,KAAK,CAAC;EACpC,MAAMG,MAAM,GAAG,OAAOd,QAAQ,CAACe,SAAS,EAAK;EAC7C,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACd,sBAAsB,CAAC;EAClDY,IAAI,CAACb,MAAM,CAAC,GAAGA,MAAM;EACrBa,IAAI,CAACH,GAAG,GAAGA,GAAG;EACdG,IAAI,CAACF,MAAM,GAAGA,MAAM;EACpB,OAAOE,IAAI;AACb,CAAC,CAAC,CAACR,IAAI,CAACf,MAAM,CAAC0B,EAAE,CAAC;AAEpB;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,GAAG,GAAOJ,IAA0B,IAAuBd,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;AAE3F;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMQ,MAAM,gBAsEf3B,IAAI,CACN,CAAC,EACD,CACEsB,IAA0B,EAC1BM,CAAgD,KAEhD7B,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMW,OAAO,GAAG,OAAOrB,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;EAC1C,MAAM,CAACW,WAAW,EAAEC,QAAQ,CAAC,GAAGH,CAAC,CAACC,OAAO,CAAC;EAC1C,OAAOrB,KAAK,CAACwB,GAAG,CAACV,IAAI,CAACH,GAAG,EAAEY,QAAQ,CAAC;EACpC,OAAOzB,QAAQ,CAAC2B,OAAO,CAACX,IAAI,CAACF,MAAM,EAAEW,QAAQ,CAAC;EAC9C,OAAOD,WAAW;AACpB,CAAC,CAAC,CAAChB,IAAI,CAACf,MAAM,CAAC0B,EAAE,CAAC,CACrB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMO,GAAG,gBAuDZhC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEL,KAAQ,KAA0BU,MAAM,CAACL,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAEL,KAAK,CAAC,CAAC,CACtG;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMiB,MAAM,gBAyDflC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAAC,KAAK,CAAC,EAAED,CAAC,CAACC,OAAO,CAAC,CAAC,CAAC,CAClD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMM,SAAS,gBA2DlBnC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEL,KAAQ,KAAuBU,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAACA,OAAO,EAAEZ,KAAK,CAAC,CAAC,CAC3G;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMmB,YAAY,gBA2DrBpC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAK,CAACA,OAAO,EAAED,CAAC,CAACC,OAAO,CAAC,CAAC,CAAC,CACnD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMQ,YAAY,gBAyDrBrC,IAAI,CACN,CAAC,EACD,CAAIsB,IAA0B,EAAEM,CAAoB,KAClDD,MAAM,CAACL,IAAI,EAAGO,OAAO,IAAI;EACvB,MAAME,QAAQ,GAAGH,CAAC,CAACC,OAAO,CAAC;EAC3B,OAAO,CAACE,QAAQ,EAAEA,QAAQ,CAAC;AAC7B,CAAC,CAAC,CACL;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,OAAO,MAAMO,OAAO,GAClBhB,IAA0B,IAE1BvB,MAAM,CAACwC,cAAc,CACnBxC,MAAM,CAAC0B,EAAE,CACP1B,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMsB,GAAG,GAAG,OAAOlC,QAAQ,CAACmC,iBAAiB,CAACnB,IAAI,CAACF,MAAM,CAAC;EAC1D,MAAMS,OAAO,GAAG,OAAOrB,KAAK,CAACkB,GAAG,CAACJ,IAAI,CAACH,GAAG,CAAC;EAC1C,OAAOZ,OAAO,CAACmC,KAAK,CAACF,GAAG,EAAEX,OAAO,CAAC;EAClC,OAAOW,GAAG;AACZ,CAAC,CAAC,CACH,EACAG,KAAK,IAAK5C,MAAM,CAAC0B,EAAE,CAACnB,QAAQ,CAACsC,iBAAiB,CAACtB,IAAI,CAACF,MAAM,EAAEuB,KAAK,CAAC,CAAC,CACrE;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAME,aAAa,GAAOvB,IAA0B,IACzDjB,MAAM,CAACyC,MAAM,CACX/C,MAAM,CAACgD,GAAG,CACRT,OAAO,CAAChB,IAAI,CAAC,EACZkB,GAAG,IAAKnC,MAAM,CAAC2C,gBAAgB,CAACjD,MAAM,CAAC0B,EAAE,CAAClB,OAAO,CAAC0C,IAAI,CAACT,GAAG,CAAC,CAAC,CAAC,CAC/D,CACF;AAEH;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMU,mBAAmB,GAAIC,CAAU,IAAsC/C,WAAW,CAAC+C,CAAC,EAAE1C,MAAM,CAAC","ignoreList":[]}

package/dist/Types.d.ts

@@ -1,52 +1,10 @@
 /**
- * Type-level utility types for TypeScript.
- *
- * This module provides generic type aliases used throughout the Effect
- * ecosystem. Everything here is compile-time only — there are no runtime
- * values. Use these types to manipulate object shapes, tagged unions, tuples,
- * and variance markers at the type level.
- *
- * ## Mental model
- *
- * - **Tagged union**: a union of objects each having a discriminating
- *   `_tag: string` field. {@link Tags}, {@link ExtractTag}, and
- *   {@link ExcludeTag} operate on these.
- * - **Reason**: a nested error pattern where an error has a `reason` field
- *   containing a tagged union of sub-errors. {@link ReasonOf},
- *   {@link ReasonTags}, {@link ExtractReason}, and {@link ExcludeReason} work
- *   with this pattern.
- * - **Variance markers**: {@link Covariant}, {@link Contravariant}, and
- *   {@link Invariant} are function-type aliases encoding variance for phantom
- *   type parameters.
- * - **Simplify**: {@link Simplify} flattens intersection types (`A & B`) into
- *   a single object type for cleaner IDE tooltips.
- * - **Concurrency**: {@link Concurrency} is a union type
- *   (`number | "unbounded" | "inherit"`) used across Effect APIs that accept
- *   concurrency options.
- * - **Marker types**: {@link unassigned} and {@link unhandled} are branded
- *   interfaces used internally to represent missing or unhandled type
- *   parameters.
- *
- * ## Common tasks
- *
- * - Flatten an intersection for readability → {@link Simplify}
- * - Check type equality at compile time → {@link Equals} / {@link EqualsWith}
- * - Merge two object types → {@link MergeLeft} / {@link MergeRight}
- * - Work with tagged unions → {@link Tags} / {@link ExtractTag} / {@link ExcludeTag}
- * - Work with nested reason errors → {@link ReasonOf} / {@link ExtractReason}
- * - Create fixed-length tuples → {@link TupleOf} / {@link TupleOfAtLeast}
- * - Strip `readonly` modifiers → {@link Mutable} / {@link DeepMutable}
- * - Encode variance in phantom types → {@link Covariant} / {@link Contravariant} / {@link Invariant}
- * - Check if a type is a union → {@link IsUnion}
- *
- * ## Gotchas
- *
- * - {@link TupleOf} with a non-literal `number` (e.g. `TupleOf<number, string>`)
- *   degrades to `Array<string>`.
- * - {@link NoInfer} uses the `[A][A extends any ? 0 : never]` trick, not the
- *   built-in `NoInfer` from TypeScript 5.4+.
- * - {@link DeepMutable} recurses into `Map`, `Set`, arrays, and objects but
- *   stops at primitives and functions.
+ * Provides compile-time utility types for TypeScript.
+ *
+ * Everything in this module is type-level only; it does not define runtime
+ * values. The types are used throughout Effect to work with tuple lengths,
+ * object shapes, tagged unions, reason-tagged errors, mutability, exactness,
+ * required keys, concurrency settings, and variance markers.
  *
  * @since 4.0.0
  */

package/dist/Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,KAAK,GAC9F,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,GACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAA;AAEjH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEpH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GACxG,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAChE,CAAC,OACI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAC7B,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAElH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,CAAC,SAAS,KAAK,GACnH,KAAK,GACL,IAAI,CAAA;AAER;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAElE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,QAAQ,CAC7C,MAAM,GACN;KACC,GAAG,IAAI,MAAM,MAAM,IAAI,GAAG,SAAS,MAAM,MAAM,GAAG,KAAK,GAAG,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;CAC7E,CACF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;AAE1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IACvB,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC/B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACtG,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpD,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,CAAC,GACpE;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC/D;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;AAE1C;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC/D;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAA;AAE7C;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,aAAa,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CACnE;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,CAAC,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAA;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAE7F;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAA;CAC1B;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAA;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAA;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACtG,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACnF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAC9D,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAClF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GAAG,KAAK,GACvF,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAChF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GACvF,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACnF,OAAO,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,GAChC,KAAK,CAAA;AAET;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAA"}
+{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,KAAK,GAC9F,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,GACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAA;AAEjH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAA;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEpH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GACxG,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAChE,CAAC,OACI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAC7B,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAElH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,CAAC,SAAS,KAAK,GACnH,KAAK,GACL,IAAI,CAAA;AAER;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAElE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,QAAQ,CAC7C,MAAM,GACN;KACC,GAAG,IAAI,MAAM,MAAM,IAAI,GAAG,SAAS,MAAM,MAAM,GAAG,KAAK,GAAG,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;CAC7E,CACF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;AAE1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IACvB,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC/B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACtG,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpD,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,CAAC,GACpE;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAA;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC/D;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;AAE1C;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,SAAS,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC/D;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAA;AAE7C;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,WAAW,aAAa,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CACnE;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,CAAC,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAA;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAE7F;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAA;CAC1B;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAA;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAA;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACtG,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACnF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAC9D,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAClF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GAAG,KAAK,GACvF,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAChF,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GACvF,KAAK,GACL,KAAK,CAAA;AAET;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACnF,OAAO,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,GAChC,KAAK,CAAA;AAET;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAA"}

package/dist/Types.js

@@ -1,52 +1,10 @@
 /**
- * Type-level utility types for TypeScript.
+ * Provides compile-time utility types for TypeScript.
  *
- * This module provides generic type aliases used throughout the Effect
- * ecosystem. Everything here is compile-time only — there are no runtime
- * values. Use these types to manipulate object shapes, tagged unions, tuples,
- * and variance markers at the type level.
- *
- * ## Mental model
- *
- * - **Tagged union**: a union of objects each having a discriminating
- *   `_tag: string` field. {@link Tags}, {@link ExtractTag}, and
- *   {@link ExcludeTag} operate on these.
- * - **Reason**: a nested error pattern where an error has a `reason` field
- *   containing a tagged union of sub-errors. {@link ReasonOf},
- *   {@link ReasonTags}, {@link ExtractReason}, and {@link ExcludeReason} work
- *   with this pattern.
- * - **Variance markers**: {@link Covariant}, {@link Contravariant}, and
- *   {@link Invariant} are function-type aliases encoding variance for phantom
- *   type parameters.
- * - **Simplify**: {@link Simplify} flattens intersection types (`A & B`) into
- *   a single object type for cleaner IDE tooltips.
- * - **Concurrency**: {@link Concurrency} is a union type
- *   (`number | "unbounded" | "inherit"`) used across Effect APIs that accept
- *   concurrency options.
- * - **Marker types**: {@link unassigned} and {@link unhandled} are branded
- *   interfaces used internally to represent missing or unhandled type
- *   parameters.
- *
- * ## Common tasks
- *
- * - Flatten an intersection for readability → {@link Simplify}
- * - Check type equality at compile time → {@link Equals} / {@link EqualsWith}
- * - Merge two object types → {@link MergeLeft} / {@link MergeRight}
- * - Work with tagged unions → {@link Tags} / {@link ExtractTag} / {@link ExcludeTag}
- * - Work with nested reason errors → {@link ReasonOf} / {@link ExtractReason}
- * - Create fixed-length tuples → {@link TupleOf} / {@link TupleOfAtLeast}
- * - Strip `readonly` modifiers → {@link Mutable} / {@link DeepMutable}
- * - Encode variance in phantom types → {@link Covariant} / {@link Contravariant} / {@link Invariant}
- * - Check if a type is a union → {@link IsUnion}
- *
- * ## Gotchas
- *
- * - {@link TupleOf} with a non-literal `number` (e.g. `TupleOf<number, string>`)
- *   degrades to `Array<string>`.
- * - {@link NoInfer} uses the `[A][A extends any ? 0 : never]` trick, not the
- *   built-in `NoInfer` from TypeScript 5.4+.
- * - {@link DeepMutable} recurses into `Map`, `Set`, arrays, and objects but
- *   stops at primitives and functions.
+ * Everything in this module is type-level only; it does not define runtime
+ * values. The types are used throughout Effect to work with tuple lengths,
+ * object shapes, tagged unions, reason-tagged errors, mutability, exactness,
+ * required keys, concurrency settings, and variance markers.
  *
  * @since 4.0.0
  */