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

package/src/TxHashSet.ts

@@ -66,7 +66,7 @@ const TxHashSetProto = {
  *   console.log(hasApple) // true
  *
  *   // Multi-step atomic operations
- *   yield* Effect.atomic(
+ *   yield* Effect.transaction(
  *     Effect.gen(function*() {
  *       const hasCherry = yield* TxHashSet.has(txSet, "cherry")
  *       if (hasCherry) {
@@ -165,7 +165,7 @@ const makeTxHashSet = <V>(ref: TxRef.TxRef<HashSet.HashSet<V>>): TxHashSet<V> =>
  * @since 2.0.0
  * @category constructors
  */
-export const empty = <V = never>(): Effect.Effect<TxHashSet<V>> =>
+export const empty = <V = never>(): Effect.Effect<TxHashSet<V>, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const ref = yield* TxRef.make(HashSet.empty<V>())
     return makeTxHashSet(ref)
@@ -195,7 +195,7 @@ export const empty = <V = never>(): Effect.Effect<TxHashSet<V>> =>
  */
 export const make = <Values extends ReadonlyArray<any>>(
   ...values: Values
-): Effect.Effect<TxHashSet<Values[number]>> =>
+): Effect.Effect<TxHashSet<Values[number]>, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const hashSet = HashSet.make(...values)
     const ref = yield* TxRef.make(hashSet)
@@ -225,7 +225,7 @@ export const make = <Values extends ReadonlyArray<any>>(
  * @since 2.0.0
  * @category constructors
  */
-export const fromIterable = <V>(values: Iterable<V>): Effect.Effect<TxHashSet<V>> =>
+export const fromIterable = <V>(values: Iterable<V>): Effect.Effect<TxHashSet<V>, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const hashSet = HashSet.fromIterable(values)
     const ref = yield* TxRef.make(hashSet)
@@ -257,7 +257,7 @@ export const fromIterable = <V>(values: Iterable<V>): Effect.Effect<TxHashSet<V>
  * @since 2.0.0
  * @category constructors
  */
-export const fromHashSet = <V>(hashSet: HashSet.HashSet<V>): Effect.Effect<TxHashSet<V>> =>
+export const fromHashSet = <V>(hashSet: HashSet.HashSet<V>): Effect.Effect<TxHashSet<V>, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const ref = yield* TxRef.make(hashSet)
     return makeTxHashSet(ref)
@@ -341,7 +341,7 @@ export const add: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<void>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<void, never, Effect.Transaction>
   /**
    * Adds a value to the TxHashSet. If the value already exists, the operation has no effect.
    *
@@ -368,7 +368,7 @@ export const add: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(self: TxHashSet<V>, value: V): Effect.Effect<void>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<void, never, Effect.Transaction>
 } = dual<
   /**
    * Adds a value to the TxHashSet. If the value already exists, the operation has no effect.
@@ -396,7 +396,7 @@ export const add: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<void>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<void, never, Effect.Transaction>,
   /**
    * Adds a value to the TxHashSet. If the value already exists, the operation has no effect.
    *
@@ -423,7 +423,7 @@ export const add: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<void>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<void, never, Effect.Transaction>
 >(2, <V>(self: TxHashSet<V>, value: V) => TxRef.update(self.ref, (set) => HashSet.add(set, value)))
 
 /**
@@ -481,7 +481,7 @@ export const remove: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
   /**
    * Removes a value from the TxHashSet.
    *
@@ -509,7 +509,7 @@ export const remove: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean, never, Effect.Transaction>
 } = dual<
   /**
    * Removes a value from the TxHashSet.
@@ -538,7 +538,7 @@ export const remove: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
   /**
    * Removes a value from the TxHashSet.
    *
@@ -566,18 +566,16 @@ export const remove: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean, never, Effect.Transaction>
 >(2, <V>(self: TxHashSet<V>, value: V) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const currentSet = yield* TxRef.get(self.ref)
-      const existed = HashSet.has(currentSet, value)
-      if (existed) {
-        yield* TxRef.set(self.ref, HashSet.remove(currentSet, value))
-      }
-      return existed
-    })
-  ))
+  Effect.gen(function*() {
+    const currentSet = yield* TxRef.get(self.ref)
+    const existed = HashSet.has(currentSet, value)
+    if (existed) {
+      yield* TxRef.set(self.ref, HashSet.remove(currentSet, value))
+    }
+    return existed
+  }))
 
 /**
  * Checks if the TxHashSet contains the specified value.
@@ -648,7 +646,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
   /**
    * Checks if the TxHashSet contains the specified value.
    *
@@ -683,7 +681,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean, never, Effect.Transaction>
 } = dual<
   /**
    * Checks if the TxHashSet contains the specified value.
@@ -719,7 +717,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
   /**
    * Checks if the TxHashSet contains the specified value.
    *
@@ -754,7 +752,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean, never, Effect.Transaction>
 >(2, <V>(self: TxHashSet<V>, value: V) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -783,7 +781,7 @@ export const has: {
  * @since 2.0.0
  * @category getters
  */
-export const size = <V>(self: TxHashSet<V>): Effect.Effect<number> =>
+export const size = <V>(self: TxHashSet<V>): Effect.Effect<number, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
     return HashSet.size(set)
@@ -808,7 +806,7 @@ export const size = <V>(self: TxHashSet<V>): Effect.Effect<number> =>
  * @since 2.0.0
  * @category getters
  */
-export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean> =>
+export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean, never, Effect.Transaction> =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
     return HashSet.isEmpty(set)
@@ -837,7 +835,8 @@ export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean> =>
  * @since 2.0.0
  * @category mutations
  */
-export const clear = <V>(self: TxHashSet<V>): Effect.Effect<void> => TxRef.set(self.ref, HashSet.empty<V>())
+export const clear = <V>(self: TxHashSet<V>): Effect.Effect<void, never, Effect.Transaction> =>
+  TxRef.set(self.ref, HashSet.empty<V>())
 
 /**
  * Creates the union of two TxHashSets, returning a new TxHashSet.
@@ -882,7 +881,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>, never, Effect.Transaction>
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
    *
@@ -904,7 +903,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 | V1>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 | V1>, never, Effect.Transaction>
 } = dual<
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
@@ -927,7 +926,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>, never, Effect.Transaction>,
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
    *
@@ -949,16 +948,14 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 | V1>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 | V1>, never, Effect.Transaction>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const set1 = yield* TxRef.get(self.ref)
-      const set2 = yield* TxRef.get(that.ref)
-      const combined = HashSet.union(set1, set2)
-      return yield* fromHashSet(combined)
-    })
-  ))
+  Effect.gen(function*() {
+    const set1 = yield* TxRef.get(self.ref)
+    const set2 = yield* TxRef.get(that.ref)
+    const combined = HashSet.union(set1, set2)
+    return yield* fromHashSet(combined)
+  }))
 
 /**
  * Creates the intersection of two TxHashSets, returning a new TxHashSet.
@@ -1003,7 +1000,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>, never, Effect.Transaction>
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
    *
@@ -1025,7 +1022,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 & V1>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 & V1>, never, Effect.Transaction>
 } = dual<
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
@@ -1048,7 +1045,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>, never, Effect.Transaction>,
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
    *
@@ -1070,16 +1067,14 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 & V1>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 & V1>, never, Effect.Transaction>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const set1 = yield* TxRef.get(self.ref)
-      const set2 = yield* TxRef.get(that.ref)
-      const common = HashSet.intersection(set1, set2)
-      return yield* fromHashSet(common)
-    })
-  ))
+  Effect.gen(function*() {
+    const set1 = yield* TxRef.get(self.ref)
+    const set2 = yield* TxRef.get(that.ref)
+    const common = HashSet.intersection(set1, set2)
+    return yield* fromHashSet(common)
+  }))
 
 /**
  * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
@@ -1124,7 +1119,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
    *
@@ -1146,7 +1141,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
 } = dual<
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
@@ -1169,7 +1164,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>,
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
    *
@@ -1191,16 +1186,14 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0>>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const set1 = yield* TxRef.get(self.ref)
-      const set2 = yield* TxRef.get(that.ref)
-      const diff = HashSet.difference(set1, set2)
-      return yield* fromHashSet(diff)
-    })
-  ))
+  Effect.gen(function*() {
+    const set1 = yield* TxRef.get(self.ref)
+    const set2 = yield* TxRef.get(that.ref)
+    const diff = HashSet.difference(set1, set2)
+    return yield* fromHashSet(diff)
+  }))
 
 /**
  * Checks if a TxHashSet is a subset of another TxHashSet.
@@ -1247,7 +1240,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean, never, Effect.Transaction>
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
    *
@@ -1270,7 +1263,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<boolean>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<boolean, never, Effect.Transaction>
 } = dual<
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
@@ -1294,7 +1287,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean, never, Effect.Transaction>,
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
    *
@@ -1317,15 +1310,13 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<boolean>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<boolean, never, Effect.Transaction>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const set1 = yield* TxRef.get(self.ref)
-      const set2 = yield* TxRef.get(that.ref)
-      return HashSet.isSubset(set1, set2)
-    })
-  ))
+  Effect.gen(function*() {
+    const set1 = yield* TxRef.get(self.ref)
+    const set2 = yield* TxRef.get(that.ref)
+    return HashSet.isSubset(set1, set2)
+  }))
 
 /**
  * Tests whether at least one value in the TxHashSet satisfies the predicate.
@@ -1370,7 +1361,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean>
+  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
    *
@@ -1392,7 +1383,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean, never, Effect.Transaction>
 } = dual<
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
@@ -1415,7 +1406,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
+  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
    *
@@ -1437,7 +1428,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean, never, Effect.Transaction>
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -1487,7 +1478,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean>
+  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
    *
@@ -1509,7 +1500,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean, never, Effect.Transaction>
 } = dual<
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
@@ -1532,7 +1523,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
+  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
    *
@@ -1554,7 +1545,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean, never, Effect.Transaction>
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -1614,7 +1605,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(f: (value: V) => U): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>
+  <V, U>(f: (value: V) => U): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
    *
@@ -1641,7 +1632,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(self: TxHashSet<V>, f: (value: V) => U): Effect.Effect<TxHashSet<U>>
+  <V, U>(self: TxHashSet<V>, f: (value: V) => U): Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
 } = dual<
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
@@ -1669,7 +1660,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(f: (value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>,
+  <V, U>(f: (value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>,
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
    *
@@ -1696,15 +1687,13 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(self: TxHashSet<V>, f: (value: V) => U) => Effect.Effect<TxHashSet<U>>
+  <V, U>(self: TxHashSet<V>, f: (value: V) => U) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
 >(2, <V, U>(self: TxHashSet<V>, f: (value: V) => U) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const currentSet = yield* TxRef.get(self.ref)
-      const mappedSet = HashSet.map(currentSet, f)
-      return yield* fromHashSet(mappedSet)
-    })
-  ))
+  Effect.gen(function*() {
+    const currentSet = yield* TxRef.get(self.ref)
+    const mappedSet = HashSet.map(currentSet, f)
+    return yield* fromHashSet(mappedSet)
+  }))
 
 /**
  * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1747,7 +1736,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V, U extends V>(refinement: Refinement<NoInfer<V>, U>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>
+  <V, U extends V>(refinement: Refinement<NoInfer<V>, U>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1768,7 +1757,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V>(predicate: Predicate<NoInfer<V>>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>>
+  <V>(predicate: Predicate<NoInfer<V>>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>, never, Effect.Transaction>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1789,7 +1778,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V, U extends V>(self: TxHashSet<V>, refinement: Refinement<V, U>): Effect.Effect<TxHashSet<U>>
+  <V, U extends V>(self: TxHashSet<V>, refinement: Refinement<V, U>): Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1810,7 +1799,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>, never, Effect.Transaction>
 } = dual<
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1833,8 +1822,12 @@ export const filter: {
    * @category filtering
    */
   {
-    <V, U extends V>(refinement: Refinement<NoInfer<V>, U>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>;
-    <V>(predicate: Predicate<NoInfer<V>>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>>;
+    <V, U extends V>(
+      refinement: Refinement<NoInfer<V>, U>
+    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>;
+    <V>(
+      predicate: Predicate<NoInfer<V>>
+    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>, never, Effect.Transaction>;
   },
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1857,17 +1850,18 @@ export const filter: {
    * @category filtering
    */
   {
-    <V, U extends V>(self: TxHashSet<V>, refinement: Refinement<V, U>): Effect.Effect<TxHashSet<U>>;
-    <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>>;
+    <V, U extends V>(
+      self: TxHashSet<V>,
+      refinement: Refinement<V, U>
+    ): Effect.Effect<TxHashSet<U>, never, Effect.Transaction>;
+    <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>, never, Effect.Transaction>;
   }
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
-  Effect.atomic(
-    Effect.gen(function*() {
-      const currentSet = yield* TxRef.get(self.ref)
-      const filteredSet = HashSet.filter(currentSet, predicate)
-      return yield* fromHashSet(filteredSet)
-    })
-  ))
+  Effect.gen(function*() {
+    const currentSet = yield* TxRef.get(self.ref)
+    const filteredSet = HashSet.filter(currentSet, predicate)
+    return yield* fromHashSet(filteredSet)
+  }))
 
 /**
  * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
@@ -1914,7 +1908,7 @@ export const reduce: {
    * @since 2.0.0
    * @category folding
    */
-  <V, U>(zero: U, f: (accumulator: U, value: V) => U): (self: TxHashSet<V>) => Effect.Effect<U>
+  <V, U>(zero: U, f: (accumulator: U, value: V) => U): (self: TxHashSet<V>) => Effect.Effect<U, never, Effect.Transaction>
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
    *
@@ -1937,7 +1931,7 @@ export const reduce: {
    * @since 2.0.0
    * @category folding
    */
-  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U): Effect.Effect<U>
+  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U): Effect.Effect<U, never, Effect.Transaction>
 } = dual<
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
@@ -1961,7 +1955,7 @@ export const reduce: {
    * @since 2.0.0
    * @category folding
    */
-  <V, U>(zero: U, f: (accumulator: U, value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<U>,
+  <V, U>(zero: U, f: (accumulator: U, value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<U, never, Effect.Transaction>,
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
    *
@@ -1984,7 +1978,7 @@ export const reduce: {
    * @since 2.0.0
    * @category folding
    */
-  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U) => Effect.Effect<U>
+  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U) => Effect.Effect<U, never, Effect.Transaction>
 >(3, <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -2016,4 +2010,5 @@ export const reduce: {
  * @since 2.0.0
  * @category conversions
  */
-export const toHashSet = <V>(self: TxHashSet<V>): Effect.Effect<HashSet.HashSet<V>> => TxRef.get(self.ref)
+export const toHashSet = <V>(self: TxHashSet<V>): Effect.Effect<HashSet.HashSet<V>, never, Effect.Transaction> =>
+  TxRef.get(self.ref)