zodvex 0.3.2 → 0.4.0

package/dist/mapping/core.d.ts

@@ -0,0 +1,5 @@
+import { z } from 'zod';
+import type { ConvexValidatorFromZod, ConvexValidatorFromZodFieldsAuto, ZodValidator } from './types';
+export declare function zodToConvex<Z extends z.ZodTypeAny | ZodValidator>(zod: Z): Z extends z.ZodTypeAny ? ConvexValidatorFromZod<Z, 'required'> : Z extends ZodValidator ? ConvexValidatorFromZodFieldsAuto<Z> : never;
+export declare function zodToConvexFields<Z extends z.ZodRawShape>(zod: Z): ConvexValidatorFromZodFieldsAuto<Z>;
+//# sourceMappingURL=core.d.ts.map

package/dist/mapping/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/mapping/core.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAUvB,OAAO,KAAK,EACV,sBAAsB,EACtB,gCAAgC,EAChC,YAAY,EACb,MAAM,SAAS,CAAA;AA8RhB,wBAAgB,WAAW,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,GAAG,YAAY,EAC/D,GAAG,EAAE,CAAC,GACL,CAAC,SAAS,CAAC,CAAC,UAAU,GACrB,sBAAsB,CAAC,CAAC,EAAE,UAAU,CAAC,GACrC,CAAC,SAAS,YAAY,GACpB,gCAAgC,CAAC,CAAC,CAAC,GACnC,KAAK,CAMV;AAED,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,EACvD,GAAG,EAAE,CAAC,GACL,gCAAgC,CAAC,CAAC,CAAC,CAWrC"}

package/dist/mapping/handlers/enum.d.ts

@@ -0,0 +1,4 @@
+import type { GenericValidator } from 'convex/values';
+import { z } from 'zod';
+export declare function convertEnumType(actualValidator: z.ZodEnum<any>): GenericValidator;
+//# sourceMappingURL=enum.d.ts.map

package/dist/mapping/handlers/enum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../src/mapping/handlers/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAa,MAAM,eAAe,CAAA;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,wBAAgB,eAAe,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAwBjF"}

package/dist/mapping/handlers/index.d.ts

@@ -0,0 +1,5 @@
+export { convertEnumType } from './enum';
+export { convertNullableType } from './nullable';
+export { convertRecordType } from './record';
+export { convertDiscriminatedUnionType, convertUnionType } from './union';
+//# sourceMappingURL=index.d.ts.map

package/dist/mapping/handlers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/mapping/handlers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAC5C,OAAO,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAA"}

package/dist/mapping/handlers/nullable.d.ts

@@ -0,0 +1,7 @@
+import type { GenericValidator } from 'convex/values';
+import { z } from 'zod';
+export declare function convertNullableType(actualValidator: z.ZodNullable<any>, visited: Set<z.ZodTypeAny>, zodToConvexInternal: (schema: z.ZodTypeAny, visited: Set<z.ZodTypeAny>) => any): {
+    validator: GenericValidator;
+    isOptional: boolean;
+};
+//# sourceMappingURL=nullable.d.ts.map

package/dist/mapping/handlers/nullable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../src/mapping/handlers/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAErD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,wBAAgB,mBAAmB,CACjC,eAAe,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EACnC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAC1B,mBAAmB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,GAC7E;IAAE,SAAS,EAAE,gBAAgB,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAyBtD"}

package/dist/mapping/handlers/record.d.ts

@@ -0,0 +1,4 @@
+import type { GenericValidator } from 'convex/values';
+import { z } from 'zod';
+export declare function convertRecordType(actualValidator: z.ZodRecord<any, any>, visited: Set<z.ZodTypeAny>, zodToConvexInternal: (schema: z.ZodTypeAny, visited: Set<z.ZodTypeAny>) => any): GenericValidator;
+//# sourceMappingURL=record.d.ts.map

package/dist/mapping/handlers/record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../../src/mapping/handlers/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAErD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,wBAAgB,iBAAiB,CAC/B,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EACtC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAC1B,mBAAmB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,GAC7E,gBAAgB,CA8DlB"}

package/dist/mapping/handlers/union.d.ts

@@ -0,0 +1,5 @@
+import type { GenericValidator } from 'convex/values';
+import { z } from 'zod';
+export declare function convertDiscriminatedUnionType(actualValidator: z.ZodDiscriminatedUnion<any, any>, visited: Set<z.ZodTypeAny>, zodToConvexInternal: (schema: z.ZodTypeAny, visited: Set<z.ZodTypeAny>) => any): GenericValidator;
+export declare function convertUnionType(actualValidator: z.ZodUnion<any>, visited: Set<z.ZodTypeAny>, zodToConvexInternal: (schema: z.ZodTypeAny, visited: Set<z.ZodTypeAny>) => any): GenericValidator;
+//# sourceMappingURL=union.d.ts.map

package/dist/mapping/handlers/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../src/mapping/handlers/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAa,MAAM,eAAe,CAAA;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,wBAAgB,6BAA6B,CAC3C,eAAe,EAAE,CAAC,CAAC,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,EAClD,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAC1B,mBAAmB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,GAC7E,gBAAgB,CAwBlB;AAGD,wBAAgB,gBAAgB,CAC9B,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAChC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAC1B,mBAAmB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,GAC7E,gBAAgB,CA8BlB"}

package/dist/mapping/index.d.ts

@@ -0,0 +1,4 @@
+export { zodToConvex, zodToConvexFields } from './core';
+export type { ConvexValidatorFromZod, ConvexValidatorFromZodFieldsAuto, ZodValidator } from './types';
+export { getObjectShape, makeUnion } from './utils';
+//# sourceMappingURL=index.d.ts.map

package/dist/mapping/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mapping/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAA;AACvD,YAAY,EACV,sBAAsB,EACtB,gCAAgC,EAChC,YAAY,EACb,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA"}

package/dist/mapping/types.d.ts

@@ -0,0 +1,43 @@
+import type { GenericId, VAny, VArray, VBoolean, VFloat64, VId, VInt64, VLiteral, VNull, VObject, VOptional, VRecord, VString, VUnion } from 'convex/values';
+import { z } from 'zod';
+type IsZid<T> = T extends {
+    _tableName: infer _TableName extends string;
+} ? true : false;
+type ExtractTableName<T> = T extends {
+    _tableName: infer TableName;
+} ? TableName : never;
+type EnumToLiteralsTuple<T extends readonly [string, ...string[]]> = T['length'] extends 1 ? [VLiteral<T[0], 'required'>] : T['length'] extends 2 ? [VLiteral<T[0], 'required'>, VLiteral<T[1], 'required'>] : [
+    VLiteral<T[0], 'required'>,
+    VLiteral<T[1], 'required'>,
+    ...{
+        [K in keyof T]: K extends '0' | '1' ? never : K extends keyof T ? VLiteral<T[K], 'required'> : never;
+    }[keyof T & number][]
+];
+export type ZodValidator = Record<string, z.ZodTypeAny>;
+type ConvexValidatorFromZodRequired<Z extends z.ZodTypeAny> = Z extends z.ZodOptional<infer T extends z.ZodTypeAny> ? VUnion<z.infer<T> | null, any[], 'required'> : ConvexValidatorFromZodBase<Z>;
+type ConvexValidatorFromZodBase<Z extends z.ZodTypeAny> = IsZid<Z> extends true ? ExtractTableName<Z> extends infer TableName extends string ? VId<GenericId<TableName>, 'required'> : VAny<'required'> : Z extends z.ZodString ? VString<z.infer<Z>, 'required'> : Z extends z.ZodNumber ? VFloat64<z.infer<Z>, 'required'> : Z extends z.ZodDate ? VFloat64<number, 'required'> : Z extends z.ZodBigInt ? VInt64<z.infer<Z>, 'required'> : Z extends z.ZodBoolean ? VBoolean<z.infer<Z>, 'required'> : Z extends z.ZodNull ? VNull<null, 'required'> : Z extends z.ZodArray<infer T extends z.ZodTypeAny> ? VArray<z.infer<Z>, ConvexValidatorFromZodRequired<T>, 'required'> : Z extends z.ZodObject<infer T> ? VObject<z.infer<Z>, ConvexValidatorFromZodFieldsAuto<T>, 'required', string> : Z extends z.ZodUnion<infer T> ? T extends readonly [z.ZodTypeAny, z.ZodTypeAny, ...z.ZodTypeAny[]] ? VUnion<z.infer<Z>, any[], 'required'> : never : Z extends z.ZodLiteral<infer T> ? VLiteral<T, 'required'> : Z extends z.ZodEnum<infer T> ? T extends readonly [string, ...string[]] ? T['length'] extends 1 ? VLiteral<T[0], 'required'> : T['length'] extends 2 ? VUnion<T[number], [
+    VLiteral<T[0], 'required'>,
+    VLiteral<T[1], 'required'>
+], 'required', never> : VUnion<T[number], EnumToLiteralsTuple<T>, 'required', never> : T extends Record<string, string | number> ? VUnion<T[keyof T], Array<VLiteral<T[keyof T], 'required'>>, 'required', never> : VUnion<string, any[], 'required', any> : Z extends z.ZodRecord<z.ZodString, infer V extends z.ZodTypeAny> ? VRecord<Record<string, z.infer<V>>, VString<string, 'required'>, ConvexValidatorFromZodRequired<V>, 'required', string> : Z extends z.ZodNullable<infer Inner extends z.ZodTypeAny> ? Inner extends z.ZodOptional<infer InnerInner extends z.ZodTypeAny> ? VOptional<VUnion<z.infer<InnerInner> | null, [
+    ConvexValidatorFromZodBase<InnerInner>,
+    VNull<null, 'required'>
+], 'required'>> : VUnion<z.infer<Inner> | null, [
+    ConvexValidatorFromZodBase<Inner>,
+    VNull<null, 'required'>
+], 'required'> : Z extends z.ZodAny ? VAny<'required'> : Z extends z.ZodUnknown ? VAny<'required'> : VAny<'required'>;
+export type ConvexValidatorFromZod<Z extends z.ZodTypeAny, Constraint extends 'required' | 'optional' = 'required'> = Z extends z.ZodAny ? VAny<'required'> : Z extends z.ZodUnknown ? VAny<'required'> : Z extends z.ZodDefault<infer T extends z.ZodTypeAny> ? ConvexValidatorFromZod<T, Constraint> : Z extends z.ZodOptional<infer T extends z.ZodTypeAny> ? T extends z.ZodNullable<infer Inner extends z.ZodTypeAny> ? VOptional<VUnion<z.infer<Inner> | null, any[], 'required'>> : Constraint extends 'required' ? VUnion<z.infer<T>, any[], 'required'> : VOptional<ConvexValidatorFromZod<T, 'required'>> : Z extends z.ZodNullable<infer T extends z.ZodTypeAny> ? VUnion<z.infer<T> | null, any[], Constraint> : IsZid<Z> extends true ? ExtractTableName<Z> extends infer TableName extends string ? VId<GenericId<TableName>, Constraint> : VAny<'required'> : Z extends z.ZodString ? VString<z.infer<Z>, Constraint> : Z extends z.ZodNumber ? VFloat64<z.infer<Z>, Constraint> : Z extends z.ZodDate ? VFloat64<number, Constraint> : Z extends z.ZodBigInt ? VInt64<z.infer<Z>, Constraint> : Z extends z.ZodBoolean ? VBoolean<z.infer<Z>, Constraint> : Z extends z.ZodNull ? VNull<null, Constraint> : Z extends z.ZodArray<infer T extends z.ZodTypeAny> ? VArray<z.infer<Z>, ConvexValidatorFromZodRequired<T>, Constraint> : Z extends z.ZodObject<infer T> ? VObject<z.infer<Z>, ConvexValidatorFromZodFields<T, 'required'>, Constraint, string> : Z extends z.ZodUnion<infer T> ? T extends readonly [z.ZodTypeAny, z.ZodTypeAny, ...z.ZodTypeAny[]] ? VUnion<z.infer<Z>, any[], Constraint> : never : Z extends z.ZodLiteral<infer T> ? VLiteral<T, Constraint> : Z extends z.ZodEnum<infer T> ? T extends readonly [string, ...string[]] ? T['length'] extends 1 ? VLiteral<T[0], Constraint> : T['length'] extends 2 ? VUnion<T[number], [
+    VLiteral<T[0], 'required'>,
+    VLiteral<T[1], 'required'>
+], Constraint, never> : VUnion<T[number], EnumToLiteralsTuple<T>, Constraint, never> : T extends Record<string, string | number> ? VUnion<T[keyof T], Array<VLiteral<T[keyof T], 'required'>>, Constraint, never> : VUnion<string, any[], Constraint, any> : Z extends z.ZodRecord<z.ZodString, infer V extends z.ZodTypeAny> ? VRecord<Record<string, z.infer<V>>, VString<string, 'required'>, ConvexValidatorFromZodRequired<V>, Constraint, string> : VAny<'required'>;
+type ConvexValidatorFromZodFields<T extends {
+    [key: string]: any;
+}, Constraint extends 'required' | 'optional' = 'required'> = {
+    [K in keyof T]: T[K] extends z.ZodTypeAny ? ConvexValidatorFromZod<T[K], Constraint> : VAny<'required'>;
+};
+export type ConvexValidatorFromZodFieldsAuto<T extends {
+    [key: string]: any;
+}> = {
+    [K in keyof T]: T[K] extends z.ZodOptional<any> ? ConvexValidatorFromZod<T[K], 'optional'> : T[K] extends z.ZodDefault<any> ? ConvexValidatorFromZod<T[K], 'optional'> : T[K] extends z.ZodNullable<any> ? ConvexValidatorFromZod<T[K], 'required'> : T[K] extends z.ZodEnum<any> ? ConvexValidatorFromZod<T[K], 'required'> : T[K] extends z.ZodTypeAny ? ConvexValidatorFromZod<T[K], 'required'> : VAny<'required'>;
+};
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/mapping/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/mapping/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,SAAS,EACT,OAAO,EACP,OAAO,EACP,MAAM,EACP,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,UAAU,EAAE,MAAM,UAAU,SAAS,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAA;AAGxF,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,UAAU,EAAE,MAAM,SAAS,CAAA;CAAE,GAAG,SAAS,GAAG,KAAK,CAAA;AAKxF,KAAK,mBAAmB,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtF,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GAC5B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GACxD;IACE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IAC1B,GAAG;SACA,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,GAAG,GAC/B,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,GACf,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC1B,KAAK;KACZ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE;CACtB,CAAA;AAEP,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;AAIvD,KAAK,8BAA8B,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,CACnF,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAC7B,GACG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,GAC5C,0BAA0B,CAAC,CAAC,CAAC,CAAA;AAGjC,KAAK,0BAA0B,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,IAEpD,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,gBAAgB,CAAC,CAAC,CAAC,SAAS,MAAM,SAAS,SAAS,MAAM,GACxD,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,GACrC,IAAI,CAAC,UAAU,CAAC,GAClB,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC/B,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,GAC5B,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC9B,CAAC,SAAS,CAAC,CAAC,UAAU,GACpB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,GACvB,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACjE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,GAC5E,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAC3B,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,GAChE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,GACrC,KAAK,GACP,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAC7B,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,GACvB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,GACtC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC1B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CACJ,CAAC,CAAC,MAAM,CAAC,EACT;IAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;CAAC,EACxD,UAAU,EACV,KAAK,CACN,GACD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,GAChE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GACvC,MAAM,CACJ,CAAC,CAAC,MAAM,CAAC,CAAC,EACV,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EACvC,UAAU,EACV,KAAK,CACN,GACD,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,GAC1C,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAC9D,OAAO,CACL,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC1B,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,EAC3B,8BAA8B,CAAC,CAAC,CAAC,EACjC,UAAU,EACV,MAAM,CACP,GACD,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,UAAU,CAAC,GACvD,KAAK,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,UAAU,SAAS,CAAC,CAAC,UAAU,CAAC,GAChE,SAAS,CACP,MAAM,CACJ,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,EAC1B;IACE,0BAA0B,CAAC,UAAU,CAAC;IACtC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;CACxB,EACD,UAAU,CACX,CACF,GACD,MAAM,CACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,EACrB;IAAC,0BAA0B,CAAC,KAAK,CAAC;IAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;CAAC,EAC5D,UAAU,CACX,GACH,CAAC,SAAS,CAAC,CAAC,MAAM,GAChB,IAAI,CAAC,UAAU,CAAC,GAChB,CAAC,SAAS,CAAC,CAAC,UAAU,GACpB,IAAI,CAAC,UAAU,CAAC,GAChB,IAAI,CAAC,UAAU,CAAC,CAAA;AAGpD,MAAM,MAAM,sBAAsB,CAChC,CAAC,SAAS,CAAC,CAAC,UAAU,EACtB,UAAU,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACrD,CAAC,SAAS,CAAC,CAAC,MAAM,GAClB,IAAI,CAAC,UAAU,CAAC,GAChB,CAAC,SAAS,CAAC,CAAC,UAAU,GACpB,IAAI,CAAC,UAAU,CAAC,GAChB,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAClD,sBAAsB,CAAC,CAAC,EAAE,UAAU,CAAC,GACrC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GACnD,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,UAAU,CAAC,GACvD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,CAAC,GAC3D,UAAU,SAAS,UAAU,GAC3B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,GACrC,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GACpD,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GACnD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,GAC5C,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACnB,gBAAgB,CAAC,CAAC,CAAC,SAAS,MAAM,SAAS,SAAS,MAAM,GACxD,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,GACrC,IAAI,CAAC,UAAU,CAAC,GAClB,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC/B,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,GAC5B,CAAC,SAAS,CAAC,CAAC,SAAS,GACnB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC9B,CAAC,SAAS,CAAC,CAAC,UAAU,GACpB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,GACvB,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACjE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAC5B,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EACV,4BAA4B,CAAC,CAAC,EAAE,UAAU,CAAC,EAC3C,UAAU,EACV,MAAM,CACP,GACD,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAC3B,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,GAChE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,GACrC,KAAK,GACP,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAC7B,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,GACvB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,GACtC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAC1B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,MAAM,CACJ,CAAC,CAAC,MAAM,CAAC,EACT;IACE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;CAC3B,EACD,UAAU,EACV,KAAK,CACN,GACD,MAAM,CACJ,CAAC,CAAC,MAAM,CAAC,EACT,mBAAmB,CAAC,CAAC,CAAC,EACtB,UAAU,EACV,KAAK,CACN,GACL,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GACvC,MAAM,CACJ,CAAC,CAAC,MAAM,CAAC,CAAC,EACV,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EACvC,UAAU,EACV,KAAK,CACN,GACD,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,GAC1C,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAC9D,OAAO,CACL,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC1B,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,EAC3B,8BAA8B,CAAC,CAAC,CAAC,EACjC,UAAU,EACV,MAAM,CACP,GACD,IAAI,CAAC,UAAU,CAAC,CAAA;AAEtD,KAAK,4BAA4B,CAC/B,CAAC,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EAChC,UAAU,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACrD;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,GACrC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,IAAI,CAAC,UAAU,CAAC;CACrB,CAAA;AAGD,MAAM,MAAM,gCAAgC,CAAC,CAAC,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,IAAI;KAC9E,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAC3C,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAC5B,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAC7B,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GACzB,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,GACvB,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GACxC,IAAI,CAAC,UAAU,CAAC;CAC7B,CAAA"}

package/dist/mapping/utils.d.ts

@@ -0,0 +1,6 @@
+import { z } from 'zod';
+import { type Zid } from '../ids';
+export declare function isZid<T extends string>(schema: z.ZodType): schema is Zid<T>;
+export declare function makeUnion(members: any[]): any;
+export declare function getObjectShape(obj: any): Record<string, any>;
+//# sourceMappingURL=utils.d.ts.map

package/dist/mapping/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/mapping/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAmB,KAAK,GAAG,EAAE,MAAM,QAAQ,CAAA;AAGlD,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,GAAG,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAM3E;AAGD,wBAAgB,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,CAK7C;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAU5D"}

package/dist/registry.d.ts

@@ -0,0 +1,110 @@
+import { z } from 'zod';
+type BaseCodec = {
+    check: (schema: any) => boolean;
+    toValidator: (schema: any) => any;
+    fromConvex: (value: any, schema: any) => any;
+    toConvex: (value: any, schema: any) => any;
+};
+export declare function registerBaseCodec(codec: BaseCodec): void;
+export declare function findBaseCodec(schema: any): BaseCodec | undefined;
+export declare function isDateSchema(schema: any): boolean;
+/**
+ * Checks if a schema is a zid (Convex ID) schema by looking at its description.
+ * zid schemas are marked with "convexId:{tableName}" in their description.
+ */
+export declare function isZidSchema(schema: z.ZodTypeAny): boolean;
+/**
+ * Extracts the table name from a zid schema's description.
+ * Returns undefined if not a zid schema.
+ */
+export declare function getZidTableName(schema: z.ZodTypeAny): string | undefined;
+/**
+ * Context object passed to the JSON Schema override function.
+ * Uses 'any' types for compatibility with Zod's internal types.
+ */
+export interface JSONSchemaOverrideContext {
+    zodSchema: any;
+    jsonSchema: any;
+}
+/**
+ * Override function for z.toJSONSchema that handles zodvex-managed types.
+ *
+ * Handles:
+ * - zid schemas: Converts to { type: "string" } with convexId format
+ * - z.date(): Converts to { type: "string", format: "date-time" }
+ *
+ * @example
+ * ```ts
+ * import { z } from 'zod'
+ * import { zid, zodvexJSONSchemaOverride } from 'zodvex'
+ *
+ * const schema = z.object({
+ *   userId: zid('users'),
+ *   name: z.string()
+ * })
+ *
+ * const jsonSchema = z.toJSONSchema(schema, {
+ *   unrepresentable: 'any',
+ *   override: zodvexJSONSchemaOverride
+ * })
+ * // => { type: "object", properties: { userId: { type: "string" }, name: { type: "string" } } }
+ * ```
+ */
+export declare function zodvexJSONSchemaOverride(ctx: JSONSchemaOverrideContext): void;
+/**
+ * Composes multiple JSON Schema override functions into one.
+ * Overrides run in order - first override runs first.
+ *
+ * @example
+ * ```ts
+ * import { composeOverrides, zodvexJSONSchemaOverride } from 'zodvex'
+ *
+ * const myOverride = (ctx) => {
+ *   if (ctx.zodSchema.description?.startsWith('myType:')) {
+ *     ctx.jsonSchema.type = 'string'
+ *     ctx.jsonSchema.format = 'my-format'
+ *   }
+ * }
+ *
+ * // User's override runs first, then zodvex's
+ * z.toJSONSchema(schema, {
+ *   unrepresentable: 'any',
+ *   override: composeOverrides(myOverride, zodvexJSONSchemaOverride)
+ * })
+ * ```
+ */
+export declare function composeOverrides(...overrides: Array<((ctx: JSONSchemaOverrideContext) => void) | undefined>): (ctx: JSONSchemaOverrideContext) => void;
+/**
+ * Options for toJSONSchema, matching Zod's interface.
+ */
+export interface ToJSONSchemaOptions {
+    target?: 'draft-4' | 'draft-7' | 'draft-2020-12' | 'openapi-3.0';
+    unrepresentable?: 'throw' | 'any';
+    cycles?: 'ref' | 'throw';
+    reused?: 'ref' | 'inline';
+    io?: 'input' | 'output';
+    override?: (ctx: JSONSchemaOverrideContext) => void;
+}
+/**
+ * Converts a Zod schema to JSON Schema with zodvex-aware overrides.
+ *
+ * This is a convenience wrapper around z.toJSONSchema that automatically
+ * handles zodvex-managed types like zid and dates.
+ *
+ * @example
+ * ```ts
+ * import { zid, toJSONSchema } from 'zodvex'
+ *
+ * const schema = z.object({
+ *   userId: zid('users'),
+ *   createdAt: z.date(),
+ *   name: z.string()
+ * })
+ *
+ * const jsonSchema = toJSONSchema(schema)
+ * // Works with AI SDK's generateObject, etc.
+ * ```
+ */
+export declare function toJSONSchema<T extends z.ZodTypeAny>(schema: T, options?: ToJSONSchemaOptions): Record<string, any>;
+export {};
+//# sourceMappingURL=registry.d.ts.map

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,KAAK,SAAS,GAAG;IACf,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,OAAO,CAAA;IAC/B,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAA;IACjC,UAAU,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,CAAA;IAC5C,QAAQ,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,CAAA;CAC3C,CAAA;AAID,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAExD;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,GAAG,GAAG,SAAS,GAAG,SAAS,CAEhE;AA0BD,wBAAgB,YAAY,CAAC,MAAM,EAAE,GAAG,GAAG,OAAO,CAYjD;AASD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,OAAO,CAGzD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAMxE;AAED;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,GAAG,CAAA;IACd,UAAU,EAAE,GAAG,CAAA;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,yBAAyB,GAAG,IAAI,CA0B7E;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,yBAAyB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,GAC1E,CAAC,GAAG,EAAE,yBAAyB,KAAK,IAAI,CAM1C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,aAAa,CAAA;IAChE,eAAe,CAAC,EAAE,OAAO,GAAG,KAAK,CAAA;IACjC,MAAM,CAAC,EAAE,KAAK,GAAG,OAAO,CAAA;IACxB,MAAM,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAA;IACzB,EAAE,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAA;IACvB,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,yBAAyB,KAAK,IAAI,CAAA;CACpD;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,EACjD,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,mBAAmB,GAC5B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAarB"}

package/dist/tables.d.ts

@@ -0,0 +1,122 @@
+import { defineTable } from 'convex/server';
+import type { GenericId } from 'convex/values';
+import { Table } from 'convex-helpers/server';
+import { z } from 'zod';
+import { zid } from './ids';
+import { type ConvexValidatorFromZodFieldsAuto, zodToConvex } from './mapping';
+/**
+ * Helper type for Convex system fields added to documents
+ */
+type SystemFields<TableName extends string> = {
+    _id: ReturnType<typeof zid<TableName>>;
+    _creationTime: z.ZodNumber;
+};
+/**
+ * Maps over union options, extending each ZodObject variant with system fields.
+ * Non-object variants are preserved as-is.
+ */
+type MapSystemFields<TableName extends string, Options extends readonly z.ZodTypeAny[]> = {
+    [K in keyof Options]: Options[K] extends z.ZodObject<infer Shape extends z.ZodRawShape> ? z.ZodObject<Shape & SystemFields<TableName>> : Options[K];
+};
+/**
+ * Adds Convex system fields (_id, _creationTime) to a Zod schema.
+ *
+ * For object schemas: extends with system fields
+ * For union schemas: adds system fields to each variant
+ *
+ * @param tableName - The Convex table name
+ * @param schema - The Zod schema (object or union)
+ * @returns Schema with system fields added
+ */
+export declare function addSystemFields<TableName extends string, Shape extends z.ZodRawShape>(tableName: TableName, schema: z.ZodObject<Shape>): z.ZodObject<Shape & SystemFields<TableName>>;
+export declare function addSystemFields<TableName extends string, Options extends readonly z.ZodTypeAny[]>(tableName: TableName, schema: z.ZodUnion<Options>): z.ZodUnion<MapSystemFields<TableName, Options>>;
+export declare function addSystemFields<TableName extends string, Options extends readonly z.ZodObject<z.ZodRawShape>[], Discriminator extends string>(tableName: TableName, schema: z.ZodDiscriminatedUnion<Options, Discriminator>): z.ZodDiscriminatedUnion<MapSystemFields<TableName, Options>, Discriminator>;
+export declare function addSystemFields<TableName extends string, S extends z.ZodTypeAny>(tableName: TableName, schema: S): S;
+export declare function zodDoc<TableName extends string, Shape extends z.ZodRawShape, Schema extends z.ZodObject<Shape>>(tableName: TableName, schema: Schema): z.ZodObject<Shape & {
+    _id: ReturnType<typeof zid<TableName>>;
+    _creationTime: z.ZodNumber;
+}>;
+export declare function zodDocOrNull<TableName extends string, Shape extends z.ZodRawShape, Schema extends z.ZodObject<Shape>>(tableName: TableName, schema: Schema): z.ZodUnion<readonly [z.ZodObject<Readonly<{
+    [k: string]: z.core.$ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>;
+}> & {
+    _id: z.ZodType<GenericId<TableName>, unknown, z.core.$ZodTypeInternals<GenericId<TableName>, unknown>> & {
+        _tableName: TableName;
+    };
+    _creationTime: z.ZodNumber;
+}, z.core.$strip>, z.ZodNull]>;
+/**
+ * Defines a Convex table using either:
+ * - A raw Zod shape (an object mapping field names to Zod types)
+ * - A Zod union schema (for polymorphic tables)
+ *
+ * For object shapes, this function intentionally accepts a raw shape instead of a ZodObject instance.
+ * Accepting raw shapes allows TypeScript to infer field types more accurately and efficiently,
+ * leading to better type inference and performance throughout the codebase.
+ *
+ * For union schemas, this enables polymorphic tables with discriminated unions.
+ *
+ * Returns the Table definition along with Zod schemas for documents and arrays.
+ *
+ * @param name - The table name
+ * @param schemaOrShape - Either a raw object shape or a Zod union schema
+ * @returns A Table with attached helpers (shape, schema, zDoc, docArray, withSystemFields)
+ *
+ * @example Object shape
+ * ```ts
+ * const Users = zodTable('users', {
+ *   name: z.string(),
+ *   email: z.string().email(),
+ *   age: z.number().optional()
+ * })
+ *
+ * // Use in schema
+ * export default defineSchema({ users: Users.table })
+ *
+ * // Use for return types
+ * export const getUsers = zQuery(query, {},
+ *   async (ctx) => ctx.db.query('users').collect(),
+ *   { returns: Users.docArray }
+ * )
+ * ```
+ *
+ * @example Union schema (polymorphic table)
+ * ```ts
+ * const shapeSchema = z.union([
+ *   z.object({ kind: z.literal('circle'), r: z.number() }),
+ *   z.object({ kind: z.literal('rectangle'), width: z.number() })
+ * ])
+ *
+ * const Shapes = zodTable('shapes', shapeSchema)
+ *
+ * // Use in schema
+ * export default defineSchema({ shapes: Shapes.table })
+ *
+ * // Use for return types with system fields
+ * export const getShapes = zQuery(query, {},
+ *   async (ctx) => ctx.db.query('shapes').collect(),
+ *   { returns: Shapes.docArray }
+ * )
+ * ```
+ */
+type AddSystemFieldsResult<TableName extends string, Schema extends z.ZodTypeAny> = Schema extends z.ZodObject<infer Shape extends z.ZodRawShape> ? z.ZodObject<Shape & SystemFields<TableName>> : Schema extends z.ZodUnion<infer Options extends readonly z.ZodTypeAny[]> ? z.ZodUnion<MapSystemFields<TableName, Options>> : Schema extends z.ZodDiscriminatedUnion<infer Options extends readonly z.ZodObject<z.ZodRawShape>[], infer Disc extends string> ? z.ZodDiscriminatedUnion<MapSystemFields<TableName, Options>, Disc> : Schema;
+export declare function zodTable<TableName extends string, Shape extends Record<string, z.ZodTypeAny>>(name: TableName, shape: Shape): ReturnType<typeof Table<ConvexValidatorFromZodFieldsAuto<Shape>, TableName>> & {
+    shape: Shape;
+    zDoc: z.ZodObject<Shape & {
+        _id: ReturnType<typeof zid<TableName>>;
+        _creationTime: z.ZodNumber;
+    }>;
+    docArray: z.ZodArray<z.ZodObject<Shape & {
+        _id: ReturnType<typeof zid<TableName>>;
+        _creationTime: z.ZodNumber;
+    }>>;
+};
+export declare function zodTable<TableName extends string, Schema extends z.ZodTypeAny>(name: TableName, schema: Schema): {
+    table: ReturnType<typeof defineTable>;
+    tableName: TableName;
+    validator: ReturnType<typeof zodToConvex<Schema>>;
+    schema: Schema;
+    docArray: z.ZodArray<AddSystemFieldsResult<TableName, Schema>>;
+    withSystemFields: () => AddSystemFieldsResult<TableName, Schema>;
+};
+export {};
+//# sourceMappingURL=tables.d.ts.map

package/dist/tables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tables.d.ts","sourceRoot":"","sources":["../src/tables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAA;AAC7C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,gCAAgC,EAAE,WAAW,EAAqB,MAAM,WAAW,CAAA;AAEjG;;GAEG;AACH,KAAK,YAAY,CAAC,SAAS,SAAS,MAAM,IAAI;IAC5C,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;IACtC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAA;CAC3B,CAAA;AAED;;;GAGG;AACH,KAAK,eAAe,CAAC,SAAS,SAAS,MAAM,EAAE,OAAO,SAAS,SAAS,CAAC,CAAC,UAAU,EAAE,IAAI;KACvF,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,WAAW,CAAC,GACnF,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAC5C,OAAO,CAAC,CAAC,CAAC;CACf,CAAA;AAED;;;;;;;;;GASG;AAEH,wBAAgB,eAAe,CAAC,SAAS,SAAS,MAAM,EAAE,KAAK,SAAS,CAAC,CAAC,WAAW,EACnF,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzB,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAA;AAG/C,wBAAgB,eAAe,CAAC,SAAS,SAAS,MAAM,EAAE,OAAO,SAAS,SAAS,CAAC,CAAC,UAAU,EAAE,EAC/F,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAC1B,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;AAIlD,wBAAgB,eAAe,CAC7B,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EACrD,aAAa,SAAS,MAAM,EAE5B,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,aAAa,CAAC,GACtD,CAAC,CAAC,qBAAqB,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAA;AAG9E,wBAAgB,eAAe,CAAC,SAAS,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,UAAU,EAC9E,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,CAAC,GACR,CAAC,CAAA;AAmCJ,wBAAgB,MAAM,CACpB,SAAS,SAAS,MAAM,EACxB,KAAK,SAAS,CAAC,CAAC,WAAW,EAC3B,MAAM,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAEjC,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,MAAM,GACb,CAAC,CAAC,SAAS,CACZ,KAAK,GAAG;IACN,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;IACtC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAA;CAC3B,CACF,CAMA;AAGD,wBAAgB,YAAY,CAC1B,SAAS,SAAS,MAAM,EACxB,KAAK,SAAS,CAAC,CAAC,WAAW,EAC3B,MAAM,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EACjC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM;;;;;;mBAfnB,CAAC,CAAC,SAAS;+BAiB7B;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,KAAK,qBAAqB,CACxB,SAAS,SAAS,MAAM,EACxB,MAAM,SAAS,CAAC,CAAC,UAAU,IACzB,MAAM,SAAS,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,WAAW,CAAC,GAC7D,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAC5C,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,OAAO,SAAS,SAAS,CAAC,CAAC,UAAU,EAAE,CAAC,GACtE,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,GAC/C,MAAM,SAAS,CAAC,CAAC,qBAAqB,CAClC,MAAM,OAAO,SAAS,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAC3D,MAAM,IAAI,SAAS,MAAM,CAC1B,GACD,CAAC,CAAC,qBAAqB,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,GAClE,MAAM,CAAA;AAGd,wBAAgB,QAAQ,CAAC,SAAS,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,EAC3F,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,KAAK,GACX,UAAU,CAAC,OAAO,KAAK,CAAC,gCAAgC,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG;IAChF,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,EAAE,CAAC,CAAC,SAAS,CACf,KAAK,GAAG;QACN,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;QACtC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAA;KAC3B,CACF,CAAA;IACD,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAClB,CAAC,CAAC,SAAS,CACT,KAAK,GAAG;QACN,GAAG,EAAE,UAAU,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;QACtC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAA;KAC3B,CACF,CACF,CAAA;CACF,CAAA;AAGD,wBAAgB,QAAQ,CAAC,SAAS,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,UAAU,EAC5E,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,MAAM,GACb;IACD,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAA;IACrC,SAAS,EAAE,SAAS,CAAA;IACpB,SAAS,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IACjD,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAA;IAC9D,gBAAgB,EAAE,MAAM,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CACjE,CAAA"}

package/dist/transform/index.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Transform layer - General-purpose schema traversal and value transformation utilities.
+ *
+ * This module provides primitives for:
+ * - Walking Zod schemas (walkSchema, findFieldsWithMeta)
+ * - Extracting metadata from schemas (getMetadata, hasMetadata)
+ * - Recursively transforming values based on schema structure (transformBySchema, transformBySchemaAsync)
+ *
+ * @example
+ * ```ts
+ * import { findFieldsWithMeta, transformBySchema } from 'zodvex/transform'
+ *
+ * // Find all fields with custom metadata
+ * const sensitiveFields = findFieldsWithMeta(schema, meta => meta?.sensitive === true)
+ *
+ * // Transform values based on metadata
+ * const masked = transformBySchema(value, schema, ctx, (val, info) => {
+ *   if (info.meta?.pii) return '[REDACTED]'
+ *   return val
+ * })
+ * ```
+ */
+export { transformBySchema, transformBySchemaAsync } from './transform';
+export { findFieldsWithMeta, getMetadata, hasMetadata, walkSchema } from './traverse';
+export type { AsyncTransformFn, FieldInfo, SchemaVisitor, TransformContext, TransformFn, TransformOptions, WalkSchemaOptions } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/transform/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transform/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAGvE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAErF,YAAY,EACV,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,gBAAgB,EAChB,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,SAAS,CAAA"}