zod-aot 0.16.0 → 0.16.2

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 (494) hide show
  1. package/dist/core/codegen/context.d.ts +48 -5
  2. package/dist/core/codegen/context.d.ts.map +1 -1
  3. package/dist/core/codegen/context.js +2 -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/extract/extractors/any.d.ts +3 -0
  156. package/dist/core/extract/extractors/any.d.ts.map +1 -0
  157. package/dist/core/extract/extractors/any.js +2 -0
  158. package/dist/core/extract/extractors/any.js.map +1 -0
  159. package/dist/core/extract/extractors/array.d.ts +4 -0
  160. package/dist/core/extract/extractors/array.d.ts.map +1 -0
  161. package/dist/core/extract/extractors/array.js +7 -0
  162. package/dist/core/extract/extractors/array.js.map +1 -0
  163. package/dist/core/extract/extractors/boolean.d.ts +3 -0
  164. package/dist/core/extract/extractors/boolean.d.ts.map +1 -0
  165. package/dist/core/extract/extractors/boolean.js +5 -0
  166. package/dist/core/extract/extractors/boolean.js.map +1 -0
  167. package/dist/core/extract/extractors/catch.d.ts +2 -2
  168. package/dist/core/extract/extractors/catch.d.ts.map +1 -1
  169. package/dist/core/extract/extractors/catch.js +6 -7
  170. package/dist/core/extract/extractors/catch.js.map +1 -1
  171. package/dist/core/extract/extractors/default.d.ts +2 -2
  172. package/dist/core/extract/extractors/default.d.ts.map +1 -1
  173. package/dist/core/extract/extractors/default.js +4 -5
  174. package/dist/core/extract/extractors/default.js.map +1 -1
  175. package/dist/core/extract/extractors/enum.d.ts +3 -0
  176. package/dist/core/extract/extractors/enum.d.ts.map +1 -0
  177. package/dist/core/extract/extractors/enum.js +5 -0
  178. package/dist/core/extract/extractors/enum.js.map +1 -0
  179. package/dist/core/extract/extractors/index.d.ts +20 -0
  180. package/dist/core/extract/extractors/index.d.ts.map +1 -1
  181. package/dist/core/extract/extractors/index.js +20 -0
  182. package/dist/core/extract/extractors/index.js.map +1 -1
  183. package/dist/core/extract/extractors/intersection.d.ts +3 -0
  184. package/dist/core/extract/extractors/intersection.d.ts.map +1 -0
  185. package/dist/core/extract/extractors/intersection.js +6 -0
  186. package/dist/core/extract/extractors/intersection.js.map +1 -0
  187. package/dist/core/extract/extractors/lazy.d.ts +2 -2
  188. package/dist/core/extract/extractors/lazy.d.ts.map +1 -1
  189. package/dist/core/extract/extractors/lazy.js +5 -5
  190. package/dist/core/extract/extractors/lazy.js.map +1 -1
  191. package/dist/core/extract/extractors/literal.d.ts +3 -0
  192. package/dist/core/extract/extractors/literal.d.ts.map +1 -0
  193. package/dist/core/extract/extractors/literal.js +2 -0
  194. package/dist/core/extract/extractors/literal.js.map +1 -0
  195. package/dist/core/extract/extractors/map.d.ts +4 -0
  196. package/dist/core/extract/extractors/map.d.ts.map +1 -0
  197. package/dist/core/extract/extractors/map.js +6 -0
  198. package/dist/core/extract/extractors/map.js.map +1 -0
  199. package/dist/core/extract/extractors/nan.d.ts +3 -0
  200. package/dist/core/extract/extractors/nan.d.ts.map +1 -0
  201. package/dist/core/extract/extractors/nan.js +2 -0
  202. package/dist/core/extract/extractors/nan.js.map +1 -0
  203. package/dist/core/extract/extractors/never.d.ts +3 -0
  204. package/dist/core/extract/extractors/never.d.ts.map +1 -0
  205. package/dist/core/extract/extractors/never.js +2 -0
  206. package/dist/core/extract/extractors/never.js.map +1 -0
  207. package/dist/core/extract/extractors/null.d.ts +3 -0
  208. package/dist/core/extract/extractors/null.d.ts.map +1 -0
  209. package/dist/core/extract/extractors/null.js +2 -0
  210. package/dist/core/extract/extractors/null.js.map +1 -0
  211. package/dist/core/extract/extractors/nullable.d.ts +3 -0
  212. package/dist/core/extract/extractors/nullable.d.ts.map +1 -0
  213. package/dist/core/extract/extractors/nullable.js +5 -0
  214. package/dist/core/extract/extractors/nullable.js.map +1 -0
  215. package/dist/core/extract/extractors/number.d.ts +2 -2
  216. package/dist/core/extract/extractors/number.d.ts.map +1 -1
  217. package/dist/core/extract/extractors/number.js +2 -3
  218. package/dist/core/extract/extractors/number.js.map +1 -1
  219. package/dist/core/extract/extractors/object.d.ts +4 -0
  220. package/dist/core/extract/extractors/object.d.ts.map +1 -0
  221. package/dist/core/extract/extractors/object.js +18 -0
  222. package/dist/core/extract/extractors/object.js.map +1 -0
  223. package/dist/core/extract/extractors/optional.d.ts +3 -0
  224. package/dist/core/extract/extractors/optional.d.ts.map +1 -0
  225. package/dist/core/extract/extractors/optional.js +5 -0
  226. package/dist/core/extract/extractors/optional.js.map +1 -0
  227. package/dist/core/extract/extractors/pipe.d.ts +2 -2
  228. package/dist/core/extract/extractors/pipe.d.ts.map +1 -1
  229. package/dist/core/extract/extractors/pipe.js +5 -6
  230. package/dist/core/extract/extractors/pipe.js.map +1 -1
  231. package/dist/core/extract/extractors/readonly.d.ts +3 -0
  232. package/dist/core/extract/extractors/readonly.d.ts.map +1 -0
  233. package/dist/core/extract/extractors/readonly.js +5 -0
  234. package/dist/core/extract/extractors/readonly.js.map +1 -0
  235. package/dist/core/extract/extractors/record.d.ts +4 -0
  236. package/dist/core/extract/extractors/record.d.ts.map +1 -0
  237. package/dist/core/extract/extractors/record.js +9 -0
  238. package/dist/core/extract/extractors/record.js.map +1 -0
  239. package/dist/core/extract/extractors/set.d.ts +2 -2
  240. package/dist/core/extract/extractors/set.d.ts.map +1 -1
  241. package/dist/core/extract/extractors/set.js +2 -2
  242. package/dist/core/extract/extractors/set.js.map +1 -1
  243. package/dist/core/extract/extractors/string.d.ts +2 -2
  244. package/dist/core/extract/extractors/string.d.ts.map +1 -1
  245. package/dist/core/extract/extractors/string.js +2 -3
  246. package/dist/core/extract/extractors/string.js.map +1 -1
  247. package/dist/core/extract/extractors/symbol.d.ts +3 -0
  248. package/dist/core/extract/extractors/symbol.d.ts.map +1 -0
  249. package/dist/core/extract/extractors/symbol.js +2 -0
  250. package/dist/core/extract/extractors/symbol.js.map +1 -0
  251. package/dist/core/extract/extractors/template-literal.d.ts +2 -2
  252. package/dist/core/extract/extractors/template-literal.d.ts.map +1 -1
  253. package/dist/core/extract/extractors/template-literal.js +3 -3
  254. package/dist/core/extract/extractors/template-literal.js.map +1 -1
  255. package/dist/core/extract/extractors/tuple.d.ts +4 -0
  256. package/dist/core/extract/extractors/tuple.d.ts.map +1 -0
  257. package/dist/core/extract/extractors/tuple.js +6 -0
  258. package/dist/core/extract/extractors/tuple.js.map +1 -0
  259. package/dist/core/extract/extractors/undefined.d.ts +3 -0
  260. package/dist/core/extract/extractors/undefined.d.ts.map +1 -0
  261. package/dist/core/extract/extractors/undefined.js +2 -0
  262. package/dist/core/extract/extractors/undefined.js.map +1 -0
  263. package/dist/core/extract/extractors/union.d.ts +2 -2
  264. package/dist/core/extract/extractors/union.d.ts.map +1 -1
  265. package/dist/core/extract/extractors/union.js +3 -3
  266. package/dist/core/extract/extractors/union.js.map +1 -1
  267. package/dist/core/extract/extractors/unknown.d.ts +3 -0
  268. package/dist/core/extract/extractors/unknown.d.ts.map +1 -0
  269. package/dist/core/extract/extractors/unknown.js +2 -0
  270. package/dist/core/extract/extractors/unknown.js.map +1 -0
  271. package/dist/core/extract/extractors/void.d.ts +3 -0
  272. package/dist/core/extract/extractors/void.d.ts.map +1 -0
  273. package/dist/core/extract/extractors/void.js +2 -0
  274. package/dist/core/extract/extractors/void.js.map +1 -0
  275. package/dist/core/extract/index.d.ts.map +1 -1
  276. package/dist/core/extract/index.js +2 -125
  277. package/dist/core/extract/index.js.map +1 -1
  278. package/dist/core/extract/registry.d.ts +57 -0
  279. package/dist/core/extract/registry.d.ts.map +1 -0
  280. package/dist/core/extract/registry.js +114 -0
  281. package/dist/core/extract/registry.js.map +1 -0
  282. package/dist/core/extract/types.d.ts +19 -2
  283. package/dist/core/extract/types.d.ts.map +1 -1
  284. package/dist/core/iife.d.ts.map +1 -1
  285. package/dist/core/iife.js +0 -1
  286. package/dist/core/iife.js.map +1 -1
  287. package/package.json +1 -1
  288. package/dist/core/codegen/fast-check/array.d.ts +0 -4
  289. package/dist/core/codegen/fast-check/array.d.ts.map +0 -1
  290. package/dist/core/codegen/fast-check/array.js +0 -31
  291. package/dist/core/codegen/fast-check/array.js.map +0 -1
  292. package/dist/core/codegen/fast-check/bigint.d.ts +0 -3
  293. package/dist/core/codegen/fast-check/bigint.d.ts.map +0 -1
  294. package/dist/core/codegen/fast-check/bigint.js +0 -19
  295. package/dist/core/codegen/fast-check/bigint.js.map +0 -1
  296. package/dist/core/codegen/fast-check/discriminated-union.d.ts +0 -4
  297. package/dist/core/codegen/fast-check/discriminated-union.d.ts.map +0 -1
  298. package/dist/core/codegen/fast-check/discriminated-union.js +0 -13
  299. package/dist/core/codegen/fast-check/discriminated-union.js.map +0 -1
  300. package/dist/core/codegen/fast-check/enum.d.ts +0 -4
  301. package/dist/core/codegen/fast-check/enum.d.ts.map +0 -1
  302. package/dist/core/codegen/fast-check/enum.js +0 -12
  303. package/dist/core/codegen/fast-check/enum.js.map +0 -1
  304. package/dist/core/codegen/fast-check/index.d.ts +0 -16
  305. package/dist/core/codegen/fast-check/index.d.ts.map +0 -1
  306. package/dist/core/codegen/fast-check/index.js +0 -119
  307. package/dist/core/codegen/fast-check/index.js.map +0 -1
  308. package/dist/core/codegen/fast-check/intersection.d.ts +0 -4
  309. package/dist/core/codegen/fast-check/intersection.d.ts.map +0 -1
  310. package/dist/core/codegen/fast-check/intersection.js +0 -10
  311. package/dist/core/codegen/fast-check/intersection.js.map +0 -1
  312. package/dist/core/codegen/fast-check/literal.d.ts +0 -3
  313. package/dist/core/codegen/fast-check/literal.d.ts.map +0 -1
  314. package/dist/core/codegen/fast-check/literal.js +0 -8
  315. package/dist/core/codegen/fast-check/literal.js.map +0 -1
  316. package/dist/core/codegen/fast-check/nullable.d.ts +0 -4
  317. package/dist/core/codegen/fast-check/nullable.d.ts.map +0 -1
  318. package/dist/core/codegen/fast-check/nullable.js +0 -7
  319. package/dist/core/codegen/fast-check/nullable.js.map +0 -1
  320. package/dist/core/codegen/fast-check/number.d.ts +0 -3
  321. package/dist/core/codegen/fast-check/number.d.ts.map +0 -1
  322. package/dist/core/codegen/fast-check/number.js +0 -54
  323. package/dist/core/codegen/fast-check/number.js.map +0 -1
  324. package/dist/core/codegen/fast-check/object.d.ts +0 -4
  325. package/dist/core/codegen/fast-check/object.d.ts.map +0 -1
  326. package/dist/core/codegen/fast-check/object.js +0 -16
  327. package/dist/core/codegen/fast-check/object.js.map +0 -1
  328. package/dist/core/codegen/fast-check/optional.d.ts +0 -4
  329. package/dist/core/codegen/fast-check/optional.d.ts.map +0 -1
  330. package/dist/core/codegen/fast-check/optional.js +0 -7
  331. package/dist/core/codegen/fast-check/optional.js.map +0 -1
  332. package/dist/core/codegen/fast-check/pipe.d.ts +0 -4
  333. package/dist/core/codegen/fast-check/pipe.d.ts.map +0 -1
  334. package/dist/core/codegen/fast-check/pipe.js.map +0 -1
  335. package/dist/core/codegen/fast-check/readonly.d.ts +0 -4
  336. package/dist/core/codegen/fast-check/readonly.d.ts.map +0 -1
  337. package/dist/core/codegen/fast-check/readonly.js +0 -4
  338. package/dist/core/codegen/fast-check/readonly.js.map +0 -1
  339. package/dist/core/codegen/fast-check/record.d.ts +0 -4
  340. package/dist/core/codegen/fast-check/record.d.ts.map +0 -1
  341. package/dist/core/codegen/fast-check/record.js +0 -18
  342. package/dist/core/codegen/fast-check/record.js.map +0 -1
  343. package/dist/core/codegen/fast-check/string.d.ts +0 -4
  344. package/dist/core/codegen/fast-check/string.d.ts.map +0 -1
  345. package/dist/core/codegen/fast-check/string.js +0 -65
  346. package/dist/core/codegen/fast-check/string.js.map +0 -1
  347. package/dist/core/codegen/fast-check/tuple.d.ts +0 -4
  348. package/dist/core/codegen/fast-check/tuple.d.ts.map +0 -1
  349. package/dist/core/codegen/fast-check/tuple.js +0 -32
  350. package/dist/core/codegen/fast-check/tuple.js.map +0 -1
  351. package/dist/core/codegen/fast-check/union.d.ts +0 -4
  352. package/dist/core/codegen/fast-check/union.d.ts.map +0 -1
  353. package/dist/core/codegen/fast-check/union.js +0 -12
  354. package/dist/core/codegen/fast-check/union.js.map +0 -1
  355. package/dist/core/codegen/generators/any.d.ts +0 -2
  356. package/dist/core/codegen/generators/any.d.ts.map +0 -1
  357. package/dist/core/codegen/generators/any.js +0 -4
  358. package/dist/core/codegen/generators/any.js.map +0 -1
  359. package/dist/core/codegen/generators/array.d.ts +0 -6
  360. package/dist/core/codegen/generators/array.d.ts.map +0 -1
  361. package/dist/core/codegen/generators/array.js +0 -49
  362. package/dist/core/codegen/generators/array.js.map +0 -1
  363. package/dist/core/codegen/generators/bigint.d.ts +0 -6
  364. package/dist/core/codegen/generators/bigint.d.ts.map +0 -1
  365. package/dist/core/codegen/generators/bigint.js +0 -56
  366. package/dist/core/codegen/generators/bigint.js.map +0 -1
  367. package/dist/core/codegen/generators/boolean.d.ts +0 -5
  368. package/dist/core/codegen/generators/boolean.d.ts.map +0 -1
  369. package/dist/core/codegen/generators/boolean.js +0 -14
  370. package/dist/core/codegen/generators/boolean.js.map +0 -1
  371. package/dist/core/codegen/generators/catch.d.ts +0 -6
  372. package/dist/core/codegen/generators/catch.d.ts.map +0 -1
  373. package/dist/core/codegen/generators/catch.js +0 -11
  374. package/dist/core/codegen/generators/catch.js.map +0 -1
  375. package/dist/core/codegen/generators/date.d.ts +0 -5
  376. package/dist/core/codegen/generators/date.d.ts.map +0 -1
  377. package/dist/core/codegen/generators/date.js +0 -52
  378. package/dist/core/codegen/generators/date.js.map +0 -1
  379. package/dist/core/codegen/generators/default.d.ts +0 -6
  380. package/dist/core/codegen/generators/default.d.ts.map +0 -1
  381. package/dist/core/codegen/generators/default.js +0 -10
  382. package/dist/core/codegen/generators/default.js.map +0 -1
  383. package/dist/core/codegen/generators/discriminated-union.d.ts +0 -6
  384. package/dist/core/codegen/generators/discriminated-union.d.ts.map +0 -1
  385. package/dist/core/codegen/generators/discriminated-union.js +0 -25
  386. package/dist/core/codegen/generators/discriminated-union.js.map +0 -1
  387. package/dist/core/codegen/generators/effect.d.ts +0 -13
  388. package/dist/core/codegen/generators/effect.d.ts.map +0 -1
  389. package/dist/core/codegen/generators/effect.js +0 -28
  390. package/dist/core/codegen/generators/effect.js.map +0 -1
  391. package/dist/core/codegen/generators/enum.d.ts +0 -6
  392. package/dist/core/codegen/generators/enum.d.ts.map +0 -1
  393. package/dist/core/codegen/generators/enum.js +0 -21
  394. package/dist/core/codegen/generators/enum.js.map +0 -1
  395. package/dist/core/codegen/generators/fallback.d.ts +0 -3
  396. package/dist/core/codegen/generators/fallback.d.ts.map +0 -1
  397. package/dist/core/codegen/generators/fallback.js +0 -23
  398. package/dist/core/codegen/generators/fallback.js.map +0 -1
  399. package/dist/core/codegen/generators/index.d.ts +0 -4
  400. package/dist/core/codegen/generators/index.d.ts.map +0 -1
  401. package/dist/core/codegen/generators/index.js +0 -110
  402. package/dist/core/codegen/generators/index.js.map +0 -1
  403. package/dist/core/codegen/generators/intersection.d.ts +0 -6
  404. package/dist/core/codegen/generators/intersection.d.ts.map +0 -1
  405. package/dist/core/codegen/generators/intersection.js +0 -4
  406. package/dist/core/codegen/generators/intersection.js.map +0 -1
  407. package/dist/core/codegen/generators/literal.d.ts +0 -5
  408. package/dist/core/codegen/generators/literal.d.ts.map +0 -1
  409. package/dist/core/codegen/generators/literal.js +0 -37
  410. package/dist/core/codegen/generators/literal.js.map +0 -1
  411. package/dist/core/codegen/generators/map.d.ts +0 -6
  412. package/dist/core/codegen/generators/map.d.ts.map +0 -1
  413. package/dist/core/codegen/generators/map.js +0 -19
  414. package/dist/core/codegen/generators/map.js.map +0 -1
  415. package/dist/core/codegen/generators/nan.d.ts +0 -2
  416. package/dist/core/codegen/generators/nan.d.ts.map +0 -1
  417. package/dist/core/codegen/generators/nan.js +0 -9
  418. package/dist/core/codegen/generators/nan.js.map +0 -1
  419. package/dist/core/codegen/generators/never.d.ts +0 -2
  420. package/dist/core/codegen/generators/never.d.ts.map +0 -1
  421. package/dist/core/codegen/generators/never.js +0 -7
  422. package/dist/core/codegen/generators/never.js.map +0 -1
  423. package/dist/core/codegen/generators/null.d.ts +0 -2
  424. package/dist/core/codegen/generators/null.d.ts.map +0 -1
  425. package/dist/core/codegen/generators/null.js +0 -9
  426. package/dist/core/codegen/generators/null.js.map +0 -1
  427. package/dist/core/codegen/generators/nullable.d.ts +0 -6
  428. package/dist/core/codegen/generators/nullable.d.ts.map +0 -1
  429. package/dist/core/codegen/generators/nullable.js +0 -9
  430. package/dist/core/codegen/generators/nullable.js.map +0 -1
  431. package/dist/core/codegen/generators/number.d.ts +0 -6
  432. package/dist/core/codegen/generators/number.d.ts.map +0 -1
  433. package/dist/core/codegen/generators/number.js +0 -101
  434. package/dist/core/codegen/generators/number.js.map +0 -1
  435. package/dist/core/codegen/generators/object.d.ts +0 -6
  436. package/dist/core/codegen/generators/object.d.ts.map +0 -1
  437. package/dist/core/codegen/generators/object.js +0 -31
  438. package/dist/core/codegen/generators/object.js.map +0 -1
  439. package/dist/core/codegen/generators/optional.d.ts +0 -6
  440. package/dist/core/codegen/generators/optional.d.ts.map +0 -1
  441. package/dist/core/codegen/generators/optional.js +0 -9
  442. package/dist/core/codegen/generators/optional.js.map +0 -1
  443. package/dist/core/codegen/generators/pipe.d.ts +0 -6
  444. package/dist/core/codegen/generators/pipe.d.ts.map +0 -1
  445. package/dist/core/codegen/generators/pipe.js +0 -5
  446. package/dist/core/codegen/generators/pipe.js.map +0 -1
  447. package/dist/core/codegen/generators/readonly.d.ts +0 -6
  448. package/dist/core/codegen/generators/readonly.d.ts.map +0 -1
  449. package/dist/core/codegen/generators/readonly.js +0 -4
  450. package/dist/core/codegen/generators/readonly.js.map +0 -1
  451. package/dist/core/codegen/generators/record.d.ts +0 -6
  452. package/dist/core/codegen/generators/record.d.ts.map +0 -1
  453. package/dist/core/codegen/generators/record.js +0 -32
  454. package/dist/core/codegen/generators/record.js.map +0 -1
  455. package/dist/core/codegen/generators/recursive-ref.d.ts +0 -3
  456. package/dist/core/codegen/generators/recursive-ref.d.ts.map +0 -1
  457. package/dist/core/codegen/generators/recursive-ref.js +0 -20
  458. package/dist/core/codegen/generators/recursive-ref.js.map +0 -1
  459. package/dist/core/codegen/generators/set.d.ts +0 -6
  460. package/dist/core/codegen/generators/set.d.ts.map +0 -1
  461. package/dist/core/codegen/generators/set.js +0 -39
  462. package/dist/core/codegen/generators/set.js.map +0 -1
  463. package/dist/core/codegen/generators/string.d.ts +0 -6
  464. package/dist/core/codegen/generators/string.d.ts.map +0 -1
  465. package/dist/core/codegen/generators/string.js +0 -101
  466. package/dist/core/codegen/generators/string.js.map +0 -1
  467. package/dist/core/codegen/generators/symbol.d.ts +0 -2
  468. package/dist/core/codegen/generators/symbol.d.ts.map +0 -1
  469. package/dist/core/codegen/generators/symbol.js +0 -9
  470. package/dist/core/codegen/generators/symbol.js.map +0 -1
  471. package/dist/core/codegen/generators/template-literal.d.ts +0 -6
  472. package/dist/core/codegen/generators/template-literal.d.ts.map +0 -1
  473. package/dist/core/codegen/generators/template-literal.js +0 -13
  474. package/dist/core/codegen/generators/template-literal.js.map +0 -1
  475. package/dist/core/codegen/generators/tuple.d.ts +0 -6
  476. package/dist/core/codegen/generators/tuple.d.ts.map +0 -1
  477. package/dist/core/codegen/generators/tuple.js +0 -37
  478. package/dist/core/codegen/generators/tuple.js.map +0 -1
  479. package/dist/core/codegen/generators/undefined.d.ts +0 -2
  480. package/dist/core/codegen/generators/undefined.d.ts.map +0 -1
  481. package/dist/core/codegen/generators/undefined.js +0 -9
  482. package/dist/core/codegen/generators/undefined.js.map +0 -1
  483. package/dist/core/codegen/generators/union.d.ts +0 -6
  484. package/dist/core/codegen/generators/union.d.ts.map +0 -1
  485. package/dist/core/codegen/generators/union.js +0 -33
  486. package/dist/core/codegen/generators/union.js.map +0 -1
  487. package/dist/core/codegen/generators/unknown.d.ts +0 -2
  488. package/dist/core/codegen/generators/unknown.d.ts.map +0 -1
  489. package/dist/core/codegen/generators/unknown.js +0 -4
  490. package/dist/core/codegen/generators/unknown.js.map +0 -1
  491. package/dist/core/codegen/generators/void.d.ts +0 -2
  492. package/dist/core/codegen/generators/void.d.ts.map +0 -1
  493. package/dist/core/codegen/generators/void.js +0 -9
  494. package/dist/core/codegen/generators/void.js.map +0 -1
@@ -0,0 +1,114 @@
1
+ import { extractAny } from "./extractors/any.js";
2
+ import { extractArray } from "./extractors/array.js";
3
+ import { extractBigint } from "./extractors/bigint.js";
4
+ import { extractBoolean } from "./extractors/boolean.js";
5
+ import { extractCatch } from "./extractors/catch.js";
6
+ import { extractDate } from "./extractors/date.js";
7
+ import { extractDefault } from "./extractors/default.js";
8
+ import { extractEnum } from "./extractors/enum.js";
9
+ import { extractIntersection } from "./extractors/intersection.js";
10
+ import { extractLazy } from "./extractors/lazy.js";
11
+ import { extractLiteral } from "./extractors/literal.js";
12
+ import { extractMap } from "./extractors/map.js";
13
+ import { extractNan } from "./extractors/nan.js";
14
+ import { extractNever } from "./extractors/never.js";
15
+ import { extractNull } from "./extractors/null.js";
16
+ import { extractNullable } from "./extractors/nullable.js";
17
+ import { extractNumber } from "./extractors/number.js";
18
+ import { extractObject } from "./extractors/object.js";
19
+ import { extractOptional } from "./extractors/optional.js";
20
+ import { extractPipe } from "./extractors/pipe.js";
21
+ import { extractReadonly } from "./extractors/readonly.js";
22
+ import { extractRecord } from "./extractors/record.js";
23
+ import { extractSet } from "./extractors/set.js";
24
+ import { extractString } from "./extractors/string.js";
25
+ import { extractSymbol } from "./extractors/symbol.js";
26
+ import { extractTemplateLiteral } from "./extractors/template-literal.js";
27
+ import { extractTuple } from "./extractors/tuple.js";
28
+ import { extractUndefined } from "./extractors/undefined.js";
29
+ import { extractUnion } from "./extractors/union.js";
30
+ import { extractUnknown } from "./extractors/unknown.js";
31
+ import { extractVoid } from "./extractors/void.js";
32
+ import { makeFallback } from "./fallback.js";
33
+ // ─── Typed registry ─────────────────────────────────────────────────────────
34
+ // Adding a new SupportedZodDefType without registering an extractor here causes
35
+ // a compile error, preventing silent-missing-case bugs.
36
+ //
37
+ // Note: SupportedZodDefType covers Zod's def.type values, not SchemaIR types.
38
+ // SchemaIR types like discriminatedUnion, recursiveRef, effect, and fallback are
39
+ // produced by extractors (e.g. union emits discriminatedUnion, lazy emits
40
+ // recursiveRef) but have no corresponding Zod def.type.
41
+ export const extractRegistry = {
42
+ // Primitives (order follows SupportedZodDefType union in types.ts)
43
+ boolean: extractBoolean,
44
+ null: extractNull,
45
+ undefined: extractUndefined,
46
+ any: extractAny,
47
+ unknown: extractUnknown,
48
+ symbol: extractSymbol,
49
+ void: extractVoid,
50
+ nan: extractNan,
51
+ never: extractNever,
52
+ literal: extractLiteral,
53
+ enum: extractEnum,
54
+ optional: extractOptional,
55
+ nullable: extractNullable,
56
+ readonly: extractReadonly,
57
+ intersection: extractIntersection,
58
+ // Complex extractors
59
+ string: extractString,
60
+ number: extractNumber,
61
+ bigint: extractBigint,
62
+ date: extractDate,
63
+ object: extractObject,
64
+ array: extractArray,
65
+ tuple: extractTuple,
66
+ record: extractRecord,
67
+ set: extractSet,
68
+ map: extractMap,
69
+ union: extractUnion,
70
+ default: extractDefault,
71
+ pipe: extractPipe,
72
+ lazy: extractLazy,
73
+ catch: extractCatch,
74
+ template_literal: extractTemplateLiteral,
75
+ };
76
+ // ─── Factory ────────────────────────────────────────────────────────────────
77
+ // Lives here (not in types.ts) to avoid circular imports:
78
+ // visit() → dispatch() → imports from types.ts
79
+ function createExtractorContext(schema, path, fallbacks, visiting) {
80
+ return {
81
+ schema,
82
+ path,
83
+ fallbacks,
84
+ visiting,
85
+ visit(childSchema, pathSuffix) {
86
+ const childPath = pathSuffix ? `${path}${pathSuffix}` : path;
87
+ return dispatch(childSchema, childPath, fallbacks, visiting);
88
+ },
89
+ fallback(reason) {
90
+ return makeFallback(reason, schema, fallbacks, path);
91
+ },
92
+ };
93
+ }
94
+ // ─── Dispatch ───────────────────────────────────────────────────────────────
95
+ /**
96
+ * Central dispatch — replaces extractSchemaInner().
97
+ * visit() and dispatch() form a mutually recursive pair, both in this file.
98
+ */
99
+ export function dispatch(zodSchema, path, fallbacks, visiting) {
100
+ const schema = zodSchema;
101
+ const def = schema._zod.def;
102
+ visiting.add(zodSchema);
103
+ try {
104
+ const extractor = extractRegistry[def.type];
105
+ const ctx = createExtractorContext(zodSchema, path, fallbacks, visiting);
106
+ return extractor
107
+ ? extractor(def, ctx)
108
+ : makeFallback("unsupported", zodSchema, fallbacks, path);
109
+ }
110
+ finally {
111
+ visiting.delete(zodSchema);
112
+ }
113
+ }
114
+ //# sourceMappingURL=registry.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../src/core/extract/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,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,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAS7C,+EAA+E;AAC/E,gFAAgF;AAChF,wDAAwD;AACxD,EAAE;AACF,8EAA8E;AAC9E,iFAAiF;AACjF,0EAA0E;AAC1E,wDAAwD;AAExD,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,mEAAmE;IACnE,OAAO,EAAE,cAAc;IACvB,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,gBAAgB;IAC3B,GAAG,EAAE,UAAU;IACf,OAAO,EAAE,cAAc;IACvB,MAAM,EAAE,aAAa;IACrB,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,YAAY;IACnB,OAAO,EAAE,cAAc;IACvB,IAAI,EAAE,WAAW;IACjB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,eAAe;IACzB,YAAY,EAAE,mBAAmB;IACjC,qBAAqB;IACrB,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,aAAa;IACrB,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,aAAa;IACrB,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,aAAa;IACrB,GAAG,EAAE,UAAU;IACf,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,YAAY;IACnB,OAAO,EAAE,cAAc;IACvB,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,YAAY;IACnB,gBAAgB,EAAE,sBAAsB;CACQ,CAAC;AAEnD,+EAA+E;AAC/E,0DAA0D;AAC1D,+CAA+C;AAE/C,SAAS,sBAAsB,CAC7B,MAAe,EACf,IAAY,EACZ,SAAsC,EACtC,QAAsB;IAEtB,OAAO;QACL,MAAM;QACN,IAAI;QACJ,SAAS;QACT,QAAQ;QACR,KAAK,CAAC,WAAoB,EAAE,UAAmB;YAC7C,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7D,OAAO,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC/D,CAAC;QACD,QAAQ,CAAC,MAA4B;YACnC,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACvD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,UAAU,QAAQ,CACtB,SAAkB,EAClB,IAAY,EACZ,SAAsC,EACtC,QAAsB;IAEtB,MAAM,MAAM,GAAG,SAAsB,CAAC;IACtC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IAE5B,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,IAA2B,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACzE,OAAO,SAAS;YACd,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;YACrB,CAAC,CAAC,YAAY,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC"}
@@ -64,6 +64,23 @@ export interface FallbackEntry {
64
64
  /** Navigation path from root schema, e.g. '.shape["slug"]' */
65
65
  accessPath: string;
66
66
  }
67
- /** Signature for the recursive extractSchema function, passed to extractors. */
68
- export type ExtractFn = (zodSchema: unknown, fallbacks?: FallbackEntry[], currentPath?: string, visiting?: Set<unknown>) => import("../types.js").SchemaIR;
67
+ /** All Zod v4 def.type values that zod-aot supports. */
68
+ export type SupportedZodDefType = "boolean" | "null" | "undefined" | "any" | "unknown" | "symbol" | "void" | "nan" | "never" | "literal" | "enum" | "optional" | "nullable" | "readonly" | "intersection" | "string" | "number" | "bigint" | "date" | "object" | "array" | "tuple" | "record" | "set" | "map" | "union" | "default" | "pipe" | "lazy" | "catch" | "template_literal";
69
+ /** Context object for extractor functions. Unifies the varied parameter patterns. */
70
+ export interface ExtractorContext {
71
+ /** Raw Zod schema reference (for fallback entries and schema._zod access). */
72
+ readonly schema: unknown;
73
+ /** Navigation path from root, e.g. '._zod.def.innerType' */
74
+ readonly path: string;
75
+ /** Fallback entries collector (undefined if partial fallback disabled). */
76
+ readonly fallbacks: FallbackEntry[] | undefined;
77
+ /** Cycle detection set for lazy resolution. */
78
+ readonly visiting: Set<unknown>;
79
+ /** Recursively extract a child schema. Manages visiting set automatically. */
80
+ visit(childSchema: unknown, pathSuffix?: string): import("../types.js").SchemaIR;
81
+ /** Create a fallback entry for non-compilable sub-schemas. */
82
+ fallback(reason: import("../types.js").FallbackIR["reason"]): import("../types.js").FallbackIR;
83
+ }
84
+ /** Extractor function signature — registered in extractRegistry. */
85
+ export type Extractor = (def: ZodDef, ctx: ExtractorContext) => import("../types.js").SchemaIR;
69
86
  //# sourceMappingURL=types.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/extract/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE;QACL,GAAG,EAAE,WAAW,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;IAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,SAAS,CAAC;IACf,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,SAAS,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,SAAS,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IACvC,uEAAuE;IACvE,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE;QACJ,GAAG,EAAE,MAAM,CAAC;QACZ,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,4CAA4C;QAC5C,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,wDAAwD;QACxD,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;CACH;AAED,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,+CAA+C;IAC/C,MAAM,EAAE,OAAO,CAAC;IAChB,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,gFAAgF;AAChF,MAAM,MAAM,SAAS,GAAG,CACtB,SAAS,EAAE,OAAO,EAClB,SAAS,CAAC,EAAE,aAAa,EAAE,EAC3B,WAAW,CAAC,EAAE,MAAM,EACpB,QAAQ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,KACpB,OAAO,aAAa,EAAE,QAAQ,CAAC"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/extract/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE;QACL,GAAG,EAAE,WAAW,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;IAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,SAAS,CAAC;IACf,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,SAAS,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,SAAS,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IACvC,uEAAuE;IACvE,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE;QACJ,GAAG,EAAE,MAAM,CAAC;QACZ,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,4CAA4C;QAC5C,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,wDAAwD;QACxD,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;CACH;AAED,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,+CAA+C;IAC/C,MAAM,EAAE,OAAO,CAAC;IAChB,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,MAAM,GACN,WAAW,GACX,KAAK,GACL,SAAS,GACT,QAAQ,GACR,MAAM,GACN,KAAK,GACL,OAAO,GACP,SAAS,GACT,MAAM,GACN,UAAU,GACV,UAAU,GACV,UAAU,GACV,cAAc,GACd,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,OAAO,GACP,OAAO,GACP,QAAQ,GACR,KAAK,GACL,KAAK,GACL,OAAO,GACP,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,kBAAkB,CAAC;AAIvB,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;IAChD,+CAA+C;IAC/C,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAEhC,8EAA8E;IAC9E,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,aAAa,EAAE,QAAQ,CAAC;IAEjF,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,OAAO,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,OAAO,aAAa,EAAE,UAAU,CAAC;CAChG;AAED,oEAAoE;AACpE,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,KAAK,OAAO,aAAa,EAAE,QAAQ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"iife.d.ts","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,sDAAoD,CAAC;AAEnF,+EAA+E;AAC/E,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAU7E;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,GAC5C,MAAM,CAyBR"}
1
+ {"version":3,"file":"iife.d.ts","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,sDAAoD,CAAC;AAEnF,+EAA+E;AAC/E,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAU7E;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,GAC5C,MAAM,CAwBR"}
package/dist/core/iife.js CHANGED
@@ -34,7 +34,6 @@ export function generateIIFE(schemaExpr, schema, options) {
34
34
  ...codegenResult.code
35
35
  .split("\n")
36
36
  .filter((l) => l.trim() !== "" && l.trim() !== "/* zod-aot */"),
37
- ...(codegenResult.auxiliaryFunctions ?? []),
38
37
  codegenResult.functionDef,
39
38
  `var __w=${init};`,
40
39
  `__w.parse=function(input){const r=${fnName}(input);if(r.success)return r.data;throw Object.assign(new Error("Validation failed"),r.error);};`,
@@ -1 +1 @@
1
- {"version":3,"file":"iife.js","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,iDAAiD,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAE7E,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAA0B,EAC1B,OAA6C;IAE7C,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,KAAK,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAE/D,OAAO;QACL,0BAA0B;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,CAAC,aAAa,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,aAAa,CAAC,IAAI;aAClB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC;QACjE,GAAG,CAAC,aAAa,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC3C,aAAa,CAAC,WAAW;QACzB,WAAW,IAAI,GAAG;QAClB,qCAAqC,MAAM,mGAAmG;QAC9I,iBAAiB,MAAM,GAAG;QAC1B,6DAA6D,MAAM,aAAa;QAChF,0CAA0C,MAAM,qIAAqI;QACrL,cAAc,UAAU,GAAG;QAC3B,aAAa;QACb,MAAM;KACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
1
+ {"version":3,"file":"iife.js","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,iDAAiD,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAE7E,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAA0B,EAC1B,OAA6C;IAE7C,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,KAAK,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAE/D,OAAO;QACL,0BAA0B;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,CAAC,aAAa,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,aAAa,CAAC,IAAI;aAClB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC;QACjE,aAAa,CAAC,WAAW;QACzB,WAAW,IAAI,GAAG;QAClB,qCAAqC,MAAM,mGAAmG;QAC9I,iBAAiB,MAAM,GAAG;QAC1B,6DAA6D,MAAM,aAAa;QAChF,0CAA0C,MAAM,qIAAqI;QACrL,cAAc,UAAU,GAAG;QAC3B,aAAa;QACb,MAAM;KACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "zod-aot",
3
- "version": "0.16.0",
3
+ "version": "0.16.2",
4
4
  "description": "Compile Zod schemas into zero-overhead validation functions at build time",
5
5
  "type": "module",
6
6
  "keywords": [
@@ -1,4 +0,0 @@
1
- import type { ArrayIR } from "../../types.js";
2
- import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
3
- export declare function fastCheckArray(ir: ArrayIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
4
- //# sourceMappingURL=array.d.ts.map
@@ -1 +0,0 @@
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"}
@@ -1,31 +0,0 @@
1
- import { checkPriority } from "../context.js";
2
- export function fastCheckArray(ir, x, ctx, generateFn) {
3
- if (ir.checks.some((c) => c.kind === "refine_effect"))
4
- return null;
5
- const parts = [`Array.isArray(${x})`];
6
- const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
7
- // Size checks
8
- for (const check of checks.sort(checkPriority)) {
9
- switch (check.kind) {
10
- case "min_length":
11
- parts.push(`${x}.length>=${check.minimum}`);
12
- break;
13
- case "max_length":
14
- parts.push(`${x}.length<=${check.maximum}`);
15
- break;
16
- case "length_equals":
17
- parts.push(`${x}.length===${check.length}`);
18
- break;
19
- }
20
- }
21
- // Element validation via .every()
22
- const elemVar = `__fe_${ctx.counter++}`;
23
- const elemCheck = generateFn(ir.element, elemVar, ctx);
24
- if (elemCheck === null)
25
- return null;
26
- if (elemCheck !== "true") {
27
- parts.push(`${x}.every(${elemVar}=>${elemCheck})`);
28
- }
29
- return parts.join("&&");
30
- }
31
- //# sourceMappingURL=array.js.map
@@ -1 +0,0 @@
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"}
@@ -1,3 +0,0 @@
1
- import type { BigIntIR } from "../../types.js";
2
- export declare function fastCheckBigInt(ir: BigIntIR, x: string): string | null;
3
- //# sourceMappingURL=bigint.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/bigint.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,CAkBtE"}
@@ -1,19 +0,0 @@
1
- import { checkPriority } from "../context.js";
2
- export function fastCheckBigInt(ir, x) {
3
- const parts = [`typeof ${x}==="bigint"`];
4
- for (const check of [...ir.checks].sort(checkPriority)) {
5
- switch (check.kind) {
6
- case "bigint_greater_than":
7
- parts.push(check.inclusive ? `${x}>=${check.value}n` : `${x}>${check.value}n`);
8
- break;
9
- case "bigint_less_than":
10
- parts.push(check.inclusive ? `${x}<=${check.value}n` : `${x}<${check.value}n`);
11
- break;
12
- case "bigint_multiple_of":
13
- parts.push(`${x}%${check.value}n===0n`);
14
- break;
15
- }
16
- }
17
- return parts.join("&&");
18
- }
19
- //# sourceMappingURL=bigint.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/bigint.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,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"}
@@ -1,4 +0,0 @@
1
- import type { DiscriminatedUnionIR } from "../../types.js";
2
- import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
3
- export declare function fastCheckDiscriminatedUnion(ir: DiscriminatedUnionIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
4
- //# sourceMappingURL=discriminated-union.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,2BAA2B,CACzC,EAAE,EAAE,oBAAoB,EACxB,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAUf"}
@@ -1,13 +0,0 @@
1
- export function fastCheckDiscriminatedUnion(ir, x, ctx, generateFn) {
2
- // Generate checks for each branch, keyed by discriminator value
3
- const branchChecks = [];
4
- for (const option of ir.options) {
5
- const check = generateFn(option, x, ctx);
6
- if (check === null)
7
- return null;
8
- branchChecks.push(`(${check})`);
9
- }
10
- // Combine as || chain, wrapped for precedence safety
11
- return `(${branchChecks.join("||")})`;
12
- }
13
- //# sourceMappingURL=discriminated-union.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/discriminated-union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,2BAA2B,CACzC,EAAwB,EACxB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,gEAAgE;IAChE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,qDAAqD;IACrD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC"}
@@ -1,4 +0,0 @@
1
- import type { EnumIR } from "../../types.js";
2
- import type { CodeGenContext } from "../context.js";
3
- export declare function fastCheckEnum(ir: EnumIR, x: string, ctx: CodeGenContext): string;
4
- //# sourceMappingURL=enum.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,MAAM,CAShF"}
@@ -1,12 +0,0 @@
1
- import { ENUM_INLINE_THRESHOLD, escapeString } from "../context.js";
2
- export function fastCheckEnum(ir, x, ctx) {
3
- if (ir.values.length <= ENUM_INLINE_THRESHOLD) {
4
- // Inline equality checks for small enums, wrapped in parens for precedence safety
5
- return `(${ir.values.map((v) => `${x}===${escapeString(v)}`).join("||")})`;
6
- }
7
- // Use Set for larger enums
8
- const setVar = `__enumSet_${ctx.counter++}`;
9
- ctx.preamble.push(`var ${setVar}=new Set(${JSON.stringify(ir.values)});`);
10
- return `${setVar}.has(${x})`;
11
- }
12
- //# sourceMappingURL=enum.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,GAAmB;IACtE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,qBAAqB,EAAE,CAAC;QAC9C,kFAAkF;QAClF,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7E,CAAC;IACD,2BAA2B;IAC3B,MAAM,MAAM,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC;AAC/B,CAAC"}
@@ -1,16 +0,0 @@
1
- /**
2
- * Fast Path generator: 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 } from "../context.js";
11
- /**
12
- * Generate a boolean expression string that validates `inputExpr` against the schema.
13
- * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
14
- */
15
- export declare function generateFastCheck(ir: SchemaIR, inputExpr: string, ctx: CodeGenContext): string | null;
16
- //# sourceMappingURL=index.d.ts.map
@@ -1 +0,0 @@
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"}
@@ -1,119 +0,0 @@
1
- /**
2
- * Fast Path generator: 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 { fastCheckArray } from "./array.js";
11
- import { fastCheckBigInt } from "./bigint.js";
12
- import { fastCheckDiscriminatedUnion } from "./discriminated-union.js";
13
- import { fastCheckEnum } from "./enum.js";
14
- import { fastCheckIntersection } from "./intersection.js";
15
- import { fastCheckLiteral } from "./literal.js";
16
- import { fastCheckNullable } from "./nullable.js";
17
- import { fastCheckNumber } from "./number.js";
18
- import { fastCheckObject } from "./object.js";
19
- import { fastCheckOptional } from "./optional.js";
20
- import { fastCheckPipe } from "./pipe.js";
21
- import { fastCheckReadonly } from "./readonly.js";
22
- import { fastCheckRecord } from "./record.js";
23
- import { fastCheckString } from "./string.js";
24
- import { fastCheckTuple } from "./tuple.js";
25
- import { fastCheckUnion } from "./union.js";
26
- /**
27
- * Generate a boolean expression string that validates `inputExpr` against the schema.
28
- * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
29
- */
30
- export function generateFastCheck(ir, inputExpr, ctx) {
31
- switch (ir.type) {
32
- // ── Trivially eligible ──────────────────────────────────────────────
33
- case "any":
34
- case "unknown":
35
- return "true";
36
- // ── NOT ELIGIBLE ────────────────────────────────────────────────────
37
- case "effect":
38
- case "fallback":
39
- case "default":
40
- case "catch":
41
- case "date":
42
- case "set":
43
- case "map":
44
- return null;
45
- // ── Primitives with coerce check ────────────────────────────────────
46
- case "string":
47
- if (ir.coerce)
48
- return null;
49
- return fastCheckString(ir, inputExpr, ctx);
50
- case "number":
51
- if (ir.coerce)
52
- return null;
53
- return fastCheckNumber(ir, inputExpr);
54
- case "boolean":
55
- if (ir.coerce)
56
- return null;
57
- return `typeof ${inputExpr}==="boolean"`;
58
- case "bigint":
59
- if (ir.coerce)
60
- return null;
61
- return fastCheckBigInt(ir, inputExpr);
62
- // ── Simple type checks ──────────────────────────────────────────────
63
- case "null":
64
- return `${inputExpr}===null`;
65
- case "undefined":
66
- return `${inputExpr}===undefined`;
67
- case "symbol":
68
- return `typeof ${inputExpr}==="symbol"`;
69
- case "void":
70
- return `${inputExpr}===undefined`;
71
- case "nan":
72
- return `typeof ${inputExpr}==="number"&&Number.isNaN(${inputExpr})`;
73
- case "never":
74
- return "false";
75
- // ── Literal ─────────────────────────────────────────────────────────
76
- case "literal":
77
- return fastCheckLiteral(ir, inputExpr);
78
- // ── Enum ────────────────────────────────────────────────────────────
79
- case "enum":
80
- return fastCheckEnum(ir, inputExpr, ctx);
81
- // ── Template literal ────────────────────────────────────────────────
82
- case "templateLiteral": {
83
- const regexVar = `__re_tl_${ctx.counter++}`;
84
- ctx.preamble.push(`var ${regexVar}=new RegExp(${escapeString(ir.pattern)});`);
85
- return `typeof ${inputExpr}==="string"&&${regexVar}.test(${inputExpr})`;
86
- }
87
- // ── Containers ──────────────────────────────────────────────────────
88
- case "object":
89
- return fastCheckObject(ir, inputExpr, ctx, generateFastCheck);
90
- case "array":
91
- return fastCheckArray(ir, inputExpr, ctx, generateFastCheck);
92
- case "tuple":
93
- return fastCheckTuple(ir, inputExpr, ctx, generateFastCheck);
94
- case "record":
95
- return fastCheckRecord(ir, inputExpr, ctx, generateFastCheck);
96
- // ── Modifiers ───────────────────────────────────────────────────────
97
- case "optional":
98
- return fastCheckOptional(ir, inputExpr, ctx, generateFastCheck);
99
- case "nullable":
100
- return fastCheckNullable(ir, inputExpr, ctx, generateFastCheck);
101
- case "readonly":
102
- return fastCheckReadonly(ir, inputExpr, ctx, generateFastCheck);
103
- case "pipe":
104
- return fastCheckPipe(ir, inputExpr, ctx, generateFastCheck);
105
- // ── Unions & Intersections ──────────────────────────────────────────
106
- case "union":
107
- return fastCheckUnion(ir, inputExpr, ctx, generateFastCheck);
108
- case "discriminatedUnion":
109
- return fastCheckDiscriminatedUnion(ir, inputExpr, ctx, generateFastCheck);
110
- case "intersection":
111
- return fastCheckIntersection(ir, inputExpr, ctx, generateFastCheck);
112
- // ── recursiveRef ────────────────────────────────────────────────────
113
- case "recursiveRef":
114
- // recursiveRef needs auxiliary function generation, handled separately
115
- // For now, mark as ineligible; Step 2 will add support
116
- return null;
117
- }
118
- }
119
- //# sourceMappingURL=index.js.map
@@ -1 +0,0 @@
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"}
@@ -1,4 +0,0 @@
1
- import type { IntersectionIR } from "../../types.js";
2
- import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
3
- export declare function fastCheckIntersection(ir: IntersectionIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
4
- //# sourceMappingURL=intersection.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,cAAc,EAClB,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAMf"}
@@ -1,10 +0,0 @@
1
- export function fastCheckIntersection(ir, x, ctx, generateFn) {
2
- const left = generateFn(ir.left, x, ctx);
3
- if (left === null)
4
- return null;
5
- const right = generateFn(ir.right, x, ctx);
6
- if (right === null)
7
- return null;
8
- return left === "true" ? right : right === "true" ? left : `${left}&&${right}`;
9
- }
10
- //# sourceMappingURL=intersection.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,qBAAqB,CACnC,EAAkB,EAClB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;AACjF,CAAC"}
@@ -1,3 +0,0 @@
1
- import type { LiteralIR } from "../../types.js";
2
- export declare function fastCheckLiteral(ir: LiteralIR, x: string): string;
3
- //# sourceMappingURL=literal.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAMjE"}
@@ -1,8 +0,0 @@
1
- export function fastCheckLiteral(ir, x) {
2
- if (ir.values.length === 1) {
3
- return `${x}===${JSON.stringify(ir.values[0])}`;
4
- }
5
- // Wrap in parens — || has lower precedence than && in parent expressions
6
- return `(${ir.values.map((v) => `${x}===${JSON.stringify(v)}`).join("||")})`;
7
- }
8
- //# sourceMappingURL=literal.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/literal.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,gBAAgB,CAAC,EAAa,EAAE,CAAS;IACvD,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC/E,CAAC"}
@@ -1,4 +0,0 @@
1
- import type { NullableIR } from "../../types.js";
2
- import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
3
- export declare function fastCheckNullable(ir: NullableIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
4
- //# sourceMappingURL=nullable.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAIf"}
@@ -1,7 +0,0 @@
1
- export function fastCheckNullable(ir, x, ctx, generateFn) {
2
- const inner = generateFn(ir.inner, x, ctx);
3
- if (inner === null)
4
- return null;
5
- return `(${x}===null||(${inner}))`;
6
- }
7
- //# sourceMappingURL=nullable.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;AACrC,CAAC"}
@@ -1,3 +0,0 @@
1
- import type { NumberIR } from "../../types.js";
2
- export declare function fastCheckNumber(ir: NumberIR, x: string): string | null;
3
- //# sourceMappingURL=number.d.ts.map
@@ -1 +0,0 @@
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"}