@typed/fx 2.0.0-beta.3 → 2.0.0-beta.5

package/dist/Fx/constructors/at.js

@@ -4,6 +4,26 @@ import { make } from "./make.js";
 /**
  * Creates an Fx that emits a single value after a specified delay.
  *
+ * @remarks
+ * ## Why
+ *
+ * `at` models a one-shot producer while keeping the delay inside Effect's
+ * interruptible scheduling rather than an unmanaged timer callback.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction starts no timer. Running the `Fx` sleeps, emits exactly once, and
+ * completes after the sink handles the value. Interrupting the run cancels the sleep.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { at, first } from "@typed/fx/Fx"
+ *
+ * const delayed = at("ready", "10 millis")
+ * const program = Effect.map(first(delayed), (value) => value)
+ * ```
+ *
  * @param value - The value to emit.
  * @param delay - The duration to wait before emitting.
  * @returns An `Fx` that emits the value after the delay.

package/dist/Fx/constructors/die.d.ts

@@ -2,6 +2,27 @@ import type { Fx } from "../Fx.js";
 /**
  * Creates an Fx that immediately terminates with a defect (unexpected error).
  *
+ * @remarks
+ * ## Why
+ *
+ * Defects represent unexpected, non-recoverable failures and remain distinct from
+ * the typed `E` channel.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run delivers one defect cause to the sink and emits
+ * no values; it acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Cause, Effect } from "effect"
+ * import { die, observe } from "@typed/fx/Fx"
+ *
+ * const program = observe(die(new Error("broken")), () => Effect.void).pipe(
+ *   Effect.catchCause((cause) => Effect.succeed(Cause.hasDies(cause)))
+ * )
+ * ```
+ *
  * @param defect - The defect value.
  * @returns An `Fx` that dies immediately.
  * @since 1.0.0

package/dist/Fx/constructors/die.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"die.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/die.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;GAOG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAG5D,CAAC"}
+{"version":3,"file":"die.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/die.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAG5D,CAAC"}

package/dist/Fx/constructors/die.js

@@ -4,6 +4,27 @@ import { failCause } from "./failCause.js";
 /**
  * Creates an Fx that immediately terminates with a defect (unexpected error).
  *
+ * @remarks
+ * ## Why
+ *
+ * Defects represent unexpected, non-recoverable failures and remain distinct from
+ * the typed `E` channel.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run delivers one defect cause to the sink and emits
+ * no values; it acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Cause, Effect } from "effect"
+ * import { die, observe } from "@typed/fx/Fx"
+ *
+ * const program = observe(die(new Error("broken")), () => Effect.void).pipe(
+ *   Effect.catchCause((cause) => Effect.succeed(Cause.hasDies(cause)))
+ * )
+ * ```
+ *
  * @param defect - The defect value.
  * @returns An `Fx` that dies immediately.
  * @since 1.0.0

package/dist/Fx/constructors/empty.d.ts

@@ -1,6 +1,24 @@
 import type { Fx } from "../Fx.js";
 /**
  * An Fx that emits no values and completes immediately.
+ *
+ * @remarks
+ * ## Why
+ *
+ * `empty` is the zero-emission producer used for conditional and identity branches.
+ *
+ * ## Ownership and lifetime
+ *
+ * Each run completes synchronously, emits nothing, and acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Option } from "effect"
+ * import { empty, first } from "@typed/fx/Fx"
+ *
+ * const program = Effect.map(first(empty), Option.isNone)
+ * ```
+ *
  * @since 1.0.0
  * @category constructors
  */

package/dist/Fx/constructors/empty.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"empty.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/empty.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAA0C,CAAC"}
+{"version":3,"file":"empty.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/empty.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAA0C,CAAC"}

package/dist/Fx/constructors/empty.js

@@ -2,6 +2,24 @@ import { void as void_ } from "effect/Effect";
 import { make } from "./make.js";
 /**
  * An Fx that emits no values and completes immediately.
+ *
+ * @remarks
+ * ## Why
+ *
+ * `empty` is the zero-emission producer used for conditional and identity branches.
+ *
+ * ## Ownership and lifetime
+ *
+ * Each run completes synchronously, emits nothing, and acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Option } from "effect"
+ * import { empty, first } from "@typed/fx/Fx"
+ *
+ * const program = Effect.map(first(empty), Option.isNone)
+ * ```
+ *
  * @since 1.0.0
  * @category constructors
  */

package/dist/Fx/constructors/fail.d.ts

@@ -2,6 +2,27 @@ import type { Fx } from "../Fx.js";
 /**
  * Creates an Fx that immediately fails with the specified error.
  *
+ * @remarks
+ * ## Why
+ *
+ * `fail` introduces an expected domain error into the typed `E` channel without
+ * emitting a value.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run delivers one typed failure cause to the sink and
+ * acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { fail, first } from "@typed/fx/Fx"
+ *
+ * const program = first(fail("offline")).pipe(
+ *   Effect.catch((error) => Effect.succeed(`failed: ${error}`))
+ * )
+ * ```
+ *
  * @param error - The error to fail with.
  * @returns An `Fx` that fails immediately.
  * @since 1.0.0

package/dist/Fx/constructors/fail.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fail.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fail.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAA6C,CAAC"}
+{"version":3,"file":"fail.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fail.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAA6C,CAAC"}

package/dist/Fx/constructors/fail.js

@@ -4,6 +4,27 @@ import { failCause } from "./failCause.js";
 /**
  * Creates an Fx that immediately fails with the specified error.
  *
+ * @remarks
+ * ## Why
+ *
+ * `fail` introduces an expected domain error into the typed `E` channel without
+ * emitting a value.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run delivers one typed failure cause to the sink and
+ * acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { fail, first } from "@typed/fx/Fx"
+ *
+ * const program = first(fail("offline")).pipe(
+ *   Effect.catch((error) => Effect.succeed(`failed: ${error}`))
+ * )
+ * ```
+ *
  * @param error - The error to fail with.
  * @returns An `Fx` that fails immediately.
  * @since 1.0.0

package/dist/Fx/constructors/failCause.d.ts

@@ -3,6 +3,28 @@ import type { Fx } from "../Fx.js";
 /**
  * Creates an Fx that immediately terminates with the specified Cause.
  *
+ * @remarks
+ * ## Why
+ *
+ * A complete Effect `Cause` can carry typed failures, defects, and interruption
+ * information across an `Fx` boundary without flattening that structure.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run forwards the cause once to `sink.onFailure`, emits
+ * no values, and acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Cause, Effect } from "effect"
+ * import { failCause, observe } from "@typed/fx/Fx"
+ *
+ * const source = failCause(Cause.fail("offline"))
+ * const program = observe(source, () => Effect.void).pipe(
+ *   Effect.catch((error) => Effect.succeed(error))
+ * )
+ * ```
+ *
  * @param cause - The cause of failure.
  * @returns An `Fx` that terminates with the given cause.
  * @since 1.0.0

package/dist/Fx/constructors/failCause.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failCause.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/failCause.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CACD,CAAC"}
+{"version":3,"file":"failCause.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/failCause.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CACD,CAAC"}

package/dist/Fx/constructors/failCause.js

@@ -2,6 +2,28 @@ import { make } from "./make.js";
 /**
  * Creates an Fx that immediately terminates with the specified Cause.
  *
+ * @remarks
+ * ## Why
+ *
+ * A complete Effect `Cause` can carry typed failures, defects, and interruption
+ * information across an `Fx` boundary without flattening that structure.
+ *
+ * ## Ownership and lifetime
+ *
+ * Construction is inert. Each run forwards the cause once to `sink.onFailure`, emits
+ * no values, and acquires no resources.
+ *
+ * @example
+ * ```ts
+ * import { Cause, Effect } from "effect"
+ * import { failCause, observe } from "@typed/fx/Fx"
+ *
+ * const source = failCause(Cause.fail("offline"))
+ * const program = observe(source, () => Effect.void).pipe(
+ *   Effect.catch((error) => Effect.succeed(error))
+ * )
+ * ```
+ *
  * @param cause - The cause of failure.
  * @returns An `Fx` that terminates with the given cause.
  * @since 1.0.0

package/dist/Fx/constructors/fn.d.ts

@@ -2,30 +2,95 @@ import * as Effect from "effect/Effect";
 import type { SpanOptionsNoTrace } from "effect/Tracer";
 import type { unassigned } from "effect/Types";
 import type { Fx } from "../Fx.js";
-/** Extract error type from Yieldable (Effect v4 has no Yieldable.Error) */
-type _YieldableError<Y> = Y extends Effect.Yieldable<any, any, infer E, any> ? E : never;
-/** Extract services type from Yieldable (Effect v4 has no Yieldable.Services) */
-type _YieldableServices<Y> = Y extends Effect.Yieldable<any, any, any, infer R> ? R : never;
 /**
+ * Callable contracts implemented by `fn`.
+ *
+ * @remarks
+ * ## Why
+ *
+ * The namespace keeps generator and non-generator overload families addressable even
+ * though one callable value implements both.
+ *
+ * ## Ownership and lifetime
+ *
+ * These are type-level contracts. They start no Effect or `Fx` run.
+ *
  * @since 1.0.0
  * @category function
  */
 export declare namespace fn {
     /**
+     * Contract for functions whose body yields Effects and returns an `Fx`.
+     *
+     * @remarks
+     * ## Why
+     *
+     * `Gen` combines services and errors from yielded Effects with those of the returned
+     * `Fx`, while retaining the original arguments and `this` type. Optional pipeable
+     * arguments transform the resulting `Fx` without hiding those channels.
+     *
+     * ## Ownership and lifetime
+     *
+     * Defining the function is inert. The body and yielded Effects execute once per run
+     * of the `Fx` returned by an invocation; that run owns acquisition and interruption.
+     *
+     * @example
+     * ```ts
+     * import { Effect } from "effect"
+     * import { Fx } from "@typed/fx"
+     *
+     * const item = Fx.fn(function* (id: number) {
+     *   const prefix = yield* Effect.succeed("item")
+     *   return Fx.succeed(`${prefix}:${id}`)
+     * })
+     * const program = Fx.collectAll(item(1))
+     * ```
+     *
      * @since 1.0.0
      * @category models
      */
     type Gen = {
-        <Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>): (...args: Args) => Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>;
-        <Self, Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>): (this: Self, ...args: Args) => Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>;
-        <Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A): (...args: Args) => A;
-        <Self, Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A): (this: Self, ...args: Args) => A;
-        <Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (...args: Args) => B;
-        <Self, Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (this: Self, ...args: Args) => B;
-        <Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B, C>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (...args: Args) => C;
-        <Self, Eff extends Effect.Yieldable<any, any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B, C>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | _YieldableError<Eff>, Fx.Services<ReturnFx> | _YieldableServices<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (this: Self, ...args: Args) => C;
+        <Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>): (...args: Args) => Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>;
+        <Self, Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>): (this: Self, ...args: Args) => Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>;
+        <Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A): (...args: Args) => A;
+        <Self, Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A): (this: Self, ...args: Args) => A;
+        <Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (...args: Args) => B;
+        <Self, Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (this: Self, ...args: Args) => B;
+        <Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B, C>(body: (this: unassigned, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (...args: Args) => C;
+        <Self, Eff extends Effect.Effect<any, any, any>, ReturnFx extends Fx.Any, Args extends Array<any>, A, B, C>(body: (this: Self, ...args: Args) => Generator<Eff, ReturnFx>, a: (_: Fx<Fx.Success<ReturnFx>, Fx.Error<ReturnFx> | Effect.Error<Eff>, Fx.Services<ReturnFx> | Effect.Services<Eff>>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (this: Self, ...args: Args) => C;
     };
     /**
+     * Contract for functions whose body returns an `Fx` directly.
+     *
+     * @remarks
+     * ## Why
+     *
+     * `NonGen` adds Effect-style tracing and a typed pipeline to ordinary `Fx` factories
+     * without forcing a generator when no Effect acquisition is needed.
+     *
+     * ## Ownership and lifetime
+     *
+     * Defining and invoking the function are both inert. Invocation returns an `Fx`
+     * without evaluating `body`; `Effect.fn` suspends it. Each run evaluates the body
+     * once, then runs its returned producer in that same ownership and interruption
+     * lifetime.
+     *
+     * @example
+     * ```ts
+     * import { Fx } from "@typed/fx"
+     *
+     * let bodyCalls = 0
+     * const greeting = Fx.fn(
+     *   (name: string) => {
+     *     bodyCalls += 1
+     *     return Fx.succeed(name)
+     *   },
+     *   (source) => Fx.map(source, (name) => `hello ${name}`)
+     * )
+     * const source = greeting("Ada") // bodyCalls is still 0
+     * const program = Fx.collectAll(source) // running program increments bodyCalls
+     * ```
+     *
      * @since 1.0.0
      * @category models
      */
@@ -40,8 +105,43 @@ export declare namespace fn {
         <Self, Args extends Array<any>, ReturnFx extends Fx.Any, A, B, C>(body: (this: Self, ...args: Args) => ReturnFx, a: (_: ReturnFx, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (this: Self, ...args: Args) => C;
     };
 }
+/**
+ * Defines a traced function that returns an `Fx`, optionally after yielding Effects.
+ *
+ * @remarks
+ * ## Why
+ *
+ * Producer factories frequently need Effect acquisition before returning an `Fx`.
+ * `fn` lifts that generator into `Fx` with exact combined error and service channels;
+ * direct-return bodies use the same tracing and pipeline surface. Supplying a name
+ * delegates span configuration to Effect's `fn`.
+ *
+ * ## Ownership and lifetime
+ *
+ * Creating the function and invoking it start no stream. For generator bodies, each
+ * run evaluates the body and yielded Effects, then runs the returned `Fx` in the same
+ * structured lifetime. Interruption stops both acquisition and production. Direct
+ * bodies are evaluated lazily through the same unwrap boundary.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ *
+ * const request = Fx.fn("request")(
+ *   function* (id: number) {
+ *     const token = yield* Effect.succeed("token")
+ *     return Fx.succeed({ id, token })
+ *   },
+ *   (source) => Fx.map(source, ({ id }) => id)
+ * )
+ * const program = Fx.collectAll(request(42))
+ * ```
+ *
+ * @since 1.0.0
+ * @category constructors
+ */
 export declare const fn: fn.Gen & fn.NonGen & {
     (name: string, options?: SpanOptionsNoTrace): fn.Gen & fn.NonGen;
 };
-export {};
 //# sourceMappingURL=fn.d.ts.map

package/dist/Fx/constructors/fn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fn.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fn.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC,2EAA2E;AAC3E,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACzF,iFAAiF;AACjF,KAAK,kBAAkB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5F;;;GAGG;AACH,yBAAiB,EAAE,CAAC;IAClB;;;OAGG;IACH,KAAY,GAAG,GAAG;QAChB,CACE,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAEvB,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,GAClE,CACD,GAAG,IAAI,EAAE,IAAI,KACV,EAAE,CACL,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,CAAC;QACF,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAEvB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,GAC5D,CACD,IAAI,EAAE,IAAI,EACV,GAAG,IAAI,EAAE,IAAI,KACV,EAAE,CACL,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,CAAC;QAEF,CACE,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,GACL,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,GACL,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CACE,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CACE,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAChD,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAChD,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;KACrC,CAAC;IAEF;;;OAGG;IACH,KAAY,MAAM,GAAG;QACnB,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,GAClD,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;QAC/B,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EACrD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,GAC5C,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;QAE3C,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAClD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACnC,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EACxD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACnC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC3D,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACxD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9D,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;KACrC,CAAC;CACH;AAED,eAAO,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,GACrB,EAAE,CAAC,MAAM,GAAG;IACV,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC;CAqBpE,CAAC"}
+{"version":3,"file":"fn.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fn.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;GAeG;AACH,yBAAiB,EAAE,CAAC;IAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,KAAY,GAAG,GAAG;QAChB,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACzF,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,GAClE,CACD,GAAG,IAAI,EAAE,IAAI,KACV,EAAE,CACL,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,CAAC;QACF,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAEvB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,GAC5D,CACD,IAAI,EAAE,IAAI,EACV,GAAG,IAAI,EAAE,IAAI,KACV,EAAE,CACL,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,CAAC;QAEF,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAC5F,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,GACL,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,GACL,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CACE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CACE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EACnE,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CACE,IAAI,EACJ,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACxC,QAAQ,SAAS,EAAE,CAAC,GAAG,EACvB,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EACD,CAAC,EAED,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC7D,CAAC,EAAE,CACD,CAAC,EAAE,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EACpB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EACtC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,EACD,GAAG,IAAI,EAAE,IAAI,KACV,CAAC,EACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;KACrC,CAAC;IAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;IACH,KAAY,MAAM,GAAG;QACnB,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,GAClD,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;QAC/B,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EACrD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,GAC5C,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;QAE3C,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAClD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACnC,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EACxD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACnC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC3D,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QAEpC,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACxD,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EACnD,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;QACxB,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9D,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,EAC7C,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAC5B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;KACrC,CAAC;CACH;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,GACrB,EAAE,CAAC,MAAM,GAAG;IACV,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC;CAqBpE,CAAC"}

package/dist/Fx/constructors/fn.js

@@ -1,6 +1,42 @@
 import * as Effect from "effect/Effect";
 import { unwrap } from "../combinators/unwrap.js";
 import { isFx } from "../TypeId.js";
+/**
+ * Defines a traced function that returns an `Fx`, optionally after yielding Effects.
+ *
+ * @remarks
+ * ## Why
+ *
+ * Producer factories frequently need Effect acquisition before returning an `Fx`.
+ * `fn` lifts that generator into `Fx` with exact combined error and service channels;
+ * direct-return bodies use the same tracing and pipeline surface. Supplying a name
+ * delegates span configuration to Effect's `fn`.
+ *
+ * ## Ownership and lifetime
+ *
+ * Creating the function and invoking it start no stream. For generator bodies, each
+ * run evaluates the body and yielded Effects, then runs the returned `Fx` in the same
+ * structured lifetime. Interruption stops both acquisition and production. Direct
+ * bodies are evaluated lazily through the same unwrap boundary.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { Fx } from "@typed/fx"
+ *
+ * const request = Fx.fn("request")(
+ *   function* (id: number) {
+ *     const token = yield* Effect.succeed("token")
+ *     return Fx.succeed({ id, token })
+ *   },
+ *   (source) => Fx.map(source, ({ id }) => id)
+ * )
+ * const program = Fx.collectAll(request(42))
+ * ```
+ *
+ * @since 1.0.0
+ * @category constructors
+ */
 export const fn = function (...args) {
     const [first, ...rest] = args;
     if (typeof first === "string") {

package/dist/Fx/constructors/fromEffect.d.ts

@@ -6,6 +6,27 @@ import type { Fx } from "../Fx.js";
  * If the Effect succeeds, the Fx emits the value and completes.
  * If the Effect fails, the Fx fails with the same error.
  *
+ * @remarks
+ * ## Why
+ *
+ * A single Effect result can enter push composition without losing its typed error
+ * or service requirements.
+ *
+ * ## Ownership and lifetime
+ *
+ * Conversion is lazy. Each run executes the Effect once in the run's fiber, forwards
+ * its success or full cause to the sink, and completes after the sink handler. The
+ * run's interruption and scope own any acquisition performed by the Effect.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { collectAll, fromEffect } from "@typed/fx/Fx"
+ *
+ * const source = fromEffect(Effect.succeed(42))
+ * const program = collectAll(source)
+ * ```
+ *
  * @param effect - The effect to convert.
  * @returns An `Fx` representing the execution of the effect.
  * @since 1.0.0
@@ -13,7 +34,28 @@ import type { Fx } from "../Fx.js";
  */
 export declare const fromEffect: <A, E = never, R = never>(effect: Effect.Effect<A, E, R>) => Fx<A, E, R>;
 /**
- * An Fx that runs forever without emitting any values.
+ * An Fx that waits forever without emitting a value.
+ *
+ * @remarks
+ * ## Why
+ *
+ * `never` models an intentionally open producer and is useful as a neutral branch in
+ * races, switches, and lifetime tests.
+ *
+ * ## Ownership and lifetime
+ *
+ * Each run remains suspended until its owning fiber is interrupted. It allocates no
+ * independent timer or background fiber.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Fiber } from "effect"
+ * import { fork, never } from "@typed/fx/Fx"
+ *
+ * const running = fork(never)
+ * const program = Effect.flatMap(running, Fiber.interrupt)
+ * ```
+ *
  * @since 1.0.0
  * @category constructors
  */

package/dist/Fx/constructors/fromEffect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fromEffect.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fromEffect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CACjB,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAiD,CAAC"}
+{"version":3,"file":"fromEffect.d.ts","sourceRoot":"","sources":["../../../src/Fx/constructors/fromEffect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAGnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CACjB,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAiD,CAAC"}

package/dist/Fx/constructors/fromEffect.js

@@ -6,6 +6,27 @@ import { make } from "./make.js";
  * If the Effect succeeds, the Fx emits the value and completes.
  * If the Effect fails, the Fx fails with the same error.
  *
+ * @remarks
+ * ## Why
+ *
+ * A single Effect result can enter push composition without losing its typed error
+ * or service requirements.
+ *
+ * ## Ownership and lifetime
+ *
+ * Conversion is lazy. Each run executes the Effect once in the run's fiber, forwards
+ * its success or full cause to the sink, and completes after the sink handler. The
+ * run's interruption and scope own any acquisition performed by the Effect.
+ *
+ * @example
+ * ```ts
+ * import { Effect } from "effect"
+ * import { collectAll, fromEffect } from "@typed/fx/Fx"
+ *
+ * const source = fromEffect(Effect.succeed(42))
+ * const program = collectAll(source)
+ * ```
+ *
  * @param effect - The effect to convert.
  * @returns An `Fx` representing the execution of the effect.
  * @since 1.0.0
@@ -14,7 +35,28 @@ import { make } from "./make.js";
 export const fromEffect = (effect) => 
 /*#__PURE__*/ make((sink) => Effect.matchCauseEffect(effect, sink));
 /**
- * An Fx that runs forever without emitting any values.
+ * An Fx that waits forever without emitting a value.
+ *
+ * @remarks
+ * ## Why
+ *
+ * `never` models an intentionally open producer and is useful as a neutral branch in
+ * races, switches, and lifetime tests.
+ *
+ * ## Ownership and lifetime
+ *
+ * Each run remains suspended until its owning fiber is interrupted. It allocates no
+ * independent timer or background fiber.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Fiber } from "effect"
+ * import { fork, never } from "@typed/fx/Fx"
+ *
+ * const running = fork(never)
+ * const program = Effect.flatMap(running, Fiber.interrupt)
+ * ```
+ *
  * @since 1.0.0
  * @category constructors
  */