effect 4.0.7 → 4.1.0

package/src/Effect.ts

@@ -8323,6 +8323,9 @@ export const sandbox: <A, E, R>(
  *
  * 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**
  *
@@ -8363,16 +8366,16 @@ export const sandbox: <A, E, R>(
  */
 export 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>
@@ -8390,6 +8393,9 @@ export const ignore: <
  *
  * 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)
  *
@@ -8408,16 +8414,16 @@ export const ignore: <
  */
 export 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>
@@ -19172,6 +19178,18 @@ export declare namespace fn {
         : [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>,
@@ -19203,6 +19221,22 @@ export declare namespace fn {
         ...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: (
@@ -19235,6 +19269,23 @@ export declare namespace fn {
       ) => 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,
@@ -19284,6 +19335,32 @@ export declare namespace fn {
       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,
@@ -19337,6 +19414,34 @@ export declare namespace fn {
       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,
@@ -19394,6 +19499,36 @@ export declare namespace fn {
       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,
@@ -19455,6 +19590,38 @@ export declare namespace fn {
       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,
@@ -19520,6 +19687,40 @@ export declare namespace fn {
       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,
@@ -19589,6 +19790,42 @@ export declare namespace fn {
       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,
@@ -19638,7 +19875,499 @@ export declare namespace fn {
       F,
       G,
       H,
-      I
+      I
+    >(
+      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
+    ): (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,
+          [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
+    <
+      Self,
+      Eff extends Effect<any, any, any>,
+      AEff,
+      Args extends Array<any>,
+      A,
+      B,
+      C,
+      D,
+      E,
+      F,
+      G,
+      H,
+      I,
+      J
+    >(
+      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
+    ): (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,
+          [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
+    <
+      Self,
+      Eff extends Effect<any, any, any>,
+      AEff,
+      Args extends Array<any>,
+      A,
+      B,
+      C,
+      D,
+      E,
+      F,
+      G,
+      H,
+      I,
+      J,
+      K
+    >(
+      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
+    ): (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,
+          [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
+    <
+      Self,
+      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: 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
+    ): (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,
+          [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
+    <
+      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
     >(
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -19660,9 +20389,14 @@ export declare namespace fn {
       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
+      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>,
@@ -19675,9 +20409,13 @@ export declare namespace fn {
       G,
       H,
       I,
-      J
+      J,
+      K,
+      L,
+      M
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      options: { readonly self: Self },
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -19698,10 +20436,12 @@ export declare namespace fn {
       g: (_: F, ...args: Args) => G,
       h: (_: G, ...args: Args) => H,
       i: (_: H, ...args: Args) => I,
-      j: (_: I, ...args: Args) => J
-    ): (...args: Args) => J
+      j: (_: I, ...args: Args) => J,
+      k: (_: J, ...args: Args) => K,
+      l: (_: K, ...args: Args) => L,
+      m: (_: L, ...args: Args) => M
+    ): (...args: Args) => M
     <
-      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -19714,9 +20454,13 @@ export declare namespace fn {
       G,
       H,
       I,
-      J
+      J,
+      K,
+      L,
+      M,
+      N
     >(
-      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -19737,9 +20481,14 @@ export declare namespace fn {
       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
+      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
     <
+      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -19753,9 +20502,12 @@ export declare namespace fn {
       H,
       I,
       J,
-      K
+      K,
+      L,
+      M,
+      N
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -19777,8 +20529,11 @@ export declare namespace fn {
       h: (_: G, ...args: Args) => H,
       i: (_: H, ...args: Args) => I,
       j: (_: I, ...args: Args) => J,
-      k: (_: J, ...args: Args) => K
-    ): (...args: Args) => K
+      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>,
@@ -19794,8 +20549,12 @@ export declare namespace fn {
       H,
       I,
       J,
-      K
+      K,
+      L,
+      M,
+      N
     >(
+      options: { readonly self: Self },
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
@@ -19818,8 +20577,11 @@ export declare namespace fn {
       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
+      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,
@@ -19835,7 +20597,10 @@ export declare namespace fn {
       I,
       J,
       K,
-      L
+      L,
+      M,
+      N,
+      O
     >(
       body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -19860,8 +20625,11 @@ export declare namespace fn {
       i: (_: H, ...args: Args) => I,
       j: (_: I, ...args: Args) => J,
       k: (_: J, ...args: Args) => K,
-      l: (_: K, ...args: Args) => L
-    ): (...args: Args) => L
+      l: (_: K, ...args: Args) => L,
+      m: (_: L, ...args: Args) => M,
+      n: (_: M, ...args: Args) => N,
+      o: (_: N, ...args: Args) => O
+    ): (...args: Args) => O
     <
       Self,
       Eff extends Effect<any, any, any>,
@@ -19878,7 +20646,10 @@ export declare namespace fn {
       I,
       J,
       K,
-      L
+      L,
+      M,
+      N,
+      O
     >(
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -19903,9 +20674,13 @@ export declare namespace fn {
       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
+      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>,
@@ -19921,9 +20696,12 @@ export declare namespace fn {
       J,
       K,
       L,
-      M
+      M,
+      N,
+      O
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      options: { readonly self: Self },
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -19947,10 +20725,11 @@ export declare namespace fn {
       j: (_: I, ...args: Args) => J,
       k: (_: J, ...args: Args) => K,
       l: (_: K, ...args: Args) => L,
-      m: (_: L, ...args: Args) => M
-    ): (...args: Args) => M
+      m: (_: L, ...args: Args) => M,
+      n: (_: M, ...args: Args) => N,
+      o: (_: N, ...args: Args) => O
+    ): (...args: Args) => O
     <
-      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -19966,9 +20745,12 @@ export declare namespace fn {
       J,
       K,
       L,
-      M
+      M,
+      N,
+      O,
+      P
     >(
-      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -19992,9 +20774,13 @@ export declare namespace fn {
       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
+      m: (_: L, ...args: Args) => M,
+      n: (_: M, ...args: Args) => N,
+      o: (_: N, ...args: Args) => O,
+      p: (_: O, ...args: Args) => P
+    ): (...args: Args) => P
     <
+      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -20011,9 +20797,11 @@ export declare namespace fn {
       K,
       L,
       M,
-      N
+      N,
+      O,
+      P
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20038,8 +20826,10 @@ export declare namespace fn {
       k: (_: J, ...args: Args) => K,
       l: (_: K, ...args: Args) => L,
       m: (_: L, ...args: Args) => M,
-      n: (_: M, ...args: Args) => N
-    ): (...args: Args) => N
+      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>,
@@ -20058,8 +20848,11 @@ export declare namespace fn {
       K,
       L,
       M,
-      N
+      N,
+      O,
+      P
     >(
+      options: { readonly self: Self },
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
@@ -20085,8 +20878,10 @@ export declare namespace fn {
       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
+      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,
@@ -20105,7 +20900,9 @@ export declare namespace fn {
       L,
       M,
       N,
-      O
+      O,
+      P,
+      Q
     >(
       body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -20133,8 +20930,10 @@ export declare namespace fn {
       l: (_: K, ...args: Args) => L,
       m: (_: L, ...args: Args) => M,
       n: (_: M, ...args: Args) => N,
-      o: (_: N, ...args: Args) => O
-    ): (...args: Args) => O
+      o: (_: N, ...args: Args) => O,
+      p: (_: O, ...args: Args) => P,
+      q: (_: P, ...args: Args) => Q
+    ): (...args: Args) => Q
     <
       Self,
       Eff extends Effect<any, any, any>,
@@ -20154,7 +20953,9 @@ export declare namespace fn {
       L,
       M,
       N,
-      O
+      O,
+      P,
+      Q
     >(
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -20182,9 +20983,12 @@ export declare namespace fn {
       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
+      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>,
@@ -20203,9 +21007,11 @@ export declare namespace fn {
       M,
       N,
       O,
-      P
+      P,
+      Q
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      options: { readonly self: Self },
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20232,10 +21038,10 @@ export declare namespace fn {
       m: (_: L, ...args: Args) => M,
       n: (_: M, ...args: Args) => N,
       o: (_: N, ...args: Args) => O,
-      p: (_: O, ...args: Args) => P
-    ): (...args: Args) => P
+      p: (_: O, ...args: Args) => P,
+      q: (_: P, ...args: Args) => Q
+    ): (...args: Args) => Q
     <
-      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -20254,9 +21060,11 @@ export declare namespace fn {
       M,
       N,
       O,
-      P
+      P,
+      Q,
+      R
     >(
-      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20283,9 +21091,12 @@ export declare namespace fn {
       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
+      p: (_: O, ...args: Args) => P,
+      q: (_: P, ...args: Args) => Q,
+      r: (_: Q, ...args: Args) => R
+    ): (...args: Args) => R
     <
+      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -20305,9 +21116,10 @@ export declare namespace fn {
       N,
       O,
       P,
-      Q
+      Q,
+      R
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20335,8 +21147,9 @@ export declare namespace fn {
       n: (_: M, ...args: Args) => N,
       o: (_: N, ...args: Args) => O,
       p: (_: O, ...args: Args) => P,
-      q: (_: P, ...args: Args) => Q
-    ): (...args: Args) => Q
+      q: (_: P, ...args: Args) => Q,
+      r: (_: Q, ...args: Args) => R
+    ): (this: Self, ...args: Args) => R
     <
       Self,
       Eff extends Effect<any, any, any>,
@@ -20358,8 +21171,10 @@ export declare namespace fn {
       N,
       O,
       P,
-      Q
+      Q,
+      R
     >(
+      options: { readonly self: Self },
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
@@ -20388,8 +21203,9 @@ export declare namespace fn {
       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
+      q: (_: P, ...args: Args) => Q,
+      r: (_: Q, ...args: Args) => R
+    ): (...args: Args) => R
     <
       Eff extends Effect<any, any, any>,
       AEff,
@@ -20411,7 +21227,8 @@ export declare namespace fn {
       O,
       P,
       Q,
-      R
+      R,
+      S
     >(
       body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -20442,8 +21259,9 @@ export declare namespace fn {
       o: (_: N, ...args: Args) => O,
       p: (_: O, ...args: Args) => P,
       q: (_: P, ...args: Args) => Q,
-      r: (_: Q, ...args: Args) => R
-    ): (...args: Args) => R
+      r: (_: Q, ...args: Args) => R,
+      s: (_: R, ...args: Args) => S
+    ): (...args: Args) => S
     <
       Self,
       Eff extends Effect<any, any, any>,
@@ -20466,7 +21284,8 @@ export declare namespace fn {
       O,
       P,
       Q,
-      R
+      R,
+      S
     >(
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
@@ -20497,9 +21316,11 @@ export declare namespace fn {
       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
+      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>,
@@ -20523,7 +21344,8 @@ export declare namespace fn {
       R,
       S
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      options: { readonly self: Self },
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20556,7 +21378,6 @@ export declare namespace fn {
       s: (_: R, ...args: Args) => S
     ): (...args: Args) => S
     <
-      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -20578,9 +21399,10 @@ export declare namespace fn {
       P,
       Q,
       R,
-      S
+      S,
+      T
     >(
-      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20610,9 +21432,11 @@ export declare namespace fn {
       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
+      s: (_: R, ...args: Args) => S,
+      t: (_: S, ...args: Args) => T
+    ): (...args: Args) => T
     <
+      Self,
       Eff extends Effect<any, any, any>,
       AEff,
       Args extends Array<any>,
@@ -20637,7 +21461,7 @@ export declare namespace fn {
       S,
       T
     >(
-      body: (this: unassigned, ...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -20669,7 +21493,7 @@ export declare namespace fn {
       r: (_: Q, ...args: Args) => R,
       s: (_: R, ...args: Args) => S,
       t: (_: S, ...args: Args) => T
-    ): (...args: Args) => T
+    ): (this: Self, ...args: Args) => T
     <
       Self,
       Eff extends Effect<any, any, any>,
@@ -20696,6 +21520,7 @@ export declare namespace fn {
       S,
       T
     >(
+      options: { readonly self: Self },
       body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
@@ -20728,7 +21553,7 @@ export declare namespace fn {
       r: (_: Q, ...args: Args) => R,
       s: (_: R, ...args: Args) => S,
       t: (_: S, ...args: Args) => T
-    ): (this: Self, ...args: Args) => T
+    ): (...args: Args) => T
   }
 
   /**
@@ -23192,7 +24017,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.
  *
@@ -27159,6 +27986,8 @@ export 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)
  *