effect 4.0.0-beta.27 → 4.0.0-beta.29

package/src/Exit.ts

@@ -857,10 +857,12 @@ export const map: {
  * **Example** (Mapping over an error)
  *
  * ```ts
- * import { Exit } from "effect"
+ * import { Data, Exit } from "effect"
+ *
+ * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
  *
  * const exit = Exit.fail("bad input")
- * const mapped = Exit.mapError(exit, (e) => new Error(e))
+ * const mapped = Exit.mapError(exit, (e) => new ExitError({ input: e }))
  * console.log(Exit.isFailure(mapped)) // true
  * ```
  *
@@ -884,10 +886,12 @@ export const mapError: {
    * **Example** (Mapping over an error)
    *
    * ```ts
-   * import { Exit } from "effect"
+   * import { Data, Exit } from "effect"
+   *
+   * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
    *
    * const exit = Exit.fail("bad input")
-   * const mapped = Exit.mapError(exit, (e) => new Error(e))
+   * const mapped = Exit.mapError(exit, (e) => new ExitError({ input: e }))
    * console.log(Exit.isFailure(mapped)) // true
    * ```
    *
@@ -911,10 +915,12 @@ export const mapError: {
    * **Example** (Mapping over an error)
    *
    * ```ts
-   * import { Exit } from "effect"
+   * import { Data, Exit } from "effect"
+   *
+   * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
    *
    * const exit = Exit.fail("bad input")
-   * const mapped = Exit.mapError(exit, (e) => new Error(e))
+   * const mapped = Exit.mapError(exit, (e) => new ExitError({ input: e }))
    * console.log(Exit.isFailure(mapped)) // true
    * ```
    *
@@ -941,12 +947,14 @@ export const mapError: {
  * **Example** (Mapping both channels)
  *
  * ```ts
- * import { Exit } from "effect"
+ * import { Data, Exit } from "effect"
+ *
+ * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
  *
  * const exit = Exit.succeed(42)
  * const mapped = Exit.mapBoth(exit, {
  *   onSuccess: (x) => String(x),
- *   onFailure: (e: string) => new Error(e)
+ *   onFailure: (e: string) => new ExitError({ input: e })
  * })
  * console.log(Exit.isSuccess(mapped) && mapped.value) // "42"
  * ```
@@ -972,12 +980,14 @@ export const mapBoth: {
    * **Example** (Mapping both channels)
    *
    * ```ts
-   * import { Exit } from "effect"
+   * import { Data, Exit } from "effect"
+   *
+   * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
    *
    * const exit = Exit.succeed(42)
    * const mapped = Exit.mapBoth(exit, {
    *   onSuccess: (x) => String(x),
-   *   onFailure: (e: string) => new Error(e)
+   *   onFailure: (e: string) => new ExitError({ input: e })
    * })
    * console.log(Exit.isSuccess(mapped) && mapped.value) // "42"
    * ```
@@ -1005,12 +1015,14 @@ export const mapBoth: {
    * **Example** (Mapping both channels)
    *
    * ```ts
-   * import { Exit } from "effect"
+   * import { Data, Exit } from "effect"
+   *
+   * class ExitError extends Data.TaggedError("ExitError")<{ readonly input: string }> {}
    *
    * const exit = Exit.succeed(42)
    * const mapped = Exit.mapBoth(exit, {
    *   onSuccess: (x) => String(x),
-   *   onFailure: (e: string) => new Error(e)
+   *   onFailure: (e: string) => new ExitError({ input: e })
    * })
    * console.log(Exit.isSuccess(mapped) && mapped.value) // "42"
    * ```

package/src/Fiber.ts

@@ -128,6 +128,7 @@ export interface Fiber<out A, out E = never> extends Pipeable {
   readonly minimumLogLevel: LogLevel
   readonly currentStackFrame?: StackFrame | undefined
   readonly maxOpsBeforeYield: number
+  readonly currentPreventYield: boolean
   readonly addObserver: (cb: (exit: Exit<A, E>) => void) => () => void
   readonly interruptUnsafe: (
     fiberId?: number | undefined,

package/src/Function.ts

@@ -402,18 +402,10 @@ export const satisfies = <A>() => <B extends A>(b: B) => b
 /**
  * Casts the result to the specified type.
  *
- * @example
- * ```ts
- * import { coerceUnsafe, identity } from "effect/Function"
- * import * as assert from "node:assert"
- *
- * assert.deepStrictEqual(coerceUnsafe, identity)
- * ```
- *
  * @category type utils
  * @since 2.0.0
  */
-export const coerceUnsafe: <A, B>(a: A) => B = identity as any
+export const cast: <A, B>(a: A) => B = identity as any
 
 /**
  * Creates a constant value that never changes.
@@ -1392,7 +1384,7 @@ export function flow(
  * @category utilities
  * @since 2.0.0
  */
-export const hole: <T>() => T = coerceUnsafe(absurd)
+export const hole: <T>() => T = cast(absurd)
 
 /**
  * The SK combinator, also known as the "S-K combinator" or "S-combinator", is a fundamental combinator in the

package/src/Newtype.ts

@@ -0,0 +1,308 @@
+/**
+ * Lightweight wrapper types that prevent accidental mixing of structurally
+ * identical values (e.g. `UserId` vs `OrderId`, both `string` at runtime).
+ *
+ * **Mental model**
+ *
+ * - **Newtype** — a compile-time wrapper around a **carrier** type (the
+ *   underlying primitive or object). At runtime the value is unchanged; the
+ *   tag exists only in the type system.
+ * - **Key** — a unique string literal that distinguishes one newtype from
+ *   another (e.g. `"Label"`, `"UserId"`).
+ * - **Carrier** — the underlying type the newtype wraps (e.g. `string`,
+ *   `number`).
+ * - **Iso** — a lossless two-way conversion between a newtype and its carrier,
+ *   created with {@link makeIso}. Use `iso.set(carrier)` to wrap and
+ *   `iso.get(newtype)` to unwrap.
+ *
+ * **Common tasks**
+ *
+ * - Define a newtype → declare an `interface` extending
+ *   `Newtype.Newtype<Key, Carrier>`
+ * - Wrap / unwrap values → {@link makeIso} (returns an `Optic.Iso`)
+ * - Unwrap only → {@link value}
+ * - Lift an `Equivalence` → {@link makeEquivalence}
+ * - Lift an `Order` → {@link makeOrder}
+ * - Lift a `Combiner` → {@link makeCombiner}
+ * - Lift a `Reducer` → {@link makeReducer}
+ *
+ * **Gotchas**
+ *
+ * - Newtypes are **purely compile-time**. There is zero runtime overhead;
+ *   `value` and `makeIso` use identity casts.
+ * - Two newtypes sharing the same key string will be assignable to each other.
+ *   Choose unique key strings.
+ * - A newtype value is **not** assignable to its carrier type without
+ *   explicitly unwrapping via {@link value} or an iso.
+ *
+ * **Quickstart**
+ *
+ * **Example** (defining and using a newtype)
+ *
+ * ```ts
+ * import { Newtype } from "effect"
+ *
+ * // 1. Define a newtype
+ * interface Label extends Newtype.Newtype<"Label", string> {}
+ *
+ * // 2. Create an iso for wrapping/unwrapping
+ * const labelIso = Newtype.makeIso<Label>()
+ *
+ * // 3. Wrap a raw string
+ * const myLabel: Label = labelIso.set("hello")
+ *
+ * // 4. Unwrap back to string
+ * const raw: string = labelIso.get(myLabel) // "hello"
+ * ```
+ *
+ * **See also**
+ *
+ * - {@link Newtype} (the tagged interface)
+ * - {@link makeIso} (wrap and unwrap)
+ * - {@link value} (unwrap only)
+ *
+ * @since 4.0.0
+ */
+import type * as Combiner from "./Combiner.ts"
+import type * as Equivalence from "./Equivalence.ts"
+import { cast } from "./Function.ts"
+import * as Optic from "./Optic.ts"
+import type * as Order from "./Order.ts"
+import type * as Reducer from "./Reducer.ts"
+
+const TypeId = "~effect/Newtype"
+
+/**
+ * A tagged interface that wraps a carrier type under a unique key, preventing
+ * accidental interchange of structurally identical values.
+ *
+ * - Define your newtype as an `interface` extending
+ *   `Newtype<"MyKey", CarrierType>`.
+ * - The tag is compile-time only; no runtime wrapper is allocated.
+ * - Use {@link makeIso} to create a two-way conversion, or {@link value} to
+ *   unwrap.
+ *
+ * **Example** (defining a newtype)
+ *
+ * ```ts
+ * import { Newtype } from "effect"
+ *
+ * interface UserId extends Newtype.Newtype<"UserId", number> {}
+ * interface OrderId extends Newtype.Newtype<"OrderId", number> {}
+ *
+ * // UserId and OrderId are not assignable to each other
+ * // even though both wrap `number`.
+ * ```
+ *
+ * @see {@link makeIso} — create an iso to wrap and unwrap
+ * @see {@link value} — unwrap a newtype value
+ *
+ * @since 4.0.0
+ */
+export interface Newtype<in out Key extends string, out Carrier> {
+  readonly [TypeId]: {
+    readonly key: Key
+    readonly carrier: Carrier
+  }
+}
+
+/**
+ * @since 4.0.0
+ */
+export declare namespace Newtype {
+  /**
+   * A type that matches any `Newtype`, useful as a generic constraint:
+   * `<N extends Newtype.Any>`.
+   *
+   * @see {@link Newtype} — the base tagged interface
+   *
+   * @since 4.0.0
+   */
+  export type Any = Newtype<any, unknown>
+
+  /**
+   * Extracts the key literal type from a newtype.
+   *
+   * - Useful in generic code that needs to inspect or constrain the key.
+   *
+   * @since 4.0.0
+   */
+  export type Key<N extends Any> = N extends Newtype<infer Key, unknown> ? Key : never
+
+  /**
+   * Extracts the carrier (underlying) type from a newtype.
+   *
+   * - Useful when you need to refer to the wrapped type in generic utilities.
+   *
+   * @since 4.0.0
+   */
+  export type Carrier<N extends Any> = N extends Newtype<infer _Key, infer Carrier> ? Carrier : never
+}
+
+/**
+ * Unwraps a newtype value, returning the underlying carrier value.
+ *
+ * - Use when you only need to read the inner value and do not need to wrap new
+ *   values.
+ * - For both wrapping and unwrapping, prefer {@link makeIso}.
+ * - Zero runtime cost: this is an identity cast.
+ *
+ * **Example** (unwrapping a newtype)
+ *
+ * ```ts
+ * import { Newtype } from "effect"
+ *
+ * interface Label extends Newtype.Newtype<"Label", string> {}
+ *
+ * const iso = Newtype.makeIso<Label>()
+ * const label = iso.set("hello")
+ *
+ * const raw: string = Newtype.value(label) // "hello"
+ * ```
+ *
+ * @see {@link makeIso} — two-way conversion (wrap and unwrap)
+ *
+ * @since 4.0.0
+ */
+export const value: <N extends Newtype.Any>(newtype: N) => Newtype.Carrier<N> = cast
+
+/**
+ * Creates an `Optic.Iso` for a newtype, providing both wrapping (`set`) and
+ * unwrapping (`get`).
+ *
+ * - Use this as the primary way to construct and deconstruct newtype values.
+ * - The returned iso composes with other optics via the standard `Optic` API.
+ * - Zero runtime cost: both directions are identity casts.
+ *
+ * **Example** (wrapping and unwrapping with an iso)
+ *
+ * ```ts
+ * import { Newtype } from "effect"
+ *
+ * interface Label extends Newtype.Newtype<"Label", string> {}
+ *
+ * const labelIso = Newtype.makeIso<Label>()
+ *
+ * const label: Label = labelIso.set("world")
+ * const str: string = labelIso.get(label) // "world"
+ * ```
+ *
+ * @see {@link value} — unwrap only
+ *
+ * @since 4.0.0
+ */
+export function makeIso<N extends Newtype.Any>(): Optic.Iso<N, Newtype.Carrier<N>> {
+  return Optic.makeIso(value, cast)
+}
+
+/**
+ * Lifts an `Equivalence` for the carrier type into an `Equivalence` for the
+ * newtype.
+ *
+ * - Use when you need to compare two newtype values for equality.
+ * - The returned equivalence delegates to the provided carrier equivalence.
+ * - Zero runtime cost beyond the underlying equivalence check.
+ *
+ * **Example** (comparing newtypes)
+ *
+ * ```ts
+ * import { Newtype, Equivalence } from "effect"
+ *
+ * interface Label extends Newtype.Newtype<"Label", string> {}
+ *
+ * const eq = Newtype.makeEquivalence<Label>(Equivalence.String)
+ * const iso = Newtype.makeIso<Label>()
+ *
+ * eq(iso.set("a"), iso.set("a")) // true
+ * eq(iso.set("a"), iso.set("b")) // false
+ * ```
+ *
+ * @see {@link makeOrder} — lift an `Order` for the carrier
+ *
+ * @since 4.0.0
+ */
+export const makeEquivalence: <N extends Newtype.Any>(
+  equivalence: Equivalence.Equivalence<Newtype.Carrier<N>>
+) => Equivalence.Equivalence<N> = cast
+
+/**
+ * Lifts an `Order` for the carrier type into an `Order` for the newtype.
+ *
+ * - Use when you need to sort or compare newtype values.
+ * - The returned order delegates to the provided carrier order.
+ *
+ * **Example** (ordering newtypes)
+ *
+ * ```ts
+ * import { Newtype, Order } from "effect"
+ *
+ * interface Score extends Newtype.Newtype<"Score", number> {}
+ *
+ * const ord = Newtype.makeOrder<Score>(Order.Number)
+ * const iso = Newtype.makeIso<Score>()
+ *
+ * ord(iso.set(1), iso.set(2)) // -1
+ * ```
+ *
+ * @see {@link makeEquivalence} — lift an `Equivalence` for the carrier
+ *
+ * @since 4.0.0
+ */
+export const makeOrder: <N extends Newtype.Any>(order: Order.Order<Newtype.Carrier<N>>) => Order.Order<N> = cast
+
+/**
+ * Lifts a `Combiner` for the carrier type into a `Combiner` for the newtype.
+ *
+ * - Use when you need to combine (e.g. concatenate, add) newtype values.
+ * - The returned combiner delegates to the provided carrier combiner.
+ *
+ * **Example** (combining newtypes)
+ *
+ * ```ts
+ * import { Newtype, Combiner } from "effect"
+ *
+ * interface Amount extends Newtype.Newtype<"Amount", number> {}
+ *
+ * const sum = Combiner.make<number>((a, b) => a + b)
+ * const combiner = Newtype.makeCombiner<Amount>(sum)
+ * const iso = Newtype.makeIso<Amount>()
+ *
+ * const total = combiner.combine(iso.set(10), iso.set(20))
+ * Newtype.value(total) // 30
+ * ```
+ *
+ * @see {@link makeReducer} — lift a `Reducer` for the carrier
+ *
+ * @since 4.0.0
+ */
+export const makeCombiner: <N extends Newtype.Any>(
+  combiner: Combiner.Combiner<Newtype.Carrier<N>>
+) => Combiner.Combiner<N> = cast
+
+/**
+ * Lifts a `Reducer` for the carrier type into a `Reducer` for the newtype.
+ *
+ * - Use when you need to fold/reduce over a collection of newtype values.
+ * - The returned reducer delegates to the provided carrier reducer.
+ *
+ * **Example** (reducing newtypes)
+ *
+ * ```ts
+ * import { Newtype, Reducer } from "effect"
+ *
+ * interface Score extends Newtype.Newtype<"Score", number> {}
+ *
+ * const sum = Reducer.make<number>((a, b) => a + b, 0)
+ * const reducer = Newtype.makeReducer<Score>(sum)
+ * const iso = Newtype.makeIso<Score>()
+ *
+ * const total = reducer.combineAll([iso.set(1), iso.set(2), iso.set(3)])
+ * Newtype.value(total) // 6
+ * ```
+ *
+ * @see {@link makeCombiner} — lift a `Combiner` for the carrier
+ *
+ * @since 4.0.0
+ */
+export const makeReducer: <N extends Newtype.Any>(reducer: Reducer.Reducer<Newtype.Carrier<N>>) => Reducer.Reducer<N> =
+  cast

package/src/References.ts

@@ -13,7 +13,7 @@
 import { constTrue, constUndefined } from "./Function.ts"
 import type { LogLevel, Severity } from "./LogLevel.ts"
 import type { ReadonlyRecord } from "./Record.ts"
-import { MaxOpsBeforeYield } from "./Scheduler.ts"
+import { MaxOpsBeforeYield, PreventSchedulerYield } from "./Scheduler.ts"
 import * as ServiceMap from "./ServiceMap.ts"
 import { CurrentTraceLevel, DisablePropagation, MinimumTraceLevel, type SpanLink, Tracer } from "./Tracer.ts"
 
@@ -38,6 +38,11 @@ export {
    * @category references
    */
   MinimumTraceLevel,
+  /**
+   * @since 4.0.0
+   * @category references
+   */
+  PreventSchedulerYield,
   /**
    * @since 4.0.0
    * @category references

package/src/RequestResolver.ts

@@ -181,7 +181,7 @@ const defaultKey = (_request: unknown): unknown => defaultKeyObject
  * )
  *
  * // Use the resolver to handle requests
- * const getUserEffect = Effect.request(GetUserRequest({ id: 123 }), Effect.succeed(UserResolver))
+ * const getUserEffect = Effect.request(GetUserRequest({ id: 123 }), UserResolver)
  * ```
  *
  * @since 2.0.0
@@ -276,7 +276,7 @@ const hashGroupKey = <A, K>(get: (entry: Request.Entry<A>) => K) => {
  * // Usage
  * const getSquareEffect = Effect.request(
  *   GetSquareRequest({ value: 5 }),
- *   Effect.succeed(SquareResolver)
+ *   SquareResolver
  * )
  * // Will resolve to 25
  * ```
@@ -319,7 +319,7 @@ export const fromFunction = <A extends Request.Any>(
  *
  * // Usage with multiple requests
  * const effects = [1, 2, 3].map((value) =>
- *   Effect.request(GetDoubleRequest({ value }), Effect.succeed(DoubleResolver))
+ *   Effect.request(GetDoubleRequest({ value }), DoubleResolver)
  * )
  * const batchedEffect = Effect.all(effects) // [2, 4, 6]
  * ```
@@ -370,7 +370,7 @@ export const fromFunctionBatched = <A extends Request.Any>(
  * // Usage
  * const getUserEffect = Effect.request(
  *   GetUserFromAPIRequest({ id: 123 }),
- *   Effect.succeed(UserAPIResolver)
+ *   UserAPIResolver
  * )
  * ```
  *
@@ -874,7 +874,7 @@ export const never: RequestResolver<never> = make(() => Effect.never)
  * // When more than 5 requests are made, they'll be split into multiple batches
  * const requests = Array.from(
  *   { length: 12 },
- *   (_, i) => Effect.request(GetDataRequest({ id: i }), Effect.succeed(limitedResolver))
+ *   (_, i) => Effect.request(GetDataRequest({ id: i }), limitedResolver)
  * )
  * ```
  *
@@ -910,7 +910,7 @@ export const batchN: {
    * // When more than 5 requests are made, they'll be split into multiple batches
    * const requests = Array.from(
    *   { length: 12 },
-   *   (_, i) => Effect.request(GetDataRequest({ id: i }), Effect.succeed(limitedResolver))
+   *   (_, i) => Effect.request(GetDataRequest({ id: i }), limitedResolver)
    * )
    * ```
    *
@@ -946,7 +946,7 @@ export const batchN: {
    * // When more than 5 requests are made, they'll be split into multiple batches
    * const requests = Array.from(
    *   { length: 12 },
-   *   (_, i) => Effect.request(GetDataRequest({ id: i }), Effect.succeed(limitedResolver))
+   *   (_, i) => Effect.request(GetDataRequest({ id: i }), limitedResolver)
    * )
    * ```
    *
@@ -994,15 +994,15 @@ export const batchN: {
  * const requests = [
  *   Effect.request(
  *     GetUserRequest({ userId: 1, department: "Engineering" }),
- *     Effect.succeed(groupedResolver)
+ *     groupedResolver
  *   ),
  *   Effect.request(
  *     GetUserRequest({ userId: 2, department: "Engineering" }),
- *     Effect.succeed(groupedResolver)
+ *     groupedResolver
  *   ),
  *   Effect.request(
  *     GetUserRequest({ userId: 3, department: "Marketing" }),
- *     Effect.succeed(groupedResolver)
+ *     groupedResolver
  *   )
  * ]
  * ```
@@ -1045,15 +1045,15 @@ export const grouped: {
    * const requests = [
    *   Effect.request(
    *     GetUserRequest({ userId: 1, department: "Engineering" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   ),
    *   Effect.request(
    *     GetUserRequest({ userId: 2, department: "Engineering" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   ),
    *   Effect.request(
    *     GetUserRequest({ userId: 3, department: "Marketing" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   )
    * ]
    * ```
@@ -1096,15 +1096,15 @@ export const grouped: {
    * const requests = [
    *   Effect.request(
    *     GetUserRequest({ userId: 1, department: "Engineering" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   ),
    *   Effect.request(
    *     GetUserRequest({ userId: 2, department: "Engineering" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   ),
    *   Effect.request(
    *     GetUserRequest({ userId: 3, department: "Marketing" }),
-   *     Effect.succeed(groupedResolver)
+   *     groupedResolver
    *   )
    * ]
    * ```
@@ -1300,7 +1300,7 @@ export const race: {
  * )
  *
  * // Spans will automatically include batch size and request links
- * const effect = Effect.request(GetDataRequest({ id: 123 }), Effect.succeed(tracedResolver))
+ * const effect = Effect.request(GetDataRequest({ id: 123 }), tracedResolver)
  * ```
  *
  * @since 4.0.0
@@ -1342,7 +1342,7 @@ export const withSpan: {
    * )
    *
    * // Spans will automatically include batch size and request links
-   * const effect = Effect.request(GetDataRequest({ id: 123 }), Effect.succeed(tracedResolver))
+   * const effect = Effect.request(GetDataRequest({ id: 123 }), tracedResolver)
    * ```
    *
    * @since 4.0.0
@@ -1387,7 +1387,7 @@ export const withSpan: {
    * )
    *
    * // Spans will automatically include batch size and request links
-   * const effect = Effect.request(GetDataRequest({ id: 123 }), Effect.succeed(tracedResolver))
+   * const effect = Effect.request(GetDataRequest({ id: 123 }), tracedResolver)
    * ```
    *
    * @since 4.0.0
@@ -1509,7 +1509,7 @@ export const asCache: {
     capacity: options.capacity,
     timeToLive: options.timeToLive as any,
     requireServicesAt: options.requireServicesAt ?? "lookup" as ServiceMode,
-    lookup: (req: A) => internal.request(req, Effect.succeed(self))
+    lookup: (req: A) => internal.request(req, self)
   }) as any)
 
 /**