Support Zod 3.24. Improve type performance.

Author: colinhacks

package.json

@@ -174,7 +174,7 @@
 		"superstruct": "^2.0.2",
 		"valibot": "^1.0.0-beta.3",
 		"yup": "^1.4.0",
-		"zod": "^3.23.8",
+		"zod": "^3.24.0",
 		"zod-to-json-schema": "^3.23.3"
 	},
 	"dependencies": {

pnpm-lock.yaml

@@ -9,14 +9,15 @@ import type {
 	Schema,
 	ValidationResult,
 	Infer as InferSchema,
-	InferIn as InferInSchema
+	InferIn as InferInSchema,
+	Registry
 } from './typeSchema.js';
 import { simpleSchema } from './simple-schema/index.js';
 
 export type { Schema, ValidationIssue, ValidationResult } from './typeSchema.js';
 
-export type Infer<T extends Schema> = NonNullable<InferSchema<T>>;
-export type InferIn<T extends Schema> = NonNullable<InferInSchema<T>>;
+export type Infer<T extends Schema, K extends keyof Registry = keyof Registry> = NonNullable<InferSchema<T, K>>;
+export type InferIn<T extends Schema, K extends keyof Registry = keyof Registry> = NonNullable<InferInSchema<T, K>>;
 
 export type ValidationLibrary =
 	| 'arktype'

src/lib/adapters/adapters.ts

@@ -14,7 +14,7 @@ import type {
 	InferOutput as Output
 } from 'valibot';
 import type { Schema as Schema$2, InferType } from 'yup';
-import type { ZodSchema, input, output } from 'zod';
+import type { ZodType, ZodTypeAny } from 'zod';
 import type { SchemaTypes, Infer as VineInfer } from '@vinejs/vine/types';
 import type { FromSchema, JSONSchema } from 'json-schema-to-ts';
 import type { Struct, Infer as Infer$2 } from 'superstruct';
@@ -128,9 +128,9 @@ interface YupResolver extends Resolver {
 }
 
 interface ZodResolver extends Resolver {
-	base: ZodSchema;
-	input: this['schema'] extends ZodSchema ? input<this['schema']> : never;
-	output: this['schema'] extends ZodSchema ? output<this['schema']> : never;
+	base: ZodTypeAny;
+	input: this['schema'] extends ZodType<any, any, infer I>  ? I : never;
+	output: this['schema'] extends ZodType<infer O, any,any> ? O : never;
 }
 
 interface VineResolver extends Resolver {
@@ -194,8 +194,7 @@ interface RuntypesResolver extends Resolver {
 }
 
 */
-
-type Registry = {
+export type Registry = {
 	arktype: ArkTypeResolver;
 	classvalidator: ClassValidatorResolver;
 	custom: CustomResolver;
@@ -217,15 +216,15 @@ type Registry = {
     */
 };
 
-type Infer<TSchema extends Schema> = UnknownIfNever<
+type Infer<TSchema extends Schema, Keys extends keyof Registry = keyof Registry> = UnknownIfNever<
 	{
-		[K in keyof Registry]: IfDefined<InferOutput<Registry[K], TSchema>>;
-	}[keyof Registry]
+		[K in Keys]: IfDefined<InferOutput<Registry[K], TSchema>>;
+	}[Keys]
 >;
-type InferIn<TSchema extends Schema> = UnknownIfNever<
+type InferIn<TSchema extends Schema, Keys extends keyof Registry = keyof Registry> = UnknownIfNever<
 	{
-		[K in keyof Registry]: IfDefined<InferInput<Registry[K], TSchema>>;
-	}[keyof Registry]
+		[K in Keys]: IfDefined<InferInput<Registry[K], TSchema>>;
+	}[Keys]
 >;
 
 /*

src/lib/adapters/typeSchema.ts

@@ -1,11 +1,7 @@
-import type {
-	AnyZodObject,
-	ZodDefault,
-	ZodEffects,
-	ZodErrorMap,
-	ZodType,
-	ZodTypeDef,
-	ZodUnion
+import {
+	type ZodErrorMap,
+	type ZodType,
+	type ZodTypeDef,
 } from 'zod';
 import type { JSONSchema7 } from 'json-schema';
 import {
@@ -32,68 +28,55 @@ export const zodToJSONSchema = (...params: Parameters<typeof zodToJson>) => {
 	return zodToJson(...params) as JSONSchema7;
 };
 
-type ZodObjectUnion<T extends AnyZodObject> = ZodUnion<
-	[ZodValidation<T>, ZodValidation<T>, ...ZodValidation<T>[]]
->;
-
-export type ZodObjectType = ZodType<Record<string, unknown>, ZodTypeDef, Record<string, unknown>>;
 
-export type ZodObjectTypes = AnyZodObject | ZodObjectUnion<AnyZodObject> | ZodObjectType;
+// allows for any object schema
+// allows `undefined` in the input type to account for ZodDefault
+export type ZodObjectType = ZodType<Record<string, unknown>, ZodTypeDef, Record<string, unknown> | undefined>;
+export type ZodObjectTypes = ZodObjectType;
 
-export type ZodValidation<T extends ZodObjectTypes> =
-	| T
-	| ZodEffects<T>
-	| ZodEffects<ZodEffects<T>>
-	| ZodEffects<ZodEffects<ZodEffects<T>>>
-	| ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>
-	| ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>
-	| ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>>
-	| ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>>>
-	| ZodDefault<T>
-	| ZodDefault<ZodEffects<T>>
-	| ZodDefault<ZodEffects<ZodEffects<T>>>
-	| ZodDefault<ZodEffects<ZodEffects<ZodEffects<T>>>>
-	| ZodDefault<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>
-	| ZodDefault<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>>
-	| ZodDefault<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>>>
-	| ZodDefault<
-			ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<ZodEffects<T>>>>>>>
-	  >;
+// left in for compatibility reasons
+export type ZodValidation<T extends ZodObjectTypes = ZodObjectTypes> = T;
+// type asdf = ZodValidation['_output']
+// type asdf2 = ZodValidation['_input']
 
-async function validate<T extends ZodValidation<ZodObjectTypes>>(
+async function validate<T extends ZodValidation>(
 	schema: T,
 	data: unknown,
 	errorMap: ZodErrorMap | undefined
-): Promise<ValidationResult<Infer<T>>> {
+): Promise<ValidationResult<Infer<T, "zod">>> {
 	const result = await schema.safeParseAsync(data, { errorMap });
 	if (result.success) {
 		return {
-			data: result.data as Infer<T>,
+			data: result.data as Infer<T, "zod">,
 			success: true
 		};
 	}
+
 	return {
 		issues: result.error.issues.map(({ message, path }) => ({ message, path })),
 		success: false
 	};
 }
 
-function _zod<T extends ZodValidation<ZodObjectTypes>>(
+function _zod<T extends ZodValidation>(
 	schema: T,
-	options?: AdapterOptions<Infer<T>> & { errorMap?: ZodErrorMap; config?: Partial<Options> }
-): ValidationAdapter<Infer<T>, InferIn<T>> {
+	options?: AdapterOptions<Infer<T, "zod">> & { errorMap?: ZodErrorMap; config?: Partial<Options> }
+): ValidationAdapter<Infer<T, "zod">, InferIn<T, "zod">> {
 	return createAdapter({
-		superFormValidationLibrary: 'zod',
-		validate: async (data) => validate(schema, data, options?.errorMap),
+		superFormValidationLibrary: "zod",
+		async validate (data){
+			// options?.defaults
+			return validate(schema, data, options?.errorMap)
+		},
 		jsonSchema: options?.jsonSchema ?? zodToJSONSchema(schema, options?.config),
-		defaults: options?.defaults
+		defaults: options?.defaults,
 	});
 }
 
-function _zodClient<T extends ZodValidation<ZodObjectTypes>>(
+function _zodClient<T extends ZodValidation>(
 	schema: T,
 	options?: { errorMap?: ZodErrorMap }
-): ClientValidationAdapter<Infer<T>, InferIn<T>> {
+): ClientValidationAdapter<Infer<T, "zod">, InferIn<T, "zod">> {
 	return {
 		superFormValidationLibrary: 'zod',
 		validate: async (data) => validate(schema, data, options?.errorMap)