effect 4.0.0-beta.3 → 4.0.0-beta.30

package/dist/Schema.d.ts

@@ -1,9 +1,12 @@
 /**
  * @since 4.0.0
  */
+/** @effect-diagnostics schemaStructWithTag:skip-file */
 import type { StandardJSONSchemaV1, StandardSchemaV1 } from "@standard-schema/spec";
+import * as BigDecimal_ from "./BigDecimal.ts";
 import type * as Brand from "./Brand.ts";
 import * as Cause_ from "./Cause.ts";
+import * as Chunk_ from "./Chunk.ts";
 import type * as Combiner from "./Combiner.ts";
 import * as DateTime from "./DateTime.ts";
 import type { Differ } from "./Differ.ts";
@@ -12,6 +15,8 @@ import * as Effect from "./Effect.ts";
 import * as Equivalence from "./Equivalence.ts";
 import * as Exit_ from "./Exit.ts";
 import type { Formatter } from "./Formatter.ts";
+import * as HashMap_ from "./HashMap.ts";
+import * as HashSet_ from "./HashSet.ts";
 import * as JsonPatch from "./JsonPatch.ts";
 import * as JsonSchema from "./JsonSchema.ts";
 import * as Optic_ from "./Optic.ts";
@@ -29,6 +34,7 @@ import type { Assign, Lambda, Mutable, Simplify } from "./Struct.ts";
 import * as Struct_ from "./Struct.ts";
 import * as FastCheck from "./testing/FastCheck.ts";
 import type { UnionToIntersection } from "./Types.ts";
+import type { Unify } from "./Unify.ts";
 declare const TypeId = "~effect/Schema/Schema";
 /**
  * Is this schema required or optional?
@@ -103,6 +109,7 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
      * @throws {Error} The issue is contained in the error cause.
      */
     makeUnsafe(input: this["~type.make.in"], options?: MakeOptions): this["Type"];
+    makeOption(input: this["~type.make.in"], options?: MakeOptions): Option_.Option<this["Type"]>;
 }
 /**
  * @since 4.0.0
@@ -181,7 +188,7 @@ export declare namespace Schema {
     /**
      * @since 4.0.0
      */
-    type Type<S extends Top> = S["Type"];
+    type Type<S> = S extends Top ? S["Type"] : never;
 }
 /**
  * A typed view of a schema that tracks the decoded (output) type `T`.
@@ -207,15 +214,15 @@ export declare namespace Codec {
     /**
      * @since 4.0.0
      */
-    type Encoded<S extends Top> = S["Encoded"];
+    type Encoded<S> = S extends Top ? S["Encoded"] : never;
     /**
      * @since 4.0.0
      */
-    type DecodingServices<S extends Top> = S["DecodingServices"];
+    type DecodingServices<S> = S extends Top ? S["DecodingServices"] : never;
     /**
      * @since 4.0.0
      */
-    type EncodingServices<S extends Top> = S["EncodingServices"];
+    type EncodingServices<S> = S extends Top ? S["EncodingServices"] : never;
     /**
      * @since 4.0.0
      */
@@ -568,21 +575,7 @@ export declare const encodeUnknownSync: typeof Parser.encodeUnknownSync;
  */
 export declare const encodeSync: <S extends Top & {
     readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options
-/**
- * The top (most general) type for all schema-like values in this module.
- *
- * When to use:
- * - You are writing generic helpers and only need "some schema", without caring about its `Type` / `Encoded`.
- * - You need a common constraint for type-level utilities (for example in `Schema.Type` or `Codec.Encoded`).
- *
- * Behavior:
- * - This is a *type-level* supertype; it does not represent a specific concrete schema.
- * - In user code, you usually want {@link Schema}, {@link Codec}, {@link Decoder}, or {@link Encoder} instead.
- *
- * @since 4.0.0
- */
-?: AST.ParseOptions) => S["Encoded"];
+}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => S["Encoded"];
 /**
  * Creates a schema from an AST (Abstract Syntax Tree) node.
  *
@@ -1108,6 +1101,27 @@ export declare namespace Struct {
  */
 export interface Struct<Fields extends Struct.Fields> extends Bottom<Simplify<Struct.Type<Fields>>, Simplify<Struct.Encoded<Fields>>, Struct.DecodingServices<Fields>, Struct.EncodingServices<Fields>, AST.Objects, Struct<Fields>, Simplify<Struct.MakeIn<Fields>>, Simplify<Struct.Iso<Fields>>> {
     readonly "~rebuild.out": this;
+    /**
+     * The field definitions of this struct. Spread them into a new struct to
+     * reuse fields across schemas.
+     *
+     * **Example** (Reusing fields across structs)
+     *
+     * ```ts
+     * import { Schema } from "effect"
+     *
+     * const Timestamped = Schema.Struct({
+     *   createdAt: Schema.Date,
+     *   updatedAt: Schema.Date
+     * })
+     *
+     * const User = Schema.Struct({
+     *   ...Timestamped.fields,
+     *   name: Schema.String,
+     *   email: Schema.String
+     * })
+     * ```
+     */
     readonly fields: Fields;
     /**
      * Returns a new struct with the fields modified by the provided function.
@@ -1158,7 +1172,9 @@ export declare function fieldsAssign<const NewFields extends Struct.Fields>(fiel
  * @category Struct transformations
  * @since 4.0.0
  */
-export declare function encodeKeys<S extends Struct<Struct.Fields>, const M extends {
+export declare function encodeKeys<S extends Top & {
+    readonly fields: Struct.Fields;
+}, const M extends {
     readonly [K in keyof S["fields"]]?: PropertyKey;
 }>(mapping: M): (self: S) => decodeTo<S, Struct<{ [K in keyof S["fields"] as K extends keyof M ? M[K] extends PropertyKey ? M[K] : K : K]: toEncoded<S["fields"][K]>; }>>;
 /**
@@ -1183,10 +1199,6 @@ export declare namespace Record {
         readonly "~type.make": PropertyKey;
         readonly "Iso": PropertyKey;
     }
-    /**
-     * @since 4.0.0
-     */
-    type Record = Record$<Record.Key, Top>;
     /**
      * @since 4.0.0
      */
@@ -1271,7 +1283,7 @@ export declare namespace Record {
 /**
  * @since 4.0.0
  */
-export interface Record$<Key extends Record.Key, Value extends Top> extends Bottom<Record.Type<Key, Value>, Record.Encoded<Key, Value>, Record.DecodingServices<Key, Value>, Record.EncodingServices<Key, Value>, AST.Objects, Record$<Key, Value>, Simplify<Record.MakeIn<Key, Value>>, Record.Iso<Key, Value>> {
+export interface $Record<Key extends Record.Key, Value extends Top> extends Bottom<Record.Type<Key, Value>, Record.Encoded<Key, Value>, Record.DecodingServices<Key, Value>, Record.EncodingServices<Key, Value>, AST.Objects, $Record<Key, Value>, Simplify<Record.MakeIn<Key, Value>>, Record.Iso<Key, Value>> {
     readonly "~rebuild.out": this;
     readonly key: Key;
     readonly value: Value;
@@ -1284,7 +1296,7 @@ export declare function Record<Key extends Record.Key, Value extends Top>(key: K
         readonly decode?: Combiner.Combiner<readonly [Key["Type"], Value["Type"]]> | undefined;
         readonly encode?: Combiner.Combiner<readonly [Key["Encoded"], Value["Encoded"]]> | undefined;
     };
-}): Record$<Key, Value>;
+}): $Record<Key, Value>;
 /**
  * @since 4.0.0
  */
@@ -1298,7 +1310,7 @@ export declare namespace StructWithRest {
     /**
      * @since 4.0.0
      */
-    type Records = ReadonlyArray<Record.Record>;
+    type Records = ReadonlyArray<$Record<Record.Key, Top>>;
     type MergeTuple<T extends ReadonlyArray<unknown>> = T extends readonly [infer Head, ...infer Tail] ? Head & MergeTuple<Tail> : {};
     /**
      * @since 4.0.0
@@ -1508,13 +1520,13 @@ export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Res
 /**
  * @since 4.0.0
  */
-export interface Array$<S extends Top> extends Bottom<ReadonlyArray<S["Type"]>, ReadonlyArray<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"], AST.Arrays, Array$<S>, ReadonlyArray<S["~type.make"]>, ReadonlyArray<S["Iso"]>> {
+export interface $Array<S extends Top> extends Bottom<ReadonlyArray<S["Type"]>, ReadonlyArray<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"], AST.Arrays, $Array<S>, ReadonlyArray<S["~type.make"]>, ReadonlyArray<S["Iso"]>> {
     readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface ArrayLambda extends Lambda {
-    <S extends Top>(self: S): Array$<S>;
-    readonly "~lambda.out": this["~lambda.in"] extends Top ? Array$<this["~lambda.in"]> : never;
+    <S extends Top>(self: S): $Array<S>;
+    readonly "~lambda.out": this["~lambda.in"] extends Top ? $Array<this["~lambda.in"]> : never;
 }
 /**
  * @category Constructors
@@ -1540,7 +1552,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
 /**
  * @since 4.0.0
  */
-export interface UniqueArray<S extends Top> extends Array$<S> {
+export interface UniqueArray<S extends Top> extends $Array<S> {
 }
 /**
  * Returns a new array schema that ensures all elements are unique.
@@ -2053,12 +2065,12 @@ type TaggedUnionUtils<Tag extends PropertyKey, Members extends ReadonlyArray<Top
         [M in Flattened[number] as M["Type"][Tag]]: (u: unknown) => u is M["Type"];
     };
     readonly match: {
-        <Output>(value: Members[number]["Type"], cases: {
-            [M in Flattened[number] as M["Type"][Tag]]: (value: M["Type"]) => Output;
-        }): Output;
-        <Output>(cases: {
-            [M in Flattened[number] as M["Type"][Tag]]: (value: M["Type"]) => Output;
-        }): (value: Members[number]["Type"]) => Output;
+        <Cases extends {
+            [M in Flattened[number] as M["Type"][Tag]]: (value: M["Type"]) => any;
+        }>(value: Members[number]["Type"], cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? Unify<R> : never;
+        <Cases extends {
+            [M in Flattened[number] as M["Type"][Tag]]: (value: M["Type"]) => any;
+        }>(cases: Cases): (value: Members[number]["Type"]) => Cases[keyof Cases] extends (value: any) => infer R ? Unify<R> : never;
     };
 };
 /**
@@ -2101,12 +2113,12 @@ export interface TaggedUnion<Cases extends Record<string, Top>> extends Bottom<{
         [K in keyof Cases]: (u: unknown) => u is Cases[K]["Type"];
     };
     readonly match: {
-        <Output>(value: Cases[keyof Cases]["Type"], cases: {
-            [K in keyof Cases]: (value: Cases[K]["Type"]) => Output;
-        }): Output;
         <Output>(cases: {
             [K in keyof Cases]: (value: Cases[K]["Type"]) => Output;
         }): (value: Cases[keyof Cases]["Type"]) => Output;
+        <Output>(value: Cases[keyof Cases]["Type"], cases: {
+            [K in keyof Cases]: (value: Cases[K]["Type"]) => Output;
+        }): Output;
     };
 }
 /**
@@ -2262,7 +2274,7 @@ export declare const isStringSymbol: (annotations?: Annotations.Filter) => AST.F
  * @category String checks
  * @since 4.0.0
  */
-export declare function isUUID(version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | undefined, annotations?: Annotations.Filter): AST.Filter<string>;
+export declare function isUUID(version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8, annotations?: Annotations.Filter): AST.Filter<string>;
 /**
  * Validates that a string is a valid ULID (Universally Unique Lexicographically
  * Sortable Identifier).
@@ -2856,6 +2868,48 @@ export declare const isBetweenBigInt: (options: {
     readonly exclusiveMinimum?: boolean | undefined;
     readonly exclusiveMaximum?: boolean | undefined;
 }, annotations?: Annotations.Filter) => AST.Filter<bigint>;
+/**
+ * Validates that a BigDecimal is greater than the specified value (exclusive).
+ *
+ * @category BigDecimal checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanBigDecimal: (exclusiveMinimum: BigDecimal_.BigDecimal, annotations?: Annotations.Filter) => AST.Filter<BigDecimal_.BigDecimal>;
+/**
+ * Validates that a BigDecimal is greater than or equal to the specified value
+ * (inclusive).
+ *
+ * @category BigDecimal checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToBigDecimal: (minimum: BigDecimal_.BigDecimal, annotations?: Annotations.Filter) => AST.Filter<BigDecimal_.BigDecimal>;
+/**
+ * Validates that a BigDecimal is less than the specified value (exclusive).
+ *
+ * @category BigDecimal checks
+ * @since 4.0.0
+ */
+export declare const isLessThanBigDecimal: (exclusiveMaximum: BigDecimal_.BigDecimal, annotations?: Annotations.Filter) => AST.Filter<BigDecimal_.BigDecimal>;
+/**
+ * Validates that a BigDecimal is less than or equal to the specified value
+ * (inclusive).
+ *
+ * @category BigDecimal checks
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToBigDecimal: (maximum: BigDecimal_.BigDecimal, annotations?: Annotations.Filter) => AST.Filter<BigDecimal_.BigDecimal>;
+/**
+ * Validates that a BigDecimal is within a specified range.
+ *
+ * @category BigDecimal checks
+ * @since 4.0.0
+ */
+export declare const isBetweenBigDecimal: (options: {
+    readonly minimum: BigDecimal_.BigDecimal;
+    readonly maximum: BigDecimal_.BigDecimal;
+    readonly exclusiveMinimum?: boolean | undefined;
+    readonly exclusiveMaximum?: boolean | undefined;
+}, annotations?: Annotations.Filter) => AST.Filter<BigDecimal_.BigDecimal>;
 /**
  * Validates that a value has at least the specified length. Works with strings
  * and arrays.
@@ -3144,6 +3198,48 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
  * @since 4.0.0
  */
 export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S>;
+/**
+ * @since 4.0.0
+ */
+export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<toType<S>>, UndefinedOr<S>> {
+}
+/**
+ * Decodes an undefined-or value `T` to a required `Option<T>` value.
+ *
+ * Decoding:
+ * - `undefined` is decoded as `None`
+ * - other values are decoded as `Some`
+ *
+ * Encoding:
+ * - `None` is encoded as `undefined`
+ * - `Some` is encoded as the value
+ *
+ * @category Option
+ * @since 4.0.0
+ */
+export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndefinedOr<S>;
+/**
+ * @since 4.0.0
+ */
+export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toType<S>>, NullishOr<S>> {
+}
+/**
+ * Decodes a nullish value `T` to a required `Option<T>` value.
+ *
+ * Decoding:
+ * - `null` and `undefined` are decoded as `None`
+ * - other values are decoded as `Some`
+ *
+ * Encoding:
+ * - `None` is encoded as `null` or `undefined` depending on the provided `options.onNoneEncoding` (defaults to `undefined`)
+ * - `Some` is encoded as the value
+ *
+ * @category Option
+ * @since 4.0.0
+ */
+export declare function OptionFromNullishOr<S extends Top>(schema: S, options?: {
+    onNoneEncoding: null | undefined;
+}): OptionFromNullishOr<S>;
 /**
  * @since 4.0.0
  */
@@ -3262,18 +3358,18 @@ export declare function RedactedFromValue<S extends Top>(value: S, options?: {
     readonly label?: string | undefined;
 }): RedactedFromValue<S>;
 /**
- * @category CauseFailure
+ * @category CauseReason
  * @since 4.0.0
  */
-export interface CauseFailure<E extends Top, D extends Top> extends declareConstructor<Cause_.Reason<E["Type"]>, Cause_.Reason<E["Encoded"]>, readonly [E, D], CauseFailureIso<E, D>> {
+export interface CauseReason<E extends Top, D extends Top> extends declareConstructor<Cause_.Reason<E["Type"]>, Cause_.Reason<E["Encoded"]>, readonly [E, D], CauseReasonIso<E, D>> {
     readonly error: E;
     readonly defect: D;
 }
 /**
- * @category CauseFailure
+ * @category CauseReason
  * @since 4.0.0
  */
-export type CauseFailureIso<E extends Top, D extends Top> = {
+export type CauseReasonIso<E extends Top, D extends Top> = {
     readonly _tag: "Fail";
     readonly error: E["Iso"];
 } | {
@@ -3284,10 +3380,10 @@ export type CauseFailureIso<E extends Top, D extends Top> = {
     readonly fiberId: number | undefined;
 };
 /**
- * @category CauseFailure
+ * @category CauseReason
  * @since 4.0.0
  */
-export declare function CauseFailure<E extends Top, D extends Top>(error: E, defect: D): CauseFailure<E, D>;
+export declare function CauseReason<E extends Top, D extends Top>(error: E, defect: D): CauseReason<E, D>;
 /**
  * @category Cause
  * @since 4.0.0
@@ -3300,7 +3396,7 @@ export interface Cause<E extends Top, D extends Top> extends declareConstructor<
  * @category Cause
  * @since 4.0.0
  */
-export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseFailureIso<E, D>>;
+export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseReasonIso<E, D>>;
 /**
  * @category Cause
  * @since 4.0.0
@@ -3387,7 +3483,7 @@ export declare function Exit<A extends Top, E extends Top, D extends Top>(value:
  * @category ReadonlyMap
  * @since 4.0.0
  */
-export interface ReadonlyMap$<Key extends Top, Value extends Top> extends declareConstructor<globalThis.ReadonlyMap<Key["Type"], Value["Type"]>, globalThis.ReadonlyMap<Key["Encoded"], Value["Encoded"]>, readonly [Key, Value], ReadonlyMapIso<Key, Value>> {
+export interface $ReadonlyMap<Key extends Top, Value extends Top> extends declareConstructor<globalThis.ReadonlyMap<Key["Type"], Value["Type"]>, globalThis.ReadonlyMap<Key["Encoded"], Value["Encoded"]>, readonly [Key, Value], ReadonlyMapIso<Key, Value>> {
     readonly key: Key;
     readonly value: Value;
 }
@@ -3403,12 +3499,33 @@ export type ReadonlyMapIso<Key extends Top, Value extends Top> = ReadonlyArray<r
  * @category ReadonlyMap
  * @since 4.0.0
  */
-export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value: Value): ReadonlyMap$<Key, Value>;
+export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value: Value): $ReadonlyMap<Key, Value>;
+/**
+ * @category HashMap
+ * @since 4.0.0
+ */
+export interface HashMap<Key extends Top, Value extends Top> extends declareConstructor<HashMap_.HashMap<Key["Type"], Value["Type"]>, HashMap_.HashMap<Key["Encoded"], Value["Encoded"]>, readonly [Key, Value], HashMapIso<Key, Value>> {
+    readonly key: Key;
+    readonly value: Value;
+}
+/**
+ * @category HashMap
+ * @since 4.0.0
+ */
+export type HashMapIso<Key extends Top, Value extends Top> = ReadonlyArray<readonly [Key["Iso"], Value["Iso"]]>;
+/**
+ * Creates a schema that validates a `HashMap` where keys and values must
+ * conform to the provided schemas.
+ *
+ * @category HashMap
+ * @since 4.0.0
+ */
+export declare function HashMap<Key extends Top, Value extends Top>(key: Key, value: Value): HashMap<Key, Value>;
 /**
  * @category ReadonlySet
  * @since 4.0.0
  */
-export interface ReadonlySet$<Value extends Top> extends declareConstructor<globalThis.ReadonlySet<Value["Type"]>, globalThis.ReadonlySet<Value["Encoded"]>, readonly [Value], ReadonlySetIso<Value>> {
+export interface $ReadonlySet<Value extends Top> extends declareConstructor<globalThis.ReadonlySet<Value["Type"]>, globalThis.ReadonlySet<Value["Encoded"]>, readonly [Value], ReadonlySetIso<Value>> {
     readonly value: Value;
 }
 /**
@@ -3420,7 +3537,47 @@ export type ReadonlySetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  * @category ReadonlySet
  * @since 4.0.0
  */
-export declare function ReadonlySet<Value extends Top>(value: Value): ReadonlySet$<Value>;
+export declare function ReadonlySet<Value extends Top>(value: Value): $ReadonlySet<Value>;
+/**
+ * @category HashSet
+ * @since 4.0.0
+ */
+export interface HashSet<Value extends Top> extends declareConstructor<HashSet_.HashSet<Value["Type"]>, HashSet_.HashSet<Value["Encoded"]>, readonly [Value], HashSetIso<Value>> {
+    readonly value: Value;
+}
+/**
+ * @category HashSet
+ * @since 4.0.0
+ */
+export type HashSetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
+/**
+ * Creates a schema that validates a `HashSet` where values must conform to the
+ * provided schema.
+ *
+ * @category HashSet
+ * @since 4.0.0
+ */
+export declare function HashSet<Value extends Top>(value: Value): HashSet<Value>;
+/**
+ * @category Chunk
+ * @since 4.0.0
+ */
+export interface Chunk<Value extends Top> extends declareConstructor<Chunk_.Chunk<Value["Type"]>, Chunk_.Chunk<Value["Encoded"]>, readonly [Value], ChunkIso<Value>> {
+    readonly value: Value;
+}
+/**
+ * @category Chunk
+ * @since 4.0.0
+ */
+export type ChunkIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
+/**
+ * Creates a schema that validates a `Chunk` where values must conform to the
+ * provided schema.
+ *
+ * @category Chunk
+ * @since 4.0.0
+ */
+export declare function Chunk<Value extends Top>(value: Value): Chunk<Value>;
 /**
  * @since 4.0.0
  */
@@ -3548,6 +3705,21 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  * @since 4.0.0
  */
 export declare const DurationFromMillis: DurationFromMillis;
+/**
+ * @since 4.0.0
+ */
+export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
+}
+/**
+ * A schema for `BigDecimal` values.
+ *
+ * **Default JSON serializer**
+ *
+ * - encodes `BigDecimal` as a `string`
+ *
+ * @since 4.0.0
+ */
+export declare const BigDecimal: BigDecimal;
 /**
  * @since 4.0.0
  */
@@ -3934,9 +4106,9 @@ export declare const PropertyKey: Union<readonly [Finite, Symbol, String]>;
  * @since 4.0.0
  */
 export declare const StandardSchemaV1FailureResult: Struct<{
-    readonly issues: Array$<Struct<{
+    readonly issues: $Array<Struct<{
         readonly message: String;
-        readonly path: optional<Array$<Union<readonly [Union<readonly [Finite, Symbol, String]>, Struct<{
+        readonly path: optional<$Array<Union<readonly [Union<readonly [Finite, Symbol, String]>, Struct<{
             readonly key: Union<readonly [Finite, Symbol, String]>;
         }>]>>>;
     }>>;
@@ -4098,13 +4270,79 @@ export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>
  * @since 4.0.0
  */
 export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
+/**
+ * @since 4.0.0
+ */
+export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
+}
+/**
+ * A schema for `DateTime.TimeZone.Offset` values.
+ *
+ * **Default JSON serializer**
+ *
+ * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneOffset: TimeZoneOffset;
+/**
+ * @since 4.0.0
+ */
+export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
+}
+/**
+ * A schema for `DateTime.TimeZone.Named` values.
+ *
+ * **Default JSON serializer**
+ *
+ * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneNamed: TimeZoneNamed;
+/**
+ * @since 4.0.0
+ */
+export interface TimeZone extends declare<DateTime.TimeZone> {
+}
+/**
+ * A schema for `DateTime.TimeZone` values.
+ *
+ * **Default JSON serializer**
+ *
+ * - encodes `DateTime.TimeZone` as a string (IANA identifier or offset like
+ *   `+03:00`)
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZone: TimeZone;
+/**
+ * @since 4.0.0
+ */
+export interface DateTimeZoned extends declare<DateTime.Zoned> {
+}
+/**
+ * A schema for `DateTime.Zoned` values.
+ *
+ * **Default JSON serializer**
+ *
+ * - encodes `DateTime.Zoned` as a string in the format
+ *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM[Time/Zone]`
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const DateTimeZoned: DateTimeZoned;
 /**
  * @since 4.0.0
  */
 export interface Class<Self, S extends Top & {
     readonly fields: Struct.Fields;
 }, Inherited> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], AST.Declaration, decodeTo<declareConstructor<Self, S["Encoded"], readonly [S], S["Iso"]>, S>, S["~type.make.in"], S["Iso"], readonly [S], Self, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
-    new (props: S["~type.make.in"], options?: MakeOptions): S["Type"] & Inherited;
+    new (...args: {} extends S["~type.make.in"] ? [props?: S["~type.make.in"], options?: MakeOptions] : [props: S["~type.make.in"], options?: MakeOptions]): S["Type"] & Inherited;
     readonly identifier: string;
     readonly fields: S["fields"];
     /**
@@ -4319,22 +4557,22 @@ export interface ToJsonSchemaOptions {
  */
 export declare function toJsonSchemaDocument(schema: Top, options?: ToJsonSchemaOptions): JsonSchema.Document<"draft-2020-12">;
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export declare function toCodecJson<T, E, RD, RE>(schema: Codec<T, E, RD, RE>): Codec<T, unknown, RD, RE>;
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export declare function toCodecIso<S extends Top>(schema: S): Codec<S["Type"], S["Iso"]>;
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export type StringTree = Tree<string | undefined>;
 /**
- * The StringTree serializer converts **every leaf value to a string**, while
+ * The StringTree canonical codec converts **every leaf value to a string**, while
  * preserving the original structure.
  *
  * Declarations are converted to `undefined` (unless they have a
@@ -4348,7 +4586,7 @@ export type StringTree = Tree<string | undefined>;
  *
  *    Defaults to `false`.
  *
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export declare function toCodecStringTree<T, E, RD, RE>(schema: Codec<T, E, RD, RE>): Codec<T, StringTree, RD, RE>;
@@ -4368,7 +4606,7 @@ type XmlEncoderOptions = {
     readonly sortKeys?: boolean | undefined;
 };
 /**
- * @category Serializer
+ * @category Canonical Codecs
  * @since 4.0.0
  */
 export declare function toEncoderXml<T, E, RD, RE>(codec: Codec<T, E, RD, RE>, options?: XmlEncoderOptions): (t: T) => Effect.Effect<string, SchemaError, RE>;
@@ -4417,46 +4655,24 @@ export declare function toDifferJsonPatch<T, E>(schema: Codec<T, E>): Differ<T,
  * @category Tree
  * @since 4.0.0
  */
-export type Tree<Node> = Node | TreeObject<Node> | ReadonlyArray<Tree<Node>>;
+export type Tree<Node> = Node | TreeRecord<Node> | ReadonlyArray<Tree<Node>>;
 /**
  * @category Tree
  * @since 4.0.0
  */
-export interface TreeObject<A> {
+export interface TreeRecord<A> {
     readonly [x: string]: Tree<A>;
 }
 /**
  * @category Tree
  * @since 4.0.0
  */
-export declare function Tree<S extends Top>(node: S): Union<readonly [S, Array$<suspend<Codec<Tree<S["Type"]>, Tree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>, Record$<String, suspend<Codec<Tree<S["Type"]>, Tree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>]>;
-/**
- * @category Tree
- * @since 4.0.0
- */
-export type MutableTree<A> = A | MutableTreeRecord<A> | Array<MutableTree<A>>;
-/**
- * @category Tree
- * @since 4.0.0
- */
-export interface MutableTreeRecord<A> {
-    [x: string]: MutableTree<A>;
-}
-/**
- * @category Tree
- * @since 4.0.0
- */
-export declare function MutableTree<S extends Top>(node: S): Union<readonly [S, mutable<Array$<suspend<Codec<MutableTree<S["Type"]>, MutableTree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>>, Record$<String, mutableKey<suspend<Codec<MutableTree<S["Type"]>, MutableTree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>>]>;
+export declare function Tree<S extends Top>(node: S): Union<readonly [S, $Array<suspend<Codec<Tree<S["Type"]>, Tree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>, $Record<String, suspend<Codec<Tree<S["Type"]>, Tree<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"]>>>]>;
 /**
  * @category JSON
  * @since 4.0.0
  */
 export type Json = null | number | boolean | string | JsonArray | JsonObject;
-/**
- * @category JSON
- * @since 4.0.0
- */
-export declare const Json: Codec<Json>;
 /**
  * @category JSON
  * @since 4.0.0
@@ -4474,12 +4690,12 @@ export interface JsonObject {
  * @category JSON
  * @since 4.0.0
  */
-export type MutableJson = null | number | boolean | string | MutableJsonArray | MutableJsonObject;
+export declare const Json: Codec<Json>;
 /**
  * @category JSON
  * @since 4.0.0
  */
-export declare const MutableJson: Codec<MutableJson>;
+export type MutableJson = null | number | boolean | string | MutableJsonArray | MutableJsonObject;
 /**
  * @category JSON
  * @since 4.0.0
@@ -4493,6 +4709,11 @@ export interface MutableJsonArray extends Array<MutableJson> {
 export interface MutableJsonObject {
     [x: string]: MutableJson;
 }
+/**
+ * @category JSON
+ * @since 4.0.0
+ */
+export declare const MutableJson: Codec<MutableJson>;
 /**
  * Return all the typed annotations from the schema.
  *