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

package/dist/Newtype.d.ts

@@ -0,0 +1,291 @@
+/**
+ * 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 * as Optic from "./Optic.ts";
+import type * as Order from "./Order.ts";
+import type * as Reducer from "./Reducer.ts";
+declare 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
+     */
+    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
+     */
+    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
+     */
+    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 declare const value: <N extends Newtype.Any>(newtype: N) => Newtype.Carrier<N>;
+/**
+ * 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 declare function makeIso<N extends Newtype.Any>(): Optic.Iso<N, Newtype.Carrier<N>>;
+/**
+ * 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 declare const makeEquivalence: <N extends Newtype.Any>(equivalence: Equivalence.Equivalence<Newtype.Carrier<N>>) => Equivalence.Equivalence<N>;
+/**
+ * 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 declare const makeOrder: <N extends Newtype.Any>(order: Order.Order<Newtype.Carrier<N>>) => Order.Order<N>;
+/**
+ * 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 declare const makeCombiner: <N extends Newtype.Any>(combiner: Combiner.Combiner<Newtype.Carrier<N>>) => Combiner.Combiner<N>;
+/**
+ * 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 declare const makeReducer: <N extends Newtype.Any>(reducer: Reducer.Reducer<Newtype.Carrier<N>>) => Reducer.Reducer<N>;
+export {};
+//# sourceMappingURL=Newtype.d.ts.map

package/dist/Newtype.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Newtype.d.ts","sourceRoot":"","sources":["../src/Newtype.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AACH,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAEpD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAA;AAE5C,QAAA,MAAM,MAAM,oBAAoB,CAAA;AAEhC;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS,MAAM,EAAE,GAAG,CAAC,OAAO;IAC7D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;QACjB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAC1B,CAAA;CACF;AAED;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,OAAO,CAAC;IAC/B;;;;;;;OAOG;IACH,KAAY,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAEvC;;;;;;OAMG;IACH,KAAY,GAAG,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,GAAG,EAAE,OAAO,CAAC,GAAG,GAAG,GAAG,KAAK,CAAA;IAEpF;;;;;;OAMG;IACH,KAAY,OAAO,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,IAAI,EAAE,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,KAAK,CAAA;CACpG;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,CAAQ,CAAA;AAEpF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAEjF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,eAAe,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAClD,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACrD,WAAW,CAAC,WAAW,CAAC,CAAC,CAAQ,CAAA;AAEtC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAQ,CAAA;AAEhH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAC/C,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAC5C,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAQ,CAAA;AAEhC;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,CAC9G,CAAA"}

package/dist/Newtype.js

@@ -0,0 +1,161 @@
+import { cast } from "./Function.js";
+import * as Optic from "./Optic.js";
+const TypeId = "~effect/Newtype";
+/**
+ * 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 = 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() {
+  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 = 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 = 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 = 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 = cast;
+//# sourceMappingURL=Newtype.js.map

package/dist/Newtype.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Newtype.js","names":["cast","Optic","TypeId","value","makeIso","makeEquivalence","makeOrder","makeCombiner","makeReducer"],"sources":["../src/Newtype.ts"],"sourcesContent":[null],"mappings":"AAmEA,SAASA,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,KAAK,MAAM,YAAY;AAInC,MAAMC,MAAM,GAAG,iBAAiB;AAqEhC;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMC,KAAK,GAA8DH,IAAI;AAEpF;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAM,SAAUI,OAAOA,CAAA;EACrB,OAAOH,KAAK,CAACG,OAAO,CAACD,KAAK,EAAEH,IAAI,CAAC;AACnC;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMK,eAAe,GAEML,IAAI;AAEtC;;;;;;;;;;;;;;;;;;;;;;;AAuBA,OAAO,MAAMM,SAAS,GAAsFN,IAAI;AAEhH;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMO,YAAY,GAEGP,IAAI;AAEhC;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMQ,WAAW,GACtBR,IAAI","ignoreList":[]}

package/dist/PlatformError.d.ts

@@ -3,7 +3,7 @@
  */
 import * as Data from "./Data.ts";
 declare const TypeId = "~effect/platform/PlatformError";
-declare const BadArgument_base: new <A extends Record<string, any> = {}>(args: import("./Types.ts").MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("./Cause.ts").YieldableError & {
+declare const BadArgument_base: new <A extends Record<string, any> = {}>(args: import("./Types.ts").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("./Cause.ts").YieldableError & {
     readonly _tag: "BadArgument";
 } & Readonly<A>;
 /**
@@ -44,7 +44,7 @@ export declare class SystemError extends Data.Error<{
      */
     get message(): string;
 }
-declare const PlatformError_base: new <A extends Record<string, any> = {}>(args: import("./Types.ts").MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("./Cause.ts").YieldableError & {
+declare const PlatformError_base: new <A extends Record<string, any> = {}>(args: import("./Types.ts").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("./Cause.ts").YieldableError & {
     readonly _tag: "PlatformError";
 } & Readonly<A>;
 /**

package/dist/References.d.ts

@@ -1,6 +1,6 @@
 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";
 export { 
@@ -24,6 +24,11 @@ MaxOpsBeforeYield,
  * @category references
  */
 MinimumTraceLevel, 
+/**
+ * @since 4.0.0
+ * @category references
+ */
+PreventSchedulerYield, 
 /**
  * @since 4.0.0
  * @category references

package/dist/References.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"References.d.ts","sourceRoot":"","sources":["../src/References.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAE7G,OAAO;AACL;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,kBAAkB;AAClB;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,MAAM,EACP,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,kBAAkB,4CAE7B,CAAA;AAEF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,EACV,MAAM,gBAAgB,CAAA;AAEvB;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAA;CACxC;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,8CAE5B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,aAAa,+BAExB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,mBAAmB,+BAE9B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,eAAO,MAAM,qBAAqB,uDAGjC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,eAAO,MAAM,eAAe,2CAE1B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AACH,eAAO,MAAM,qBAAqB,uDAGjC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,eAAO,MAAM,eAAe,EAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,CAG1D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,eAAe,gCAE0C,CAAA;AAEtE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,GAAG,SAAS,CAGxE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,eAAO,MAAM,eAAe,qEAEsC,CAAA"}
+{"version":3,"file":"References.d.ts","sourceRoot":"","sources":["../src/References.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAA;AACzE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAE7G,OAAO;AACL;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,kBAAkB;AAClB;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,iBAAiB;AACjB;;;GAGG;AACH,qBAAqB;AACrB;;;GAGG;AACH,MAAM,EACP,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,kBAAkB,4CAE7B,CAAA;AAEF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,EACV,MAAM,gBAAgB,CAAA;AAEvB;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAA;CACxC;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,8CAE5B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,eAAO,MAAM,aAAa,+BAExB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,mBAAmB,+BAE9B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,eAAO,MAAM,qBAAqB,uDAGjC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,eAAO,MAAM,eAAe,2CAE1B,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AACH,eAAO,MAAM,qBAAqB,uDAGjC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,eAAO,MAAM,eAAe,EAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,CAG1D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,eAAe,gCAE0C,CAAA;AAEtE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,GAAG,SAAS,CAGxE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,eAAO,MAAM,eAAe,qEAEsC,CAAA"}

package/dist/References.js

@@ -11,7 +11,7 @@
  * @since 4.0.0
  */
 import { constTrue, constUndefined } from "./Function.js";
-import { MaxOpsBeforeYield } from "./Scheduler.js";
+import { MaxOpsBeforeYield, PreventSchedulerYield } from "./Scheduler.js";
 import * as ServiceMap from "./ServiceMap.js";
 import { CurrentTraceLevel, DisablePropagation, MinimumTraceLevel, Tracer } from "./Tracer.js";
 export {
@@ -35,6 +35,11 @@ MaxOpsBeforeYield,
  * @category references
  */
 MinimumTraceLevel,
+/**
+ * @since 4.0.0
+ * @category references
+ */
+PreventSchedulerYield,
 /**
  * @since 4.0.0
  * @category references

package/dist/References.js.map

@@ -1 +1 @@
-{"version":3,"file":"References.js","names":["constTrue","constUndefined","MaxOpsBeforeYield","ServiceMap","CurrentTraceLevel","DisablePropagation","MinimumTraceLevel","Tracer","CurrentConcurrency","Reference","defaultValue","Scheduler","CurrentStackFrame","TracerEnabled","TracerTimingEnabled","TracerSpanAnnotations","TracerSpanLinks","CurrentLogAnnotations","CurrentLogLevel","MinimumLogLevel","UnhandledLogLevel","CurrentLogSpans"],"sources":["../src/References.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAYA,SAASA,SAAS,EAAEC,cAAc,QAAQ,eAAe;AAGzD,SAASC,iBAAiB,QAAQ,gBAAgB;AAClD,OAAO,KAAKC,UAAU,MAAM,iBAAiB;AAC7C,SAASC,iBAAiB,EAAEC,kBAAkB,EAAEC,iBAAiB,EAAiBC,MAAM,QAAQ,aAAa;AAE7G;AACE;;;;AAIAH,iBAAiB;AACjB;;;;AAIAC,kBAAkB;AAClB;;;;AAIAH,iBAAiB;AACjB;;;;AAIAI,iBAAiB;AACjB;;;;AAIAC,MAAM;AAGR;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,OAAO,MAAMC,kBAAkB,gBAAGL,UAAU,CAACM,SAAS,CAAuB,sCAAsC,EAAE;EACnHC,YAAY,EAAEA,CAAA,KAAM;CACrB,CAAC;AAEF;AACE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BAC,SAAS,QACJ,gBAAgB;AAYvB;;;;AAIA,OAAO,MAAMC,iBAAiB,gBAAGT,UAAU,CAACM,SAAS,CAAyB,qCAAqC,EAAE;EACnHC,YAAY,EAAET;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMY,aAAa,gBAAGV,UAAU,CAACM,SAAS,CAAU,iCAAiC,EAAE;EAC5FC,YAAY,EAAEV;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMc,mBAAmB,gBAAGX,UAAU,CAACM,SAAS,CAAU,uCAAuC,EAAE;EACxGC,YAAY,EAAEV;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDA,OAAO,MAAMe,qBAAqB,gBAAGZ,UAAU,CAACM,SAAS,CACvD,yCAAyC,EACzC;EAAEC,YAAY,EAAEA,CAAA,MAAO,EAAE;AAAC,CAAE,CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4DA,OAAO,MAAMM,eAAe,gBAAGb,UAAU,CAACM,SAAS,CAA0B,mCAAmC,EAAE;EAChHC,YAAY,EAAEA,CAAA,KAAM;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsDA,OAAO,MAAMO,qBAAqB,gBAAGd,UAAU,CAACM,SAAS,CACvD,yCAAyC,EACzC;EAAEC,YAAY,EAAEA,CAAA,MAAO,EAAE;AAAC,CAAE,CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCA,OAAO,MAAMQ,eAAe,gBAAmCf,UAAU,CAACM,SAAS,CACjF,mCAAmC,EACnC;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAM,CAAE,CAC/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDA,OAAO,MAAMS,eAAe,gBAAGhB,UAAU,CAACM,SAAS,CAEjD,mCAAmC,EAAE;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAM,CAAE,CAAC;AAEtE;;;;;;;AAOA,OAAO,MAAMU,iBAAiB,gBAA+CjB,UAAU,CAACM,SAAS,CAC/F,qCAAqC,EACrC;EAAEC,YAAY,EAAEA,CAAA,KAA4B;AAAO,CAAE,CACtD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0DA,OAAO,MAAMW,eAAe,gBAAGlB,UAAU,CAACM,SAAS,CAEjD,mCAAmC,EAAE;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAE,CAAE,CAAC","ignoreList":[]}
+{"version":3,"file":"References.js","names":["constTrue","constUndefined","MaxOpsBeforeYield","PreventSchedulerYield","ServiceMap","CurrentTraceLevel","DisablePropagation","MinimumTraceLevel","Tracer","CurrentConcurrency","Reference","defaultValue","Scheduler","CurrentStackFrame","TracerEnabled","TracerTimingEnabled","TracerSpanAnnotations","TracerSpanLinks","CurrentLogAnnotations","CurrentLogLevel","MinimumLogLevel","UnhandledLogLevel","CurrentLogSpans"],"sources":["../src/References.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;AAYA,SAASA,SAAS,EAAEC,cAAc,QAAQ,eAAe;AAGzD,SAASC,iBAAiB,EAAEC,qBAAqB,QAAQ,gBAAgB;AACzE,OAAO,KAAKC,UAAU,MAAM,iBAAiB;AAC7C,SAASC,iBAAiB,EAAEC,kBAAkB,EAAEC,iBAAiB,EAAiBC,MAAM,QAAQ,aAAa;AAE7G;AACE;;;;AAIAH,iBAAiB;AACjB;;;;AAIAC,kBAAkB;AAClB;;;;AAIAJ,iBAAiB;AACjB;;;;AAIAK,iBAAiB;AACjB;;;;AAIAJ,qBAAqB;AACrB;;;;AAIAK,MAAM;AAGR;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,OAAO,MAAMC,kBAAkB,gBAAGL,UAAU,CAACM,SAAS,CAAuB,sCAAsC,EAAE;EACnHC,YAAY,EAAEA,CAAA,KAAM;CACrB,CAAC;AAEF;AACE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BAC,SAAS,QACJ,gBAAgB;AAYvB;;;;AAIA,OAAO,MAAMC,iBAAiB,gBAAGT,UAAU,CAACM,SAAS,CAAyB,qCAAqC,EAAE;EACnHC,YAAY,EAAEV;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAMa,aAAa,gBAAGV,UAAU,CAACM,SAAS,CAAU,iCAAiC,EAAE;EAC5FC,YAAY,EAAEX;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMe,mBAAmB,gBAAGX,UAAU,CAACM,SAAS,CAAU,uCAAuC,EAAE;EACxGC,YAAY,EAAEX;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDA,OAAO,MAAMgB,qBAAqB,gBAAGZ,UAAU,CAACM,SAAS,CACvD,yCAAyC,EACzC;EAAEC,YAAY,EAAEA,CAAA,MAAO,EAAE;AAAC,CAAE,CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4DA,OAAO,MAAMM,eAAe,gBAAGb,UAAU,CAACM,SAAS,CAA0B,mCAAmC,EAAE;EAChHC,YAAY,EAAEA,CAAA,KAAM;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsDA,OAAO,MAAMO,qBAAqB,gBAAGd,UAAU,CAACM,SAAS,CACvD,yCAAyC,EACzC;EAAEC,YAAY,EAAEA,CAAA,MAAO,EAAE;AAAC,CAAE,CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCA,OAAO,MAAMQ,eAAe,gBAAmCf,UAAU,CAACM,SAAS,CACjF,mCAAmC,EACnC;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAM,CAAE,CAC/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDA,OAAO,MAAMS,eAAe,gBAAGhB,UAAU,CAACM,SAAS,CAEjD,mCAAmC,EAAE;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAM,CAAE,CAAC;AAEtE;;;;;;;AAOA,OAAO,MAAMU,iBAAiB,gBAA+CjB,UAAU,CAACM,SAAS,CAC/F,qCAAqC,EACrC;EAAEC,YAAY,EAAEA,CAAA,KAA4B;AAAO,CAAE,CACtD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0DA,OAAO,MAAMW,eAAe,gBAAGlB,UAAU,CAACM,SAAS,CAEjD,mCAAmC,EAAE;EAAEC,YAAY,EAAEA,CAAA,KAAM;AAAE,CAAE,CAAC","ignoreList":[]}