@thethracian/oxlint-config 0.3.5 → 0.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (450) hide show
  1. package/CHANGELOG.md +12 -0
  2. package/README.md +14 -2
  3. package/dist/codemods/arrow-body-style.d.ts.map +1 -1
  4. package/dist/codemods/arrow-body-style.js +13 -1
  5. package/dist/codemods/arrow-body-style.js.map +1 -1
  6. package/dist/codemods/explicit-return-types.d.ts.map +1 -1
  7. package/dist/codemods/explicit-return-types.js +15 -3
  8. package/dist/codemods/explicit-return-types.js.map +1 -1
  9. package/dist/codemods/function-declarations.d.ts.map +1 -1
  10. package/dist/codemods/function-declarations.js +7 -0
  11. package/dist/codemods/function-declarations.js.map +1 -1
  12. package/dist/codemods/inline-export-lists.d.ts.map +1 -1
  13. package/dist/codemods/inline-export-lists.js +17 -3
  14. package/dist/codemods/inline-export-lists.js.map +1 -1
  15. package/dist/codemods/internal-export-docs.d.ts.map +1 -1
  16. package/dist/codemods/internal-export-docs.js +17 -5
  17. package/dist/codemods/internal-export-docs.js.map +1 -1
  18. package/dist/codemods/no-ternary-variable-initializers.d.ts.map +1 -1
  19. package/dist/codemods/no-ternary-variable-initializers.js +24 -14
  20. package/dist/codemods/no-ternary-variable-initializers.js.map +1 -1
  21. package/dist/codemods/rename-acronyms.d.ts.map +1 -1
  22. package/dist/codemods/rename-acronyms.js +31 -1
  23. package/dist/codemods/rename-acronyms.js.map +1 -1
  24. package/dist/rules/diagnostic-guidance.d.ts.map +1 -1
  25. package/dist/rules/diagnostic-guidance.js +26 -2
  26. package/dist/rules/diagnostic-guidance.js.map +1 -1
  27. package/dist/rules/effect-alias-canonicalization.d.ts +27 -0
  28. package/dist/rules/effect-alias-canonicalization.d.ts.map +1 -0
  29. package/dist/rules/effect-alias-canonicalization.js +60 -0
  30. package/dist/rules/effect-alias-canonicalization.js.map +1 -0
  31. package/dist/rules/effect-ast-scope.d.ts +25 -0
  32. package/dist/rules/effect-ast-scope.d.ts.map +1 -0
  33. package/dist/rules/effect-ast-scope.js +286 -0
  34. package/dist/rules/effect-ast-scope.js.map +1 -0
  35. package/dist/rules/effect-ast.d.ts +42 -0
  36. package/dist/rules/effect-ast.d.ts.map +1 -0
  37. package/dist/rules/effect-ast.js +74 -0
  38. package/dist/rules/effect-ast.js.map +1 -0
  39. package/dist/rules/effect-boundary-ast-shared.d.ts +42 -0
  40. package/dist/rules/effect-boundary-ast-shared.d.ts.map +1 -0
  41. package/dist/rules/effect-boundary-ast-shared.js +203 -0
  42. package/dist/rules/effect-boundary-ast-shared.js.map +1 -0
  43. package/dist/rules/effect-default-boundary-ast.d.ts +10 -0
  44. package/dist/rules/effect-default-boundary-ast.d.ts.map +1 -0
  45. package/dist/rules/effect-default-boundary-ast.js +320 -0
  46. package/dist/rules/effect-default-boundary-ast.js.map +1 -0
  47. package/dist/rules/effect-default-compat-rules.d.ts +11 -15
  48. package/dist/rules/effect-default-compat-rules.d.ts.map +1 -1
  49. package/dist/rules/effect-default-compat-rules.js +20 -0
  50. package/dist/rules/effect-default-compat-rules.js.map +1 -1
  51. package/dist/rules/effect-default-scan-helpers.js +1 -1
  52. package/dist/rules/effect-default-scan-helpers.js.map +1 -1
  53. package/dist/rules/effect-default-workflow-helpers.d.ts.map +1 -1
  54. package/dist/rules/effect-default-workflow-helpers.js +7 -29
  55. package/dist/rules/effect-default-workflow-helpers.js.map +1 -1
  56. package/dist/rules/effect-default.d.ts +4 -1
  57. package/dist/rules/effect-default.d.ts.map +1 -1
  58. package/dist/rules/effect-default.js +14 -5
  59. package/dist/rules/effect-default.js.map +1 -1
  60. package/dist/rules/effect-export-binding-patterns.d.ts +9 -0
  61. package/dist/rules/effect-export-binding-patterns.d.ts.map +1 -0
  62. package/dist/rules/effect-export-binding-patterns.js +149 -0
  63. package/dist/rules/effect-export-binding-patterns.js.map +1 -0
  64. package/dist/rules/effect-export-declaration-boundaries.d.ts +21 -0
  65. package/dist/rules/effect-export-declaration-boundaries.d.ts.map +1 -0
  66. package/dist/rules/effect-export-declaration-boundaries.js +119 -0
  67. package/dist/rules/effect-export-declaration-boundaries.js.map +1 -0
  68. package/dist/rules/effect-export-default-binding.d.ts +5 -0
  69. package/dist/rules/effect-export-default-binding.d.ts.map +1 -0
  70. package/dist/rules/effect-export-default-binding.js +350 -0
  71. package/dist/rules/effect-export-default-binding.js.map +1 -0
  72. package/dist/rules/effect-export-segments.d.ts +9 -0
  73. package/dist/rules/effect-export-segments.d.ts.map +1 -0
  74. package/dist/rules/effect-export-segments.js +67 -0
  75. package/dist/rules/effect-export-segments.js.map +1 -0
  76. package/dist/rules/effect-exported-declarations.d.ts +3 -15
  77. package/dist/rules/effect-exported-declarations.d.ts.map +1 -1
  78. package/dist/rules/effect-exported-declarations.js +139 -94
  79. package/dist/rules/effect-exported-declarations.js.map +1 -1
  80. package/dist/rules/effect-global-fetch-ast.d.ts +14 -0
  81. package/dist/rules/effect-global-fetch-ast.d.ts.map +1 -0
  82. package/dist/rules/effect-global-fetch-ast.js +321 -0
  83. package/dist/rules/effect-global-fetch-ast.js.map +1 -0
  84. package/dist/rules/effect-global-fetch-imports.d.ts +29 -0
  85. package/dist/rules/effect-global-fetch-imports.d.ts.map +1 -0
  86. package/dist/rules/effect-global-fetch-imports.js +91 -0
  87. package/dist/rules/effect-global-fetch-imports.js.map +1 -0
  88. package/dist/rules/effect-import-bindings.d.ts +13 -0
  89. package/dist/rules/effect-import-bindings.d.ts.map +1 -0
  90. package/dist/rules/effect-import-bindings.js +133 -0
  91. package/dist/rules/effect-import-bindings.js.map +1 -0
  92. package/dist/rules/effect-imported-call-matcher.d.ts +24 -0
  93. package/dist/rules/effect-imported-call-matcher.d.ts.map +1 -0
  94. package/dist/rules/effect-imported-call-matcher.js +271 -0
  95. package/dist/rules/effect-imported-call-matcher.js.map +1 -0
  96. package/dist/rules/effect-module-source-index.d.ts +44 -0
  97. package/dist/rules/effect-module-source-index.d.ts.map +1 -0
  98. package/dist/rules/effect-module-source-index.js +306 -0
  99. package/dist/rules/effect-module-source-index.js.map +1 -0
  100. package/dist/rules/effect-native-references.d.ts +66 -0
  101. package/dist/rules/effect-native-references.d.ts.map +1 -0
  102. package/dist/rules/effect-native-references.js +164 -0
  103. package/dist/rules/effect-native-references.js.map +1 -0
  104. package/dist/rules/effect-object-assign-provenance.d.ts +20 -0
  105. package/dist/rules/effect-object-assign-provenance.d.ts.map +1 -0
  106. package/dist/rules/effect-object-assign-provenance.js +37 -0
  107. package/dist/rules/effect-object-assign-provenance.js.map +1 -0
  108. package/dist/rules/effect-prefer-map-over-flatmap-succeed.d.ts +4 -0
  109. package/dist/rules/effect-prefer-map-over-flatmap-succeed.d.ts.map +1 -0
  110. package/dist/rules/effect-prefer-map-over-flatmap-succeed.js +294 -0
  111. package/dist/rules/effect-prefer-map-over-flatmap-succeed.js.map +1 -0
  112. package/dist/rules/effect-prefer-succeed-for-stable-values.d.ts +4 -0
  113. package/dist/rules/effect-prefer-succeed-for-stable-values.d.ts.map +1 -0
  114. package/dist/rules/effect-prefer-succeed-for-stable-values.js +292 -0
  115. package/dist/rules/effect-prefer-succeed-for-stable-values.js.map +1 -0
  116. package/dist/rules/effect-promise-ast-values.d.ts +26 -0
  117. package/dist/rules/effect-promise-ast-values.d.ts.map +1 -0
  118. package/dist/rules/effect-promise-ast-values.js +66 -0
  119. package/dist/rules/effect-promise-ast-values.js.map +1 -0
  120. package/dist/rules/effect-promise-callable-declarations.d.ts +22 -0
  121. package/dist/rules/effect-promise-callable-declarations.d.ts.map +1 -0
  122. package/dist/rules/effect-promise-callable-declarations.js +255 -0
  123. package/dist/rules/effect-promise-callable-declarations.js.map +1 -0
  124. package/dist/rules/effect-promise-callable-lookup.d.ts +40 -0
  125. package/dist/rules/effect-promise-callable-lookup.d.ts.map +1 -0
  126. package/dist/rules/effect-promise-callable-lookup.js +99 -0
  127. package/dist/rules/effect-promise-callable-lookup.js.map +1 -0
  128. package/dist/rules/effect-promise-callable-scopes.d.ts +16 -0
  129. package/dist/rules/effect-promise-callable-scopes.d.ts.map +1 -0
  130. package/dist/rules/effect-promise-callable-scopes.js +43 -0
  131. package/dist/rules/effect-promise-callable-scopes.js.map +1 -0
  132. package/dist/rules/effect-promise-callable-types.d.ts +43 -0
  133. package/dist/rules/effect-promise-callable-types.d.ts.map +1 -0
  134. package/dist/rules/effect-promise-callable-types.js +5 -0
  135. package/dist/rules/effect-promise-callable-types.js.map +1 -0
  136. package/dist/rules/effect-promise-callables.d.ts +5 -0
  137. package/dist/rules/effect-promise-callables.d.ts.map +1 -0
  138. package/dist/rules/effect-promise-callables.js +7 -0
  139. package/dist/rules/effect-promise-callables.js.map +1 -0
  140. package/dist/rules/effect-promise-collections.d.ts +20 -0
  141. package/dist/rules/effect-promise-collections.d.ts.map +1 -0
  142. package/dist/rules/effect-promise-collections.js +199 -0
  143. package/dist/rules/effect-promise-collections.js.map +1 -0
  144. package/dist/rules/effect-promise-completion.d.ts +141 -0
  145. package/dist/rules/effect-promise-completion.d.ts.map +1 -0
  146. package/dist/rules/effect-promise-completion.js +200 -0
  147. package/dist/rules/effect-promise-completion.js.map +1 -0
  148. package/dist/rules/effect-promise-environment-projections.d.ts +23 -0
  149. package/dist/rules/effect-promise-environment-projections.d.ts.map +1 -0
  150. package/dist/rules/effect-promise-environment-projections.js +191 -0
  151. package/dist/rules/effect-promise-environment-projections.js.map +1 -0
  152. package/dist/rules/effect-promise-environment-types.d.ts +96 -0
  153. package/dist/rules/effect-promise-environment-types.d.ts.map +1 -0
  154. package/dist/rules/effect-promise-environment-types.js +10 -0
  155. package/dist/rules/effect-promise-environment-types.js.map +1 -0
  156. package/dist/rules/effect-promise-environment-values.d.ts +41 -0
  157. package/dist/rules/effect-promise-environment-values.d.ts.map +1 -0
  158. package/dist/rules/effect-promise-environment-values.js +214 -0
  159. package/dist/rules/effect-promise-environment-values.js.map +1 -0
  160. package/dist/rules/effect-promise-environments.d.ts +5 -0
  161. package/dist/rules/effect-promise-environments.d.ts.map +1 -0
  162. package/dist/rules/effect-promise-environments.js +7 -0
  163. package/dist/rules/effect-promise-environments.js.map +1 -0
  164. package/dist/rules/effect-promise-execution-ast.d.ts +12 -0
  165. package/dist/rules/effect-promise-execution-ast.d.ts.map +1 -0
  166. package/dist/rules/effect-promise-execution-ast.js +30 -0
  167. package/dist/rules/effect-promise-execution-ast.js.map +1 -0
  168. package/dist/rules/effect-promise-execution-engine.d.ts +9 -0
  169. package/dist/rules/effect-promise-execution-engine.d.ts.map +1 -0
  170. package/dist/rules/effect-promise-execution-engine.js +280 -0
  171. package/dist/rules/effect-promise-execution-engine.js.map +1 -0
  172. package/dist/rules/effect-promise-execution-flow.d.ts +48 -0
  173. package/dist/rules/effect-promise-execution-flow.d.ts.map +1 -0
  174. package/dist/rules/effect-promise-execution-flow.js +193 -0
  175. package/dist/rules/effect-promise-execution-flow.js.map +1 -0
  176. package/dist/rules/effect-promise-execution-navigation.d.ts +34 -0
  177. package/dist/rules/effect-promise-execution-navigation.d.ts.map +1 -0
  178. package/dist/rules/effect-promise-execution-navigation.js +66 -0
  179. package/dist/rules/effect-promise-execution-navigation.js.map +1 -0
  180. package/dist/rules/effect-promise-execution-types.d.ts +36 -0
  181. package/dist/rules/effect-promise-execution-types.d.ts.map +1 -0
  182. package/dist/rules/effect-promise-execution-types.js +5 -0
  183. package/dist/rules/effect-promise-execution-types.js.map +1 -0
  184. package/dist/rules/effect-promise-execution-values.d.ts +40 -0
  185. package/dist/rules/effect-promise-execution-values.d.ts.map +1 -0
  186. package/dist/rules/effect-promise-execution-values.js +268 -0
  187. package/dist/rules/effect-promise-execution-values.js.map +1 -0
  188. package/dist/rules/effect-promise-expression-flow.d.ts +27 -0
  189. package/dist/rules/effect-promise-expression-flow.d.ts.map +1 -0
  190. package/dist/rules/effect-promise-expression-flow.js +80 -0
  191. package/dist/rules/effect-promise-expression-flow.js.map +1 -0
  192. package/dist/rules/effect-promise-invocation-memo.d.ts +16 -0
  193. package/dist/rules/effect-promise-invocation-memo.d.ts.map +1 -0
  194. package/dist/rules/effect-promise-invocation-memo.js +44 -0
  195. package/dist/rules/effect-promise-invocation-memo.js.map +1 -0
  196. package/dist/rules/effect-promise-invocations.d.ts +16 -0
  197. package/dist/rules/effect-promise-invocations.d.ts.map +1 -0
  198. package/dist/rules/effect-promise-invocations.js +126 -0
  199. package/dist/rules/effect-promise-invocations.js.map +1 -0
  200. package/dist/rules/effect-promise-node-children.d.ts +22 -0
  201. package/dist/rules/effect-promise-node-children.d.ts.map +1 -0
  202. package/dist/rules/effect-promise-node-children.js +49 -0
  203. package/dist/rules/effect-promise-node-children.js.map +1 -0
  204. package/dist/rules/effect-promise-node-evaluation.d.ts +43 -0
  205. package/dist/rules/effect-promise-node-evaluation.d.ts.map +1 -0
  206. package/dist/rules/effect-promise-node-evaluation.js +150 -0
  207. package/dist/rules/effect-promise-node-evaluation.js.map +1 -0
  208. package/dist/rules/effect-promise-parameter-bindings.d.ts +28 -0
  209. package/dist/rules/effect-promise-parameter-bindings.d.ts.map +1 -0
  210. package/dist/rules/effect-promise-parameter-bindings.js +187 -0
  211. package/dist/rules/effect-promise-parameter-bindings.js.map +1 -0
  212. package/dist/rules/effect-promise-pattern-bindings.d.ts +9 -0
  213. package/dist/rules/effect-promise-pattern-bindings.d.ts.map +1 -0
  214. package/dist/rules/effect-promise-pattern-bindings.js +54 -0
  215. package/dist/rules/effect-promise-pattern-bindings.js.map +1 -0
  216. package/dist/rules/effect-promise-program-traversal.d.ts +40 -0
  217. package/dist/rules/effect-promise-program-traversal.d.ts.map +1 -0
  218. package/dist/rules/effect-promise-program-traversal.js +115 -0
  219. package/dist/rules/effect-promise-program-traversal.js.map +1 -0
  220. package/dist/rules/effect-promise-rule-bindings.d.ts +23 -0
  221. package/dist/rules/effect-promise-rule-bindings.d.ts.map +1 -0
  222. package/dist/rules/effect-promise-rule-bindings.js +41 -0
  223. package/dist/rules/effect-promise-rule-bindings.js.map +1 -0
  224. package/dist/rules/effect-promise-runtime-arguments.d.ts +18 -0
  225. package/dist/rules/effect-promise-runtime-arguments.d.ts.map +1 -0
  226. package/dist/rules/effect-promise-runtime-arguments.js +49 -0
  227. package/dist/rules/effect-promise-runtime-arguments.js.map +1 -0
  228. package/dist/rules/effect-promise-runtime-call-targets.d.ts +21 -0
  229. package/dist/rules/effect-promise-runtime-call-targets.d.ts.map +1 -0
  230. package/dist/rules/effect-promise-runtime-call-targets.js +55 -0
  231. package/dist/rules/effect-promise-runtime-call-targets.js.map +1 -0
  232. package/dist/rules/effect-promise-runtime-callable-properties.d.ts +20 -0
  233. package/dist/rules/effect-promise-runtime-callable-properties.d.ts.map +1 -0
  234. package/dist/rules/effect-promise-runtime-callable-properties.js +30 -0
  235. package/dist/rules/effect-promise-runtime-callable-properties.js.map +1 -0
  236. package/dist/rules/effect-promise-runtime-callables.d.ts +51 -0
  237. package/dist/rules/effect-promise-runtime-callables.d.ts.map +1 -0
  238. package/dist/rules/effect-promise-runtime-callables.js +214 -0
  239. package/dist/rules/effect-promise-runtime-callables.js.map +1 -0
  240. package/dist/rules/effect-promise-runtime-choice-operations.d.ts +32 -0
  241. package/dist/rules/effect-promise-runtime-choice-operations.d.ts.map +1 -0
  242. package/dist/rules/effect-promise-runtime-choice-operations.js +145 -0
  243. package/dist/rules/effect-promise-runtime-choice-operations.js.map +1 -0
  244. package/dist/rules/effect-promise-runtime-choice.d.ts +26 -0
  245. package/dist/rules/effect-promise-runtime-choice.d.ts.map +1 -0
  246. package/dist/rules/effect-promise-runtime-choice.js +95 -0
  247. package/dist/rules/effect-promise-runtime-choice.js.map +1 -0
  248. package/dist/rules/effect-promise-runtime-control-branches.d.ts +14 -0
  249. package/dist/rules/effect-promise-runtime-control-branches.d.ts.map +1 -0
  250. package/dist/rules/effect-promise-runtime-control-branches.js +74 -0
  251. package/dist/rules/effect-promise-runtime-control-branches.js.map +1 -0
  252. package/dist/rules/effect-promise-runtime-control-completions.d.ts +26 -0
  253. package/dist/rules/effect-promise-runtime-control-completions.d.ts.map +1 -0
  254. package/dist/rules/effect-promise-runtime-control-completions.js +116 -0
  255. package/dist/rules/effect-promise-runtime-control-completions.js.map +1 -0
  256. package/dist/rules/effect-promise-runtime-control-flow.d.ts +9 -0
  257. package/dist/rules/effect-promise-runtime-control-flow.d.ts.map +1 -0
  258. package/dist/rules/effect-promise-runtime-control-flow.js +94 -0
  259. package/dist/rules/effect-promise-runtime-control-flow.js.map +1 -0
  260. package/dist/rules/effect-promise-runtime-control-patterns.d.ts +15 -0
  261. package/dist/rules/effect-promise-runtime-control-patterns.d.ts.map +1 -0
  262. package/dist/rules/effect-promise-runtime-control-patterns.js +84 -0
  263. package/dist/rules/effect-promise-runtime-control-patterns.js.map +1 -0
  264. package/dist/rules/effect-promise-runtime-control-scalars.d.ts +23 -0
  265. package/dist/rules/effect-promise-runtime-control-scalars.d.ts.map +1 -0
  266. package/dist/rules/effect-promise-runtime-control-scalars.js +178 -0
  267. package/dist/rules/effect-promise-runtime-control-scalars.js.map +1 -0
  268. package/dist/rules/effect-promise-runtime-expressions.d.ts +22 -0
  269. package/dist/rules/effect-promise-runtime-expressions.d.ts.map +1 -0
  270. package/dist/rules/effect-promise-runtime-expressions.js +265 -0
  271. package/dist/rules/effect-promise-runtime-expressions.js.map +1 -0
  272. package/dist/rules/effect-promise-runtime-heap.d.ts +39 -0
  273. package/dist/rules/effect-promise-runtime-heap.d.ts.map +1 -0
  274. package/dist/rules/effect-promise-runtime-heap.js +73 -0
  275. package/dist/rules/effect-promise-runtime-heap.js.map +1 -0
  276. package/dist/rules/effect-promise-runtime-interpreter.d.ts +39 -0
  277. package/dist/rules/effect-promise-runtime-interpreter.d.ts.map +1 -0
  278. package/dist/rules/effect-promise-runtime-interpreter.js +260 -0
  279. package/dist/rules/effect-promise-runtime-interpreter.js.map +1 -0
  280. package/dist/rules/effect-promise-runtime-intrinsics.d.ts +15 -0
  281. package/dist/rules/effect-promise-runtime-intrinsics.d.ts.map +1 -0
  282. package/dist/rules/effect-promise-runtime-intrinsics.js +54 -0
  283. package/dist/rules/effect-promise-runtime-intrinsics.js.map +1 -0
  284. package/dist/rules/effect-promise-runtime-loops.d.ts +9 -0
  285. package/dist/rules/effect-promise-runtime-loops.d.ts.map +1 -0
  286. package/dist/rules/effect-promise-runtime-loops.js +277 -0
  287. package/dist/rules/effect-promise-runtime-loops.js.map +1 -0
  288. package/dist/rules/effect-promise-runtime-members.d.ts +28 -0
  289. package/dist/rules/effect-promise-runtime-members.d.ts.map +1 -0
  290. package/dist/rules/effect-promise-runtime-members.js +88 -0
  291. package/dist/rules/effect-promise-runtime-members.js.map +1 -0
  292. package/dist/rules/effect-promise-runtime-memo.d.ts +40 -0
  293. package/dist/rules/effect-promise-runtime-memo.d.ts.map +1 -0
  294. package/dist/rules/effect-promise-runtime-memo.js +124 -0
  295. package/dist/rules/effect-promise-runtime-memo.js.map +1 -0
  296. package/dist/rules/effect-promise-runtime-model.d.ts +251 -0
  297. package/dist/rules/effect-promise-runtime-model.d.ts.map +1 -0
  298. package/dist/rules/effect-promise-runtime-model.js +84 -0
  299. package/dist/rules/effect-promise-runtime-model.js.map +1 -0
  300. package/dist/rules/effect-promise-runtime-mutations.d.ts +17 -0
  301. package/dist/rules/effect-promise-runtime-mutations.d.ts.map +1 -0
  302. package/dist/rules/effect-promise-runtime-mutations.js +165 -0
  303. package/dist/rules/effect-promise-runtime-mutations.js.map +1 -0
  304. package/dist/rules/effect-promise-runtime-patterns.d.ts +21 -0
  305. package/dist/rules/effect-promise-runtime-patterns.d.ts.map +1 -0
  306. package/dist/rules/effect-promise-runtime-patterns.js +179 -0
  307. package/dist/rules/effect-promise-runtime-patterns.js.map +1 -0
  308. package/dist/rules/effect-promise-runtime-proof.d.ts +74 -0
  309. package/dist/rules/effect-promise-runtime-proof.d.ts.map +1 -0
  310. package/dist/rules/effect-promise-runtime-proof.js +253 -0
  311. package/dist/rules/effect-promise-runtime-proof.js.map +1 -0
  312. package/dist/rules/effect-promise-runtime-reporting.d.ts +16 -0
  313. package/dist/rules/effect-promise-runtime-reporting.d.ts.map +1 -0
  314. package/dist/rules/effect-promise-runtime-reporting.js +11 -0
  315. package/dist/rules/effect-promise-runtime-reporting.js.map +1 -0
  316. package/dist/rules/effect-promise-runtime-scalar-operations.d.ts +2 -0
  317. package/dist/rules/effect-promise-runtime-scalar-operations.d.ts.map +1 -0
  318. package/dist/rules/effect-promise-runtime-scalar-operations.js +5 -0
  319. package/dist/rules/effect-promise-runtime-scalar-operations.js.map +1 -0
  320. package/dist/rules/effect-promise-runtime-scalars.d.ts +24 -0
  321. package/dist/rules/effect-promise-runtime-scalars.d.ts.map +1 -0
  322. package/dist/rules/effect-promise-runtime-scalars.js +125 -0
  323. package/dist/rules/effect-promise-runtime-scalars.js.map +1 -0
  324. package/dist/rules/effect-promise-runtime-statements.d.ts +15 -0
  325. package/dist/rules/effect-promise-runtime-statements.d.ts.map +1 -0
  326. package/dist/rules/effect-promise-runtime-statements.js +251 -0
  327. package/dist/rules/effect-promise-runtime-statements.js.map +1 -0
  328. package/dist/rules/effect-promise-runtime-store.d.ts +44 -0
  329. package/dist/rules/effect-promise-runtime-store.d.ts.map +1 -0
  330. package/dist/rules/effect-promise-runtime-store.js +186 -0
  331. package/dist/rules/effect-promise-runtime-store.js.map +1 -0
  332. package/dist/rules/effect-promise-runtime-structures.d.ts +9 -0
  333. package/dist/rules/effect-promise-runtime-structures.d.ts.map +1 -0
  334. package/dist/rules/effect-promise-runtime-structures.js +181 -0
  335. package/dist/rules/effect-promise-runtime-structures.js.map +1 -0
  336. package/dist/rules/effect-promise-runtime-switch.d.ts +9 -0
  337. package/dist/rules/effect-promise-runtime-switch.d.ts.map +1 -0
  338. package/dist/rules/effect-promise-runtime-switch.js +91 -0
  339. package/dist/rules/effect-promise-runtime-switch.js.map +1 -0
  340. package/dist/rules/effect-promise-runtime-tasks.d.ts +72 -0
  341. package/dist/rules/effect-promise-runtime-tasks.d.ts.map +1 -0
  342. package/dist/rules/effect-promise-runtime-tasks.js +158 -0
  343. package/dist/rules/effect-promise-runtime-tasks.js.map +1 -0
  344. package/dist/rules/effect-promise-runtime-this.d.ts +14 -0
  345. package/dist/rules/effect-promise-runtime-this.d.ts.map +1 -0
  346. package/dist/rules/effect-promise-runtime-this.js +29 -0
  347. package/dist/rules/effect-promise-runtime-this.js.map +1 -0
  348. package/dist/rules/effect-promise-runtime-try.d.ts +9 -0
  349. package/dist/rules/effect-promise-runtime-try.d.ts.map +1 -0
  350. package/dist/rules/effect-promise-runtime-try.js +94 -0
  351. package/dist/rules/effect-promise-runtime-try.js.map +1 -0
  352. package/dist/rules/effect-promise-runtime-values.d.ts +88 -0
  353. package/dist/rules/effect-promise-runtime-values.d.ts.map +1 -0
  354. package/dist/rules/effect-promise-runtime-values.js +382 -0
  355. package/dist/rules/effect-promise-runtime-values.js.map +1 -0
  356. package/dist/rules/effect-promise-value-scopes.d.ts +94 -0
  357. package/dist/rules/effect-promise-value-scopes.d.ts.map +1 -0
  358. package/dist/rules/effect-promise-value-scopes.js +218 -0
  359. package/dist/rules/effect-promise-value-scopes.js.map +1 -0
  360. package/dist/rules/effect-recursion-ast.d.ts +14 -0
  361. package/dist/rules/effect-recursion-ast.d.ts.map +1 -0
  362. package/dist/rules/effect-recursion-ast.js +154 -0
  363. package/dist/rules/effect-recursion-ast.js.map +1 -0
  364. package/dist/rules/effect-recursion-execution.d.ts +15 -0
  365. package/dist/rules/effect-recursion-execution.d.ts.map +1 -0
  366. package/dist/rules/effect-recursion-execution.js +312 -0
  367. package/dist/rules/effect-recursion-execution.js.map +1 -0
  368. package/dist/rules/effect-recursion-generator.d.ts +17 -0
  369. package/dist/rules/effect-recursion-generator.d.ts.map +1 -0
  370. package/dist/rules/effect-recursion-generator.js +125 -0
  371. package/dist/rules/effect-recursion-generator.js.map +1 -0
  372. package/dist/rules/effect-recursion-local-bindings.d.ts +44 -0
  373. package/dist/rules/effect-recursion-local-bindings.d.ts.map +1 -0
  374. package/dist/rules/effect-recursion-local-bindings.js +99 -0
  375. package/dist/rules/effect-recursion-local-bindings.js.map +1 -0
  376. package/dist/rules/effect-recursion-phases.d.ts +40 -0
  377. package/dist/rules/effect-recursion-phases.d.ts.map +1 -0
  378. package/dist/rules/effect-recursion-phases.js +62 -0
  379. package/dist/rules/effect-recursion-phases.js.map +1 -0
  380. package/dist/rules/effect-recursion-source.d.ts +10 -0
  381. package/dist/rules/effect-recursion-source.d.ts.map +1 -0
  382. package/dist/rules/effect-recursion-source.js +182 -0
  383. package/dist/rules/effect-recursion-source.js.map +1 -0
  384. package/dist/rules/effect-recursion-viability.d.ts +66 -0
  385. package/dist/rules/effect-recursion-viability.d.ts.map +1 -0
  386. package/dist/rules/effect-recursion-viability.js +228 -0
  387. package/dist/rules/effect-recursion-viability.js.map +1 -0
  388. package/dist/rules/effect-rule-aliases.d.ts +14 -19
  389. package/dist/rules/effect-rule-aliases.d.ts.map +1 -1
  390. package/dist/rules/effect-rule-aliases.js +48 -30
  391. package/dist/rules/effect-rule-aliases.js.map +1 -1
  392. package/dist/rules/effect-rule-core.d.ts +4 -4
  393. package/dist/rules/effect-rule-core.d.ts.map +1 -1
  394. package/dist/rules/effect-rule-core.js +42 -44
  395. package/dist/rules/effect-rule-core.js.map +1 -1
  396. package/dist/rules/effect-rule-names.d.ts.map +1 -1
  397. package/dist/rules/effect-rule-names.js +1 -1
  398. package/dist/rules/effect-rule-names.js.map +1 -1
  399. package/dist/rules/effect-source-navigation-lexer.d.ts +13 -0
  400. package/dist/rules/effect-source-navigation-lexer.d.ts.map +1 -0
  401. package/dist/rules/effect-source-navigation-lexer.js +228 -0
  402. package/dist/rules/effect-source-navigation-lexer.js.map +1 -0
  403. package/dist/rules/effect-source-navigation.d.ts +2 -2
  404. package/dist/rules/effect-source-navigation.d.ts.map +1 -1
  405. package/dist/rules/effect-source-navigation.js +104 -101
  406. package/dist/rules/effect-source-navigation.js.map +1 -1
  407. package/dist/rules/effect-strict-ast-helpers.d.ts +82 -0
  408. package/dist/rules/effect-strict-ast-helpers.d.ts.map +1 -0
  409. package/dist/rules/effect-strict-ast-helpers.js +194 -0
  410. package/dist/rules/effect-strict-ast-helpers.js.map +1 -0
  411. package/dist/rules/effect-strict-ast-specs.d.ts.map +1 -1
  412. package/dist/rules/effect-strict-ast-specs.js +14 -16
  413. package/dist/rules/effect-strict-ast-specs.js.map +1 -1
  414. package/dist/rules/effect-strict-internals.d.ts +2 -196
  415. package/dist/rules/effect-strict-internals.d.ts.map +1 -1
  416. package/dist/rules/effect-strict-internals.js +2 -417
  417. package/dist/rules/effect-strict-internals.js.map +1 -1
  418. package/dist/rules/effect-strict-source-predicates.d.ts +120 -0
  419. package/dist/rules/effect-strict-source-predicates.d.ts.map +1 -0
  420. package/dist/rules/effect-strict-source-predicates.js +234 -0
  421. package/dist/rules/effect-strict-source-predicates.js.map +1 -0
  422. package/dist/rules/effect-sync-promise-scope-index.d.ts +44 -0
  423. package/dist/rules/effect-sync-promise-scope-index.d.ts.map +1 -0
  424. package/dist/rules/effect-sync-promise-scope-index.js +345 -0
  425. package/dist/rules/effect-sync-promise-scope-index.js.map +1 -0
  426. package/dist/rules/effect-sync-promise-scopes.d.ts +10 -0
  427. package/dist/rules/effect-sync-promise-scopes.d.ts.map +1 -0
  428. package/dist/rules/effect-sync-promise-scopes.js +115 -0
  429. package/dist/rules/effect-sync-promise-scopes.js.map +1 -0
  430. package/dist/rules/effect-sync-promise-source.d.ts +2 -0
  431. package/dist/rules/effect-sync-promise-source.d.ts.map +1 -0
  432. package/dist/rules/effect-sync-promise-source.js +5 -0
  433. package/dist/rules/effect-sync-promise-source.js.map +1 -0
  434. package/dist/rules/plugin-commented-out-code-jsx-scanner.d.ts +21 -0
  435. package/dist/rules/plugin-commented-out-code-jsx-scanner.d.ts.map +1 -0
  436. package/dist/rules/plugin-commented-out-code-jsx-scanner.js +200 -0
  437. package/dist/rules/plugin-commented-out-code-jsx-scanner.js.map +1 -0
  438. package/dist/rules/plugin-commented-out-code-lexical-primitives.d.ts +139 -0
  439. package/dist/rules/plugin-commented-out-code-lexical-primitives.d.ts.map +1 -0
  440. package/dist/rules/plugin-commented-out-code-lexical-primitives.js +244 -0
  441. package/dist/rules/plugin-commented-out-code-lexical-primitives.js.map +1 -0
  442. package/dist/rules/plugin-commented-out-code-rule.d.ts +13 -0
  443. package/dist/rules/plugin-commented-out-code-rule.d.ts.map +1 -1
  444. package/dist/rules/plugin-commented-out-code-rule.js +174 -82
  445. package/dist/rules/plugin-commented-out-code-rule.js.map +1 -1
  446. package/dist/rules/plugin-commented-out-code-source-scanner.d.ts +8 -0
  447. package/dist/rules/plugin-commented-out-code-source-scanner.d.ts.map +1 -0
  448. package/dist/rules/plugin-commented-out-code-source-scanner.js +228 -0
  449. package/dist/rules/plugin-commented-out-code-source-scanner.js.map +1 -0
  450. package/package.json +1 -1
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-loops.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-loops.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,cAAc,EACd,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAQxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAChC,MAAM,qBAAqB,GAAkB;IAC3C,UAAU,EAAE,sBAAsB;IAClC,KAAK,EAAE,SAAS;CACjB,CAAC;AACF,MAAM,mBAAmB,GAAkB;IACzC,UAAU,EAAE,oBAAoB;IAChC,KAAK,EAAE,SAAS;CACjB,CAAC;AAOF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,IAAa,EACb,GAAW,EACX,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAqB,EAAE,MAAyB,EAAW,EAAE,CAClF,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEhE,MAAM,cAAc,GAAG,CACrB,MAAqB,EACrB,MAAyB,EACE,EAAE;IAC7B,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,gBAAgB,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,aAAa,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACzE,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACpB,EAAE;IACd,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IACxD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK,EAAE,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;QAC5D,MAAM;KACP,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO,MAAM,IAAI,qBAAqB,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE,CACjB,4BAA4B,CAC1B,IAAI,EACJ;IACE,GAAkB,EAAE,CAAC,qBAAqB;IAC1C,GAAkB,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;CACvE,EACD,OAAO,CACR,CAAC;AAEJ,MAAM,cAAc,GAAG,CACrB,IAAgB,EAChB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QACzB,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACzB,MAA+C,EACpB,EAAE;IAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACnE,IAAI,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,oBAAoB,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvD,IAAI,WAAW,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YAC9C,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAmB,EAAgC,EAAE;IAC1E,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAAmB,EACnB,IAA0B,EAC1B,OAAgC,EACK,EAAE;IACvC,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,CAC3C,CAAC,OAAO,EAAgB,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAC7E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,UAAmB,EAAuC,EAAE;IAChF,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAiB,EAAE,CAAC,mBAAmB,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,KAAmB,EACnB,IAA0B,EAC1B,OAAgC,EACK,EAAE;IACvC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,qBAAqB,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,SAA2B,EAC3B,IAA0B,EACD,EAAE,CAC3B,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;KAChD,MAAM,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC;KAC5C,GAAG,CAAC,GAAiB,EAAE,CAAC,mBAAmB,CAAC,CAAC;AAElD,MAAM,WAAW,GAAG,CAClB,KAAmB,EACnB,IAA0B,EACW,EAAE;IACvC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,IAAI,UAAU,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC5C,OAAO,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,GAAiB,EAAE,CAAC,mBAAmB,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,GAAiB,EAAE,CAAC,mBAAmB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAA0B,EAC1B,WAAoB,EACpB,KAAmB,EACnB,OAAgC,EACjB,EAAE;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC3C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC7D,OAAO,yBAAyB,CAC9B,IAAI,EACJ,SAAS,CAAC,UAAU,IAAI,WAAW,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAA0B,EAC1B,IAAa,EACb,KAAmB,EACnB,OAAgC,EACjB,EAAE;IACjB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,OAAO,0BAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,IAAa,EACb,KAAmB,EACnB,OAAgC,EAChC,MAAyB,EACE,EAAE;IAC7B,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5D,OAAO,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,IAAa,EACb,MAA+B,EAC/B,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACvE,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE,CACjB,4BAA4B,CAC1B,IAAI,EACJ;IACE,GAAkB,EAAE,CAAC,qBAAqB;IAC1C,GAAkB,EAAE,CAClB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,CAAC;QACrE,qBAAqB;CACxB,EACD,OAAO,CACR,CAAC;AAEJ,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,IAAI,UAAU,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,IAAa,EACb,KAAmB,EACnB,OAAgC,EACK,EAAE;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,MAAyB,EACV,EAAE;IACjB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrE,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACjD,CAAC,CAAC"}
@@ -0,0 +1,28 @@
1
+ import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
2
+ import type { ASTNode } from './effect-ast';
3
+ type RuntimeEvaluator = (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
4
+ /**
5
+ * Evaluated member value together with its exact receiver and own-property status.
6
+ *
7
+ * @internal
8
+ */
9
+ export interface RuntimeMemberTargetResult {
10
+ isOwnCallableProperty: boolean;
11
+ name?: string;
12
+ receiver: RuntimeResult['value'];
13
+ result: RuntimeResult;
14
+ }
15
+ /**
16
+ * Evaluate a member base and computed key exactly once, then read all object alternatives.
17
+ *
18
+ * @internal
19
+ */
20
+ export declare const executeRuntimeMemberTarget: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, evaluate: RuntimeEvaluator) => RuntimeMemberTargetResult;
21
+ /**
22
+ * Evaluate one exact member read.
23
+ *
24
+ * @internal
25
+ */
26
+ export declare const executeRuntimeMember: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext, evaluate: RuntimeEvaluator) => RuntimeResult;
27
+ export {};
28
+ //# sourceMappingURL=effect-promise-runtime-members.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-members.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-members.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAK5C,KAAK,gBAAgB,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;AAO3F;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,qBAAqB,EAAE,OAAO,CAAC;IAC/B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,EAAE,aAAa,CAAC;CACvB;AAmED;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,UAAU,gBAAgB,KACzB,yBAsBF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,EAChC,UAAU,gBAAgB,KACzB,aAAiF,CAAC"}
@@ -0,0 +1,88 @@
1
+ /* -------------------------------------------------------------------------- */
2
+ /* Exact member reads for the Effect runtime task interpreter. */
3
+ /* -------------------------------------------------------------------------- */
4
+ import { RUNTIME_NORMAL, unknownRuntimeValue } from './effect-promise-runtime-model.js';
5
+ import { hasRuntimeCallableProperty, readRuntimeCallableProperty, } from './effect-promise-runtime-callable-properties.js';
6
+ import { runtimeMemberName, runtimeScalar } from './effect-promise-runtime-values.js';
7
+ import { childNode } from './effect-ast.js';
8
+ import { readRuntimeChoiceMember } from './effect-promise-runtime-choice-operations.js';
9
+ import { runtimeCallable } from './effect-promise-runtime-callables.js';
10
+ const computedName = (host, value, context) => {
11
+ const scalar = runtimeScalar(value, host.valueContext(context));
12
+ if (scalar === unknownRuntimeValue) {
13
+ return undefined;
14
+ }
15
+ return String(scalar);
16
+ };
17
+ const memberName = (host, node, context, evaluate) => {
18
+ if (Reflect.get(node, 'computed') !== true) {
19
+ return { completion: RUNTIME_NORMAL, name: runtimeMemberName(node) };
20
+ }
21
+ const property = childNode(node, 'property');
22
+ if (!property) {
23
+ return { completion: RUNTIME_NORMAL };
24
+ }
25
+ const result = evaluate(property, context);
26
+ if (result.completion !== RUNTIME_NORMAL) {
27
+ return { completion: result.completion };
28
+ }
29
+ return {
30
+ completion: RUNTIME_NORMAL,
31
+ name: computedName(host, result.value, context),
32
+ };
33
+ };
34
+ const evaluatedMemberValue = (host, target, name) => {
35
+ const callable = runtimeCallable(target);
36
+ if (callable && hasRuntimeCallableProperty(callable, name)) {
37
+ return readRuntimeCallableProperty(callable, name);
38
+ }
39
+ return readRuntimeChoiceMember(host.state, target, name);
40
+ };
41
+ const namedMemberTarget = (host, target, name) => {
42
+ const callable = runtimeCallable(target.value);
43
+ const isOwnCallableProperty = Boolean(callable && hasRuntimeCallableProperty(callable, name));
44
+ return {
45
+ isOwnCallableProperty,
46
+ name,
47
+ receiver: target.value,
48
+ result: {
49
+ completion: RUNTIME_NORMAL,
50
+ value: evaluatedMemberValue(host, target.value, name),
51
+ },
52
+ };
53
+ };
54
+ /**
55
+ * Evaluate a member base and computed key exactly once, then read all object alternatives.
56
+ *
57
+ * @internal
58
+ */
59
+ export const executeRuntimeMemberTarget = (host, node, context, evaluate) => {
60
+ const object = childNode(node, 'object');
61
+ if (!object) {
62
+ return {
63
+ isOwnCallableProperty: false,
64
+ receiver: undefined,
65
+ result: { completion: RUNTIME_NORMAL, value: unknownRuntimeValue },
66
+ };
67
+ }
68
+ const target = evaluate(object, context);
69
+ if (target.completion !== RUNTIME_NORMAL) {
70
+ return { isOwnCallableProperty: false, receiver: undefined, result: target };
71
+ }
72
+ const name = memberName(host, node, context, evaluate);
73
+ if (name.completion !== RUNTIME_NORMAL || name.name === undefined) {
74
+ return {
75
+ isOwnCallableProperty: false,
76
+ receiver: target.value,
77
+ result: { completion: name.completion, value: unknownRuntimeValue },
78
+ };
79
+ }
80
+ return namedMemberTarget(host, target, name.name);
81
+ };
82
+ /**
83
+ * Evaluate one exact member read.
84
+ *
85
+ * @internal
86
+ */
87
+ export const executeRuntimeMember = (host, node, context, evaluate) => executeRuntimeMemberTarget(host, node, context, evaluate).result;
88
+ //# sourceMappingURL=effect-promise-runtime-members.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-members.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-members.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAOrF,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEnF,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAqBrE,MAAM,YAAY,GAAG,CACnB,IAA0B,EAC1B,KAA6B,EAC7B,OAAgC,EACZ,EAAE;IACtB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACD,EAAE;IAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc;QAC1B,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;KAChD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,MAA8B,EAC9B,IAAY,EACE,EAAE;IAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,QAAQ,IAAI,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,2BAA2B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,MAAqB,EACrB,IAAY,EACe,EAAE;IAC7B,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,qBAAqB,GAAG,OAAO,CAAC,QAAQ,IAAI,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9F,OAAO;QACL,qBAAqB;QACrB,IAAI;QACJ,QAAQ,EAAE,MAAM,CAAC,KAAK;QACtB,MAAM,EAAE;YACN,UAAU,EAAE,cAAc;YAC1B,KAAK,EAAE,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;SACtD;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACC,EAAE;IAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,qBAAqB,EAAE,KAAK;YAC5B,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE;SACnE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC/E,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,IAAI,CAAC,UAAU,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO;YACL,qBAAqB,EAAE,KAAK;YAC5B,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,MAAM,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,mBAAmB,EAAE;SACpE,CAAC;IACJ,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EAChC,QAA0B,EACX,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC"}
@@ -0,0 +1,40 @@
1
+ import type { RuntimeResult, RuntimeScope, RuntimeState, RuntimeStoreSnapshot } from './effect-promise-runtime-model';
2
+ import type { ASTNode } from './effect-ast';
3
+ import type { RuntimeProof } from './effect-promise-runtime-proof';
4
+ /**
5
+ * Proof roots produced by one invocation independently of its caller.
6
+ *
7
+ * @internal
8
+ */
9
+ export type RuntimeProofFragment = ReadonlyMap<ASTNode, RuntimeProof>;
10
+ /**
11
+ * Move current proof roots aside and install an empty invocation sink.
12
+ *
13
+ * @internal
14
+ */
15
+ export declare const isolateRuntimeProofs: (state: RuntimeState) => RuntimeProofFragment;
16
+ /**
17
+ * Capture the current invocation-local proof sink.
18
+ *
19
+ * @internal
20
+ */
21
+ export declare const captureRuntimeProofFragment: (state: RuntimeState) => RuntimeProofFragment;
22
+ /**
23
+ * Restore caller roots without restoring values or heap state.
24
+ *
25
+ * @internal
26
+ */
27
+ export declare const restoreRuntimeProofs: (state: RuntimeState, proofs: RuntimeProofFragment) => void;
28
+ /**
29
+ * Append a detached invocation fragment to the caller's sequential proof.
30
+ *
31
+ * @internal
32
+ */
33
+ export declare const mergeRuntimeProofFragment: (state: RuntimeState, fragment: RuntimeProofFragment) => void;
34
+ /**
35
+ * Reject memo entries that retain invocation-local identities or outcome states.
36
+ *
37
+ * @internal
38
+ */
39
+ export declare const isRuntimeMemoSafe: (result: RuntimeResult, fragment: RuntimeProofFragment, localScopes: ReadonlySet<RuntimeScope>, before: RuntimeStoreSnapshot, state: RuntimeState) => boolean;
40
+ //# sourceMappingURL=effect-promise-runtime-memo.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-memo.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-memo.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAIV,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,oBAAoB,EAGrB,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAEtE;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,OAAO,YAAY,KAAG,oBAI1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,OAAO,YAAY,KAAG,oBAC3C,CAAC;AAExB;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,OAAO,YAAY,EAAE,QAAQ,oBAAoB,KAAG,IAKxF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,OAAO,YAAY,EACnB,UAAU,oBAAoB,KAC7B,IAKF,CAAC;AA0FF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,aAAa,EACrB,UAAU,oBAAoB,EAC9B,aAAa,WAAW,CAAC,YAAY,CAAC,EACtC,QAAQ,oBAAoB,EAC5B,OAAO,YAAY,KAClB,OAWF,CAAC"}
@@ -0,0 +1,124 @@
1
+ /* -------------------------------------------------------------------------- */
2
+ /* Detached proof fragments and escape-safe invocation memoization. */
3
+ /* -------------------------------------------------------------------------- */
4
+ import { runtimeFalseProof, runtimeProofExecutions } from './effect-promise-runtime-proof.js';
5
+ /**
6
+ * Move current proof roots aside and install an empty invocation sink.
7
+ *
8
+ * @internal
9
+ */
10
+ export const isolateRuntimeProofs = (state) => {
11
+ const caller = new Map(state.proofs);
12
+ state.proofs.clear();
13
+ return caller;
14
+ };
15
+ /**
16
+ * Capture the current invocation-local proof sink.
17
+ *
18
+ * @internal
19
+ */
20
+ export const captureRuntimeProofFragment = (state) => new Map(state.proofs);
21
+ /**
22
+ * Restore caller roots without restoring values or heap state.
23
+ *
24
+ * @internal
25
+ */
26
+ export const restoreRuntimeProofs = (state, proofs) => {
27
+ state.proofs.clear();
28
+ for (const [syncCall, proof] of proofs) {
29
+ state.proofs.set(syncCall, proof);
30
+ }
31
+ };
32
+ /**
33
+ * Append a detached invocation fragment to the caller's sequential proof.
34
+ *
35
+ * @internal
36
+ */
37
+ export const mergeRuntimeProofFragment = (state, fragment) => {
38
+ for (const [syncCall, proof] of fragment) {
39
+ const previous = state.proofs.get(syncCall) ?? runtimeFalseProof;
40
+ state.proofs.set(syncCall, state.factory.any(previous, proof));
41
+ }
42
+ };
43
+ const taskEscapes = (task, context) => task.scopes.some((scope) => context.localScopes.has(scope));
44
+ const callableEscapes = (callable, context) => {
45
+ if (callable.scopes.some((scope) => context.localScopes.has(scope))) {
46
+ return true;
47
+ }
48
+ if (runtimeValueEscapes(callable.boundThis, context)) {
49
+ return true;
50
+ }
51
+ return callable.boundArguments.some((value) => runtimeValueEscapes(value, context));
52
+ };
53
+ const objectEscapes = (reference, context) => {
54
+ if (!context.before.heap.has(reference)) {
55
+ return true;
56
+ }
57
+ for (const value of context.state.heap.get(reference)?.values() ?? []) {
58
+ if (runtimeValueEscapes(value, context)) {
59
+ return true;
60
+ }
61
+ }
62
+ return false;
63
+ };
64
+ const structuredRuntimeValue = (value) => Boolean(value &&
65
+ typeof value !== 'symbol' &&
66
+ 'kind' in value &&
67
+ (value.kind === 'task' ||
68
+ value.kind === 'callable' ||
69
+ value.kind === 'object' ||
70
+ value.kind === 'choice'));
71
+ const structuredValueEscapes = (value, context) => {
72
+ switch (value.kind) {
73
+ case 'task': {
74
+ return taskEscapes(value, context);
75
+ }
76
+ case 'callable': {
77
+ return callableEscapes(value, context);
78
+ }
79
+ case 'object': {
80
+ return objectEscapes(value, context);
81
+ }
82
+ case 'choice': {
83
+ return value.choices.some((choice) => runtimeValueEscapes(choice, context));
84
+ }
85
+ default: {
86
+ return false;
87
+ }
88
+ }
89
+ };
90
+ const runtimeValueEscapes = (value, context) => {
91
+ if (!structuredRuntimeValue(value) || context.seen.has(value)) {
92
+ return false;
93
+ }
94
+ context.seen.add(value);
95
+ return structuredValueEscapes(value, context);
96
+ };
97
+ const fragmentEscapes = (fragment, context) => {
98
+ for (const proof of fragment.values()) {
99
+ for (const execution of runtimeProofExecutions(proof)) {
100
+ if (runtimeValueEscapes(execution.task, context)) {
101
+ return true;
102
+ }
103
+ }
104
+ }
105
+ return false;
106
+ };
107
+ /**
108
+ * Reject memo entries that retain invocation-local identities or outcome states.
109
+ *
110
+ * @internal
111
+ */
112
+ export const isRuntimeMemoSafe = (result, fragment, localScopes, before, state) => {
113
+ if (result.outcomes) {
114
+ return false;
115
+ }
116
+ const context = {
117
+ before,
118
+ localScopes,
119
+ seen: new WeakSet(),
120
+ state,
121
+ };
122
+ return !runtimeValueEscapes(result.value, context) && !fragmentEscapes(fragment, context);
123
+ };
124
+ //# sourceMappingURL=effect-promise-runtime-memo.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-memo.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-memo.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAahF,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAW3F;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAmB,EAAwB,EAAE;IAChF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACrB,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,KAAmB,EAAwB,EAAE,CACvF,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAmB,EAAE,MAA4B,EAAQ,EAAE;IAC9F,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACrB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAmB,EACnB,QAA8B,EACxB,EAAE;IACR,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC;QACjE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;AACH,CAAC,CAAC;AASF,MAAM,WAAW,GAAG,CAAC,IAAsB,EAAE,OAAsB,EAAW,EAAE,CAC9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvE,MAAM,eAAe,GAAG,CAAC,QAA8B,EAAE,OAAsB,EAAW,EAAE;IAC1F,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,mBAAmB,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,SAA2B,EAAE,OAAsB,EAAW,EAAE;IACrF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACtE,IAAI,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAQF,MAAM,sBAAsB,GAAG,CAAC,KAAmB,EAAmC,EAAE,CACtF,OAAO,CACL,KAAK;IACL,OAAO,KAAK,KAAK,QAAQ;IACzB,MAAM,IAAI,KAAK;IACf,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QACpB,KAAK,CAAC,IAAI,KAAK,UAAU;QACzB,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAC3B,CAAC;AAEJ,MAAM,sBAAsB,GAAG,CAAC,KAA6B,EAAE,OAAsB,EAAW,EAAE;IAChG,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAW,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAmB,EAAE,OAAsB,EAAW,EAAE;IACnF,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,OAAO,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,QAA8B,EAAE,OAAsB,EAAW,EAAE;IAC1F,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,SAAS,IAAI,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,IAAI,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;gBACjD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAqB,EACrB,QAA8B,EAC9B,WAAsC,EACtC,MAA4B,EAC5B,KAAmB,EACV,EAAE;IACX,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAkB;QAC7B,MAAM;QACN,WAAW;QACX,IAAI,EAAE,IAAI,OAAO,EAAE;QACnB,KAAK;KACN,CAAC;IACF,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC5F,CAAC,CAAC"}
@@ -0,0 +1,251 @@
1
+ import type { FunctionBinding, HelperScope, HelperScopes } from './effect-promise-callable-types';
2
+ import type { RuntimeProof, RuntimeProofFactory } from './effect-promise-runtime-proof';
3
+ import type { ASTNode } from './effect-ast';
4
+ import type { PromiseVisitorKeys } from './effect-promise-execution-types';
5
+ import type { RuntimeLexicalValue } from './effect-promise-value-scopes';
6
+ /**
7
+ * Runtime execution completed normally.
8
+ *
9
+ * @internal
10
+ */
11
+ export declare const RUNTIME_NORMAL = 0;
12
+ /**
13
+ * Runtime execution returned from the current function.
14
+ *
15
+ * @internal
16
+ */
17
+ export declare const RUNTIME_RETURN = 1;
18
+ /**
19
+ * Runtime execution threw from the current function.
20
+ *
21
+ * @internal
22
+ */
23
+ export declare const RUNTIME_THROW = 2;
24
+ /**
25
+ * Runtime execution broke from the current loop or switch.
26
+ *
27
+ * @internal
28
+ */
29
+ export declare const RUNTIME_BREAK = 3;
30
+ /**
31
+ * Runtime execution cannot terminate for the current exact state.
32
+ *
33
+ * @internal
34
+ */
35
+ export declare const RUNTIME_NONTERMINATING = 4;
36
+ /**
37
+ * Runtime execution may stop before a following statement.
38
+ *
39
+ * @internal
40
+ */
41
+ export declare const RUNTIME_MAYBE_ABRUPT = 5;
42
+ /**
43
+ * Runtime execution continued the nearest loop.
44
+ *
45
+ * @internal
46
+ */
47
+ export declare const RUNTIME_CONTINUE = 6;
48
+ /**
49
+ * Completion produced by one runtime statement or expression.
50
+ *
51
+ * @internal
52
+ */
53
+ export type RuntimeCompletion = typeof RUNTIME_NORMAL | typeof RUNTIME_RETURN | typeof RUNTIME_THROW | typeof RUNTIME_BREAK | typeof RUNTIME_NONTERMINATING | typeof RUNTIME_MAYBE_ABRUPT | typeof RUNTIME_CONTINUE;
54
+ /**
55
+ * Maximum correlated completion outcomes retained by one result.
56
+ *
57
+ * @internal
58
+ */
59
+ export declare const RUNTIME_OUTCOME_CAP = 8;
60
+ /**
61
+ * Context shared by runtime expression and statement evaluation.
62
+ *
63
+ * @internal
64
+ */
65
+ export interface RuntimeExecutionContext {
66
+ helperScopes: HelperScopes;
67
+ offsets: Map<HelperScope, number>;
68
+ runtimeScopes: readonly HelperScope[];
69
+ taskScopes: readonly RuntimeScope[];
70
+ thisValue?: RuntimeValue;
71
+ }
72
+ /**
73
+ * One exact completion alternative and its transactional state.
74
+ *
75
+ * @internal
76
+ */
77
+ export interface RuntimeOutcome {
78
+ completion: Exclude<RuntimeCompletion, typeof RUNTIME_MAYBE_ABRUPT>;
79
+ state: RuntimeSnapshot;
80
+ target?: string;
81
+ value: RuntimeValue;
82
+ }
83
+ /**
84
+ * Completion and value produced by runtime evaluation.
85
+ *
86
+ * @internal
87
+ */
88
+ export interface RuntimeResult {
89
+ completion: RuntimeCompletion;
90
+ outcomes?: readonly RuntimeOutcome[];
91
+ target?: string;
92
+ value: RuntimeValue;
93
+ }
94
+ /**
95
+ * Capabilities supplied by expression and invocation evaluation.
96
+ *
97
+ * @internal
98
+ */
99
+ export interface RuntimeStatementHost {
100
+ captures: WeakMap<object, readonly RuntimeScope[]>;
101
+ deferredSyncCalls: WeakSet<object>;
102
+ input: {
103
+ isEffectCall: (node: ASTNode) => boolean;
104
+ isObjectAssignCall: (node: ASTNode) => boolean;
105
+ isRunSyncCall: (node: ASTNode) => boolean;
106
+ isSyncCall: (node: ASTNode) => boolean;
107
+ visitorKeys?: PromiseVisitorKeys;
108
+ };
109
+ invoke: (callable: RuntimeCallableValue, argumentsList: readonly RuntimeValue[], context: RuntimeExecutionContext) => RuntimeResult;
110
+ sites: {
111
+ helperScopes: HelperScopes;
112
+ syncCall: ASTNode;
113
+ }[];
114
+ state: RuntimeState;
115
+ branches: (context: RuntimeExecutionContext, left: () => RuntimeResult, right: () => RuntimeResult) => RuntimeResult;
116
+ optionalChild: (node: ASTNode, key: string, context: RuntimeExecutionContext) => RuntimeResult;
117
+ statement: (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
118
+ valueContext: (context: RuntimeExecutionContext) => {
119
+ helperScopes: HelperScopes;
120
+ isEffectCall: (node: ASTNode) => boolean;
121
+ isSyncCall: (node: ASTNode) => boolean;
122
+ scopes: readonly RuntimeScope[];
123
+ state: RuntimeState;
124
+ thisValue?: RuntimeValue;
125
+ };
126
+ visit: (node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult;
127
+ }
128
+ /**
129
+ * Unknown runtime value after incompatible control-flow states join.
130
+ *
131
+ * @internal
132
+ */
133
+ export declare const unknownRuntimeValue: unique symbol;
134
+ /**
135
+ * Known non-task Effect or ordinary value that cannot select an indexed task.
136
+ *
137
+ * @internal
138
+ */
139
+ export declare const safeRuntimeValue: unique symbol;
140
+ /**
141
+ * One exact indexed Effect.sync identity.
142
+ *
143
+ * @internal
144
+ */
145
+ export interface RuntimeTaskValue {
146
+ helperScopes: HelperScopes;
147
+ kind: 'task';
148
+ scopes: readonly RuntimeScope[];
149
+ syncCall: ASTNode;
150
+ }
151
+ /**
152
+ * One evaluated object or array identity stored in the runtime heap.
153
+ *
154
+ * @internal
155
+ */
156
+ export interface RuntimeObjectRef {
157
+ arrayLength?: number;
158
+ identity: object;
159
+ isArray: boolean;
160
+ kind: 'object';
161
+ source?: ASTNode;
162
+ }
163
+ /**
164
+ * One evaluated callable instance with its exact captured environment.
165
+ *
166
+ * @internal
167
+ */
168
+ export interface RuntimeCallableValue {
169
+ binding: FunctionBinding;
170
+ boundArguments: readonly RuntimeValue[];
171
+ boundThis?: RuntimeValue;
172
+ kind: 'callable';
173
+ scopes: readonly RuntimeScope[];
174
+ }
175
+ /**
176
+ * A bounded union of exact branch-created runtime identities.
177
+ *
178
+ * @internal
179
+ */
180
+ export interface RuntimeChoiceValue {
181
+ choices: readonly RuntimeValue[];
182
+ kind: 'choice';
183
+ }
184
+ /**
185
+ * Value understood by the runtime task interpreter.
186
+ *
187
+ * @internal
188
+ */
189
+ export type RuntimeValue = ASTNode | RuntimeCallableValue | RuntimeChoiceValue | RuntimeObjectRef | RuntimeTaskValue | typeof safeRuntimeValue | typeof unknownRuntimeValue | undefined;
190
+ /**
191
+ * Mutable bindings owned by one exact lexical helper scope.
192
+ *
193
+ * @internal
194
+ */
195
+ export interface RuntimeScope {
196
+ helperScope: HelperScope;
197
+ values: Map<string, RuntimeValue>;
198
+ }
199
+ /**
200
+ * Exact dynamic state attached to one must-execute run.
201
+ *
202
+ * @internal
203
+ */
204
+ export interface RuntimeExecution {
205
+ call: ASTNode;
206
+ offsets: ReadonlyMap<HelperScope, number>;
207
+ syncCall: ASTNode;
208
+ task: RuntimeTaskValue;
209
+ values: ReadonlyMap<HelperScope, ReadonlyMap<string, RuntimeLexicalValue>>;
210
+ }
211
+ /**
212
+ * Snapshot used to isolate speculative branches and completed calls.
213
+ *
214
+ * @internal
215
+ */
216
+ export interface RuntimeSnapshot {
217
+ choiceMembers: ReadonlyMap<RuntimeChoiceValue, ReadonlyMap<string, RuntimeValue>>;
218
+ heap: ReadonlyMap<RuntimeObjectRef, ReadonlyMap<string, RuntimeValue>>;
219
+ proofs: ReadonlyMap<ASTNode, RuntimeProof>;
220
+ values: ReadonlyMap<RuntimeScope, ReadonlyMap<string, RuntimeValue>>;
221
+ }
222
+ /**
223
+ * Store-only snapshot used by proof-detached invocation memoization.
224
+ *
225
+ * @internal
226
+ */
227
+ export interface RuntimeStoreSnapshot {
228
+ choiceMembers: ReadonlyMap<RuntimeChoiceValue, ReadonlyMap<string, RuntimeValue>>;
229
+ heap: ReadonlyMap<RuntimeObjectRef, ReadonlyMap<string, RuntimeValue>>;
230
+ values: ReadonlyMap<RuntimeScope, ReadonlyMap<string, RuntimeValue>>;
231
+ }
232
+ /**
233
+ * Mutable interpreter state; speculative mutations are transactionally restored.
234
+ *
235
+ * @internal
236
+ */
237
+ export interface RuntimeState {
238
+ choiceMembers: Map<RuntimeChoiceValue, Map<string, RuntimeValue>>;
239
+ factory: RuntimeProofFactory;
240
+ heap: Map<RuntimeObjectRef, Map<string, RuntimeValue>>;
241
+ proofs: Map<ASTNode, RuntimeProof>;
242
+ scopes: Set<RuntimeScope>;
243
+ }
244
+ export { appendRuntimeExecution, joinRuntimeStates, restoreRuntimeState, sameRuntimeSnapshotProofs, sameRuntimeSnapshotValues, snapshotRuntimeState, snapshotRuntimeStore, } from './effect-promise-runtime-store';
245
+ /**
246
+ * Convert one runtime value to a lexical override consumed by Promise analysis.
247
+ *
248
+ * @internal
249
+ */
250
+ export declare const runtimeLexicalValue: (value: RuntimeValue) => RuntimeLexicalValue;
251
+ //# sourceMappingURL=effect-promise-runtime-model.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect-promise-runtime-model.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-model.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAClG,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACxF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAGzE;;;;GAIG;AACH,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC;;;;GAIG;AACH,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC;;;;GAIG;AACH,eAAO,MAAM,aAAa,IAAI,CAAC;AAC/B;;;;GAIG;AACH,eAAO,MAAM,aAAa,IAAI,CAAC;AAC/B;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,IAAI,CAAC;AACxC;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GACzB,OAAO,cAAc,GACrB,OAAO,cAAc,GACrB,OAAO,aAAa,GACpB,OAAO,aAAa,GACpB,OAAO,sBAAsB,GAC7B,OAAO,oBAAoB,GAC3B,OAAO,gBAAgB,CAAC;AAE5B;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,YAAY,CAAC;IAC3B,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAClC,aAAa,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,SAAS,CAAC,EAAE,YAAY,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,OAAO,CAAC,iBAAiB,EAAE,OAAO,oBAAoB,CAAC,CAAC;IACpE,KAAK,EAAE,eAAe,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,YAAY,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,iBAAiB,CAAC;IAC9B,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,YAAY,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;IACnD,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,KAAK,EAAE;QACL,YAAY,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QACzC,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QAC/C,aAAa,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QAC1C,UAAU,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QACvC,WAAW,CAAC,EAAE,kBAAkB,CAAC;KAClC,CAAC;IACF,MAAM,EAAE,CACN,QAAQ,EAAE,oBAAoB,EAC9B,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,OAAO,EAAE,uBAAuB,KAC7B,aAAa,CAAC;IACnB,KAAK,EAAE;QAAE,YAAY,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC3D,KAAK,EAAE,YAAY,CAAC;IACpB,QAAQ,EAAE,CACR,OAAO,EAAE,uBAAuB,EAChC,IAAI,EAAE,MAAM,aAAa,EACzB,KAAK,EAAE,MAAM,aAAa,KACvB,aAAa,CAAC;IACnB,aAAa,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;IAC/F,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;IAC9E,YAAY,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK;QAClD,YAAY,EAAE,YAAY,CAAC;QAC3B,YAAY,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QACzC,UAAU,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;QACvC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;QAChC,KAAK,EAAE,YAAY,CAAC;QACpB,SAAS,CAAC,EAAE,YAAY,CAAC;KAC1B,CAAC;IACF,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,KAAK,aAAa,CAAC;CAC3E;AAED;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,eAAgC,CAAC;AACjE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,eAA6B,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IAChC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,eAAe,CAAC;IACzB,cAAc,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,YAAY,CAAC;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IACjC,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACpB,OAAO,GACP,oBAAoB,GACpB,kBAAkB,GAClB,gBAAgB,GAChB,gBAAgB,GAChB,OAAO,gBAAgB,GACvB,OAAO,mBAAmB,GAC1B,SAAS,CAAC;AAEd;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;CACnC;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;CAC5E;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,WAAW,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAClF,IAAI,EAAE,WAAW,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC3C,MAAM,EAAE,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CACtE;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,WAAW,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAClF,IAAI,EAAE,WAAW,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,MAAM,EAAE,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CACtE;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,GAAG,CAAC,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,mBAAmB,CAAC;IAC7B,IAAI,EAAE,GAAG,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IACvD,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;CAC3B;AAED,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,YAAY,KAAG,mBAczD,CAAC"}