effect 4.0.0-beta.41 → 4.0.0-beta.42

package/src/TxHashSet.ts

@@ -66,7 +66,7 @@ const TxHashSetProto = {
  *   console.log(hasApple) // true
  *
  *   // Multi-step atomic operations
- *   yield* Effect.transaction(
+ *   yield* Effect.tx(
  *     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>, never, Effect.Transaction> =>
+export const empty = <V = never>(): Effect.Effect<TxHashSet<V>> =>
   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>, never, Effect.Tr
  */
 export const make = <Values extends ReadonlyArray<any>>(
   ...values: Values
-): Effect.Effect<TxHashSet<Values[number]>, never, Effect.Transaction> =>
+): Effect.Effect<TxHashSet<Values[number]>> =>
   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>, never, Effect.Transaction> =>
+export const fromIterable = <V>(values: Iterable<V>): Effect.Effect<TxHashSet<V>> =>
   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>, never, Effect.Transaction> =>
+export const fromHashSet = <V>(hashSet: HashSet.HashSet<V>): Effect.Effect<TxHashSet<V>> =>
   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, never, Effect.Transaction>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<void>
   /**
    * 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, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<void>
 } = 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, never, Effect.Transaction>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<void>,
   /**
    * 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, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<void>
 >(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, never, Effect.Transaction>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean>
   /**
    * 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, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean>
 } = 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, never, Effect.Transaction>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
   /**
    * Removes a value from the TxHashSet.
    *
@@ -566,7 +566,7 @@ export const remove: {
    * @since 2.0.0
    * @category mutations
    */
-  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean>
 >(2, <V>(self: TxHashSet<V>, value: V) =>
   Effect.gen(function*() {
     const currentSet = yield* TxRef.get(self.ref)
@@ -575,7 +575,7 @@ export const remove: {
       yield* TxRef.set(self.ref, HashSet.remove(currentSet, value))
     }
     return existed
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Checks if the TxHashSet contains the specified value.
@@ -646,7 +646,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(value: V): (self: TxHashSet<V>) => Effect.Effect<boolean>
   /**
    * Checks if the TxHashSet contains the specified value.
    *
@@ -681,7 +681,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V): Effect.Effect<boolean>
 } = dual<
   /**
    * Checks if the TxHashSet contains the specified value.
@@ -717,7 +717,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
+  <V>(value: V) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
   /**
    * Checks if the TxHashSet contains the specified value.
    *
@@ -752,7 +752,7 @@ export const has: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, value: V) => Effect.Effect<boolean>
 >(2, <V>(self: TxHashSet<V>, value: V) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -781,7 +781,7 @@ export const has: {
  * @since 2.0.0
  * @category getters
  */
-export const size = <V>(self: TxHashSet<V>): Effect.Effect<number, never, Effect.Transaction> =>
+export const size = <V>(self: TxHashSet<V>): Effect.Effect<number> =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
     return HashSet.size(set)
@@ -806,7 +806,7 @@ export const size = <V>(self: TxHashSet<V>): Effect.Effect<number, never, Effect
  * @since 2.0.0
  * @category getters
  */
-export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean, never, Effect.Transaction> =>
+export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean> =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
     return HashSet.isEmpty(set)
@@ -835,8 +835,7 @@ export const isEmpty = <V>(self: TxHashSet<V>): Effect.Effect<boolean, never, Ef
  * @since 2.0.0
  * @category mutations
  */
-export const clear = <V>(self: TxHashSet<V>): Effect.Effect<void, never, Effect.Transaction> =>
-  TxRef.set(self.ref, HashSet.empty<V>())
+export const clear = <V>(self: TxHashSet<V>): Effect.Effect<void> => TxRef.set(self.ref, HashSet.empty<V>())
 
 /**
  * Creates the union of two TxHashSets, returning a new TxHashSet.
@@ -881,7 +880,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>, never, Effect.Transaction>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>>
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
    *
@@ -903,7 +902,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 | V1>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 | V1>>
 } = dual<
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
@@ -926,7 +925,7 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>, never, Effect.Transaction>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 | V0>>,
   /**
    * Creates the union of two TxHashSets, returning a new TxHashSet.
    *
@@ -948,14 +947,14 @@ export const union: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 | V1>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 | V1>>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
   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)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Creates the intersection of two TxHashSets, returning a new TxHashSet.
@@ -1000,7 +999,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>, never, Effect.Transaction>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>>
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
    *
@@ -1022,7 +1021,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 & V1>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0 & V1>>
 } = dual<
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
@@ -1045,7 +1044,7 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>, never, Effect.Transaction>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V1 & V0>>,
   /**
    * Creates the intersection of two TxHashSets, returning a new TxHashSet.
    *
@@ -1067,14 +1066,14 @@ export const intersection: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 & V1>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0 & V1>>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
   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)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
@@ -1119,7 +1118,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>>
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
    *
@@ -1141,7 +1140,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<TxHashSet<V0>>
 } = dual<
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
@@ -1164,7 +1163,7 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<TxHashSet<V0>>,
   /**
    * Creates the difference of two TxHashSets (elements in the first set that are not in the second), returning a new TxHashSet.
    *
@@ -1186,14 +1185,14 @@ export const difference: {
    * @since 2.0.0
    * @category combinators
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0>, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<TxHashSet<V0>>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
   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)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Checks if a TxHashSet is a subset of another TxHashSet.
@@ -1240,7 +1239,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V1>(that: TxHashSet<V1>): <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean>
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
    *
@@ -1263,7 +1262,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<boolean, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>): Effect.Effect<boolean>
 } = dual<
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
@@ -1287,7 +1286,7 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean, never, Effect.Transaction>,
+  <V1>(that: TxHashSet<V1>) => <V0>(self: TxHashSet<V0>) => Effect.Effect<boolean>,
   /**
    * Checks if a TxHashSet is a subset of another TxHashSet.
    *
@@ -1310,13 +1309,13 @@ export const isSubset: {
    * @since 2.0.0
    * @category elements
    */
-  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) => Effect.Effect<boolean>
 >(2, <V0, V1>(self: TxHashSet<V0>, that: TxHashSet<V1>) =>
   Effect.gen(function*() {
     const set1 = yield* TxRef.get(self.ref)
     const set2 = yield* TxRef.get(that.ref)
     return HashSet.isSubset(set1, set2)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Tests whether at least one value in the TxHashSet satisfies the predicate.
@@ -1361,7 +1360,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean>
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
    *
@@ -1383,7 +1382,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean>
 } = dual<
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
@@ -1406,7 +1405,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
+  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
   /**
    * Tests whether at least one value in the TxHashSet satisfies the predicate.
    *
@@ -1428,7 +1427,7 @@ export const some: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean>
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -1478,7 +1477,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(predicate: Predicate<V>): (self: TxHashSet<V>) => Effect.Effect<boolean>
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
    *
@@ -1500,7 +1499,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<boolean>
 } = dual<
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
@@ -1523,7 +1522,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean, never, Effect.Transaction>,
+  <V>(predicate: Predicate<V>) => (self: TxHashSet<V>) => Effect.Effect<boolean>,
   /**
    * Tests whether all values in the TxHashSet satisfy the predicate.
    *
@@ -1545,7 +1544,7 @@ export const every: {
    * @since 2.0.0
    * @category elements
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>) => Effect.Effect<boolean>
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -1605,7 +1604,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(f: (value: V) => U): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
+  <V, U>(f: (value: V) => U): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
    *
@@ -1632,7 +1631,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(self: TxHashSet<V>, f: (value: V) => U): Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
+  <V, U>(self: TxHashSet<V>, f: (value: V) => U): Effect.Effect<TxHashSet<U>>
 } = dual<
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
@@ -1660,7 +1659,7 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(f: (value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>,
+  <V, U>(f: (value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>,
   /**
    * Maps each value in the TxHashSet using the provided function, returning a new TxHashSet.
    *
@@ -1687,13 +1686,13 @@ export const map: {
    * @since 2.0.0
    * @category mapping
    */
-  <V, U>(self: TxHashSet<V>, f: (value: V) => U) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>
+  <V, U>(self: TxHashSet<V>, f: (value: V) => U) => Effect.Effect<TxHashSet<U>>
 >(2, <V, U>(self: TxHashSet<V>, f: (value: V) => U) =>
   Effect.gen(function*() {
     const currentSet = yield* TxRef.get(self.ref)
     const mappedSet = HashSet.map(currentSet, f)
     return yield* fromHashSet(mappedSet)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1736,7 +1735,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>, never, Effect.Transaction>
+  <V, U extends V>(refinement: Refinement<NoInfer<V>, U>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1757,7 +1756,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V>(predicate: Predicate<NoInfer<V>>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>, never, Effect.Transaction>
+  <V>(predicate: Predicate<NoInfer<V>>): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1778,7 +1777,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>, never, Effect.Transaction>
+  <V, U extends V>(self: TxHashSet<V>, refinement: Refinement<V, U>): Effect.Effect<TxHashSet<U>>
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
    *
@@ -1799,7 +1798,7 @@ export const filter: {
    * @since 2.0.0
    * @category filtering
    */
-  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>, never, Effect.Transaction>
+  <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>>
 } = dual<
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1824,10 +1823,10 @@ export const filter: {
   {
     <V, U extends V>(
       refinement: Refinement<NoInfer<V>, U>
-    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>, never, Effect.Transaction>;
+    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<U>>;
     <V>(
       predicate: Predicate<NoInfer<V>>
-    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>, never, Effect.Transaction>;
+    ): (self: TxHashSet<V>) => Effect.Effect<TxHashSet<V>>;
   },
   /**
    * Filters the TxHashSet keeping only values that satisfy the predicate, returning a new TxHashSet.
@@ -1853,15 +1852,15 @@ export const filter: {
     <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>;
+    ): Effect.Effect<TxHashSet<U>>;
+    <V>(self: TxHashSet<V>, predicate: Predicate<V>): Effect.Effect<TxHashSet<V>>;
   }
 >(2, <V>(self: TxHashSet<V>, predicate: Predicate<V>) =>
   Effect.gen(function*() {
     const currentSet = yield* TxRef.get(self.ref)
     const filteredSet = HashSet.filter(currentSet, predicate)
     return yield* fromHashSet(filteredSet)
-  }))
+  }).pipe(Effect.tx))
 
 /**
  * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
@@ -1908,7 +1907,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, never, Effect.Transaction>
+  <V, U>(zero: U, f: (accumulator: U, value: V) => U): (self: TxHashSet<V>) => Effect.Effect<U>
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
    *
@@ -1931,7 +1930,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, never, Effect.Transaction>
+  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U): Effect.Effect<U>
 } = dual<
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
@@ -1955,7 +1954,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, never, Effect.Transaction>,
+  <V, U>(zero: U, f: (accumulator: U, value: V) => U) => (self: TxHashSet<V>) => Effect.Effect<U>,
   /**
    * Reduces the TxHashSet to a single value by iterating through the values and applying an accumulator function.
    *
@@ -1978,7 +1977,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, never, Effect.Transaction>
+  <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U) => Effect.Effect<U>
 >(3, <V, U>(self: TxHashSet<V>, zero: U, f: (accumulator: U, value: V) => U) =>
   Effect.gen(function*() {
     const set = yield* TxRef.get(self.ref)
@@ -2010,5 +2009,4 @@ export const reduce: {
  * @since 2.0.0
  * @category conversions
  */
-export const toHashSet = <V>(self: TxHashSet<V>): Effect.Effect<HashSet.HashSet<V>, never, Effect.Transaction> =>
-  TxRef.get(self.ref)
+export const toHashSet = <V>(self: TxHashSet<V>): Effect.Effect<HashSet.HashSet<V>> => TxRef.get(self.ref)