effect 4.0.7 → 4.1.0

package/dist/Effect.d.ts

@@ -7693,6 +7693,9 @@ export declare const sandbox: <A, E, R>(self: Effect<A, E, R>) => Effect<A, Caus
  *
  * Use the `log` option to emit the full {@link Cause} when the effect fails,
  * and `message` to prepend a custom log message.
+ * Set `log: "Unhandled"` to read `References.UnhandledLogLevel` when the
+ * failure occurs; `undefined` disables logging. Minimum log level filtering
+ * still applies.
  *
  * **Gotchas**
  *
@@ -7732,13 +7735,13 @@ export declare const sandbox: <A, E, R>(self: Effect<A, E, R>) => Effect<A, Caus
  * @since 2.0.0
  */
 export declare const ignore: <Arg extends Effect<any, any, any> | {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 } | undefined = {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 }>(effectOrOptions?: Arg, options?: {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 } | undefined) => [Arg] extends [Effect<infer _A, infer _E, infer _R>] ? Effect<void, never, _R> : <A, E, R>(self: Effect<A, E, R>) => Effect<void, never, R>;
 /**
@@ -7753,6 +7756,9 @@ export declare const ignore: <Arg extends Effect<any, any, any> | {
  *
  * Use the `log` option to emit the full {@link Cause} when the effect fails,
  * and `message` to prepend a custom log message.
+ * Set `log: "Unhandled"` to read `References.UnhandledLogLevel` when the
+ * failure occurs; `undefined` disables logging. Minimum log level filtering
+ * still applies.
  *
  * **Example** (Ignoring failures and logging causes)
  *
@@ -7770,13 +7776,13 @@ export declare const ignore: <Arg extends Effect<any, any, any> | {
  * @since 4.0.0
  */
 export declare const ignoreCause: <Arg extends Effect<any, any, any> | {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 } | undefined = {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 }>(effectOrOptions?: Arg, options?: {
-    readonly log?: boolean | Severity | undefined;
+    readonly log?: boolean | Severity | "Unhandled" | undefined;
     readonly message?: string | undefined;
 } | undefined) => [Arg] extends [Effect<infer _A, infer _E, infer _R>] ? Effect<void, never, _R> : <A, E, R>(self: Effect<A, E, R>) => Effect<void, never, R>;
 /**
@@ -17936,6 +17942,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17946,6 +17959,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A): (this: Self, ...args: Args) => A;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A): (...args: Args) => A;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17956,6 +17976,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (this: Self, ...args: Args) => B;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (...args: Args) => B;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17966,6 +17993,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (this: Self, ...args: Args) => C;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (...args: Args) => C;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17976,6 +18010,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D): (this: Self, ...args: Args) => D;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D): (...args: Args) => D;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17986,6 +18027,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E): (this: Self, ...args: Args) => E;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E): (...args: Args) => E;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -17996,6 +18044,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F): (this: Self, ...args: Args) => F;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F): (...args: Args) => F;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18006,6 +18061,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G): (this: Self, ...args: Args) => G;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G): (...args: Args) => G;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18016,6 +18078,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H): (this: Self, ...args: Args) => H;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H): (...args: Args) => H;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18026,6 +18095,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (this: Self, ...args: Args) => I;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (...args: Args) => I;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18036,6 +18112,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J): (this: Self, ...args: Args) => J;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J): (...args: Args) => J;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18046,6 +18129,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K): (this: Self, ...args: Args) => K;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K): (...args: Args) => K;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18056,6 +18146,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L): (this: Self, ...args: Args) => L;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L): (...args: Args) => L;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18066,6 +18163,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M): (this: Self, ...args: Args) => M;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M): (...args: Args) => M;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18076,6 +18180,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N): (this: Self, ...args: Args) => N;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N): (...args: Args) => N;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18086,6 +18197,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O): (this: Self, ...args: Args) => O;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O): (...args: Args) => O;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18096,6 +18214,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P): (this: Self, ...args: Args) => P;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P): (...args: Args) => P;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18106,6 +18231,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q): (this: Self, ...args: Args) => Q;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q): (...args: Args) => Q;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18116,6 +18248,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R): (this: Self, ...args: Args) => R;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R): (...args: Args) => R;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18126,6 +18265,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R, s: (_: R, ...args: Args) => S): (this: Self, ...args: Args) => S;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R, s: (_: R, ...args: Args) => S): (...args: Args) => S;
         <Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
@@ -18136,6 +18282,13 @@ export declare namespace fn {
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R, s: (_: R, ...args: Args) => S, t: (_: S, ...args: Args) => T): (this: Self, ...args: Args) => T;
+        <Self, Eff extends Effect<any, any, any>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(options: {
+            readonly self: Self;
+        }, body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer E, infer _R>] ? E : never, [
+            Eff
+        ] extends [never] ? never : [Eff] extends [Effect<infer _A, infer _E, infer R>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I, j: (_: I, ...args: Args) => J, k: (_: J, ...args: Args) => K, l: (_: K, ...args: Args) => L, m: (_: L, ...args: Args) => M, n: (_: M, ...args: Args) => N, o: (_: N, ...args: Args) => O, p: (_: O, ...args: Args) => P, q: (_: P, ...args: Args) => Q, r: (_: Q, ...args: Args) => R, s: (_: R, ...args: Args) => S, t: (_: S, ...args: Args) => T): (...args: Args) => T;
     };
     /**
      * Type of the traced function builder used by `Effect.fn`.
@@ -18520,7 +18673,9 @@ export declare namespace fn {
  * boundary and does not create tracing spans. Use {@link fn} when you need
  * those stack frames or spans. Additional arguments after the generator body
  * act like `pipe` transforms: each transform receives the previous result and
- * the original function arguments. Annotate the generator return type with
+ * the original function arguments. Generator bodies may declare a `this`
+ * parameter; pass `{ self }` before the body to bind `this` when the function
+ * is created. Annotate the generator return type with
  * `Effect.fn.Return<A, E, R>` when the produced `Effect` type needs to be
  * stated explicitly.
  *
@@ -22088,6 +22243,8 @@ export declare const catchEager: {
  *
  * Executes generator functions eagerly when all yielded effects are synchronous,
  * stopping at the first async effect and deferring to normal execution.
+ * Additional arguments after the generator body act like `pipe` transforms, and
+ * `{ self }` before the body binds `this`, as with {@link fnUntraced}.
  *
  * **Example** (Defining eager untraced effect functions)
  *