zod 3.22.4 → 3.23.8

package/lib/types.d.ts

@@ -5,10 +5,10 @@ import { partialUtil } from "./helpers/partialUtil";
 import { Primitive } from "./helpers/typeAliases";
 import { objectUtil, util } from "./helpers/util";
 import { IssueData, StringValidation, ZodCustomIssue, ZodError, ZodErrorMap } from "./ZodError";
-export declare type RefinementCtx = {
+export interface RefinementCtx {
     addIssue: (arg: IssueData) => void;
     path: (string | number)[];
-};
+}
 export declare type ZodRawShape = {
     [k: string]: ZodTypeAny;
 };
@@ -26,6 +26,7 @@ export declare type RawCreateParams = {
     errorMap?: ZodErrorMap;
     invalid_type_error?: string;
     required_error?: string;
+    message?: string;
     description?: string;
 } | undefined;
 export declare type ProcessedCreateParams = {
@@ -35,10 +36,12 @@ export declare type ProcessedCreateParams = {
 export declare type SafeParseSuccess<Output> = {
     success: true;
     data: Output;
+    error?: never;
 };
 export declare type SafeParseError<Input> = {
     success: false;
     error: ZodError<Input>;
+    data?: never;
 };
 export declare type SafeParseReturnType<Input, Output> = SafeParseSuccess<Output> | SafeParseError<Input>;
 export declare abstract class ZodType<Output = any, Def extends ZodTypeDef = ZodTypeDef, Input = Output> {
@@ -118,6 +121,9 @@ export declare type ZodStringCheck = {
 } | {
     kind: "uuid";
     message?: string;
+} | {
+    kind: "nanoid";
+    message?: string;
 } | {
     kind: "cuid";
     message?: string;
@@ -156,19 +162,38 @@ export declare type ZodStringCheck = {
 } | {
     kind: "datetime";
     offset: boolean;
+    local: boolean;
     precision: number | null;
     message?: string;
+} | {
+    kind: "date";
+    message?: string;
+} | {
+    kind: "time";
+    precision: number | null;
+    message?: string;
+} | {
+    kind: "duration";
+    message?: string;
 } | {
     kind: "ip";
     version?: IpVersion;
     message?: string;
+} | {
+    kind: "base64";
+    message?: string;
 };
 export interface ZodStringDef extends ZodTypeDef {
     checks: ZodStringCheck[];
     typeName: ZodFirstPartyTypeKind.ZodString;
     coerce: boolean;
 }
-export declare class ZodString extends ZodType<string, ZodStringDef> {
+export declare function datetimeRegex(args: {
+    precision?: number | null;
+    offset?: boolean;
+    local?: boolean;
+}): RegExp;
+export declare class ZodString extends ZodType<string, ZodStringDef, string> {
     _parse(input: ParseInput): ParseReturnType<string>;
     protected _regex(regex: RegExp, validation: StringValidation, message?: errorUtil.ErrMessage): ZodEffects<this, string, string>;
     _addCheck(check: ZodStringCheck): ZodString;
@@ -176,9 +201,11 @@ export declare class ZodString extends ZodType<string, ZodStringDef> {
     url(message?: errorUtil.ErrMessage): ZodString;
     emoji(message?: errorUtil.ErrMessage): ZodString;
     uuid(message?: errorUtil.ErrMessage): ZodString;
+    nanoid(message?: errorUtil.ErrMessage): ZodString;
     cuid(message?: errorUtil.ErrMessage): ZodString;
     cuid2(message?: errorUtil.ErrMessage): ZodString;
     ulid(message?: errorUtil.ErrMessage): ZodString;
+    base64(message?: errorUtil.ErrMessage): ZodString;
     ip(options?: string | {
         version?: "v4" | "v6";
         message?: string;
@@ -187,7 +214,14 @@ export declare class ZodString extends ZodType<string, ZodStringDef> {
         message?: string | undefined;
         precision?: number | null;
         offset?: boolean;
+        local?: boolean;
+    }): ZodString;
+    date(message?: string): ZodString;
+    time(options?: string | {
+        message?: string | undefined;
+        precision?: number | null;
     }): ZodString;
+    duration(message?: errorUtil.ErrMessage): ZodString;
     regex(regex: RegExp, message?: errorUtil.ErrMessage): ZodString;
     includes(value: string, options?: {
         message?: string;
@@ -207,20 +241,26 @@ export declare class ZodString extends ZodType<string, ZodStringDef> {
     toLowerCase(): ZodString;
     toUpperCase(): ZodString;
     get isDatetime(): boolean;
+    get isDate(): boolean;
+    get isTime(): boolean;
+    get isDuration(): boolean;
     get isEmail(): boolean;
     get isURL(): boolean;
     get isEmoji(): boolean;
     get isUUID(): boolean;
+    get isNANOID(): boolean;
     get isCUID(): boolean;
     get isCUID2(): boolean;
     get isULID(): boolean;
     get isIP(): boolean;
+    get isBase64(): boolean;
     get minLength(): number | null;
     get maxLength(): number | null;
     static create: (params?: ({
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: true | undefined;
@@ -252,12 +292,13 @@ export interface ZodNumberDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodNumber;
     coerce: boolean;
 }
-export declare class ZodNumber extends ZodType<number, ZodNumberDef> {
+export declare class ZodNumber extends ZodType<number, ZodNumberDef, number> {
     _parse(input: ParseInput): ParseReturnType<number>;
     static create: (params?: ({
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -304,12 +345,13 @@ export interface ZodBigIntDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodBigInt;
     coerce: boolean;
 }
-export declare class ZodBigInt extends ZodType<bigint, ZodBigIntDef> {
+export declare class ZodBigInt extends ZodType<bigint, ZodBigIntDef, bigint> {
     _parse(input: ParseInput): ParseReturnType<bigint>;
     static create: (params?: ({
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -334,12 +376,13 @@ export interface ZodBooleanDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodBoolean;
     coerce: boolean;
 }
-export declare class ZodBoolean extends ZodType<boolean, ZodBooleanDef> {
+export declare class ZodBoolean extends ZodType<boolean, ZodBooleanDef, boolean> {
     _parse(input: ParseInput): ParseReturnType<boolean>;
     static create: (params?: ({
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -359,7 +402,7 @@ export interface ZodDateDef extends ZodTypeDef {
     coerce: boolean;
     typeName: ZodFirstPartyTypeKind.ZodDate;
 }
-export declare class ZodDate extends ZodType<Date, ZodDateDef> {
+export declare class ZodDate extends ZodType<Date, ZodDateDef, Date> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     _addCheck(check: ZodDateCheck): ZodDate;
     min(minDate: Date, message?: errorUtil.ErrMessage): ZodDate;
@@ -370,6 +413,7 @@ export declare class ZodDate extends ZodType<Date, ZodDateDef> {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -385,7 +429,7 @@ export declare class ZodSymbol extends ZodType<symbol, ZodSymbolDef, symbol> {
 export interface ZodUndefinedDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodUndefined;
 }
-export declare class ZodUndefined extends ZodType<undefined, ZodUndefinedDef> {
+export declare class ZodUndefined extends ZodType<undefined, ZodUndefinedDef, undefined> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     params?: RawCreateParams;
     static create: (params?: RawCreateParams) => ZodUndefined;
@@ -393,14 +437,14 @@ export declare class ZodUndefined extends ZodType<undefined, ZodUndefinedDef> {
 export interface ZodNullDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodNull;
 }
-export declare class ZodNull extends ZodType<null, ZodNullDef> {
+export declare class ZodNull extends ZodType<null, ZodNullDef, null> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: (params?: RawCreateParams) => ZodNull;
 }
 export interface ZodAnyDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodAny;
 }
-export declare class ZodAny extends ZodType<any, ZodAnyDef> {
+export declare class ZodAny extends ZodType<any, ZodAnyDef, any> {
     _any: true;
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: (params?: RawCreateParams) => ZodAny;
@@ -408,7 +452,7 @@ export declare class ZodAny extends ZodType<any, ZodAnyDef> {
 export interface ZodUnknownDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodUnknown;
 }
-export declare class ZodUnknown extends ZodType<unknown, ZodUnknownDef> {
+export declare class ZodUnknown extends ZodType<unknown, ZodUnknownDef, unknown> {
     _unknown: true;
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: (params?: RawCreateParams) => ZodUnknown;
@@ -416,14 +460,14 @@ export declare class ZodUnknown extends ZodType<unknown, ZodUnknownDef> {
 export interface ZodNeverDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodNever;
 }
-export declare class ZodNever extends ZodType<never, ZodNeverDef> {
+export declare class ZodNever extends ZodType<never, ZodNeverDef, never> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: (params?: RawCreateParams) => ZodNever;
 }
 export interface ZodVoidDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodVoid;
 }
-export declare class ZodVoid extends ZodType<void, ZodVoidDef> {
+export declare class ZodVoid extends ZodType<void, ZodVoidDef, void> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: (params?: RawCreateParams) => ZodVoid;
 }
@@ -473,10 +517,10 @@ export declare type objectInputType<Shape extends ZodRawShape, Catchall extends
 export declare type baseObjectInputType<Shape extends ZodRawShape> = objectUtil.addQuestionMarks<{
     [k in keyof Shape]: Shape[k]["_input"];
 }>;
-export declare type CatchallOutput<T extends ZodTypeAny> = ZodTypeAny extends T ? unknown : {
+export declare type CatchallOutput<T extends ZodType> = ZodType extends T ? unknown : {
     [k: string]: T["_output"];
 };
-export declare type CatchallInput<T extends ZodTypeAny> = ZodTypeAny extends T ? unknown : {
+export declare type CatchallInput<T extends ZodType> = ZodType extends T ? unknown : {
     [k: string]: T["_input"];
 };
 export declare type PassthroughType<T extends UnknownKeysParam> = T extends "passthrough" ? {
@@ -507,7 +551,7 @@ export declare class ZodObject<T extends ZodRawShape, UnknownKeys extends Unknow
     /**
      * @deprecated Use `.extend` instead
      *  */
-    augment: <Augmentation extends ZodRawShape>(augmentation: Augmentation) => ZodObject<{ [k in keyof (Omit<T, keyof Augmentation> & Augmentation)]: (Omit<T, keyof Augmentation> & Augmentation)[k]; }, UnknownKeys, Catchall, objectOutputType<{ [k in keyof (Omit<T, keyof Augmentation> & Augmentation)]: (Omit<T, keyof Augmentation> & Augmentation)[k]; }, Catchall, UnknownKeys>, objectInputType<{ [k in keyof (Omit<T, keyof Augmentation> & Augmentation)]: (Omit<T, keyof Augmentation> & Augmentation)[k]; }, Catchall, UnknownKeys>>;
+    augment: <Augmentation extends ZodRawShape>(augmentation: Augmentation) => ZodObject<objectUtil.extendShape<T, Augmentation>, UnknownKeys, Catchall, objectOutputType<objectUtil.extendShape<T, Augmentation>, Catchall, UnknownKeys>, objectInputType<objectUtil.extendShape<T, Augmentation>, Catchall, UnknownKeys>>;
     /**
      * Prior to zod@1.0.12 there was a bug in the
      * inferred type of merged objects. Please
@@ -518,12 +562,12 @@ export declare class ZodObject<T extends ZodRawShape, UnknownKeys extends Unknow
         [k in Key]: Schema;
     }, UnknownKeys, Catchall>;
     catchall<Index extends ZodTypeAny>(index: Index): ZodObject<T, UnknownKeys, Index>;
-    pick<Mask extends {
+    pick<Mask extends util.Exactly<{
         [k in keyof T]?: true;
-    }>(mask: Mask): ZodObject<Pick<T, Extract<keyof T, keyof Mask>>, UnknownKeys, Catchall>;
-    omit<Mask extends {
+    }, Mask>>(mask: Mask): ZodObject<Pick<T, Extract<keyof T, keyof Mask>>, UnknownKeys, Catchall>;
+    omit<Mask extends util.Exactly<{
         [k in keyof T]?: true;
-    }>(mask: Mask): ZodObject<Omit<T, keyof Mask>, UnknownKeys, Catchall>;
+    }, Mask>>(mask: Mask): ZodObject<Omit<T, keyof Mask>, UnknownKeys, Catchall>;
     /**
      * @deprecated
      */
@@ -531,23 +575,23 @@ export declare class ZodObject<T extends ZodRawShape, UnknownKeys extends Unknow
     partial(): ZodObject<{
         [k in keyof T]: ZodOptional<T[k]>;
     }, UnknownKeys, Catchall>;
-    partial<Mask extends {
+    partial<Mask extends util.Exactly<{
         [k in keyof T]?: true;
-    }>(mask: Mask): ZodObject<objectUtil.noNever<{
+    }, Mask>>(mask: Mask): ZodObject<objectUtil.noNever<{
         [k in keyof T]: k extends keyof Mask ? ZodOptional<T[k]> : T[k];
     }>, UnknownKeys, Catchall>;
     required(): ZodObject<{
         [k in keyof T]: deoptional<T[k]>;
     }, UnknownKeys, Catchall>;
-    required<Mask extends {
+    required<Mask extends util.Exactly<{
         [k in keyof T]?: true;
-    }>(mask: Mask): ZodObject<objectUtil.noNever<{
+    }, Mask>>(mask: Mask): ZodObject<objectUtil.noNever<{
         [k in keyof T]: k extends keyof Mask ? deoptional<T[k]> : T[k];
     }>, UnknownKeys, Catchall>;
     keyof(): ZodEnum<enumUtil.UnionToTupleString<keyof T>>;
-    static create: <T_1 extends ZodRawShape>(shape: T_1, params?: RawCreateParams) => ZodObject<T_1, "strip", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_2]; }>;
-    static strictCreate: <T_1 extends ZodRawShape>(shape: T_1, params?: RawCreateParams) => ZodObject<T_1, "strict", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_2]; }>;
-    static lazycreate: <T_1 extends ZodRawShape>(shape: () => T_1, params?: RawCreateParams) => ZodObject<T_1, "strip", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, { [k in keyof baseObjectOutputType<T_1>]: undefined extends baseObjectOutputType<T_1>[k] ? never : k; }[keyof T_1]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_2]; }>;
+    static create: <T_1 extends ZodRawShape>(shape: T_1, params?: RawCreateParams) => ZodObject<T_1, "strip", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_1]; }>;
+    static strictCreate: <T_1 extends ZodRawShape>(shape: T_1, params?: RawCreateParams) => ZodObject<T_1, "strict", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_1]; }>;
+    static lazycreate: <T_1 extends ZodRawShape>(shape: () => T_1, params?: RawCreateParams) => ZodObject<T_1, "strip", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T_1>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T_1>]: baseObjectInputType<T_1>[k_1]; }>;
 }
 export declare type AnyZodObject = ZodObject<any, any, any>;
 export declare type ZodUnionOptions = Readonly<[ZodTypeAny, ...ZodTypeAny[]]>;
@@ -603,11 +647,11 @@ export declare class ZodIntersection<T extends ZodTypeAny, U extends ZodTypeAny>
 export declare type ZodTupleItems = [ZodTypeAny, ...ZodTypeAny[]];
 export declare type AssertArray<T> = T extends any[] ? T : never;
 export declare type OutputTypeOfTuple<T extends ZodTupleItems | []> = AssertArray<{
-    [k in keyof T]: T[k] extends ZodType<any, any> ? T[k]["_output"] : never;
+    [k in keyof T]: T[k] extends ZodType<any, any, any> ? T[k]["_output"] : never;
 }>;
 export declare type OutputTypeOfTupleWithRest<T extends ZodTupleItems | [], Rest extends ZodTypeAny | null = null> = Rest extends ZodTypeAny ? [...OutputTypeOfTuple<T>, ...Rest["_output"][]] : OutputTypeOfTuple<T>;
 export declare type InputTypeOfTuple<T extends ZodTupleItems | []> = AssertArray<{
-    [k in keyof T]: T[k] extends ZodType<any, any> ? T[k]["_input"] : never;
+    [k in keyof T]: T[k] extends ZodType<any, any, any> ? T[k]["_input"] : never;
 }>;
 export declare type InputTypeOfTupleWithRest<T extends ZodTupleItems | [], Rest extends ZodTypeAny | null = null> = Rest extends ZodTypeAny ? [...InputTypeOfTuple<T>, ...Rest["_input"][]] : InputTypeOfTuple<T>;
 export interface ZodTupleDef<T extends ZodTupleItems | [] = ZodTupleItems, Rest extends ZodTypeAny | null = null> extends ZodTypeDef {
@@ -685,7 +729,7 @@ export declare class ZodFunction<Args extends ZodTuple<any, any>, Returns extend
     parameters(): Args;
     returnType(): Returns;
     args<Items extends Parameters<(typeof ZodTuple)["create"]>[0]>(...items: Items): ZodFunction<ZodTuple<Items, ZodUnknown>, Returns>;
-    returns<NewReturnType extends ZodType<any, any>>(returnType: NewReturnType): ZodFunction<Args, NewReturnType>;
+    returns<NewReturnType extends ZodType<any, any, any>>(returnType: NewReturnType): ZodFunction<Args, NewReturnType>;
     implement<F extends InnerTypeOfFunction<Args, Returns>>(func: F): ReturnType<F> extends Returns["_output"] ? (...args: Args["_input"]) => ReturnType<F> : OuterTypeOfFunction<Args, Returns>;
     strictImplement(func: InnerTypeOfFunction<Args, Returns>): InnerTypeOfFunction<Args, Returns>;
     validate: <F extends InnerTypeOfFunction<Args, Returns>>(func: F) => ReturnType<F> extends Returns["_output"] ? (...args: Args["_input"]) => ReturnType<F> : OuterTypeOfFunction<Args, Returns>;
@@ -707,14 +751,14 @@ export interface ZodLiteralDef<T = any> extends ZodTypeDef {
     value: T;
     typeName: ZodFirstPartyTypeKind.ZodLiteral;
 }
-export declare class ZodLiteral<T> extends ZodType<T, ZodLiteralDef<T>> {
+export declare class ZodLiteral<T> extends ZodType<T, ZodLiteralDef<T>, T> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     get value(): T;
     static create: <T_1 extends Primitive>(value: T_1, params?: RawCreateParams) => ZodLiteral<T_1>;
 }
 export declare type ArrayKeys = keyof any[];
 export declare type Indices<T> = Exclude<keyof T, ArrayKeys>;
-export declare type EnumValues = [string, ...string[]];
+export declare type EnumValues<T extends string = string> = readonly [T, ...T[]];
 export declare type Values<T extends EnumValues> = {
     [k in T[number]]: k;
 };
@@ -729,14 +773,15 @@ export declare type FilterEnum<Values, ToExclude> = Values extends [] ? [] : Val
 export declare type typecast<A, T> = A extends T ? A : never;
 declare function createZodEnum<U extends string, T extends Readonly<[U, ...U[]]>>(values: T, params?: RawCreateParams): ZodEnum<Writeable<T>>;
 declare function createZodEnum<U extends string, T extends [U, ...U[]]>(values: T, params?: RawCreateParams): ZodEnum<T>;
-export declare class ZodEnum<T extends [string, ...string[]]> extends ZodType<T[number], ZodEnumDef<T>> {
+export declare class ZodEnum<T extends [string, ...string[]]> extends ZodType<T[number], ZodEnumDef<T>, T[number]> {
+    #private;
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     get options(): T;
     get enum(): Values<T>;
     get Values(): Values<T>;
     get Enum(): Values<T>;
-    extract<ToExtract extends readonly [T[number], ...T[number][]]>(values: ToExtract): ZodEnum<Writeable<ToExtract>>;
-    exclude<ToExclude extends readonly [T[number], ...T[number][]]>(values: ToExclude): ZodEnum<typecast<Writeable<FilterEnum<T, ToExclude[number]>>, [string, ...string[]]>>;
+    extract<ToExtract extends readonly [T[number], ...T[number][]]>(values: ToExtract, newDef?: RawCreateParams): ZodEnum<Writeable<ToExtract>>;
+    exclude<ToExclude extends readonly [T[number], ...T[number][]]>(values: ToExclude, newDef?: RawCreateParams): ZodEnum<typecast<Writeable<FilterEnum<T, ToExclude[number]>>, [string, ...string[]]>>;
     static create: typeof createZodEnum;
 }
 export interface ZodNativeEnumDef<T extends EnumLike = EnumLike> extends ZodTypeDef {
@@ -747,7 +792,8 @@ export declare type EnumLike = {
     [k: string]: string | number;
     [nu: number]: string;
 };
-export declare class ZodNativeEnum<T extends EnumLike> extends ZodType<T[keyof T], ZodNativeEnumDef<T>> {
+export declare class ZodNativeEnum<T extends EnumLike> extends ZodType<T[keyof T], ZodNativeEnumDef<T>, T[keyof T]> {
+    #private;
     _parse(input: ParseInput): ParseReturnType<T[keyof T]>;
     get enum(): T;
     static create: <T_1 extends EnumLike>(values: T_1, params?: RawCreateParams) => ZodNativeEnum<T_1>;
@@ -821,6 +867,7 @@ export declare class ZodDefault<T extends ZodTypeAny> extends ZodType<util.noUnd
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         default: T_1["_input"] | (() => util.noUndefined<T_1["_input"]>);
@@ -841,6 +888,7 @@ export declare class ZodCatch<T extends ZodTypeAny> extends ZodType<T["_output"]
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         catch: T_1["_output"] | (() => T_1["_output"]);
@@ -849,7 +897,7 @@ export declare class ZodCatch<T extends ZodTypeAny> extends ZodType<T["_output"]
 export interface ZodNaNDef extends ZodTypeDef {
     typeName: ZodFirstPartyTypeKind.ZodNaN;
 }
-export declare class ZodNaN extends ZodType<number, ZodNaNDef> {
+export declare class ZodNaN extends ZodType<number, ZodNaNDef, number> {
     _parse(input: ParseInput): ParseReturnType<any>;
     static create: (params?: RawCreateParams) => ZodNaN;
 }
@@ -884,17 +932,29 @@ export interface ZodReadonlyDef<T extends ZodTypeAny = ZodTypeAny> extends ZodTy
     innerType: T;
     typeName: ZodFirstPartyTypeKind.ZodReadonly;
 }
-export declare class ZodReadonly<T extends ZodTypeAny> extends ZodType<MakeReadonly<T["_output"]>, ZodReadonlyDef<T>, T["_input"]> {
+export declare class ZodReadonly<T extends ZodTypeAny> extends ZodType<MakeReadonly<T["_output"]>, ZodReadonlyDef<T>, MakeReadonly<T["_input"]>> {
     _parse(input: ParseInput): ParseReturnType<this["_output"]>;
     static create: <T_1 extends ZodTypeAny>(type: T_1, params?: RawCreateParams) => ZodReadonly<T_1>;
+    unwrap(): T;
 }
 declare type CustomParams = CustomErrorParams & {
     fatal?: boolean;
 };
-export declare const custom: <T>(check?: ((data: unknown) => any) | undefined, params?: string | CustomParams | ((input: any) => CustomParams), fatal?: boolean | undefined) => ZodType<T, ZodTypeDef, T>;
+export declare function custom<T>(check?: (data: any) => any, params?: string | CustomParams | ((input: any) => CustomParams), 
+/**
+ * @deprecated
+ *
+ * Pass `fatal` into the params object instead:
+ *
+ * ```ts
+ * z.string().custom((val) => val.length > 5, { fatal: false })
+ * ```
+ *
+ */
+fatal?: boolean): ZodType<T, ZodTypeDef, T>;
 export { ZodType as Schema, ZodType as ZodSchema };
 export declare const late: {
-    object: <T extends ZodRawShape>(shape: () => T, params?: RawCreateParams) => ZodObject<T, "strip", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_2]; }>;
+    object: <T extends ZodRawShape>(shape: () => T, params?: RawCreateParams) => ZodObject<T, "strip", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_1]; }>;
 };
 export declare enum ZodFirstPartyTypeKind {
     ZodString = "ZodString",
@@ -934,7 +994,7 @@ export declare enum ZodFirstPartyTypeKind {
     ZodPipeline = "ZodPipeline",
     ZodReadonly = "ZodReadonly"
 }
-export declare type ZodFirstPartySchemaTypes = ZodString | ZodNumber | ZodNaN | ZodBigInt | ZodBoolean | ZodDate | ZodUndefined | ZodNull | ZodAny | ZodUnknown | ZodNever | ZodVoid | ZodArray<any, any> | ZodObject<any, any, any> | ZodUnion<any> | ZodDiscriminatedUnion<any, any> | ZodIntersection<any, any> | ZodTuple<any, any> | ZodRecord<any, any> | ZodMap<any> | ZodSet<any> | ZodFunction<any, any> | ZodLazy<any> | ZodLiteral<any> | ZodEnum<any> | ZodEffects<any, any, any> | ZodNativeEnum<any> | ZodOptional<any> | ZodNullable<any> | ZodDefault<any> | ZodCatch<any> | ZodPromise<any> | ZodBranded<any, any> | ZodPipeline<any, any>;
+export declare type ZodFirstPartySchemaTypes = ZodString | ZodNumber | ZodNaN | ZodBigInt | ZodBoolean | ZodDate | ZodUndefined | ZodNull | ZodAny | ZodUnknown | ZodNever | ZodVoid | ZodArray<any, any> | ZodObject<any, any, any> | ZodUnion<any> | ZodDiscriminatedUnion<any, any> | ZodIntersection<any, any> | ZodTuple<any, any> | ZodRecord<any, any> | ZodMap<any> | ZodSet<any> | ZodFunction<any, any> | ZodLazy<any> | ZodLiteral<any> | ZodEnum<any> | ZodEffects<any, any, any> | ZodNativeEnum<any> | ZodOptional<any> | ZodNullable<any> | ZodDefault<any> | ZodCatch<any> | ZodPromise<any> | ZodBranded<any, any> | ZodPipeline<any, any> | ZodReadonly<any> | ZodSymbol;
 declare abstract class Class {
     constructor(..._: any[]);
 }
@@ -943,6 +1003,7 @@ declare const stringType: (params?: ({
     errorMap?: ZodErrorMap | undefined;
     invalid_type_error?: string | undefined;
     required_error?: string | undefined;
+    message?: string | undefined;
     description?: string | undefined;
 } & {
     coerce?: true | undefined;
@@ -951,6 +1012,7 @@ declare const numberType: (params?: ({
     errorMap?: ZodErrorMap | undefined;
     invalid_type_error?: string | undefined;
     required_error?: string | undefined;
+    message?: string | undefined;
     description?: string | undefined;
 } & {
     coerce?: boolean | undefined;
@@ -960,6 +1022,7 @@ declare const bigIntType: (params?: ({
     errorMap?: ZodErrorMap | undefined;
     invalid_type_error?: string | undefined;
     required_error?: string | undefined;
+    message?: string | undefined;
     description?: string | undefined;
 } & {
     coerce?: boolean | undefined;
@@ -968,6 +1031,7 @@ declare const booleanType: (params?: ({
     errorMap?: ZodErrorMap | undefined;
     invalid_type_error?: string | undefined;
     required_error?: string | undefined;
+    message?: string | undefined;
     description?: string | undefined;
 } & {
     coerce?: boolean | undefined;
@@ -976,6 +1040,7 @@ declare const dateType: (params?: ({
     errorMap?: ZodErrorMap | undefined;
     invalid_type_error?: string | undefined;
     required_error?: string | undefined;
+    message?: string | undefined;
     description?: string | undefined;
 } & {
     coerce?: boolean | undefined;
@@ -988,8 +1053,8 @@ declare const unknownType: (params?: RawCreateParams) => ZodUnknown;
 declare const neverType: (params?: RawCreateParams) => ZodNever;
 declare const voidType: (params?: RawCreateParams) => ZodVoid;
 declare const arrayType: <T extends ZodTypeAny>(schema: T, params?: RawCreateParams) => ZodArray<T, "many">;
-declare const objectType: <T extends ZodRawShape>(shape: T, params?: RawCreateParams) => ZodObject<T, "strip", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_2]; }>;
-declare const strictObjectType: <T extends ZodRawShape>(shape: T, params?: RawCreateParams) => ZodObject<T, "strict", ZodTypeAny, { [k_1 in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, { [k in keyof baseObjectOutputType<T>]: undefined extends baseObjectOutputType<T>[k] ? never : k; }[keyof T]>[k_1]; }, { [k_2 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_2]; }>;
+declare const objectType: <T extends ZodRawShape>(shape: T, params?: RawCreateParams) => ZodObject<T, "strip", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_1]; }>;
+declare const strictObjectType: <T extends ZodRawShape>(shape: T, params?: RawCreateParams) => ZodObject<T, "strict", ZodTypeAny, { [k in keyof objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>]: objectUtil.addQuestionMarks<baseObjectOutputType<T>, any>[k]; }, { [k_1 in keyof baseObjectInputType<T>]: baseObjectInputType<T>[k_1]; }>;
 declare const unionType: <T extends readonly [ZodTypeAny, ZodTypeAny, ...ZodTypeAny[]]>(types: T, params?: RawCreateParams) => ZodUnion<T>;
 declare const discriminatedUnionType: typeof ZodDiscriminatedUnion.create;
 declare const intersectionType: <T extends ZodTypeAny, U extends ZodTypeAny>(left: T, right: U, params?: RawCreateParams) => ZodIntersection<T, U>;
@@ -1016,6 +1081,7 @@ export declare const coerce: {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: true | undefined;
@@ -1024,6 +1090,7 @@ export declare const coerce: {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -1032,6 +1099,7 @@ export declare const coerce: {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -1040,6 +1108,7 @@ export declare const coerce: {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;
@@ -1048,6 +1117,7 @@ export declare const coerce: {
         errorMap?: ZodErrorMap | undefined;
         invalid_type_error?: string | undefined;
         required_error?: string | undefined;
+        message?: string | undefined;
         description?: string | undefined;
     } & {
         coerce?: boolean | undefined;