effect 4.0.0-beta.4 → 4.0.0-beta.41

package/dist/Utils.d.ts

@@ -1,23 +1,101 @@
-import type { Kind, TypeLambda } from "./HKT.ts";
-import type * as Types from "./Types.ts";
-/**
- * @since 2.0.0
- */
-declare const GenKindTypeId = "~effect/Utils/GenKind";
 /**
- * @category models
+ * Internal utilities for the Effect ecosystem's generator-based syntax and
+ * higher-kinded type machinery.
+ *
+ * ## Mental model
+ *
+ * - **SingleShotGen** — an `IterableIterator` wrapper that yields its value
+ *   exactly once. Used internally by `[Symbol.iterator]()` on Effect, Option,
+ *   Result, and other yieldable types so they work inside generator functions.
+ * - **Gen** — a type-level signature for generator-based monadic composition
+ *   (`gen` functions). Parametric over any `TypeLambda` so each module
+ *   (Effect, Option, Result, ...) can expose its own `gen` with correct types.
+ * - **Variance** — a type-level marker that encodes the variance (covariant,
+ *   contravariant, invariant) of a `TypeLambda`'s type parameters.
+ *   Used by {@link Gen} for type inference.
+ *
+ * ## Common tasks
+ *
+ * - Make a type yieldable in generators -> implement `[Symbol.iterator]()` returning a {@link SingleShotGen}
+ * - Define a generator-based API for a new TypeLambda -> type it as {@link Gen}`<MyTypeLambda>`
+ * - Encode variance for a higher-kinded type -> use {@link Variance}
+ *
+ * ## Gotchas
+ *
+ * - {@link SingleShotGen} yields its value only on the first `.next()` call.
+ *   Calling `.next()` again returns `{ done: true }`. Iterating the same
+ *   instance twice will skip the value on the second pass; call
+ *   `[Symbol.iterator]()` to get a fresh iterator.
+ * - {@link Gen} and {@link Variance} are pure type-level constructs — they
+ *   have no runtime representation.
+ *
+ * ## Quickstart
+ *
+ * **Example** (Using SingleShotGen to make a type yieldable)
+ *
+ * ```ts
+ * import { Utils } from "effect"
+ *
+ * class MyWrapper<A> {
+ *   constructor(readonly value: A) {}
+ *   [Symbol.iterator]() {
+ *     return new Utils.SingleShotGen<MyWrapper<A>, A>(this)
+ *   }
+ * }
+ *
+ * const w = new MyWrapper(42)
+ * const iter = w[Symbol.iterator]()
+ * console.log(iter.next(undefined as any))
+ * // { value: MyWrapper { value: 42 }, done: false }
+ * console.log(iter.next(42))
+ * // { value: 42, done: true }
+ * ```
+ *
+ * @see {@link SingleShotGen}
+ * @see {@link Gen}
+ * @see {@link Variance}
+ *
  * @since 2.0.0
  */
-export interface GenKind<F extends TypeLambda, R, O, E, A> extends Variance<F, R, O, E> {
-    readonly value: Kind<F, R, O, E, A>;
-    [Symbol.iterator](): IterableIterator<GenKind<F, R, O, E, A>, A>;
-}
-/**
- * @category predicates
- * @since 3.0.6
- */
-export declare const isGenKind: (u: unknown) => u is GenKind<any, any, any, any, any>;
+import type { Kind, TypeLambda } from "./HKT.ts";
+import type * as Types from "./Types.ts";
 /**
+ * An `IterableIterator` that yields its wrapped value exactly once.
+ *
+ * When to use:
+ *
+ * - Implement `[Symbol.iterator]()` on Effect-like types so they can be
+ *   `yield*`-ed inside generator functions (e.g. `Effect.gen`, `Option.gen`).
+ * - You almost never construct this directly — it is created internally by
+ *   yieldable types.
+ *
+ * Behavior:
+ *
+ * - The first call to `next()` returns `{ value: self, done: false }`.
+ * - Every subsequent call returns `{ value: a, done: true }` where `a` is
+ *   the argument passed to `next()`.
+ * - `[Symbol.iterator]()` returns a **new** `SingleShotGen` wrapping the same
+ *   value, so the outer type can be iterated multiple times.
+ * - Does not mutate the wrapped value.
+ *
+ * **Example** (Yielding a wrapped value in a generator)
+ *
+ * ```ts
+ * import { Utils } from "effect"
+ *
+ * const gen = new Utils.SingleShotGen<string, number>("hello")
+ *
+ * // First call yields the wrapped value
+ * console.log(gen.next(0))
+ * // { value: "hello", done: false }
+ *
+ * // Second call signals completion with the provided value
+ * console.log(gen.next(42))
+ * // { value: 42, done: true }
+ * ```
+ *
+ * @see {@link Gen} — the type-level signature that relies on `SingleShotGen`
+ *
  * @category constructors
  * @since 2.0.0
  */
@@ -35,17 +113,29 @@ export declare class SingleShotGen<T, A> implements IterableIterator<T, A> {
     [Symbol.iterator](): IterableIterator<T, A>;
 }
 /**
- * @category constructors
- * @since 2.0.0
- */
-export declare const makeGenKind: <F extends TypeLambda, R, O, E, A>(kind: Kind<F, R, O, E, A>) => GenKind<F, R, O, E, A>;
-/**
- * @example
+ * Type-level marker encoding the variance of a `TypeLambda`'s type
+ * parameters.
+ *
+ * When to use:
+ *
+ * - Define variance constraints for a higher-kinded type so that
+ *   {@link Gen} can correctly infer `R`, `O`, and `E` from yielded values.
+ * - You typically don't construct values of this type — it exists purely for
+ *   type inference.
+ *
+ * Behavior:
+ *
+ * - `F` is invariant (must match exactly).
+ * - `R` is contravariant (input / environment position).
+ * - `O` and `E` are covariant (output / error position).
+ * - Pure type-level construct — no runtime representation.
+ *
+ * **Example** (Declaring variance for a TypeLambda)
+ *
  * ```ts
  * import type { Utils } from "effect"
  * import type * as Option from "effect/Option"
  *
- * // Variance defines the type parameter relationships
  * declare const variance: Utils.Variance<
  *   Option.OptionTypeLambda,
  *   never,
@@ -54,25 +144,46 @@ export declare const makeGenKind: <F extends TypeLambda, R, O, E, A>(kind: Kind<
  * >
  * ```
  *
+ * @see {@link Gen} — uses `Variance` for type parameter inference
+ *
  * @category models
  * @since 2.0.0
  */
 export interface Variance<in out F extends TypeLambda, in R, out O, out E> {
-    readonly [GenKindTypeId]: typeof GenKindTypeId;
     readonly _F: Types.Invariant<F>;
     readonly _R: Types.Contravariant<R>;
     readonly _O: Types.Covariant<O>;
     readonly _E: Types.Covariant<E>;
 }
 /**
- * @example
+ * Type-level signature for generator-based monadic composition over any
+ * `TypeLambda`.
+ *
+ * When to use:
+ *
+ * - Type the `gen` function of a module that supports generator syntax
+ *   (e.g. `Option.gen`, `Result.gen`, `Effect.gen`).
+ * - Accepts either `(body)` or `(self, body)` where `body` is a generator
+ *   function. The `self` overload binds `this` inside the generator.
+ *
+ * Behavior:
+ *
+ * - Pure type alias — no runtime behavior.
+ * - Infers `R`, `O`, `E` from the yielded values via {@link Variance} or
+ *   `Kind` constraints.
+ * - The generator's return type `A` becomes the output's `A` parameter.
+ *
+ * **Example** (Typing a gen function for Option)
+ *
  * ```ts
  * import type { Option, Utils } from "effect"
  *
- * // Gen enables generator-based syntax for any TypeLambda
  * declare const gen: Utils.Gen<Option.OptionTypeLambda>
  * ```
  *
+ * @see {@link Variance} — encodes the variance used for inference
+ * @see {@link SingleShotGen} — the iterator protocol that makes yielding work
+ *
  * @category models
  * @since 2.0.0
  */
@@ -88,43 +199,4 @@ export type Gen<F extends TypeLambda> = <Self, K extends Variance<F, any, any, a
 ] extends [Variance<F, any, infer O, any>] ? O : [K] extends [Kind<F, any, infer O, any, any>] ? O : never, [
     K
 ] extends [Variance<F, any, any, infer E>] ? E : [K] extends [Kind<F, any, any, infer E, any>] ? E : never, A>;
-/**
- * @example
- * ```ts
- * import type { Utils } from "effect"
- *
- * const value1: Utils.OptionalNumber = 42
- * const value2: Utils.OptionalNumber = null
- * const value3: Utils.OptionalNumber = undefined
- * ```
- *
- * @category models
- * @since 2.0.0
- */
-export type OptionalNumber = number | null | undefined;
-/**
- * @since 3.2.2
- * @status experimental
- * @category tracing
- */
-export declare const internalCall: <A>(body: () => A) => A;
-/**
- * @example
- * ```ts
- * import { Utils } from "effect"
- *
- * function* generatorFn() {
- *   yield 1
- *   yield 2
- * }
- *
- * console.log(Utils.isGeneratorFunction(generatorFn)) // true
- * console.log(Utils.isGeneratorFunction(() => {})) // false
- * ```
- *
- * @category predicates
- * @since 3.11.0
- */
-export declare const isGeneratorFunction: (u: unknown) => u is (...args: Array<any>) => Generator<any, any, any>;
-export {};
 //# sourceMappingURL=Utils.d.ts.map

package/dist/Utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../src/Utils.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAEhD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;GAEG;AACH,QAAA,MAAM,aAAa,0BAA0B,CAAA;AAE7C;;;GAGG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACjE;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAsC,CAAA;AAkCjH;;;GAGG;AACH,qBAAa,aAAa,CAAC,CAAC,EAAE,CAAC,CAAE,YAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,MAAM,CAAQ;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;gBAEJ,IAAI,EAAE,CAAC;IAInB;;OAEG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;OAEG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1D,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACxB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAA0B,CAAA;AAElD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,aAAa,CAAA;IAC9C,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAChC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,CACtC,IAAI,EACJ,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAClE,CAAC,EAED,GAAG,IAAI,EACH;IACA,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CAC7C,GACC;IACA,IAAI,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CACnC,KACA,IAAI,CACP,CAAC,EACD;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT,CAAC,CACF,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;AAsBtD;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAtBJ,CAAC,QAAQ,MAAM,CAAC,MAsB6D,CAAA;AAIlG;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,mBAAmB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CACrD,CAAA"}
+{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../src/Utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,qBAAa,aAAa,CAAC,CAAC,EAAE,CAAC,CAAE,YAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,MAAM,CAAQ;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;gBAEJ,IAAI,EAAE,CAAC;IAInB;;OAEG;IACH,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAahC;;OAEG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;CAG5C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,WAAW,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,UAAU,IAAI,CACtC,IAAI,EACJ,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAClE,CAAC,EAED,GAAG,IAAI,EACH;IACA,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CAC7C,GACC;IACA,IAAI,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;CACnC,KACA,IAAI,CACP,CAAC,EACD;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT;IAAC,CAAC;CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAC5C,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GACjD,KAAK,EACT,CAAC,CACF,CAAA"}

package/dist/Utils.js

@@ -1,40 +1,40 @@
 /**
- * @since 2.0.0
- */
-import { identity } from "./Function.js";
-import { isObject } from "./Predicate.js";
-/**
- * @since 2.0.0
- */
-const GenKindTypeId = "~effect/Utils/GenKind";
-/**
- * @category predicates
- * @since 3.0.6
- */
-export const isGenKind = u => isObject(u) && GenKindTypeId in u;
-class GenKindImpl {
-  value;
-  constructor(value) {
-    this.value = value;
-  }
-  get _F() {
-    return identity;
-  }
-  get _R() {
-    return _ => _;
-  }
-  get _O() {
-    return _ => _;
-  }
-  get _E() {
-    return _ => _;
-  }
-  [GenKindTypeId] = GenKindTypeId;
-  [Symbol.iterator]() {
-    return new SingleShotGen(this);
-  }
-}
-/**
+ * An `IterableIterator` that yields its wrapped value exactly once.
+ *
+ * When to use:
+ *
+ * - Implement `[Symbol.iterator]()` on Effect-like types so they can be
+ *   `yield*`-ed inside generator functions (e.g. `Effect.gen`, `Option.gen`).
+ * - You almost never construct this directly — it is created internally by
+ *   yieldable types.
+ *
+ * Behavior:
+ *
+ * - The first call to `next()` returns `{ value: self, done: false }`.
+ * - Every subsequent call returns `{ value: a, done: true }` where `a` is
+ *   the argument passed to `next()`.
+ * - `[Symbol.iterator]()` returns a **new** `SingleShotGen` wrapping the same
+ *   value, so the outer type can be iterated multiple times.
+ * - Does not mutate the wrapped value.
+ *
+ * **Example** (Yielding a wrapped value in a generator)
+ *
+ * ```ts
+ * import { Utils } from "effect"
+ *
+ * const gen = new Utils.SingleShotGen<string, number>("hello")
+ *
+ * // First call yields the wrapped value
+ * console.log(gen.next(0))
+ * // { value: "hello", done: false }
+ *
+ * // Second call signals completion with the provided value
+ * console.log(gen.next(42))
+ * // { value: 42, done: true }
+ * ```
+ *
+ * @see {@link Gen} — the type-level signature that relies on `SingleShotGen`
+ *
  * @category constructors
  * @since 2.0.0
  */
@@ -63,12 +63,7 @@ export class SingleShotGen {
     return new SingleShotGen(this.self);
   }
 }
-/**
- * @category constructors
- * @since 2.0.0
- */
-export const makeGenKind = kind => new GenKindImpl(kind);
-const InternalTypeId = "~effect/Effect/internal";
+const InternalTypeId = "~effect/Utils/internal";
 const standard = {
   [InternalTypeId]: body => {
     return body();
@@ -84,29 +79,6 @@ const forced = {
   }
 };
 const isNotOptimizedAway = /*#__PURE__*/standard[InternalTypeId](() => new Error().stack)?.includes(InternalTypeId) === true;
-/**
- * @since 3.2.2
- * @status experimental
- * @category tracing
- */
+/** @internal */
 export const internalCall = isNotOptimizedAway ? standard[InternalTypeId] : forced[InternalTypeId];
-const genConstructor = function* () {}.constructor;
-/**
- * @example
- * ```ts
- * import { Utils } from "effect"
- *
- * function* generatorFn() {
- *   yield 1
- *   yield 2
- * }
- *
- * console.log(Utils.isGeneratorFunction(generatorFn)) // true
- * console.log(Utils.isGeneratorFunction(() => {})) // false
- * ```
- *
- * @category predicates
- * @since 3.11.0
- */
-export const isGeneratorFunction = u => isObject(u) && u.constructor === genConstructor;
 //# sourceMappingURL=Utils.js.map

package/dist/Utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"Utils.js","names":["identity","isObject","GenKindTypeId","isGenKind","u","GenKindImpl","value","constructor","_F","_R","_","_O","_E","Symbol","iterator","SingleShotGen","called","self","next","a","done","makeGenKind","kind","InternalTypeId","standard","body","forced","isNotOptimizedAway","Error","stack","includes","internalCall","genConstructor","isGeneratorFunction"],"sources":["../src/Utils.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,SAASA,QAAQ,QAAQ,eAAe;AAExC,SAASC,QAAQ,QAAQ,gBAAgB;AAGzC;;;AAGA,MAAMC,aAAa,GAAG,uBAAuB;AAY7C;;;;AAIA,OAAO,MAAMC,SAAS,GAAIC,CAAU,IAA4CH,QAAQ,CAACG,CAAC,CAAC,IAAIF,aAAa,IAAIE,CAAC;AAEjH,MAAMC,WAAW;EACNC,KAAK;EAEdC,YACED,KAA0B;IAE1B,IAAI,CAACA,KAAK,GAAGA,KAAK;EACpB;EAEA,IAAIE,EAAEA,CAAA;IACJ,OAAOR,QAAQ;EACjB;EAEA,IAAIS,EAAEA,CAAA;IACJ,OAAQC,CAAI,IAAKA,CAAC;EACpB;EAEA,IAAIC,EAAEA,CAAA;IACJ,OAAQD,CAAQ,IAAQA,CAAC;EAC3B;EAEA,IAAIE,EAAEA,CAAA;IACJ,OAAQF,CAAQ,IAAQA,CAAC;EAC3B;EAES,CAACR,aAAa,IAA0BA,aAAa;EAE9D,CAACW,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIC,aAAa,CAA4B,IAAW,CAAC;EAClE;;AAGF;;;;AAIA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbV,YAAYU,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;EAGAC,IAAIA,CAACC,CAAI;IACP,OAAO,IAAI,CAACH,MAAM,GACf;MACCV,KAAK,EAAEa,CAAC;MACRC,IAAI,EAAE;KACP,IACA,IAAI,CAACJ,MAAM,GAAG,IAAI,EAChB;MACCV,KAAK,EAAE,IAAI,CAACW,IAAI;MAChBG,IAAI,EAAE;KACN,CAAC;EACT;EAEA;;;EAGA,CAACP,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIC,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AAGF;;;;AAIA,OAAO,MAAMI,WAAW,GACtBC,IAAyB,IACE,IAAIjB,WAAW,CAACiB,IAAI,CAAC;AAkFlD,MAAMC,cAAc,GAAG,yBAAyB;AAEhD,MAAMC,QAAQ,GAAG;EACf,CAACD,cAAc,GAAOE,IAAa,IAAI;IACrC,OAAOA,IAAI,EAAE;EACf;CACD;AAED,MAAMC,MAAM,GAAG;EACb,CAACH,cAAc,GAAOE,IAAa,IAAI;IACrC,IAAI;MACF,OAAOA,IAAI,EAAE;IACf,CAAC,SAAS;MACR;IAAA;EAEJ;CACD;AAED,MAAME,kBAAkB,GAAG,aAAAH,QAAQ,CAACD,cAAc,CAAC,CAAC,MAAM,IAAIK,KAAK,EAAE,CAACC,KAAK,CAAC,EAAEC,QAAQ,CAACP,cAAc,CAAC,KAAK,IAAI;AAE/G;;;;;AAKA,OAAO,MAAMQ,YAAY,GAAGJ,kBAAkB,GAAGH,QAAQ,CAACD,cAAc,CAAC,GAAGG,MAAM,CAACH,cAAc,CAAC;AAElG,MAAMS,cAAc,GAAI,aAAS,CAAI,CAAC,CAAEzB,WAAW;AAEnD;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM0B,mBAAmB,GAAI7B,CAAU,IAC5CH,QAAQ,CAACG,CAAC,CAAC,IAAIA,CAAC,CAACG,WAAW,KAAKyB,cAAc","ignoreList":[]}
+{"version":3,"file":"Utils.js","names":["SingleShotGen","called","self","constructor","next","a","value","done","Symbol","iterator","InternalTypeId","standard","body","forced","isNotOptimizedAway","Error","stack","includes","internalCall"],"sources":["../src/Utils.ts"],"sourcesContent":[null],"mappings":"AA8DA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCA,OAAM,MAAOA,aAAa;EAChBC,MAAM,GAAG,KAAK;EACbC,IAAI;EAEbC,YAAYD,IAAO;IACjB,IAAI,CAACA,IAAI,GAAGA,IAAI;EAClB;EAEA;;;EAGAE,IAAIA,CAACC,CAAI;IACP,OAAO,IAAI,CAACJ,MAAM,GACf;MACCK,KAAK,EAAED,CAAC;MACRE,IAAI,EAAE;KACP,IACA,IAAI,CAACN,MAAM,GAAG,IAAI,EAChB;MACCK,KAAK,EAAE,IAAI,CAACJ,IAAI;MAChBK,IAAI,EAAE;KACN,CAAC;EACT;EAEA;;;EAGA,CAACC,MAAM,CAACC,QAAQ,IAAC;IACf,OAAO,IAAIT,aAAa,CAAO,IAAI,CAACE,IAAI,CAAC;EAC3C;;AA0GF,MAAMQ,cAAc,GAAG,wBAAwB;AAE/C,MAAMC,QAAQ,GAAG;EACf,CAACD,cAAc,GAAOE,IAAa,IAAI;IACrC,OAAOA,IAAI,EAAE;EACf;CACD;AAED,MAAMC,MAAM,GAAG;EACb,CAACH,cAAc,GAAOE,IAAa,IAAI;IACrC,IAAI;MACF,OAAOA,IAAI,EAAE;IACf,CAAC,SAAS;MACR;IAAA;EAEJ;CACD;AAED,MAAME,kBAAkB,GAAG,aAAAH,QAAQ,CAACD,cAAc,CAAC,CAAC,MAAM,IAAIK,KAAK,EAAE,CAACC,KAAK,CAAC,EAAEC,QAAQ,CAACP,cAAc,CAAC,KAAK,IAAI;AAE/G;AACA,OAAO,MAAMQ,YAAY,GAAGJ,kBAAkB,GAAGH,QAAQ,CAACD,cAAc,CAAC,GAAGG,MAAM,CAACH,cAAc,CAAC","ignoreList":[]}