effect 4.0.0-beta.17 → 4.0.0-beta.19

package/dist/TxRef.d.ts

@@ -31,12 +31,12 @@ declare const TypeId = "~effect/transactions/TxRef";
  *   const ref: TxRef.TxRef<number> = yield* TxRef.make(0)
  *
  *   // Use within a transaction
- *   yield* Effect.atomic(Effect.gen(function*() {
+ *   yield* Effect.transaction(Effect.gen(function*() {
  *     const current = yield* TxRef.get(ref)
  *     yield* TxRef.set(ref, current + 1)
  *   }))
  *
- *   const final = yield* TxRef.get(ref)
+ *   const final = yield* Effect.transaction(TxRef.get(ref))
  *   console.log(final) // 1
  * })
  * ```
@@ -58,21 +58,21 @@ export interface TxRef<in out A> extends Pipeable {
  *
  * const program = Effect.gen(function*() {
  *   // Create a transactional reference with initial value
- *   const counter = yield* TxRef.make(0)
- *   const name = yield* TxRef.make("Alice")
+ *   const counter = yield* Effect.transaction(TxRef.make(0))
+ *   const name = yield* Effect.transaction(TxRef.make("Alice"))
  *
  *   // Use in transactions
- *   yield* Effect.atomic(Effect.gen(function*() {
+ *   yield* Effect.transaction(Effect.gen(function*() {
  *     yield* TxRef.set(counter, 42)
  *     yield* TxRef.set(name, "Bob")
  *   }))
  *
- *   console.log(yield* TxRef.get(counter)) // 42
- *   console.log(yield* TxRef.get(name)) // "Bob"
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 42
+ *   console.log(yield* Effect.transaction(TxRef.get(name))) // "Bob"
  * })
  * ```
  */
-export declare const make: <A>(initial: A) => Effect.Effect<TxRef<A>, never, never>;
+export declare const make: <A>(initial: A) => Effect.Effect<TxRef<A>, never, Effect.Transaction>;
 /**
  * Creates a new `TxRef` with the specified initial value.
  *
@@ -105,12 +105,12 @@ export declare const makeUnsafe: <A>(initial: A) => TxRef<A>;
  *   const counter = yield* TxRef.make(0)
  *
  *   // Modify and return both old and new value
- *   const result = yield* Effect.atomic(
+ *   const result = yield* Effect.transaction(
  *     TxRef.modify(counter, (current) => [current * 2, current + 1])
  *   )
  *
  *   console.log(result) // 0 (the return value: current * 2)
- *   console.log(yield* TxRef.get(counter)) // 1 (the new value: current + 1)
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 1 (the new value: current + 1)
  * })
  * ```
  */
@@ -128,16 +128,16 @@ export declare const modify: {
      *   const counter = yield* TxRef.make(0)
      *
      *   // Modify and return both old and new value
-     *   const result = yield* Effect.atomic(
+     *   const result = yield* Effect.transaction(
      *     TxRef.modify(counter, (current) => [current * 2, current + 1])
      *   )
      *
      *   console.log(result) // 0 (the return value: current * 2)
-     *   console.log(yield* TxRef.get(counter)) // 1 (the new value: current + 1)
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 1 (the new value: current + 1)
      * })
      * ```
      */
-    <A, R>(f: (current: NoInfer<A>) => [returnValue: R, newValue: A]): (self: TxRef<A>) => Effect.Effect<R>;
+    <A, R>(f: (current: NoInfer<A>) => [returnValue: R, newValue: A]): (self: TxRef<A>) => Effect.Effect<R, never, Effect.Transaction>;
     /**
      * Modifies the value of the `TxRef` using the provided function.
      *
@@ -151,16 +151,16 @@ export declare const modify: {
      *   const counter = yield* TxRef.make(0)
      *
      *   // Modify and return both old and new value
-     *   const result = yield* Effect.atomic(
+     *   const result = yield* Effect.transaction(
      *     TxRef.modify(counter, (current) => [current * 2, current + 1])
      *   )
      *
      *   console.log(result) // 0 (the return value: current * 2)
-     *   console.log(yield* TxRef.get(counter)) // 1 (the new value: current + 1)
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 1 (the new value: current + 1)
      * })
      * ```
      */
-    <A, R>(self: TxRef<A>, f: (current: A) => [returnValue: R, newValue: A]): Effect.Effect<R>;
+    <A, R>(self: TxRef<A>, f: (current: A) => [returnValue: R, newValue: A]): Effect.Effect<R, never, Effect.Transaction>;
 };
 /**
  * Updates the value of the `TxRef` using the provided function.
@@ -175,11 +175,11 @@ export declare const modify: {
  *   const counter = yield* TxRef.make(10)
  *
  *   // Update the value using a function
- *   yield* Effect.atomic(
+ *   yield* Effect.transaction(
  *     TxRef.update(counter, (current) => current * 2)
  *   )
  *
- *   console.log(yield* TxRef.get(counter)) // 20
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 20
  * })
  * ```
  */
@@ -197,15 +197,15 @@ export declare const update: {
      *   const counter = yield* TxRef.make(10)
      *
      *   // Update the value using a function
-     *   yield* Effect.atomic(
+     *   yield* Effect.transaction(
      *     TxRef.update(counter, (current) => current * 2)
      *   )
      *
-     *   console.log(yield* TxRef.get(counter)) // 20
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 20
      * })
      * ```
      */
-    <A>(f: (current: NoInfer<A>) => A): (self: TxRef<A>) => Effect.Effect<void>;
+    <A>(f: (current: NoInfer<A>) => A): (self: TxRef<A>) => Effect.Effect<void, never, Effect.Transaction>;
     /**
      * Updates the value of the `TxRef` using the provided function.
      *
@@ -219,15 +219,15 @@ export declare const update: {
      *   const counter = yield* TxRef.make(10)
      *
      *   // Update the value using a function
-     *   yield* Effect.atomic(
+     *   yield* Effect.transaction(
      *     TxRef.update(counter, (current) => current * 2)
      *   )
      *
-     *   console.log(yield* TxRef.get(counter)) // 20
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 20
      * })
      * ```
      */
-    <A>(self: TxRef<A>, f: (current: A) => A): Effect.Effect<void>;
+    <A>(self: TxRef<A>, f: (current: A) => A): Effect.Effect<void, never, Effect.Transaction>;
 };
 /**
  * Reads the current value of the `TxRef`.
@@ -242,7 +242,7 @@ export declare const update: {
  *   const counter = yield* TxRef.make(42)
  *
  *   // Read the value within a transaction
- *   const value = yield* Effect.atomic(
+ *   const value = yield* Effect.transaction(
  *     TxRef.get(counter)
  *   )
  *
@@ -250,7 +250,7 @@ export declare const update: {
  * })
  * ```
  */
-export declare const get: <A>(self: TxRef<A>) => Effect.Effect<A>;
+export declare const get: <A>(self: TxRef<A>) => Effect.Effect<A, never, Effect.Transaction>;
 /**
  * Sets the value of the `TxRef`.
  *
@@ -264,11 +264,11 @@ export declare const get: <A>(self: TxRef<A>) => Effect.Effect<A>;
  *   const counter = yield* TxRef.make(0)
  *
  *   // Set a new value within a transaction
- *   yield* Effect.atomic(
+ *   yield* Effect.transaction(
  *     TxRef.set(counter, 100)
  *   )
  *
- *   console.log(yield* TxRef.get(counter)) // 100
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 100
  * })
  * ```
  */
@@ -286,15 +286,15 @@ export declare const set: {
      *   const counter = yield* TxRef.make(0)
      *
      *   // Set a new value within a transaction
-     *   yield* Effect.atomic(
+     *   yield* Effect.transaction(
      *     TxRef.set(counter, 100)
      *   )
      *
-     *   console.log(yield* TxRef.get(counter)) // 100
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 100
      * })
      * ```
      */
-    <A>(value: A): (self: TxRef<A>) => Effect.Effect<void>;
+    <A>(value: A): (self: TxRef<A>) => Effect.Effect<void, never, Effect.Transaction>;
     /**
      * Sets the value of the `TxRef`.
      *
@@ -308,15 +308,15 @@ export declare const set: {
      *   const counter = yield* TxRef.make(0)
      *
      *   // Set a new value within a transaction
-     *   yield* Effect.atomic(
+     *   yield* Effect.transaction(
      *     TxRef.set(counter, 100)
      *   )
      *
-     *   console.log(yield* TxRef.get(counter)) // 100
+     *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 100
      * })
      * ```
      */
-    <A>(self: TxRef<A>, value: A): Effect.Effect<void>;
+    <A>(self: TxRef<A>, value: A): Effect.Effect<void, never, Effect.Transaction>;
 };
 export {};
 //# sourceMappingURL=TxRef.d.ts.map

package/dist/TxRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,0CAA2C,CAAA;AAE7E;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;OAqBG;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;;;;;;;;;;;;;;;;;;;;;OAqBG;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;CAe3F,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;OAoBG;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;;;;;;;;;;;;;;;;;;;;OAoBG;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;CAI/D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAkD,CAAA;AAEzG;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACtD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACwC,CAAA"}
+{"version":3,"file":"TxRef.d.ts","sourceRoot":"","sources":["../src/TxRef.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,SAAS,CAAC,uDAO/B,CAAA;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,SAAS,CAAC,KAAG,KAAK,CAAC,CAAC,CAQhD,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;;OAqBG;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,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IAClI;;;;;;;;;;;;;;;;;;;;;OAqBG;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,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;CAkBtH,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;;;;;;;;;;OAoBG;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,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IACtG;;;;;;;;;;;;;;;;;;;;OAoBG;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,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;CAK1F,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CACnC,CAAA;AAE/C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IACjF;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;CACwC,CAAA"}

package/dist/TxRef.js

@@ -23,21 +23,28 @@ const TypeId = "~effect/transactions/TxRef";
  *
  * const program = Effect.gen(function*() {
  *   // Create a transactional reference with initial value
- *   const counter = yield* TxRef.make(0)
- *   const name = yield* TxRef.make("Alice")
+ *   const counter = yield* Effect.transaction(TxRef.make(0))
+ *   const name = yield* Effect.transaction(TxRef.make("Alice"))
  *
  *   // Use in transactions
- *   yield* Effect.atomic(Effect.gen(function*() {
+ *   yield* Effect.transaction(Effect.gen(function*() {
  *     yield* TxRef.set(counter, 42)
  *     yield* TxRef.set(name, "Bob")
  *   }))
  *
- *   console.log(yield* TxRef.get(counter)) // 42
- *   console.log(yield* TxRef.get(name)) // "Bob"
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 42
+ *   console.log(yield* Effect.transaction(TxRef.get(name))) // "Bob"
  * })
  * ```
  */
-export const make = initial => Effect.sync(() => makeUnsafe(initial));
+export const make = initial => Effect.withTxState(state => Effect.sync(() => {
+  const ref = makeUnsafe(initial);
+  state.journal.set(ref, {
+    version: ref.version,
+    value: ref.value
+  });
+  return ref;
+}));
 /**
  * Creates a new `TxRef` with the specified initial value.
  *
@@ -78,16 +85,16 @@ export const makeUnsafe = initial => ({
  *   const counter = yield* TxRef.make(0)
  *
  *   // Modify and return both old and new value
- *   const result = yield* Effect.atomic(
+ *   const result = yield* Effect.transaction(
  *     TxRef.modify(counter, (current) => [current * 2, current + 1])
  *   )
  *
  *   console.log(result) // 0 (the return value: current * 2)
- *   console.log(yield* TxRef.get(counter)) // 1 (the new value: current + 1)
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 1 (the new value: current + 1)
  * })
  * ```
  */
-export const modify = /*#__PURE__*/dual(2, (self, f) => Effect.atomicWith(state => Effect.sync(() => {
+export const modify = /*#__PURE__*/dual(2, (self, f) => Effect.withTxState(state => Effect.sync(() => {
   if (!state.journal.has(self)) {
     state.journal.set(self, {
       version: self.version,
@@ -112,11 +119,11 @@ export const modify = /*#__PURE__*/dual(2, (self, f) => Effect.atomicWith(state
  *   const counter = yield* TxRef.make(10)
  *
  *   // Update the value using a function
- *   yield* Effect.atomic(
+ *   yield* Effect.transaction(
  *     TxRef.update(counter, (current) => current * 2)
  *   )
  *
- *   console.log(yield* TxRef.get(counter)) // 20
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 20
  * })
  * ```
  */
@@ -134,7 +141,7 @@ export const update = /*#__PURE__*/dual(2, (self, f) => modify(self, current =>
  *   const counter = yield* TxRef.make(42)
  *
  *   // Read the value within a transaction
- *   const value = yield* Effect.atomic(
+ *   const value = yield* Effect.transaction(
  *     TxRef.get(counter)
  *   )
  *
@@ -156,11 +163,11 @@ export const get = self => modify(self, current => [current, current]);
  *   const counter = yield* TxRef.make(0)
  *
  *   // Set a new value within a transaction
- *   yield* Effect.atomic(
+ *   yield* Effect.transaction(
  *     TxRef.set(counter, 100)
  *   )
  *
- *   console.log(yield* TxRef.get(counter)) // 100
+ *   console.log(yield* Effect.transaction(TxRef.get(counter))) // 100
  * })
  * ```
  */

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","atomicWith","state","journal","has","set","current","get","returnValue","next","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;AAUA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AAuC3C;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAAKL,MAAM,CAACM,IAAI,CAAC,MAAMC,UAAU,CAACF,OAAO,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;AAkBA,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;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMS,MAAM,gBA+Cfb,IAAI,CACN,CAAC,EACD,CAAOc,IAAc,EAAEC,CAAgD,KACrEhB,MAAM,CAACiB,UAAU,CAAEC,KAAK,IACtBlB,MAAM,CAACM,IAAI,CAAC,MAAK;EACf,IAAI,CAACY,KAAK,CAACC,OAAO,CAACC,GAAG,CAACL,IAAI,CAAC,EAAE;IAC5BG,KAAK,CAACC,OAAO,CAACE,GAAG,CAACN,IAAI,EAAE;MAAEH,OAAO,EAAEG,IAAI,CAACH,OAAO;MAAEC,KAAK,EAAEE,IAAI,CAACF;IAAK,CAAE,CAAC;EACvE;EACA,MAAMS,OAAO,GAAGJ,KAAK,CAACC,OAAO,CAACI,GAAG,CAACR,IAAI,CAAE;EACxC,MAAM,CAACS,WAAW,EAAEC,IAAI,CAAC,GAAGT,CAAC,CAACM,OAAO,CAACT,KAAK,CAAC;EAC5CS,OAAO,CAACT,KAAK,GAAGY,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,CACJ;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAME,MAAM,gBA6CfzB,IAAI,CACN,CAAC,EACD,CAAIc,IAAc,EAAEC,CAAoB,KAA0BF,MAAM,CAACC,IAAI,EAAGO,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEN,CAAC,CAACM,OAAO,CAAC,CAAC,CAAC,CAClH;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,GAAG,GAAOR,IAAc,IAAuBD,MAAM,CAACC,IAAI,EAAGO,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAEzG;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMD,GAAG,gBA6CZpB,IAAI,CAAC,CAAC,EAAE,CAAIc,IAAc,EAAEF,KAAQ,KAA0Ba,MAAM,CAACX,IAAI,EAAE,MAAMF,KAAK,CAAC,CAAC","ignoreList":[]}
+{"version":3,"file":"TxRef.js","names":["Effect","dual","pipeArguments","TypeId","make","initial","withTxState","state","sync","ref","makeUnsafe","journal","set","version","value","pending","Map","pipe","arguments","modify","self","f","has","current","get","returnValue","next","update"],"sources":["../src/TxRef.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;AAUA,OAAO,KAAKA,MAAM,MAAM,aAAa;AACrC,SAASC,IAAI,QAAQ,eAAe;AACpC,SAASC,aAAa,QAAQ,eAAe;AAI7C,MAAMC,MAAM,GAAG,4BAA4B;AAuC3C;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,IAAI,GAAOC,OAAU,IAChCL,MAAM,CAACM,WAAW,CAAEC,KAAK,IACvBP,MAAM,CAACQ,IAAI,CAAC,MAAK;EACf,MAAMC,GAAG,GAAGC,UAAU,CAACL,OAAO,CAAC;EAC/BE,KAAK,CAACI,OAAO,CAACC,GAAG,CAACH,GAAG,EAAE;IAAEI,OAAO,EAAEJ,GAAG,CAACI,OAAO;IAAEC,KAAK,EAAEL,GAAG,CAACK;EAAK,CAAE,CAAC;EAClE,OAAOL,GAAG;AACZ,CAAC,CAAC,CACH;AAEH;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,UAAU,GAAOL,OAAU,KAAgB;EACtD,CAACF,MAAM,GAAGA,MAAM;EAChBY,OAAO,EAAE,IAAIC,GAAG,EAAE;EAClBC,IAAIA,CAAA;IACF,OAAOf,aAAa,CAAC,IAAI,EAAEgB,SAAS,CAAC;EACvC,CAAC;EACDL,OAAO,EAAE,CAAC;EACVC,KAAK,EAAET;CACR,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMc,MAAM,gBA+CflB,IAAI,CACN,CAAC,EACD,CACEmB,IAAc,EACdC,CAAgD,KAEhDrB,MAAM,CAACM,WAAW,CAAEC,KAAK,IACvBP,MAAM,CAACQ,IAAI,CAAC,MAAK;EACf,IAAI,CAACD,KAAK,CAACI,OAAO,CAACW,GAAG,CAACF,IAAI,CAAC,EAAE;IAC5Bb,KAAK,CAACI,OAAO,CAACC,GAAG,CAACQ,IAAI,EAAE;MAAEP,OAAO,EAAEO,IAAI,CAACP,OAAO;MAAEC,KAAK,EAAEM,IAAI,CAACN;IAAK,CAAE,CAAC;EACvE;EACA,MAAMS,OAAO,GAAGhB,KAAK,CAACI,OAAO,CAACa,GAAG,CAACJ,IAAI,CAAE;EACxC,MAAM,CAACK,WAAW,EAAEC,IAAI,CAAC,GAAGL,CAAC,CAACE,OAAO,CAACT,KAAK,CAAC;EAC5CS,OAAO,CAACT,KAAK,GAAGY,IAAI;EACpB,OAAOD,WAAW;AACpB,CAAC,CAAC,CACH,CACJ;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAME,MAAM,gBA6Cf1B,IAAI,CACN,CAAC,EACD,CAAImB,IAAc,EAAEC,CAAoB,KACtCF,MAAM,CAACC,IAAI,EAAGG,OAAO,IAAK,CAAC,KAAK,CAAC,EAAEF,CAAC,CAACE,OAAO,CAAC,CAAC,CAAC,CAClD;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,GAAG,GAAOJ,IAAc,IACnCD,MAAM,CAACC,IAAI,EAAGG,OAAO,IAAK,CAACA,OAAO,EAAEA,OAAO,CAAC,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMX,GAAG,gBA6CZX,IAAI,CAAC,CAAC,EAAE,CAAImB,IAAc,EAAEN,KAAQ,KAAqDa,MAAM,CAACP,IAAI,EAAE,MAAMN,KAAK,CAAC,CAAC","ignoreList":[]}

package/dist/TxSemaphore.d.ts

@@ -71,7 +71,7 @@ export interface TxSemaphore extends Inspectable, Pipeable {
  * @since 4.0.0
  * @category constructors
  */
-export declare const make: (permits: number) => Effect.Effect<TxSemaphore>;
+export declare const make: (permits: number) => Effect.Effect<TxSemaphore, never, Effect.Transaction>;
 /**
  * Gets the current number of available permits in the semaphore.
  *
@@ -102,7 +102,7 @@ export declare const make: (permits: number) => Effect.Effect<TxSemaphore>;
  * @since 4.0.0
  * @category combinators
  */
-export declare const available: (self: TxSemaphore) => Effect.Effect<number>;
+export declare const available: (self: TxSemaphore) => Effect.Effect<number, never, Effect.Transaction>;
 /**
  * Gets the maximum capacity (total permits) of the semaphore.
  *
@@ -160,7 +160,7 @@ export declare const capacity: (self: TxSemaphore) => Effect.Effect<number>;
  * @since 4.0.0
  * @category combinators
  */
-export declare const acquire: (self: TxSemaphore) => Effect.Effect<void>;
+export declare const acquire: (self: TxSemaphore) => Effect.Effect<void, never, Effect.Transaction>;
 /**
  * Acquires the specified number of permits from the semaphore. If not enough
  * permits are available, the effect will block until they become available.
@@ -188,7 +188,7 @@ export declare const acquire: (self: TxSemaphore) => Effect.Effect<void>;
  * @since 4.0.0
  * @category combinators
  */
-export declare const acquireN: (self: TxSemaphore, n: number) => Effect.Effect<void>;
+export declare const acquireN: (self: TxSemaphore, n: number) => Effect.Effect<void, never, Effect.Transaction>;
 /**
  * Tries to acquire a single permit from the semaphore without blocking.
  * Returns true if successful, false if no permits are available.
@@ -216,7 +216,7 @@ export declare const acquireN: (self: TxSemaphore, n: number) => Effect.Effect<v
  * @since 4.0.0
  * @category combinators
  */
-export declare const tryAcquire: (self: TxSemaphore) => Effect.Effect<boolean>;
+export declare const tryAcquire: (self: TxSemaphore) => Effect.Effect<boolean, never, Effect.Transaction>;
 /**
  * Tries to acquire the specified number of permits from the semaphore without blocking.
  * Returns true if successful, false if not enough permits are available.
@@ -245,7 +245,7 @@ export declare const tryAcquire: (self: TxSemaphore) => Effect.Effect<boolean>;
  * @since 4.0.0
  * @category combinators
  */
-export declare const tryAcquireN: (self: TxSemaphore, n: number) => Effect.Effect<boolean>;
+export declare const tryAcquireN: (self: TxSemaphore, n: number) => Effect.Effect<boolean, never, Effect.Transaction>;
 /**
  * Releases a single permit back to the semaphore, making it available for acquisition.
  *
@@ -274,7 +274,7 @@ export declare const tryAcquireN: (self: TxSemaphore, n: number) => Effect.Effec
  * @since 4.0.0
  * @category combinators
  */
-export declare const release: (self: TxSemaphore) => Effect.Effect<void>;
+export declare const release: (self: TxSemaphore) => Effect.Effect<void, never, Effect.Transaction>;
 /**
  * Releases the specified number of permits back to the semaphore.
  *
@@ -304,7 +304,7 @@ export declare const release: (self: TxSemaphore) => Effect.Effect<void>;
  * @since 4.0.0
  * @category combinators
  */
-export declare const releaseN: (self: TxSemaphore, n: number) => Effect.Effect<void>;
+export declare const releaseN: (self: TxSemaphore, n: number) => Effect.Effect<void, never, Effect.Transaction>;
 /**
  * Executes an effect with a single permit from the semaphore. The permit is
  * automatically acquired before execution and released afterwards, even if the

package/dist/TxSemaphore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TxSemaphore.d.ts","sourceRoot":"","sources":["../src/TxSemaphore.ts"],"names":[],"mappings":"AAAA;;GAEG;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;AAE7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,QAAA,MAAM,MAAM,qCAAqC,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAQ5D,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAA+B,CAAA;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAkC,CAAA;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAS3D,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAazE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAMhE,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAU/E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACwC,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAQzE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,MAAM,WAAW,EACjB,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAKrB,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EACjC,MAAM,WAAW,EACjB,GAAG,MAAM,EACT,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAKrB,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAIxF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,WAAiE,CAAA"}
+{"version":3,"file":"TxSemaphore.d.ts","sourceRoot":"","sources":["../src/TxSemaphore.ts"],"names":[],"mappings":"AAAA;;GAEG;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;AAE7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,QAAA,MAAM,MAAM,qCAAqC,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAQvF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CACjE,CAAA;AAE5B;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAkC,CAAA;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAOrF,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAWpG,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAM3F,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAU1G,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CACa,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,WAAW,EAAE,GAAG,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAQpG,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,MAAM,WAAW,EACjB,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAKrB,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EACjC,MAAM,WAAW,EACjB,GAAG,MAAM,EACT,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAKrB,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAIxF,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,WAAiE,CAAA"}

package/dist/TxSemaphore.js

@@ -152,13 +152,13 @@ export const capacity = self => Effect.succeed(self.capacity);
  * @since 4.0.0
  * @category combinators
  */
-export const acquire = self => Effect.atomic(Effect.gen(function* () {
+export const acquire = self => Effect.gen(function* () {
   const permits = yield* TxRef.get(self.permitsRef);
   if (permits <= 0) {
     return yield* Effect.retryTransaction;
   }
   yield* TxRef.set(self.permitsRef, permits - 1);
-}));
+});
 /**
  * Acquires the specified number of permits from the semaphore. If not enough
  * permits are available, the effect will block until they become available.
@@ -190,13 +190,13 @@ export const acquireN = (self, n) => {
   if (n <= 0) {
     return Effect.die(new Error("Number of permits must be positive"));
   }
-  return Effect.atomic(Effect.gen(function* () {
+  return Effect.gen(function* () {
     const permits = yield* TxRef.get(self.permitsRef);
     if (permits < n) {
       return yield* Effect.retryTransaction;
     }
     yield* TxRef.set(self.permitsRef, permits - n);
-  }));
+  });
 };
 /**
  * Tries to acquire a single permit from the semaphore without blocking.
@@ -375,7 +375,7 @@ export const releaseN = (self, n) => {
  * @since 4.0.0
  * @category combinators
  */
-export const withPermit = (self, effect) => Effect.acquireUseRelease(acquire(self), () => effect, () => release(self));
+export const withPermit = (self, effect) => Effect.acquireUseRelease(Effect.transaction(acquire(self)), () => effect, () => Effect.transaction(release(self)));
 /**
  * Executes an effect with the specified number of permits from the semaphore.
  * The permits are automatically acquired before execution and released afterwards,
@@ -415,7 +415,7 @@ export const withPermit = (self, effect) => Effect.acquireUseRelease(acquire(sel
  * @since 4.0.0
  * @category combinators
  */
-export const withPermits = (self, n, effect) => Effect.acquireUseRelease(acquireN(self, n), () => effect, () => releaseN(self, n));
+export const withPermits = (self, n, effect) => Effect.acquireUseRelease(Effect.transaction(acquireN(self, n)), () => effect, () => Effect.transaction(releaseN(self, n)));
 /**
  * Acquires a single permit from the semaphore in a scoped manner. The permit
  * will be automatically released when the scope is closed, even if effects
@@ -455,7 +455,7 @@ export const withPermits = (self, n, effect) => Effect.acquireUseRelease(acquire
  * @since 4.0.0
  * @category combinators
  */
-export const withPermitScoped = self => Effect.acquireRelease(acquire(self), () => release(self));
+export const withPermitScoped = self => Effect.acquireRelease(Effect.transaction(acquire(self)), () => Effect.transaction(release(self)));
 /**
  * Determines if the provided value is a TxSemaphore.
  *

package/dist/TxSemaphore.js.map

@@ -1 +1 @@
-{"version":3,"file":"TxSemaphore.js","names":["Effect","NodeInspectSymbol","toJson","pipeArguments","TxRef","TypeId","TxSemaphoreProto","toJSON","_id","capacity","pipe","arguments","makeTxSemaphore","permitsRef","self","Object","create","make","permits","gen","die","Error","available","get","succeed","acquire","atomic","retryTransaction","set","acquireN","n","tryAcquire","modify","tryAcquireN","release","update","releaseN","newPermits","withPermit","effect","acquireUseRelease","withPermits","withPermitScoped","acquireRelease","isTxSemaphore","u"],"sources":["../src/TxSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAIA,OAAO,KAAKA,MAAM,MAAM,aAAa;AAErC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAE7C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,kCAAkC;AAqCjD,MAAMC,gBAAgB,GAAiE;EACrF,CAACL,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDK,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,aAAa;MAClBC,QAAQ,EAAE,IAAI,CAACA;KAChB;EACH,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOP,aAAa,CAAC,IAAI,EAAEQ,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMG,IAAI,GAAIC,OAAe,IAClClB,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,IAAID,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,OAAOlB,MAAM,CAACoB,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;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMI,SAAS,GAAIR,IAAiB,IAA4BV,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMJ,QAAQ,GAAIK,IAAiB,IAA4Bd,MAAM,CAACwB,OAAO,CAACV,IAAI,CAACL,QAAQ,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMgB,OAAO,GAAIX,IAAiB,IACvCd,MAAM,CAAC0B,MAAM,CACX1B,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;EACjD,IAAIK,OAAO,IAAI,CAAC,EAAE;IAChB,OAAO,OAAOlB,MAAM,CAAC2B,gBAAgB;EACvC;EACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAG,CAAC,CAAC;AAChD,CAAC,CAAC,CACH;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMW,QAAQ,GAAGA,CAACf,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO9B,MAAM,CAACoB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOrB,MAAM,CAAC0B,MAAM,CAClB1B,MAAM,CAACmB,GAAG,CAAC,aAAS;IAClB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;IACjD,IAAIK,OAAO,GAAGY,CAAC,EAAE;MACf,OAAO,OAAO9B,MAAM,CAAC2B,gBAAgB;IACvC;IACA,OAAOvB,KAAK,CAACwB,GAAG,CAACd,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAGY,CAAC,CAAC;EAChD,CAAC,CAAC,CACH;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMe,WAAW,GAAGA,CAACnB,IAAiB,EAAEgB,CAAS,KAA4B;EAClF,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO9B,MAAM,CAACoB,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,OAAO,MAAMkB,QAAQ,GAAGA,CAACtB,IAAiB,EAAEgB,CAAS,KAAyB;EAC5E,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO9B,MAAM,CAACoB,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,OAAO,MAAMC,UAAU,GAAGA,CACxBxB,IAAiB,EACjByB,MAA8B,KAE9BvC,MAAM,CAACwC,iBAAiB,CACtBf,OAAO,CAACX,IAAI,CAAC,EACb,MAAMyB,MAAM,EACZ,MAAML,OAAO,CAACpB,IAAI,CAAC,CACpB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAM2B,WAAW,GAAGA,CACzB3B,IAAiB,EACjBgB,CAAS,EACTS,MAA8B,KAE9BvC,MAAM,CAACwC,iBAAiB,CACtBX,QAAQ,CAACf,IAAI,EAAEgB,CAAC,CAAC,EACjB,MAAMS,MAAM,EACZ,MAAMH,QAAQ,CAACtB,IAAI,EAAEgB,CAAC,CAAC,CACxB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAMY,gBAAgB,GAAI5B,IAAiB,IAChDd,MAAM,CAAC2C,cAAc,CACnBlB,OAAO,CAACX,IAAI,CAAC,EACb,MAAMoB,OAAO,CAACpB,IAAI,CAAC,CACpB;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAM8B,aAAa,GAAIC,CAAU,IAAuB,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,IAAIxC,MAAM,IAAIwC,CAAC","ignoreList":[]}
+{"version":3,"file":"TxSemaphore.js","names":["Effect","NodeInspectSymbol","toJson","pipeArguments","TxRef","TypeId","TxSemaphoreProto","toJSON","_id","capacity","pipe","arguments","makeTxSemaphore","permitsRef","self","Object","create","make","permits","gen","die","Error","available","get","succeed","acquire","retryTransaction","set","acquireN","n","tryAcquire","modify","tryAcquireN","release","update","releaseN","newPermits","withPermit","effect","acquireUseRelease","transaction","withPermits","withPermitScoped","acquireRelease","isTxSemaphore","u"],"sources":["../src/TxSemaphore.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAIA,OAAO,KAAKA,MAAM,MAAM,aAAa;AAErC,SAASC,iBAAiB,EAAEC,MAAM,QAAQ,kBAAkB;AAE5D,SAASC,aAAa,QAAQ,eAAe;AAE7C,OAAO,KAAKC,KAAK,MAAM,YAAY;AAEnC,MAAMC,MAAM,GAAG,kCAAkC;AAqCjD,MAAMC,gBAAgB,GAAiE;EACrF,CAACL,iBAAiB,IAAC;IACjB,OAAOC,MAAM,CAAC,IAAI,CAAC;EACrB,CAAC;EACDK,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,aAAa;MAClBC,QAAQ,EAAE,IAAI,CAACA;KAChB;EACH,CAAC;EACDC,IAAIA,CAAA;IACF,OAAOP,aAAa,CAAC,IAAI,EAAEQ,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMG,IAAI,GAAIC,OAAe,IAClClB,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,IAAID,OAAO,GAAG,CAAC,EAAE;IACf,OAAO,OAAOlB,MAAM,CAACoB,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;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMI,SAAS,GAAIR,IAAiB,IACzCV,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;AAE5B;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMJ,QAAQ,GAAIK,IAAiB,IAA4Bd,MAAM,CAACwB,OAAO,CAACV,IAAI,CAACL,QAAQ,CAAC;AAEnG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,OAAO,MAAMgB,OAAO,GAAIX,IAAiB,IACvCd,MAAM,CAACmB,GAAG,CAAC,aAAS;EAClB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;EACjD,IAAIK,OAAO,IAAI,CAAC,EAAE;IAChB,OAAO,OAAOlB,MAAM,CAAC0B,gBAAgB;EACvC;EACA,OAAOtB,KAAK,CAACuB,GAAG,CAACb,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAG,CAAC,CAAC;AAChD,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMU,QAAQ,GAAGA,CAACd,IAAiB,EAAEe,CAAS,KAAoD;EACvG,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO7B,MAAM,CAACoB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOrB,MAAM,CAACmB,GAAG,CAAC,aAAS;IACzB,MAAMD,OAAO,GAAG,OAAOd,KAAK,CAACmB,GAAG,CAACT,IAAI,CAACD,UAAU,CAAC;IACjD,IAAIK,OAAO,GAAGW,CAAC,EAAE;MACf,OAAO,OAAO7B,MAAM,CAAC0B,gBAAgB;IACvC;IACA,OAAOtB,KAAK,CAACuB,GAAG,CAACb,IAAI,CAACD,UAAU,EAAEK,OAAO,GAAGW,CAAC,CAAC;EAChD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAMC,UAAU,GAAIhB,IAAiB,IAC1CV,KAAK,CAAC2B,MAAM,CAACjB,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMc,WAAW,GAAGA,CAAClB,IAAiB,EAAEe,CAAS,KAAuD;EAC7G,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO7B,MAAM,CAACoB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC2B,MAAM,CAACjB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,IAAIA,OAAO,IAAIW,CAAC,EAAE;MAChB,OAAO,CAAC,IAAI,EAAEX,OAAO,GAAGW,CAAC,CAAC;IAC5B;IACA,OAAO,CAAC,KAAK,EAAEX,OAAO,CAAC;EACzB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,MAAMe,OAAO,GAAInB,IAAiB,IACvCV,KAAK,CAAC8B,MAAM,CAACpB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAKA,OAAO,IAAIJ,IAAI,CAACL,QAAQ,GAAGS,OAAO,GAAGA,OAAO,GAAG,CAAC,CAAC;AAEtG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BA,OAAO,MAAMiB,QAAQ,GAAGA,CAACrB,IAAiB,EAAEe,CAAS,KAAoD;EACvG,IAAIA,CAAC,IAAI,CAAC,EAAE;IACV,OAAO7B,MAAM,CAACoB,GAAG,CAAC,IAAIC,KAAK,CAAC,oCAAoC,CAAC,CAAC;EACpE;EACA,OAAOjB,KAAK,CAAC8B,MAAM,CAACpB,IAAI,CAACD,UAAU,EAAGK,OAAe,IAAI;IACvD,MAAMkB,UAAU,GAAGlB,OAAO,GAAGW,CAAC;IAC9B,OAAOO,UAAU,GAAGtB,IAAI,CAACL,QAAQ,GAAGK,IAAI,CAACL,QAAQ,GAAG2B,UAAU;EAChE,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,OAAO,MAAMC,UAAU,GAAGA,CACxBvB,IAAiB,EACjBwB,MAA8B,KAE9BtC,MAAM,CAACuC,iBAAiB,CACtBvC,MAAM,CAACwC,WAAW,CAACf,OAAO,CAACX,IAAI,CAAC,CAAC,EACjC,MAAMwB,MAAM,EACZ,MAAMtC,MAAM,CAACwC,WAAW,CAACP,OAAO,CAACnB,IAAI,CAAC,CAAC,CACxC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAM2B,WAAW,GAAGA,CACzB3B,IAAiB,EACjBe,CAAS,EACTS,MAA8B,KAE9BtC,MAAM,CAACuC,iBAAiB,CACtBvC,MAAM,CAACwC,WAAW,CAACZ,QAAQ,CAACd,IAAI,EAAEe,CAAC,CAAC,CAAC,EACrC,MAAMS,MAAM,EACZ,MAAMtC,MAAM,CAACwC,WAAW,CAACL,QAAQ,CAACrB,IAAI,EAAEe,CAAC,CAAC,CAAC,CAC5C;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,MAAMa,gBAAgB,GAAI5B,IAAiB,IAChDd,MAAM,CAAC2C,cAAc,CACnB3C,MAAM,CAACwC,WAAW,CAACf,OAAO,CAACX,IAAI,CAAC,CAAC,EACjC,MAAMd,MAAM,CAACwC,WAAW,CAACP,OAAO,CAACnB,IAAI,CAAC,CAAC,CACxC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAM8B,aAAa,GAAIC,CAAU,IAAuB,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,IAAIxC,MAAM,IAAIwC,CAAC","ignoreList":[]}