effect 4.0.0-beta.72 → 4.0.0-beta.74

package/dist/Schema.d.ts

@@ -159,7 +159,7 @@ export type ConstructorDefault = "no-default" | "with-default";
  * @see {@link Bottom.makeEffect}
  * @see {@link Bottom.make}
  *
- * @category models
+ * @category options
  * @since 3.13.4
  */
 export interface MakeOptions {
@@ -267,9 +267,7 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
     makeEffect(input: this["~type.make.in"], options?: MakeOptions): Effect.Effect<this["Type"], SchemaError>;
 }
 /**
- * The schema type returned by {@link declareConstructor}, tracking the decoded
- * type `T`, the encoded type `E`, and the list of type-parameter schemas
- * `TypeParameters`.
+ * Type-level representation returned by {@link declareConstructor}.
  *
  * @category constructors
  * @since 4.0.0
@@ -327,8 +325,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  */
 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>;
 /**
- * The schema type returned by {@link declare}, representing a non-parametric
- * opaque type `T` with no type parameters.
+ * Type-level representation returned by {@link declare}.
  *
  * @category constructors
  * @since 3.13.3
@@ -394,7 +391,7 @@ export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotati
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
- * @category utils
+ * @category utility types
  * @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"]>;
@@ -763,7 +760,7 @@ export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknow
  * type Enc = typeof codec["Encoded"] // string
  * ```
  *
- * @category utils
+ * @category utility types
  * @since 4.0.0
  */
 export declare function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>): Codec<T, E, RD, RE>;
@@ -1520,9 +1517,7 @@ export declare function asClass<S extends Top>(schema: S): S & {
  */
 export declare function isSchema(u: unknown): u is Top;
 /**
- * Companion type for an exact optional struct key. The key may be absent, but
- * when present must match the wrapped schema (no implicit `undefined`).
- * Produced by {@link optionalKey}.
+ * Type-level representation returned by {@link optionalKey}.
  *
  * @category models
  * @since 4.0.0
@@ -1574,8 +1569,7 @@ interface requiredKeyLambda extends Lambda {
  */
 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}.
+ * Type-level representation returned by {@link optional}.
  *
  * @category models
  * @since 3.10.0
@@ -1638,8 +1632,7 @@ interface requiredLambda extends Lambda {
  */
 export declare const required: requiredLambda;
 /**
- * Companion type for a mutable struct key. The key's property is writable.
- * Produced by {@link mutableKey}.
+ * Type-level representation returned by {@link mutableKey}.
  *
  * @category models
  * @since 4.0.0
@@ -1676,8 +1669,7 @@ interface readonlyKeyLambda extends Lambda {
  */
 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}.
+ * Type-level representation returned by {@link toType}.
  *
  * @category transforming
  * @since 4.0.0
@@ -1697,8 +1689,7 @@ interface toTypeLambda extends Lambda {
  */
 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}.
+ * Type-level representation returned by {@link toEncoded}.
  *
  * @category transforming
  * @since 4.0.0
@@ -1719,8 +1710,7 @@ interface toEncodedLambda extends Lambda {
 export declare const toEncoded: toEncodedLambda;
 declare const FlipTypeId = "~effect/Schema/flip";
 /**
- * Schema type representing a flipped schema where `Type` and `Encoded` are
- * swapped. Produced by {@link flip}.
+ * Type-level representation returned by {@link flip}.
  *
  * @category transforming
  * @since 4.0.0
@@ -1755,9 +1745,8 @@ export interface flip<S extends Top> extends Bottom<S["Encoded"], S["Type"], S["
  */
 export declare function flip<S extends Top>(schema: S): S extends flip<infer F> ? F["Rebuild"] : flip<S>;
 /**
- * Represents a schema for a single literal value.
+ * Type-level representation returned by {@link Literal}.
  *
- * @see {@link Literal} for the constructor function.
  * @category models
  * @since 3.10.0
  */
@@ -1837,10 +1826,8 @@ export declare namespace TemplateLiteral {
     type Encoded<Parts> = Parts extends readonly [...infer Init, infer Last] ? AppendType<Encoded<Init>, Last> : ``;
 }
 /**
- * Represents a schema that validates strings matching a template literal pattern.
- * The encoded type is a string formed by concatenating the parts.
+ * Type-level representation returned by {@link TemplateLiteral}.
  *
- * @see {@link TemplateLiteral} for the constructor function.
  * @category models
  * @since 3.10.0
  */
@@ -1888,10 +1875,8 @@ export declare namespace TemplateLiteralParser {
     ] : [];
 }
 /**
- * Represents a schema that validates strings matching a template literal pattern and decodes
- * them into a tuple of typed values, one per schema part.
+ * Type-level representation returned by {@link TemplateLiteralParser}.
  *
- * @see {@link TemplateLiteralParser} for the constructor function.
  * @category models
  * @since 3.10.0
  */
@@ -1926,10 +1911,8 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  */
 export declare function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>(parts: Parts): TemplateLiteralParser<Parts>;
 /**
- * Represents a schema derived from a TypeScript enum object or an enum-like
- * `as const` object, accepting any of its values.
+ * Type-level representation returned by {@link Enum}.
  *
- * @see {@link Enum} for the constructor function.
  * @category models
  * @since 4.0.0
  */
@@ -1962,9 +1945,8 @@ export declare function Enum<A extends {
     [x: string]: string | number;
 }>(enums: A): Enum<A>;
 /**
- * Schema for the `never` type. Always fails validation.
+ * Type-level representation of {@link Never}.
  *
- * @see {@link Never} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -1978,9 +1960,8 @@ export interface Never extends Bottom<never, never, never, never, AST.Never, Nev
  */
 export declare const Never: Never;
 /**
- * Schema for the `any` type. Accepts any value without validation.
+ * Type-level representation of {@link Any}.
  *
- * @see {@link Any} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -1995,9 +1976,8 @@ export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {
  */
 export declare const Any: Any;
 /**
- * Schema for the `unknown` type. Accepts any value without validation.
+ * Type-level representation of {@link Unknown}.
  *
- * @see {@link Unknown} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -2012,9 +1992,8 @@ export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unkn
  */
 export declare const Unknown: Unknown;
 /**
- * Schema for the `null` literal. Validates that the input is strictly `null`.
+ * Type-level representation of {@link Null}.
  *
- * @see {@link Null} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -2029,9 +2008,8 @@ export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {
  */
 export declare const Null: Null;
 /**
- * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
+ * Type-level representation of {@link Undefined}.
  *
- * @see {@link Undefined} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -2046,9 +2024,8 @@ export interface Undefined extends Bottom<undefined, undefined, never, never, AS
  */
 export declare const Undefined: Undefined;
 /**
- * Schema for `string` values.
+ * Type-level representation of {@link String}.
  *
- * @see {@link String} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2062,9 +2039,8 @@ export interface String extends Bottom<string, string, never, never, AST.String,
  */
 export declare const String: String;
 /**
- * Schema for `number` values, including `NaN`, `Infinity`, and `-Infinity`.
+ * Type-level representation of {@link Number}.
  *
- * @see {@link Number} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2086,9 +2062,8 @@ export interface Number extends Bottom<number, number, never, never, AST.Number,
  */
 export declare const Number: Number;
 /**
- * Schema for `boolean` values.
+ * Type-level representation of {@link Boolean}.
  *
- * @see {@link Boolean} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2103,14 +2078,13 @@ export interface Boolean extends Bottom<boolean, boolean, never, never, AST.Bool
  *
  * @see {@link BooleanFromBit} for a schema that decodes bit literals `0` or `1` into a boolean
  *
- * @category Boolean
+ * @category boolean
  * @since 4.0.0
  */
 export declare const Boolean: Boolean;
 /**
- * Schema for `symbol` values.
+ * Type-level representation of {@link Symbol}.
  *
- * @see {@link Symbol} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2125,9 +2099,8 @@ export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol,
  */
 export declare const Symbol: Symbol;
 /**
- * Schema for `bigint` values.
+ * Type-level representation of {@link BigInt}.
  *
- * @see {@link BigInt} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2148,9 +2121,8 @@ export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt,
  */
 export declare const BigInt: BigInt;
 /**
- * Schema for the `void` type.
+ * Type-level representation of {@link Void}.
  *
- * @see {@link Void} for the schema value.
  * @category models
  * @since 3.10.0
  */
@@ -2164,9 +2136,8 @@ export interface Void extends Bottom<void, void, never, never, AST.Void, Void> {
  */
 export declare const Void: Void;
 /**
- * Schema for the `object` type keyword.
+ * Type-level representation of {@link ObjectKeyword}.
  *
- * @see {@link ObjectKeyword} for the schema value.
  * @category models
  * @since 4.0.0
  */
@@ -2181,9 +2152,8 @@ export interface ObjectKeyword extends Bottom<object, object, never, never, AST.
  */
 export declare const ObjectKeyword: ObjectKeyword;
 /**
- * Represents a schema for a specific unique symbol.
+ * Type-level representation returned by {@link UniqueSymbol}.
  *
- * @see {@link UniqueSymbol} for the constructor function.
  * @category models
  * @since 4.0.0
  */
@@ -2362,13 +2332,7 @@ export declare namespace Struct {
     type MakeIn<F extends Fields> = Simplify<MakeIn_<F>>;
 }
 /**
- * Schema type returned by `Schema.Struct` for an object with a fixed set of
- * schema-defined fields.
- *
- * **Details**
- *
- * The `fields` property exposes the original field map for reuse, and
- * `mapFields` creates a new struct schema by transforming that field map.
+ * Type-level representation returned by {@link Struct}.
  *
  * @category models
  * @since 3.10.0
@@ -2483,8 +2447,7 @@ interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
  */
 export declare function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewFields): fieldsAssign<NewFields>;
 /**
- * Schema type for a struct with renamed encoded keys. Produced by
- * {@link encodeKeys}.
+ * Type-level representation returned by {@link encodeKeys}.
  *
  * @category transforming
  * @since 4.0.0
@@ -2715,16 +2678,7 @@ export declare namespace Record {
     };
 }
 /**
- * Companion type for a key-value record (map) with a typed key and value schema.
- * Produced by {@link Record}.
- *
- * **When to use**
- *
- * Use as the concrete schema type returned by `Record` when an API needs to
- * accept or return a record schema with typed property keys and values.
- *
- * @see {@link Record} for constructing record schemas
- * @see {@link StructWithRest} for combining fixed struct fields with record index signatures
+ * Type-level representation returned by {@link Record}.
  *
  * @category models
  * @since 4.0.0
@@ -2853,16 +2807,7 @@ export declare namespace StructWithRest {
     }>;
 }
 /**
- * Companion type for a struct combined with one or more record schemas. Produced
- * by {@link StructWithRest}.
- *
- * **When to use**
- *
- * Use as the schema type when generic code needs to retain the base struct
- * schema and all rest record schemas.
- *
- * @see {@link StructWithRest} for constructing this schema type
- * @see {@link Record} for constructing record schemas used as rest index signatures
+ * Type-level representation returned by {@link StructWithRest}.
  *
  * @category models
  * @since 4.0.0
@@ -2998,7 +2943,7 @@ export declare namespace Tuple {
     type MakeIn<E extends Elements> = MakeIn_<E>;
 }
 /**
- * Companion type for a fixed-length tuple. Produced by {@link Tuple}.
+ * Type-level representation returned by {@link Tuple}.
  *
  * @category models
  * @since 3.10.0
@@ -3161,8 +3106,7 @@ export declare namespace TupleWithRest {
     ] : M;
 }
 /**
- * Companion type for a tuple with additional rest elements. Produced by
- * {@link TupleWithRest}.
+ * Type-level representation returned by {@link TupleWithRest}.
  *
  * @category models
  * @since 4.0.0
@@ -3203,18 +3147,7 @@ export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends T
  */
 export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extends TupleWithRest.Rest>(schema: S, rest: Rest): TupleWithRest<S, Rest>;
 /**
- * Schema interface produced by `Schema.Array` for readonly arrays.
- *
- * **When to use**
- *
- * Use as the public companion type returned by `Schema.Array` when you need to
- * refer to a readonly array schema built from an element schema.
- *
- * **Details**
- *
- * The decoded type is `ReadonlyArray<S["Type"]>`, the encoded type is
- * `ReadonlyArray<S["Encoded"]>`, and the element schema is available as
- * `value`.
+ * Type-level representation returned by {@link Array}.
  *
  * @category models
  * @since 4.0.0
@@ -3252,13 +3185,7 @@ export {
  */
 ArraySchema as Array };
 /**
- * Companion type for a non-empty `ReadonlyArray`. Produced by {@link NonEmptyArray}.
- *
- * **Details**
- *
- * The decoded type is `readonly [S["Type"], ...Array<S["Type"]>]`, the encoded type is
- * `readonly [S["Encoded"], ...Array<S["Encoded"]>]`, and the element schema is available as
- * `value`.
+ * Type-level representation returned by {@link NonEmptyArray}.
  *
  * @category models
  * @since 3.10.0
@@ -3290,20 +3217,7 @@ interface NonEmptyArrayLambda extends Lambda {
  */
 export declare const NonEmptyArray: NonEmptyArrayLambda;
 /**
- * Schema interface returned by `ArrayEnsure`, which normalizes a single item or
- * an array of items into a readonly array.
- *
- * **When to use**
- *
- * Use as the schema type when generic code needs to retain the original item
- * schema.
- *
- * **Details**
- *
- * The schema decodes from `S` or `Schema.Array(S)` and produces
- * `ReadonlyArray<S["Type"]>`.
- *
- * @see {@link ArrayEnsure} for constructing this schema type
+ * Type-level representation returned by {@link ArrayEnsure}.
  *
  * @category constructors
  * @since 3.10.0
@@ -3339,7 +3253,7 @@ export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>,
  */
 export declare function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S>;
 /**
- * Companion type for an array with unique elements. Produced by {@link UniqueArray}.
+ * Type-level representation returned by {@link UniqueArray}.
  *
  * @category models
  * @since 4.0.0
@@ -3360,8 +3274,7 @@ export interface UniqueArray<S extends Top> extends $Array<S> {
  */
 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}.
+ * Type-level representation returned by {@link mutable}.
  *
  * @category transforming
  * @since 3.10.0
@@ -3398,7 +3311,7 @@ interface mutableLambda extends Lambda {
  */
 export declare const mutable: mutableLambda;
 /**
- * Companion type for a union of multiple schemas. Produced by {@link Union}.
+ * Type-level representation returned by {@link Union}.
  *
  * @category models
  * @since 3.10.0
@@ -3467,9 +3380,8 @@ export declare function Union<const Members extends ReadonlyArray<Top>>(members:
     mode?: "anyOf" | "oneOf";
 }): Union<Members>;
 /**
- * Represents a union schema of multiple literal values.
+ * Type-level representation returned by {@link Literals}.
  *
- * @see {@link Literals} for the constructor function.
  * @category models
  * @since 4.0.0
  */
@@ -3507,7 +3419,7 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bot
  */
 export declare function Literals<const L extends ReadonlyArray<AST.LiteralValue>>(literals: L): Literals<L>;
 /**
- * Companion type for `S | null`. Produced by {@link NullOr}.
+ * Type-level representation returned by {@link NullOr}.
  *
  * @category models
  * @since 3.10.0
@@ -3527,7 +3439,7 @@ interface NullOrLambda extends Lambda {
  */
 export declare const NullOr: NullOrLambda;
 /**
- * Companion type for `S | undefined`. Produced by {@link UndefinedOr}.
+ * Type-level representation returned by {@link UndefinedOr}.
  *
  * @category models
  * @since 3.10.0
@@ -3547,7 +3459,7 @@ interface UndefinedOrLambda extends Lambda {
  */
 export declare const UndefinedOr: UndefinedOrLambda;
 /**
- * Companion type for `S | null | undefined`. Produced by {@link NullishOr}.
+ * Type-level representation returned by {@link NullishOr}.
  *
  * @category models
  * @since 3.10.0
@@ -3567,7 +3479,7 @@ interface NullishOrLambda extends Lambda {
  */
 export declare const NullishOr: NullishOrLambda;
 /**
- * Schema type wrapping a lazily-evaluated schema. Produced by {@link suspend}.
+ * Type-level representation returned by {@link suspend}.
  *
  * @category models
  * @since 3.10.0
@@ -3618,8 +3530,7 @@ export declare function suspend<S extends Top>(f: () => S): suspend<S>;
  */
 export declare function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>, ...Array<AST.Check<S["Type"]>>]): (self: S) => S["Rebuild"];
 /**
- * The output type of {@link refine}, narrowing the schema's `Type` to `T` via a
- * type guard.
+ * Type-level representation returned by {@link refine}.
  *
  * @category filtering
  * @since 3.10.0
@@ -3645,15 +3556,7 @@ export interface refine<T extends S["Type"], S extends Top> extends Bottom<T, S[
 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>;
 /**
- * The output type of {@link brand}, intersecting the schema's `Type` with one or
- * more {@link Brand.Brand} tags.
- *
- * **When to use**
- *
- * Use as the schema type when generic code needs to retain the wrapped schema
- * and nominal brand type.
- *
- * @see {@link brand} for adding the brand tag to an existing schema
+ * Type-level representation returned by {@link brand}.
  *
  * @category branding
  * @since 3.10.0
@@ -3693,14 +3596,8 @@ export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string
     readonly "Type": Brand.Brand.Unbranded<A>;
 }>(self: S) => brand<S["Rebuild"], Brand.Brand.Keys<A>>;
 /**
- * A schema that wraps another schema and intercepts its decoding pipeline.
+ * Type-level representation returned by {@link middlewareDecoding}.
  *
- * **Details**
- *
- * The interceptor receives the full decoding `Effect` and may replace, modify,
- * or augment it — including adding service requirements via `RD`.
- *
- * @see {@link middlewareDecoding} for the constructor
  * @category decoding
  * @since 4.0.0
  */
@@ -3734,14 +3631,8 @@ export interface middlewareDecoding<S extends Top, RD> extends Bottom<S["Type"],
  */
 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>;
 /**
- * A schema that wraps another schema and intercepts its encoding pipeline.
+ * Type-level representation returned by {@link middlewareEncoding}.
  *
- * **Details**
- *
- * The interceptor receives the full encoding `Effect` and may replace, modify,
- * or augment it — including adding service requirements via `RE`.
- *
- * @see {@link middlewareEncoding} for the constructor
  * @category encoding
  * @since 4.0.0
  */
@@ -3851,16 +3742,8 @@ export declare function catchEncoding<S extends Top>(f: (issue: Issue.Issue) =>
  */
 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>;
 /**
- * Schema type produced by `decodeTo` when a custom transformation composes a
- * `From` schema with a `To` schema.
- *
- * **Details**
+ * Type-level representation returned by {@link decodeTo}.
  *
- * `Type` is `To["Type"]` and `Encoded` is `From["Encoded"]`. Decoding services
- * are `To["DecodingServices"] | From["DecodingServices"] | RD`; encoding
- * services are `To["EncodingServices"] | From["EncodingServices"] | RE`.
- *
- * @see {@link compose} for the passthrough (no transformation) variant
  * @category transforming
  * @since 4.0.0
  */
@@ -3869,14 +3752,8 @@ export interface decodeTo<To extends Top, From extends Top, RD = never, RE = nev
     readonly to: To;
 }
 /**
- * The type produced by {@link decodeTo} when called without a custom transformation (passthrough composition).
- *
- * **Details**
+ * Type-level representation returned by {@link decodeTo} without a custom transformation.
  *
- * Equivalent to {@link decodeTo} with `RD = never` and `RE = never`, meaning the schemas
- * are composed using their natural encoding/decoding chain.
- *
- * @see {@link decodeTo} for the transformation variant
  * @category transforming
  * @since 3.10.0
  */
@@ -4053,17 +3930,8 @@ export interface WithoutConstructorDefault {
     readonly "~type.constructor.default": "no-default";
 }
 /**
- * Schema type returned by `withConstructorDefault` after attaching a default used
- * by constructor helpers.
- *
- * **Details**
+ * Type-level representation returned by {@link withConstructorDefault}.
  *
- * The default affects `make` and related constructor helpers only; decoding and
- * encoding still use the original schema behavior. The schema is marked as
- * already having a constructor default so another constructor default cannot be
- * added.
- *
- * @see {@link withConstructorDefault} for the constructor
  * @category constructors
  * @since 3.10.0
  */
@@ -4099,10 +3967,8 @@ export interface withConstructorDefault<S extends Top & WithoutConstructorDefaul
  */
 export declare function withConstructorDefault<S extends Top & WithoutConstructorDefault>(defaultValue: Effect.Effect<S["~type.make.in"], SchemaError>): (schema: S) => withConstructorDefault<S>;
 /**
- * The type produced by {@link withDecodingDefaultKey}: a schema whose `Encoded`
- * side is `optionalKey` and that fills in a default `Encoded` value during decoding.
+ * Type-level representation returned by {@link withDecodingDefaultKey}.
  *
- * @see {@link withDecodingDefaultKey} for the constructor
  * @category decoding
  * @since 4.0.0
  */
@@ -4118,7 +3984,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
+ * @category options
  * @since 4.0.0
  */
 export type DecodingDefaultOptions = {
@@ -4160,11 +4026,8 @@ export type DecodingDefaultOptions = {
  */
 export declare function withDecodingDefaultKey<S extends Top, R = never>(defaultValue: Effect.Effect<S["Encoded"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultKey<S, R>;
 /**
- * The type produced by {@link withDecodingDefaultTypeKey}: a schema whose
- * `Encoded` side is `optionalKey` and that fills in a default `Type` value
- * during decoding.
+ * Type-level representation returned by {@link withDecodingDefaultTypeKey}.
  *
- * @see {@link withDecodingDefaultTypeKey} for the constructor
  * @category decoding
  * @since 4.0.0
  */
@@ -4195,10 +4058,8 @@ export interface withDecodingDefaultTypeKey<S extends Top, R = never> extends de
  */
 export declare function withDecodingDefaultTypeKey<S extends Top, R = never>(defaultValue: Effect.Effect<S["Type"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultTypeKey<S, R>;
 /**
- * The type produced by {@link withDecodingDefault}: a schema whose `Encoded`
- * side is `optional` and that fills in a default `Encoded` value during decoding.
+ * Type-level representation returned by {@link withDecodingDefault}.
  *
- * @see {@link withDecodingDefault} for the constructor
  * @category decoding
  * @since 3.10.0
  */
@@ -4241,11 +4102,8 @@ export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<
  */
 export declare function withDecodingDefault<S extends Top, R = never>(defaultValue: Effect.Effect<S["Encoded"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefault<S, R>;
 /**
- * The type produced by {@link withDecodingDefaultType}: a schema whose
- * `Encoded` side is `optional` and that fills in a default `Type` value during
- * decoding.
+ * Type-level representation returned by {@link withDecodingDefaultType}.
  *
- * @see {@link withDecodingDefaultType} for the constructor
  * @category decoding
  * @since 4.0.0
  */
@@ -4276,13 +4134,8 @@ export interface withDecodingDefaultType<S extends Top, R = never> extends decod
  */
 export declare function withDecodingDefaultType<S extends Top, R = never>(defaultValue: Effect.Effect<S["Type"], SchemaError, R>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultType<S, R>;
 /**
- * The type produced by {@link tag} — a literal schema with a constructor default.
+ * Type-level representation returned by {@link tag}.
  *
- * **Details**
- *
- * Used as the type of the `_tag` field in {@link TaggedStruct} and related helpers.
- *
- * @see {@link tag} for the constructor
  * @category constructors
  * @since 3.10.0
  */
@@ -4345,9 +4198,8 @@ export declare function tag<Tag extends AST.LiteralValue>(literal: Tag): tag<Tag
  */
 export declare function tagDefaultOmit<Tag extends AST.LiteralValue>(literal: Tag): withDecodingDefaultKey<tag<Tag>, never>;
 /**
- * The type produced by {@link TaggedStruct} — a {@link Struct} with an extra `_tag` field of type {@link tag}.
+ * Type-level representation returned by {@link TaggedStruct}.
  *
- * @see {@link TaggedStruct} for the constructor
  * @category models
  * @since 3.10.0
  */
@@ -4433,9 +4285,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.
+ * Type-level representation returned by {@link toTaggedUnion}.
  *
- * @see {@link toTaggedUnion} for the constructor
  * @category combinators
  * @since 4.0.0
  */
@@ -4472,10 +4323,8 @@ export declare function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag):
     readonly Type: { readonly [K in Tag]: PropertyKey; };
 }>>(self: Union<Members>) => toTaggedUnion<Tag, Members>;
 /**
- * A union schema that exposes `cases`, `guards`, `isAnyOf`, and `match` utilities keyed by the `_tag` discriminant.
- * Produced by {@link TaggedUnion}.
+ * Type-level representation returned by {@link TaggedUnion}.
  *
- * @see {@link TaggedUnion} for the constructor
  * @category models
  * @since 4.0.0
  */
@@ -4536,11 +4385,8 @@ export declare function TaggedUnion<const CasesByTag extends Record<string, Stru
     readonly [K in keyof CasesByTag & string]: TaggedStruct<K, CasesByTag[K]>;
 }>;
 /**
- * The interface type for schemas created by {@link Opaque}.
- * Carries the same encoded/decoded shape as `S` but replaces `Type` with `Self & Brand`,
- * making the decoded value nominally distinct.
+ * Type-level representation returned by {@link Opaque}.
  *
- * @see {@link Opaque} for the constructor
  * @category models
  * @since 4.0.0
  */
@@ -4573,9 +4419,8 @@ export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Enco
  */
 export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) => Opaque<Self, S, Brand> & Omit<S, keyof Top>;
 /**
- * The type produced by {@link instanceOf} — a declaration schema that validates class instances.
+ * Type-level representation returned by {@link instanceOf}.
  *
- * @see {@link instanceOf} for the constructor
  * @category models
  * @since 3.10.0
  */
@@ -4667,7 +4512,7 @@ export declare function link<T>(): <To extends Top>(encodeTo: To, transformation
  * //   at ["c"])]))
  * ```
  *
- * @category Checks Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare const makeFilter: <T>(filter: (input: T, ast: AST.AST, options: AST.ParseOptions) => FilterOutput, annotations?: Annotations.Filter | undefined, abort?: boolean) => AST.Filter<T>;
@@ -4721,7 +4566,7 @@ export type FilterOutput = undefined | boolean | FilterIssue | ReadonlyArray<Fil
  * Groups multiple checks into a single {@link AST.FilterGroup}, applying
  * optional shared annotations to the group as a whole.
  *
- * @category Checks Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export declare function makeFilterGroup<T>(checks: readonly [AST.Check<T>, ...Array<AST.Check<T>>], annotations?: Annotations.Filter | undefined): AST.FilterGroup<T>;
@@ -5782,10 +5627,9 @@ export declare function isPropertyNames(keySchema: Top, annotations?: Annotation
  */
 export declare function isUnique<T>(annotations?: Annotations.Filter): AST.Filter<readonly T[]>;
 /**
- * Type-level representation of the `NonEmptyString` schema, which validates
- * strings with a length of at least one.
+ * Type-level representation of {@link NonEmptyString}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface NonEmptyString extends String {
@@ -5795,15 +5639,14 @@ export interface NonEmptyString extends String {
  * Schema for non-empty strings. Validates that a string has at least one
  * character.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const NonEmptyString: NonEmptyString;
 /**
- * Type-level representation of the `Char` schema, which validates strings whose
- * length is exactly one.
+ * Type-level representation of {@link Char}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface Char extends String {
@@ -5825,26 +5668,12 @@ export interface Char extends String {
  * @see {@link NonEmptyString} for strings with length greater than zero
  * @see {@link isLengthBetween} for the underlying length check
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const Char: Char;
 /**
- * Schema for the `Option<A>` type, representing an optional value that is
- * either `None` or `Some<A>`.
- *
- * **Example** (Option schema)
- *
- * ```ts
- * import { Option, Schema } from "effect"
- *
- * const schema = Schema.Option(Schema.Number)
- *
- * Schema.decodeUnknownSync(schema)(Option.some(1))
- * // => Some(1)
- * Schema.decodeUnknownSync(schema)(Option.none())
- * // => None
- * ```
+ * Type-level representation returned by {@link Option}.
  *
  * @category Option
  * @since 3.10.0
@@ -5878,8 +5707,7 @@ export type OptionIso<A extends Top> = {
  */
 export declare function Option<A extends Top>(value: A): Option<A>;
 /**
- * Type-level representation of a schema that decodes `null` as `None` and all
- * other values as `Some`.
+ * Type-level representation returned by {@link OptionFromNullOr}.
  *
  * @category Option
  * @since 3.10.0
@@ -5905,8 +5733,7 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
  */
 export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S>;
 /**
- * Type-level representation of a schema that decodes `undefined` as `None` and
- * all other values as `Some`.
+ * Type-level representation returned by {@link OptionFromUndefinedOr}.
  *
  * @category Option
  * @since 3.10.0
@@ -5932,8 +5759,7 @@ export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<to
  */
 export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndefinedOr<S>;
 /**
- * Type-level representation of a schema that decodes `null` or `undefined` as
- * `None` and all other values as `Some`.
+ * Type-level representation returned by {@link OptionFromNullishOr}.
  *
  * @category Option
  * @since 3.10.0
@@ -5961,8 +5787,7 @@ export declare function OptionFromNullishOr<S extends Top>(schema: S, options?:
     onNoneEncoding: null | undefined;
 }): OptionFromNullishOr<S>;
 /**
- * Type-level representation of a schema that decodes a missing object key as
- * `None` and a present key as `Some`.
+ * Type-level representation returned by {@link OptionFromOptionalKey}.
  *
  * @category Option
  * @since 4.0.0
@@ -5988,8 +5813,7 @@ export interface OptionFromOptionalKey<S extends Top> extends decodeTo<Option<to
  */
 export declare function OptionFromOptionalKey<S extends Top>(schema: S): OptionFromOptionalKey<S>;
 /**
- * Type-level representation of a schema that decodes a missing key or
- * `undefined` value as `None` and other present values as `Some`.
+ * Type-level representation returned by {@link OptionFromOptional}.
  *
  * @category Option
  * @since 4.0.0
@@ -6017,8 +5841,7 @@ export interface OptionFromOptional<S extends Top> extends decodeTo<Option<toTyp
  */
 export declare function OptionFromOptional<S extends Top>(schema: S): OptionFromOptional<S>;
 /**
- * Type-level representation of a schema that decodes a missing key, `undefined`,
- * or `null` as `None` and all other present values as `Some`.
+ * Type-level representation returned by {@link OptionFromOptionalNullOr}.
  *
  * @category Option
  * @since 4.0.0
@@ -6051,8 +5874,7 @@ export declare function OptionFromOptionalNullOr<S extends Top>(schema: S, optio
     readonly onNoneEncoding: "omit" | null | undefined;
 }): OptionFromOptionalNullOr<S>;
 /**
- * Schema for the `Result<A, E>` type, representing a computation that either
- * succeeds with `A` or fails with `E`.
+ * Type-level representation returned by {@link Result}.
  *
  * @category schemas
  * @since 4.0.0
@@ -6088,8 +5910,7 @@ export type ResultIso<A extends Top, E extends Top> = {
  */
 export declare function Result<A extends Top, E extends Top>(success: A, failure: E): Result<A, E>;
 /**
- * Schema for the `Redacted<A>` type, providing secure handling of sensitive
- * values. The inner value is hidden from error messages.
+ * Type-level representation returned by {@link Redacted}.
  *
  * @category Redacted
  * @since 3.10.0
@@ -6126,8 +5947,7 @@ export declare function Redacted<S extends Top>(value: S, options?: {
     readonly disallowJsonEncode?: boolean | undefined;
 }): Redacted<S>;
 /**
- * Type-level representation of a schema that decodes a raw value with the
- * provided schema and wraps the result in `Redacted`.
+ * Type-level representation returned by {@link RedactedFromValue}.
  *
  * @category Redacted
  * @since 4.0.0
@@ -6156,22 +5976,7 @@ export declare function RedactedFromValue<S extends Top>(value: S, options?: {
     readonly disallowEncode?: boolean | undefined;
 }): RedactedFromValue<S>;
 /**
- * Schema for a single `Cause.Reason`, representing one reason a fiber may fail:
- * a typed error (`Fail`), an unexpected defect (`Die`), or an interrupt
- * (`Interrupt`).
- *
- * **When to use**
- *
- * Use as the schema type when generic code needs to retain the typed failure
- * and defect schemas for a single cause reason.
- *
- * **Details**
- *
- * The `error` schema validates typed failures and the `defect` schema validates
- * unexpected defects.
- *
- * @see {@link CauseReason} for constructing this schema type
- * @see {@link CauseReasonIso} for the ISO shape of each cause reason
+ * Type-level representation returned by {@link CauseReason}.
  *
  * @category CauseReason
  * @since 4.0.0
@@ -6224,21 +6029,7 @@ export type CauseReasonIso<E extends Top, D extends Top> = {
  */
 export declare function CauseReason<E extends Top, D extends Top>(error: E, defect: D): CauseReason<E, D>;
 /**
- * Schema for `Cause` values, represented as an ordered collection of failure
- * reasons combining typed errors, defects, and interrupts.
- *
- * **When to use**
- *
- * Use as the schema type when generic code needs to retain the typed failure
- * and defect schemas for a full cause.
- *
- * **Details**
- *
- * The `error` schema validates typed failures and the `defect` schema validates
- * unexpected defects.
- *
- * @see {@link Cause} for constructing this schema type
- * @see {@link CauseIso} for the ordered array representation used by the schema ISO
+ * Type-level representation returned by {@link Cause}.
  *
  * @category Cause
  * @since 3.10.0
@@ -6287,7 +6078,7 @@ export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseReasonIs
  */
 export declare function Cause<E extends Top, D extends Top>(error: E, defect: D): Cause<E, D>;
 /**
- * Type-level representation of the schema for JavaScript `Error` instances.
+ * Type-level representation of {@link Error}.
  *
  * @category Error
  * @since 4.0.0
@@ -6324,8 +6115,7 @@ export declare const Error: Error;
  */
 export declare const ErrorWithStack: Error;
 /**
- * Type-level representation of the `Defect` schema, which accepts JavaScript
- * `Error` values and arbitrary unknown defect values.
+ * Type-level representation of {@link Defect}.
  *
  * @category Defect
  * @since 3.10.0
@@ -6362,8 +6152,7 @@ export declare const Defect: Defect;
  */
 export declare const DefectWithStack: Defect;
 /**
- * Schema for `Exit` values, representing either a success with value `A` or a
- * failure with a `Cause` containing typed errors and defects.
+ * Type-level representation returned by {@link Exit}.
  *
  * @category Exit
  * @since 3.10.0
@@ -6401,17 +6190,7 @@ export type ExitIso<A extends Top, E extends Top, D extends Top> = {
  */
 export declare function Exit<A extends Top, E extends Top, D extends Top>(value: A, error: E, defect: D): Exit<A, E, D>;
 /**
- * Type-level representation of a `ReadonlyMap` schema whose keys and values are
- * validated by the provided schemas.
- *
- * **When to use**
- *
- * Use as a type annotation for a `ReadonlyMap` schema when exposing or returning
- * the schema while preserving its key schema, value schema, and ISO
- * representation.
- *
- * @see {@link ReadonlyMap} for constructing this schema type from key and value schemas
- * @see {@link ReadonlyMapIso} for the readonly tuple-array ISO representation used by this schema
+ * Type-level representation returned by {@link ReadonlyMap}.
  *
  * @category ReadonlyMap
  * @since 4.0.0
@@ -6438,8 +6217,7 @@ export type ReadonlyMapIso<Key extends Top, Value extends Top> = ReadonlyArray<r
  */
 export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value: Value): $ReadonlyMap<Key, Value>;
 /**
- * Schema for an Effect `HashMap` where keys and values must conform to the
- * provided schemas.
+ * Type-level representation returned by {@link HashMap}.
  *
  * @category HashMap
  * @since 3.10.0
@@ -6465,16 +6243,7 @@ export type HashMapIso<Key extends Top, Value extends Top> = ReadonlyArray<reado
  */
 export declare function HashMap<Key extends Top, Value extends Top>(key: Key, value: Value): HashMap<Key, Value>;
 /**
- * Type-level representation of a `ReadonlySet` schema whose values are validated
- * by the provided element schema.
- *
- * **When to use**
- *
- * Use to name or constrain the schema type produced by `ReadonlySet` when
- * generic code needs to retain the element schema type.
- *
- * @see {@link ReadonlySet} for constructing this schema type
- * @see {@link ReadonlySetIso} for the array representation used by this schema's ISO
+ * Type-level representation returned by {@link ReadonlySet}.
  *
  * @category ReadonlySet
  * @since 4.0.0
@@ -6499,8 +6268,7 @@ export type ReadonlySetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  */
 export declare function ReadonlySet<Value extends Top>(value: Value): $ReadonlySet<Value>;
 /**
- * Schema for an Effect `HashSet` where values must conform to the provided
- * schema.
+ * Type-level representation returned by {@link HashSet}.
  *
  * @category HashSet
  * @since 3.10.0
@@ -6525,8 +6293,7 @@ export type HashSetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  */
 export declare function HashSet<Value extends Top>(value: Value): HashSet<Value>;
 /**
- * Schema for an Effect `Chunk` (immutable array-like collection) where values
- * must conform to the provided schema.
+ * Type-level representation returned by {@link Chunk}.
  *
  * @category Chunk
  * @since 3.10.0
@@ -6558,7 +6325,7 @@ export type ChunkIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  */
 export declare function Chunk<Value extends Top>(value: Value): Chunk<Value>;
 /**
- * Type-level representation of the schema for JavaScript `RegExp` instances.
+ * Type-level representation of {@link RegExp}.
  *
  * @category RegExp
  * @since 4.0.0
@@ -6578,7 +6345,7 @@ export interface RegExp extends instanceOf<globalThis.RegExp> {
  */
 export declare const RegExp: RegExp;
 /**
- * Type-level representation of the schema for JavaScript `URL` instances.
+ * Type-level representation of {@link URL}.
  *
  * @category URL
  * @since 4.0.0
@@ -6600,8 +6367,7 @@ export interface URL extends instanceOf<globalThis.URL> {
  */
 export declare const URL: URL;
 /**
- * Type-level representation of a transformation schema that decodes valid URL
- * strings into JavaScript `URL` instances.
+ * Type-level representation of {@link URLFromString}.
  *
  * @category URL
  * @since 4.0.0
@@ -6625,8 +6391,7 @@ export interface URLFromString extends decodeTo<URL, String> {
  */
 export declare const URLFromString: URLFromString;
 /**
- * Type-level representation of the schema for JavaScript `Date` instances,
- * including invalid dates.
+ * Type-level representation of {@link Date}.
  *
  * @category Date
  * @since 4.0.0
@@ -6664,8 +6429,7 @@ export interface Date extends instanceOf<globalThis.Date> {
  */
 export declare const Date: Date;
 /**
- * Type-level representation of a transformation schema that decodes strings into
- * JavaScript `Date` instances.
+ * Type-level representation of {@link DateFromString}.
  *
  * @category Date
  * @since 3.10.0
@@ -6702,8 +6466,7 @@ export interface DateFromString extends decodeTo<Date, String> {
  */
 export declare const DateFromString: DateFromString;
 /**
- * Type-level representation of the `DateValid` schema, which accepts only valid
- * JavaScript `Date` instances.
+ * Type-level representation of {@link DateValid}.
  *
  * @category Date
  * @since 4.0.0
@@ -6724,7 +6487,7 @@ export interface DateValid extends Date {
  */
 export declare const DateValid: DateValid;
 /**
- * Type-level representation of the schema for Effect `Duration` values.
+ * Type-level representation of {@link Duration}.
  *
  * @category Duration
  * @since 3.10.0
@@ -6755,8 +6518,7 @@ export interface Duration extends declare<Duration_.Duration> {
  */
 export declare const Duration: Duration;
 /**
- * Type-level representation of a transformation schema that decodes strings
- * accepted by `Duration.fromInput` into `Duration` values.
+ * Type-level representation of {@link DurationFromString}.
  *
  * @category Duration
  * @since 4.0.0
@@ -6781,8 +6543,7 @@ export interface DurationFromString extends decodeTo<Duration, String> {
  */
 export declare const DurationFromString: DurationFromString;
 /**
- * Type-level representation of a transformation schema that decodes non-negative
- * nanosecond `bigint` values into `Duration` values.
+ * Type-level representation of {@link DurationFromNanos}.
  *
  * @category Duration
  * @since 3.10.0
@@ -6809,8 +6570,7 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
  */
 export declare const DurationFromNanos: DurationFromNanos;
 /**
- * Type-level representation of a transformation schema that decodes
- * non-negative millisecond numbers into `Duration` values.
+ * Type-level representation of {@link DurationFromMillis}.
  *
  * @category Duration
  * @since 3.10.0
@@ -6838,7 +6598,7 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  */
 export declare const DurationFromMillis: DurationFromMillis;
 /**
- * Type-level representation of the schema for Effect `BigDecimal` values.
+ * Type-level representation of {@link BigDecimal}.
  *
  * @category BigDecimal
  * @since 3.10.0
@@ -6867,8 +6627,7 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
  */
 export declare const BigDecimal: BigDecimal;
 /**
- * Type-level representation of a transformation schema that decodes strings into
- * `BigDecimal` values.
+ * Type-level representation of {@link BigDecimalFromString}.
  *
  * @category BigDecimal
  * @since 4.0.0
@@ -6905,10 +6664,9 @@ export interface BigDecimalFromString extends decodeTo<BigDecimal, String> {
  */
 export declare const BigDecimalFromString: BigDecimalFromString;
 /**
- * Type-level representation of a transformation schema that decodes
- * JSON-encoded strings into `unknown` values.
+ * Type-level representation of {@link UnknownFromJsonString}.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface UnknownFromJsonString extends fromJsonString<Unknown> {
@@ -6936,15 +6694,14 @@ export interface UnknownFromJsonString extends fromJsonString<Unknown> {
  * // => { a: 1, b: 2 }
  * ```
  *
- * @category JSON
+ * @category schemas
  * @since 4.0.0
  */
 export declare const UnknownFromJsonString: UnknownFromJsonString;
 /**
- * Type-level representation of a schema that parses a JSON string and then
- * decodes the parsed value with the provided schema.
+ * Type-level representation returned by {@link fromJsonString}.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
@@ -7013,14 +6770,14 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * // }
  * ```
  *
- * @category JSON
+ * @category constructors
  * @since 4.0.0
  */
 export declare function fromJsonString<S extends Top>(schema: S): fromJsonString<S>;
 /**
- * Type-level representation of the schema for JavaScript `File` instances.
+ * Type-level representation of {@link File}.
  *
- * @category File
+ * @category file
  * @since 4.0.0
  */
 export interface File extends instanceOf<globalThis.File> {
@@ -7034,12 +6791,12 @@ export interface File extends instanceOf<globalThis.File> {
  * The default JSON serializer encodes a `File` as `{ data, type, name, lastModified }`
  * where `data` is base64-encoded.
  *
- * @category File
+ * @category file
  * @since 4.0.0
  */
 export declare const File: File;
 /**
- * Type-level representation of the schema for JavaScript `FormData` instances.
+ * Type-level representation of {@link FormData}.
  *
  * @category FormData
  * @since 4.0.0
@@ -7060,8 +6817,7 @@ export interface FormData extends instanceOf<globalThis.FormData> {
  */
 export declare const FormData: FormData;
 /**
- * Type-level representation of a schema that parses `FormData` into a tree
- * record and then decodes it with the provided schema.
+ * Type-level representation returned by {@link fromFormData}.
  *
  * @category FormData
  * @since 4.0.0
@@ -7159,10 +6915,9 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  */
 export declare function fromFormData<S extends Top>(schema: S): fromFormData<S>;
 /**
- * Type-level representation of the schema for JavaScript `URLSearchParams`
- * instances.
+ * Type-level representation of {@link URLSearchParams}.
  *
- * @category URLSearchParams
+ * @category search params
  * @since 4.0.0
  */
 export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams> {
@@ -7175,15 +6930,14 @@ export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams>
  *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
- * @category URLSearchParams
+ * @category search params
  * @since 4.0.0
  */
 export declare const URLSearchParams: URLSearchParams;
 /**
- * Type-level representation of a schema that parses `URLSearchParams` into a
- * tree record and then decodes it with the provided schema.
+ * Type-level representation returned by {@link fromURLSearchParams}.
  *
- * @category URLSearchParams
+ * @category search params
  * @since 4.0.0
  */
 export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearchParams> {
@@ -7271,8 +7025,7 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  */
 export declare function fromURLSearchParams<S extends Top>(schema: S): fromURLSearchParams<S>;
 /**
- * Type-level representation of the `Finite` number schema, which rejects `NaN`,
- * `Infinity`, and `-Infinity`.
+ * Type-level representation of {@link Finite}.
  *
  * @category Number
  * @since 3.10.0
@@ -7288,8 +7041,7 @@ export interface Finite extends Number {
  */
 export declare const Finite: Finite;
 /**
- * Type-level representation of the `Int` schema, which accepts only finite
- * integer numbers.
+ * Type-level representation of {@link Int}.
  *
  * @category Number
  * @since 3.10.0
@@ -7305,8 +7057,7 @@ export interface Int extends Number {
  */
 export declare const Int: Int;
 /**
- * Type-level representation of a transformation schema that decodes strings into
- * numbers using JavaScript number coercion.
+ * Type-level representation of {@link NumberFromString}.
  *
  * @category Number
  * @since 3.10.0
@@ -7333,8 +7084,7 @@ export interface NumberFromString extends decodeTo<Finite, String> {
  */
 export declare const NumberFromString: NumberFromString;
 /**
- * Type-level representation of a transformation schema that decodes strings into
- * finite numbers.
+ * Type-level representation of {@link FiniteFromString}.
  *
  * @category Number
  * @since 4.0.0
@@ -7359,8 +7109,7 @@ export interface FiniteFromString extends decodeTo<Finite, String> {
  */
 export declare const FiniteFromString: FiniteFromString;
 /**
- * Type-level representation of a transformation schema that decodes strings into
- * `bigint` values.
+ * Type-level representation of {@link BigIntFromString}.
  *
  * @category BigInt
  * @since 4.0.0
@@ -7398,10 +7147,9 @@ export interface BigIntFromString extends decodeTo<BigInt, String> {
  */
 export declare const BigIntFromString: BigIntFromString;
 /**
- * Schema interface for `Trimmed`, representing strings with no leading or
- * trailing whitespace.
+ * Type-level representation of {@link Trimmed}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface Trimmed extends String {
@@ -7410,15 +7158,14 @@ export interface Trimmed extends String {
 /**
  * Schema for strings that contains no leading or trailing whitespaces.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const Trimmed: Trimmed;
 /**
- * Schema interface for `Trim`, a transformation that trims leading and trailing
- * whitespace while decoding and encodes the trimmed string unchanged.
+ * Type-level representation of {@link Trim}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface Trim extends decodeTo<Trimmed, String> {
@@ -7435,15 +7182,14 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * Encoding:
  * - The trimmed string is encoded as is.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const Trim: Trim;
 /**
- * Schema interface for `StringFromBase64`, a transformation between RFC4648
- * base64-encoded strings and UTF-8 strings.
+ * Type-level representation of {@link StringFromBase64}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface StringFromBase64 extends decodeTo<String, String> {
@@ -7460,15 +7206,14 @@ export interface StringFromBase64 extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a base64-encoded string.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const StringFromBase64: StringFromBase64;
 /**
- * Schema interface for `StringFromBase64Url`, a transformation between URL-safe
- * base64-encoded strings and UTF-8 strings.
+ * Type-level representation of {@link StringFromBase64Url}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface StringFromBase64Url extends decodeTo<String, String> {
@@ -7485,15 +7230,14 @@ export interface StringFromBase64Url extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a base64 (URL) encoded string.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const StringFromBase64Url: StringFromBase64Url;
 /**
- * Schema interface for `StringFromHex`, a transformation between hex-encoded
- * strings and UTF-8 strings.
+ * Type-level representation of {@link StringFromHex}.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export interface StringFromHex extends decodeTo<String, String> {
@@ -7510,15 +7254,14 @@ export interface StringFromHex extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a hex string.
  *
- * @category String
+ * @category string
  * @since 3.10.0
  */
 export declare const StringFromHex: StringFromHex;
 /**
- * Schema interface for `StringFromUriComponent`, a transformation between
- * URI-component encoded strings and UTF-8 strings.
+ * Type-level representation of {@link StringFromUriComponent}.
  *
- * @category String
+ * @category string
  * @since 3.12.0
  */
 export interface StringFromUriComponent extends decodeTo<String, String> {
@@ -7554,7 +7297,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * // %7B%22maxItemPerPage%22%3A10%2C%22page%22%3A1%7D
  * ```
  *
- * @category String
+ * @category string
  * @since 3.12.0
  */
 export declare const StringFromUriComponent: StringFromUriComponent;
@@ -7574,7 +7317,7 @@ export declare const PropertyKey: Union<readonly [Finite, Symbol, String]>;
  * The result contains an `issues` array where each issue has a message and an
  * optional path made of property keys or keyed path segments.
  *
- * @category StandardSchema
+ * @category Standard Schema
  * @since 4.0.0
  */
 export declare const StandardSchemaV1FailureResult: Struct<{
@@ -7586,10 +7329,9 @@ export declare const StandardSchemaV1FailureResult: Struct<{
     }>>;
 }>;
 /**
- * Schema interface for `BooleanFromBit`, a transformation between bit literals
- * `0 | 1` and boolean values.
+ * Type-level representation of {@link BooleanFromBit}.
  *
- * @category Boolean
+ * @category boolean
  * @since 4.0.0
  */
 export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0, 1]>> {
@@ -7611,13 +7353,12 @@ export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0,
  * @see {@link Boolean} for validating values that are already booleans
  * @see {@link Literals} for keeping bit literals instead of decoding them
  *
- * @category Boolean
+ * @category boolean
  * @since 4.0.0
  */
 export declare const BooleanFromBit: BooleanFromBit;
 /**
- * Schema interface for `Uint8Array`, representing JavaScript `Uint8Array`
- * instances with base64 JSON encoding.
+ * Type-level representation of {@link Uint8Array}.
  *
  * @category Uint8Array
  * @since 4.0.0
@@ -7639,8 +7380,7 @@ export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBuffer
  */
 export declare const Uint8Array: Uint8Array;
 /**
- * Schema interface for `Uint8ArrayFromBase64`, a transformation between
- * base64-encoded strings and `Uint8Array` values.
+ * Type-level representation of {@link Uint8ArrayFromBase64}.
  *
  * @category Uint8Array
  * @since 3.10.0
@@ -7665,8 +7405,7 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
 /**
- * Schema interface for `Uint8ArrayFromBase64Url`, a transformation between
- * URL-safe base64-encoded strings and `Uint8Array` values.
+ * Type-level representation of {@link Uint8ArrayFromBase64Url}.
  *
  * @category Uint8Array
  * @since 3.10.0
@@ -7691,8 +7430,7 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
 /**
- * Schema interface for `Uint8ArrayFromHex`, a transformation between
- * hex-encoded strings and `Uint8Array` values.
+ * Type-level representation of {@link Uint8ArrayFromHex}.
  *
  * @category Uint8Array
  * @since 3.10.0
@@ -7717,8 +7455,7 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
 /**
- * Schema interface for `DateTimeUtc`, representing `DateTime.Utc` values with
- * UTC ISO string JSON encoding.
+ * Type-level representation of {@link DateTimeUtc}.
  *
  * @category DateTime
  * @since 3.10.0
@@ -7749,8 +7486,7 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  */
 export declare const DateTimeUtc: DateTimeUtc;
 /**
- * Schema interface for `DateTimeUtcFromDate`, a transformation from valid
- * JavaScript `Date` values to `DateTime.Utc`.
+ * Type-level representation of {@link DateTimeUtcFromDate}.
  *
  * @category DateTime
  * @since 3.12.0
@@ -7784,8 +7520,7 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  */
 export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
 /**
- * Schema interface for `DateTimeUtcFromString`, a transformation from date-time
- * strings to `DateTime.Utc`.
+ * Type-level representation of {@link DateTimeUtcFromString}.
  *
  * @category DateTime
  * @since 4.0.0
@@ -7812,8 +7547,7 @@ export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
  */
 export declare const DateTimeUtcFromString: DateTimeUtcFromString;
 /**
- * Schema interface for `DateTimeUtcFromMillis`, a transformation between epoch
- * milliseconds and `DateTime.Utc` values.
+ * Type-level representation of {@link DateTimeUtcFromMillis}.
  *
  * @category DateTime
  * @since 4.0.0
@@ -7837,8 +7571,7 @@ export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>
  */
 export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
 /**
- * Schema interface for `TimeZoneOffset`, representing
- * `DateTime.TimeZone.Offset` values encoded as offset milliseconds.
+ * Type-level representation of {@link TimeZoneOffset}.
  *
  * @category DateTime
  * @since 3.10.0
@@ -7860,8 +7593,7 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  */
 export declare const TimeZoneOffset: TimeZoneOffset;
 /**
- * Schema interface for `TimeZoneNamed`, representing
- * `DateTime.TimeZone.Named` values encoded as IANA time zone identifiers.
+ * Type-level representation of {@link TimeZoneNamed}.
  *
  * @category DateTime
  * @since 3.10.0
@@ -7883,8 +7615,7 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
  */
 export declare const TimeZoneNamed: TimeZoneNamed;
 /**
- * Schema interface for `TimeZoneNamedFromString`, a transformation between IANA
- * time zone identifier strings and `DateTime.TimeZone.Named` values.
+ * Type-level representation of {@link TimeZoneNamedFromString}.
  *
  * @category DateTime
  * @since 4.0.0
@@ -7908,8 +7639,7 @@ export interface TimeZoneNamedFromString extends decodeTo<TimeZoneNamed, String>
  */
 export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
 /**
- * Schema interface for `TimeZone`, representing `DateTime.TimeZone` values
- * encoded as either IANA identifiers or numeric offset strings.
+ * Type-level representation of {@link TimeZone}.
  *
  * @category DateTime
  * @since 3.10.0
@@ -7932,8 +7662,7 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
  */
 export declare const TimeZone: TimeZone;
 /**
- * Schema interface for `TimeZoneFromString`, a transformation from IANA
- * identifier or offset strings to `DateTime.TimeZone` values.
+ * Type-level representation of {@link TimeZoneFromString}.
  *
  * @category DateTime
  * @since 4.0.0
@@ -7957,8 +7686,7 @@ export interface TimeZoneFromString extends decodeTo<TimeZone, String> {
  */
 export declare const TimeZoneFromString: TimeZoneFromString;
 /**
- * Schema interface for `DateTimeZoned`, representing `DateTime.Zoned` values
- * with ISO offset or named-zone string JSON encoding.
+ * Type-level representation of {@link DateTimeZoned}.
  *
  * @category DateTime
  * @since 3.10.0
@@ -7983,8 +7711,7 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
  */
 export declare const DateTimeZoned: DateTimeZoned;
 /**
- * Schema interface for `DateTimeZonedFromString`, a transformation between
- * zoned date-time strings and `DateTime.Zoned` values.
+ * Type-level representation of {@link DateTimeZonedFromString}.
  *
  * @category DateTime
  * @since 4.0.0
@@ -8008,15 +7735,7 @@ export interface DateTimeZonedFromString extends decodeTo<DateTimeZoned, String>
  */
 export declare const DateTimeZonedFromString: DateTimeZonedFromString;
 /**
- * Interface for schema-backed classes created with {@link Class}.
- *
- * **Details**
- *
- * A `Class` is a TypeScript class whose constructor validates its input
- * against a {@link Struct} schema. Instances are always structurally valid.
- *
- * The interface exposes the schema's `fields`, an `identifier` string, and
- * helpers such as `mapFields`, `annotate`, `check`, and `extend`.
+ * Type-level representation returned by {@link Class}.
  *
  * @category models
  * @since 3.10.0
@@ -8720,7 +8439,7 @@ export declare function toFormatter<T>(schema: Schema<T>, options?: {
  * Use when the default structural equivalence derived by {@link toEquivalence}
  * is not appropriate for a type.
  *
- * @category Equivalence
+ * @category instances
  * @since 4.0.0
  */
 export declare function overrideToEquivalence<S extends Top>(toEquivalence: () => Equivalence.Equivalence<S["Type"]>): (self: S) => S["Rebuild"];
@@ -8740,7 +8459,7 @@ export declare function overrideToEquivalence<S extends Top>(toEquivalence: () =
  * console.log(eq({ id: 1, name: "Alice" }, { id: 2, name: "Alice" })) // false
  * ```
  *
- * @category Equivalence
+ * @category instances
  * @since 4.0.0
  */
 export declare function toEquivalence<T>(schema: Schema<T>): Equivalence.Equivalence<T>;
@@ -8756,7 +8475,7 @@ export declare function toRepresentation(schema: Top): SchemaRepresentation.Docu
 /**
  * Options for {@link toJsonSchemaDocument}.
  *
- * @category JsonSchema
+ * @category options
  * @since 4.0.0
  */
 export interface ToJsonSchemaOptions {
@@ -8835,7 +8554,7 @@ export interface ToJsonSchemaOptions {
  * properties and synthesized check descriptions; it does not change the draft
  * target.
  *
- * @category JsonSchema
+ * @category converting
  * @since 4.0.0
  */
 export declare function toJsonSchemaDocument(schema: Top, options?: ToJsonSchemaOptions): JsonSchema.Document<"draft-2020-12">;
@@ -8935,8 +8654,7 @@ export declare function toIsoSource<S extends Top>(_: S): Optic_.Iso<S["Type"],
  */
 export declare function toIsoFocus<S extends Top>(_: S): Optic_.Iso<S["Iso"], S["Iso"]>;
 /**
- * The schema type returned by {@link overrideToCodecIso}. Carries a custom
- * `Iso` type parameter and exposes the original `schema`.
+ * Type-level representation returned by {@link overrideToCodecIso}.
  *
  * @category Optic
  * @since 4.0.0
@@ -8970,7 +8688,7 @@ export declare function overrideToCodecIso<S extends Top, Iso>(to: Codec<Iso>, t
  * {@link toCodecJson}), computes RFC 6902 JSON Patch operations between old
  * and new values, and can apply patches back to the typed value.
  *
- * @category JsonPatch
+ * @category converting
  * @since 4.0.0
  */
 export declare function toDifferJsonPatch<T, E>(schema: Codec<T, E>): Differ<T, JsonPatch.JsonPatch>;
@@ -9007,14 +8725,14 @@ export declare function Tree<S extends Top>(node: S): Union<readonly [S, $Array<
  * readonly record of `string → Json`. For the corresponding schema, see the
  * {@link Json} const.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export type Json = null | number | boolean | string | JsonArray | JsonObject;
 /**
  * A readonly array of {@link Json} values.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface JsonArray extends ReadonlyArray<Json> {
@@ -9022,7 +8740,7 @@ export interface JsonArray extends ReadonlyArray<Json> {
 /**
  * A readonly record whose values are {@link Json} values.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface JsonObject {
@@ -9040,7 +8758,7 @@ export interface JsonObject {
  * console.log(result._tag) // "Some"
  * ```
  *
- * @category JSON
+ * @category schemas
  * @since 4.0.0
  */
 export declare const Json: Codec<Json>;
@@ -9048,14 +8766,14 @@ export declare const Json: Codec<Json>;
  * Recursive TypeScript type for mutable JSON values: `null`, `number`,
  * `boolean`, `string`, mutable arrays, or mutable string-keyed records.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export type MutableJson = null | number | boolean | string | MutableJsonArray | MutableJsonObject;
 /**
  * A mutable array of {@link MutableJson} values.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface MutableJsonArray extends Array<MutableJson> {
@@ -9063,7 +8781,7 @@ export interface MutableJsonArray extends Array<MutableJson> {
 /**
  * A mutable record whose values are {@link MutableJson} values.
  *
- * @category JSON
+ * @category models
  * @since 4.0.0
  */
 export interface MutableJsonObject {
@@ -9073,7 +8791,7 @@ export interface MutableJsonObject {
  * Schema that accepts any mutable JSON-compatible value. See {@link Json} for
  * the immutable variant.
  *
- * @category JSON
+ * @category schemas
  * @since 4.0.0
  */
 export declare const MutableJson: Codec<MutableJson>;