zod 3.25.49 → 3.25.50

package/dist/types/v4/classic/schemas.d.ts

@@ -4,14 +4,17 @@ import * as parse from "./parse.js";
 export interface RefinementCtx<T = unknown> extends core.ParsePayload<T> {
     addIssue(arg: string | core.$ZodRawIssue | Partial<core.$ZodIssueCustom>): void;
 }
-export interface ZodType<out Output = unknown, out Input = unknown> extends core.$ZodType<Output, Input> {
-    def: this["_zod"]["def"];
+export interface ZodType<out Output = unknown, out Input = unknown, out Internals extends core.$ZodTypeInternals<Output, Input> = core.$ZodTypeInternals<Output, Input>> extends core.$ZodType<Output, Input, Internals> {
+    def: Internals["def"];
+    type: Internals["def"]["type"];
     /** @deprecated Use `.def` instead. */
-    _def: this["_zod"]["def"];
-    _output: core.output<this>;
-    _input: core.input<this>;
+    _def: Internals["def"];
+    /** @deprecated Use `z.output<typeof schema>` instead. */
+    _output: Internals["output"];
+    /** @deprecated Use `z.input<typeof schema>` instead. */
+    _input: Internals["input"];
     check(...checks: (core.CheckFn<core.output<this>> | core.$ZodCheck<core.output<this>>)[]): this;
-    clone(def?: this["_zod"]["def"], params?: {
+    clone(def?: Internals["def"], params?: {
         parent: boolean;
     }): this;
     register<R extends core.$ZodRegistry>(registry: R, ...meta: this extends R["_schema"] ? undefined extends R["_meta"] ? [core.$replace<R["_meta"], this>?] : [core.$replace<R["_meta"], this>] : ["Incompatible schema"]): this;
@@ -34,8 +37,8 @@ export interface ZodType<out Output = unknown, out Input = unknown> extends core
     prefault(def: () => core.input<this>): ZodPrefault<this>;
     prefault(def: core.input<this>): ZodPrefault<this>;
     array(): ZodArray<this>;
-    or<T extends core.$ZodType>(option: T): ZodUnion<[this, T]>;
-    and<T extends core.$ZodType>(incoming: T): ZodIntersection<this, T>;
+    or<T extends core.SomeType>(option: T): ZodUnion<[this, T]>;
+    and<T extends core.SomeType>(incoming: T): ZodIntersection<this, T>;
     transform<NewOut>(transform: (arg: core.output<this>, ctx: RefinementCtx<core.output<this>>) => NewOut | Promise<NewOut>): ZodPipe<this, ZodTransform<Awaited<NewOut>, core.output<this>>>;
     catch(def: core.output<this>): ZodCatch<this>;
     catch(def: (ctx: core.$ZodCatchCtx) => core.output<this>): ZodCatch<this>;
@@ -66,9 +69,10 @@ export interface ZodType<out Output = unknown, out Input = unknown> extends core
      */
     isNullable(): boolean;
 }
+export interface _ZodType<out Internals extends core.$ZodTypeInternals = core.$ZodTypeInternals> extends ZodType<any, any, Internals> {
+}
 export declare const ZodType: core.$constructor<ZodType>;
-export interface _ZodString<Input = unknown> extends ZodType {
-    _zod: core.$ZodStringInternals<Input>;
+export interface _ZodString<T extends core.$ZodStringInternals<unknown> = core.$ZodStringInternals<unknown>> extends _ZodType<T> {
     format: string | null;
     minLength: number | null;
     maxLength: number | null;
@@ -89,7 +93,7 @@ export interface _ZodString<Input = unknown> extends ZodType {
 }
 /** @internal */
 export declare const _ZodString: core.$constructor<_ZodString>;
-export interface ZodString extends _ZodString<string> {
+export interface ZodString extends _ZodString<core.$ZodStringInternals<string>> {
     /** @deprecated Use `z.email()` instead. */
     email(params?: string | core.$ZodCheckEmailParams): this;
     /** @deprecated Use `z.url()` instead. */
@@ -147,8 +151,7 @@ export interface ZodString extends _ZodString<string> {
 }
 export declare const ZodString: core.$constructor<ZodString>;
 export declare function string(params?: string | core.$ZodStringParams): ZodString;
-export interface ZodStringFormat<Format extends core.$ZodStringFormats = core.$ZodStringFormats> extends _ZodString {
-    _zod: core.$ZodStringFormatInternals<Format>;
+export interface ZodStringFormat<Format extends core.$ZodStringFormats = core.$ZodStringFormats> extends _ZodString<core.$ZodStringFormatInternals<Format>> {
 }
 export declare const ZodStringFormat: core.$constructor<ZodStringFormat>;
 export interface ZodEmail extends ZodStringFormat<"email"> {
@@ -249,8 +252,7 @@ export interface ZodJWT extends ZodStringFormat<"jwt"> {
 }
 export declare const ZodJWT: core.$constructor<ZodJWT>;
 export declare function jwt(params?: string | core.$ZodJWTParams): ZodJWT;
-export interface _ZodNumber<Input = unknown> extends ZodType {
-    _zod: core.$ZodNumberInternals<Input>;
+export interface _ZodNumber<Internals extends core.$ZodNumberInternals = core.$ZodNumberInternals> extends _ZodType<Internals> {
     gt(value: number, params?: string | core.$ZodCheckGreaterThanParams): this;
     /** Identical to .min() */
     gte(value: number, params?: string | core.$ZodCheckGreaterThanParams): this;
@@ -280,7 +282,7 @@ export interface _ZodNumber<Input = unknown> extends ZodType {
     isFinite: boolean;
     format: string | null;
 }
-export interface ZodNumber extends _ZodNumber<number> {
+export interface ZodNumber extends _ZodNumber<core.$ZodNumberInternals<number>> {
 }
 export declare const ZodNumber: core.$constructor<ZodNumber>;
 export declare function number(params?: string | core.$ZodNumberParams): ZodNumber;
@@ -303,15 +305,13 @@ export declare function int32(params?: string | core.$ZodCheckNumberFormatParams
 export interface ZodUInt32 extends ZodNumberFormat {
 }
 export declare function uint32(params?: string | core.$ZodCheckNumberFormatParams): ZodUInt32;
-export interface _ZodBoolean<T = unknown> extends ZodType {
-    _zod: core.$ZodBooleanInternals<T>;
+export interface _ZodBoolean<T extends core.$ZodBooleanInternals = core.$ZodBooleanInternals> extends _ZodType<T> {
 }
-export interface ZodBoolean extends _ZodBoolean<boolean> {
+export interface ZodBoolean extends _ZodBoolean<core.$ZodBooleanInternals<boolean>> {
 }
 export declare const ZodBoolean: core.$constructor<ZodBoolean>;
 export declare function boolean(params?: string | core.$ZodBooleanParams): ZodBoolean;
-export interface _ZodBigInt<T = unknown> extends ZodType {
-    _zod: core.$ZodBigIntInternals<T>;
+export interface _ZodBigInt<T extends core.$ZodBigIntInternals = core.$ZodBigIntInternals> extends _ZodType<T> {
     gte(value: bigint, params?: string | core.$ZodCheckGreaterThanParams): this;
     /** Alias of `.gte()` */
     min(value: bigint, params?: string | core.$ZodCheckGreaterThanParams): this;
@@ -329,7 +329,7 @@ export interface _ZodBigInt<T = unknown> extends ZodType {
     maxValue: bigint | null;
     format: string | null;
 }
-export interface ZodBigInt extends _ZodBigInt<bigint> {
+export interface ZodBigInt extends _ZodBigInt<core.$ZodBigIntInternals<bigint>> {
 }
 export declare const ZodBigInt: core.$constructor<ZodBigInt>;
 export declare function bigint(params?: string | core.$ZodBigIntParams): ZodBigInt;
@@ -339,46 +339,38 @@ export interface ZodBigIntFormat extends ZodBigInt {
 export declare const ZodBigIntFormat: core.$constructor<ZodBigIntFormat>;
 export declare function int64(params?: string | core.$ZodBigIntFormatParams): ZodBigIntFormat;
 export declare function uint64(params?: string | core.$ZodBigIntFormatParams): ZodBigIntFormat;
-export interface ZodSymbol extends ZodType {
-    _zod: core.$ZodSymbolInternals;
+export interface ZodSymbol extends _ZodType<core.$ZodSymbolInternals> {
 }
 export declare const ZodSymbol: core.$constructor<ZodSymbol>;
 export declare function symbol(params?: string | core.$ZodSymbolParams): ZodSymbol;
-export interface ZodUndefined extends ZodType {
-    _zod: core.$ZodUndefinedInternals;
+export interface ZodUndefined extends _ZodType<core.$ZodUndefinedInternals> {
 }
 export declare const ZodUndefined: core.$constructor<ZodUndefined>;
 declare function _undefined(params?: string | core.$ZodUndefinedParams): ZodUndefined;
 export { _undefined as undefined };
-export interface ZodNull extends ZodType {
-    _zod: core.$ZodNullInternals;
+export interface ZodNull extends _ZodType<core.$ZodNullInternals> {
 }
 export declare const ZodNull: core.$constructor<ZodNull>;
 declare function _null(params?: string | core.$ZodNullParams): ZodNull;
 export { _null as null };
-export interface ZodAny extends ZodType {
-    _zod: core.$ZodAnyInternals;
+export interface ZodAny extends _ZodType<core.$ZodAnyInternals> {
 }
 export declare const ZodAny: core.$constructor<ZodAny>;
 export declare function any(): ZodAny;
-export interface ZodUnknown extends ZodType {
-    _zod: core.$ZodUnknownInternals;
+export interface ZodUnknown extends _ZodType<core.$ZodUnknownInternals> {
 }
 export declare const ZodUnknown: core.$constructor<ZodUnknown>;
 export declare function unknown(): ZodUnknown;
-export interface ZodNever extends ZodType {
-    _zod: core.$ZodNeverInternals;
+export interface ZodNever extends _ZodType<core.$ZodNeverInternals> {
 }
 export declare const ZodNever: core.$constructor<ZodNever>;
 export declare function never(params?: string | core.$ZodNeverParams): ZodNever;
-export interface ZodVoid extends ZodType {
-    _zod: core.$ZodVoidInternals;
+export interface ZodVoid extends _ZodType<core.$ZodVoidInternals> {
 }
 export declare const ZodVoid: core.$constructor<ZodVoid>;
 declare function _void(params?: string | core.$ZodVoidParams): ZodVoid;
 export { _void as void };
-export interface _ZodDate<T = unknown> extends ZodType {
-    _zod: core.$ZodDateInternals<T>;
+export interface _ZodDate<T extends core.$ZodDateInternals = core.$ZodDateInternals> extends _ZodType<T> {
     min(value: number | Date, params?: string | core.$ZodCheckGreaterThanParams): this;
     max(value: number | Date, params?: string | core.$ZodCheckLessThanParams): this;
     /** @deprecated Not recommended. */
@@ -386,12 +378,11 @@ export interface _ZodDate<T = unknown> extends ZodType {
     /** @deprecated Not recommended. */
     maxDate: Date | null;
 }
-export interface ZodDate extends _ZodDate<Date> {
+export interface ZodDate extends _ZodDate<core.$ZodDateInternals<Date>> {
 }
 export declare const ZodDate: core.$constructor<ZodDate>;
 export declare function date(params?: string | core.$ZodDateParams): ZodDate;
-export interface ZodArray<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodArrayInternals<T>;
+export interface ZodArray<T extends core.SomeType = core.$ZodType> extends ZodType<any, any, core.$ZodArrayInternals<T>>, core.$ZodArray<T> {
     element: T;
     min(minLength: number, params?: string | core.$ZodCheckMinLengthParams): this;
     nonempty(params?: string | core.$ZodCheckMinLengthParams): this;
@@ -400,16 +391,15 @@ export interface ZodArray<T extends core.$ZodType = core.$ZodType> extends ZodTy
     unwrap(): T;
 }
 export declare const ZodArray: core.$constructor<ZodArray>;
-export declare function array<T extends core.$ZodType>(element: T, params?: string | core.$ZodArrayParams): ZodArray<T>;
+export declare function array<T extends core.SomeType>(element: T, params?: string | core.$ZodArrayParams): ZodArray<T>;
 export declare function keyof<T extends ZodObject>(schema: T): ZodLiteral<keyof T["_zod"]["output"]>;
 export interface ZodObject<
 /** @ts-ignore Cast variance */
-out Shape extends core.$ZodShape = core.$ZodLooseShape, out Config extends core.$ZodObjectConfig = core.$ZodObjectConfig> extends ZodType {
-    _zod: core.$ZodObjectInternals<Shape, Config>;
+out Shape extends core.$ZodShape = core.$ZodLooseShape, out Config extends core.$ZodObjectConfig = core.$ZodObjectConfig> extends _ZodType<core.$ZodObjectInternals<Shape, Config>>, core.$ZodObject<Shape, Config> {
     shape: Shape;
     keyof(): ZodEnum<util.ToEnum<keyof Shape & string>>;
     /** Define a schema to validate all unrecognized keys. This overrides the existing strict/loose behavior. */
-    catchall<T extends core.$ZodType>(schema: T): ZodObject<Shape, core.$catchall<T>>;
+    catchall<T extends core.SomeType>(schema: T): ZodObject<Shape, core.$catchall<T>>;
     /** @deprecated Use `z.looseObject()` or `.loose()` instead. */
     passthrough(): ZodObject<Shape, core.$loose>;
     /** Consider `z.looseObject(A.shape)` instead */
@@ -418,7 +408,7 @@ out Shape extends core.$ZodShape = core.$ZodLooseShape, out Config extends core.
     strict(): ZodObject<Shape, core.$strict>;
     /** This is the default behavior. This method call is likely unnecessary. */
     strip(): ZodObject<Shape, core.$strict>;
-    extend<U extends core.$ZodLooseShape & Partial<Record<keyof Shape, core.$ZodType>>>(shape: U): ZodObject<util.Extend<Shape, U>, Config>;
+    extend<U extends core.$ZodLooseShape & Partial<Record<keyof Shape, core.SomeType>>>(shape: U): ZodObject<util.Extend<Shape, U>, Config>;
     /**
      * @deprecated Use spread syntax and the `.shape` property to combine two object schemas:
      *
@@ -449,50 +439,44 @@ out Shape extends core.$ZodShape = core.$ZodLooseShape, out Config extends core.
     }, Config>;
 }
 export declare const ZodObject: core.$constructor<ZodObject>;
-export declare function object<T extends core.$ZodLooseShape = Partial<Record<never, core.$ZodType>>>(shape?: T, params?: string | core.$ZodObjectParams): ZodObject<util.Writeable<T> & {}, core.$strip>;
+export declare function object<T extends core.$ZodLooseShape = Partial<Record<never, core.SomeType>>>(shape?: T, params?: string | core.$ZodObjectParams): ZodObject<util.Writeable<T>, core.$strip>;
 export declare function strictObject<T extends core.$ZodLooseShape>(shape: T, params?: string | core.$ZodObjectParams): ZodObject<T, core.$strict>;
 export declare function looseObject<T extends core.$ZodLooseShape>(shape: T, params?: string | core.$ZodObjectParams): ZodObject<T, core.$loose>;
-export interface ZodUnion<T extends readonly core.$ZodType[] = readonly core.$ZodType[]> extends ZodType {
-    _zod: core.$ZodUnionInternals<T>;
+export interface ZodUnion<T extends readonly core.SomeType[] = readonly core.$ZodType[]> extends _ZodType<core.$ZodUnionInternals<T>>, core.$ZodUnion<T> {
     options: T;
 }
 export declare const ZodUnion: core.$constructor<ZodUnion>;
-export declare function union<const T extends readonly core.$ZodType[]>(options: T, params?: string | core.$ZodUnionParams): ZodUnion<T>;
-export interface ZodDiscriminatedUnion<Options extends readonly core.$ZodType[] = readonly core.$ZodType[]> extends ZodUnion<Options> {
+export declare function union<const T extends readonly core.SomeType[]>(options: T, params?: string | core.$ZodUnionParams): ZodUnion<T>;
+export interface ZodDiscriminatedUnion<Options extends readonly core.SomeType[] = readonly core.$ZodType[]> extends ZodUnion<Options>, core.$ZodDiscriminatedUnion<Options> {
     _zod: core.$ZodDiscriminatedUnionInternals<Options>;
 }
 export declare const ZodDiscriminatedUnion: core.$constructor<ZodDiscriminatedUnion>;
 export declare function discriminatedUnion<Types extends readonly [core.$ZodTypeDiscriminable, ...core.$ZodTypeDiscriminable[]]>(discriminator: string, options: Types, params?: string | core.$ZodDiscriminatedUnionParams): ZodDiscriminatedUnion<Types>;
-export interface ZodIntersection<A extends core.$ZodType = core.$ZodType, B extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodIntersectionInternals<A, B>;
+export interface ZodIntersection<A extends core.SomeType = core.$ZodType, B extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodIntersectionInternals<A, B>>, core.$ZodIntersection<A, B> {
 }
 export declare const ZodIntersection: core.$constructor<ZodIntersection>;
-export declare function intersection<T extends core.$ZodType, U extends core.$ZodType>(left: T, right: U): ZodIntersection<T, U>;
-export interface ZodTuple<T extends util.TupleItems = util.TupleItems, Rest extends core.$ZodType | null = core.$ZodType | null> extends ZodType {
-    _zod: core.$ZodTupleInternals<T, Rest>;
-    rest<Rest extends core.$ZodType>(rest: Rest): ZodTuple<T, Rest>;
+export declare function intersection<T extends core.SomeType, U extends core.SomeType>(left: T, right: U): ZodIntersection<T, U>;
+export interface ZodTuple<T extends util.TupleItems = readonly core.$ZodType[], Rest extends core.SomeType | null = core.$ZodType | null> extends _ZodType<core.$ZodTupleInternals<T, Rest>>, core.$ZodTuple<T, Rest> {
+    rest<Rest extends core.SomeType = core.$ZodType>(rest: Rest): ZodTuple<T, Rest>;
 }
 export declare const ZodTuple: core.$constructor<ZodTuple>;
-export declare function tuple<T extends readonly [core.$ZodType, ...core.$ZodType[]]>(items: T, params?: string | core.$ZodTupleParams): ZodTuple<T, null>;
-export declare function tuple<T extends readonly [core.$ZodType, ...core.$ZodType[]], Rest extends core.$ZodType>(items: T, rest: Rest, params?: string | core.$ZodTupleParams): ZodTuple<T, Rest>;
+export declare function tuple<T extends readonly [core.SomeType, ...core.SomeType[]]>(items: T, params?: string | core.$ZodTupleParams): ZodTuple<T, null>;
+export declare function tuple<T extends readonly [core.SomeType, ...core.SomeType[]], Rest extends core.SomeType>(items: T, rest: Rest, params?: string | core.$ZodTupleParams): ZodTuple<T, Rest>;
 export declare function tuple(items: [], params?: string | core.$ZodTupleParams): ZodTuple<[], null>;
-export interface ZodRecord<Key extends core.$ZodRecordKey = core.$ZodRecordKey, Value extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodRecordInternals<Key, Value>;
+export interface ZodRecord<Key extends core.$ZodRecordKey = core.$ZodRecordKey, Value extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodRecordInternals<Key, Value>>, core.$ZodRecord<Key, Value> {
     keyType: Key;
     valueType: Value;
 }
 export declare const ZodRecord: core.$constructor<ZodRecord>;
-export declare function record<Key extends core.$ZodRecordKey, Value extends core.$ZodType>(keyType: Key, valueType: Value, params?: string | core.$ZodRecordParams): ZodRecord<Key, Value>;
-export declare function partialRecord<Key extends core.$ZodRecordKey, Value extends core.$ZodType>(keyType: Key, valueType: Value, params?: string | core.$ZodRecordParams): ZodRecord<ZodUnion<[Key, ZodNever]>, Value>;
-export interface ZodMap<Key extends core.$ZodType = core.$ZodType, Value extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodMapInternals<Key, Value>;
+export declare function record<Key extends core.$ZodRecordKey, Value extends core.SomeType>(keyType: Key, valueType: Value, params?: string | core.$ZodRecordParams): ZodRecord<Key, Value>;
+export declare function partialRecord<Key extends core.$ZodRecordKey, Value extends core.SomeType>(keyType: Key, valueType: Value, params?: string | core.$ZodRecordParams): ZodRecord<ZodUnion<[Key, ZodNever]>, Value>;
+export interface ZodMap<Key extends core.SomeType = core.$ZodType, Value extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodMapInternals<Key, Value>>, core.$ZodMap<Key, Value> {
     keyType: Key;
     valueType: Value;
 }
 export declare const ZodMap: core.$constructor<ZodMap>;
-export declare function map<Key extends core.$ZodType, Value extends core.$ZodType>(keyType: Key, valueType: Value, params?: string | core.$ZodMapParams): ZodMap<Key, Value>;
-export interface ZodSet<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodSetInternals<T>;
+export declare function map<Key extends core.SomeType, Value extends core.SomeType>(keyType: Key, valueType: Value, params?: string | core.$ZodMapParams): ZodMap<Key, Value>;
+export interface ZodSet<T extends core.SomeType = core.$ZodType> extends ZodType<any, any, core.$ZodSetInternals<T>>, core.$ZodSet<T> {
     min(minSize: number, params?: string | core.$ZodCheckMinSizeParams): this;
     /** */
     nonempty(params?: string | core.$ZodCheckMinSizeParams): this;
@@ -500,9 +484,8 @@ export interface ZodSet<T extends core.$ZodType = core.$ZodType> extends ZodType
     size(size: number, params?: string | core.$ZodCheckSizeEqualsParams): this;
 }
 export declare const ZodSet: core.$constructor<ZodSet>;
-export declare function set<Value extends core.$ZodType>(valueType: Value, params?: string | core.$ZodSetParams): ZodSet<Value>;
-export interface ZodEnum<T extends util.EnumLike = util.EnumLike> extends ZodType {
-    _zod: core.$ZodEnumInternals<T>;
+export declare function set<Value extends core.SomeType>(valueType: Value, params?: string | core.$ZodSetParams): ZodSet<Value>;
+export interface ZodEnum<out T extends util.EnumLike = util.EnumLike> extends _ZodType<core.$ZodEnumInternals<T>>, core.$ZodEnum<T> {
     enum: T;
     options: Array<T[keyof T]>;
     extract<const U extends readonly (keyof T)[]>(values: U, params?: string | core.$ZodEnumParams): ZodEnum<util.Flatten<Pick<T, U[number]>>>;
@@ -520,8 +503,7 @@ export { _enum as enum };
  * ```
  */
 export declare function nativeEnum<T extends util.EnumLike>(entries: T, params?: string | core.$ZodEnumParams): ZodEnum<T>;
-export interface ZodLiteral<T extends util.Primitive = util.Primitive> extends ZodType {
-    _zod: core.$ZodLiteralInternals<T>;
+export interface ZodLiteral<T extends util.Primitive = util.Primitive> extends _ZodType<core.$ZodLiteralInternals<T>>, core.$ZodLiteral<T> {
     values: Set<T>;
     /** @legacy Use `.values` instead. Accessing this property will throw an error if the literal accepts multiple values. */
     value: T;
@@ -529,103 +511,87 @@ export interface ZodLiteral<T extends util.Primitive = util.Primitive> extends Z
 export declare const ZodLiteral: core.$constructor<ZodLiteral>;
 export declare function literal<const T extends Array<util.Literal>>(value: T, params?: string | core.$ZodLiteralParams): ZodLiteral<T[number]>;
 export declare function literal<const T extends util.Literal>(value: T, params?: string | core.$ZodLiteralParams): ZodLiteral<T>;
-export interface ZodFile extends ZodType {
-    _zod: core.$ZodFileInternals;
+export interface ZodFile extends _ZodType<core.$ZodFileInternals>, core.$ZodFile {
     min(size: number, params?: string | core.$ZodCheckMinSizeParams): this;
     max(size: number, params?: string | core.$ZodCheckMaxSizeParams): this;
     mime(types: util.MimeTypes | Array<util.MimeTypes>, params?: string | core.$ZodCheckMimeTypeParams): this;
 }
 export declare const ZodFile: core.$constructor<ZodFile>;
 export declare function file(params?: string | core.$ZodFileParams): ZodFile;
-export interface ZodTransform<O = unknown, I = unknown> extends ZodType {
-    _zod: core.$ZodTransformInternals<O, I>;
+export interface ZodTransform<O = unknown, I = unknown> extends _ZodType<core.$ZodTransformInternals<O, I>>, core.$ZodTransform<O, I> {
 }
 export declare const ZodTransform: core.$constructor<ZodTransform>;
 export declare function transform<I = unknown, O = I>(fn: (input: I, ctx: core.ParsePayload) => O): ZodTransform<Awaited<O>, I>;
-export interface ZodOptional<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodOptionalInternals<T>;
+export interface ZodOptional<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodOptionalInternals<T>>, core.$ZodOptional<T> {
     unwrap(): T;
 }
 export declare const ZodOptional: core.$constructor<ZodOptional>;
-export declare function optional<T extends core.$ZodType>(innerType: T): ZodOptional<T>;
-export interface ZodNullable<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodNullableInternals<T>;
+export declare function optional<T extends core.SomeType>(innerType: T): ZodOptional<T>;
+export interface ZodNullable<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodNullableInternals<T>>, core.$ZodNullable<T> {
     unwrap(): T;
 }
 export declare const ZodNullable: core.$constructor<ZodNullable>;
-export declare function nullable<T extends core.$ZodType>(innerType: T): ZodNullable<T>;
-export declare function nullish<T extends core.$ZodType>(innerType: T): ZodOptional<ZodNullable<T>>;
-export interface ZodDefault<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodDefaultInternals<T>;
+export declare function nullable<T extends core.SomeType>(innerType: T): ZodNullable<T>;
+export declare function nullish<T extends core.SomeType>(innerType: T): ZodOptional<ZodNullable<T>>;
+export interface ZodDefault<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodDefaultInternals<T>>, core.$ZodDefault<T> {
     unwrap(): T;
     /** @deprecated Use `.unwrap()` instead. */
     removeDefault(): T;
 }
 export declare const ZodDefault: core.$constructor<ZodDefault>;
-export declare function _default<T extends core.$ZodType>(innerType: T, defaultValue: util.NoUndefined<core.output<T>> | (() => util.NoUndefined<core.output<T>>)): ZodDefault<T>;
-export interface ZodPrefault<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodPrefaultInternals<T>;
+export declare function _default<T extends core.SomeType>(innerType: T, defaultValue: util.NoUndefined<core.output<T>> | (() => util.NoUndefined<core.output<T>>)): ZodDefault<T>;
+export interface ZodPrefault<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodPrefaultInternals<T>>, core.$ZodPrefault<T> {
     unwrap(): T;
 }
 export declare const ZodPrefault: core.$constructor<ZodPrefault>;
-export declare function prefault<T extends core.$ZodType>(innerType: T, defaultValue: core.input<T> | (() => core.input<T>)): ZodPrefault<T>;
-export interface ZodNonOptional<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodNonOptionalInternals<T>;
+export declare function prefault<T extends core.SomeType>(innerType: T, defaultValue: core.input<T> | (() => core.input<T>)): ZodPrefault<T>;
+export interface ZodNonOptional<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodNonOptionalInternals<T>>, core.$ZodNonOptional<T> {
     unwrap(): T;
 }
 export declare const ZodNonOptional: core.$constructor<ZodNonOptional>;
-export declare function nonoptional<T extends core.$ZodType>(innerType: T, params?: string | core.$ZodNonOptionalParams): ZodNonOptional<T>;
-export interface ZodSuccess<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodSuccessInternals<T>;
+export declare function nonoptional<T extends core.SomeType>(innerType: T, params?: string | core.$ZodNonOptionalParams): ZodNonOptional<T>;
+export interface ZodSuccess<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodSuccessInternals<T>>, core.$ZodSuccess<T> {
     unwrap(): T;
 }
 export declare const ZodSuccess: core.$constructor<ZodSuccess>;
-export declare function success<T extends core.$ZodType>(innerType: T): ZodSuccess<T>;
-export interface ZodCatch<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodCatchInternals<T>;
+export declare function success<T extends core.SomeType>(innerType: T): ZodSuccess<T>;
+export interface ZodCatch<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodCatchInternals<T>>, core.$ZodCatch<T> {
     unwrap(): T;
     /** @deprecated Use `.unwrap()` instead. */
     removeCatch(): T;
 }
 export declare const ZodCatch: core.$constructor<ZodCatch>;
-declare function _catch<T extends core.$ZodType>(innerType: T, catchValue: core.output<T> | ((ctx: core.$ZodCatchCtx) => core.output<T>)): ZodCatch<T>;
+declare function _catch<T extends core.SomeType>(innerType: T, catchValue: core.output<T> | ((ctx: core.$ZodCatchCtx) => core.output<T>)): ZodCatch<T>;
 export { _catch as catch };
-export interface ZodNaN extends ZodType {
-    _zod: core.$ZodNaNInternals;
+export interface ZodNaN extends _ZodType<core.$ZodNaNInternals>, core.$ZodNaN {
 }
 export declare const ZodNaN: core.$constructor<ZodNaN>;
 export declare function nan(params?: string | core.$ZodNaNParams): ZodNaN;
-export interface ZodPipe<A extends core.$ZodType = core.$ZodType, B extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodPipeInternals<A, B>;
+export interface ZodPipe<A extends core.SomeType = core.$ZodType, B extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodPipeInternals<A, B>>, core.$ZodPipe<A, B> {
     in: A;
     out: B;
 }
 export declare const ZodPipe: core.$constructor<ZodPipe>;
-export declare function pipe<const A extends core.$ZodType, B extends core.$ZodType<unknown, core.output<A>> = core.$ZodType<unknown, core.output<A>>>(in_: A, out: B | core.$ZodType<unknown, core.output<A>>): ZodPipe<A, B>;
-export interface ZodReadonly<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodReadonlyInternals<T>;
+export declare function pipe<const A extends core.SomeType, B extends core.$ZodType<unknown, core.output<A>> = core.$ZodType<unknown, core.output<A>>>(in_: A, out: B | core.$ZodType<unknown, core.output<A>>): ZodPipe<A, B>;
+export interface ZodReadonly<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodReadonlyInternals<T>>, core.$ZodReadonly<T> {
 }
 export declare const ZodReadonly: core.$constructor<ZodReadonly>;
-export declare function readonly<T extends core.$ZodType>(innerType: T): ZodReadonly<T>;
-export interface ZodTemplateLiteral<Template extends string = string> extends ZodType {
-    _zod: core.$ZodTemplateLiteralInternals<Template>;
+export declare function readonly<T extends core.SomeType>(innerType: T): ZodReadonly<T>;
+export interface ZodTemplateLiteral<Template extends string = string> extends _ZodType<core.$ZodTemplateLiteralInternals<Template>>, core.$ZodTemplateLiteral<Template> {
 }
 export declare const ZodTemplateLiteral: core.$constructor<ZodTemplateLiteral>;
 export declare function templateLiteral<const Parts extends core.$ZodTemplateLiteralPart[]>(parts: Parts, params?: string | core.$ZodTemplateLiteralParams): ZodTemplateLiteral<core.$PartsToTemplateLiteral<Parts>>;
-export interface ZodLazy<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodLazyInternals<T>;
+export interface ZodLazy<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodLazyInternals<T>>, core.$ZodLazy<T> {
     unwrap(): T;
 }
 export declare const ZodLazy: core.$constructor<ZodLazy>;
-export declare function lazy<T extends core.$ZodType>(getter: () => T): ZodLazy<T>;
-export interface ZodPromise<T extends core.$ZodType = core.$ZodType> extends ZodType {
-    _zod: core.$ZodPromiseInternals<T>;
+export declare function lazy<T extends core.SomeType>(getter: () => T): ZodLazy<T>;
+export interface ZodPromise<T extends core.SomeType = core.$ZodType> extends _ZodType<core.$ZodPromiseInternals<T>>, core.$ZodPromise<T> {
     unwrap(): T;
 }
 export declare const ZodPromise: core.$constructor<ZodPromise>;
-export declare function promise<T extends core.$ZodType>(innerType: T): ZodPromise<T>;
-export interface ZodCustom<O = unknown, I = unknown> extends ZodType {
-    _zod: core.$ZodCustomInternals<O, I>;
+export declare function promise<T extends core.SomeType>(innerType: T): ZodPromise<T>;
+export interface ZodCustom<O = unknown, I = unknown> extends _ZodType<core.$ZodCustomInternals<O, I>>, core.$ZodCustom<O, I> {
 }
 export declare const ZodCustom: core.$constructor<ZodCustom>;
 export declare function check<O = unknown>(fn: core.CheckFn<O>, params?: string | core.$ZodCustomParams): core.$ZodCheck<O>;
@@ -650,4 +616,4 @@ export type ZodJSONSchema = ZodUnion<[
     };
 };
 export declare function json(params?: string | core.$ZodCustomParams): ZodJSONSchema;
-export declare function preprocess<A, U extends core.$ZodType>(fn: (arg: unknown, ctx: RefinementCtx) => A, schema: U): ZodPipe<ZodTransform<A, unknown>, U>;
+export declare function preprocess<A, U extends core.SomeType>(fn: (arg: unknown, ctx: RefinementCtx) => A, schema: U): ZodPipe<ZodTransform<A, unknown>, U>;

package/dist/types/v4/core/core.d.ts

@@ -20,28 +20,20 @@ export type $brand<T extends string | number | symbol = string | number | symbol
         [k in T]: true;
     };
 };
-export type $ZodBranded<T extends schemas.$ZodType, Brand extends string | number | symbol> = T & Record<"_zod", Record<"~output", output<T> & $brand<Brand>>>;
+export type $ZodBranded<T extends schemas._$ZodType, Brand extends string | number | symbol> = T & Record<"_zod", Record<"output", output<T> & $brand<Brand>>>;
 export declare class $ZodAsyncError extends Error {
     constructor();
 }
 export type input<T> = T extends {
-    _zod: {
-        "~input": any;
-    };
-} ? T["_zod"]["~input"] : T extends {
     _zod: {
         input: any;
     };
-} ? T["_zod"]["input"] : never;
+} ? Required<T["_zod"]>["input"] : unknown;
 export type output<T> = T extends {
-    _zod: {
-        "~output": any;
-    };
-} ? T["_zod"]["~output"] : T extends {
     _zod: {
         output: any;
     };
-} ? T["_zod"]["output"] : never;
+} ? Required<T["_zod"]>["output"] : unknown;
 export type { output as infer };
 export interface $ZodConfig {
     /** Custom error map. Overrides `config().localeError`. */