zod-aot 0.15.2 → 0.16.1

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 (381) hide show
  1. package/dist/core/codegen/context.d.ts +58 -6
  2. package/dist/core/codegen/context.d.ts.map +1 -1
  3. package/dist/core/codegen/context.js +36 -1
  4. package/dist/core/codegen/context.js.map +1 -1
  5. package/dist/core/codegen/emit.d.ts +1 -1
  6. package/dist/core/codegen/emit.js +1 -1
  7. package/dist/core/codegen/fast-path.d.ts +17 -0
  8. package/dist/core/codegen/fast-path.d.ts.map +1 -0
  9. package/dist/core/codegen/fast-path.js +112 -0
  10. package/dist/core/codegen/fast-path.js.map +1 -0
  11. package/dist/core/codegen/index.d.ts +0 -1
  12. package/dist/core/codegen/index.d.ts.map +1 -1
  13. package/dist/core/codegen/index.js +8 -9
  14. package/dist/core/codegen/index.js.map +1 -1
  15. package/dist/core/codegen/schemas/any.d.ts +5 -0
  16. package/dist/core/codegen/schemas/any.d.ts.map +1 -0
  17. package/dist/core/codegen/schemas/any.js +7 -0
  18. package/dist/core/codegen/schemas/any.js.map +1 -0
  19. package/dist/core/codegen/schemas/array.d.ts +7 -0
  20. package/dist/core/codegen/schemas/array.d.ts.map +1 -0
  21. package/dist/core/codegen/schemas/array.js +79 -0
  22. package/dist/core/codegen/schemas/array.js.map +1 -0
  23. package/dist/core/codegen/schemas/bigint.d.ts +5 -0
  24. package/dist/core/codegen/schemas/bigint.d.ts.map +1 -0
  25. package/dist/core/codegen/schemas/bigint.js +76 -0
  26. package/dist/core/codegen/schemas/bigint.js.map +1 -0
  27. package/dist/core/codegen/schemas/boolean.d.ts +5 -0
  28. package/dist/core/codegen/schemas/boolean.d.ts.map +1 -0
  29. package/dist/core/codegen/schemas/boolean.js +19 -0
  30. package/dist/core/codegen/schemas/boolean.js.map +1 -0
  31. package/dist/core/codegen/schemas/catch.d.ts +6 -0
  32. package/dist/core/codegen/schemas/catch.d.ts.map +1 -0
  33. package/dist/core/codegen/schemas/catch.js +11 -0
  34. package/dist/core/codegen/schemas/catch.js.map +1 -0
  35. package/dist/core/codegen/schemas/date.d.ts +4 -0
  36. package/dist/core/codegen/schemas/date.d.ts.map +1 -0
  37. package/dist/core/codegen/schemas/date.js +52 -0
  38. package/dist/core/codegen/schemas/date.js.map +1 -0
  39. package/dist/core/codegen/schemas/default.d.ts +6 -0
  40. package/dist/core/codegen/schemas/default.d.ts.map +1 -0
  41. package/dist/core/codegen/schemas/default.js +10 -0
  42. package/dist/core/codegen/schemas/default.js.map +1 -0
  43. package/dist/core/codegen/schemas/discriminated-union.d.ts +7 -0
  44. package/dist/core/codegen/schemas/discriminated-union.d.ts.map +1 -0
  45. package/dist/core/codegen/schemas/discriminated-union.js +37 -0
  46. package/dist/core/codegen/schemas/discriminated-union.js.map +1 -0
  47. package/dist/core/codegen/schemas/effect.d.ts +17 -0
  48. package/dist/core/codegen/schemas/effect.d.ts.map +1 -0
  49. package/dist/core/codegen/schemas/effect.js +32 -0
  50. package/dist/core/codegen/schemas/effect.js.map +1 -0
  51. package/dist/core/codegen/schemas/enum.d.ts +5 -0
  52. package/dist/core/codegen/schemas/enum.d.ts.map +1 -0
  53. package/dist/core/codegen/schemas/enum.js +31 -0
  54. package/dist/core/codegen/schemas/enum.js.map +1 -0
  55. package/dist/core/codegen/schemas/fallback.d.ts +4 -0
  56. package/dist/core/codegen/schemas/fallback.d.ts.map +1 -0
  57. package/dist/core/codegen/schemas/fallback.js +23 -0
  58. package/dist/core/codegen/schemas/fallback.js.map +1 -0
  59. package/dist/core/codegen/schemas/intersection.d.ts +7 -0
  60. package/dist/core/codegen/schemas/intersection.d.ts.map +1 -0
  61. package/dist/core/codegen/schemas/intersection.js +13 -0
  62. package/dist/core/codegen/schemas/intersection.js.map +1 -0
  63. package/dist/core/codegen/schemas/literal.d.ts +5 -0
  64. package/dist/core/codegen/schemas/literal.d.ts.map +1 -0
  65. package/dist/core/codegen/schemas/literal.js +45 -0
  66. package/dist/core/codegen/schemas/literal.js.map +1 -0
  67. package/dist/core/codegen/schemas/map.d.ts +6 -0
  68. package/dist/core/codegen/schemas/map.d.ts.map +1 -0
  69. package/dist/core/codegen/schemas/map.js +18 -0
  70. package/dist/core/codegen/schemas/map.js.map +1 -0
  71. package/dist/core/codegen/schemas/nan.d.ts +5 -0
  72. package/dist/core/codegen/schemas/nan.d.ts.map +1 -0
  73. package/dist/core/codegen/schemas/nan.js +12 -0
  74. package/dist/core/codegen/schemas/nan.js.map +1 -0
  75. package/dist/core/codegen/schemas/never.d.ts +5 -0
  76. package/dist/core/codegen/schemas/never.d.ts.map +1 -0
  77. package/dist/core/codegen/schemas/never.js +10 -0
  78. package/dist/core/codegen/schemas/never.js.map +1 -0
  79. package/dist/core/codegen/schemas/null.d.ts +5 -0
  80. package/dist/core/codegen/schemas/null.d.ts.map +1 -0
  81. package/dist/core/codegen/schemas/null.js +12 -0
  82. package/dist/core/codegen/schemas/null.js.map +1 -0
  83. package/dist/core/codegen/schemas/nullable.d.ts +7 -0
  84. package/dist/core/codegen/schemas/nullable.d.ts.map +1 -0
  85. package/dist/core/codegen/schemas/nullable.js +15 -0
  86. package/dist/core/codegen/schemas/nullable.js.map +1 -0
  87. package/dist/core/codegen/schemas/number.d.ts +5 -0
  88. package/dist/core/codegen/schemas/number.d.ts.map +1 -0
  89. package/dist/core/codegen/schemas/number.js +156 -0
  90. package/dist/core/codegen/schemas/number.js.map +1 -0
  91. package/dist/core/codegen/schemas/object.d.ts +7 -0
  92. package/dist/core/codegen/schemas/object.d.ts.map +1 -0
  93. package/dist/core/codegen/schemas/object.js +44 -0
  94. package/dist/core/codegen/schemas/object.js.map +1 -0
  95. package/dist/core/codegen/schemas/optional.d.ts +7 -0
  96. package/dist/core/codegen/schemas/optional.d.ts.map +1 -0
  97. package/dist/core/codegen/schemas/optional.js +15 -0
  98. package/dist/core/codegen/schemas/optional.js.map +1 -0
  99. package/dist/core/codegen/schemas/pipe.d.ts +7 -0
  100. package/dist/core/codegen/schemas/pipe.d.ts.map +1 -0
  101. package/dist/core/codegen/{fast-check → schemas}/pipe.js +7 -3
  102. package/dist/core/codegen/schemas/pipe.js.map +1 -0
  103. package/dist/core/codegen/schemas/readonly.d.ts +7 -0
  104. package/dist/core/codegen/schemas/readonly.d.ts.map +1 -0
  105. package/dist/core/codegen/schemas/readonly.js +7 -0
  106. package/dist/core/codegen/schemas/readonly.js.map +1 -0
  107. package/dist/core/codegen/schemas/record.d.ts +7 -0
  108. package/dist/core/codegen/schemas/record.d.ts.map +1 -0
  109. package/dist/core/codegen/schemas/record.js +50 -0
  110. package/dist/core/codegen/schemas/record.js.map +1 -0
  111. package/dist/core/codegen/schemas/recursive-ref.d.ts +5 -0
  112. package/dist/core/codegen/schemas/recursive-ref.d.ts.map +1 -0
  113. package/dist/core/codegen/schemas/recursive-ref.js +24 -0
  114. package/dist/core/codegen/schemas/recursive-ref.js.map +1 -0
  115. package/dist/core/codegen/schemas/set.d.ts +6 -0
  116. package/dist/core/codegen/schemas/set.d.ts.map +1 -0
  117. package/dist/core/codegen/schemas/set.js +38 -0
  118. package/dist/core/codegen/schemas/set.js.map +1 -0
  119. package/dist/core/codegen/schemas/string.d.ts +5 -0
  120. package/dist/core/codegen/schemas/string.d.ts.map +1 -0
  121. package/dist/core/codegen/schemas/string.js +159 -0
  122. package/dist/core/codegen/schemas/string.js.map +1 -0
  123. package/dist/core/codegen/schemas/symbol.d.ts +5 -0
  124. package/dist/core/codegen/schemas/symbol.d.ts.map +1 -0
  125. package/dist/core/codegen/schemas/symbol.js +12 -0
  126. package/dist/core/codegen/schemas/symbol.js.map +1 -0
  127. package/dist/core/codegen/schemas/template-literal.d.ts +5 -0
  128. package/dist/core/codegen/schemas/template-literal.d.ts.map +1 -0
  129. package/dist/core/codegen/schemas/template-literal.js +15 -0
  130. package/dist/core/codegen/schemas/template-literal.js.map +1 -0
  131. package/dist/core/codegen/schemas/tuple.d.ts +7 -0
  132. package/dist/core/codegen/schemas/tuple.d.ts.map +1 -0
  133. package/dist/core/codegen/schemas/tuple.js +69 -0
  134. package/dist/core/codegen/schemas/tuple.js.map +1 -0
  135. package/dist/core/codegen/schemas/undefined.d.ts +5 -0
  136. package/dist/core/codegen/schemas/undefined.d.ts.map +1 -0
  137. package/dist/core/codegen/schemas/undefined.js +12 -0
  138. package/dist/core/codegen/schemas/undefined.js.map +1 -0
  139. package/dist/core/codegen/schemas/union.d.ts +7 -0
  140. package/dist/core/codegen/schemas/union.d.ts.map +1 -0
  141. package/dist/core/codegen/schemas/union.js +70 -0
  142. package/dist/core/codegen/schemas/union.js.map +1 -0
  143. package/dist/core/codegen/schemas/unknown.d.ts +5 -0
  144. package/dist/core/codegen/schemas/unknown.d.ts.map +1 -0
  145. package/dist/core/codegen/schemas/unknown.js +7 -0
  146. package/dist/core/codegen/schemas/unknown.js.map +1 -0
  147. package/dist/core/codegen/schemas/void.d.ts +5 -0
  148. package/dist/core/codegen/schemas/void.d.ts.map +1 -0
  149. package/dist/core/codegen/schemas/void.js +12 -0
  150. package/dist/core/codegen/schemas/void.js.map +1 -0
  151. package/dist/core/codegen/slow-path.d.ts +5 -0
  152. package/dist/core/codegen/slow-path.d.ts.map +1 -0
  153. package/dist/core/codegen/slow-path.js +116 -0
  154. package/dist/core/codegen/slow-path.js.map +1 -0
  155. package/dist/core/diagnostic.d.ts.map +1 -1
  156. package/dist/core/diagnostic.js +4 -0
  157. package/dist/core/diagnostic.js.map +1 -1
  158. package/dist/core/extract/checks.d.ts +2 -2
  159. package/dist/core/extract/checks.d.ts.map +1 -1
  160. package/dist/core/extract/checks.js +20 -2
  161. package/dist/core/extract/checks.js.map +1 -1
  162. package/dist/core/extract/effects.d.ts +12 -0
  163. package/dist/core/extract/effects.d.ts.map +1 -0
  164. package/dist/core/extract/effects.js +204 -0
  165. package/dist/core/extract/effects.js.map +1 -0
  166. package/dist/core/extract/extractors/pipe.d.ts.map +1 -1
  167. package/dist/core/extract/extractors/pipe.js +6 -0
  168. package/dist/core/extract/extractors/pipe.js.map +1 -1
  169. package/dist/core/extract/index.js +9 -0
  170. package/dist/core/extract/index.js.map +1 -1
  171. package/dist/core/extract/types.d.ts +3 -0
  172. package/dist/core/extract/types.d.ts.map +1 -1
  173. package/dist/core/iife.d.ts.map +1 -1
  174. package/dist/core/iife.js +0 -1
  175. package/dist/core/iife.js.map +1 -1
  176. package/dist/core/types.d.ts +23 -4
  177. package/dist/core/types.d.ts.map +1 -1
  178. package/package.json +1 -2
  179. package/dist/core/codegen/fast-check/array.d.ts +0 -4
  180. package/dist/core/codegen/fast-check/array.d.ts.map +0 -1
  181. package/dist/core/codegen/fast-check/array.js +0 -28
  182. package/dist/core/codegen/fast-check/array.js.map +0 -1
  183. package/dist/core/codegen/fast-check/bigint.d.ts +0 -3
  184. package/dist/core/codegen/fast-check/bigint.d.ts.map +0 -1
  185. package/dist/core/codegen/fast-check/bigint.js +0 -19
  186. package/dist/core/codegen/fast-check/bigint.js.map +0 -1
  187. package/dist/core/codegen/fast-check/discriminated-union.d.ts +0 -4
  188. package/dist/core/codegen/fast-check/discriminated-union.d.ts.map +0 -1
  189. package/dist/core/codegen/fast-check/discriminated-union.js +0 -13
  190. package/dist/core/codegen/fast-check/discriminated-union.js.map +0 -1
  191. package/dist/core/codegen/fast-check/enum.d.ts +0 -4
  192. package/dist/core/codegen/fast-check/enum.d.ts.map +0 -1
  193. package/dist/core/codegen/fast-check/enum.js +0 -12
  194. package/dist/core/codegen/fast-check/enum.js.map +0 -1
  195. package/dist/core/codegen/fast-check/index.d.ts +0 -16
  196. package/dist/core/codegen/fast-check/index.d.ts.map +0 -1
  197. package/dist/core/codegen/fast-check/index.js +0 -118
  198. package/dist/core/codegen/fast-check/index.js.map +0 -1
  199. package/dist/core/codegen/fast-check/intersection.d.ts +0 -4
  200. package/dist/core/codegen/fast-check/intersection.d.ts.map +0 -1
  201. package/dist/core/codegen/fast-check/intersection.js +0 -10
  202. package/dist/core/codegen/fast-check/intersection.js.map +0 -1
  203. package/dist/core/codegen/fast-check/literal.d.ts +0 -3
  204. package/dist/core/codegen/fast-check/literal.d.ts.map +0 -1
  205. package/dist/core/codegen/fast-check/literal.js +0 -8
  206. package/dist/core/codegen/fast-check/literal.js.map +0 -1
  207. package/dist/core/codegen/fast-check/nullable.d.ts +0 -4
  208. package/dist/core/codegen/fast-check/nullable.d.ts.map +0 -1
  209. package/dist/core/codegen/fast-check/nullable.js +0 -7
  210. package/dist/core/codegen/fast-check/nullable.js.map +0 -1
  211. package/dist/core/codegen/fast-check/number.d.ts +0 -3
  212. package/dist/core/codegen/fast-check/number.d.ts.map +0 -1
  213. package/dist/core/codegen/fast-check/number.js +0 -51
  214. package/dist/core/codegen/fast-check/number.js.map +0 -1
  215. package/dist/core/codegen/fast-check/object.d.ts +0 -4
  216. package/dist/core/codegen/fast-check/object.d.ts.map +0 -1
  217. package/dist/core/codegen/fast-check/object.js +0 -13
  218. package/dist/core/codegen/fast-check/object.js.map +0 -1
  219. package/dist/core/codegen/fast-check/optional.d.ts +0 -4
  220. package/dist/core/codegen/fast-check/optional.d.ts.map +0 -1
  221. package/dist/core/codegen/fast-check/optional.js +0 -7
  222. package/dist/core/codegen/fast-check/optional.js.map +0 -1
  223. package/dist/core/codegen/fast-check/pipe.d.ts +0 -4
  224. package/dist/core/codegen/fast-check/pipe.d.ts.map +0 -1
  225. package/dist/core/codegen/fast-check/pipe.js.map +0 -1
  226. package/dist/core/codegen/fast-check/readonly.d.ts +0 -4
  227. package/dist/core/codegen/fast-check/readonly.d.ts.map +0 -1
  228. package/dist/core/codegen/fast-check/readonly.js +0 -4
  229. package/dist/core/codegen/fast-check/readonly.js.map +0 -1
  230. package/dist/core/codegen/fast-check/record.d.ts +0 -4
  231. package/dist/core/codegen/fast-check/record.d.ts.map +0 -1
  232. package/dist/core/codegen/fast-check/record.js +0 -18
  233. package/dist/core/codegen/fast-check/record.js.map +0 -1
  234. package/dist/core/codegen/fast-check/string.d.ts +0 -4
  235. package/dist/core/codegen/fast-check/string.d.ts.map +0 -1
  236. package/dist/core/codegen/fast-check/string.js +0 -62
  237. package/dist/core/codegen/fast-check/string.js.map +0 -1
  238. package/dist/core/codegen/fast-check/tuple.d.ts +0 -4
  239. package/dist/core/codegen/fast-check/tuple.d.ts.map +0 -1
  240. package/dist/core/codegen/fast-check/tuple.js +0 -32
  241. package/dist/core/codegen/fast-check/tuple.js.map +0 -1
  242. package/dist/core/codegen/fast-check/union.d.ts +0 -4
  243. package/dist/core/codegen/fast-check/union.d.ts.map +0 -1
  244. package/dist/core/codegen/fast-check/union.js +0 -12
  245. package/dist/core/codegen/fast-check/union.js.map +0 -1
  246. package/dist/core/codegen/generators/any.d.ts +0 -2
  247. package/dist/core/codegen/generators/any.d.ts.map +0 -1
  248. package/dist/core/codegen/generators/any.js +0 -4
  249. package/dist/core/codegen/generators/any.js.map +0 -1
  250. package/dist/core/codegen/generators/array.d.ts +0 -6
  251. package/dist/core/codegen/generators/array.d.ts.map +0 -1
  252. package/dist/core/codegen/generators/array.js +0 -45
  253. package/dist/core/codegen/generators/array.js.map +0 -1
  254. package/dist/core/codegen/generators/bigint.d.ts +0 -6
  255. package/dist/core/codegen/generators/bigint.d.ts.map +0 -1
  256. package/dist/core/codegen/generators/bigint.js +0 -56
  257. package/dist/core/codegen/generators/bigint.js.map +0 -1
  258. package/dist/core/codegen/generators/boolean.d.ts +0 -5
  259. package/dist/core/codegen/generators/boolean.d.ts.map +0 -1
  260. package/dist/core/codegen/generators/boolean.js +0 -14
  261. package/dist/core/codegen/generators/boolean.js.map +0 -1
  262. package/dist/core/codegen/generators/catch.d.ts +0 -6
  263. package/dist/core/codegen/generators/catch.d.ts.map +0 -1
  264. package/dist/core/codegen/generators/catch.js +0 -11
  265. package/dist/core/codegen/generators/catch.js.map +0 -1
  266. package/dist/core/codegen/generators/date.d.ts +0 -5
  267. package/dist/core/codegen/generators/date.d.ts.map +0 -1
  268. package/dist/core/codegen/generators/date.js +0 -52
  269. package/dist/core/codegen/generators/date.js.map +0 -1
  270. package/dist/core/codegen/generators/default.d.ts +0 -6
  271. package/dist/core/codegen/generators/default.d.ts.map +0 -1
  272. package/dist/core/codegen/generators/default.js +0 -10
  273. package/dist/core/codegen/generators/default.js.map +0 -1
  274. package/dist/core/codegen/generators/discriminated-union.d.ts +0 -6
  275. package/dist/core/codegen/generators/discriminated-union.d.ts.map +0 -1
  276. package/dist/core/codegen/generators/discriminated-union.js +0 -25
  277. package/dist/core/codegen/generators/discriminated-union.js.map +0 -1
  278. package/dist/core/codegen/generators/enum.d.ts +0 -6
  279. package/dist/core/codegen/generators/enum.d.ts.map +0 -1
  280. package/dist/core/codegen/generators/enum.js +0 -21
  281. package/dist/core/codegen/generators/enum.js.map +0 -1
  282. package/dist/core/codegen/generators/fallback.d.ts +0 -3
  283. package/dist/core/codegen/generators/fallback.d.ts.map +0 -1
  284. package/dist/core/codegen/generators/fallback.js +0 -23
  285. package/dist/core/codegen/generators/fallback.js.map +0 -1
  286. package/dist/core/codegen/generators/index.d.ts +0 -4
  287. package/dist/core/codegen/generators/index.d.ts.map +0 -1
  288. package/dist/core/codegen/generators/index.js +0 -104
  289. package/dist/core/codegen/generators/index.js.map +0 -1
  290. package/dist/core/codegen/generators/intersection.d.ts +0 -6
  291. package/dist/core/codegen/generators/intersection.d.ts.map +0 -1
  292. package/dist/core/codegen/generators/intersection.js +0 -4
  293. package/dist/core/codegen/generators/intersection.js.map +0 -1
  294. package/dist/core/codegen/generators/literal.d.ts +0 -5
  295. package/dist/core/codegen/generators/literal.d.ts.map +0 -1
  296. package/dist/core/codegen/generators/literal.js +0 -37
  297. package/dist/core/codegen/generators/literal.js.map +0 -1
  298. package/dist/core/codegen/generators/map.d.ts +0 -6
  299. package/dist/core/codegen/generators/map.d.ts.map +0 -1
  300. package/dist/core/codegen/generators/map.js +0 -19
  301. package/dist/core/codegen/generators/map.js.map +0 -1
  302. package/dist/core/codegen/generators/nan.d.ts +0 -2
  303. package/dist/core/codegen/generators/nan.d.ts.map +0 -1
  304. package/dist/core/codegen/generators/nan.js +0 -9
  305. package/dist/core/codegen/generators/nan.js.map +0 -1
  306. package/dist/core/codegen/generators/never.d.ts +0 -2
  307. package/dist/core/codegen/generators/never.d.ts.map +0 -1
  308. package/dist/core/codegen/generators/never.js +0 -7
  309. package/dist/core/codegen/generators/never.js.map +0 -1
  310. package/dist/core/codegen/generators/null.d.ts +0 -2
  311. package/dist/core/codegen/generators/null.d.ts.map +0 -1
  312. package/dist/core/codegen/generators/null.js +0 -9
  313. package/dist/core/codegen/generators/null.js.map +0 -1
  314. package/dist/core/codegen/generators/nullable.d.ts +0 -6
  315. package/dist/core/codegen/generators/nullable.d.ts.map +0 -1
  316. package/dist/core/codegen/generators/nullable.js +0 -9
  317. package/dist/core/codegen/generators/nullable.js.map +0 -1
  318. package/dist/core/codegen/generators/number.d.ts +0 -6
  319. package/dist/core/codegen/generators/number.d.ts.map +0 -1
  320. package/dist/core/codegen/generators/number.js +0 -97
  321. package/dist/core/codegen/generators/number.js.map +0 -1
  322. package/dist/core/codegen/generators/object.d.ts +0 -6
  323. package/dist/core/codegen/generators/object.d.ts.map +0 -1
  324. package/dist/core/codegen/generators/object.js +0 -24
  325. package/dist/core/codegen/generators/object.js.map +0 -1
  326. package/dist/core/codegen/generators/optional.d.ts +0 -6
  327. package/dist/core/codegen/generators/optional.d.ts.map +0 -1
  328. package/dist/core/codegen/generators/optional.js +0 -9
  329. package/dist/core/codegen/generators/optional.js.map +0 -1
  330. package/dist/core/codegen/generators/pipe.d.ts +0 -6
  331. package/dist/core/codegen/generators/pipe.d.ts.map +0 -1
  332. package/dist/core/codegen/generators/pipe.js +0 -5
  333. package/dist/core/codegen/generators/pipe.js.map +0 -1
  334. package/dist/core/codegen/generators/readonly.d.ts +0 -6
  335. package/dist/core/codegen/generators/readonly.d.ts.map +0 -1
  336. package/dist/core/codegen/generators/readonly.js +0 -4
  337. package/dist/core/codegen/generators/readonly.js.map +0 -1
  338. package/dist/core/codegen/generators/record.d.ts +0 -6
  339. package/dist/core/codegen/generators/record.d.ts.map +0 -1
  340. package/dist/core/codegen/generators/record.js +0 -32
  341. package/dist/core/codegen/generators/record.js.map +0 -1
  342. package/dist/core/codegen/generators/recursive-ref.d.ts +0 -3
  343. package/dist/core/codegen/generators/recursive-ref.d.ts.map +0 -1
  344. package/dist/core/codegen/generators/recursive-ref.js +0 -20
  345. package/dist/core/codegen/generators/recursive-ref.js.map +0 -1
  346. package/dist/core/codegen/generators/set.d.ts +0 -6
  347. package/dist/core/codegen/generators/set.d.ts.map +0 -1
  348. package/dist/core/codegen/generators/set.js +0 -39
  349. package/dist/core/codegen/generators/set.js.map +0 -1
  350. package/dist/core/codegen/generators/string.d.ts +0 -6
  351. package/dist/core/codegen/generators/string.d.ts.map +0 -1
  352. package/dist/core/codegen/generators/string.js +0 -97
  353. package/dist/core/codegen/generators/string.js.map +0 -1
  354. package/dist/core/codegen/generators/symbol.d.ts +0 -2
  355. package/dist/core/codegen/generators/symbol.d.ts.map +0 -1
  356. package/dist/core/codegen/generators/symbol.js +0 -9
  357. package/dist/core/codegen/generators/symbol.js.map +0 -1
  358. package/dist/core/codegen/generators/template-literal.d.ts +0 -6
  359. package/dist/core/codegen/generators/template-literal.d.ts.map +0 -1
  360. package/dist/core/codegen/generators/template-literal.js +0 -13
  361. package/dist/core/codegen/generators/template-literal.js.map +0 -1
  362. package/dist/core/codegen/generators/tuple.d.ts +0 -6
  363. package/dist/core/codegen/generators/tuple.d.ts.map +0 -1
  364. package/dist/core/codegen/generators/tuple.js +0 -37
  365. package/dist/core/codegen/generators/tuple.js.map +0 -1
  366. package/dist/core/codegen/generators/undefined.d.ts +0 -2
  367. package/dist/core/codegen/generators/undefined.d.ts.map +0 -1
  368. package/dist/core/codegen/generators/undefined.js +0 -9
  369. package/dist/core/codegen/generators/undefined.js.map +0 -1
  370. package/dist/core/codegen/generators/union.d.ts +0 -6
  371. package/dist/core/codegen/generators/union.d.ts.map +0 -1
  372. package/dist/core/codegen/generators/union.js +0 -33
  373. package/dist/core/codegen/generators/union.js.map +0 -1
  374. package/dist/core/codegen/generators/unknown.d.ts +0 -2
  375. package/dist/core/codegen/generators/unknown.d.ts.map +0 -1
  376. package/dist/core/codegen/generators/unknown.js +0 -4
  377. package/dist/core/codegen/generators/unknown.js.map +0 -1
  378. package/dist/core/codegen/generators/void.d.ts +0 -2
  379. package/dist/core/codegen/generators/void.d.ts.map +0 -1
  380. package/dist/core/codegen/generators/void.js +0 -9
  381. package/dist/core/codegen/generators/void.js.map +0 -1
@@ -1,19 +1,62 @@
1
- import type { BigIntCheckIR, CheckIR, DateCheckIR, SchemaIR } from "../types.js";
1
+ import type { BigIntCheckIR, CheckIR, CheckOrEffectIR, DateCheckIR, SchemaIR } from "../types.js";
2
2
  export interface CodeGenResult {
3
3
  code: string;
4
4
  functionDef: string;
5
5
  /** Number of fallback schemas referenced by __fb[N] in the generated code. 0 = no fallbacks. */
6
6
  fallbackCount: number;
7
- /** Auxiliary function definitions (e.g. __fastCheck_* for recursiveRef). Emitted before the main function. */
8
- auxiliaryFunctions?: string[];
9
7
  }
8
+ /** Shared mutable state for code generation. Fast and slow paths share the same instance. */
10
9
  export interface CodeGenContext {
11
10
  preamble: string[];
12
11
  counter: number;
13
12
  fnName: string;
14
13
  }
15
- export type GenerateValidationFn = (ir: SchemaIR, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext) => string;
16
- export type GenerateFastCheckFn = (ir: SchemaIR, inputExpr: string, ctx: CodeGenContext) => string | null;
14
+ /** Context object for slow-path (error-collecting) generator functions. */
15
+ export interface SlowGen {
16
+ readonly input: string;
17
+ readonly output: string;
18
+ readonly path: string;
19
+ readonly issues: string;
20
+ readonly ctx: CodeGenContext;
21
+ /**
22
+ * Recursively generate validation for a child IR node.
23
+ * All fields are inherited from parent unless overridden.
24
+ * Union generators use `{ issues }` to redirect child errors to temporary arrays.
25
+ * Container generators use `{ input, output, path }` for element traversal.
26
+ */
27
+ visit(ir: SchemaIR, overrides?: {
28
+ input?: string;
29
+ output?: string;
30
+ path?: string;
31
+ issues?: string;
32
+ }): string;
33
+ /** Generate a unique temp variable name: `__${prefix}_${counter++}` */
34
+ temp(prefix: string): string;
35
+ /** Add a regex to preamble and return the variable name. */
36
+ regex(prefix: string, pattern: string): string;
37
+ /** Add a Set to preamble and return the variable name. */
38
+ set(prefix: string, values: readonly unknown[]): string;
39
+ }
40
+ /** Slow-path generator function signature — registered in slowRegistry. */
41
+ export type SlowGenerator<T extends SchemaIR = SchemaIR> = (ir: T, g: SlowGen) => string;
42
+ /** Context object for fast-path (boolean expression) generator functions. */
43
+ export interface FastGen {
44
+ readonly input: string;
45
+ readonly ctx: CodeGenContext;
46
+ /**
47
+ * Recursively generate fast-check expression for a child IR node.
48
+ * Returns null if any child is ineligible for fast path.
49
+ */
50
+ visit(ir: SchemaIR, overrides?: {
51
+ input?: string;
52
+ }): string | null;
53
+ /** Generate a unique temp variable name. */
54
+ temp(prefix: string): string;
55
+ /** Add a regex to preamble and return the variable name. */
56
+ regex(prefix: string, pattern: string): string;
57
+ }
58
+ /** Fast-path generator function signature — registered in fastRegistry. */
59
+ export type FastGenerator<T extends SchemaIR = SchemaIR> = (ir: T, g: FastGen) => string | null;
17
60
  export declare const EMAIL_REGEX_SOURCE: string;
18
61
  /** Fallback UUID regex used when the extractor doesn't provide a pattern (e.g. in unit tests). */
19
62
  export declare const UUID_REGEX_SOURCE = "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$";
@@ -28,7 +71,16 @@ export declare function escapeString(s: string): string;
28
71
  export declare function hasMutation(ir: SchemaIR): boolean;
29
72
  /**
30
73
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
31
- * Used as `[...ir.checks].sort(checkPriority)`.
74
+ * Used by fast-path generators (which never encounter refine_effect).
32
75
  */
33
76
  export declare function checkPriority(a: CheckIR | BigIntCheckIR | DateCheckIR, b: CheckIR | BigIntCheckIR | DateCheckIR): number;
77
+ /**
78
+ * Sort compilable checks by cost (cheapest first) while preserving
79
+ * the original position of refine_effect entries.
80
+ *
81
+ * Zod preserves insertion order for checks. Compilable checks (typeof, length,
82
+ * regex) are reordered for performance, but refine_effect entries stay at their
83
+ * original index to maintain semantic parity with Zod.
84
+ */
85
+ export declare function sortChecksPreservingEffects<T extends CheckIR | CheckOrEffectIR | BigIntCheckIR | DateCheckIR>(checks: T[]): T[];
34
86
  //# sourceMappingURL=context.d.ts.map
@@ -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;CACvB;AAED,6FAA6F;AAC7F,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAID,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAE7B;;;;;OAKG;IACH,KAAK,CACH,EAAE,EAAE,QAAQ,EACZ,SAAS,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAC9E,MAAM,CAAC;IAEV,uEAAuE;IACvE,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAE7B,4DAA4D;IAC5D,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAE/C,0DAA0D;IAC1D,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAAC;CACzD;AAED,2EAA2E;AAC3E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC;AAIzF,6EAA6E;AAC7E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAE7B;;;OAGG;IACH,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,GAAG,IAAI,CAAC;IAEnE,4CAA4C;IAC5C,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAE7B,4DAA4D;IAC5D,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;CAChD;AAED,2EAA2E;AAC3E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,MAAM,GAAG,IAAI,CAAC;AAGhG,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,CAuCjD;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"}
@@ -49,6 +49,8 @@ export function hasMutation(ir) {
49
49
  return ir.coerce === true;
50
50
  case "default":
51
51
  case "catch":
52
+ case "effect":
53
+ case "fallback":
52
54
  return true;
53
55
  case "object":
54
56
  return Object.values(ir.properties).some(hasMutation);
@@ -79,9 +81,42 @@ export function hasMutation(ir) {
79
81
  }
80
82
  /**
81
83
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
82
- * Used as `[...ir.checks].sort(checkPriority)`.
84
+ * Used by fast-path generators (which never encounter refine_effect).
83
85
  */
84
86
  export function checkPriority(a, b) {
85
87
  return (CHECK_PRIORITY[a.kind] ?? 99) - (CHECK_PRIORITY[b.kind] ?? 99);
86
88
  }
89
+ /**
90
+ * Sort compilable checks by cost (cheapest first) while preserving
91
+ * the original position of refine_effect entries.
92
+ *
93
+ * Zod preserves insertion order for checks. Compilable checks (typeof, length,
94
+ * regex) are reordered for performance, but refine_effect entries stay at their
95
+ * original index to maintain semantic parity with Zod.
96
+ */
97
+ export function sortChecksPreservingEffects(checks) {
98
+ const result = new Array(checks.length);
99
+ const compilable = [];
100
+ // First pass: place refine_effects at their original positions
101
+ for (let i = 0; i < checks.length; i++) {
102
+ const check = checks[i];
103
+ if (check.kind === "refine_effect") {
104
+ result[i] = check;
105
+ }
106
+ else {
107
+ compilable.push({ check, originalIndex: i });
108
+ }
109
+ }
110
+ // Sort compilable checks by priority (cheapest first)
111
+ compilable.sort((a, b) => (CHECK_PRIORITY[a.check.kind] ?? 99) - (CHECK_PRIORITY[b.check.kind] ?? 99));
112
+ // Fill remaining slots with sorted compilable checks
113
+ let ci = 0;
114
+ for (let i = 0; i < result.length; i++) {
115
+ if (result[i] === undefined) {
116
+ const entry = compilable[ci++];
117
+ result[i] = entry.check;
118
+ }
119
+ }
120
+ return result;
121
+ }
87
122
  //# sourceMappingURL=context.js.map
@@ -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":"AAyEA,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,CAAC;QACd,KAAK,UAAU;YACb,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"}
@@ -2,7 +2,7 @@
2
2
  * Tagged template literal that strips newlines and leading whitespace.
3
3
  * Allows writing generated code with readable indentation while producing minified output.
4
4
  *
5
- * Used exclusively by Slow Path generators (codegen/generators/).
5
+ * Used exclusively by Slow Path generators (codegen/schemas/).
6
6
  */
7
7
  export declare function emit(strings: TemplateStringsArray, ...values: (string | number | bigint | boolean)[]): string;
8
8
  //# sourceMappingURL=emit.d.ts.map
@@ -2,7 +2,7 @@
2
2
  * Tagged template literal that strips newlines and leading whitespace.
3
3
  * Allows writing generated code with readable indentation while producing minified output.
4
4
  *
5
- * Used exclusively by Slow Path generators (codegen/generators/).
5
+ * Used exclusively by Slow Path generators (codegen/schemas/).
6
6
  */
7
7
  export function emit(strings, ...values) {
8
8
  let result = "";
@@ -0,0 +1,17 @@
1
+ /**
2
+ * Fast Path: produces a boolean expression string for eligible schemas.
3
+ * When the expression evaluates to `true` at runtime, the input is valid and
4
+ * safeParse can return success immediately without allocating an issues array.
5
+ *
6
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
7
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
8
+ */
9
+ import type { SchemaIR } from "../types.js";
10
+ import type { CodeGenContext, FastGen } from "./context.js";
11
+ export declare function createFastGen(inputExpr: string, ctx: CodeGenContext): FastGen;
12
+ /**
13
+ * Generate a boolean expression string that validates input against the schema.
14
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
15
+ */
16
+ export declare function generateFast(ir: SchemaIR, g: FastGen): string | null;
17
+ //# sourceMappingURL=fast-path.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"fast-path.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/fast-path.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAiB,MAAM,cAAc,CAAC;AAiF3E,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,OAAO,CAgB7E;AAID;;;GAGG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKpE"}
@@ -0,0 +1,112 @@
1
+ /**
2
+ * Fast Path: produces a boolean expression string for eligible schemas.
3
+ * When the expression evaluates to `true` at runtime, the input is valid and
4
+ * safeParse can return success immediately without allocating an issues array.
5
+ *
6
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
7
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
8
+ */
9
+ import { escapeString } from "./context.js";
10
+ import { fastAny } from "./schemas/any.js";
11
+ import { fastArray } from "./schemas/array.js";
12
+ import { fastBigInt } from "./schemas/bigint.js";
13
+ import { fastBoolean } from "./schemas/boolean.js";
14
+ import { fastDiscriminatedUnion } from "./schemas/discriminated-union.js";
15
+ import { fastEnum } from "./schemas/enum.js";
16
+ import { fastIntersection } from "./schemas/intersection.js";
17
+ import { fastLiteral } from "./schemas/literal.js";
18
+ import { fastNan } from "./schemas/nan.js";
19
+ import { fastNever } from "./schemas/never.js";
20
+ import { fastNull } from "./schemas/null.js";
21
+ import { fastNullable } from "./schemas/nullable.js";
22
+ import { fastNumber } from "./schemas/number.js";
23
+ import { fastObject } from "./schemas/object.js";
24
+ import { fastOptional } from "./schemas/optional.js";
25
+ import { fastPipe } from "./schemas/pipe.js";
26
+ import { fastReadonly } from "./schemas/readonly.js";
27
+ import { fastRecord } from "./schemas/record.js";
28
+ import { fastRecursiveRef } from "./schemas/recursive-ref.js";
29
+ import { fastString } from "./schemas/string.js";
30
+ import { fastSymbol } from "./schemas/symbol.js";
31
+ import { fastTemplateLiteral } from "./schemas/template-literal.js";
32
+ import { fastTuple } from "./schemas/tuple.js";
33
+ import { fastUndefined } from "./schemas/undefined.js";
34
+ import { fastUnion } from "./schemas/union.js";
35
+ import { fastUnknown } from "./schemas/unknown.js";
36
+ import { fastVoid } from "./schemas/void.js";
37
+ // ─── Typed registry ─────────────────────────────────────────────────────────
38
+ // `null` = statically ineligible (the type NEVER has a fast path).
39
+ // Non-null function = may return null at runtime (dynamically ineligible, e.g. when coerce is present).
40
+ const fastRegistry = {
41
+ // Primitives (order follows SchemaIR union in types.ts)
42
+ string: fastString,
43
+ number: fastNumber,
44
+ boolean: fastBoolean,
45
+ bigint: fastBigInt,
46
+ date: null, // statically ineligible
47
+ symbol: fastSymbol,
48
+ null: fastNull,
49
+ undefined: fastUndefined,
50
+ void: fastVoid,
51
+ nan: fastNan,
52
+ never: fastNever,
53
+ any: fastAny,
54
+ unknown: fastUnknown,
55
+ literal: fastLiteral,
56
+ enum: fastEnum,
57
+ // Containers
58
+ object: fastObject,
59
+ array: fastArray,
60
+ tuple: fastTuple,
61
+ record: fastRecord,
62
+ set: null, // statically ineligible
63
+ map: null, // statically ineligible
64
+ // Unions & Intersections
65
+ union: fastUnion,
66
+ discriminatedUnion: fastDiscriminatedUnion,
67
+ intersection: fastIntersection,
68
+ // Modifiers
69
+ optional: fastOptional,
70
+ nullable: fastNullable,
71
+ readonly: fastReadonly,
72
+ default: null, // statically ineligible
73
+ pipe: fastPipe,
74
+ // Effects
75
+ effect: null, // statically ineligible
76
+ // Special
77
+ templateLiteral: fastTemplateLiteral,
78
+ catch: null, // statically ineligible
79
+ fallback: null, // statically ineligible
80
+ recursiveRef: fastRecursiveRef,
81
+ };
82
+ // ─── Factory ─────────────────────────────────────────────────────────────────
83
+ export function createFastGen(inputExpr, ctx) {
84
+ return {
85
+ input: inputExpr,
86
+ ctx,
87
+ visit(ir, overrides) {
88
+ return generateFast(ir, createFastGen(overrides?.input ?? inputExpr, ctx));
89
+ },
90
+ temp(prefix) {
91
+ return `__${prefix}_${ctx.counter++}`;
92
+ },
93
+ regex(prefix, pattern) {
94
+ const name = `__re_${prefix}_${ctx.counter++}`;
95
+ ctx.preamble.push(`var ${name}=new RegExp(${escapeString(pattern)});`);
96
+ return name;
97
+ },
98
+ };
99
+ }
100
+ // ─── Dispatch ────────────────────────────────────────────────────────────────
101
+ /**
102
+ * Generate a boolean expression string that validates input against the schema.
103
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
104
+ */
105
+ export function generateFast(ir, g) {
106
+ const gen = fastRegistry[ir.type];
107
+ if (gen === null)
108
+ return null;
109
+ // biome-ignore lint/suspicious/noExplicitAny: registry dispatch requires type erasure at call site
110
+ return gen(ir, g);
111
+ }
112
+ //# sourceMappingURL=fast-path.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"fast-path.js","sourceRoot":"","sources":["../../../src/core/codegen/fast-path.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,+EAA+E;AAC/E,mEAAmE;AACnE,wGAAwG;AAExG,MAAM,YAAY,GAAG;IACnB,wDAAwD;IACxD,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,WAAW;IACpB,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,IAAI,EAAE,wBAAwB;IACpC,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,OAAO;IACZ,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,OAAO;IACZ,OAAO,EAAE,WAAW;IACpB,OAAO,EAAE,WAAW;IACpB,IAAI,EAAE,QAAQ;IACd,aAAa;IACb,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,IAAI,EAAE,wBAAwB;IACnC,GAAG,EAAE,IAAI,EAAE,wBAAwB;IACnC,yBAAyB;IACzB,KAAK,EAAE,SAAS;IAChB,kBAAkB,EAAE,sBAAsB;IAC1C,YAAY,EAAE,gBAAgB;IAC9B,YAAY;IACZ,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,YAAY;IACtB,OAAO,EAAE,IAAI,EAAE,wBAAwB;IACvC,IAAI,EAAE,QAAQ;IACd,UAAU;IACV,MAAM,EAAE,IAAI,EAAE,wBAAwB;IACtC,UAAU;IACV,eAAe,EAAE,mBAAmB;IACpC,KAAK,EAAE,IAAI,EAAE,wBAAwB;IACrC,QAAQ,EAAE,IAAI,EAAE,wBAAwB;IACxC,YAAY,EAAE,gBAAgB;CAG/B,CAAC;AAEF,gFAAgF;AAEhF,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE,GAAmB;IAClE,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,GAAG;QACH,KAAK,CAAC,EAAE,EAAE,SAAS;YACjB,OAAO,YAAY,CAAC,EAAE,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,IAAI,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,MAAM;YACT,OAAO,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,MAAM,EAAE,OAAO;YACnB,MAAM,IAAI,GAAG,QAAQ,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,IAAI,eAAe,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,EAAY,EAAE,CAAU;IACnD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,mGAAmG;IACnG,OAAQ,GAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC7B,CAAC"}
@@ -1,7 +1,6 @@
1
1
  import type { SchemaIR } from "../types.js";
2
2
  import type { CodeGenResult } from "./context.js";
3
3
  export type { CodeGenResult } from "./context.js";
4
- export { generateFastCheck } from "./fast-check/index.js";
5
4
  /**
6
5
  * Generate optimized validation code from SchemaIR.
7
6
  *
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAkB,aAAa,EAAE,MAAM,cAAc,CAAC;AAIlE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC,aAAa,CA8Cf"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAkB,aAAa,EAAE,MAAM,cAAc,CAAC;AAIlE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC,aAAa,CA+Cf"}
@@ -1,6 +1,5 @@
1
- import { generateFastCheck } from "./fast-check/index.js";
2
- import { generateValidation } from "./generators/index.js";
3
- export { generateFastCheck } from "./fast-check/index.js";
1
+ import { createFastGen, generateFast } from "./fast-path.js";
2
+ import { createSlowGen, generateSlow } from "./slow-path.js";
4
3
  /**
5
4
  * Generate optimized validation code from SchemaIR.
6
5
  *
@@ -13,9 +12,10 @@ export function generateValidator(ir, name, options) {
13
12
  const fnName = `safeParse_${name}`;
14
13
  const ctx = { preamble: [], counter: 0, fnName };
15
14
  // Fast Path: generate a boolean expression for eligible schemas
16
- const fastExpr = generateFastCheck(ir, "input", ctx);
17
- const bodyCode = generateValidation(ir, "input", "[]", "__issues", ctx);
18
- const auxiliaryFunctions = [];
15
+ const fg = createFastGen("input", ctx);
16
+ const fastExpr = generateFast(ir, fg);
17
+ const sg = createSlowGen("__data", "__data", "[]", "__issues", ctx);
18
+ const slowCode = generateSlow(ir, sg);
19
19
  const code = ["/* zod-aot */", ...ctx.preamble].join("\n");
20
20
  const functionDefParts = [`function ${fnName}(input){`];
21
21
  // Prepend fast path guard if eligible
@@ -30,11 +30,10 @@ export function generateValidator(ir, name, options) {
30
30
  code,
31
31
  functionDef: functionDefParts.join("\n"),
32
32
  fallbackCount: options?.fallbackCount ?? 0,
33
- auxiliaryFunctions,
34
33
  };
35
34
  }
36
- functionDefParts.push(`var __issues=[];`, bodyCode, `if(__issues.length>0){`, `for(var __fi=0;__fi<__issues.length;__fi++){`, `if(typeof __msg==="function")__issues[__fi].message=__msg(__issues[__fi]);`, `delete __issues[__fi].input;`, `}`, `return{success:false,error:{issues:__issues}};`, `}`, `return{success:true,data:input};`, `}`);
35
+ functionDefParts.push(`var __issues=[];`, `var __data=input;`, slowCode, `if(__issues.length>0){`, `for(var __fi=0;__fi<__issues.length;__fi++){`, `if(typeof __msg==="function")__issues[__fi].message=__msg(__issues[__fi]);`, `delete __issues[__fi].input;`, `}`, `return{success:false,error:{issues:__issues}};`, `}`, `return{success:true,data:__data};`, `}`);
37
36
  const functionDef = functionDefParts.join("\n");
38
- return { code, functionDef, fallbackCount: options?.fallbackCount ?? 0, auxiliaryFunctions };
37
+ return { code, functionDef, fallbackCount: options?.fallbackCount ?? 0 };
39
38
  }
40
39
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,MAAM,MAAM,GAAG,aAAa,IAAI,EAAE,CAAC;IACnC,MAAM,GAAG,GAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAEjE,gEAAgE;IAChE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAErD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAExE,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE3D,MAAM,gBAAgB,GAAG,CAAC,YAAY,MAAM,UAAU,CAAC,CAAC;IAExD,sCAAsC;IACtC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7C,gBAAgB,CAAC,IAAI,CAAC,MAAM,QAAQ,qCAAqC,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC/B,iEAAiE;QACjE,gBAAgB,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC1D,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO;YACL,IAAI;YACJ,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC;YAC1C,kBAAkB;SACnB,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,IAAI,CACnB,kBAAkB,EAClB,QAAQ,EACR,wBAAwB,EACxB,8CAA8C,EAC9C,4EAA4E,EAC5E,8BAA8B,EAC9B,GAAG,EACH,gDAAgD,EAChD,GAAG,EACH,kCAAkC,EAClC,GAAG,CACJ,CAAC;IAEF,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEhD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,kBAAkB,EAAE,CAAC;AAC/F,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAI7D;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,MAAM,MAAM,GAAG,aAAa,IAAI,EAAE,CAAC;IACnC,MAAM,GAAG,GAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAEjE,gEAAgE;IAChE,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE3D,MAAM,gBAAgB,GAAG,CAAC,YAAY,MAAM,UAAU,CAAC,CAAC;IAExD,sCAAsC;IACtC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7C,gBAAgB,CAAC,IAAI,CAAC,MAAM,QAAQ,qCAAqC,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC/B,iEAAiE;QACjE,gBAAgB,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC1D,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO;YACL,IAAI;YACJ,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,IAAI,CACnB,kBAAkB,EAClB,mBAAmB,EACnB,QAAQ,EACR,wBAAwB,EACxB,8CAA8C,EAC9C,4EAA4E,EAC5E,8BAA8B,EAC9B,GAAG,EACH,gDAAgD,EAChD,GAAG,EACH,mCAAmC,EACnC,GAAG,CACJ,CAAC;IAEF,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEhD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC"}
@@ -0,0 +1,5 @@
1
+ import type { AnyIR } from "../../types.js";
2
+ import type { FastGen, SlowGen } from "../context.js";
3
+ export declare function slowAny(_ir: AnyIR, _g: SlowGen): string;
4
+ export declare function fastAny(_ir: AnyIR, _g: FastGen): string | null;
5
+ //# sourceMappingURL=any.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"any.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAEtD,wBAAgB,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,GAAG,MAAM,CAEvD;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAE9D"}
@@ -0,0 +1,7 @@
1
+ export function slowAny(_ir, _g) {
2
+ return "";
3
+ }
4
+ export function fastAny(_ir, _g) {
5
+ return "true";
6
+ }
7
+ //# sourceMappingURL=any.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"any.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/any.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,OAAO,CAAC,GAAU,EAAE,EAAW;IAC7C,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAU,EAAE,EAAW;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC"}
@@ -0,0 +1,7 @@
1
+ import type { ArrayIR, SchemaIR } from "../../types.js";
2
+ import type { FastGen, SlowGen } from "../context.js";
3
+ export declare function slowArray(ir: SchemaIR & {
4
+ type: "array";
5
+ }, g: SlowGen): string;
6
+ export declare function fastArray(ir: ArrayIR, g: FastGen): string | null;
7
+ //# sourceMappingURL=array.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAW,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAKtD,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CA+C9E;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA+BhE"}
@@ -0,0 +1,79 @@
1
+ import { checkPriority, hasMutation } from "../context.js";
2
+ import { emit } from "../emit.js";
3
+ import { refineCheck } from "./effect.js";
4
+ export function slowArray(ir, g) {
5
+ let code = emit `
6
+ if(!Array.isArray(${g.input})){
7
+ ${g.issues}.push({code:"invalid_type",expected:"array",input:${g.input},path:${g.path}});
8
+ }else{`;
9
+ if (hasMutation(ir.element)) {
10
+ code += `${g.output}=${g.input}.slice();`;
11
+ }
12
+ for (const check of ir.checks) {
13
+ switch (check.kind) {
14
+ case "min_length":
15
+ code += emit `
16
+ if(${g.input}.length<${check.minimum}){
17
+ ${g.issues}.push({code:"too_small",minimum:${check.minimum},origin:"array",inclusive:true,input:${g.input},path:${g.path}});
18
+ }`;
19
+ break;
20
+ case "max_length":
21
+ code += emit `
22
+ if(${g.input}.length>${check.maximum}){
23
+ ${g.issues}.push({code:"too_big",maximum:${check.maximum},origin:"array",inclusive:true,input:${g.input},path:${g.path}});
24
+ }`;
25
+ break;
26
+ case "length_equals":
27
+ code += emit `
28
+ if(${g.input}.length<${check.length}){
29
+ ${g.issues}.push({code:"too_small",minimum:${check.length},origin:"array",inclusive:true,exact:true,input:${g.input},path:${g.path}});
30
+ }else if(${g.input}.length>${check.length}){
31
+ ${g.issues}.push({code:"too_big",maximum:${check.length},origin:"array",inclusive:true,exact:true,input:${g.input},path:${g.path}});
32
+ }`;
33
+ break;
34
+ case "refine_effect":
35
+ code += refineCheck(check, g.input, g);
36
+ break;
37
+ }
38
+ }
39
+ const idxVar = g.temp("i");
40
+ const elemExpr = `${g.input}[${idxVar}]`;
41
+ const elemPath = `${g.path}.concat(${idxVar})`;
42
+ code += emit `
43
+ for(var ${idxVar}=0;${idxVar}<${g.input}.length;${idxVar}++){
44
+ ${g.visit(ir.element, { input: elemExpr, output: elemExpr, path: elemPath })}
45
+ }
46
+ }`;
47
+ return `${code}\n`;
48
+ }
49
+ export function fastArray(ir, g) {
50
+ if (ir.checks.some((c) => c.kind === "refine_effect"))
51
+ return null;
52
+ const x = g.input;
53
+ const parts = [`Array.isArray(${x})`];
54
+ const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
55
+ // Size checks
56
+ for (const check of checks.sort(checkPriority)) {
57
+ switch (check.kind) {
58
+ case "min_length":
59
+ parts.push(`${x}.length>=${check.minimum}`);
60
+ break;
61
+ case "max_length":
62
+ parts.push(`${x}.length<=${check.maximum}`);
63
+ break;
64
+ case "length_equals":
65
+ parts.push(`${x}.length===${check.length}`);
66
+ break;
67
+ }
68
+ }
69
+ // Element validation via .every()
70
+ const elemVar = g.temp("fe");
71
+ const elemCheck = g.visit(ir.element, { input: elemVar });
72
+ if (elemCheck === null)
73
+ return null;
74
+ if (elemCheck !== "true") {
75
+ parts.push(`${x}.every(${elemVar}=>${elemCheck})`);
76
+ }
77
+ return parts.join("&&");
78
+ }
79
+ //# sourceMappingURL=array.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,UAAU,SAAS,CAAC,EAAgC,EAAE,CAAU;IACpE,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,CAAC,CAAC,KAAK;QACvB,CAAC,CAAC,MAAM,qDAAqD,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;WAChF,CAAC;IAEV,IAAI,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,WAAW,CAAC;IAC5C,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,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;cAChC,CAAC,CAAC,MAAM,mCAAmC,KAAK,CAAC,OAAO,wCAAwC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;YACxH,CAAC;gBACL,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;cAChC,CAAC,CAAC,MAAM,iCAAiC,KAAK,CAAC,OAAO,wCAAwC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;YACtH,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,IAAI,CAAA;eACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;cAC/B,CAAC,CAAC,MAAM,mCAAmC,KAAK,CAAC,MAAM,mDAAmD,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;qBACzH,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;cACrC,CAAC,CAAC,MAAM,iCAAiC,KAAK,CAAC,MAAM,mDAAmD,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;YAChI,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACvC,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,GAAG,CAAC;IACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,IAAI,WAAW,MAAM,GAAG,CAAC;IAC/C,IAAI,IAAI,IAAI,CAAA;cACA,MAAM,MAAM,MAAM,IAAI,CAAC,CAAC,KAAK,WAAW,MAAM;QACpD,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;;IAE9E,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAW,EAAE,CAAU;IAC/C,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,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,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1D,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"}
@@ -0,0 +1,5 @@
1
+ import type { BigIntIR } from "../../types.js";
2
+ import type { FastGen, SlowGen } from "../context.js";
3
+ export declare function slowBigInt(ir: BigIntIR, g: SlowGen): string;
4
+ export declare function fastBigInt(ir: BigIntIR, g: FastGen): string | null;
5
+ //# sourceMappingURL=bigint.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAoD3D;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAqBlE"}
@@ -0,0 +1,76 @@
1
+ import { checkPriority } from "../context.js";
2
+ import { emit } from "../emit.js";
3
+ export function slowBigInt(ir, g) {
4
+ let code = "";
5
+ if (ir.coerce) {
6
+ code += emit `try{${g.output}=BigInt(${g.input});}catch(_){}`;
7
+ }
8
+ code += emit `
9
+ if(typeof ${g.input}!=="bigint"){
10
+ ${g.issues}.push({code:"invalid_type",expected:"bigint",input:${g.input},path:${g.path}});
11
+ }`;
12
+ if (ir.checks.length > 0) {
13
+ code += `else{`;
14
+ for (const check of [...ir.checks].sort(checkPriority)) {
15
+ switch (check.kind) {
16
+ case "bigint_greater_than":
17
+ if (check.inclusive) {
18
+ code += emit `
19
+ if(${g.input}<${check.value}n){
20
+ ${g.issues}.push({code:"too_small",minimum:${check.value}n,origin:"bigint",inclusive:true,input:${g.input},path:${g.path}});
21
+ }`;
22
+ }
23
+ else {
24
+ code += emit `
25
+ if(${g.input}<=${check.value}n){
26
+ ${g.issues}.push({code:"too_small",minimum:${check.value}n,origin:"bigint",inclusive:false,input:${g.input},path:${g.path}});
27
+ }`;
28
+ }
29
+ break;
30
+ case "bigint_less_than":
31
+ if (check.inclusive) {
32
+ code += emit `
33
+ if(${g.input}>${check.value}n){
34
+ ${g.issues}.push({code:"too_big",maximum:${check.value}n,origin:"bigint",inclusive:true,input:${g.input},path:${g.path}});
35
+ }`;
36
+ }
37
+ else {
38
+ code += emit `
39
+ if(${g.input}>=${check.value}n){
40
+ ${g.issues}.push({code:"too_big",maximum:${check.value}n,origin:"bigint",inclusive:false,input:${g.input},path:${g.path}});
41
+ }`;
42
+ }
43
+ break;
44
+ case "bigint_multiple_of":
45
+ code += emit `
46
+ if(${g.input}%${check.value}n!==0n){
47
+ ${g.issues}.push({code:"not_multiple_of",divisor:${check.value}n,origin:"bigint",input:${g.input},path:${g.path}});
48
+ }`;
49
+ break;
50
+ }
51
+ }
52
+ code += `}`;
53
+ }
54
+ return `${code}\n`;
55
+ }
56
+ export function fastBigInt(ir, g) {
57
+ if (ir.coerce)
58
+ return null;
59
+ const x = g.input;
60
+ const parts = [`typeof ${x}==="bigint"`];
61
+ for (const check of [...ir.checks].sort(checkPriority)) {
62
+ switch (check.kind) {
63
+ case "bigint_greater_than":
64
+ parts.push(check.inclusive ? `${x}>=${check.value}n` : `${x}>${check.value}n`);
65
+ break;
66
+ case "bigint_less_than":
67
+ parts.push(check.inclusive ? `${x}<=${check.value}n` : `${x}<${check.value}n`);
68
+ break;
69
+ case "bigint_multiple_of":
70
+ parts.push(`${x}%${check.value}n===0n`);
71
+ break;
72
+ }
73
+ }
74
+ return parts.join("&&");
75
+ }
76
+ //# sourceMappingURL=bigint.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,KAAK,eAAe,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,CAAC,CAAC,KAAK;QACf,CAAC,CAAC,MAAM,sDAAsD,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;MACtF,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,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;kBACvB,CAAC,CAAC,MAAM,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;gBACxH,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;kBACxB,CAAC,CAAC,MAAM,mCAAmC,KAAK,CAAC,KAAK,2CAA2C,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;gBACzH,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;kBACvB,CAAC,CAAC,MAAM,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;gBACtH,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;kBACxB,CAAC,CAAC,MAAM,iCAAiC,KAAK,CAAC,KAAK,2CAA2C,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;gBACvH,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;gBACvB,CAAC,CAAC,MAAM,yCAAyC,KAAK,CAAC,KAAK,2BAA2B,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;cAC/G,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,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,qBAAqB;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,oBAAoB;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC;gBACxC,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
@@ -0,0 +1,5 @@
1
+ import type { BooleanIR } from "../../types.js";
2
+ import type { FastGen, SlowGen } from "../context.js";
3
+ export declare function slowBoolean(ir: BooleanIR, g: SlowGen): string;
4
+ export declare function fastBoolean(ir: BooleanIR, g: FastGen): string | null;
5
+ //# sourceMappingURL=boolean.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGtD,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAW7D;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGpE"}