effect 2.0.0-next.37 → 2.0.0-next.39

package/dist/declarations/src/STM.d.ts

@@ -1,5 +1,5 @@
 /**
- * @since 1.0.0
+ * @since 2.0.0
  */
 import * as Cause from "./Cause.js";
 import type * as Context from "./Context.js";
@@ -13,12 +13,12 @@ import type { Pipeable } from "./Pipeable.js";
 import type { Predicate, Refinement } from "./Predicate.js";
 import type * as Unify from "./Unify.js";
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category symbols
  */
 export declare const STMTypeId: unique symbol;
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category symbols
  */
 export type STMTypeId = typeof STMTypeId;
@@ -56,7 +56,7 @@ export type STMTypeId = typeof STMTypeId;
  * no race conditions from multiple threads STM provides greater benefits for
  * synchronization of Fibers and transactional data-types can be quite useful.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 export interface STM<R, E, A> extends Effect.Effect<R, E, A>, STM.Variance<R, E, A>, Pipeable {
@@ -65,7 +65,7 @@ export interface STM<R, E, A> extends Effect.Effect<R, E, A>, STM.Variance<R, E,
     [Unify.blacklistSymbol]?: STMUnifyBlacklist;
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 export interface STMUnify<A extends {
@@ -75,20 +75,20 @@ export interface STMUnify<A extends {
 }
 /**
  * @category models
- * @since 1.0.0
+ * @since 2.0.0
  */
 export interface STMUnifyBlacklist extends Effect.EffectUnifyBlacklist {
     Effect?: true;
 }
 /**
  * @category type lambdas
- * @since 1.0.0
+ * @since 2.0.0
  */
 export interface STMTypeLambda extends TypeLambda {
     readonly type: STM<this["Out2"], this["Out1"], this["Target"]>;
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 declare module "./Context" {
@@ -96,7 +96,7 @@ declare module "./Context" {
     }
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 declare module "./Either" {
@@ -108,7 +108,7 @@ declare module "./Either" {
     }
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 declare module "./Option" {
@@ -120,11 +120,11 @@ declare module "./Option" {
     }
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  */
 export declare namespace STM {
     /**
-     * @since 1.0.0
+     * @since 2.0.0
      * @category models
      */
     interface Variance<R, E, A> {
@@ -137,7 +137,7 @@ export declare namespace STM {
 }
 /**
  * @category models
- * @since 1.0.0
+ * @since 2.0.0
  */
 export interface STMGen<R, E, A> {
     readonly _R: () => R;
@@ -149,7 +149,7 @@ export interface STMGen<R, E, A> {
 /**
  * Returns `true` if the provided value is an `STM`, `false` otherwise.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category refinements
  */
 export declare const isSTM: (u: unknown) => u is STM<unknown, unknown, unknown>;
@@ -159,7 +159,7 @@ export declare const isSTM: (u: unknown) => u is STM<unknown, unknown, unknown>;
  * is a success and is committed the specified `release` workflow will be
  * executed uninterruptibly as soon as the `use` workflow completes execution.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const acquireUseRelease: {
@@ -167,7 +167,7 @@ export declare const acquireUseRelease: {
     <R, E, A, R2, E2, A2, R3, E3, A3>(acquire: STM<R, E, A>, use: (resource: A) => STM<R2, E2, A2>, release: (resource: A) => STM<R3, E3, A3>): Effect.Effect<R | R2 | R3, E | E2 | E3, A2>;
 };
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category utils
  */
 export declare namespace All {
@@ -198,7 +198,7 @@ export declare namespace All {
         -readonly [K in keyof T]: [T[K]] extends [STM.Variance<infer _R, infer _E, infer A>] ? A : never;
     }>;
     /**
-     * @since 1.0.0
+     * @since 2.0.0
      * @category utils
      */
     type Options = {
@@ -209,7 +209,7 @@ export declare namespace All {
     }>] extends [never] ? false : true;
     type Narrow<A> = (A extends [] ? [] : never) | A;
     /**
-     * @since 1.0.0
+     * @since 2.0.0
      * @category utils
      */
     interface Signature {
@@ -223,14 +223,14 @@ export declare namespace All {
  * Supports multiple arguments, a single argument tuple / array or record /
  * struct.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const all: All.Signature;
 /**
  * Maps the success value of this effect to the specified constant value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const as: {
@@ -240,14 +240,14 @@ export declare const as: {
 /**
  * Maps the success value of this effect to an optional value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const asSome: <R, E, A>(self: STM<R, E, A>) => STM<R, E, Option.Option<A>>;
 /**
  * Maps the error value of this effect to an optional value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const asSomeError: <R, E, A>(self: STM<R, E, A>) => STM<R, Option.Option<E>, A>;
@@ -256,21 +256,21 @@ export declare const asSomeError: <R, E, A>(self: STM<R, E, A>) => STM<R, Option
  * `STM` succeeds, the returned `STM` will also succeed. If the original `STM`
  * fails, the returned `STM` will fail with the same error.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const asUnit: <R, E, A>(self: STM<R, E, A>) => STM<R, E, void>;
 /**
  * Creates an `STM` value from a partial (but pure) function.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const attempt: <A>(evaluate: LazyArg<A>) => STM<never, unknown, A>;
 /**
  * Recovers from all errors.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const catchAll: {
@@ -280,7 +280,7 @@ export declare const catchAll: {
 /**
  * Recovers from some or all of the error cases.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const catchSome: {
@@ -290,7 +290,7 @@ export declare const catchSome: {
 /**
  * Recovers from the specified tagged error.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const catchTag: {
@@ -312,7 +312,7 @@ export declare const catchTag: {
 /**
  * Recovers from multiple tagged errors.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const catchTags: {
@@ -350,14 +350,14 @@ export declare const catchTags: {
 /**
  * Checks the condition, and if it's true, returns unit, otherwise, retries.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const check: (predicate: LazyArg<boolean>) => STM<never, never, void>;
 /**
  * Simultaneously filters and maps the value produced by this effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const collect: {
@@ -367,7 +367,7 @@ export declare const collect: {
 /**
  * Simultaneously filters and maps the value produced by this effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const collectSTM: {
@@ -377,7 +377,7 @@ export declare const collectSTM: {
 /**
  * Commits this transaction atomically.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category destructors
  */
 export declare const commit: <R, E, A>(self: STM<R, E, A>) => Effect.Effect<R, E, A>;
@@ -385,7 +385,7 @@ export declare const commit: <R, E, A>(self: STM<R, E, A>) => Effect.Effect<R, E
  * Commits this transaction atomically, regardless of whether the transaction
  * is a success or a failure.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category destructors
  */
 export declare const commitEither: <R, E, A>(self: STM<R, E, A>) => Effect.Effect<R, E, A>;
@@ -393,28 +393,28 @@ export declare const commitEither: <R, E, A>(self: STM<R, E, A>) => Effect.Effec
  * Similar to Either.cond, evaluate the predicate, return the given A as
  * success if predicate returns true, and the given E as error otherwise
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const cond: <E, A>(predicate: LazyArg<boolean>, error: LazyArg<E>, result: LazyArg<A>) => STM<never, E, A>;
 /**
  * Retrieves the environment inside an stm.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const context: <R>() => STM<R, never, Context.Context<R>>;
 /**
  * Accesses the environment of the transaction to perform a transaction.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const contextWith: <R0, R>(f: (environment: Context.Context<R0>) => R) => STM<R0, never, R>;
 /**
  * Accesses the environment of the transaction to perform a transaction.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const contextWithSTM: <R0, R, E, A>(f: (environment: Context.Context<R0>) => STM<R, E, A>) => STM<R0 | R, E, A>;
@@ -422,7 +422,7 @@ export declare const contextWithSTM: <R0, R, E, A>(f: (environment: Context.Cont
  * Transforms the environment being provided to this effect with the specified
  * function.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category context
  */
 export declare const mapInputContext: {
@@ -432,7 +432,7 @@ export declare const mapInputContext: {
 /**
  * Fails the transactional effect with the specified defect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const die: (defect: unknown) => STM<never, never, never>;
@@ -440,21 +440,21 @@ export declare const die: (defect: unknown) => STM<never, never, never>;
  * Kills the fiber running the effect with a `Cause.RuntimeException` that
  * contains the specified message.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const dieMessage: (message: string) => STM<never, never, never>;
 /**
  * Fails the transactional effect with the specified lazily evaluated defect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const dieSync: (evaluate: LazyArg<unknown>) => STM<never, never, never>;
 /**
  * Converts the failure channel into an `Either`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const either: <R, E, A>(self: STM<R, E, A>) => STM<R, never, Either.Either<E, A>>;
@@ -463,7 +463,7 @@ export declare const either: <R, E, A>(self: STM<R, E, A>) => STM<R, never, Eith
  * succeeds. Note that as with all STM transactions, if the full transaction
  * fails, everything will be rolled back.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category finalization
  */
 export declare const ensuring: {
@@ -474,7 +474,7 @@ export declare const ensuring: {
  * Returns an effect that ignores errors and runs repeatedly until it
  * eventually succeeds.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const eventually: <R, E, A>(self: STM<R, E, A>) => STM<R, E, A>;
@@ -482,7 +482,7 @@ export declare const eventually: <R, E, A>(self: STM<R, E, A>) => STM<R, E, A>;
  * Determines whether all elements of the `Iterable<A>` satisfy the effectual
  * predicate.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const every: {
@@ -493,7 +493,7 @@ export declare const every: {
  * Determines whether any element of the `Iterable[A]` satisfies the effectual
  * predicate `f`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const exists: {
@@ -503,28 +503,28 @@ export declare const exists: {
 /**
  * Fails the transactional effect with the specified error.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const fail: <E>(error: E) => STM<never, E, never>;
 /**
  * Fails the transactional effect with the specified lazily evaluated error.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const failSync: <E>(evaluate: LazyArg<E>) => STM<never, E, never>;
 /**
  * Returns the fiber id of the fiber committing the transaction.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const fiberId: STM<never, never, FiberId.FiberId>;
 /**
  * Filters the collection using the specified effectual predicate.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const filter: {
@@ -535,7 +535,7 @@ export declare const filter: {
  * Filters the collection using the specified effectual predicate, removing
  * all elements that satisfy the predicate.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const filterNot: {
@@ -545,7 +545,7 @@ export declare const filterNot: {
 /**
  * Dies with specified defect if the predicate fails.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category filtering
  */
 export declare const filterOrDie: {
@@ -558,7 +558,7 @@ export declare const filterOrDie: {
  * Dies with a `Cause.RuntimeException` having the specified  message if the
  * predicate fails.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category filtering
  */
 export declare const filterOrDieMessage: {
@@ -570,7 +570,7 @@ export declare const filterOrDieMessage: {
 /**
  * Supplies `orElse` if the predicate fails.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category filtering
  */
 export declare const filterOrElse: {
@@ -582,7 +582,7 @@ export declare const filterOrElse: {
 /**
  * Fails with the specified error if the predicate fails.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category filtering
  */
 export declare const filterOrFail: {
@@ -595,7 +595,7 @@ export declare const filterOrFail: {
  * Feeds the value produced by this effect to the specified function, and then
  * runs the returned effect as well to produce its results.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category sequencing
  */
 export declare const flatMap: {
@@ -605,7 +605,7 @@ export declare const flatMap: {
 /**
  * Flattens out a nested `STM` effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category sequencing
  */
 export declare const flatten: <R, E, R2, E2, A>(self: STM<R, E, STM<R2, E2, A>>) => STM<R | R2, E | E2, A>;
@@ -614,7 +614,7 @@ export declare const flatten: <R, E, R2, E2, A>(self: STM<R, E, STM<R2, E2, A>>)
  * allows you to use all methods on the error channel, possibly before
  * flipping back.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const flip: <R, E, A>(self: STM<R, E, A>) => STM<R, A, E>;
@@ -622,7 +622,7 @@ export declare const flip: <R, E, A>(self: STM<R, E, A>) => STM<R, A, E>;
  * Swaps the error/value parameters, applies the function `f` and flips the
  * parameters back
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const flipWith: {
@@ -633,7 +633,7 @@ export declare const flipWith: {
  * Folds over the `STM` effect, handling both failure and success, but not
  * retry.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category folding
  */
 export declare const match: {
@@ -649,7 +649,7 @@ export declare const match: {
 /**
  * Effectfully folds over the `STM` effect, handling both failure and success.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category folding
  */
 export declare const matchSTM: {
@@ -666,7 +666,7 @@ export declare const matchSTM: {
  * Applies the function `f` to each element of the `Iterable<A>` and returns
  * a transactional effect that produces a new `Chunk<A2>`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category traversing
  */
 export declare const forEach: {
@@ -686,19 +686,19 @@ export declare const forEach: {
 /**
  * Lifts an `Either` into a `STM`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const fromEither: <E, A>(either: Either.Either<E, A>) => STM<never, E, A>;
 /**
  * Lifts an `Option` into a `STM`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const fromOption: <A>(option: Option.Option<A>) => STM<never, Option.Option<never>, A>;
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category models
  */
 export interface Adapter {
@@ -725,7 +725,7 @@ export interface Adapter {
     <A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, _R, _E, _A>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F, fg: (f: F) => G, gh: (g: G) => H, hi: (h: H) => I, ij: (i: I) => J, jk: (j: J) => K, kl: (k: K) => L, lm: (l: L) => M, mn: (m: M) => N, no: (n: N) => O, op: (o: O) => P, pq: (p: P) => Q, qr: (q: Q) => R, rs: (r: R) => S, st: (s: S) => T, tu: (s: T) => STM<_R, _E, _A>): STMGen<_R, _E, _A>;
 }
 /**
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const gen: <Eff extends STMGen<any, any, any>, AEff>(f: (resume: Adapter) => Generator<Eff, AEff, any>) => STM<[
@@ -737,7 +737,7 @@ export declare const gen: <Eff extends STMGen<any, any, any>, AEff>(f: (resume:
  * Returns a successful effect with the head of the list if the list is
  * non-empty or fails with the error `None` if the list is empty.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category getters
  */
 export declare const head: <R, E, A>(self: STM<R, E, Iterable<A>>) => STM<R, Option.Option<E>, A>;
@@ -759,42 +759,42 @@ export {
 /**
  * Runs `onTrue` if the result of `b` is `true` and `onFalse` otherwise.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 if_ as if };
 /**
  * Returns a new effect that ignores the success or failure of this effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const ignore: <R, E, A>(self: STM<R, E, A>) => STM<R, never, void>;
 /**
  * Interrupts the fiber running the effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const interrupt: STM<never, never, never>;
 /**
  * Interrupts the fiber running the effect with the specified `FiberId`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const interruptAs: (fiberId: FiberId.FiberId) => STM<never, never, never>;
 /**
  * Returns whether this transactional effect is a failure.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category getters
  */
 export declare const isFailure: <R, E, A>(self: STM<R, E, A>) => STM<R, never, boolean>;
 /**
  * Returns whether this transactional effect is a success.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category getters
  */
 export declare const isSuccess: <R, E, A>(self: STM<R, E, A>) => STM<R, never, boolean>;
@@ -812,7 +812,7 @@ export declare const isSuccess: <R, E, A>(self: STM<R, E, A>) => STM<R, never, b
  * return s
  * ```
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const iterate: <R, E, Z>(initial: Z, options: {
@@ -835,7 +835,7 @@ export declare const iterate: <R, E, Z>(initial: Z, options: {
  * return as
  * ```
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const loop: {
@@ -855,7 +855,7 @@ export declare const loop: {
 /**
  * Maps the value produced by the effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const map: {
@@ -867,7 +867,7 @@ export declare const map: {
  * throw exceptions but is otherwise pure, translating any thrown exceptions
  * into typed failed effects.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const mapAttempt: {
@@ -878,7 +878,7 @@ export declare const mapAttempt: {
  * Returns an `STM` effect whose failure and success channels have been mapped
  * by the specified pair of functions, `f` and `g`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const mapBoth: {
@@ -894,7 +894,7 @@ export declare const mapBoth: {
 /**
  * Maps from one error type to another.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mapping
  */
 export declare const mapError: {
@@ -905,14 +905,14 @@ export declare const mapError: {
  * Returns a new effect where the error channel has been merged into the
  * success channel to their common combined type.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const merge: <R, E, A>(self: STM<R, E, A>) => STM<R, never, E | A>;
 /**
  * Merges an `Iterable<STM>` to a single `STM`, working sequentially.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const mergeAll: {
@@ -922,21 +922,21 @@ export declare const mergeAll: {
 /**
  * Returns a new effect where boolean value of this effect is negated.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const negate: <R, E>(self: STM<R, E, boolean>) => STM<R, E, boolean>;
 /**
  * Requires the option produced by this value to be `None`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const none: <R, E, A>(self: STM<R, E, Option.Option<A>>) => STM<R, Option.Option<E>, void>;
 /**
  * Converts the failure channel into an `Option`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const option: <R, E, A>(self: STM<R, E, A>) => STM<R, never, Option.Option<A>>;
@@ -944,7 +944,7 @@ export declare const option: <R, E, A>(self: STM<R, E, A>) => STM<R, never, Opti
  * Translates `STM` effect failure into death of the fiber, making all
  * failures unchecked and not a part of the type of the effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orDie: <R, E, A>(self: STM<R, E, A>) => STM<R, never, A>;
@@ -952,7 +952,7 @@ export declare const orDie: <R, E, A>(self: STM<R, E, A>) => STM<R, never, A>;
  * Keeps none of the errors, and terminates the fiber running the `STM` effect
  * with them, using the specified function to convert the `E` into a defect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orDieWith: {
@@ -963,7 +963,7 @@ export declare const orDieWith: {
  * Tries this effect first, and if it fails or retries, tries the other
  * effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orElse: {
@@ -975,7 +975,7 @@ export declare const orElse: {
  * in left side, unless it fails or retries, in which case, it will produce
  * the value of the specified effect in right side.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orElseEither: {
@@ -986,7 +986,7 @@ export declare const orElseEither: {
  * Tries this effect first, and if it fails or retries, fails with the
  * specified error.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orElseFail: {
@@ -998,7 +998,7 @@ export declare const orElseFail: {
  * fails with the `None` value, in which case it will produce the value of the
  * specified effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orElseOptional: {
@@ -1009,7 +1009,7 @@ export declare const orElseOptional: {
  * Tries this effect first, and if it fails or retries, succeeds with the
  * specified value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orElseSucceed: {
@@ -1020,7 +1020,7 @@ export declare const orElseSucceed: {
  * Tries this effect first, and if it enters retry, then it tries the other
  * effect. This is an equivalent of Haskell's orElse.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const orTry: {
@@ -1031,7 +1031,7 @@ export declare const orTry: {
  * Feeds elements of type `A` to a function `f` that returns an effect.
  * Collects all successes and failures in a tupled fashion.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category traversing
  */
 export declare const partition: {
@@ -1042,7 +1042,7 @@ export declare const partition: {
  * Provides the transaction its required environment, which eliminates its
  * dependency on `R`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category context
  */
 export declare const provideContext: {
@@ -1053,7 +1053,7 @@ export declare const provideContext: {
  * Splits the context into two parts, providing one part using the
  * specified layer and leaving the remainder `R0`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category context
  */
 export declare const provideSomeContext: {
@@ -1064,7 +1064,7 @@ export declare const provideSomeContext: {
  * Provides the effect with the single service it requires. If the transactional
  * effect requires more than one service use `provideEnvironment` instead.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category context
  */
 export declare const provideService: {
@@ -1075,7 +1075,7 @@ export declare const provideService: {
  * Provides the effect with the single service it requires. If the transactional
  * effect requires more than one service use `provideEnvironment` instead.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category context
  */
 export declare const provideServiceSTM: {
@@ -1086,7 +1086,7 @@ export declare const provideServiceSTM: {
  * Folds an `Iterable<A>` using an effectual function f, working sequentially
  * from left to right.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const reduce: {
@@ -1096,7 +1096,7 @@ export declare const reduce: {
 /**
  * Reduces an `Iterable<STM>` to a single `STM`, working sequentially.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const reduceAll: {
@@ -1107,7 +1107,7 @@ export declare const reduceAll: {
  * Folds an `Iterable<A>` using an effectual function f, working sequentially
  * from right to left.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const reduceRight: {
@@ -1117,7 +1117,7 @@ export declare const reduceRight: {
 /**
  * Keeps some of the errors, and terminates the fiber with the rest.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const refineOrDie: {
@@ -1128,7 +1128,7 @@ export declare const refineOrDie: {
  * Keeps some of the errors, and terminates the fiber with the rest, using the
  * specified function to convert the `E` into a `Throwable`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const refineOrDieWith: {
@@ -1139,7 +1139,7 @@ export declare const refineOrDieWith: {
  * Fail with the returned value if the `PartialFunction` matches, otherwise
  * continue with our held value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const reject: {
@@ -1151,7 +1151,7 @@ export declare const reject: {
  * matches, translating the successful match into a failure, otherwise continue
  * with our held value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const rejectSTM: {
@@ -1170,7 +1170,7 @@ export declare const rejectSTM: {
  *     state for repeats.
  *   - Ensure repeating the STM effect will eventually satisfy the predicate.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const repeatUntil: {
@@ -1190,7 +1190,7 @@ export declare const repeatUntil: {
  *   - Ensure repeating the STM effect will eventually not satisfy the
  *     predicate.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const repeatWhile: {
@@ -1201,7 +1201,7 @@ export declare const repeatWhile: {
  * Replicates the given effect n times. If 0 or negative numbers are given, an
  * empty `Chunk` will be returned.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const replicate: {
@@ -1212,7 +1212,7 @@ export declare const replicate: {
  * Performs this transaction the specified number of times and collects the
  * results.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const replicateSTM: {
@@ -1223,7 +1223,7 @@ export declare const replicateSTM: {
  * Performs this transaction the specified number of times, discarding the
  * results.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const replicateSTMDiscard: {
@@ -1234,7 +1234,7 @@ export declare const replicateSTMDiscard: {
  * Abort and retry the whole transaction when any of the underlying
  * transactional variables have changed.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category error handling
  */
 export declare const retry: STM<never, never, never>;
@@ -1242,7 +1242,7 @@ export declare const retry: STM<never, never, never>;
  * Filters the value produced by this effect, retrying the transaction until
  * the predicate returns `true` for the value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const retryUntil: {
@@ -1253,7 +1253,7 @@ export declare const retryUntil: {
  * Filters the value produced by this effect, retrying the transaction while
  * the predicate returns `true` for the value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const retryWhile: {
@@ -1263,28 +1263,28 @@ export declare const retryWhile: {
 /**
  * Converts an option on values into an option on errors.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category getters
  */
 export declare const some: <R, E, A>(self: STM<R, E, Option.Option<A>>) => STM<R, Option.Option<E>, A>;
 /**
  * Returns an `STM` effect that succeeds with the specified value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const succeed: <A>(value: A) => STM<never, never, A>;
 /**
  * Returns an effect with the empty value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const succeedNone: STM<never, never, Option.Option<never>>;
 /**
  * Returns an effect with the optional value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const succeedSome: <A>(value: A) => STM<never, never, Option.Option<A>>;
@@ -1293,7 +1293,7 @@ export declare const succeedSome: <A>(value: A) => STM<never, never, Option.Opti
  * execution, and then combining the values to produce a summary, together
  * with the result of execution.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const summarized: {
@@ -1303,7 +1303,7 @@ export declare const summarized: {
 /**
  * Suspends creation of the specified transaction lazily.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const suspend: <R, E, A>(evaluate: LazyArg<STM<R, E, A>>) => STM<R, E, A>;
@@ -1311,14 +1311,14 @@ export declare const suspend: <R, E, A>(evaluate: LazyArg<STM<R, E, A>>) => STM<
  * Returns an `STM` effect that succeeds with the specified lazily evaluated
  * value.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const sync: <A>(evaluate: () => A) => STM<never, never, A>;
 /**
  * "Peeks" at the success of transactional effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category sequencing
  */
 export declare const tap: {
@@ -1328,7 +1328,7 @@ export declare const tap: {
 /**
  * "Peeks" at both sides of an transactional effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category sequencing
  */
 export declare const tapBoth: {
@@ -1344,7 +1344,7 @@ export declare const tapBoth: {
 /**
  * "Peeks" at the error of the transactional effect.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category sequencing
  */
 export declare const tapError: {
@@ -1363,14 +1363,14 @@ export {
  * Imports a synchronous side-effect into a pure value, translating any thrown
  * exceptions into typed failed effects.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 try_ as try };
 /**
  * The moral equivalent of `if (!p) exp`
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const unless: {
@@ -1380,7 +1380,7 @@ export declare const unless: {
 /**
  * The moral equivalent of `if (!p) exp` when `p` has side-effects
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const unlessSTM: {
@@ -1390,14 +1390,14 @@ export declare const unlessSTM: {
 /**
  * Converts an option on errors into an option on values.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category getters
  */
 export declare const unsome: <R, E, A>(self: STM<R, Option.Option<E>, A>) => STM<R, E, Option.Option<A>>;
 /**
  * Returns an `STM` effect that succeeds with `Unit`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category constructors
  */
 export declare const unit: STM<never, never, void>;
@@ -1408,7 +1408,7 @@ export declare const unit: STM<never, never, void>;
  * This combinator is lossy meaning that if there are errors all successes
  * will be lost. To retain all information please use `STM.partition`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const validateAll: {
@@ -1419,7 +1419,7 @@ export declare const validateAll: {
  * Feeds elements of type `A` to `f` until it succeeds. Returns first success
  * or the accumulation of all errors.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const validateFirst: {
@@ -1429,7 +1429,7 @@ export declare const validateFirst: {
 /**
  * The moral equivalent of `if (p) exp`.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const when: {
@@ -1439,7 +1439,7 @@ export declare const when: {
 /**
  * The moral equivalent of `if (p) exp` when `p` has side-effects.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category mutations
  */
 export declare const whenSTM: {
@@ -1449,7 +1449,7 @@ export declare const whenSTM: {
 /**
  * Sequentially zips this value with the specified one.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category zipping
  */
 export declare const zip: {
@@ -1460,7 +1460,7 @@ export declare const zip: {
  * Sequentially zips this value with the specified one, discarding the second
  * element of the tuple.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category zipping
  */
 export declare const zipLeft: {
@@ -1471,7 +1471,7 @@ export declare const zipLeft: {
  * Sequentially zips this value with the specified one, discarding the first
  * element of the tuple.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category zipping
  */
 export declare const zipRight: {
@@ -1482,7 +1482,7 @@ export declare const zipRight: {
  * Sequentially zips this value with the specified one, combining the values
  * using the specified combiner function.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category zipping
  */
 export declare const zipWith: {
@@ -1505,18 +1505,18 @@ export declare const zipWith: {
  * `STM` value in the iterable, or a failed `STM` value if all of the
  * `STM` values in the iterable fail.
  *
- * @since 1.0.0
+ * @since 2.0.0
  * @category elements
  */
 export declare const firstSuccessOf: <R, E, A>(effects: Iterable<STM<R, E, A>>) => STM<R, E, A>;
 /**
  * @category do notation
- * @since 1.0.0
+ * @since 2.0.0
  */
 export declare const Do: STM<never, never, {}>;
 /**
  * @category do notation
- * @since 1.0.0
+ * @since 2.0.0
  */
 export declare const bind: {
     <N extends string, K, R2, E2, A>(tag: Exclude<N, keyof K>, f: (_: K) => STM<R2, E2, A>): <R, E>(self: STM<R, E, K>) => STM<R2 | R, E2 | E, Effect.MergeRecord<K, {
@@ -1537,12 +1537,12 @@ declare const let_: {
 export { 
 /**
  * @category do notation
- * @since 1.0.0
+ * @since 2.0.0
  */
 let_ as let };
 /**
  * @category do notation
- * @since 1.0.0
+ * @since 2.0.0
  */
 export declare const bindTo: {
     <N extends string>(tag: N): <R, E, A>(self: STM<R, E, A>) => STM<R, E, Record<N, A>>;