@es-joy/jsoe 0.26.1 → 0.27.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.gitignore +10 -0
- package/.npmignore +9 -0
- package/CHANGES.md +43 -0
- package/README.md +3 -3
- package/badges/coverage-badge.svg +1 -1
- package/dist/formats/schema.d.ts.map +1 -1
- package/dist/fundamentalTypes/arrayType.d.ts.map +1 -1
- package/dist/fundamentalTypes/stringType.d.ts.map +1 -1
- package/dist/index.js +2 -2
- package/dist/index.js.map +1 -1
- package/dist/typeChoices.d.ts.map +1 -1
- package/dist/types.d.ts.map +1 -1
- package/eslint.config.js +36 -27
- package/package.json +12 -11
- package/pnpm-workspace.yaml +3 -2
- package/src/formats/schema.js +35 -6
- package/src/fundamentalTypes/arrayType.js +30 -6
- package/src/fundamentalTypes/stringType.js +5 -0
- package/src/typeChoices.js +3 -1
- package/src/types.js +7 -0
- package/vendor/typeson-registry/dist/index.js +83 -10
- package/vendor/zod/classic/checks.d.ts +1 -1
- package/vendor/zod/classic/checks.js +1 -1
- package/vendor/zod/classic/external.d.ts +1 -1
- package/vendor/zod/classic/external.js +1 -1
- package/vendor/zod/classic/from-json-schema.js +245 -24
- package/vendor/zod/classic/schemas.d.ts +17 -1
- package/vendor/zod/classic/schemas.js +77 -29
- package/vendor/zod/core/api.d.ts +6 -4
- package/vendor/zod/core/api.js +17 -2
- package/vendor/zod/core/checks.d.ts +1 -1
- package/vendor/zod/core/checks.js +0 -96
- package/vendor/zod/core/compile.d.ts +18 -4
- package/vendor/zod/core/compile.js +146 -67
- package/vendor/zod/core/doc.js +7 -2
- package/vendor/zod/core/errors.js +2 -5
- package/vendor/zod/core/json-schema-generator.js +2 -2
- package/vendor/zod/core/json-schema-processors.d.ts +17 -0
- package/vendor/zod/core/json-schema-processors.js +195 -64
- package/vendor/zod/core/memoizer.js +72 -23
- package/vendor/zod/core/parse.js +37 -16
- package/vendor/zod/core/regexes.d.ts +2 -0
- package/vendor/zod/core/regexes.js +8 -4
- package/vendor/zod/core/schemas.d.ts +42 -7
- package/vendor/zod/core/schemas.js +301 -94
- package/vendor/zod/core/to-json-schema.d.ts +7 -3
- package/vendor/zod/core/to-json-schema.js +8 -7
- package/vendor/zod/core/util.d.ts +25 -4
- package/vendor/zod/core/util.js +160 -143
- package/vendor/zod/core/versions.d.ts +1 -1
- package/vendor/zod/core/versions.js +2 -2
- package/vendor/zod/core/visit.js +12 -0
- package/vendor/zod/locales/ar.js +1 -0
- package/vendor/zod/locales/az.js +1 -0
- package/vendor/zod/locales/be.js +1 -0
- package/vendor/zod/locales/bg.js +1 -0
- package/vendor/zod/locales/bn.js +1 -0
- package/vendor/zod/locales/ca.js +1 -0
- package/vendor/zod/locales/ckb.js +1 -0
- package/vendor/zod/locales/cs.js +1 -0
- package/vendor/zod/locales/da.js +1 -0
- package/vendor/zod/locales/de.js +1 -0
- package/vendor/zod/locales/el.js +1 -0
- package/vendor/zod/locales/en.js +1 -0
- package/vendor/zod/locales/eo.js +1 -0
- package/vendor/zod/locales/es.js +1 -0
- package/vendor/zod/locales/fa.js +1 -0
- package/vendor/zod/locales/fi.js +1 -0
- package/vendor/zod/locales/fr-CA.js +1 -0
- package/vendor/zod/locales/fr.js +1 -0
- package/vendor/zod/locales/gu.js +1 -0
- package/vendor/zod/locales/he.js +1 -0
- package/vendor/zod/locales/hi.js +1 -0
- package/vendor/zod/locales/hr.js +1 -0
- package/vendor/zod/locales/hu.js +1 -0
- package/vendor/zod/locales/hy.js +1 -0
- package/vendor/zod/locales/id.js +1 -0
- package/vendor/zod/locales/index.d.ts +1 -0
- package/vendor/zod/locales/index.js +1 -0
- package/vendor/zod/locales/is.js +1 -0
- package/vendor/zod/locales/it.js +1 -0
- package/vendor/zod/locales/ja.js +1 -0
- package/vendor/zod/locales/ka.js +1 -0
- package/vendor/zod/locales/km.js +1 -0
- package/vendor/zod/locales/kn.js +1 -0
- package/vendor/zod/locales/ko.js +1 -0
- package/vendor/zod/locales/lt.js +1 -0
- package/vendor/zod/locales/mk.js +1 -0
- package/vendor/zod/locales/ms.js +1 -0
- package/vendor/zod/locales/ne.js +1 -0
- package/vendor/zod/locales/nl.js +1 -0
- package/vendor/zod/locales/nn.js +1 -0
- package/vendor/zod/locales/no.js +1 -0
- package/vendor/zod/locales/ota.js +1 -0
- package/vendor/zod/locales/pl.js +1 -0
- package/vendor/zod/locales/ps.js +1 -0
- package/vendor/zod/locales/pt-BR.js +1 -0
- package/vendor/zod/locales/pt.js +1 -0
- package/vendor/zod/locales/ro.js +1 -0
- package/vendor/zod/locales/ru.js +1 -0
- package/vendor/zod/locales/sk.js +1 -0
- package/vendor/zod/locales/sl.js +1 -0
- package/vendor/zod/locales/sv.js +1 -0
- package/vendor/zod/locales/ta.js +1 -0
- package/vendor/zod/locales/tg.d.ts +4 -0
- package/vendor/zod/locales/tg.js +116 -0
- package/vendor/zod/locales/th.js +1 -0
- package/vendor/zod/locales/tk.js +1 -0
- package/vendor/zod/locales/tr.js +1 -0
- package/vendor/zod/locales/uk.js +1 -0
- package/vendor/zod/locales/ur.js +1 -0
- package/vendor/zod/locales/uz.js +1 -0
- package/vendor/zod/locales/vi.js +1 -0
- package/vendor/zod/locales/yo.js +1 -0
- package/vendor/zod/locales/zh-CN.js +1 -0
- package/vendor/zod/locales/zh-TW.js +1 -0
- package/vendor/zod/mini/checks.d.ts +1 -1
- package/vendor/zod/mini/checks.js +1 -1
- package/vendor/zod/mini/external.d.ts +1 -1
- package/vendor/zod/mini/external.js +1 -1
- package/vendor/zod/mini/schemas.d.ts +8 -0
- package/vendor/zod/mini/schemas.js +19 -2
- package/vendor/zodexy/dist/esm/index.js +34 -1
- package/vendor/zodexy/dist/schema.zodexy.json +18 -0
|
@@ -26,16 +26,6 @@ const numericOriginMap = {
|
|
|
26
26
|
export const $ZodCheckLessThan = /*@__PURE__*/ core.$constructor("$ZodCheckLessThan", (inst, def) => {
|
|
27
27
|
$ZodCheck.init(inst, def);
|
|
28
28
|
const origin = numericOriginMap[typeof def.value];
|
|
29
|
-
inst._zod.onattach.push((inst) => {
|
|
30
|
-
const bag = inst._zod.bag;
|
|
31
|
-
const curr = (def.inclusive ? bag.maximum : bag.exclusiveMaximum) ?? Number.POSITIVE_INFINITY;
|
|
32
|
-
if (def.value < curr) {
|
|
33
|
-
if (def.inclusive)
|
|
34
|
-
bag.maximum = def.value;
|
|
35
|
-
else
|
|
36
|
-
bag.exclusiveMaximum = def.value;
|
|
37
|
-
}
|
|
38
|
-
});
|
|
39
29
|
inst._zod.check = (payload) => {
|
|
40
30
|
if (def.inclusive ? payload.value <= def.value : payload.value < def.value) {
|
|
41
31
|
return;
|
|
@@ -54,16 +44,6 @@ export const $ZodCheckLessThan = /*@__PURE__*/ core.$constructor("$ZodCheckLessT
|
|
|
54
44
|
export const $ZodCheckGreaterThan = /*@__PURE__*/ core.$constructor("$ZodCheckGreaterThan", (inst, def) => {
|
|
55
45
|
$ZodCheck.init(inst, def);
|
|
56
46
|
const origin = numericOriginMap[typeof def.value];
|
|
57
|
-
inst._zod.onattach.push((inst) => {
|
|
58
|
-
const bag = inst._zod.bag;
|
|
59
|
-
const curr = (def.inclusive ? bag.minimum : bag.exclusiveMinimum) ?? Number.NEGATIVE_INFINITY;
|
|
60
|
-
if (def.value > curr) {
|
|
61
|
-
if (def.inclusive)
|
|
62
|
-
bag.minimum = def.value;
|
|
63
|
-
else
|
|
64
|
-
bag.exclusiveMinimum = def.value;
|
|
65
|
-
}
|
|
66
|
-
});
|
|
67
47
|
inst._zod.check = (payload) => {
|
|
68
48
|
if (def.inclusive ? payload.value >= def.value : payload.value > def.value) {
|
|
69
49
|
return;
|
|
@@ -82,10 +62,6 @@ export const $ZodCheckGreaterThan = /*@__PURE__*/ core.$constructor("$ZodCheckGr
|
|
|
82
62
|
export const $ZodCheckMultipleOf =
|
|
83
63
|
/*@__PURE__*/ core.$constructor("$ZodCheckMultipleOf", (inst, def) => {
|
|
84
64
|
$ZodCheck.init(inst, def);
|
|
85
|
-
inst._zod.onattach.push((inst) => {
|
|
86
|
-
var _a;
|
|
87
|
-
(_a = inst._zod.bag).multipleOf ?? (_a.multipleOf = def.value);
|
|
88
|
-
});
|
|
89
65
|
inst._zod.check = (payload) => {
|
|
90
66
|
if (typeof payload.value !== typeof def.value)
|
|
91
67
|
throw new Error("Cannot mix number and bigint in multiple_of check.");
|
|
@@ -111,14 +87,6 @@ export const $ZodCheckNumberFormat = /*@__PURE__*/ core.$constructor("$ZodCheckN
|
|
|
111
87
|
const isInt = def.format?.includes("int");
|
|
112
88
|
const origin = isInt ? "int" : "number";
|
|
113
89
|
const [minimum, maximum] = util.NUMBER_FORMAT_RANGES[def.format];
|
|
114
|
-
inst._zod.onattach.push((inst) => {
|
|
115
|
-
const bag = inst._zod.bag;
|
|
116
|
-
bag.format = def.format;
|
|
117
|
-
bag.minimum = minimum;
|
|
118
|
-
bag.maximum = maximum;
|
|
119
|
-
if (isInt)
|
|
120
|
-
bag.pattern = regexes.integer;
|
|
121
|
-
});
|
|
122
90
|
inst._zod.check = (payload) => {
|
|
123
91
|
const input = payload.value;
|
|
124
92
|
if (isInt) {
|
|
@@ -207,12 +175,6 @@ export const $ZodCheckNumberFormat = /*@__PURE__*/ core.$constructor("$ZodCheckN
|
|
|
207
175
|
export const $ZodCheckBigIntFormat = /*@__PURE__*/ core.$constructor("$ZodCheckBigIntFormat", (inst, def) => {
|
|
208
176
|
$ZodCheck.init(inst, def); // no format checks
|
|
209
177
|
const [minimum, maximum] = util.BIGINT_FORMAT_RANGES[def.format];
|
|
210
|
-
inst._zod.onattach.push((inst) => {
|
|
211
|
-
const bag = inst._zod.bag;
|
|
212
|
-
bag.format = def.format;
|
|
213
|
-
bag.minimum = minimum;
|
|
214
|
-
bag.maximum = maximum;
|
|
215
|
-
});
|
|
216
178
|
inst._zod.check = (payload) => {
|
|
217
179
|
const input = payload.value;
|
|
218
180
|
if (input < minimum) {
|
|
@@ -243,11 +205,6 @@ export const $ZodCheckMaxSize = /*@__PURE__*/ core.$constructor("$ZodCheckMaxSiz
|
|
|
243
205
|
var _a;
|
|
244
206
|
$ZodCheck.init(inst, def);
|
|
245
207
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
|
|
246
|
-
inst._zod.onattach.push((inst) => {
|
|
247
|
-
const curr = (inst._zod.bag.maximum ?? Number.POSITIVE_INFINITY);
|
|
248
|
-
if (def.maximum < curr)
|
|
249
|
-
inst._zod.bag.maximum = def.maximum;
|
|
250
|
-
});
|
|
251
208
|
inst._zod.check = (payload) => {
|
|
252
209
|
const input = payload.value;
|
|
253
210
|
const size = input.size;
|
|
@@ -268,11 +225,6 @@ export const $ZodCheckMinSize = /*@__PURE__*/ core.$constructor("$ZodCheckMinSiz
|
|
|
268
225
|
var _a;
|
|
269
226
|
$ZodCheck.init(inst, def);
|
|
270
227
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
|
|
271
|
-
inst._zod.onattach.push((inst) => {
|
|
272
|
-
const curr = (inst._zod.bag.minimum ?? Number.NEGATIVE_INFINITY);
|
|
273
|
-
if (def.minimum > curr)
|
|
274
|
-
inst._zod.bag.minimum = def.minimum;
|
|
275
|
-
});
|
|
276
228
|
inst._zod.check = (payload) => {
|
|
277
229
|
const input = payload.value;
|
|
278
230
|
const size = input.size;
|
|
@@ -293,12 +245,6 @@ export const $ZodCheckSizeEquals = /*@__PURE__*/ core.$constructor("$ZodCheckSiz
|
|
|
293
245
|
var _a;
|
|
294
246
|
$ZodCheck.init(inst, def);
|
|
295
247
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
|
|
296
|
-
inst._zod.onattach.push((inst) => {
|
|
297
|
-
const bag = inst._zod.bag;
|
|
298
|
-
bag.minimum = def.size;
|
|
299
|
-
bag.maximum = def.size;
|
|
300
|
-
bag.size = def.size;
|
|
301
|
-
});
|
|
302
248
|
inst._zod.check = (payload) => {
|
|
303
249
|
const input = payload.value;
|
|
304
250
|
const size = input.size;
|
|
@@ -320,11 +266,6 @@ export const $ZodCheckMaxLength = /*@__PURE__*/ core.$constructor("$ZodCheckMaxL
|
|
|
320
266
|
var _a;
|
|
321
267
|
$ZodCheck.init(inst, def);
|
|
322
268
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
|
|
323
|
-
inst._zod.onattach.push((inst) => {
|
|
324
|
-
const curr = (inst._zod.bag.maximum ?? Number.POSITIVE_INFINITY);
|
|
325
|
-
if (def.maximum < curr)
|
|
326
|
-
inst._zod.bag.maximum = def.maximum;
|
|
327
|
-
});
|
|
328
269
|
inst._zod.check = (payload) => {
|
|
329
270
|
const input = payload.value;
|
|
330
271
|
const units = input.length;
|
|
@@ -348,11 +289,6 @@ export const $ZodCheckMinLength = /*@__PURE__*/ core.$constructor("$ZodCheckMinL
|
|
|
348
289
|
var _a;
|
|
349
290
|
$ZodCheck.init(inst, def);
|
|
350
291
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
|
|
351
|
-
inst._zod.onattach.push((inst) => {
|
|
352
|
-
const curr = (inst._zod.bag.minimum ?? Number.NEGATIVE_INFINITY);
|
|
353
|
-
if (def.minimum > curr)
|
|
354
|
-
inst._zod.bag.minimum = def.minimum;
|
|
355
|
-
});
|
|
356
292
|
inst._zod.check = (payload) => {
|
|
357
293
|
const input = payload.value;
|
|
358
294
|
const units = input.length;
|
|
@@ -378,12 +314,6 @@ export const $ZodCheckLengthEquals = /*@__PURE__*/ core.$constructor("$ZodCheckL
|
|
|
378
314
|
var _a;
|
|
379
315
|
$ZodCheck.init(inst, def);
|
|
380
316
|
(_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
|
|
381
|
-
inst._zod.onattach.push((inst) => {
|
|
382
|
-
const bag = inst._zod.bag;
|
|
383
|
-
bag.minimum = def.length;
|
|
384
|
-
bag.maximum = def.length;
|
|
385
|
-
bag.length = def.length;
|
|
386
|
-
});
|
|
387
317
|
inst._zod.check = (payload) => {
|
|
388
318
|
const input = payload.value;
|
|
389
319
|
const units = input.length;
|
|
@@ -409,14 +339,6 @@ export const $ZodCheckLengthEquals = /*@__PURE__*/ core.$constructor("$ZodCheckL
|
|
|
409
339
|
export const $ZodCheckStringFormat = /*@__PURE__*/ core.$constructor("$ZodCheckStringFormat", (inst, def) => {
|
|
410
340
|
var _a, _b;
|
|
411
341
|
$ZodCheck.init(inst, def);
|
|
412
|
-
inst._zod.onattach.push((inst) => {
|
|
413
|
-
const bag = inst._zod.bag;
|
|
414
|
-
bag.format = def.format;
|
|
415
|
-
if (def.pattern) {
|
|
416
|
-
bag.patterns ?? (bag.patterns = new Set());
|
|
417
|
-
bag.patterns.add(def.pattern);
|
|
418
|
-
}
|
|
419
|
-
});
|
|
420
342
|
if (def.pattern)
|
|
421
343
|
(_a = inst._zod).check ?? (_a.check = (payload) => {
|
|
422
344
|
def.pattern.lastIndex = 0;
|
|
@@ -468,11 +390,6 @@ export const $ZodCheckIncludes = /*@__PURE__*/ core.$constructor("$ZodCheckInclu
|
|
|
468
390
|
// (`{N,}`), not exactly `position` chars (`{N}`).
|
|
469
391
|
const pattern = new RegExp(typeof def.position === "number" ? `^.{${def.position},}${escapedRegex}` : escapedRegex);
|
|
470
392
|
def.pattern = pattern;
|
|
471
|
-
inst._zod.onattach.push((inst) => {
|
|
472
|
-
const bag = inst._zod.bag;
|
|
473
|
-
bag.patterns ?? (bag.patterns = new Set());
|
|
474
|
-
bag.patterns.add(pattern);
|
|
475
|
-
});
|
|
476
393
|
inst._zod.check = (payload) => {
|
|
477
394
|
if (payload.value.includes(def.includes, def.position))
|
|
478
395
|
return;
|
|
@@ -491,11 +408,6 @@ export const $ZodCheckStartsWith = /*@__PURE__*/ core.$constructor("$ZodCheckSta
|
|
|
491
408
|
$ZodCheck.init(inst, def);
|
|
492
409
|
const pattern = new RegExp(`^${util.escapeRegex(def.prefix)}.*`);
|
|
493
410
|
def.pattern ?? (def.pattern = pattern);
|
|
494
|
-
inst._zod.onattach.push((inst) => {
|
|
495
|
-
const bag = inst._zod.bag;
|
|
496
|
-
bag.patterns ?? (bag.patterns = new Set());
|
|
497
|
-
bag.patterns.add(pattern);
|
|
498
|
-
});
|
|
499
411
|
inst._zod.check = (payload) => {
|
|
500
412
|
if (payload.value.startsWith(def.prefix))
|
|
501
413
|
return;
|
|
@@ -514,11 +426,6 @@ export const $ZodCheckEndsWith = /*@__PURE__*/ core.$constructor("$ZodCheckEndsW
|
|
|
514
426
|
$ZodCheck.init(inst, def);
|
|
515
427
|
const pattern = new RegExp(`.*${util.escapeRegex(def.suffix)}$`);
|
|
516
428
|
def.pattern ?? (def.pattern = pattern);
|
|
517
|
-
inst._zod.onattach.push((inst) => {
|
|
518
|
-
const bag = inst._zod.bag;
|
|
519
|
-
bag.patterns ?? (bag.patterns = new Set());
|
|
520
|
-
bag.patterns.add(pattern);
|
|
521
|
-
});
|
|
522
429
|
inst._zod.check = (payload) => {
|
|
523
430
|
if (payload.value.endsWith(def.suffix))
|
|
524
431
|
return;
|
|
@@ -558,9 +465,6 @@ export const $ZodCheckProperty = /*@__PURE__*/ core.$constructor("$ZodCheckPrope
|
|
|
558
465
|
export const $ZodCheckMimeType = /*@__PURE__*/ core.$constructor("$ZodCheckMimeType", (inst, def) => {
|
|
559
466
|
$ZodCheck.init(inst, def);
|
|
560
467
|
const mimeSet = new Set(def.mime);
|
|
561
|
-
inst._zod.onattach.push((inst) => {
|
|
562
|
-
inst._zod.bag.mime = def.mime;
|
|
563
|
-
});
|
|
564
468
|
inst._zod.check = (payload) => {
|
|
565
469
|
if (mimeSet.has(payload.value.type))
|
|
566
470
|
return;
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
import type * as core from "./core.js";
|
|
2
2
|
import type { SomeType } from "./schemas.js";
|
|
3
|
-
/** Sentinel
|
|
3
|
+
/** @internal Sentinel the compiled fast path returns when validation fails. */
|
|
4
4
|
export declare const INVALID: unique symbol;
|
|
5
|
+
/** @internal */
|
|
5
6
|
export type INVALID = typeof INVALID;
|
|
6
7
|
interface CompileFnOptions {
|
|
7
8
|
debug?: boolean | undefined;
|
|
@@ -10,6 +11,8 @@ interface CompileFnOptions {
|
|
|
10
11
|
}
|
|
11
12
|
type CompiledFn<T> = ((input: unknown) => T | INVALID) & {
|
|
12
13
|
code?: string | undefined;
|
|
14
|
+
/** False when this function's INVALID does not strictly mean "the runtime would reject". */
|
|
15
|
+
definite?: boolean | undefined;
|
|
13
16
|
};
|
|
14
17
|
/** Raised when the schema contains async refinements or transforms. Surfaces only under `compile(schema, { strict: true })`. */
|
|
15
18
|
export declare class ZodCompileAsyncError extends Error {
|
|
@@ -43,9 +46,20 @@ export interface CompileOptions {
|
|
|
43
46
|
*/
|
|
44
47
|
export declare function compile<T extends SomeType>(schema: T, options?: CompileOptions): T;
|
|
45
48
|
/**
|
|
46
|
-
*
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
+
* Install an already-generated parser as a schema's fast path. Returns a clone; the original is
|
|
50
|
+
* unchanged.
|
|
51
|
+
*
|
|
52
|
+
* The parser takes the input and returns the parsed value, or `INVALID` to hand the parse to the
|
|
53
|
+
* runtime. It must be synchronous and forward-direction, and it must build fresh output rather than
|
|
54
|
+
* return its input — Zod cannot check either, and a wrong *success* is returned to the caller as-is.
|
|
55
|
+
*
|
|
56
|
+
* `compile()` is the ordinary entry point. This is for a build-time or native compiler that produces
|
|
57
|
+
* a parser where `new Function` is unavailable.
|
|
58
|
+
*/
|
|
59
|
+
export declare function withParser<T extends SomeType>(schema: T, parser: (input: unknown) => core.output<T> | INVALID): T;
|
|
60
|
+
/**
|
|
61
|
+
* @internal Generate the standalone compiled function: a parser by default, a validator under
|
|
62
|
+
* `assertOnly`. Returns the parsed value, `true` where nothing reads the output, or `INVALID`. Consumers use `compile()`.
|
|
49
63
|
*/
|
|
50
64
|
export declare function compileFn<T extends SomeType>(schema: T, options?: CompileFnOptions): CompiledFn<core.output<T>>;
|
|
51
65
|
export {};
|
|
@@ -2,9 +2,9 @@ import { $ZodAsyncError } from "./core.js";
|
|
|
2
2
|
import { Doc } from "./doc.js";
|
|
3
3
|
import { isBackEdge, isRecursiveSchema } from "./memoizer.js";
|
|
4
4
|
import * as regexes from "./regexes.js";
|
|
5
|
-
import { isValidBase64, isValidBase64URL, isValidCIDRv6, isValidCreditCard, isValidIPv6, isValidJWT, mergeValues, parseURLObject, stripTabAndNewline, urlHostnameOk, urlProtocolOk, } from "./schemas.js";
|
|
5
|
+
import { isValidBase64, isValidBase64URL, isValidCIDRv6, isValidCreditCard, isValidIBAN, isValidIPv6, isValidJWT, mergeValues, parseURLObject, stripTabAndNewline, urlHostnameOk, urlProtocolOk, } from "./schemas.js";
|
|
6
6
|
import * as util from "./util.js";
|
|
7
|
-
/** Sentinel
|
|
7
|
+
/** @internal Sentinel the compiled fast path returns when validation fails. */
|
|
8
8
|
export const INVALID = Symbol.for("zod.compile.invalid");
|
|
9
9
|
// Set on the parse ctx when a compiled wrapper falls back to the runtime, so nested compiled wrappers skip their fast paths for the rest of that parse.
|
|
10
10
|
const FALLBACK_FLAG = Symbol.for("zod.compile.fallback");
|
|
@@ -55,45 +55,9 @@ function compileValidator(schema, parser) {
|
|
|
55
55
|
export function compile(schema, options) {
|
|
56
56
|
try {
|
|
57
57
|
const parser = compileFn(schema);
|
|
58
|
-
const clone =
|
|
59
|
-
//
|
|
60
|
-
const liveRun = schema._zod.run;
|
|
61
|
-
const originalRun = liveRun.__originalRun ?? liveRun;
|
|
62
|
-
// Delegate to the *original* schema's run on bypass/fallback (not the
|
|
63
|
-
// clone's). The original closed over its own `inst` at construction time;
|
|
64
|
-
// issue payloads use that reference to derive things like the class name
|
|
65
|
-
// for `z.instanceof(Test)`. Calling the clone's freshly-initialized run
|
|
66
|
-
// would push issues with `inst === clone`, producing diverging error
|
|
67
|
-
// messages from the original schema.
|
|
68
|
-
const wrapped = (payload, ctx) => {
|
|
69
|
-
if (ctx?.async ||
|
|
70
|
-
ctx?.direction === "backward" ||
|
|
71
|
-
ctx?.skipChecks ||
|
|
72
|
-
ctx?.[FALLBACK_FLAG]) {
|
|
73
|
-
return originalRun(payload, ctx);
|
|
74
|
-
}
|
|
75
|
-
// A memoized back-edge: only the runtime can close a reference cycle, and a transform on one must raise $ZodCyclicError from its own parse.
|
|
76
|
-
if (ctx && isBackEdge(ctx, payload.value)) {
|
|
77
|
-
return originalRun(payload, ctx);
|
|
78
|
-
}
|
|
79
|
-
const out = parser(payload.value);
|
|
80
|
-
if (out !== INVALID) {
|
|
81
|
-
payload.value = out;
|
|
82
|
-
return payload;
|
|
83
|
-
}
|
|
84
|
-
// Mark this parse as runtime-driven: under global mode every nested schema carries its own compiled wrapper, and without the flag the parent's runtime fallback re-enters each child's fast path, running user callbacks a third time on invalid input.
|
|
85
|
-
if (ctx)
|
|
86
|
-
ctx[FALLBACK_FLAG] = true;
|
|
87
|
-
return originalRun(payload, ctx);
|
|
88
|
-
};
|
|
89
|
-
// Let later compiles of (or through) this run unwrap to the true runtime — both the global shim and repeated z.compile calls rely on this. The bag also carries the parser and the validator, so the standalone validate can skip the payload and wrapper on the happy path.
|
|
90
|
-
wrapped.__originalRun = originalRun;
|
|
91
|
-
clone._zod.bag.fallbackRun = originalRun;
|
|
58
|
+
const clone = withParser(schema, parser);
|
|
59
|
+
// withParser leaves the parser as its own validator; the generated assert-only variant is better when we have one
|
|
92
60
|
clone._zod.bag.validator = compileValidator(schema, parser);
|
|
93
|
-
clone._zod.run = wrapped;
|
|
94
|
-
// The fast parse/safeParse closures fall back through the source schema's methods. If the source is shim- or wrapper-managed, those methods route into a compiled run and would execute user callbacks a third time on invalid input — the plain method → wrapper path is exactly 2x, so skip.
|
|
95
|
-
if (!liveRun.__originalRun)
|
|
96
|
-
installCompiledUserMethods(clone, schema, parser);
|
|
97
61
|
return clone;
|
|
98
62
|
}
|
|
99
63
|
catch (err) {
|
|
@@ -103,6 +67,59 @@ export function compile(schema, options) {
|
|
|
103
67
|
return schema;
|
|
104
68
|
}
|
|
105
69
|
}
|
|
70
|
+
/**
|
|
71
|
+
* Install an already-generated parser as a schema's fast path. Returns a clone; the original is
|
|
72
|
+
* unchanged.
|
|
73
|
+
*
|
|
74
|
+
* The parser takes the input and returns the parsed value, or `INVALID` to hand the parse to the
|
|
75
|
+
* runtime. It must be synchronous and forward-direction, and it must build fresh output rather than
|
|
76
|
+
* return its input — Zod cannot check either, and a wrong *success* is returned to the caller as-is.
|
|
77
|
+
*
|
|
78
|
+
* `compile()` is the ordinary entry point. This is for a build-time or native compiler that produces
|
|
79
|
+
* a parser where `new Function` is unavailable.
|
|
80
|
+
*/
|
|
81
|
+
export function withParser(schema, parser) {
|
|
82
|
+
// generated code never receives the parse context, so only the runtime can close a reference cycle; compileFn refuses these too
|
|
83
|
+
if (isRecursiveSchema(schema)) {
|
|
84
|
+
throw new ZodCompileUnsupportedError("a schema whose subtree contains a reference cycle");
|
|
85
|
+
}
|
|
86
|
+
const clone = util.clone(schema);
|
|
87
|
+
// Capture the source-of-truth runtime eagerly. If schema._zod.run is itself a shim installed by global-mode (`__originalRun` set), unwrap past it. Otherwise capturing the live property lazily would let a later self- replacement of schema._zod.run feed our wrapper back into itself.
|
|
88
|
+
const liveRun = schema._zod.run;
|
|
89
|
+
const originalRun = liveRun.__originalRun ?? liveRun;
|
|
90
|
+
// Delegate to the *original* schema's run on bypass/fallback, not the clone's. The original closed over its own `inst` at construction time, and issue payloads use that reference to derive things like the class name for `z.instanceof(Test)`; calling the clone's freshly-initialized run would push issues with `inst === clone` and diverge from the original schema's error messages.
|
|
91
|
+
const wrapped = (payload, ctx) => {
|
|
92
|
+
if (ctx?.async ||
|
|
93
|
+
ctx?.direction === "backward" ||
|
|
94
|
+
ctx?.skipChecks ||
|
|
95
|
+
ctx?.[FALLBACK_FLAG]) {
|
|
96
|
+
return originalRun(payload, ctx);
|
|
97
|
+
}
|
|
98
|
+
// A memoized back-edge: only the runtime can close a reference cycle, and a transform on one must raise $ZodCyclicError from its own parse.
|
|
99
|
+
if (ctx && isBackEdge(ctx, payload.value)) {
|
|
100
|
+
return originalRun(payload, ctx);
|
|
101
|
+
}
|
|
102
|
+
const out = parser(payload.value);
|
|
103
|
+
if (out !== INVALID) {
|
|
104
|
+
payload.value = out;
|
|
105
|
+
return payload;
|
|
106
|
+
}
|
|
107
|
+
// Mark this parse as runtime-driven: under global mode every nested schema carries its own compiled wrapper, and without the flag the parent's runtime fallback re-enters each child's fast path, running user callbacks a third time on invalid input.
|
|
108
|
+
if (ctx)
|
|
109
|
+
ctx[FALLBACK_FLAG] = true;
|
|
110
|
+
return originalRun(payload, ctx);
|
|
111
|
+
};
|
|
112
|
+
// Let later compiles of (or through) this run unwrap to the true runtime — both the global shim and repeated z.compile calls rely on this. The bag also carries the parser and the validator, so the standalone validate can skip the payload and wrapper on the happy path.
|
|
113
|
+
wrapped.__originalRun = originalRun;
|
|
114
|
+
clone._zod.bag.fallbackRun = originalRun;
|
|
115
|
+
// a supplied parser answers `validate` too: one implementation means parse and validate cannot disagree, and its undefined `definite` keeps the runtime re-parse on every rejection
|
|
116
|
+
clone._zod.bag.validator = parser;
|
|
117
|
+
clone._zod.run = wrapped;
|
|
118
|
+
// The fast parse/safeParse closures fall back through the source schema's methods. If the source is shim- or wrapper-managed, those methods route into a compiled run and would execute user callbacks a third time on invalid input — the plain method → wrapper path is exactly 2x, so skip.
|
|
119
|
+
if (!liveRun.__originalRun)
|
|
120
|
+
installCompiledUserMethods(clone, schema, parser);
|
|
121
|
+
return clone;
|
|
122
|
+
}
|
|
106
123
|
function installCompiledUserMethods(target, source, parser) {
|
|
107
124
|
const targetAny = target;
|
|
108
125
|
const sourceAny = source;
|
|
@@ -128,9 +145,8 @@ function installCompiledUserMethods(target, source, parser) {
|
|
|
128
145
|
}
|
|
129
146
|
}
|
|
130
147
|
/**
|
|
131
|
-
* Generate the standalone compiled function: a parser by default, a validator under
|
|
132
|
-
* `assertOnly`. Returns
|
|
133
|
-
* or the `INVALID` sentinel. Internal — consumers should use `compile()`.
|
|
148
|
+
* @internal Generate the standalone compiled function: a parser by default, a validator under
|
|
149
|
+
* `assertOnly`. Returns the parsed value, `true` where nothing reads the output, or `INVALID`. Consumers use `compile()`.
|
|
134
150
|
*/
|
|
135
151
|
export function compileFn(schema, options) {
|
|
136
152
|
// Cycle-breaking is keyed on the parse context, which generated code never receives. `shape` can be a getter that throws (z.pick() with an unrecognized mask key), so treat "can't tell" as recursive.
|
|
@@ -146,6 +162,7 @@ export function compileFn(schema, options) {
|
|
|
146
162
|
constants: new Map(),
|
|
147
163
|
constantCounter: 0,
|
|
148
164
|
varCounter: 0,
|
|
165
|
+
definite: true,
|
|
149
166
|
};
|
|
150
167
|
const doc = new Doc(["input"]);
|
|
151
168
|
const outputAccessor = generateCheck(doc, ctx, schema, "input", !options?.assertOnly);
|
|
@@ -174,6 +191,7 @@ export function compileFn(schema, options) {
|
|
|
174
191
|
if (options?.debug) {
|
|
175
192
|
fn.code = fullCode;
|
|
176
193
|
}
|
|
194
|
+
fn.definite = ctx.definite;
|
|
177
195
|
return fn;
|
|
178
196
|
}
|
|
179
197
|
function addConstant(ctx, value) {
|
|
@@ -186,6 +204,11 @@ function addConstant(ctx, value) {
|
|
|
186
204
|
ctx.constants.set(name, value);
|
|
187
205
|
return name;
|
|
188
206
|
}
|
|
207
|
+
/** Hoists a user-supplied callback. Anything the schema's author wrote can throw, and generated code can reject an earlier sibling before ever reaching it, so this clears `definite` — a rejection is then no longer proof that the interpreter would have rejected rather than thrown. */
|
|
208
|
+
function addUserConstant(ctx, fn) {
|
|
209
|
+
ctx.definite = false;
|
|
210
|
+
return addConstant(ctx, fn);
|
|
211
|
+
}
|
|
189
212
|
function newVar(ctx) {
|
|
190
213
|
return `v${ctx.varCounter++}`;
|
|
191
214
|
}
|
|
@@ -221,6 +244,8 @@ function compileChild(doc, ctx, schema, accessor, needsValue = true) {
|
|
|
221
244
|
}
|
|
222
245
|
}
|
|
223
246
|
function emitRuntimeIsland(doc, ctx, schema, accessor) {
|
|
247
|
+
// an islanded child answers INVALID for an async run too, which the interpreter throws for
|
|
248
|
+
ctx.definite = false;
|
|
224
249
|
const schemaConst = addConstant(ctx, schema);
|
|
225
250
|
const runConst = addConstant(ctx, runtimeRun);
|
|
226
251
|
const outVar = newVar(ctx);
|
|
@@ -304,6 +329,9 @@ function generateChecks(doc, ctx, schema, accessor) {
|
|
|
304
329
|
case "property":
|
|
305
330
|
generatePropertyCheck(doc, ctx, def, currentAccessor);
|
|
306
331
|
break;
|
|
332
|
+
case "properties":
|
|
333
|
+
generatePropertiesChecks(doc, ctx, def, currentAccessor, false);
|
|
334
|
+
break;
|
|
307
335
|
case "overwrite": {
|
|
308
336
|
// Overwrite transforms the value - create new variable for transformed result
|
|
309
337
|
const newAccessor = newVar(ctx);
|
|
@@ -429,6 +457,26 @@ function generateMimeTypeCheck(doc, ctx, def, accessor) {
|
|
|
429
457
|
doc.write(`if (!${mimeSet}.has(${accessor}.type)) return INVALID;`);
|
|
430
458
|
}
|
|
431
459
|
}
|
|
460
|
+
// asserts each named property in place; children compile assert-only because z.properties never rebuilds its input
|
|
461
|
+
function generatePropertiesChecks(doc, ctx, def, accessor, schemaRole) {
|
|
462
|
+
// a custom `when` gates the assertion at runtime; inside a union a wrongly-run branch is absorbed as a branch failure rather than falling back, so refuse at codegen the way the check role does
|
|
463
|
+
if (def.when) {
|
|
464
|
+
throw new ZodCompileUnsupportedError(`check with a custom "when" condition`);
|
|
465
|
+
}
|
|
466
|
+
// matches the runtime gate for whichever role this is: a schema rejects a primitive outright, a check only a nullish value
|
|
467
|
+
doc.write(schemaRole
|
|
468
|
+
? `if (${accessor} === null || (typeof ${accessor} !== "object" && typeof ${accessor} !== "function")) return INVALID;`
|
|
469
|
+
: `if (${accessor} == null) return INVALID;`);
|
|
470
|
+
const shape = def.shape;
|
|
471
|
+
for (const key of Reflect.ownKeys(shape)) {
|
|
472
|
+
// a symbol has no source literal, so it is hoisted as a constant
|
|
473
|
+
const keyExpr = typeof key === "symbol" ? addConstant(ctx, key) : util.esc(key);
|
|
474
|
+
// cache the property read so a getter runs exactly once, matching the runtime
|
|
475
|
+
const inputVar = newVar(ctx);
|
|
476
|
+
doc.write(`const ${inputVar} = ${accessor}[${keyExpr}];`);
|
|
477
|
+
compileChild(doc, ctx, shape[key], inputVar, false);
|
|
478
|
+
}
|
|
479
|
+
}
|
|
432
480
|
function generatePropertyCheck(doc, ctx, def, accessor) {
|
|
433
481
|
const propAccessor = `${accessor}[${JSON.stringify(def.property)}]`;
|
|
434
482
|
generateCheck(doc, ctx, def.schema, propAccessor);
|
|
@@ -461,7 +509,7 @@ function generateCustomRefineCheck(doc, ctx, check, accessor) {
|
|
|
461
509
|
if (isAsyncFunction(def.fn)) {
|
|
462
510
|
throw new ZodCompileAsyncError("z.compile: async .refine() predicates are not supported");
|
|
463
511
|
}
|
|
464
|
-
const fnConst =
|
|
512
|
+
const fnConst = addUserConstant(ctx, def.fn);
|
|
465
513
|
const throwAsyncConst = addConstant(ctx, throwAsync);
|
|
466
514
|
const resVar = newVar(ctx);
|
|
467
515
|
doc.write(`const ${resVar} = ${fnConst}(${accessor});`);
|
|
@@ -489,7 +537,7 @@ function generateCustomRefineCheck(doc, ctx, check, accessor) {
|
|
|
489
537
|
throwAsync();
|
|
490
538
|
return fakePayload.issues.length === 0 ? fakePayload.value : INVALID;
|
|
491
539
|
};
|
|
492
|
-
const helperConst =
|
|
540
|
+
const helperConst = addUserConstant(ctx, helperFn);
|
|
493
541
|
const outVar = newVar(ctx);
|
|
494
542
|
doc.write(`const ${outVar} = ${helperConst}(${accessor});`);
|
|
495
543
|
doc.write(`if (${outVar} === INVALID) return INVALID;`);
|
|
@@ -566,6 +614,11 @@ function generateStringFormatCheck(doc, ctx, def, accessor) {
|
|
|
566
614
|
doc.write(`if (!${validator}(${accessor})) return INVALID;`);
|
|
567
615
|
return accessor;
|
|
568
616
|
}
|
|
617
|
+
if (fmt === "iban") {
|
|
618
|
+
const validator = addConstant(ctx, isValidIBAN);
|
|
619
|
+
doc.write(`if (!${validator}(${accessor})) return INVALID;`);
|
|
620
|
+
return accessor;
|
|
621
|
+
}
|
|
569
622
|
const formatDef = def;
|
|
570
623
|
if (fmt === "url" ||
|
|
571
624
|
fmt === "httpurl" ||
|
|
@@ -764,6 +817,10 @@ function generateCheck(doc, ctx, schema, accessor, needsValue = true) {
|
|
|
764
817
|
case "custom":
|
|
765
818
|
typeAccessor = generateCustomCheck(doc, ctx, schema, accessor);
|
|
766
819
|
break;
|
|
820
|
+
case "properties":
|
|
821
|
+
generatePropertiesChecks(doc, ctx, schema._zod.def, accessor, true);
|
|
822
|
+
typeAccessor = accessor;
|
|
823
|
+
break;
|
|
767
824
|
case "transform":
|
|
768
825
|
typeAccessor = generateTransformCheck(doc, ctx, schema, accessor);
|
|
769
826
|
break;
|
|
@@ -1437,7 +1494,7 @@ function generateDiscriminatedUnionCheck(doc, ctx, def, accessor) {
|
|
|
1437
1494
|
if (!values || values.size === 0) {
|
|
1438
1495
|
throw new ZodCompileUnsupportedError("discriminated union option without static discriminator values");
|
|
1439
1496
|
}
|
|
1440
|
-
//
|
|
1497
|
+
// let the interpreter handle collisions instead of compiling first-match dispatch
|
|
1441
1498
|
for (const value of values) {
|
|
1442
1499
|
if (claimed.has(value)) {
|
|
1443
1500
|
throw new ZodCompileUnsupportedError(`duplicate discriminator value ${String(value)}`);
|
|
@@ -1481,6 +1538,8 @@ function literalEquality(ctx, accessor, value) {
|
|
|
1481
1538
|
}
|
|
1482
1539
|
function generateIntersectionCheck(doc, ctx, schema, accessor) {
|
|
1483
1540
|
const def = schema._zod.def;
|
|
1541
|
+
// An unmergeable merge, and a child failing before the merge is even reached, both return INVALID for a case the interpreter answers with a throw.
|
|
1542
|
+
ctx.definite = false;
|
|
1484
1543
|
const leftOutput = compileChild(doc, ctx, def.left, accessor);
|
|
1485
1544
|
const rightOutput = compileChild(doc, ctx, def.right, accessor);
|
|
1486
1545
|
// Hoist the runtime merge helper so recursive object/array merge semantics stay in one place. If the merge is invalid, return INVALID and let the runtime fallback construct canonical errors.
|
|
@@ -1550,14 +1609,15 @@ function generateRecordCheck(doc, ctx, schema, accessor) {
|
|
|
1550
1609
|
// The runtime runs it against each own enumerable key and writes the value
|
|
1551
1610
|
// under the key it produced, so compile it once and call it per key.
|
|
1552
1611
|
const isLoose = def.mode === "loose";
|
|
1553
|
-
|
|
1612
|
+
// the key compiles in its own context, so carry its verdict out: a key schema that can answer INVALID undecidably makes this validator undecidable too
|
|
1613
|
+
const keyFn = compileFn(def.keyType);
|
|
1614
|
+
if (keyFn.definite === false)
|
|
1615
|
+
ctx.definite = false;
|
|
1616
|
+
const keyFast = addConstant(ctx, keyFn);
|
|
1554
1617
|
const numericConst = addConstant(ctx, regexes.number);
|
|
1555
|
-
const propIsEnumerableConst = addConstant(ctx, Object.prototype.propertyIsEnumerable);
|
|
1556
1618
|
const outKeyVar = newVar(ctx);
|
|
1557
|
-
|
|
1558
|
-
doc
|
|
1559
|
-
d.write(`if (${kVar} === "__proto__") continue;`);
|
|
1560
|
-
d.write(`if (!${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
|
|
1619
|
+
// the body runs once per string key and once per symbol key, since a key schema can accept symbols
|
|
1620
|
+
emitOwnKeys(doc, ctx, accessor, kVar, (d) => {
|
|
1561
1621
|
d.write(`let ${outKeyVar} = ${keyFast}(${kVar});`);
|
|
1562
1622
|
// Numeric-string retry, mirroring the runtime: a key the schema rejects as a string is tried again as a number, so z.record(z.number(), …) matches the numeric keys JavaScript stringified on the way in.
|
|
1563
1623
|
d.write(`if (${outKeyVar} === INVALID && typeof ${kVar} === "string" && ${numericConst}.test(${kVar})) ${outKeyVar} = ${keyFast}(Number(${kVar}));`);
|
|
@@ -1576,22 +1636,41 @@ function generateRecordCheck(doc, ctx, schema, accessor) {
|
|
|
1576
1636
|
const valOutput = compileChild(d, ctx, def.valueType, valueVar);
|
|
1577
1637
|
d.write(`${outputVar}[${outKeyVar}] = ${valOutput};`);
|
|
1578
1638
|
});
|
|
1579
|
-
doc.write(`}`);
|
|
1580
1639
|
return outputVar;
|
|
1581
1640
|
}
|
|
1582
|
-
// Plain z.string() keys:
|
|
1583
|
-
|
|
1584
|
-
doc.write(`for (const ${kVar} of Reflect.ownKeys(${accessor})) {`);
|
|
1585
|
-
doc.indented((d) => {
|
|
1586
|
-
d.write(`if (${kVar} === "__proto__") continue;`);
|
|
1587
|
-
d.write(`if (!${propIsEnumerable}.call(${accessor}, ${kVar})) continue;`);
|
|
1588
|
-
d.write(`if (typeof ${kVar} !== "string") return INVALID;`);
|
|
1641
|
+
// Plain z.string() keys: every own enumerable string key's value is validated, and an own enumerable symbol key fails the string key schema, as it does in the runtime's Reflect.ownKeys walk.
|
|
1642
|
+
emitOwnKeys(doc, ctx, accessor, kVar, (d) => {
|
|
1589
1643
|
d.write(`const ${valVar} = ${accessor}[${kVar}];`);
|
|
1590
1644
|
const valOutput = compileChild(d, ctx, def.valueType, valVar);
|
|
1591
1645
|
d.write(`${outputVar}[${kVar}] = ${valOutput};`);
|
|
1646
|
+
}, `return INVALID;`);
|
|
1647
|
+
return outputVar;
|
|
1648
|
+
}
|
|
1649
|
+
// Walks the own enumerable keys of a plain object in Reflect.ownKeys order — strings from getOwnPropertyNames, then symbols — instead of Reflect.ownKeys, whose accumulator made that walk 3–6x the cost of the loop it fed. Both snapshots are taken before any value is read and every key is rechecked with propertyIsEnumerable when visited, exactly the runtime's walk, so a getter that adds, deletes, hides or reveals a key mid-walk sees the runtime's verdict; for-in and Object.keys were no faster and each lost a case (for-in enumerates the prototype chain after the own keys, Object.keys drops a key that is non-enumerable at snapshot time). `body` is written once for the string loop and once for the symbol loop unless `onSymbol` replaces the latter.
|
|
1650
|
+
function emitOwnKeys(doc, ctx, accessor, kVar, body, onSymbol) {
|
|
1651
|
+
const propIsEnumerableConst = addConstant(ctx, Object.prototype.propertyIsEnumerable);
|
|
1652
|
+
const symsVar = newVar(ctx);
|
|
1653
|
+
const keysVar = newVar(ctx);
|
|
1654
|
+
const iVar = newVar(ctx);
|
|
1655
|
+
doc.write(`const ${symsVar} = Object.getOwnPropertySymbols(${accessor});`);
|
|
1656
|
+
doc.write(`const ${keysVar} = Object.getOwnPropertyNames(${accessor});`);
|
|
1657
|
+
doc.write(`for (let ${iVar} = 0; ${iVar} < ${keysVar}.length; ${iVar}++) {`);
|
|
1658
|
+
doc.indented((d) => {
|
|
1659
|
+
d.write(`const ${kVar} = ${keysVar}[${iVar}];`);
|
|
1660
|
+
d.write(`if (${kVar} === "__proto__" || !${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
|
|
1661
|
+
body(d);
|
|
1662
|
+
});
|
|
1663
|
+
doc.write(`}`);
|
|
1664
|
+
doc.write(`for (let ${iVar} = 0; ${iVar} < ${symsVar}.length; ${iVar}++) {`);
|
|
1665
|
+
doc.indented((d) => {
|
|
1666
|
+
d.write(`const ${kVar} = ${symsVar}[${iVar}];`);
|
|
1667
|
+
d.write(`if (!${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
|
|
1668
|
+
if (onSymbol)
|
|
1669
|
+
d.write(onSymbol);
|
|
1670
|
+
else
|
|
1671
|
+
body(d);
|
|
1592
1672
|
});
|
|
1593
1673
|
doc.write(`}`);
|
|
1594
|
-
return outputVar;
|
|
1595
1674
|
}
|
|
1596
1675
|
function literalPropertyKey(ctx, key) {
|
|
1597
1676
|
if (typeof key === "string")
|
|
@@ -1647,7 +1726,7 @@ function generateTemplateLiteralCheck(doc, ctx, schema, accessor) {
|
|
|
1647
1726
|
function generateLazyCheck(doc, ctx, schema, accessor) {
|
|
1648
1727
|
// For lazy schemas, we use a cached parser that falls back to runtime Zod parsing This handles recursive schemas correctly by avoiding infinite compilation loops
|
|
1649
1728
|
const def = schema._zod.def;
|
|
1650
|
-
const getterConst =
|
|
1729
|
+
const getterConst = addUserConstant(ctx, def.getter);
|
|
1651
1730
|
const cacheConst = addConstant(ctx, { parser: null });
|
|
1652
1731
|
doc.write(`if (!${cacheConst}.parser) {`);
|
|
1653
1732
|
doc.indented((d) => {
|
|
@@ -1671,7 +1750,7 @@ function generatePipeCheck(doc, ctx, schema, accessor) {
|
|
|
1671
1750
|
// Validate input type first
|
|
1672
1751
|
const inputOutput = generateCheck(doc, ctx, def.in, accessor);
|
|
1673
1752
|
if (def.transform) {
|
|
1674
|
-
// Apply transform and validate output. The transform may read its second `payload` argument (codec transforms like z.stringbool() push issues there) so wrap the call in a helper that spoofs a payload. Pushed issues signal INVALID and the wrapper falls back to the runtime.
|
|
1753
|
+
// Apply transform and validate output. The transform may read its second `payload` argument (codec transforms like z.stringbool() push issues there) so wrap the call in a helper that spoofs a payload. Pushed issues signal INVALID and the wrapper falls back to the runtime, and a plain function handing back a promise answers INVALID too — union parity, but not a decidable rejection at the top level.
|
|
1675
1754
|
if (isAsyncFunction(def.transform)) {
|
|
1676
1755
|
throw new ZodCompileAsyncError("z.compile: async transforms in pipes are not supported");
|
|
1677
1756
|
}
|
|
@@ -1685,7 +1764,7 @@ function generatePipeCheck(doc, ctx, schema, accessor) {
|
|
|
1685
1764
|
return INVALID;
|
|
1686
1765
|
return fakePayload.issues.length === 0 ? result : INVALID;
|
|
1687
1766
|
};
|
|
1688
|
-
const helperConst =
|
|
1767
|
+
const helperConst = addUserConstant(ctx, helperFn);
|
|
1689
1768
|
const transformedVar = newVar(ctx);
|
|
1690
1769
|
doc.write(`const ${transformedVar} = ${helperConst}(${inputOutput});`);
|
|
1691
1770
|
doc.write(`if (${transformedVar} === INVALID) return INVALID;`);
|
|
@@ -1709,7 +1788,7 @@ function generateCustomCheck(doc, ctx, schema, accessor) {
|
|
|
1709
1788
|
throw new ZodCompileAsyncError("z.compile: async custom predicates are not supported");
|
|
1710
1789
|
}
|
|
1711
1790
|
// Custom schema with a predicate function (e.g. z.instanceof). `isAsyncFunction` above is syntactic, so a plain function returning a promise reaches here, and a promise is truthy — it would read as a pass where the interpreter throws.
|
|
1712
|
-
const fnConst =
|
|
1791
|
+
const fnConst = addUserConstant(ctx, def.fn);
|
|
1713
1792
|
const throwAsyncConst = addConstant(ctx, throwAsync);
|
|
1714
1793
|
const resVar = newVar(ctx);
|
|
1715
1794
|
doc.write(`const ${resVar} = ${fnConst}(${accessor});`);
|
|
@@ -1746,7 +1825,7 @@ function generateCatchCheck(doc, ctx, schema, accessor) {
|
|
|
1746
1825
|
});
|
|
1747
1826
|
doc.write(`})();`);
|
|
1748
1827
|
const innerConst = addConstant(ctx, def.innerType);
|
|
1749
|
-
const catchConst =
|
|
1828
|
+
const catchConst = addUserConstant(ctx, def.catchValue);
|
|
1750
1829
|
const catchHelperConst = addConstant(ctx, runtimeCatch);
|
|
1751
1830
|
doc.write(`if (${outputVar} === INVALID) {`);
|
|
1752
1831
|
doc.indented((d) => {
|
|
@@ -1773,7 +1852,7 @@ function generateTransformCheck(doc, ctx, schema, accessor) {
|
|
|
1773
1852
|
return INVALID;
|
|
1774
1853
|
return fakePayload.issues.length === 0 ? result : INVALID;
|
|
1775
1854
|
};
|
|
1776
|
-
const helperConst =
|
|
1855
|
+
const helperConst = addUserConstant(ctx, helperFn);
|
|
1777
1856
|
const outputVar = newVar(ctx);
|
|
1778
1857
|
doc.write(`const ${outputVar} = ${helperConst}(${accessor});`);
|
|
1779
1858
|
doc.write(`if (${outputVar} === INVALID) return INVALID;`);
|
package/vendor/zod/core/doc.js
CHANGED
|
@@ -5,10 +5,15 @@ export class Doc {
|
|
|
5
5
|
this.args = args;
|
|
6
6
|
this.closed = closed;
|
|
7
7
|
}
|
|
8
|
+
// the compiler catches a child's throw and keeps writing into this doc, so the indent has to unwind with it
|
|
8
9
|
indented(fn) {
|
|
9
10
|
this.indent += 1;
|
|
10
|
-
|
|
11
|
-
|
|
11
|
+
try {
|
|
12
|
+
fn(this);
|
|
13
|
+
}
|
|
14
|
+
finally {
|
|
15
|
+
this.indent -= 1;
|
|
16
|
+
}
|
|
12
17
|
}
|
|
13
18
|
write(arg) {
|
|
14
19
|
if (typeof arg === "function") {
|