effect 4.0.0-beta.67 → 4.0.0-beta.69

package/dist/Schema.d.ts

@@ -125,6 +125,7 @@ declare const TypeId = "~effect/Schema/Schema";
  * @see {@link optionalKey} — mark a struct field as optional
  * @see {@link optional} — mark a struct field as optional with `| undefined`
  *
+ * @category models
  * @since 4.0.0
  */
 export type Optionality = "required" | "optional";
@@ -133,6 +134,7 @@ export type Optionality = "required" | "optional";
  *
  * @see {@link mutableKey} — mark a struct field as mutable
  *
+ * @category models
  * @since 4.0.0
  */
 export type Mutability = "readonly" | "mutable";
@@ -142,6 +144,7 @@ export type Mutability = "readonly" | "mutable";
  * @see {@link withConstructorDefault} — add a default to a schema field
  * @see {@link tag} — creates a literal field with a constructor default
  *
+ * @category models
  * @since 4.0.0
  */
 export type ConstructorDefault = "no-default" | "with-default";
@@ -155,7 +158,8 @@ export type ConstructorDefault = "no-default" | "with-default";
  * @see {@link Bottom.makeEffect}
  * @see {@link Bottom.make}
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.13.4
  */
 export interface MakeOptions {
     /**
@@ -182,6 +186,7 @@ export interface MakeOptions {
  * @see {@link Schema} — tracks only the decoded Type
  * @see {@link Codec} — tracks Type + Encoded
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, out Rebuild extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Top> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Pipeable.Pipeable {
@@ -207,8 +212,6 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
     rebuild(ast: this["ast"]): this["Rebuild"];
     /**
      * Constructs a value from the make input representation.
-     *
-     * @throws {Error} The issue is contained in the error cause.
      */
     make(input: this["~type.make.in"], options?: MakeOptions): this["Type"];
     makeOption(input: this["~type.make.in"], options?: MakeOptions): Option_.Option<this["Type"]>;
@@ -219,7 +222,7 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
  * type `T`, the encoded type `E`, and the list of type-parameter schemas
  * `TypeParameters`.
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<Top>, Iso = T> extends Bottom<T, E, TypeParameters[number]["DecodingServices"], TypeParameters[number]["EncodingServices"], AST.Declaration, declareConstructor<T, E, TypeParameters, Iso>, T, Iso, TypeParameters> {
@@ -241,10 +244,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  * **Example** (Schema for a parametric `Box<A>` type)
  *
  * ```ts
- * import { Effect, Schema } from "effect"
- * import * as SchemaParser from "effect/SchemaParser"
- * import * as Issue from "effect/SchemaIssue"
- * import * as Option from "effect/Option"
+ * import { Effect, Option, Schema, SchemaIssue as Issue, SchemaParser } from "effect"
  *
  * interface Box<A> {
  *   readonly value: A
@@ -271,7 +271,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  * const schema = Box(Schema.Number)
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function declareConstructor<T, E = T, Iso = T>(): <const TypeParameters extends ReadonlyArray<Top>>(typeParameters: TypeParameters, run: (typeParameters: { readonly [K in keyof TypeParameters]: Codec<TypeParameters[K]["Type"], TypeParameters[K]["Encoded"]>; }) => (u: unknown, self: AST.Declaration, options: AST.ParseOptions) => Effect.Effect<T, Issue.Issue>, annotations?: Annotations.Declaration<T, TypeParameters>) => declareConstructor<T, E, TypeParameters, Iso>;
@@ -279,8 +279,8 @@ export declare function declareConstructor<T, E = T, Iso = T>(): <const TypePara
  * The schema type returned by {@link declare}, representing a non-parametric
  * opaque type `T` with no type parameters.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.13.3
  */
 export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [], Iso> {
     readonly "Rebuild": declare<T, Iso>;
@@ -311,8 +311,8 @@ export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [
  *
  * @see {@link declareConstructor} for creating schemas for parametric types.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotations?: Annotations.Declaration<T> | undefined): declare<T, Iso>;
 /**
@@ -339,6 +339,7 @@ export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotati
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
+ * @category utils
  * @since 4.0.0
  */
 export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["Rebuild"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]>;
@@ -365,7 +366,7 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  *
  * @see {@link annotateEncoded} to annotate the encoded side instead.
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export declare function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"], S["~type.parameters"]>): (self: S) => S["Rebuild"];
@@ -394,7 +395,7 @@ export declare function annotate<S extends Top>(annotations: Annotations.Bottom<
  *
  * @see {@link annotate} to annotate the type side instead.
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export declare function annotateEncoded<S extends Top>(annotations: Annotations.Bottom<S["Encoded"], readonly []>): (self: S) => S["Rebuild"];
@@ -423,7 +424,7 @@ export declare function annotateEncoded<S extends Top>(annotations: Annotations.
  * })
  * ```
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export declare function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"]>): (self: S) => S["Rebuild"];
@@ -440,6 +441,7 @@ export declare function annotateKey<S extends Top>(annotations: Annotations.Key<
  * - {@link Decoder}`<T, RD>` — for decode-only APIs
  * - {@link Encoder}`<E, RE>` — for encode-only APIs
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Top extends Bottom<unknown, unknown, unknown, unknown, AST.AST, Top, unknown, unknown, any, // this is because TypeParameters is invariant
@@ -448,7 +450,7 @@ unknown, Mutability, Optionality, ConstructorDefault, Mutability, Optionality> {
 /**
  * Namespace of type-level helpers for {@link Schema}.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Schema {
     /**
@@ -464,7 +466,8 @@ export declare namespace Schema {
      * // { readonly name: string; readonly age: number }
      * ```
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<S> = S extends Top ? S["Type"] : never;
 }
@@ -493,7 +496,8 @@ export declare namespace Schema {
  * @see {@link Codec} — also tracks Encoded, DecodingServices, EncodingServices
  * @see {@link Schema.Type} — extract the decoded type at the type level
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Schema<out T> extends Top {
     readonly "Type": T;
@@ -518,7 +522,8 @@ export declare namespace Codec {
      * // string
      * ```
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<S> = S extends Top ? S["Encoded"] : never;
     /**
@@ -534,6 +539,7 @@ export declare namespace Codec {
      * // never
      * ```
      *
+     * @category utility types
      * @since 4.0.0
      */
     type DecodingServices<S> = S extends Top ? S["DecodingServices"] : never;
@@ -550,19 +556,10 @@ export declare namespace Codec {
      * // never
      * ```
      *
+     * @category utility types
      * @since 4.0.0
      */
     type EncodingServices<S> = S extends Top ? S["EncodingServices"] : never;
-    /**
-     * Converts a schema type into an assertion function signature. The resulting
-     * function narrows its argument to `I & S["Type"]`. Only schemas with
-     * `DecodingServices: never` (i.e. no required services) can be used here.
-     *
-     * Produced by {@link asserts}.
-     *
-     * @since 4.0.0
-     */
-    type ToAsserts<S extends Top> = <I>(input: I) => asserts input is I & S["Type"];
 }
 /**
  * A schema that additionally supports optic (lens/prism) operations.
@@ -577,6 +574,7 @@ export declare namespace Codec {
  * `Optic` automatically. You normally interact with this interface through
  * {@link Optic_} utilities rather than constructing it directly.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Optic<out T, out Iso> extends Schema<T> {
@@ -613,6 +611,7 @@ export interface Optic<out T, out Iso> extends Schema<T> {
  * @see {@link Codec.EncodingServices} — extract required encoding services
  * @see {@link revealCodec} — helper to make TypeScript infer the full Codec type
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Codec<out T, out E = T, out RD = never, out RE = never> extends Schema<T> {
@@ -639,6 +638,7 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
  * validate(Schema.NumberFromString) // ok
  * ```
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, unknown> {
@@ -662,6 +662,7 @@ export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, un
  * serialize(Schema.NumberFromString) // ok — encodes number to string
  * ```
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknown, RE> {
@@ -687,6 +688,7 @@ export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknow
  * type Enc = typeof codec["Encoded"] // string
  * ```
  *
+ * @category utils
  * @since 4.0.0
  */
 export declare function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>): Codec<T, E, RD, RE>;
@@ -737,6 +739,7 @@ SchemaError };
  * }
  * ```
  *
+ * @category guards
  * @since 4.0.0
  */
 export declare function isSchemaError(u: unknown): u is SchemaError;
@@ -813,7 +816,6 @@ export declare function toStandardSchemaV1<S extends Decoder<unknown>>(self: S,
  *
  * @category Standard Schema
  * @since 4.0.0
- * @experimental
  */
 export declare function toStandardJSONSchemaV1<S extends Top>(self: S): StandardJSONSchemaV1<S["Encoded"], S["Type"]> & S;
 /**
@@ -842,8 +844,8 @@ export declare function toStandardJSONSchemaV1<S extends Top>(self: S): Standard
  * }
  * ```
  *
- * @category Asserting
- * @since 4.0.0
+ * @category guards
+ * @since 3.10.0
  */
 export declare const is: typeof Parser.is;
 /**
@@ -859,30 +861,25 @@ export declare const is: typeof Parser.is;
  * ```ts
  * import { Schema } from "effect"
  *
- * const assertString: (u: unknown) => asserts u is string = Schema.asserts(
- *   Schema.String
- * )
+ * const input: unknown = "hello"
  *
- * // This will pass silently (no return value)
- * try {
- *   assertString("hello")
- *   console.log("String assertion passed")
- * } catch (error) {
- *   console.log("String assertion failed")
- * }
+ * // This will pass silently (no return value) and narrow input to string
+ * Schema.asserts(Schema.String, input)
+ * console.log(input.toUpperCase())
  *
  * // This will throw an error
  * try {
- *   assertString(123)
+ *   const invalid: unknown = 123
+ *   Schema.asserts(Schema.String, invalid)
  * } catch (error) {
  *   console.log("Non-string assertion failed as expected")
  * }
  * ```
  *
- * @category Asserting
+ * @category guards
  * @since 4.0.0
  */
-export declare const asserts: typeof Parser.asserts;
+export declare const asserts: <S extends Top, I>(schema: S, input: I) => asserts input is I & S["Type"];
 /**
  * Decodes an `unknown` input against a schema, returning an `Effect` that
  * succeeds with the decoded value or fails with a {@link SchemaError}. Use this
@@ -891,7 +888,7 @@ export declare const asserts: typeof Parser.asserts;
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare function decodeUnknownEffect<S extends Top>(schema: S, options?: AST.ParseOptions): (input: unknown, options?: AST.ParseOptions) => Effect.Effect<S["Type"], SchemaError, S["DecodingServices"]>;
@@ -903,7 +900,7 @@ export declare function decodeUnknownEffect<S extends Top>(schema: S, options?:
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeEffect: <S extends Top>(schema: S, options?: AST.ParseOptions) => (input: S["Encoded"], options?: AST.ParseOptions) => Effect.Effect<S["Type"], SchemaError, S["DecodingServices"]>;
@@ -916,7 +913,7 @@ export declare const decodeEffect: <S extends Top>(schema: S, options?: AST.Pars
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare function decodeUnknownExit<S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
@@ -929,7 +926,7 @@ export declare function decodeUnknownExit<S extends Decoder<unknown>>(schema: S,
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeExit: <S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Encoded"], options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
@@ -942,8 +939,8 @@ export declare const decodeExit: <S extends Decoder<unknown>>(schema: S, options
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export declare const decodeUnknownOption: typeof Parser.decodeUnknownOption;
 /**
@@ -953,8 +950,8 @@ export declare const decodeUnknownOption: typeof Parser.decodeUnknownOption;
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export declare const decodeOption: <S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Encoded"], options?: AST.ParseOptions) => Option_.Option<S["Type"]>;
 /**
@@ -964,7 +961,7 @@ export declare const decodeOption: <S extends Decoder<unknown>>(schema: S, optio
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeUnknownResult: typeof Parser.decodeUnknownResult;
@@ -975,7 +972,7 @@ export declare const decodeUnknownResult: typeof Parser.decodeUnknownResult;
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeResult: <S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Encoded"], options?: AST.ParseOptions) => Result_.Result<S["Type"], Issue.Issue>;
@@ -987,8 +984,8 @@ export declare const decodeResult: <S extends Decoder<unknown>>(schema: S, optio
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export declare const decodeUnknownPromise: typeof Parser.decodeUnknownPromise;
 /**
@@ -1000,8 +997,8 @@ export declare const decodeUnknownPromise: typeof Parser.decodeUnknownPromise;
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export declare const decodePromise: typeof Parser.decodePromise;
 /**
@@ -1033,7 +1030,7 @@ export declare const decodePromise: typeof Parser.decodePromise;
  * //         └─ Expected a numeric string, actual "not a number"
  * ```
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeUnknownSync: typeof Parser.decodeUnknownSync;
@@ -1047,7 +1044,7 @@ export declare const decodeUnknownSync: typeof Parser.decodeUnknownSync;
  * provided either when creating the decoder or when applying it; application
  * options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export declare const decodeSync: <S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Encoded"], options?: AST.ParseOptions) => S["Type"];
@@ -1070,7 +1067,7 @@ export declare const decodeSync: <S extends Decoder<unknown>>(schema: S, options
  * // Output: "42"
  * ```
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare function encodeUnknownEffect<S extends Top>(schema: S, options?: AST.ParseOptions): (input: unknown, options?: AST.ParseOptions) => Effect.Effect<S["Encoded"], SchemaError, S["EncodingServices"]>;
@@ -1082,7 +1079,7 @@ export declare function encodeUnknownEffect<S extends Top>(schema: S, options?:
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeEffect: <S extends Top>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => Effect.Effect<S["Encoded"], SchemaError, S["EncodingServices"]>;
@@ -1095,7 +1092,7 @@ export declare const encodeEffect: <S extends Top>(schema: S, options?: AST.Pars
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare function encodeUnknownExit<S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
@@ -1108,7 +1105,7 @@ export declare function encodeUnknownExit<S extends Encoder<unknown>>(schema: S,
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeExit: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
@@ -1121,8 +1118,8 @@ export declare const encodeExit: <S extends Encoder<unknown>>(schema: S, options
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export declare const encodeUnknownOption: typeof Parser.encodeUnknownOption;
 /**
@@ -1132,8 +1129,8 @@ export declare const encodeUnknownOption: typeof Parser.encodeUnknownOption;
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export declare const encodeOption: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => Option_.Option<S["Encoded"]>;
 /**
@@ -1143,7 +1140,7 @@ export declare const encodeOption: <S extends Encoder<unknown>>(schema: S, optio
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeUnknownResult: typeof Parser.encodeUnknownResult;
@@ -1154,7 +1151,7 @@ export declare const encodeUnknownResult: typeof Parser.encodeUnknownResult;
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeResult: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => Result_.Result<S["Encoded"], Issue.Issue>;
@@ -1166,8 +1163,8 @@ export declare const encodeResult: <S extends Encoder<unknown>>(schema: S, optio
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export declare const encodeUnknownPromise: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: unknown, options?: AST.ParseOptions) => Promise<S["Encoded"]>;
 /**
@@ -1177,8 +1174,8 @@ export declare const encodeUnknownPromise: <S extends Encoder<unknown>>(schema:
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export declare const encodePromise: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => Promise<S["Encoded"]>;
 /**
@@ -1191,7 +1188,7 @@ export declare const encodePromise: <S extends Encoder<unknown>>(schema: S, opti
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeUnknownSync: typeof Parser.encodeUnknownSync;
@@ -1202,7 +1199,7 @@ export declare const encodeUnknownSync: typeof Parser.encodeUnknownSync;
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export declare const encodeSync: <S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) => (input: S["Type"], options?: AST.ParseOptions) => S["Encoded"];
@@ -1218,8 +1215,8 @@ export declare const encodeSync: <S extends Encoder<unknown>>(schema: S, options
  * the bridge between the untyped AST representation and the strongly-typed
  * schema.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const make: <S extends Top>(ast: S["ast"], options?: object) => S;
 /**
@@ -1240,6 +1237,7 @@ export declare const make: <S extends Top>(ast: S["ast"], options?: object) => S
  * // "a"
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export declare function asClass<S extends Top>(schema: S): S & {
@@ -1248,8 +1246,8 @@ export declare function asClass<S extends Top>(schema: S): S & {
 /**
  * Tests if a value is a `Schema`.
  *
- * @category Guards
- * @since 4.0.0
+ * @category guards
+ * @since 3.10.0
  */
 export declare function isSchema(u: unknown): u is Top;
 /**
@@ -1257,6 +1255,7 @@ export declare function isSchema(u: unknown): u is Top;
  * when present must match the wrapped schema (no implicit `undefined`).
  * Produced by {@link optionalKey}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface optionalKey<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], optionalKey<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], "optional", S["~type.constructor.default"], S["~encoded.mutability"], "optional"> {
@@ -1285,6 +1284,7 @@ interface optionalKeyLambda extends Lambda {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @category combinators
  * @since 4.0.0
  */
 export declare const optionalKey: optionalKeyLambda;
@@ -1296,6 +1296,7 @@ interface requiredKeyLambda extends Lambda {
  * Reverses {@link optionalKey}, returning the inner required schema. Only
  * applicable to schemas already wrapped with `optionalKey`.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export declare const requiredKey: requiredKeyLambda;
@@ -1303,7 +1304,8 @@ export declare const requiredKey: requiredKeyLambda;
  * Companion type for an optional struct key that also accepts `undefined`.
  * Equivalent to `optionalKey<UndefinedOr<S>>`. Produced by {@link optional}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface optional<S extends Top> extends optionalKey<UndefinedOr<S>> {
     readonly "Rebuild": optional<S>;
@@ -1335,7 +1337,8 @@ interface optionalLambda extends Lambda {
  * type Person = typeof schema.Type
  * ```
  *
- * @since 4.0.0
+ * @category combinators
+ * @since 3.10.0
  */
 export declare const optional: optionalLambda;
 interface requiredLambda extends Lambda {
@@ -1346,13 +1349,15 @@ interface requiredLambda extends Lambda {
  * Reverses {@link optional}, returning the inner schema (unwrapping `UndefinedOr`).
  * Only applicable to schemas already wrapped with `optional`.
  *
- * @since 4.0.0
+ * @category combinators
+ * @since 3.10.0
  */
 export declare const required: requiredLambda;
 /**
  * Companion type for a mutable struct key. The key's property is writable.
  * Produced by {@link mutableKey}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface mutableKey<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], mutableKey<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], "mutable", S["~type.optionality"], S["~type.constructor.default"], "mutable", S["~encoded.optionality"]> {
@@ -1366,6 +1371,7 @@ interface mutableKeyLambda extends Lambda {
  * Makes a struct field mutable (removes the `readonly` modifier on the property).
  * Use {@link readonlyKey} to reverse.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export declare const mutableKey: mutableKeyLambda;
@@ -1377,6 +1383,7 @@ interface readonlyKeyLambda extends Lambda {
  * Reverses {@link mutableKey}, returning the inner schema as readonly again.
  * Only applicable to schemas already wrapped with `mutableKey`.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export declare const readonlyKey: readonlyKeyLambda;
@@ -1384,6 +1391,7 @@ export declare const readonlyKey: readonlyKeyLambda;
  * Schema type that collapses a transformation schema to its decoded `Type` on
  * both sides (Type = Encoded = S["Type"]). Produced by {@link toType}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface toType<S extends Top> extends Bottom<S["Type"], S["Type"], never, never, S["ast"], toType<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
@@ -1396,6 +1404,7 @@ interface toTypeLambda extends Lambda {
  * Extracts the type-side schema: sets `Encoded` to equal the decoded `Type`,
  * discarding the encoding transformation path.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare const toType: toTypeLambda;
@@ -1403,6 +1412,7 @@ export declare const toType: toTypeLambda;
  * Schema type that collapses a transformation schema to its `Encoded` side on
  * both sides (Type = Encoded = S["Encoded"]). Produced by {@link toEncoded}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface toEncoded<S extends Top> extends Bottom<S["Encoded"], S["Encoded"], never, never, AST.AST, toEncoded<S>, S["Encoded"], S["Encoded"], ReadonlyArray<Top>, S["Encoded"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
@@ -1415,6 +1425,7 @@ interface toEncodedLambda extends Lambda {
  * Extracts the encoded-side schema: sets `Type` to equal the `Encoded`,
  * discarding the decoding transformation path.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare const toEncoded: toEncodedLambda;
@@ -1423,6 +1434,7 @@ declare const FlipTypeId = "~effect/Schema/flip";
  * Schema type representing a flipped schema where `Type` and `Encoded` are
  * swapped. Produced by {@link flip}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface flip<S extends Top> extends Bottom<S["Encoded"], S["Type"], S["EncodingServices"], S["DecodingServices"], AST.AST, flip<S>, S["Encoded"], S["Encoded"], ReadonlyArray<Top>, S["Encoded"], S["~encoded.mutability"], S["~encoded.optionality"], ConstructorDefault, S["~type.mutability"], S["~type.optionality"]> {
@@ -1443,6 +1455,7 @@ export interface flip<S extends Top> extends Bottom<S["Encoded"], S["Type"], S["
  * // flipped: decodes number → string
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare function flip<S extends Top>(schema: S): S extends flip<infer F> ? F["Rebuild"] : flip<S>;
@@ -1450,7 +1463,8 @@ export declare function flip<S extends Top>(schema: S): S extends flip<infer F>
  * Represents a schema for a single literal value.
  *
  * @see {@link Literal} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never, never, AST.Literal, Literal<L>> {
     readonly literal: L;
@@ -1460,6 +1474,7 @@ export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never,
  * Creates a schema for a single literal value (string, number, bigint, boolean, or null).
  *
  * **Example** (String literal)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1470,13 +1485,14 @@ export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never,
  * @see {@link Literals} for a schema that represents a union of literals.
  * @see {@link tag} for a schema that represents a literal value that can be
  * used as a discriminator field in tagged unions and has a constructor default.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function Literal<L extends AST.LiteralValue>(literal: L): Literal<L>;
 /**
  * Namespace for {@link TemplateLiteral} helper types.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace TemplateLiteral {
     /**
@@ -1486,6 +1502,7 @@ export declare namespace TemplateLiteral {
      * The schema's encoded value must be a `string`, `number`, or `bigint` so it can
      * be converted into a template literal string segment.
      *
+     * @category utility types
      * @since 4.0.0
      */
     interface SchemaPart extends Top {
@@ -1494,6 +1511,7 @@ export declare namespace TemplateLiteral {
     /**
      * Literal value that can be used directly as a part of a `TemplateLiteral`.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type LiteralPart = string | number | bigint;
@@ -1501,12 +1519,14 @@ export declare namespace TemplateLiteral {
      * A single part of a `TemplateLiteral`, either an interpolated schema part or a
      * literal `string`, `number`, or `bigint`.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Part = SchemaPart | LiteralPart;
     /**
      * Ordered list of parts used to construct a `TemplateLiteral` schema.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Parts = ReadonlyArray<Part>;
@@ -1515,7 +1535,8 @@ export declare namespace TemplateLiteral {
      * Computes the encoded string literal type produced by concatenating the encoded
      * forms of all template literal parts.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<Parts> = Parts extends readonly [...infer Init, infer Last] ? AppendType<Encoded<Init>, Last> : ``;
 }
@@ -1524,7 +1545,8 @@ export declare namespace TemplateLiteral {
  * The encoded type is a string formed by concatenating the parts.
  *
  * @see {@link TemplateLiteral} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends Bottom<TemplateLiteral.Encoded<Parts>, TemplateLiteral.Encoded<Parts>, never, never, AST.TemplateLiteral, TemplateLiteral<Parts>> {
     readonly parts: Parts;
@@ -1534,6 +1556,7 @@ export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends Bo
  * a literal string/number/bigint or a schema whose encoded type is a string, number, or bigint.
  *
  * **Example** (URL path pattern)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1542,13 +1565,14 @@ export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends Bo
  * ```
  *
  * @see {@link TemplateLiteralParser} for a schema that also parses matched parts into a tuple.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function TemplateLiteral<const Parts extends TemplateLiteral.Parts>(parts: Parts): TemplateLiteral<Parts>;
 /**
  * Namespace for {@link TemplateLiteralParser} helper types.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace TemplateLiteralParser {
     /**
@@ -1558,7 +1582,8 @@ export declare namespace TemplateLiteralParser {
      * Literal parts contribute their literal value to the tuple. Schema parts
      * contribute their decoded `Type`.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<Parts> = Parts extends readonly [infer Head, ...infer Tail] ? readonly [
         Head extends TemplateLiteral.LiteralPart ? Head : Head extends Codec<infer T, unknown, unknown, unknown> ? T : never,
@@ -1570,7 +1595,8 @@ export declare namespace TemplateLiteralParser {
  * them into a tuple of typed values, one per schema part.
  *
  * @see {@link TemplateLiteralParser} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> extends Bottom<TemplateLiteralParser.Type<Parts>, TemplateLiteral.Encoded<Parts>, never, never, AST.Arrays, TemplateLiteralParser<Parts>> {
     readonly parts: Parts;
@@ -1580,6 +1606,7 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  * one element per schema part.
  *
  * **Example** (Parse path parameters)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1588,7 +1615,8 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  * ```
  *
  * @see {@link TemplateLiteral} for a validation-only version that keeps the string encoded.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>(parts: Parts): TemplateLiteralParser<Parts>;
 /**
@@ -1596,6 +1624,7 @@ export declare function TemplateLiteralParser<const Parts extends TemplateLitera
  * `as const` object, accepting any of its values.
  *
  * @see {@link Enum} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface Enum<A extends {
@@ -1607,6 +1636,7 @@ export interface Enum<A extends {
  * Creates a schema from a TypeScript enum object. Validates that the input is one of the enum's values.
  *
  * **Example** (Direction enum)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1619,6 +1649,7 @@ export interface Enum<A extends {
  * // accepts "Up" or "Down"
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export declare function Enum<A extends {
@@ -1628,21 +1659,24 @@ export declare function Enum<A extends {
  * Schema for the `never` type. Always fails validation.
  *
  * @see {@link Never} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Never extends Bottom<never, never, never, never, AST.Never, Never> {
 }
 /**
  * Schema for the `never` type. Always fails validation — no value satisfies it.
  *
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Never: Never;
 /**
  * Schema for the `any` type. Accepts any value without validation.
  *
  * @see {@link Any} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {
 }
@@ -1650,14 +1684,16 @@ export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {
  * Schema for the `any` type. Accepts any value without validation.
  *
  * @see {@link Unknown} for a safer alternative that uses `unknown`.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Any: Any;
 /**
  * Schema for the `unknown` type. Accepts any value without validation.
  *
  * @see {@link Unknown} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unknown, Unknown> {
 }
@@ -1665,14 +1701,16 @@ export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unkn
  * Schema for the `unknown` type. Accepts any value without validation.
  *
  * @see {@link Any} for the `any` variant.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Unknown: Unknown;
 /**
  * Schema for the `null` literal. Validates that the input is strictly `null`.
  *
  * @see {@link Null} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {
 }
@@ -1680,14 +1718,16 @@ export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {
  * Schema for the `null` literal. Validates that the input is strictly `null`.
  *
  * @see {@link NullOr} for a union with another schema.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Null: Null;
 /**
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
  *
  * @see {@link Undefined} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Undefined extends Bottom<undefined, undefined, never, never, AST.Undefined, Undefined> {
 }
@@ -1695,13 +1735,15 @@ export interface Undefined extends Bottom<undefined, undefined, never, never, AS
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
  *
  * @see {@link UndefinedOr} for a union with another schema.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Undefined: Undefined;
 /**
  * Schema for `string` values.
  *
  * @see {@link String} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface String extends Bottom<string, string, never, never, AST.String, String> {
@@ -1709,6 +1751,7 @@ export interface String extends Bottom<string, string, never, never, AST.String,
 /**
  * Schema for `string` values. Validates that the input is `typeof` `"string"`.
  *
+ * @category schemas
  * @since 4.0.0
  */
 export declare const String: String;
@@ -1716,6 +1759,7 @@ export declare const String: String;
  * Schema for `number` values, including `NaN`, `Infinity`, and `-Infinity`.
  *
  * @see {@link Number} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Number extends Bottom<number, number, never, never, AST.Number, Number> {
@@ -1729,6 +1773,7 @@ export interface Number extends Bottom<number, number, never, never, AST.Number,
  * - Non-finite values are serialized as strings (`"NaN"`, `"Infinity"`, `"-Infinity"`).
  *
  * @see {@link Finite} for a schema that excludes non-finite values.
+ * @category schemas
  * @since 4.0.0
  */
 export declare const Number: Number;
@@ -1736,6 +1781,7 @@ export declare const Number: Number;
  * Schema for `boolean` values.
  *
  * @see {@link Boolean} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Boolean extends Bottom<boolean, boolean, never, never, AST.Boolean, Boolean> {
@@ -1751,6 +1797,7 @@ export declare const Boolean: Boolean;
  * Schema for `symbol` values.
  *
  * @see {@link Symbol} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol, Symbol> {
@@ -1759,6 +1806,7 @@ export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol,
  * Schema for `symbol` values. Validates that the input is `typeof` `"symbol"`.
  *
  * @see {@link UniqueSymbol} for a schema that matches a specific symbol.
+ * @category schemas
  * @since 4.0.0
  */
 export declare const Symbol: Symbol;
@@ -1766,6 +1814,7 @@ export declare const Symbol: Symbol;
  * Schema for `bigint` values.
  *
  * @see {@link BigInt} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt, BigInt> {
@@ -1773,6 +1822,7 @@ export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt,
 /**
  * Schema for `bigint` values. Validates that the input is `typeof` `"bigint"`.
  *
+ * @category schemas
  * @since 4.0.0
  */
 export declare const BigInt: BigInt;
@@ -1780,20 +1830,23 @@ export declare const BigInt: BigInt;
  * Schema for the `void` type.
  *
  * @see {@link Void} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Void extends Bottom<void, void, never, never, AST.Void, Void> {
 }
 /**
  * Schema for the `void` type. Accepts `undefined` as the encoded value.
  *
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export declare const Void: Void;
 /**
  * Schema for the `object` type keyword.
  *
  * @see {@link ObjectKeyword} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface ObjectKeyword extends Bottom<object, object, never, never, AST.ObjectKeyword, ObjectKeyword> {
@@ -1802,6 +1855,7 @@ export interface ObjectKeyword extends Bottom<object, object, never, never, AST.
  * Schema for the `object` type. Validates that the input is a non-null object or function
  * (i.e. `typeof value === "object" && value !== null || typeof value === "function"`).
  *
+ * @category schemas
  * @since 4.0.0
  */
 export declare const ObjectKeyword: ObjectKeyword;
@@ -1809,6 +1863,7 @@ export declare const ObjectKeyword: ObjectKeyword;
  * Represents a schema for a specific unique symbol.
  *
  * @see {@link UniqueSymbol} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface UniqueSymbol<sym extends symbol> extends Bottom<sym, sym, never, never, AST.UniqueSymbol, UniqueSymbol<sym>> {
@@ -1817,6 +1872,7 @@ export interface UniqueSymbol<sym extends symbol> extends Bottom<sym, sym, never
  * Creates a schema for a specific symbol. Only that exact symbol satisfies the schema.
  *
  * **Example** (Specific symbol)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1825,6 +1881,7 @@ export interface UniqueSymbol<sym extends symbol> extends Bottom<sym, sym, never
  * ```
  *
  * @see {@link Symbol} for a schema that accepts any symbol.
+ * @category constructors
  * @since 4.0.0
  */
 export declare function UniqueSymbol<const sym extends symbol>(symbol: sym): UniqueSymbol<sym>;
@@ -1841,13 +1898,14 @@ export declare function UniqueSymbol<const sym extends symbol>(symbol: sym): Uni
  * - `Struct.MakeIn<F>` — constructor input (optional/defaulted fields may be omitted)
  * - `Struct.DecodingServices<F>` / `Struct.EncodingServices<F>` — required services
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Struct {
     /**
      * Constraint for a struct field map: an object whose values are schemas.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Fields = {
         readonly [x: PropertyKey]: Top;
@@ -1878,7 +1936,8 @@ export declare namespace Struct {
      * Field schemas contribute their decoded `Type`. `optionalKey` and `optional`
      * produce optional properties, while `mutableKey` produces writable properties.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<F extends Fields> = Simplify<Type_<F>>;
     type Iso_<F extends Fields, O extends keyof F = TypeOptionalKeys<F>, M extends keyof F = TypeMutableKeys<F>> = {
@@ -1898,6 +1957,7 @@ export declare namespace Struct {
      * The resulting property optionality and mutability follow the same field
      * modifiers used by `Struct.Type`.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Iso<F extends Fields> = Simplify<Iso_<F>>;
@@ -1928,13 +1988,15 @@ export declare namespace Struct {
      * mutability modifiers determine whether properties are optional or writable in
      * the encoded shape.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<F extends Fields> = Simplify<Encoded_<F>>;
     /**
      * Union of all decoding service requirements needed by the schemas in a struct
      * field map.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type DecodingServices<F extends Fields> = {
@@ -1944,6 +2006,7 @@ export declare namespace Struct {
      * Union of all encoding service requirements needed by the schemas in a struct
      * field map.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type EncodingServices<F extends Fields> = {
@@ -1966,6 +2029,7 @@ export declare namespace Struct {
      * Required fields use each field schema's `~type.make` input. Fields marked
      * optional or with a constructor default may be omitted.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type MakeIn<F extends Fields> = Simplify<MakeIn_<F>>;
@@ -1978,7 +2042,8 @@ export declare namespace Struct {
  * The `fields` property exposes the original field map for reuse, and
  * `mapFields` creates a new struct schema by transforming that field map.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Struct<Fields extends Struct.Fields> extends Bottom<Struct.Type<Fields>, Struct.Encoded<Fields>, Struct.DecodingServices<Fields>, Struct.EncodingServices<Fields>, AST.Objects, Struct<Fields>, Struct.MakeIn<Fields>, Struct.Iso<Fields>> {
     /**
@@ -2049,8 +2114,8 @@ export interface Struct<Fields extends Struct.Fields> extends Bottom<Struct.Type
  * // { name: 'Alice', age: 30 }
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function Struct<const Fields extends Struct.Fields>(fields: Fields): Struct<Fields>;
 interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
@@ -2073,6 +2138,7 @@ interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
  * ]).mapMembers(Tuple.map(Schema.fieldsAssign({ c: Schema.Number })))
  * ```
  *
+ * @category combinators
  * @since 4.0.0
  */
 export declare function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewFields): fieldsAssign<NewFields>;
@@ -2080,6 +2146,7 @@ export declare function fieldsAssign<const NewFields extends Struct.Fields>(fiel
  * Schema type for a struct with renamed encoded keys. Produced by
  * {@link encodeKeys}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface encodeKeys<S extends Top & {
@@ -2111,7 +2178,7 @@ export interface encodeKeys<S extends Top & {
  * // { name: 'Alice', age: 30 }
  * ```
  *
- * @category Struct transformations
+ * @category transforming
  * @since 4.0.0
  */
 export declare function encodeKeys<S extends Top & {
@@ -2145,8 +2212,8 @@ export declare function encodeKeys<S extends Top & {
  * // Alice Smith
  * ```
  *
+ * @category transforming
  * @since 4.0.0
- * @experimental
  */
 export declare function extendTo<S extends Struct<Struct.Fields>, const Fields extends Struct.Fields>(
 /** The new fields to add */
@@ -2162,7 +2229,7 @@ derive: {
  * - `Record.Type<K, V>` — decoded type of the record
  * - `Record.Encoded<K, V>` — encoded type of the record
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Record {
     /**
@@ -2172,6 +2239,7 @@ export declare namespace Record {
      * The key schema must decode and encode property keys (`string`, `number`, or
      * `symbol`) so it can describe object property names.
      *
+     * @category utility types
      * @since 4.0.0
      */
     interface Key extends Codec<PropertyKey, PropertyKey, unknown, unknown> {
@@ -2187,7 +2255,8 @@ export declare namespace Record {
      * property's decoded `Type`. Optional and mutable value schemas affect the
      * resulting property optionality and writability.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<Key extends Record.Key, Value extends Top> = Value extends {
         readonly "~type.optionality": "optional";
@@ -2208,6 +2277,7 @@ export declare namespace Record {
      * Computes the iso object type for a record schema from the key schema's `Iso`
      * keys and the value schema's `Iso` values.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Iso<Key extends Record.Key, Value extends Top> = Value extends {
@@ -2233,7 +2303,8 @@ export declare namespace Record {
      * Encoded-side optionality and mutability on the value schema determine whether
      * the encoded record properties are optional or writable.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<Key extends Record.Key, Value extends Top> = Value extends {
         readonly "~encoded.optionality": "optional";
@@ -2254,6 +2325,7 @@ export declare namespace Record {
      * Union of the decoding service requirements of a record's key schema and value
      * schema.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type DecodingServices<Key extends Record.Key, Value extends Top> = Key["DecodingServices"] | Value["DecodingServices"];
@@ -2261,6 +2333,7 @@ export declare namespace Record {
      * Union of the encoding service requirements of a record's key schema and value
      * schema.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type EncodingServices<Key extends Record.Key, Value extends Top> = Key["EncodingServices"] | Value["EncodingServices"];
@@ -2272,6 +2345,7 @@ export declare namespace Record {
      * `~type.make` type. Value optionality and mutability determine whether
      * properties are optional or writable.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type MakeIn<Key extends Record.Key, Value extends Top> = Value extends {
@@ -2294,6 +2368,7 @@ export declare namespace Record {
  * Companion type for a key-value record (map) with a typed key and value schema.
  * Produced by {@link Record}.
  *
+ * @category models
  * @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>> {
@@ -2318,8 +2393,8 @@ export interface $Record<Key extends Record.Key, Value extends Top> extends Bott
  * // { a: 1, b: 2 }
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function Record<Key extends Record.Key, Value extends Top>(key: Key, value: Value, options?: {
     readonly keyValueCombiner: {
@@ -2340,6 +2415,7 @@ export declare namespace StructWithRest {
      * Constraint for object-like schemas that can be used as the fixed portion of a
      * `StructWithRest` schema.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Objects = Top & {
@@ -2349,7 +2425,8 @@ export declare namespace StructWithRest {
      * Readonly list of record schemas that provide the additional index signatures
      * for a `StructWithRest` schema.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Records = ReadonlyArray<$Record<Record.Key, Top>>;
     type MergeTuple<T extends ReadonlyArray<unknown>> = T extends readonly [infer Head, ...infer Tail] ? Head & MergeTuple<Tail> : {};
@@ -2357,7 +2434,8 @@ export declare namespace StructWithRest {
      * Computes the decoded type for `StructWithRest` by intersecting the base object
      * schema's decoded `Type` with the decoded types of all rest record schemas.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<S extends Objects, Records extends StructWithRest.Records> = S["Type"] & MergeTuple<{
         readonly [K in keyof Records]: Records[K]["Type"];
@@ -2366,6 +2444,7 @@ export declare namespace StructWithRest {
      * Computes the iso type for `StructWithRest` by intersecting the base object
      * schema's `Iso` type with the `Iso` types of all rest record schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Iso<S extends Objects, Records extends StructWithRest.Records> = S["Iso"] & MergeTuple<{
@@ -2375,7 +2454,8 @@ export declare namespace StructWithRest {
      * Computes the encoded type for `StructWithRest` by intersecting the base object
      * schema's encoded type with the encoded types of all rest record schemas.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<S extends Objects, Records extends StructWithRest.Records> = S["Encoded"] & MergeTuple<{
         readonly [K in keyof Records]: Records[K]["Encoded"];
@@ -2384,6 +2464,7 @@ export declare namespace StructWithRest {
      * Union of the decoding service requirements of the base object schema and all
      * rest record schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type DecodingServices<S extends Objects, Records extends StructWithRest.Records> = S["DecodingServices"] | {
@@ -2393,6 +2474,7 @@ export declare namespace StructWithRest {
      * Union of the encoding service requirements of the base object schema and all
      * rest record schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type EncodingServices<S extends Objects, Records extends StructWithRest.Records> = S["EncodingServices"] | {
@@ -2403,6 +2485,7 @@ export declare namespace StructWithRest {
      * intersecting the base object's make input with the make inputs of all rest
      * record schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type MakeIn<S extends Objects, Records extends StructWithRest.Records> = S["~type.make"] & MergeTuple<{
@@ -2413,6 +2496,7 @@ export declare namespace StructWithRest {
  * Companion type for a struct combined with one or more record schemas. Produced
  * by {@link StructWithRest}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface StructWithRest<S extends StructWithRest.Objects, Records extends StructWithRest.Records> extends Bottom<Simplify<StructWithRest.Type<S, Records>>, Simplify<StructWithRest.Encoded<S, Records>>, StructWithRest.DecodingServices<S, Records>, StructWithRest.EncodingServices<S, Records>, AST.Objects, StructWithRest<S, Records>, Simplify<StructWithRest.MakeIn<S, Records>>, Simplify<StructWithRest.Iso<S, Records>>> {
@@ -2437,7 +2521,7 @@ export interface StructWithRest<S extends StructWithRest.Objects, Records extend
  * type T = typeof schema.Type
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function StructWithRest<const S extends StructWithRest.Objects, const Records extends StructWithRest.Records>(schema: S, records: Records): StructWithRest<S, Records>;
@@ -2449,14 +2533,15 @@ export declare function StructWithRest<const S extends StructWithRest.Objects, c
  * - `Tuple.Encoded<E>` — encoded tuple type
  * - `Tuple.MakeIn<E>` — constructor input tuple
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Tuple {
     /**
      * Constraint for the readonly array of element schemas used to define a
      * fixed-length `Tuple` schema.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Elements = ReadonlyArray<Top>;
     type Type_<Elements, Out extends ReadonlyArray<any> = readonly []> = Elements extends readonly [infer Head, ...infer Tail] ? Head extends {
@@ -2471,7 +2556,8 @@ export declare namespace Tuple {
      * Each element contributes its decoded `Type`; optional element schemas produce
      * optional tuple positions.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<E extends Elements> = Type_<E>;
     type Iso_<Elements, Out extends ReadonlyArray<any> = readonly []> = Elements extends readonly [infer Head, ...infer Tail] ? Head extends {
@@ -2483,6 +2569,7 @@ export declare namespace Tuple {
      * Computes the iso tuple type for a tuple element schema array from each
      * element schema's `Iso` type.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Iso<E extends Elements> = Iso_<E>;
@@ -2498,13 +2585,15 @@ export declare namespace Tuple {
      * Each element contributes its `Encoded` type; encoded-side optional element
      * schemas produce optional tuple positions.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<E extends Elements> = Encoded_<E>;
     /**
      * Union of all decoding service requirements needed by the tuple element
      * schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type DecodingServices<E extends Elements> = E[number]["DecodingServices"];
@@ -2512,6 +2601,7 @@ export declare namespace Tuple {
      * Union of all encoding service requirements needed by the tuple element
      * schemas.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type EncodingServices<E extends Elements> = E[number]["EncodingServices"];
@@ -2529,6 +2619,7 @@ export declare namespace Tuple {
      * Each element uses its `~type.make` input type. Optional elements and elements
      * with constructor defaults produce optional tuple positions.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type MakeIn<E extends Elements> = MakeIn_<E>;
@@ -2536,7 +2627,8 @@ export declare namespace Tuple {
 /**
  * Companion type for a fixed-length tuple. Produced by {@link Tuple}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Tuple<Elements extends Tuple.Elements> extends Bottom<Tuple.Type<Elements>, Tuple.Encoded<Elements>, Tuple.DecodingServices<Elements>, Tuple.EncodingServices<Elements>, AST.Arrays, Tuple<Elements>, Tuple.MakeIn<Elements>, Tuple.Iso<Elements>> {
     readonly elements: Elements;
@@ -2573,8 +2665,8 @@ export interface Tuple<Elements extends Tuple.Elements> extends Bottom<Tuple.Typ
  * // [ 'hello', 42 ]
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function Tuple<const Elements extends ReadonlyArray<Top>>(elements: Elements): Tuple<Elements>;
 /**
@@ -2592,7 +2684,8 @@ export declare namespace TupleWithRest {
      * Constraint for tuple-like schemas that can be used as the fixed leading
      * portion of a `TupleWithRest` schema.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type TupleType = Top & {
         readonly Type: ReadonlyArray<unknown>;
@@ -2608,7 +2701,8 @@ export declare namespace TupleWithRest {
      * The first schema describes the repeated rest element. Additional schemas, when
      * present, describe trailing tuple elements after the repeated rest segment.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Rest = readonly [Top, ...Array<Top>];
     /**
@@ -2619,7 +2713,8 @@ export declare namespace TupleWithRest {
      * values decoded by the first rest schema, and includes any trailing rest schemas
      * as fixed tuple positions.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Type<T extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? Readonly<[
         ...T,
@@ -2636,6 +2731,7 @@ export declare namespace TupleWithRest {
      * or more values using the first rest schema's `Iso`, and includes any trailing
      * rest schemas as fixed tuple positions.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Iso<T extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? Readonly<[
@@ -2653,7 +2749,8 @@ export declare namespace TupleWithRest {
      * first rest schema may repeat zero or more times, and the encoded types of any
      * additional rest schemas become required trailing tuple elements.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     type Encoded<E extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? readonly [
         ...E,
@@ -2670,6 +2767,7 @@ export declare namespace TupleWithRest {
      * the first rest schema may repeat zero or more times, and the make input types
      * of any additional rest schemas become required trailing tuple elements.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type MakeIn<M extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? readonly [
@@ -2684,6 +2782,7 @@ export declare namespace TupleWithRest {
  * Companion type for a tuple with additional rest elements. Produced by
  * {@link TupleWithRest}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends TupleWithRest.Rest> extends Bottom<TupleWithRest.Type<S["Type"], Rest>, TupleWithRest.Encoded<S["Encoded"], Rest>, S["DecodingServices"] | Rest[number]["DecodingServices"], S["EncodingServices"] | Rest[number]["EncodingServices"], AST.Arrays, TupleWithRest<S, Rest>, TupleWithRest.MakeIn<S["~type.make"], Rest>, TupleWithRest.Iso<S["Iso"], Rest>> {
@@ -2716,7 +2815,7 @@ export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends T
  * // [ 'hello', 1, true, false ]
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extends TupleWithRest.Rest>(schema: S, rest: Rest): TupleWithRest<S, Rest>;
@@ -2728,6 +2827,7 @@ export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Res
  * `ReadonlyArray<S["Encoded"]>`, and the element schema is available as
  * `schema`.
  *
+ * @category models
  * @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"]>> {
@@ -2738,7 +2838,7 @@ interface ArrayLambda extends Lambda {
     readonly "~lambda.out": this["~lambda.in"] extends Top ? $Array<this["~lambda.in"]> : never;
 }
 /**
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 declare const ArraySchema: ArrayLambda;
@@ -2758,14 +2858,15 @@ export {
  * // [ 'a', 'b', 'c' ]
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 ArraySchema as Array };
 /**
  * Companion type for a non-empty `ReadonlyArray`. Produced by {@link NonEmptyArray}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NonEmptyArray<S extends Top> extends Bottom<readonly [S["Type"], ...Array<S["Type"]>], readonly [S["Encoded"], ...Array<S["Encoded"]>], S["DecodingServices"], S["EncodingServices"], AST.Arrays, NonEmptyArray<S>, readonly [S["~type.make"], ...Array<S["~type.make"]>], readonly [S["Iso"], ...Array<S["Iso"]>]> {
     readonly schema: S;
@@ -2789,8 +2890,8 @@ interface NonEmptyArrayLambda extends Lambda {
  * Schema.decodeUnknownSync(schema)([])          // throws
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const NonEmptyArray: NonEmptyArrayLambda;
 /**
@@ -2802,7 +2903,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
  * `ReadonlyArray<S["Type"]>`.
  *
  * @category Arrays
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>, Union<readonly [S, $Array<S>]>> {
     readonly "Rebuild": ArrayEnsure<S>;
@@ -2820,12 +2921,13 @@ export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>,
  * arrays and arrays with two or more elements are encoded as arrays.
  *
  * @category Arrays
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S>;
 /**
  * Companion type for an array with unique elements. Produced by {@link UniqueArray}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface UniqueArray<S extends Top> extends $Array<S> {
@@ -2837,7 +2939,7 @@ export interface UniqueArray<S extends Top> extends $Array<S> {
  * The equivalence used to determine uniqueness is the one provided by
  * `Schema.toEquivalence(item)`.
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function UniqueArray<S extends Top>(item: S): UniqueArray<S>;
@@ -2845,7 +2947,8 @@ export declare function UniqueArray<S extends Top>(item: S): UniqueArray<S>;
  * Schema type that makes array or tuple elements mutable (removes `readonly`).
  * Produced by {@link mutable}.
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export interface mutable<S extends Top & {
     readonly "ast": AST.Arrays;
@@ -2874,13 +2977,15 @@ interface mutableLambda extends Lambda {
  * type T = typeof schema.Type
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export declare const mutable: mutableLambda;
 /**
  * Companion type for a union of multiple schemas. Produced by {@link Union}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Union<Members extends ReadonlyArray<Top>> extends Bottom<{
     [K in keyof Members]: Members[K]["Type"];
@@ -2935,8 +3040,8 @@ export interface Union<Members extends ReadonlyArray<Top>> extends Bottom<{
  * Schema.decodeUnknownSync(schema)(42)       // 42
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function Union<const Members extends ReadonlyArray<Top>>(members: Members, options?: {
     mode?: "anyOf" | "oneOf";
@@ -2945,6 +3050,7 @@ export declare function Union<const Members extends ReadonlyArray<Top>>(members:
  * Represents a union schema of multiple literal values.
  *
  * @see {@link Literals} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bottom<L[number], L[number], never, never, AST.Union<AST.Literal>, Literals<L>> {
@@ -2967,6 +3073,7 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bot
  * Creates a union schema from an array of literal values.
  *
  * **Example** (Status codes)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -2975,14 +3082,15 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bot
  * ```
  *
  * @see {@link Literal} for a schema that represents a single literal.
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function Literals<const L extends ReadonlyArray<AST.LiteralValue>>(literals: L): Literals<L>;
 /**
  * Companion type for `S | null`. Produced by {@link NullOr}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NullOr<S extends Top> extends Union<readonly [S, Null]> {
     readonly "Rebuild": NullOr<S>;
@@ -2994,14 +3102,15 @@ interface NullOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null`.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const NullOr: NullOrLambda;
 /**
  * Companion type for `S | undefined`. Produced by {@link UndefinedOr}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface UndefinedOr<S extends Top> extends Union<readonly [S, Undefined]> {
     readonly "Rebuild": UndefinedOr<S>;
@@ -3013,13 +3122,14 @@ interface UndefinedOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | undefined`.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const UndefinedOr: UndefinedOrLambda;
 /**
  * Companion type for `S | null | undefined`. Produced by {@link NullishOr}.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NullishOr<S extends Top> extends Union<readonly [S, Null, Undefined]> {
     readonly "Rebuild": NullishOr<S>;
@@ -3030,13 +3140,14 @@ interface NullishOrLambda extends Lambda {
 }
 /**
  * Creates a union schema of `S | null | undefined`.
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const NullishOr: NullishOrLambda;
 /**
  * Schema type wrapping a lazily-evaluated schema. Produced by {@link suspend}.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface suspend<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], AST.Suspend, suspend<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
 }
@@ -3046,6 +3157,7 @@ export interface suspend<S extends Top> extends Bottom<S["Type"], S["Encoded"],
  * preventing infinite recursion during schema definition.
  *
  * **Example** (Recursive tree schema)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -3060,8 +3172,8 @@ export interface suspend<S extends Top> extends Bottom<S["Type"], S["Encoded"],
  * })
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function suspend<S extends Top>(f: () => S): suspend<S>;
 /**
@@ -3069,6 +3181,7 @@ export declare function suspend<S extends Top>(f: () => S): suspend<S>;
  * changing the TypeScript type.
  *
  * **Example** (Adding checks to a schema)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -3077,7 +3190,7 @@ export declare function suspend<S extends Top>(f: () => S): suspend<S>;
  * )
  * ```
  *
- * @category Filtering
+ * @category filtering
  * @since 4.0.0
  */
 export declare function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>, ...Array<AST.Check<S["Type"]>>]): (self: S) => S["Rebuild"];
@@ -3085,7 +3198,8 @@ export declare function check<S extends Top>(...checks: readonly [AST.Check<S["T
  * The output type of {@link refine}, narrowing the schema's `Type` to `T` via a
  * type guard.
  *
- * @since 4.0.0
+ * @category filtering
+ * @since 3.10.0
  */
 export interface refine<T extends S["Type"], S extends Top> extends Bottom<T, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], refine<T, S>, S["~type.make.in"], T, S["~type.parameters"], T, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     readonly schema: S;
@@ -3100,8 +3214,8 @@ export interface refine<T extends S["Type"], S extends Top> extends Bottom<T, S[
  * names type-level failures before the refinement runs; it does not name the
  * failed refinement itself.
  *
- * @category Filtering
- * @since 4.0.0
+ * @category filtering
+ * @since 3.10.0
  */
 export declare function refine<S extends Top, T extends S["Type"]>(refinement: (value: S["Type"]) => value is T, annotations?: Annotations.Filter): (schema: S) => refine<T, S>;
 type DistributeBrands<B> = UnionToIntersection<B extends infer U extends string ? Brand.Brand<U> : never>;
@@ -3109,7 +3223,8 @@ type DistributeBrands<B> = UnionToIntersection<B extends infer U extends string
  * The output type of {@link brand}, intersecting the schema's `Type` with one or
  * more {@link Brand.Brand} tags.
  *
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export interface brand<S extends Top, B> extends Bottom<S["Type"] & DistributeBrands<B>, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], brand<S, B>, S["~type.make.in"], S["Type"] & DistributeBrands<B>, S["~type.parameters"], S["Type"] & DistributeBrands<B>, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     readonly schema: S;
@@ -3119,16 +3234,16 @@ export interface brand<S extends Top, B> extends Bottom<S["Type"] & DistributeBr
  * Adds a nominal brand to a schema, intersecting the output type with
  * `Brand.Brand<B>` to prevent accidental mixing of structurally identical types.
  *
- * @category Branding
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export declare function brand<B extends string>(identifier: B): <S extends Top>(schema: S) => brand<S["Rebuild"], B>;
 /**
  * Creates a branded schema from a {@link Brand.Constructor}, applying the
  * constructor's checks and brand tag to the underlying schema.
  *
- * @category Branding
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string, ctor: Brand.Constructor<A>): <S extends Top & {
     readonly "Type": Brand.Brand.Unbranded<A>;
@@ -3140,6 +3255,7 @@ export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string
  * or augment it — including adding service requirements via `RD`.
  *
  * @see {@link middlewareDecoding} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface middlewareDecoding<S extends Top, RD> extends Bottom<S["Type"], S["Encoded"], RD, S["EncodingServices"], S["ast"], middlewareDecoding<S, RD>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
@@ -3165,6 +3281,7 @@ export interface middlewareDecoding<S extends Top, RD> extends Bottom<S["Type"],
  * ```
  *
  * @see {@link catchDecoding} for a simpler error-recovery variant
+ * @category decoding
  * @since 4.0.0
  */
 export declare function middlewareDecoding<S extends Top, RD>(decode: (effect: Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue, S["DecodingServices"]>, options: AST.ParseOptions) => Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue, RD>): (schema: S) => middlewareDecoding<S, RD>;
@@ -3175,6 +3292,7 @@ export declare function middlewareDecoding<S extends Top, RD>(decode: (effect: E
  * or augment it — including adding service requirements via `RE`.
  *
  * @see {@link middlewareEncoding} for the constructor
+ * @category encoding
  * @since 4.0.0
  */
 export interface middlewareEncoding<S extends Top, RE> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], RE, S["ast"], middlewareEncoding<S, RE>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
@@ -3200,6 +3318,7 @@ export interface middlewareEncoding<S extends Top, RE> extends Bottom<S["Type"],
  * ```
  *
  * @see {@link catchEncoding} for a simpler error-recovery variant
+ * @category encoding
  * @since 4.0.0
  */
 export declare function middlewareEncoding<S extends Top, RE>(encode: (effect: Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue, S["EncodingServices"]>, options: AST.ParseOptions) => Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue, RE>): (schema: S) => middlewareEncoding<S, RE>;
@@ -3220,12 +3339,14 @@ export declare function middlewareEncoding<S extends Top, RE>(encode: (effect: E
  * ```
  *
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
+ * @category error handling
  * @since 4.0.0
  */
 export declare function catchDecoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue>): (self: S) => S["Rebuild"];
 /**
  * Like {@link catchDecoding}, but the handler may require Effect services (`R`).
  *
+ * @category error handling
  * @since 4.0.0
  */
 export declare function catchDecodingWithContext<S extends Top, R = never>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue, R>): (self: S) => middlewareDecoding<S, S["DecodingServices"] | R>;
@@ -3236,12 +3357,14 @@ export declare function catchDecodingWithContext<S extends Top, R = never>(f: (i
  * succeeds with a fallback value or re-fails with a (possibly different) issue.
  *
  * @see {@link catchEncodingWithContext} to add service requirements to the handler
+ * @category error handling
  * @since 4.0.0
  */
 export declare function catchEncoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue>): (self: S) => S["Rebuild"];
 /**
  * Like {@link catchEncoding}, but the handler may require Effect services (`R`).
  *
+ * @category error handling
  * @since 4.0.0
  */
 export declare function catchEncodingWithContext<S extends Top, R = never>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue, R>): (self: S) => middlewareEncoding<S, S["EncodingServices"] | R>;
@@ -3255,6 +3378,7 @@ export declare function catchEncodingWithContext<S extends Top, R = never>(f: (i
  * services are `To["EncodingServices"] | From["EncodingServices"] | RE`.
  *
  * @see {@link compose} for the passthrough (no transformation) variant
+ * @category transforming
  * @since 4.0.0
  */
 export interface decodeTo<To extends Top, From extends Top, RD = never, RE = never> extends Bottom<To["Type"], From["Encoded"], To["DecodingServices"] | From["DecodingServices"] | RD, To["EncodingServices"] | From["EncodingServices"] | RE, To["ast"], decodeTo<To, From, RD, RE>, To["~type.make.in"], To["Iso"], To["~type.parameters"], To["~type.make"], To["~type.mutability"], To["~type.optionality"], To["~type.constructor.default"], From["~encoded.mutability"], From["~encoded.optionality"]> {
@@ -3268,7 +3392,8 @@ export interface decodeTo<To extends Top, From extends Top, RD = never, RE = nev
  * are composed using their natural encoding/decoding chain.
  *
  * @see {@link decodeTo} for the transformation variant
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export interface compose<To extends Top, From extends Top> extends decodeTo<To, From> {
 }
@@ -3312,6 +3437,7 @@ export interface compose<To extends Top, From extends Top> extends decodeTo<To,
  * // result: 123
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare function decodeTo<To extends Top>(to: To): <From extends Top>(from: From) => compose<To, From>;
@@ -3354,7 +3480,8 @@ export declare function decodeTo<To extends Top, From extends Top, RD = never, R
  * // result: "hello"
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export declare function decode<S extends Top, RD = never, RE = never>(transformation: {
     readonly decode: Getter.Getter<S["Type"], S["Type"], RD>;
@@ -3380,6 +3507,7 @@ export declare function decode<S extends Top, RD = never, RE = never>(transforma
  * )
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare function encodeTo<To extends Top>(to: To): <From extends Top>(from: From) => decodeTo<From, To>;
@@ -3407,7 +3535,8 @@ export declare function encodeTo<To extends Top, From extends Top, RD = never, R
  * )
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export declare function encode<S extends Top, RD = never, RE = never>(transformation: {
     readonly decode: Getter.Getter<S["Encoded"], S["Encoded"], RD>;
@@ -3418,6 +3547,7 @@ export declare function encode<S extends Top, RD = never, RE = never>(transforma
  *
  * Only schemas that satisfy this constraint can be passed to {@link withConstructorDefault}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface WithoutConstructorDefault {
@@ -3434,7 +3564,8 @@ export interface WithoutConstructorDefault {
  * added.
  *
  * @see {@link withConstructorDefault} for the constructor
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export interface withConstructorDefault<S extends Top & WithoutConstructorDefault> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], withConstructorDefault<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], "with-default", S["~encoded.mutability"], S["~encoded.optionality"]> {
     readonly schema: S;
@@ -3461,7 +3592,8 @@ export interface withConstructorDefault<S extends Top & WithoutConstructorDefaul
  * // value: { name: "anonymous" }
  * ```
  *
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function withConstructorDefault<S extends Top & WithoutConstructorDefault>(defaultValue: Effect.Effect<S["~type.make.in"], SchemaError>): (schema: S) => withConstructorDefault<S>;
 /**
@@ -3469,6 +3601,7 @@ export declare function withConstructorDefault<S extends Top & WithoutConstructo
  * side is `optionalKey` and that fills in a default `Encoded` value during decoding.
  *
  * @see {@link withDecodingDefaultKey} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultKey<S extends Top, R = never> extends decodeTo<S, optionalKey<toEncoded<S>>, R> {
@@ -3481,6 +3614,7 @@ export interface withDecodingDefaultKey<S extends Top, R = never> extends decode
  *   - `"passthrough"` (default): pass the value through during encoding
  *   - `"omit"`: omit the key from the encoded output
  *
+ * @category models
  * @since 4.0.0
  */
 export type DecodingDefaultOptions = {
@@ -3515,6 +3649,7 @@ export type DecodingDefaultOptions = {
  *
  * @see {@link withDecodingDefault} for the value-level variant (key absent **or** `undefined`)
  * @see {@link withDecodingDefaultTypeKey} for the variant where the default is a `Type` value
+ * @category decoding
  * @since 4.0.0
  */
 export declare function withDecodingDefaultKey<S extends Top, R = never>(defaultValue: Effect.Effect<S["Encoded"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultKey<S, R>;
@@ -3524,6 +3659,7 @@ export declare function withDecodingDefaultKey<S extends Top, R = never>(default
  * during decoding.
  *
  * @see {@link withDecodingDefaultTypeKey} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultTypeKey<S extends Top, R = never> extends decodeTo<withDecodingDefaultKey<toType<S>, R>, optionalKey<S>> {
@@ -3546,6 +3682,7 @@ export interface withDecodingDefaultTypeKey<S extends Top, R = never> extends de
  *
  * @see {@link withDecodingDefaultKey} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultType} for the value-level variant
+ * @category decoding
  * @since 4.0.0
  */
 export declare function withDecodingDefaultTypeKey<S extends Top, R = never>(defaultValue: Effect.Effect<S["Type"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultTypeKey<S, R>;
@@ -3554,7 +3691,8 @@ export declare function withDecodingDefaultTypeKey<S extends Top, R = never>(def
  * side is `optional` and that fills in a default `Encoded` value during decoding.
  *
  * @see {@link withDecodingDefault} for the constructor
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<S, optional<toEncoded<S>>, R> {
     readonly "Rebuild": withDecodingDefault<S, R>;
@@ -3588,7 +3726,8 @@ export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<
  *
  * @see {@link withDecodingDefaultKey} for the key-level variant (key absent only, not `undefined`)
  * @see {@link withDecodingDefaultType} for the variant where the default is a `Type` value
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export declare function withDecodingDefault<S extends Top, R = never>(defaultValue: Effect.Effect<S["Encoded"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefault<S, R>;
 /**
@@ -3597,6 +3736,7 @@ export declare function withDecodingDefault<S extends Top, R = never>(defaultVal
  * decoding.
  *
  * @see {@link withDecodingDefaultType} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultType<S extends Top, R = never> extends decodeTo<withDecodingDefault<toType<S>, R>, optional<S>> {
@@ -3619,6 +3759,7 @@ export interface withDecodingDefaultType<S extends Top, R = never> extends decod
  *
  * @see {@link withDecodingDefault} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultTypeKey} for the key-level variant
+ * @category decoding
  * @since 4.0.0
  */
 export declare function withDecodingDefaultType<S extends Top, R = never>(defaultValue: Effect.Effect<S["Type"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultType<S, R>;
@@ -3628,7 +3769,8 @@ export declare function withDecodingDefaultType<S extends Top, R = never>(defaul
  * Used as the type of the `_tag` field in {@link TaggedStruct} and related helpers.
  *
  * @see {@link tag} for the constructor
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefault<Literal<Tag>> {
 }
@@ -3651,7 +3793,8 @@ export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefaul
  *
  * @see {@link tagDefaultOmit} to also omit the tag during encoding
  * @see {@link TaggedStruct} for a shorthand that adds `_tag` automatically
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function tag<Tag extends AST.LiteralValue>(literal: Tag): tag<Tag>;
 /**
@@ -3675,6 +3818,7 @@ export declare function tag<Tag extends AST.LiteralValue>(literal: Tag): tag<Tag
  * ```
  *
  * @see {@link tag} for the variant that keeps the tag during encoding
+ * @category constructors
  * @since 4.0.0
  */
 export declare function tagDefaultOmit<Tag extends AST.LiteralValue>(literal: Tag): withDecodingDefaultKey<tag<Tag>, never>;
@@ -3682,7 +3826,8 @@ export declare function tagDefaultOmit<Tag extends AST.LiteralValue>(literal: Ta
  * The type produced by {@link TaggedStruct} — a {@link Struct} with an extra `_tag` field of type {@link tag}.
  *
  * @see {@link TaggedStruct} for the constructor
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fields> = Struct<Simplify<{
     readonly _tag: tag<Tag>;
@@ -3726,8 +3871,8 @@ export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fie
  * const literal = tagged.fields._tag.schema.literal
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function TaggedStruct<const Tag extends AST.LiteralValue, const Fields extends Struct.Fields>(value: Tag, fields: Fields): TaggedStruct<Tag, Fields>;
 /**
@@ -3765,8 +3910,8 @@ type TaggedUnionUtils<Tag extends PropertyKey, Members extends ReadonlyArray<Top
  * The type produced by {@link toTaggedUnion} — a {@link Union} augmented with `cases`, `guards`, `isAnyOf`, and `match` utilities.
  *
  * @see {@link toTaggedUnion} for the constructor
+ * @category combinators
  * @since 4.0.0
- * @experimental
  */
 export type toTaggedUnion<Tag extends PropertyKey, Members extends ReadonlyArray<Top & {
     readonly Type: {
@@ -3794,8 +3939,8 @@ export type toTaggedUnion<Tag extends PropertyKey, Members extends ReadonlyArray
  * ```
  *
  * @see {@link TaggedUnion} for a shorthand that builds the union from scratch
+ * @category combinators
  * @since 4.0.0
- * @experimental
  */
 export declare function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag): <const Members extends ReadonlyArray<Top & {
     readonly Type: { readonly [K in Tag]: PropertyKey; };
@@ -3805,8 +3950,8 @@ export declare function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag):
  * Produced by {@link TaggedUnion}.
  *
  * @see {@link TaggedUnion} for the constructor
+ * @category models
  * @since 4.0.0
- * @experimental
  */
 export interface TaggedUnion<Cases extends Record<string, Top>> extends Bottom<{
     [K in keyof Cases]: Cases[K]["Type"];
@@ -3858,7 +4003,7 @@ export interface TaggedUnion<Cases extends Record<string, Top>> extends Bottom<{
  * ```
  *
  * @see {@link toTaggedUnion} to augment an existing union instead
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function TaggedUnion<const CasesByTag extends Record<string, Struct.Fields>>(casesByTag: CasesByTag): TaggedUnion<{
@@ -3870,6 +4015,7 @@ export declare function TaggedUnion<const CasesByTag extends Record<string, Stru
  * making the decoded value nominally distinct.
  *
  * @see {@link Opaque} for the constructor
+ * @category models
  * @since 4.0.0
  */
 export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["Rebuild"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
@@ -3896,6 +4042,7 @@ export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Enco
  * // person: Person
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) => Opaque<Self, S, Brand> & Omit<S, keyof Top>;
@@ -3903,7 +4050,8 @@ export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) =
  * The type produced by {@link instanceOf} — a declaration schema that validates class instances.
  *
  * @see {@link instanceOf} for the constructor
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
     readonly "Rebuild": instanceOf<T, Iso>;
@@ -3923,14 +4071,15 @@ export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
  * // decoded: Date
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare function instanceOf<C extends abstract new (...args: any) => any, Iso = InstanceType<C>>(constructor: C, annotations?: Annotations.Declaration<InstanceType<C>> | undefined): instanceOf<InstanceType<C>, Iso>;
 /**
  * Constructs an `AST.Link` that describes how a value of type `T` encodes to and decodes from a `To` schema.
  * Used when building low-level AST transformations that bridge two schema types.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export declare function link<T>(): <To extends Top>(encodeTo: To, transformation: {
@@ -4008,8 +4157,8 @@ export declare const makeFilter: <T>(filter: (input: T, ast: AST.AST, options: A
  *   {@link Issue.Issue}; the result is wrapped in an {@link Issue.Pointer}
  *   at the given `path`.
  *
- * @category model
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type FilterIssue = string | Issue.Issue | {
     readonly path: ReadonlyArray<PropertyKey>;
@@ -4033,8 +4182,8 @@ export type FilterIssue = string | Issue.Issue | {
  *   to returning that element directly; otherwise the entries are grouped
  *   into an {@link Issue.Composite}.
  *
- * @category model
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type FilterOutput = undefined | boolean | FilterIssue | ReadonlyArray<FilterIssue>;
 /**
@@ -4781,6 +4930,7 @@ export declare const isBetweenBigDecimal: (options: {
  * length.
  *
  * **Example** (Minimum length check)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -5012,7 +5162,7 @@ export declare function isUnique<T>(annotations?: Annotations.Filter): AST.Filte
  * strings with a length of at least one.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface NonEmptyString extends String {
     readonly "Rebuild": NonEmptyString;
@@ -5022,7 +5172,7 @@ export interface NonEmptyString extends String {
  * character.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const NonEmptyString: NonEmptyString;
 /**
@@ -5030,7 +5180,7 @@ export declare const NonEmptyString: NonEmptyString;
  * length is exactly one.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Char extends String {
     readonly "Rebuild": Char;
@@ -5039,7 +5189,7 @@ export interface Char extends String {
  * A schema representing a single character.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Char: Char;
 /**
@@ -5049,8 +5199,7 @@ export declare const Char: Char;
  * **Example** (Option schema)
  *
  * ```ts
- * import { Schema } from "effect"
- * import { Option } from "effect"
+ * import { Option, Schema } from "effect"
  *
  * const schema = Schema.Option(Schema.Number)
  *
@@ -5061,7 +5210,7 @@ export declare const Char: Char;
  * ```
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Option<A extends Top> extends declareConstructor<Option_.Option<A["Type"]>, Option_.Option<A["Encoded"]>, readonly [A], OptionIso<A>> {
     readonly "Rebuild": Option<A>;
@@ -5087,7 +5236,7 @@ export type OptionIso<A extends Top> = {
  * Creates a schema for `Option<A>`. See {@link Option} for details.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function Option<A extends Top>(value: A): Option<A>;
 /**
@@ -5095,7 +5244,7 @@ export declare function Option<A extends Top>(value: A): Option<A>;
  * other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<S>>, NullOr<S>> {
     readonly "Rebuild": OptionFromNullOr<S>;
@@ -5112,7 +5261,7 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S>;
 /**
@@ -5120,7 +5269,7 @@ export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNu
  * all other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<toType<S>>, UndefinedOr<S>> {
     readonly "Rebuild": OptionFromUndefinedOr<S>;
@@ -5137,7 +5286,7 @@ export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<to
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndefinedOr<S>;
 /**
@@ -5145,7 +5294,7 @@ export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionF
  * `None` and all other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toType<S>>, NullishOr<S>> {
     readonly "Rebuild": OptionFromNullishOr<S>;
@@ -5162,7 +5311,7 @@ export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toTy
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function OptionFromNullishOr<S extends Top>(schema: S, options?: {
     onNoneEncoding: null | undefined;
@@ -5292,7 +5441,7 @@ export declare function Result<A extends Top, E extends Top>(success: A, failure
  * values. The inner value is hidden from error messages.
  *
  * @category Redacted
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Redacted<S extends Top> extends declareConstructor<Redacted_.Redacted<S["Type"]>, Redacted_.Redacted<S["Encoded"]>, readonly [S]> {
     readonly "Rebuild": Redacted<S>;
@@ -5319,7 +5468,7 @@ export interface Redacted<S extends Top> extends declareConstructor<Redacted_.Re
  * but it will deserialize a value into a `Redacted` instance.
  *
  * @category Redacted
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function Redacted<S extends Top>(value: S, options?: {
     readonly label?: string | undefined;
@@ -5407,7 +5556,7 @@ export declare function CauseReason<E extends Top, D extends Top>(error: E, defe
  * unexpected defects.
  *
  * @category Cause
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Cause<E extends Top, D extends Top> extends declareConstructor<Cause_.Cause<E["Type"]>, Cause_.Cause<E["Encoded"]>, readonly [E, D], CauseIso<E, D>> {
     readonly "Rebuild": Cause<E, D>;
@@ -5427,7 +5576,7 @@ export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseReasonIs
  * and unexpected defects.
  *
  * @category Cause
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function Cause<E extends Top, D extends Top>(error: E, defect: D): Cause<E, D>;
 /**
@@ -5447,7 +5596,7 @@ export interface Error extends instanceOf<globalThis.Error> {
  * and decodes that object back into an `Error`. The stack trace is omitted from
  * the encoded form for security.
  *
- * @category Schemas
+ * @category schemas
  * @since 4.0.0
  */
 export declare const Error: Error;
@@ -5459,7 +5608,7 @@ export declare const Error: Error;
  * Encodes an `Error` as an object with `message`, optional `name`, and optional
  * `stack` properties, and decodes that object back into an `Error`.
  *
- * @category Schemas
+ * @category schemas
  * @since 4.0.0
  */
 export declare const ErrorWithStack: Error;
@@ -5468,7 +5617,7 @@ export declare const ErrorWithStack: Error;
  * `Error` values and arbitrary unknown defect values.
  *
  * @category Defect
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Defect extends Union<readonly [
     decodeTo<Error, Struct<{
@@ -5488,8 +5637,8 @@ export interface Defect extends Union<readonly [
  * Unknown defects are serialized with `JSON.stringify` when possible and fall
  * back to Effect's formatted representation when JSON serialization fails.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const Defect: Defect;
 /**
@@ -5505,7 +5654,7 @@ export declare const DefectWithStack: Defect;
  * failure with a `Cause` containing typed errors and defects.
  *
  * @category Exit
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Exit<A extends Top, E extends Top, D extends Top> extends declareConstructor<Exit_.Exit<A["Type"], E["Type"]>, Exit_.Exit<A["Encoded"], E["Encoded"]>, readonly [A, E, D], ExitIso<A, E, D>> {
     readonly "Rebuild": Exit<A, E, D>;
@@ -5535,7 +5684,7 @@ export type ExitIso<A extends Top, E extends Top, D extends Top> = {
  * failure, and unexpected defect channels.
  *
  * @category Exit
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function Exit<A extends Top, E extends Top, D extends Top>(value: A, error: E, defect: D): Exit<A, E, D>;
 /**
@@ -5563,7 +5712,7 @@ export type ReadonlyMapIso<Key extends Top, Value extends Top> = ReadonlyArray<r
  * conform to the provided schemas.
  *
  * @category ReadonlyMap
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value: Value): $ReadonlyMap<Key, Value>;
 /**
@@ -5571,7 +5720,7 @@ export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key
  * provided schemas.
  *
  * @category HashMap
- * @since 4.0.0
+ * @since 3.10.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 "Rebuild": HashMap<Key, Value>;
@@ -5591,7 +5740,7 @@ export type HashMapIso<Key extends Top, Value extends Top> = ReadonlyArray<reado
  * conform to the provided schemas.
  *
  * @category HashMap
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function HashMap<Key extends Top, Value extends Top>(key: Key, value: Value): HashMap<Key, Value>;
 /**
@@ -5618,7 +5767,7 @@ export type ReadonlySetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  * provided element schema.
  *
  * @category ReadonlySet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function ReadonlySet<Value extends Top>(value: Value): $ReadonlySet<Value>;
 /**
@@ -5626,7 +5775,7 @@ export declare function ReadonlySet<Value extends Top>(value: Value): $ReadonlyS
  * schema.
  *
  * @category HashSet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface HashSet<Value extends Top> extends declareConstructor<HashSet_.HashSet<Value["Type"]>, HashSet_.HashSet<Value["Encoded"]>, readonly [Value], HashSetIso<Value>> {
     readonly "Rebuild": HashSet<Value>;
@@ -5645,7 +5794,7 @@ export type HashSetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  * provided schema.
  *
  * @category HashSet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function HashSet<Value extends Top>(value: Value): HashSet<Value>;
 /**
@@ -5653,7 +5802,7 @@ export declare function HashSet<Value extends Top>(value: Value): HashSet<Value>
  * must conform to the provided schema.
  *
  * @category Chunk
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Chunk<Value extends Top> extends declareConstructor<Chunk_.Chunk<Value["Type"]>, Chunk_.Chunk<Value["Encoded"]>, readonly [Value], ChunkIso<Value>> {
     readonly "Rebuild": Chunk<Value>;
@@ -5672,7 +5821,7 @@ export type ChunkIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  * provided schema.
  *
  * @category Chunk
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare function Chunk<Value extends Top>(value: Value): Chunk<Value>;
 /**
@@ -5772,7 +5921,7 @@ export declare const Date: Date;
  * JavaScript `Date` instances.
  *
  * @category Date
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateFromString extends decodeTo<Date, String> {
     readonly "Rebuild": DateFromString;
@@ -5789,7 +5938,7 @@ export interface DateFromString extends decodeTo<Date, String> {
  * `"Invalid Date"`.
  *
  * @category Date
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const DateFromString: DateFromString;
 /**
@@ -5816,7 +5965,7 @@ export declare const DateValid: DateValid;
  * Type-level representation of the schema for Effect `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Duration extends declare<Duration_.Duration> {
     readonly "Rebuild": Duration;
@@ -5830,8 +5979,7 @@ export interface Duration extends declare<Duration_.Duration> {
  * **Example** (Duration schema)
  *
  * ```ts
- * import { Schema } from "effect"
- * import { Duration } from "effect"
+ * import { Duration, Schema } from "effect"
  *
  * Schema.decodeUnknownSync(Schema.Duration)(Duration.seconds(5))
  * // => Duration(5s)
@@ -5839,7 +5987,7 @@ export interface Duration extends declare<Duration_.Duration> {
  *
  * @category Duration
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Duration: Duration;
 /**
@@ -5871,7 +6019,7 @@ export declare const DurationFromString: DurationFromString;
  * nanosecond `bigint` values into `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
     readonly "Rebuild": DurationFromNanos;
@@ -5889,7 +6037,7 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
  * `Duration.infinity`.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const DurationFromNanos: DurationFromNanos;
 /**
@@ -5897,7 +6045,7 @@ export declare const DurationFromNanos: DurationFromNanos;
  * non-negative millisecond numbers into `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DurationFromMillis extends decodeTo<Duration, Number> {
     readonly "Rebuild": DurationFromMillis;
@@ -5916,14 +6064,14 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  *   representing milliseconds
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const DurationFromMillis: DurationFromMillis;
 /**
  * Type-level representation of the schema for Effect `BigDecimal` values.
  *
  * @category BigDecimal
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
     readonly "Rebuild": BigDecimal;
@@ -5936,7 +6084,7 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
  * - encodes `BigDecimal` as a `string`
  *
  * @category BigDecimal
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const BigDecimal: BigDecimal;
 /**
@@ -5983,7 +6131,7 @@ export interface UnknownFromJsonString extends fromJsonString<Unknown> {
  * - Any value is encoded as a JSON string using `JSON.stringify`.
  * - If the value is not a valid JSON value, encoding fails.
  *
- * **Example**
+ * **Example** (Decoding unknown JSON strings)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -6016,7 +6164,7 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * The resulting schema first parses the input string as JSON, and then runs the
  * provided schema on the parsed result.
  *
- * **Example**
+ * **Example** (Decoding JSON strings with a schema)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -6034,7 +6182,7 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * resulting schema will be a JSON Schema with a `contentSchema` property that
  * contains the JSON Schema for the given schema.
  *
- * **Example**
+ * **Example** (Emitting JSON Schema for a JSON string decoder)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -6200,6 +6348,7 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  * // Success({"a":1}) // Note: the value is a number
  * ```
  *
+ * @category decoding
  * @since 4.0.0
  */
 export declare function fromFormData<S extends Top>(schema: S): fromFormData<S>;
@@ -6304,6 +6453,7 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  * // Success({"a":1}) // Note: the value is a number
  * ```
  *
+ * @category decoding
  * @since 4.0.0
  */
 export declare function fromURLSearchParams<S extends Top>(schema: S): fromURLSearchParams<S>;
@@ -6312,7 +6462,7 @@ export declare function fromURLSearchParams<S extends Top>(schema: S): fromURLSe
  * `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Finite extends Number {
     readonly "Rebuild": Finite;
@@ -6321,7 +6471,7 @@ export interface Finite extends Number {
  * A schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Finite: Finite;
 /**
@@ -6329,7 +6479,7 @@ export declare const Finite: Finite;
  * integer numbers.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Int extends Number {
     readonly "Rebuild": Int;
@@ -6338,7 +6488,7 @@ export interface Int extends Number {
  * A schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Int: Int;
 /**
@@ -6346,7 +6496,7 @@ export declare const Int: Int;
  * numbers using JavaScript number coercion.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface NumberFromString extends decodeTo<Finite, String> {
     readonly "Rebuild": NumberFromString;
@@ -6364,7 +6514,7 @@ export interface NumberFromString extends decodeTo<Finite, String> {
  * A number is encoded as a `string`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const NumberFromString: NumberFromString;
 /**
@@ -6419,7 +6569,7 @@ export declare const BigIntFromString: BigIntFromString;
  * trailing whitespace.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Trimmed extends String {
     readonly "Rebuild": Trimmed;
@@ -6428,7 +6578,7 @@ export interface Trimmed extends String {
  * A schema for strings that contains no leading or trailing whitespaces.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Trimmed: Trimmed;
 /**
@@ -6436,7 +6586,7 @@ export declare const Trimmed: Trimmed;
  * whitespace while decoding and encodes the trimmed string unchanged.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Trim extends decodeTo<Trimmed, String> {
     readonly "Rebuild": Trim;
@@ -6451,7 +6601,7 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * - The trimmed string is encoded as is.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Trim: Trim;
 /**
@@ -6459,7 +6609,7 @@ export declare const Trim: Trim;
  * base64-encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromBase64 extends decodeTo<String, String> {
     readonly "Rebuild": StringFromBase64;
@@ -6474,7 +6624,7 @@ export interface StringFromBase64 extends decodeTo<String, String> {
  * - A `string` is encoded as a base64-encoded string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const StringFromBase64: StringFromBase64;
 /**
@@ -6482,7 +6632,7 @@ export declare const StringFromBase64: StringFromBase64;
  * base64-encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromBase64Url extends decodeTo<String, String> {
     readonly "Rebuild": StringFromBase64Url;
@@ -6497,7 +6647,7 @@ export interface StringFromBase64Url extends decodeTo<String, String> {
  * - A `string` is encoded as a base64 (URL) encoded string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const StringFromBase64Url: StringFromBase64Url;
 /**
@@ -6505,7 +6655,7 @@ export declare const StringFromBase64Url: StringFromBase64Url;
  * strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromHex extends decodeTo<String, String> {
     readonly "Rebuild": StringFromHex;
@@ -6520,7 +6670,7 @@ export interface StringFromHex extends decodeTo<String, String> {
  * - A `string` is encoded as a hex string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const StringFromHex: StringFromHex;
 /**
@@ -6528,7 +6678,7 @@ export declare const StringFromHex: StringFromHex;
  * URI-component encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.12.0
  */
 export interface StringFromUriComponent extends decodeTo<String, String> {
     readonly "Rebuild": StringFromUriComponent;
@@ -6543,7 +6693,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a URI component encoded string.
  *
- * **Example**
+ * **Example** (Decoding URI component strings)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -6562,7 +6712,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * ```
  *
  * @category String
- * @since 4.0.0
+ * @since 3.12.0
  */
 export declare const StringFromUriComponent: StringFromUriComponent;
 /**
@@ -6633,7 +6783,7 @@ export declare const Uint8Array: Uint8Array;
  * base64-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
     readonly "Rebuild": Uint8ArrayFromBase64;
@@ -6649,7 +6799,7 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a base64-encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
 /**
@@ -6657,7 +6807,7 @@ export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
  * URL-safe base64-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
     readonly "Rebuild": Uint8ArrayFromBase64Url;
@@ -6673,7 +6823,7 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a base64 (URL) encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
 /**
@@ -6681,7 +6831,7 @@ export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
  * hex-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
     readonly "Rebuild": Uint8ArrayFromHex;
@@ -6697,7 +6847,7 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a hex encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
 /**
@@ -6705,7 +6855,7 @@ export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
  * UTC ISO string JSON encoding.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateTimeUtc extends declare<DateTime.Utc> {
     readonly "Rebuild": DateTimeUtc;
@@ -6718,7 +6868,7 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  * - encodes `DateTime.Utc` as a UTC ISO string
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const DateTimeUtc: DateTimeUtc;
 /**
@@ -6726,7 +6876,7 @@ export declare const DateTimeUtc: DateTimeUtc;
  * JavaScript `Date` values to `DateTime.Utc`.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.12.0
  */
 export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
     readonly "Rebuild": DateTimeUtcFromDate;
@@ -6741,7 +6891,7 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  * - A `DateTime.Utc` is encoded as a `Date`
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.12.0
  */
 export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
 /**
@@ -6798,7 +6948,7 @@ export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
  * `DateTime.TimeZone.Offset` values encoded as offset milliseconds.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
     readonly "Rebuild": TimeZoneOffset;
@@ -6811,7 +6961,7 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const TimeZoneOffset: TimeZoneOffset;
 /**
@@ -6819,7 +6969,7 @@ export declare const TimeZoneOffset: TimeZoneOffset;
  * `DateTime.TimeZone.Named` values encoded as IANA time zone identifiers.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
     readonly "Rebuild": TimeZoneNamed;
@@ -6832,7 +6982,7 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const TimeZoneNamed: TimeZoneNamed;
 /**
@@ -6863,7 +7013,7 @@ export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
  * encoded as either IANA identifiers or numeric offset strings.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZone extends declare<DateTime.TimeZone> {
     readonly "Rebuild": TimeZone;
@@ -6877,7 +7027,7 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
  *   `+03:00`)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const TimeZone: TimeZone;
 /**
@@ -6908,7 +7058,7 @@ export declare const TimeZoneFromString: TimeZoneFromString;
  * with ISO offset or named-zone string JSON encoding.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateTimeZoned extends declare<DateTime.Zoned> {
     readonly "Rebuild": DateTimeZoned;
@@ -6924,7 +7074,7 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
  *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM[Time/Zone]`
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare const DateTimeZoned: DateTimeZoned;
 /**
@@ -6959,7 +7109,8 @@ export declare const DateTimeZonedFromString: DateTimeZonedFromString;
  * The interface exposes the schema's `fields`, an `identifier` string, and
  * helpers such as `mapFields`, `annotate`, `check`, and `extend`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Class<Self, S extends Top & {
     readonly fields: Struct.Fields;
@@ -7029,8 +7180,8 @@ type MissingSelfGeneric<Usage extends string> = `Missing \`Self\` generic - use
  * console.log(dog.breed) // "Labrador"
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const Class: {
     /**
@@ -7074,8 +7225,8 @@ export declare const Class: {
      * console.log(dog.breed) // "Labrador"
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Self = never, Brand = {}>(identifier: string): {
         /**
@@ -7119,8 +7270,8 @@ export declare const Class: {
          * console.log(dog.breed) // "Labrador"
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.Class"> : Class<Self, Struct<Fields>, Brand>;
         /**
@@ -7164,8 +7315,8 @@ export declare const Class: {
          * console.log(dog.breed) // "Labrador"
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.Class"> : Class<Self, S, Brand>;
     };
@@ -7192,8 +7343,8 @@ export declare const Class: {
  * console.log(c.radius) // 5
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const TaggedClass: {
     /**
@@ -7218,8 +7369,8 @@ export declare const TaggedClass: {
      * console.log(c.radius) // 5
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Self = never, Brand = {}>(identifier?: string): {
         /**
@@ -7244,8 +7395,8 @@ export declare const TaggedClass: {
          * console.log(c.radius) // 5
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedClass"> : Class<Self, TaggedStruct<Tag, Fields>, Brand>;
         /**
@@ -7270,8 +7421,8 @@ export declare const TaggedClass: {
          * console.log(c.radius) // 5
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <Tag extends string, S extends Struct<Struct.Fields>>(tag: Tag, schema: S, annotations?: Annotations.Declaration<Self, readonly [Struct<Simplify<{
             readonly _tag: tag<Tag>;
@@ -7300,7 +7451,7 @@ export declare const TaggedClass: {
  * })
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare const ErrorClass: {
@@ -7324,7 +7475,7 @@ export declare const ErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
+     * @category constructors
      * @since 4.0.0
      */
     <Self = never, Brand = {}>(identifier: string): {
@@ -7348,7 +7499,7 @@ export declare const ErrorClass: {
          * })
          * ```
          *
-         * @category Constructors
+         * @category constructors
          * @since 4.0.0
          */
         <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.ErrorClass"> : Class<Self, Struct<Fields>, Cause_.YieldableError & Brand>;
@@ -7372,7 +7523,7 @@ export declare const ErrorClass: {
          * })
          * ```
          *
-         * @category Constructors
+         * @category constructors
          * @since 4.0.0
          */
         <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.ErrorClass"> : Class<Self, S, Cause_.YieldableError & Brand>;
@@ -7397,8 +7548,8 @@ export declare const ErrorClass: {
  * })
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export declare const TaggedErrorClass: {
     /**
@@ -7420,8 +7571,8 @@ export declare const TaggedErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Self = never, Brand = {}>(identifier?: string): {
         /**
@@ -7443,8 +7594,8 @@ export declare const TaggedErrorClass: {
          * })
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedErrorClass"> : Class<Self, TaggedStruct<Tag, Fields>, Cause_.YieldableError & Brand>;
         /**
@@ -7466,8 +7617,8 @@ export declare const TaggedErrorClass: {
          * })
          * ```
          *
-         * @category Constructors
-         * @since 4.0.0
+         * @category constructors
+         * @since 3.10.0
          */
         <Tag extends string, S extends Struct<Struct.Fields>>(tag: Tag, schema: S, annotations?: Annotations.Declaration<Self, readonly [Struct<Simplify<{
             readonly _tag: tag<Tag>;
@@ -7584,6 +7735,7 @@ export declare function toRepresentation(schema: Top): SchemaRepresentation.Docu
 /**
  * Options for {@link toJsonSchemaDocument}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface ToJsonSchemaOptions {
@@ -7868,7 +8020,7 @@ export declare function resolveAnnotationsKey<S extends Top>(schema: S): Annotat
  * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Annotations {
     /**
@@ -7909,8 +8061,8 @@ export declare namespace Annotations {
      * }
      * ```
      *
-     * @category Model
-     * @since 4.0.0
+     * @category models
+     * @since 3.10.0
      */
     interface Annotations {
         readonly [x: string]: unknown;
@@ -7919,6 +8071,7 @@ export declare namespace Annotations {
      * Annotations shared by all schema nodes. These map to common JSON Schema /
      * OpenAPI fields: `title`, `description`, `format`, etc.
      *
+     * @category models
      * @since 4.0.0
      */
     interface Augment extends Annotations {
@@ -7944,6 +8097,7 @@ export declare namespace Annotations {
     /**
      * Extends {@link Augment} with type-parametric `default` and `examples` fields.
      *
+     * @category models
      * @since 4.0.0
      */
     interface Documentation<T> extends Augment {
@@ -7955,7 +8109,7 @@ export declare namespace Annotations {
      * with an optional `messageMissingKey` to override the error message when
      * the property key is absent during decoding.
      *
-     * @category Model
+     * @category models
      * @since 4.0.0
      */
     interface Key<T> extends Documentation<T> {
@@ -7970,7 +8124,7 @@ export declare namespace Annotations {
      * arbitrary generation hooks. {@link Declaration} and other annotation
      * interfaces build on top of this.
      *
-     * @category Model
+     * @category models
      * @since 4.0.0
      */
     interface Bottom<T, TypeParameters extends ReadonlyArray<Top>> extends Documentation<T> {
@@ -8023,7 +8177,8 @@ export declare namespace Annotations {
          * Maps declaration type-parameter schemas to codecs for their decoded `Type`
          * values.
          *
-         * @since 4.0.0
+         * @category utility types
+         * @since 3.10.0
          */
         type Type<TypeParameters extends ReadonlyArray<Top>> = {
             readonly [K in keyof TypeParameters]: Codec<TypeParameters[K]["Type"]>;
@@ -8031,7 +8186,8 @@ export declare namespace Annotations {
         /**
          * Maps declaration type-parameter schemas to codecs for their `Encoded` values.
          *
-         * @since 4.0.0
+         * @category utility types
+         * @since 3.10.0
          */
         type Encoded<TypeParameters extends ReadonlyArray<Top>> = {
             readonly [K in keyof TypeParameters]: Codec<TypeParameters[K]["Encoded"]>;
@@ -8044,7 +8200,7 @@ export declare namespace Annotations {
      * derived capabilities (JSON encoding, property testing, etc.) can be
      * provided for the custom type.
      *
-     * @category Model
+     * @category models
      * @since 4.0.0
      */
     interface Declaration<T, TypeParameters extends ReadonlyArray<Top> = readonly []> extends Bottom<T, TypeParameters> {
@@ -8069,8 +8225,8 @@ export declare namespace Annotations {
      * {@link Augment} with an optional error message, identifier, and metadata.
      * Filters are intentionally non-parametric to keep them covariant.
      *
-     * @category Model
-     * @since 4.0.0
+     * @category models
+     * @since 3.10.0
      */
     interface Filter extends Augment {
         /**
@@ -8114,6 +8270,7 @@ export declare namespace Annotations {
          * fast-check string constraints plus optional regular-expression pattern strings
          * used when deriving string arbitraries from schema checks.
          *
+         * @category models
          * @since 4.0.0
          */
         interface StringConstraints extends FastCheck.StringSharedConstraints {
@@ -8123,6 +8280,7 @@ export declare namespace Annotations {
          * fast-check floating-point constraints plus `isInteger`, which switches
          * derived number arbitraries to integer generation.
          *
+         * @category models
          * @since 4.0.0
          */
         interface NumberConstraints extends FastCheck.FloatConstraints {
@@ -8132,6 +8290,7 @@ export declare namespace Annotations {
          * fast-check bigint constraints used when deriving arbitraries for bigint
          * schemas.
          *
+         * @category models
          * @since 4.0.0
          */
         interface BigIntConstraints extends FastCheck.BigIntConstraints {
@@ -8140,6 +8299,7 @@ export declare namespace Annotations {
          * fast-check array constraints plus an optional comparator used when deriving
          * unique-array arbitraries.
          *
+         * @category models
          * @since 4.0.0
          */
         interface ArrayConstraints extends FastCheck.ArrayConstraints {
@@ -8149,6 +8309,7 @@ export declare namespace Annotations {
          * fast-check date constraints used when deriving arbitraries for `Date` and
          * DateTime schemas.
          *
+         * @category models
          * @since 4.0.0
          */
         interface DateConstraints extends FastCheck.DateConstraints {
@@ -8157,6 +8318,7 @@ export declare namespace Annotations {
          * Grouped arbitrary-generation constraints accumulated from schema checks and
          * passed to `toArbitrary` derivation.
          *
+         * @category models
          * @since 4.0.0
          */
         interface Constraint {
@@ -8171,7 +8333,8 @@ export declare namespace Annotations {
          * constraints and an `isSuspend` flag used to limit recursion for suspended
          * schemas.
          *
-         * @since 4.0.0
+         * @category models
+         * @since 3.10.0
          */
         interface Context {
             /**
@@ -8188,6 +8351,7 @@ export declare namespace Annotations {
          * Given arbitraries for any type parameters, returns a function that receives the
          * fast-check module and derivation context and produces an arbitrary for `T`.
          *
+         * @category models
          * @since 4.0.0
          */
         interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -8208,6 +8372,7 @@ export declare namespace Annotations {
          *
          * Given formatters for any type parameters, returns a formatter for `T`.
          *
+         * @category models
          * @since 4.0.0
          */
         interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -8228,6 +8393,7 @@ export declare namespace Annotations {
          *
          * Given equivalences for any type parameters, returns an `Equivalence` for `T`.
          *
+         * @category models
          * @since 4.0.0
          */
         interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -8241,7 +8407,7 @@ export declare namespace Annotations {
      *
      * The optional `message` field overrides the default issue message.
      *
-     * @category Model
+     * @category models
      * @since 4.0.0
      */
     interface Issue extends Annotations {
@@ -8253,6 +8419,7 @@ export declare namespace Annotations {
      * Do not augment this interface with custom metadata; extend `MetaDefinitions`
      * instead.
      *
+     * @category models
      * @since 4.0.0
      */
     interface BuiltInMetaDefinitions {
@@ -8456,6 +8623,7 @@ export declare namespace Annotations {
     /**
      * Union of all metadata payloads defined by `BuiltInMetaDefinitions`.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type BuiltInMeta = BuiltInMetaDefinitions[keyof BuiltInMetaDefinitions];
@@ -8465,6 +8633,7 @@ export declare namespace Annotations {
      * Extend this interface to add custom values accepted by annotation `meta`
      * fields.
      *
+     * @category models
      * @since 4.0.0
      */
     interface MetaDefinitions extends BuiltInMetaDefinitions {
@@ -8472,6 +8641,7 @@ export declare namespace Annotations {
     /**
      * Union of built-in and user-augmented schema filter metadata payloads.
      *
+     * @category utility types
      * @since 4.0.0
      */
     type Meta = MetaDefinitions[keyof MetaDefinitions];