npm - zod-aot - Versions diffs - 0.15.1 → 0.16.0 - Mend

zod-aot 0.15.1 → 0.16.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.

Files changed (141) hide show

package/dist/core/codegen/context.d.ts CHANGED Viewed

@@ -1,4 +1,4 @@
-import type { BigIntCheckIR, CheckIR, DateCheckIR, SchemaIR } from "../types.js";
+import type { BigIntCheckIR, CheckIR, CheckOrEffectIR, DateCheckIR, SchemaIR } from "../types.js";
 export interface CodeGenResult {
     code: string;
     functionDef: string;
@@ -12,7 +12,7 @@ export interface CodeGenContext {
     counter: number;
     fnName: string;
 }
-export type GenerateValidationFn = (ir: SchemaIR, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext) => string;
+export type GenerateValidationFn = (ir: SchemaIR, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext) => string;
 export type GenerateFastCheckFn = (ir: SchemaIR, inputExpr: string, ctx: CodeGenContext) => string | null;
 export declare const EMAIL_REGEX_SOURCE: string;
 /** Fallback UUID regex used when the extractor doesn't provide a pattern (e.g. in unit tests). */
@@ -28,7 +28,16 @@ export declare function escapeString(s: string): string;
 export declare function hasMutation(ir: SchemaIR): boolean;
 /**
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
- * Used as `[...ir.checks].sort(checkPriority)`.
+ * Used by fast-check generators (which never encounter refine_effect).
  */
 export declare function checkPriority(a: CheckIR | BigIntCheckIR | DateCheckIR, b: CheckIR | BigIntCheckIR | DateCheckIR): number;
+/**
+ * Sort compilable checks by cost (cheapest first) while preserving
+ * the original position of refine_effect entries.
+ *
+ * Zod preserves insertion order for checks. Compilable checks (typeof, length,
+ * regex) are reordered for performance, but refine_effect entries stay at their
+ * original index to maintain semantic parity with Zod.
+ */
+export declare function sortChecksPreservingEffects<T extends CheckIR | CheckOrEffectIR | BigIntCheckIR | DateCheckIR>(checks: T[]): T[];
 //# sourceMappingURL=context.d.ts.map

package/dist/core/codegen/context.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;~~AAEjF~~,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAEZ,MAAM,MAAM,mBAAmB,GAAG,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,GAAG,IAAI,CAAC;AAGnB,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K,qFAAqF;AACrF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AA8BvC,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,~~CAqCjD~~;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,EACxC,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,GACvC,MAAM,CAER"}
1	+ {"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAElG,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAEZ,MAAM,MAAM,mBAAmB,GAAG,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,GAAG,IAAI,CAAC;AAGnB,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K,qFAAqF;AACrF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AA8BvC,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,CAsCjD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,EACxC,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,GACvC,MAAM,CAER;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,CAAC,SAAS,OAAO,GAAG,eAAe,GAAG,aAAa,GAAG,WAAW,EACjE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CA6BlB"}

package/dist/core/codegen/context.js CHANGED Viewed

@@ -49,6 +49,7 @@ export function hasMutation(ir) {
             return ir.coerce === true;
         case "default":
         case "catch":
+        case "effect":
             return true;
         case "object":
             return Object.values(ir.properties).some(hasMutation);
@@ -79,9 +80,42 @@ export function hasMutation(ir) {
 }
 /**
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
- * Used as `[...ir.checks].sort(checkPriority)`.
+ * Used by fast-check generators (which never encounter refine_effect).
  */
 export function checkPriority(a, b) {
     return (CHECK_PRIORITY[a.kind] ?? 99) - (CHECK_PRIORITY[b.kind] ?? 99);
 }
+/**
+ * Sort compilable checks by cost (cheapest first) while preserving
+ * the original position of refine_effect entries.
+ *
+ * Zod preserves insertion order for checks. Compilable checks (typeof, length,
+ * regex) are reordered for performance, but refine_effect entries stay at their
+ * original index to maintain semantic parity with Zod.
+ */
+export function sortChecksPreservingEffects(checks) {
+    const result = new Array(checks.length);
+    const compilable = [];
+    // First pass: place refine_effects at their original positions
+    for (let i = 0; i < checks.length; i++) {
+        const check = checks[i];
+        if (check.kind === "refine_effect") {
+            result[i] = check;
+        }
+        else {
+            compilable.push({ check, originalIndex: i });
+        }
+    }
+    // Sort compilable checks by priority (cheapest first)
+    compilable.sort((a, b) => (CHECK_PRIORITY[a.check.kind] ?? 99) - (CHECK_PRIORITY[b.check.kind] ?? 99));
+    // Fill remaining slots with sorted compilable checks
+    let ci = 0;
+    for (let i = 0; i < result.length; i++) {
+        if (result[i] === undefined) {
+            const entry = compilable[ci++];
+            result[i] = entry.check;
+        }
+    }
+    return result;
+}
 //# sourceMappingURL=context.js.map

package/dist/core/codegen/context.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"~~AA+BA~~,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAM,cAAc,GAA2B;IAC7C,2CAA2C;IAC3C,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,EAAE;IACZ,8CAA8C;IAC9C,aAAa,EAAE,EAAE;IACjB,oBAAoB;IACpB,YAAY,EAAE,EAAE;IAChB,SAAS,EAAE,EAAE;IACb,mBAAmB,EAAE,EAAE;IACvB,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,EAAE;IAClB,SAAS;IACT,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,iDAAiD;IACjD,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,oCAAoC;IACpC,QAAQ,EAAE,EAAE;IACZ,yBAAyB;IACzB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAY;IACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC;QAC5B,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;~~YACV~~,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,OAAO,CAAC;QACb,KAAK,oBAAoB;YACvB,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,OAAO,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACnD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAwC,EACxC,CAAwC;IAExC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC"}
1	+ {"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAgCA,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAM,cAAc,GAA2B;IAC7C,2CAA2C;IAC3C,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,EAAE;IACZ,8CAA8C;IAC9C,aAAa,EAAE,EAAE;IACjB,oBAAoB;IACpB,YAAY,EAAE,EAAE;IAChB,SAAS,EAAE,EAAE;IACb,mBAAmB,EAAE,EAAE;IACvB,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,EAAE;IAClB,SAAS;IACT,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,iDAAiD;IACjD,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,oCAAoC;IACpC,QAAQ,EAAE,EAAE;IACZ,yBAAyB;IACzB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAY;IACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC;QAC5B,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,OAAO,CAAC;QACb,KAAK,oBAAoB;YACvB,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,OAAO,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACnD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAwC,EACxC,CAAwC;IAExC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CAEzC,MAAW;IACX,MAAM,MAAM,GAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,UAAU,GAA0C,EAAE,CAAC;IAE7D,+DAA+D;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAM,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,UAAU,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CACtF,CAAC;IAEF,qDAAqD;IACrD,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,EAAE,CAAgC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/codegen/fast-check/array.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,~~EAAE~~,MAAM,gBAAgB,CAAC;~~AAC9C~~,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,OAAO,EACX,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,~~CA2Bf~~"}
1	+ {"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAW,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,OAAO,EACX,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CA8Bf"}

package/dist/core/codegen/fast-check/array.js CHANGED Viewed

@@ -1,8 +1,11 @@
 import { checkPriority } from "../context.js";
 export function fastCheckArray(ir, x, ctx, generateFn) {
+    if (ir.checks.some((c) => c.kind === "refine_effect"))
+        return null;
     const parts = [`Array.isArray(${x})`];
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
     // Size checks
-    for (const check of [...ir.checks].sort(checkPriority)) {
+    for (const check of checks.sort(checkPriority)) {
         switch (check.kind) {
             case "min_length":
                 parts.push(`${x}.length>=${check.minimum}`);

package/dist/core/codegen/fast-check/array.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;~~IAEhD~~,~~cAAc;IACd~~,~~KAAK~~,MAAM,~~KAAK~~,~~IAAI~~,CAAC,~~GAAG~~,EAAE,CAAC,~~MAAM~~,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;~~QACvD~~,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,OAAO,KAAK,SAAS,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
1	+ {"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAEjF,cAAc;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,OAAO,KAAK,SAAS,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-check/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBpD;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,GAAG,IAAI,~~CA6Ff~~"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBpD;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,GAAG,IAAI,CA8Ff"}

package/dist/core/codegen/fast-check/index.js CHANGED Viewed

@@ -34,6 +34,7 @@ export function generateFastCheck(ir, inputExpr, ctx) {
         case "unknown":
             return "true";
         // ── NOT ELIGIBLE ────────────────────────────────────────────────────
+        case "effect":
         case "fallback":
         case "default":
         case "catch":

package/dist/core/codegen/fast-check/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,uEAAuE;QACvE,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAEhB,uEAAuE;QACvE,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QAEd,uEAAuE;QACvE,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,UAAU,SAAS,cAAc,CAAC;QAC3C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAExC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,SAAS,CAAC;QAC/B,KAAK,WAAW;YACd,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,UAAU,SAAS,aAAa,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,UAAU,SAAS,6BAA6B,SAAS,GAAG,CAAC;QACtE,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QAEjB,uEAAuE;QACvE,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAEzC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE3C,uEAAuE;QACvE,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9E,OAAO,UAAU,SAAS,gBAAgB,QAAQ,SAAS,SAAS,GAAG,CAAC;QAC1E,CAAC;QAED,uEAAuE;QACvE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAChE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEhE,uEAAuE;QACvE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAE9D,uEAAuE;QACvE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC5E,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEtE,uEAAuE;QACvE,KAAK,cAAc;YACjB,uEAAuE;YACvE,uDAAuD;YACvD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,uEAAuE;QACvE,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAEhB,uEAAuE;QACvE,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QAEd,uEAAuE;QACvE,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,UAAU,SAAS,cAAc,CAAC;QAC3C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAExC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,SAAS,CAAC;QAC/B,KAAK,WAAW;YACd,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,UAAU,SAAS,aAAa,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,UAAU,SAAS,6BAA6B,SAAS,GAAG,CAAC;QACtE,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QAEjB,uEAAuE;QACvE,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAEzC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE3C,uEAAuE;QACvE,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9E,OAAO,UAAU,SAAS,gBAAgB,QAAQ,SAAS,SAAS,GAAG,CAAC;QAC1E,CAAC;QAED,uEAAuE;QACvE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAChE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEhE,uEAAuE;QACvE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAE9D,uEAAuE;QACvE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC5E,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEtE,uEAAuE;QACvE,KAAK,cAAc;YACjB,uEAAuE;YACvE,uDAAuD;YACvD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

package/dist/core/codegen/fast-check/number.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,~~EAAE~~,QAAQ,EAAE,MAAM,gBAAgB,CAAC;~~AAG/C~~,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,~~CAkDtE~~"}
1	+ {"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAGxD,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAqDtE"}

package/dist/core/codegen/fast-check/number.js CHANGED Viewed

@@ -1,11 +1,14 @@
 import { checkPriority } from "../context.js";
 export function fastCheckNumber(ir, x) {
+    if (ir.checks.some((c) => c.kind === "refine_effect"))
+        return null;
     const parts = [
         `typeof ${x}==="number"`,
         `!Number.isNaN(${x})`,
         `Number.isFinite(${x})`,
     ];
-    for (const check of [...ir.checks].sort(checkPriority)) {
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
+    for (const check of checks.sort(checkPriority)) {
         switch (check.kind) {
             case "number_format":
                 switch (check.format) {

package/dist/core/codegen/fast-check/number.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,MAAM,KAAK,GAAa;QACtB,UAAU,CAAC,aAAa;QACxB,iBAAiB,CAAC,GAAG;QACrB,mBAAmB,CAAC,GAAG;KACxB,CAAC;~~IAEF~~,~~KAAK~~,MAAM,~~KAAK~~,~~IAAI~~,CAAC,~~GAAG~~,EAAE,CAAC,~~MAAM~~,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;~~QACvD~~,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe;gBAClB,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;wBACzC,MAAM;oBACR,KAAK,OAAO;wBACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;wBAC9B,MAAM;oBACR,KAAK,QAAQ;wBACX,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;wBAC/D,MAAM;oBACR,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBACvC,MAAM;oBACR,KAAK,SAAS;wBACZ,uCAAuC;wBACvC,MAAM;gBACV,CAAC;gBACD,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,aAAa,CAAC;YACnB,KAAK,WAAW;gBACd,iEAAiE;gBACjE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
1	+ {"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,KAAK,GAAa;QACtB,UAAU,CAAC,aAAa;QACxB,iBAAiB,CAAC,GAAG;QACrB,mBAAmB,CAAC,GAAG;KACxB,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAEjF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe;gBAClB,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;wBACzC,MAAM;oBACR,KAAK,OAAO;wBACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;wBAC9B,MAAM;oBACR,KAAK,QAAQ;wBACX,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;wBAC/D,MAAM;oBACR,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBACvC,MAAM;oBACR,KAAK,SAAS;wBACZ,uCAAuC;wBACvC,MAAM;gBACV,CAAC;gBACD,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,aAAa,CAAC;YACnB,KAAK,WAAW;gBACd,iEAAiE;gBACjE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-check/object.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,EACZ,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,~~CAWf~~"}
1	+ {"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,EACZ,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAcf"}

package/dist/core/codegen/fast-check/object.js CHANGED Viewed

@@ -1,5 +1,8 @@
 import { escapeString } from "../context.js";
 export function fastCheckObject(ir, x, ctx, generateFn) {
+    // Object with refine effects is not eligible for Fast Path
+    if (ir.checks && ir.checks.length > 0)
+        return null;
     const parts = [`typeof ${x}==="object"`, `${x}!==null`, `!Array.isArray(${x})`];
     for (const [key, propIR] of Object.entries(ir.properties)) {
         const propExpr = `${x}[${escapeString(key)}]`;

package/dist/core/codegen/fast-check/object.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,eAAe,CAC7B,EAAY,EACZ,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,iBAAiB;QACtD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
1	+ {"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,eAAe,CAC7B,EAAY,EACZ,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,2DAA2D;IAC3D,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,iBAAiB;QACtD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-check/string.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,~~EAAE~~,QAAQ,EAAE,MAAM,gBAAgB,CAAC;~~AAC/C~~,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,MAAM,GAAG,IAAI,~~CA0D3F~~"}
1	+ {"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,MAAM,GAAG,IAAI,CA6D3F"}

package/dist/core/codegen/fast-check/string.js CHANGED Viewed

@@ -1,7 +1,10 @@
 import { checkPriority, EMAIL_REGEX_SOURCE, escapeString, UUID_REGEX_SOURCE } from "../context.js";
 export function fastCheckString(ir, x, ctx) {
+    if (ir.checks.some((c) => c.kind === "refine_effect"))
+        return null;
     const parts = [`typeof ${x}==="string"`];
-    for (const check of [...ir.checks].sort(checkPriority)) {
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
+    for (const check of checks.sort(checkPriority)) {
         switch (check.kind) {
             case "min_length":
                 parts.push(`${x}.length>=${check.minimum}`);

package/dist/core/codegen/fast-check/string.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/string.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEnG,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IAC1E,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;~~IAEnD~~,~~KAAK~~,MAAM,~~KAAK~~,~~IAAI~~,CAAC,~~GAAG~~,EAAE,CAAC,~~MAAM~~,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;~~QACvD~~,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAC1B,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;oBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACrD,CAAC;gBACF,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACxC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBAClC,oEAAoE;oBACpE,OAAO,IAAI,CAAC;gBACd,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;oBAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACrD,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
1	+ {"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/string.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEnG,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IAC1E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAEjF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAC1B,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;oBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACrD,CAAC;gBACF,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACxC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBAClC,oEAAoE;oBACpE,OAAO,IAAI,CAAC;gBACd,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;oBAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACrD,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/generators/array.d.ts CHANGED Viewed

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateArrayValidation(ir: SchemaIR & {
     type: "array";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=array.d.ts.map

package/dist/core/codegen/generators/array.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;~~AAI1E~~,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,~~CA4CR~~"}
1	+ {"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAK1E,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CA+CR"}

package/dist/core/codegen/generators/array.js CHANGED Viewed

@@ -1,12 +1,13 @@
 import { hasMutation } from "../context.js";
 import { emit } from "../emit.js";
-export function generateArrayValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+import { generateRefineCheck } from "./effect.js";
+export function generateArrayValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     let code = emit `
     if(!Array.isArray(${inputExpr})){
       ${issuesVar}.push({code:"invalid_type",expected:"array",input:${inputExpr},path:${pathExpr}});
     }else{`;
     if (hasMutation(ir.element)) {
-        code += `${inputExpr}=${inputExpr}.slice();`;
+        code += `${outputExpr}=${inputExpr}.slice();`;
     }
     for (const check of ir.checks) {
         switch (check.kind) {
@@ -30,6 +31,9 @@ export function generateArrayValidation(ir, inputExpr, pathExpr, issuesVar, ctx,
             ${issuesVar}.push({code:"too_big",maximum:${check.length},origin:"array",inclusive:true,exact:true,input:${inputExpr},path:${pathExpr}});
           }`;
                 break;
+            case "refine_effect":
+                code += generateRefineCheck(check, inputExpr, pathExpr, issuesVar);
+                break;
         }
     }
     const idxVar = `__i_${ctx.counter++}`;
@@ -37,7 +41,7 @@ export function generateArrayValidation(ir, inputExpr, pathExpr, issuesVar, ctx,
     const elemPath = `${pathExpr}.concat(${idxVar})`;
     code += emit `
     for(var ${idxVar}=0;${idxVar}<${inputExpr}.length;${idxVar}++){
-      ${generateFn(ir.element, elemExpr, elemPath, issuesVar, ctx)}
+      ${generateFn(ir.element, elemExpr, elemExpr, elemPath, issuesVar, ctx)}
     }
   }`;
     return `${code}\n`;

package/dist/core/codegen/generators/array.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;~~AAElC~~,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,IAAI,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,~~SAAS~~,IAAI,SAAS,WAAW,CAAC;~~IAC/C~~,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC7H,CAAC;gBACL,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC3H,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,MAAM;cACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;qBAC9H,SAAS,WAAW,KAAK,CAAC,MAAM;cACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;YACrI,CAAC;gBACL,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IACjD,IAAI,IAAI,IAAI,CAAA;cACA,MAAM,MAAM,MAAM,IAAI,SAAS,WAAW,MAAM;QACtD,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;~~IAE9D~~,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
1	+ {"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,IAAI,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,UAAU,IAAI,SAAS,WAAW,CAAC;IAChD,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC7H,CAAC;gBACL,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC3H,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,MAAM;cACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;qBAC9H,SAAS,WAAW,KAAK,CAAC,MAAM;cACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;YACrI,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACnE,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IACjD,IAAI,IAAI,IAAI,CAAA;cACA,MAAM,MAAM,MAAM,IAAI,SAAS,WAAW,MAAM;QACtD,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;IAExE,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/bigint.d.ts CHANGED Viewed

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext } from "../context.js";
 export declare function generateBigIntValidation(ir: SchemaIR & {
     type: "bigint";
-}, inputExpr: string, pathExpr: string, issuesVar: string, _ctx: CodeGenContext): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, _ctx: CodeGenContext): string;
 //# sourceMappingURL=bigint.d.ts.map

package/dist/core/codegen/generators/bigint.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAIpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc,GACnB,MAAM,CAoDR"}
1	+ {"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAIpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc,GACnB,MAAM,CAoDR"}

package/dist/core/codegen/generators/bigint.js CHANGED Viewed

@@ -1,9 +1,9 @@
 import { checkPriority } from "../context.js";
 import { emit } from "../emit.js";
-export function generateBigIntValidation(ir, inputExpr, pathExpr, issuesVar, _ctx) {
+export function generateBigIntValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, _ctx) {
     let code = "";
     if (ir.coerce) {
-        code += emit `try{${inputExpr}=BigInt(${inputExpr});}catch(_){}`;
+        code += emit `try{${outputExpr}=BigInt(${inputExpr});}catch(_){}`;
     }
     code += emit `
     if(typeof ${inputExpr}!=="bigint"){

package/dist/core/codegen/generators/bigint.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,~~SAAS~~,WAAW,SAAS,eAAe,CAAC;~~IAClE~~,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,qBAAqB;oBACxB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,2BAA2B,SAAS,SAAS,QAAQ;cACpH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
1	+ {"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,UAAU,WAAW,SAAS,eAAe,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,qBAAqB;oBACxB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,2BAA2B,SAAS,SAAS,QAAQ;cACpH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/boolean.d.ts CHANGED Viewed

@@ -1,5 +1,5 @@
 import type { SchemaIR } from "../../types.js";
 export declare function generateBooleanValidation(ir: SchemaIR & {
     type: "boolean";
-}, inputExpr: string, pathExpr: string, issuesVar: string): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string): string;
 //# sourceMappingURL=boolean.d.ts.map

package/dist/core/codegen/generators/boolean.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,EAClC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAWR"}
1	+ {"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,EAClC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAWR"}

package/dist/core/codegen/generators/boolean.js CHANGED Viewed

@@ -1,8 +1,8 @@
 import { emit } from "../emit.js";
-export function generateBooleanValidation(ir, inputExpr, pathExpr, issuesVar) {
+export function generateBooleanValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar) {
     let code = "";
     if (ir.coerce) {
-        code += emit `${inputExpr}=Boolean(${inputExpr});`;
+        code += emit `${outputExpr}=Boolean(${inputExpr});`;
     }
     code += emit `
     if(typeof ${inputExpr}!=="boolean"){

package/dist/core/codegen/generators/boolean.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/boolean.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,yBAAyB,CACvC,EAAkC,EAClC,SAAiB,EACjB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,~~SAAS~~,YAAY,SAAS,IAAI,CAAC;~~IACpD~~,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,uDAAuD,SAAS,SAAS,QAAQ;;GAE/F,CAAC;IACF,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
1	+ {"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/boolean.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,yBAAyB,CACvC,EAAkC,EAClC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,UAAU,YAAY,SAAS,IAAI,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,uDAAuD,SAAS,SAAS,QAAQ;;GAE/F,CAAC;IACF,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/catch.d.ts CHANGED Viewed

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateCatchValidation(ir: SchemaIR & {
     type: "catch";
-}, inputExpr: string, pathExpr: string, _issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, _issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=catch.d.ts.map

package/dist/core/codegen/generators/catch.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"catch.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/catch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CASR"}
1	+ {"version":3,"file":"catch.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/catch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CASR"}

package/dist/core/codegen/generators/catch.js CHANGED Viewed

@@ -1,10 +1,10 @@
-export function generateCatchValidation(ir, inputExpr, pathExpr, _issuesVar, ctx, generateFn) {
+export function generateCatchValidation(ir, inputExpr, outputExpr, pathExpr, _issuesVar, ctx, generateFn) {
     const defaultStr = ir.defaultValue === undefined ? "undefined" : JSON.stringify(ir.defaultValue);
     const tempIssues = `__ci_${ctx.counter++}`;
     return [
         `var ${tempIssues}=[];`,
-        generateFn(ir.inner, inputExpr, pathExpr, tempIssues, ctx),
-        `if(${tempIssues}.length>0){${inputExpr}=${defaultStr};}`,
+        generateFn(ir.inner, inputExpr, outputExpr, pathExpr, tempIssues, ctx),
+        `if(${tempIssues}.length>0){${outputExpr}=${defaultStr};}`,
         "",
     ].join("\n");
 }

package/dist/core/codegen/generators/catch.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"catch.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/catch.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,UAAkB,EAClB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC3C,OAAO;QACL,OAAO,UAAU,MAAM;QACvB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC;~~QAC1D~~,MAAM,UAAU,cAAc,~~SAAS~~,IAAI,UAAU,IAAI;~~QACzD~~,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
1	+ {"version":3,"file":"catch.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/catch.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,UAAkB,EAClB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC3C,OAAO;QACL,OAAO,UAAU,MAAM;QACvB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC;QACtE,MAAM,UAAU,cAAc,UAAU,IAAI,UAAU,IAAI;QAC1D,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/core/codegen/generators/date.d.ts CHANGED Viewed

@@ -1,5 +1,5 @@
 import type { SchemaIR } from "../../types.js";
 export declare function generateDateValidation(ir: SchemaIR & {
     type: "date";
-}, inputExpr: string, pathExpr: string, issuesVar: string): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string): string;
 //# sourceMappingURL=date.d.ts.map

package/dist/core/codegen/generators/date.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"date.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/date.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAiDR"}
1	+ {"version":3,"file":"date.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/date.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAiDR"}

package/dist/core/codegen/generators/date.js CHANGED Viewed

@@ -1,8 +1,8 @@
 import { emit } from "../emit.js";
-export function generateDateValidation(ir, inputExpr, pathExpr, issuesVar) {
+export function generateDateValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar) {
     let code = "";
     if (ir.coerce) {
-        code += emit `${inputExpr}=new Date(${inputExpr});`;
+        code += emit `${outputExpr}=new Date(${inputExpr});`;
     }
     code += emit `
     if(!(${inputExpr} instanceof Date)){

package/dist/core/codegen/generators/date.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"date.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/date.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,~~SAAS~~,aAAa,SAAS,IAAI,CAAC;~~IACrD~~,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;WACH,SAAS;QACZ,SAAS,oDAAoD,SAAS,SAAS,QAAQ;qBAC1E,SAAS;QACtB,SAAS,4EAA4E,SAAS,SAAS,QAAQ;MACjH,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,GAAG,SAAS,YAAY,CAAC;YAC1C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,mBAAmB;oBACtB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,IAAI,KAAK,CAAC,SAAS;kBAC5B,SAAS,mCAAmC,KAAK,CAAC,SAAS,uCAAuC,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,KAAK,KAAK,CAAC,SAAS;kBAC7B,SAAS,mCAAmC,KAAK,CAAC,SAAS,wCAAwC,SAAS,SAAS,QAAQ;gBAC/H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,IAAI,KAAK,CAAC,SAAS;kBAC5B,SAAS,iCAAiC,KAAK,CAAC,SAAS,uCAAuC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,KAAK,KAAK,CAAC,SAAS;kBAC7B,SAAS,iCAAiC,KAAK,CAAC,SAAS,wCAAwC,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
1	+ {"version":3,"file":"date.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/date.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,UAAU,aAAa,SAAS,IAAI,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;WACH,SAAS;QACZ,SAAS,oDAAoD,SAAS,SAAS,QAAQ;qBAC1E,SAAS;QACtB,SAAS,4EAA4E,SAAS,SAAS,QAAQ;MACjH,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,GAAG,SAAS,YAAY,CAAC;YAC1C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,mBAAmB;oBACtB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,IAAI,KAAK,CAAC,SAAS;kBAC5B,SAAS,mCAAmC,KAAK,CAAC,SAAS,uCAAuC,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,KAAK,KAAK,CAAC,SAAS;kBAC7B,SAAS,mCAAmC,KAAK,CAAC,SAAS,wCAAwC,SAAS,SAAS,QAAQ;gBAC/H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,IAAI,KAAK,CAAC,SAAS;kBAC5B,SAAS,iCAAiC,KAAK,CAAC,SAAS,uCAAuC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,QAAQ,KAAK,KAAK,CAAC,SAAS;kBAC7B,SAAS,iCAAiC,KAAK,CAAC,SAAS,wCAAwC,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/default.d.ts CHANGED Viewed

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateDefaultValidation(ir: SchemaIR & {
     type: "default";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=default.d.ts.map

package/dist/core/codegen/generators/default.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/default.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,EAClC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAOR"}
1	+ {"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/default.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,EAClC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAOR"}

package/dist/core/codegen/generators/default.js CHANGED Viewed

@@ -1,10 +1,10 @@
 import { emit } from "../emit.js";
-export function generateDefaultValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generateDefaultValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     const defaultValueStr = JSON.stringify(ir.defaultValue);
     return `${emit `
     if(${inputExpr}===undefined){
-      ${inputExpr}=${defaultValueStr};
+      ${outputExpr}=${defaultValueStr};
     }
-  `}\n${generateFn(ir.inner, inputExpr, pathExpr, issuesVar, ctx)}`;
+  `}\n${generateFn(ir.inner, outputExpr, outputExpr, pathExpr, issuesVar, ctx)}`;
 }
 //# sourceMappingURL=default.js.map

package/dist/core/codegen/generators/default.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"default.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/default.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,yBAAyB,CACvC,EAAkC,EAClC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IACxD,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,~~SAAS~~,IAAI,eAAe;;~~GAEjC~~,KAAK,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,~~SAAS~~,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;~~AACpE~~,CAAC"}
1	+ {"version":3,"file":"default.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/default.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,yBAAyB,CACvC,EAAkC,EAClC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IACxD,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,UAAU,IAAI,eAAe;;GAElC,KAAK,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;AACjF,CAAC"}

package/dist/core/codegen/generators/discriminated-union.d.ts CHANGED Viewed

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateDiscriminatedUnionValidation(ir: SchemaIR & {
     type: "discriminatedUnion";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, _outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=discriminated-union.d.ts.map

package/dist/core/codegen/generators/discriminated-union.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAI1E,wBAAgB,oCAAoC,CAClD,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,EAC7C,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAyBR"}
1	+ {"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAI1E,wBAAgB,oCAAoC,CAClD,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,EAC7C,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAyBR"}

package/dist/core/codegen/generators/discriminated-union.js CHANGED Viewed

@@ -1,6 +1,6 @@
 import { escapeString } from "../context.js";
 import { emit } from "../emit.js";
-export function generateDiscriminatedUnionValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generateDiscriminatedUnionValidation(ir, inputExpr, _outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     const discKey = escapeString(ir.discriminator);
     let code = emit `
     if(typeof ${inputExpr}!=="object"||${inputExpr}===null||Array.isArray(${inputExpr})){
@@ -12,7 +12,7 @@ export function generateDiscriminatedUnionValidation(ir, inputExpr, pathExpr, is
         const option = ir.options[index];
         code += emit `
       case ${escapeString(value)}:
-        ${generateFn(option, objVar, pathExpr, issuesVar, ctx)}
+        ${generateFn(option, objVar, objVar, pathExpr, issuesVar, ctx)}
         break;`;
     }
     code += emit `

package/dist/core/codegen/generators/discriminated-union.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/discriminated-union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,oCAAoC,CAClD,EAA6C,EAC7C,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAE/C,IAAI,IAAI,GAAG,IAAI,CAAA;gBACD,SAAS,gBAAgB,SAAS,0BAA0B,SAAS;QAC7E,SAAS,sDAAsD,SAAS,SAAS,QAAQ;WACtF,CAAC;IAEV,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACvC,IAAI,IAAI,OAAO,MAAM,IAAI,SAAS,WAAW,MAAM,IAAI,OAAO,KAAK,CAAC;IAEpE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAa,CAAC;QAC7C,IAAI,IAAI,IAAI,CAAA;aACH,YAAY,CAAC,KAAK,CAAC;UACtB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;~~eAC/C~~,CAAC;IACd,CAAC;IAED,IAAI,IAAI,IAAI,CAAA;;QAEN,SAAS,wFAAwF,OAAO,UAAU,SAAS,SAAS,QAAQ,WAAW,OAAO;;IAElK,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
1	+ {"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/discriminated-union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,oCAAoC,CAClD,EAA6C,EAC7C,SAAiB,EACjB,WAAmB,EACnB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAE/C,IAAI,IAAI,GAAG,IAAI,CAAA;gBACD,SAAS,gBAAgB,SAAS,0BAA0B,SAAS;QAC7E,SAAS,sDAAsD,SAAS,SAAS,QAAQ;WACtF,CAAC;IAEV,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACvC,IAAI,IAAI,OAAO,MAAM,IAAI,SAAS,WAAW,MAAM,IAAI,OAAO,KAAK,CAAC;IAEpE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAa,CAAC;QAC7C,IAAI,IAAI,IAAI,CAAA;aACH,YAAY,CAAC,KAAK,CAAC;UACtB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;eACvD,CAAC;IACd,CAAC;IAED,IAAI,IAAI,IAAI,CAAA;;QAEN,SAAS,wFAAwF,OAAO,UAAU,SAAS,SAAS,QAAQ,WAAW,OAAO;;IAElK,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/effect.d.ts CHANGED Viewed

@@ -4,7 +4,7 @@ import type { CodeGenContext, GenerateValidationFn } from "../context.js";
  * Generate code for a TransformEffectIR node.
  * Validates the inner schema, then applies the transform function and writes back the result.
  */
-export declare function generateTransformEffect(ir: TransformEffectIR, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateValidation: GenerateValidationFn): string;
+export declare function generateTransformEffect(ir: TransformEffectIR, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateValidation: GenerateValidationFn): string;
 /**
  * Generate code for a RefineEffectCheckIR (inline refine function call).
  * Called from string/number/object check loops when a refine_effect is encountered.

package/dist/core/codegen/generators/effect.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,iBAAiB,EACrB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,kBAAkB,EAAE,oBAAoB,GACvC,MAAM,CAWR;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,~~CAKR~~"}
1	+ {"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,iBAAiB,EACrB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,kBAAkB,EAAE,oBAAoB,GACvC,MAAM,CAWR;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAMR"}