@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.
- package/CHANGELOG.md +12 -0
- package/README.md +14 -2
- package/dist/codemods/arrow-body-style.d.ts.map +1 -1
- package/dist/codemods/arrow-body-style.js +13 -1
- package/dist/codemods/arrow-body-style.js.map +1 -1
- package/dist/codemods/explicit-return-types.d.ts.map +1 -1
- package/dist/codemods/explicit-return-types.js +15 -3
- package/dist/codemods/explicit-return-types.js.map +1 -1
- package/dist/codemods/function-declarations.d.ts.map +1 -1
- package/dist/codemods/function-declarations.js +7 -0
- package/dist/codemods/function-declarations.js.map +1 -1
- package/dist/codemods/inline-export-lists.d.ts.map +1 -1
- package/dist/codemods/inline-export-lists.js +17 -3
- package/dist/codemods/inline-export-lists.js.map +1 -1
- package/dist/codemods/internal-export-docs.d.ts.map +1 -1
- package/dist/codemods/internal-export-docs.js +17 -5
- package/dist/codemods/internal-export-docs.js.map +1 -1
- package/dist/codemods/no-ternary-variable-initializers.d.ts.map +1 -1
- package/dist/codemods/no-ternary-variable-initializers.js +24 -14
- package/dist/codemods/no-ternary-variable-initializers.js.map +1 -1
- package/dist/codemods/rename-acronyms.d.ts.map +1 -1
- package/dist/codemods/rename-acronyms.js +31 -1
- package/dist/codemods/rename-acronyms.js.map +1 -1
- package/dist/rules/diagnostic-guidance.d.ts.map +1 -1
- package/dist/rules/diagnostic-guidance.js +26 -2
- package/dist/rules/diagnostic-guidance.js.map +1 -1
- package/dist/rules/effect-alias-canonicalization.d.ts +27 -0
- package/dist/rules/effect-alias-canonicalization.d.ts.map +1 -0
- package/dist/rules/effect-alias-canonicalization.js +60 -0
- package/dist/rules/effect-alias-canonicalization.js.map +1 -0
- package/dist/rules/effect-ast-scope.d.ts +25 -0
- package/dist/rules/effect-ast-scope.d.ts.map +1 -0
- package/dist/rules/effect-ast-scope.js +286 -0
- package/dist/rules/effect-ast-scope.js.map +1 -0
- package/dist/rules/effect-ast.d.ts +42 -0
- package/dist/rules/effect-ast.d.ts.map +1 -0
- package/dist/rules/effect-ast.js +74 -0
- package/dist/rules/effect-ast.js.map +1 -0
- package/dist/rules/effect-boundary-ast-shared.d.ts +42 -0
- package/dist/rules/effect-boundary-ast-shared.d.ts.map +1 -0
- package/dist/rules/effect-boundary-ast-shared.js +203 -0
- package/dist/rules/effect-boundary-ast-shared.js.map +1 -0
- package/dist/rules/effect-default-boundary-ast.d.ts +10 -0
- package/dist/rules/effect-default-boundary-ast.d.ts.map +1 -0
- package/dist/rules/effect-default-boundary-ast.js +320 -0
- package/dist/rules/effect-default-boundary-ast.js.map +1 -0
- package/dist/rules/effect-default-compat-rules.d.ts +11 -15
- package/dist/rules/effect-default-compat-rules.d.ts.map +1 -1
- package/dist/rules/effect-default-compat-rules.js +20 -0
- package/dist/rules/effect-default-compat-rules.js.map +1 -1
- package/dist/rules/effect-default-scan-helpers.js +1 -1
- package/dist/rules/effect-default-scan-helpers.js.map +1 -1
- package/dist/rules/effect-default-workflow-helpers.d.ts.map +1 -1
- package/dist/rules/effect-default-workflow-helpers.js +7 -29
- package/dist/rules/effect-default-workflow-helpers.js.map +1 -1
- package/dist/rules/effect-default.d.ts +4 -1
- package/dist/rules/effect-default.d.ts.map +1 -1
- package/dist/rules/effect-default.js +14 -5
- package/dist/rules/effect-default.js.map +1 -1
- package/dist/rules/effect-export-binding-patterns.d.ts +9 -0
- package/dist/rules/effect-export-binding-patterns.d.ts.map +1 -0
- package/dist/rules/effect-export-binding-patterns.js +149 -0
- package/dist/rules/effect-export-binding-patterns.js.map +1 -0
- package/dist/rules/effect-export-declaration-boundaries.d.ts +21 -0
- package/dist/rules/effect-export-declaration-boundaries.d.ts.map +1 -0
- package/dist/rules/effect-export-declaration-boundaries.js +119 -0
- package/dist/rules/effect-export-declaration-boundaries.js.map +1 -0
- package/dist/rules/effect-export-default-binding.d.ts +5 -0
- package/dist/rules/effect-export-default-binding.d.ts.map +1 -0
- package/dist/rules/effect-export-default-binding.js +350 -0
- package/dist/rules/effect-export-default-binding.js.map +1 -0
- package/dist/rules/effect-export-segments.d.ts +9 -0
- package/dist/rules/effect-export-segments.d.ts.map +1 -0
- package/dist/rules/effect-export-segments.js +67 -0
- package/dist/rules/effect-export-segments.js.map +1 -0
- package/dist/rules/effect-exported-declarations.d.ts +3 -15
- package/dist/rules/effect-exported-declarations.d.ts.map +1 -1
- package/dist/rules/effect-exported-declarations.js +139 -94
- package/dist/rules/effect-exported-declarations.js.map +1 -1
- package/dist/rules/effect-global-fetch-ast.d.ts +14 -0
- package/dist/rules/effect-global-fetch-ast.d.ts.map +1 -0
- package/dist/rules/effect-global-fetch-ast.js +321 -0
- package/dist/rules/effect-global-fetch-ast.js.map +1 -0
- package/dist/rules/effect-global-fetch-imports.d.ts +29 -0
- package/dist/rules/effect-global-fetch-imports.d.ts.map +1 -0
- package/dist/rules/effect-global-fetch-imports.js +91 -0
- package/dist/rules/effect-global-fetch-imports.js.map +1 -0
- package/dist/rules/effect-import-bindings.d.ts +13 -0
- package/dist/rules/effect-import-bindings.d.ts.map +1 -0
- package/dist/rules/effect-import-bindings.js +133 -0
- package/dist/rules/effect-import-bindings.js.map +1 -0
- package/dist/rules/effect-imported-call-matcher.d.ts +24 -0
- package/dist/rules/effect-imported-call-matcher.d.ts.map +1 -0
- package/dist/rules/effect-imported-call-matcher.js +271 -0
- package/dist/rules/effect-imported-call-matcher.js.map +1 -0
- package/dist/rules/effect-module-source-index.d.ts +44 -0
- package/dist/rules/effect-module-source-index.d.ts.map +1 -0
- package/dist/rules/effect-module-source-index.js +306 -0
- package/dist/rules/effect-module-source-index.js.map +1 -0
- package/dist/rules/effect-native-references.d.ts +66 -0
- package/dist/rules/effect-native-references.d.ts.map +1 -0
- package/dist/rules/effect-native-references.js +164 -0
- package/dist/rules/effect-native-references.js.map +1 -0
- package/dist/rules/effect-object-assign-provenance.d.ts +20 -0
- package/dist/rules/effect-object-assign-provenance.d.ts.map +1 -0
- package/dist/rules/effect-object-assign-provenance.js +37 -0
- package/dist/rules/effect-object-assign-provenance.js.map +1 -0
- package/dist/rules/effect-prefer-map-over-flatmap-succeed.d.ts +4 -0
- package/dist/rules/effect-prefer-map-over-flatmap-succeed.d.ts.map +1 -0
- package/dist/rules/effect-prefer-map-over-flatmap-succeed.js +294 -0
- package/dist/rules/effect-prefer-map-over-flatmap-succeed.js.map +1 -0
- package/dist/rules/effect-prefer-succeed-for-stable-values.d.ts +4 -0
- package/dist/rules/effect-prefer-succeed-for-stable-values.d.ts.map +1 -0
- package/dist/rules/effect-prefer-succeed-for-stable-values.js +292 -0
- package/dist/rules/effect-prefer-succeed-for-stable-values.js.map +1 -0
- package/dist/rules/effect-promise-ast-values.d.ts +26 -0
- package/dist/rules/effect-promise-ast-values.d.ts.map +1 -0
- package/dist/rules/effect-promise-ast-values.js +66 -0
- package/dist/rules/effect-promise-ast-values.js.map +1 -0
- package/dist/rules/effect-promise-callable-declarations.d.ts +22 -0
- package/dist/rules/effect-promise-callable-declarations.d.ts.map +1 -0
- package/dist/rules/effect-promise-callable-declarations.js +255 -0
- package/dist/rules/effect-promise-callable-declarations.js.map +1 -0
- package/dist/rules/effect-promise-callable-lookup.d.ts +40 -0
- package/dist/rules/effect-promise-callable-lookup.d.ts.map +1 -0
- package/dist/rules/effect-promise-callable-lookup.js +99 -0
- package/dist/rules/effect-promise-callable-lookup.js.map +1 -0
- package/dist/rules/effect-promise-callable-scopes.d.ts +16 -0
- package/dist/rules/effect-promise-callable-scopes.d.ts.map +1 -0
- package/dist/rules/effect-promise-callable-scopes.js +43 -0
- package/dist/rules/effect-promise-callable-scopes.js.map +1 -0
- package/dist/rules/effect-promise-callable-types.d.ts +43 -0
- package/dist/rules/effect-promise-callable-types.d.ts.map +1 -0
- package/dist/rules/effect-promise-callable-types.js +5 -0
- package/dist/rules/effect-promise-callable-types.js.map +1 -0
- package/dist/rules/effect-promise-callables.d.ts +5 -0
- package/dist/rules/effect-promise-callables.d.ts.map +1 -0
- package/dist/rules/effect-promise-callables.js +7 -0
- package/dist/rules/effect-promise-callables.js.map +1 -0
- package/dist/rules/effect-promise-collections.d.ts +20 -0
- package/dist/rules/effect-promise-collections.d.ts.map +1 -0
- package/dist/rules/effect-promise-collections.js +199 -0
- package/dist/rules/effect-promise-collections.js.map +1 -0
- package/dist/rules/effect-promise-completion.d.ts +141 -0
- package/dist/rules/effect-promise-completion.d.ts.map +1 -0
- package/dist/rules/effect-promise-completion.js +200 -0
- package/dist/rules/effect-promise-completion.js.map +1 -0
- package/dist/rules/effect-promise-environment-projections.d.ts +23 -0
- package/dist/rules/effect-promise-environment-projections.d.ts.map +1 -0
- package/dist/rules/effect-promise-environment-projections.js +191 -0
- package/dist/rules/effect-promise-environment-projections.js.map +1 -0
- package/dist/rules/effect-promise-environment-types.d.ts +96 -0
- package/dist/rules/effect-promise-environment-types.d.ts.map +1 -0
- package/dist/rules/effect-promise-environment-types.js +10 -0
- package/dist/rules/effect-promise-environment-types.js.map +1 -0
- package/dist/rules/effect-promise-environment-values.d.ts +41 -0
- package/dist/rules/effect-promise-environment-values.d.ts.map +1 -0
- package/dist/rules/effect-promise-environment-values.js +214 -0
- package/dist/rules/effect-promise-environment-values.js.map +1 -0
- package/dist/rules/effect-promise-environments.d.ts +5 -0
- package/dist/rules/effect-promise-environments.d.ts.map +1 -0
- package/dist/rules/effect-promise-environments.js +7 -0
- package/dist/rules/effect-promise-environments.js.map +1 -0
- package/dist/rules/effect-promise-execution-ast.d.ts +12 -0
- package/dist/rules/effect-promise-execution-ast.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-ast.js +30 -0
- package/dist/rules/effect-promise-execution-ast.js.map +1 -0
- package/dist/rules/effect-promise-execution-engine.d.ts +9 -0
- package/dist/rules/effect-promise-execution-engine.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-engine.js +280 -0
- package/dist/rules/effect-promise-execution-engine.js.map +1 -0
- package/dist/rules/effect-promise-execution-flow.d.ts +48 -0
- package/dist/rules/effect-promise-execution-flow.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-flow.js +193 -0
- package/dist/rules/effect-promise-execution-flow.js.map +1 -0
- package/dist/rules/effect-promise-execution-navigation.d.ts +34 -0
- package/dist/rules/effect-promise-execution-navigation.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-navigation.js +66 -0
- package/dist/rules/effect-promise-execution-navigation.js.map +1 -0
- package/dist/rules/effect-promise-execution-types.d.ts +36 -0
- package/dist/rules/effect-promise-execution-types.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-types.js +5 -0
- package/dist/rules/effect-promise-execution-types.js.map +1 -0
- package/dist/rules/effect-promise-execution-values.d.ts +40 -0
- package/dist/rules/effect-promise-execution-values.d.ts.map +1 -0
- package/dist/rules/effect-promise-execution-values.js +268 -0
- package/dist/rules/effect-promise-execution-values.js.map +1 -0
- package/dist/rules/effect-promise-expression-flow.d.ts +27 -0
- package/dist/rules/effect-promise-expression-flow.d.ts.map +1 -0
- package/dist/rules/effect-promise-expression-flow.js +80 -0
- package/dist/rules/effect-promise-expression-flow.js.map +1 -0
- package/dist/rules/effect-promise-invocation-memo.d.ts +16 -0
- package/dist/rules/effect-promise-invocation-memo.d.ts.map +1 -0
- package/dist/rules/effect-promise-invocation-memo.js +44 -0
- package/dist/rules/effect-promise-invocation-memo.js.map +1 -0
- package/dist/rules/effect-promise-invocations.d.ts +16 -0
- package/dist/rules/effect-promise-invocations.d.ts.map +1 -0
- package/dist/rules/effect-promise-invocations.js +126 -0
- package/dist/rules/effect-promise-invocations.js.map +1 -0
- package/dist/rules/effect-promise-node-children.d.ts +22 -0
- package/dist/rules/effect-promise-node-children.d.ts.map +1 -0
- package/dist/rules/effect-promise-node-children.js +49 -0
- package/dist/rules/effect-promise-node-children.js.map +1 -0
- package/dist/rules/effect-promise-node-evaluation.d.ts +43 -0
- package/dist/rules/effect-promise-node-evaluation.d.ts.map +1 -0
- package/dist/rules/effect-promise-node-evaluation.js +150 -0
- package/dist/rules/effect-promise-node-evaluation.js.map +1 -0
- package/dist/rules/effect-promise-parameter-bindings.d.ts +28 -0
- package/dist/rules/effect-promise-parameter-bindings.d.ts.map +1 -0
- package/dist/rules/effect-promise-parameter-bindings.js +187 -0
- package/dist/rules/effect-promise-parameter-bindings.js.map +1 -0
- package/dist/rules/effect-promise-pattern-bindings.d.ts +9 -0
- package/dist/rules/effect-promise-pattern-bindings.d.ts.map +1 -0
- package/dist/rules/effect-promise-pattern-bindings.js +54 -0
- package/dist/rules/effect-promise-pattern-bindings.js.map +1 -0
- package/dist/rules/effect-promise-program-traversal.d.ts +40 -0
- package/dist/rules/effect-promise-program-traversal.d.ts.map +1 -0
- package/dist/rules/effect-promise-program-traversal.js +115 -0
- package/dist/rules/effect-promise-program-traversal.js.map +1 -0
- package/dist/rules/effect-promise-rule-bindings.d.ts +23 -0
- package/dist/rules/effect-promise-rule-bindings.d.ts.map +1 -0
- package/dist/rules/effect-promise-rule-bindings.js +41 -0
- package/dist/rules/effect-promise-rule-bindings.js.map +1 -0
- package/dist/rules/effect-promise-runtime-arguments.d.ts +18 -0
- package/dist/rules/effect-promise-runtime-arguments.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-arguments.js +49 -0
- package/dist/rules/effect-promise-runtime-arguments.js.map +1 -0
- package/dist/rules/effect-promise-runtime-call-targets.d.ts +21 -0
- package/dist/rules/effect-promise-runtime-call-targets.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-call-targets.js +55 -0
- package/dist/rules/effect-promise-runtime-call-targets.js.map +1 -0
- package/dist/rules/effect-promise-runtime-callable-properties.d.ts +20 -0
- package/dist/rules/effect-promise-runtime-callable-properties.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-callable-properties.js +30 -0
- package/dist/rules/effect-promise-runtime-callable-properties.js.map +1 -0
- package/dist/rules/effect-promise-runtime-callables.d.ts +51 -0
- package/dist/rules/effect-promise-runtime-callables.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-callables.js +214 -0
- package/dist/rules/effect-promise-runtime-callables.js.map +1 -0
- package/dist/rules/effect-promise-runtime-choice-operations.d.ts +32 -0
- package/dist/rules/effect-promise-runtime-choice-operations.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-choice-operations.js +145 -0
- package/dist/rules/effect-promise-runtime-choice-operations.js.map +1 -0
- package/dist/rules/effect-promise-runtime-choice.d.ts +26 -0
- package/dist/rules/effect-promise-runtime-choice.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-choice.js +95 -0
- package/dist/rules/effect-promise-runtime-choice.js.map +1 -0
- package/dist/rules/effect-promise-runtime-control-branches.d.ts +14 -0
- package/dist/rules/effect-promise-runtime-control-branches.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-control-branches.js +74 -0
- package/dist/rules/effect-promise-runtime-control-branches.js.map +1 -0
- package/dist/rules/effect-promise-runtime-control-completions.d.ts +26 -0
- package/dist/rules/effect-promise-runtime-control-completions.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-control-completions.js +116 -0
- package/dist/rules/effect-promise-runtime-control-completions.js.map +1 -0
- package/dist/rules/effect-promise-runtime-control-flow.d.ts +9 -0
- package/dist/rules/effect-promise-runtime-control-flow.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-control-flow.js +94 -0
- package/dist/rules/effect-promise-runtime-control-flow.js.map +1 -0
- package/dist/rules/effect-promise-runtime-control-patterns.d.ts +15 -0
- package/dist/rules/effect-promise-runtime-control-patterns.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-control-patterns.js +84 -0
- package/dist/rules/effect-promise-runtime-control-patterns.js.map +1 -0
- package/dist/rules/effect-promise-runtime-control-scalars.d.ts +23 -0
- package/dist/rules/effect-promise-runtime-control-scalars.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-control-scalars.js +178 -0
- package/dist/rules/effect-promise-runtime-control-scalars.js.map +1 -0
- package/dist/rules/effect-promise-runtime-expressions.d.ts +22 -0
- package/dist/rules/effect-promise-runtime-expressions.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-expressions.js +265 -0
- package/dist/rules/effect-promise-runtime-expressions.js.map +1 -0
- package/dist/rules/effect-promise-runtime-heap.d.ts +39 -0
- package/dist/rules/effect-promise-runtime-heap.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-heap.js +73 -0
- package/dist/rules/effect-promise-runtime-heap.js.map +1 -0
- package/dist/rules/effect-promise-runtime-interpreter.d.ts +39 -0
- package/dist/rules/effect-promise-runtime-interpreter.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-interpreter.js +260 -0
- package/dist/rules/effect-promise-runtime-interpreter.js.map +1 -0
- package/dist/rules/effect-promise-runtime-intrinsics.d.ts +15 -0
- package/dist/rules/effect-promise-runtime-intrinsics.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-intrinsics.js +54 -0
- package/dist/rules/effect-promise-runtime-intrinsics.js.map +1 -0
- package/dist/rules/effect-promise-runtime-loops.d.ts +9 -0
- package/dist/rules/effect-promise-runtime-loops.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-loops.js +277 -0
- package/dist/rules/effect-promise-runtime-loops.js.map +1 -0
- package/dist/rules/effect-promise-runtime-members.d.ts +28 -0
- package/dist/rules/effect-promise-runtime-members.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-members.js +88 -0
- package/dist/rules/effect-promise-runtime-members.js.map +1 -0
- package/dist/rules/effect-promise-runtime-memo.d.ts +40 -0
- package/dist/rules/effect-promise-runtime-memo.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-memo.js +124 -0
- package/dist/rules/effect-promise-runtime-memo.js.map +1 -0
- package/dist/rules/effect-promise-runtime-model.d.ts +251 -0
- package/dist/rules/effect-promise-runtime-model.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-model.js +84 -0
- package/dist/rules/effect-promise-runtime-model.js.map +1 -0
- package/dist/rules/effect-promise-runtime-mutations.d.ts +17 -0
- package/dist/rules/effect-promise-runtime-mutations.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-mutations.js +165 -0
- package/dist/rules/effect-promise-runtime-mutations.js.map +1 -0
- package/dist/rules/effect-promise-runtime-patterns.d.ts +21 -0
- package/dist/rules/effect-promise-runtime-patterns.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-patterns.js +179 -0
- package/dist/rules/effect-promise-runtime-patterns.js.map +1 -0
- package/dist/rules/effect-promise-runtime-proof.d.ts +74 -0
- package/dist/rules/effect-promise-runtime-proof.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-proof.js +253 -0
- package/dist/rules/effect-promise-runtime-proof.js.map +1 -0
- package/dist/rules/effect-promise-runtime-reporting.d.ts +16 -0
- package/dist/rules/effect-promise-runtime-reporting.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-reporting.js +11 -0
- package/dist/rules/effect-promise-runtime-reporting.js.map +1 -0
- package/dist/rules/effect-promise-runtime-scalar-operations.d.ts +2 -0
- package/dist/rules/effect-promise-runtime-scalar-operations.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-scalar-operations.js +5 -0
- package/dist/rules/effect-promise-runtime-scalar-operations.js.map +1 -0
- package/dist/rules/effect-promise-runtime-scalars.d.ts +24 -0
- package/dist/rules/effect-promise-runtime-scalars.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-scalars.js +125 -0
- package/dist/rules/effect-promise-runtime-scalars.js.map +1 -0
- package/dist/rules/effect-promise-runtime-statements.d.ts +15 -0
- package/dist/rules/effect-promise-runtime-statements.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-statements.js +251 -0
- package/dist/rules/effect-promise-runtime-statements.js.map +1 -0
- package/dist/rules/effect-promise-runtime-store.d.ts +44 -0
- package/dist/rules/effect-promise-runtime-store.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-store.js +186 -0
- package/dist/rules/effect-promise-runtime-store.js.map +1 -0
- package/dist/rules/effect-promise-runtime-structures.d.ts +9 -0
- package/dist/rules/effect-promise-runtime-structures.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-structures.js +181 -0
- package/dist/rules/effect-promise-runtime-structures.js.map +1 -0
- package/dist/rules/effect-promise-runtime-switch.d.ts +9 -0
- package/dist/rules/effect-promise-runtime-switch.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-switch.js +91 -0
- package/dist/rules/effect-promise-runtime-switch.js.map +1 -0
- package/dist/rules/effect-promise-runtime-tasks.d.ts +72 -0
- package/dist/rules/effect-promise-runtime-tasks.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-tasks.js +158 -0
- package/dist/rules/effect-promise-runtime-tasks.js.map +1 -0
- package/dist/rules/effect-promise-runtime-this.d.ts +14 -0
- package/dist/rules/effect-promise-runtime-this.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-this.js +29 -0
- package/dist/rules/effect-promise-runtime-this.js.map +1 -0
- package/dist/rules/effect-promise-runtime-try.d.ts +9 -0
- package/dist/rules/effect-promise-runtime-try.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-try.js +94 -0
- package/dist/rules/effect-promise-runtime-try.js.map +1 -0
- package/dist/rules/effect-promise-runtime-values.d.ts +88 -0
- package/dist/rules/effect-promise-runtime-values.d.ts.map +1 -0
- package/dist/rules/effect-promise-runtime-values.js +382 -0
- package/dist/rules/effect-promise-runtime-values.js.map +1 -0
- package/dist/rules/effect-promise-value-scopes.d.ts +94 -0
- package/dist/rules/effect-promise-value-scopes.d.ts.map +1 -0
- package/dist/rules/effect-promise-value-scopes.js +218 -0
- package/dist/rules/effect-promise-value-scopes.js.map +1 -0
- package/dist/rules/effect-recursion-ast.d.ts +14 -0
- package/dist/rules/effect-recursion-ast.d.ts.map +1 -0
- package/dist/rules/effect-recursion-ast.js +154 -0
- package/dist/rules/effect-recursion-ast.js.map +1 -0
- package/dist/rules/effect-recursion-execution.d.ts +15 -0
- package/dist/rules/effect-recursion-execution.d.ts.map +1 -0
- package/dist/rules/effect-recursion-execution.js +312 -0
- package/dist/rules/effect-recursion-execution.js.map +1 -0
- package/dist/rules/effect-recursion-generator.d.ts +17 -0
- package/dist/rules/effect-recursion-generator.d.ts.map +1 -0
- package/dist/rules/effect-recursion-generator.js +125 -0
- package/dist/rules/effect-recursion-generator.js.map +1 -0
- package/dist/rules/effect-recursion-local-bindings.d.ts +44 -0
- package/dist/rules/effect-recursion-local-bindings.d.ts.map +1 -0
- package/dist/rules/effect-recursion-local-bindings.js +99 -0
- package/dist/rules/effect-recursion-local-bindings.js.map +1 -0
- package/dist/rules/effect-recursion-phases.d.ts +40 -0
- package/dist/rules/effect-recursion-phases.d.ts.map +1 -0
- package/dist/rules/effect-recursion-phases.js +62 -0
- package/dist/rules/effect-recursion-phases.js.map +1 -0
- package/dist/rules/effect-recursion-source.d.ts +10 -0
- package/dist/rules/effect-recursion-source.d.ts.map +1 -0
- package/dist/rules/effect-recursion-source.js +182 -0
- package/dist/rules/effect-recursion-source.js.map +1 -0
- package/dist/rules/effect-recursion-viability.d.ts +66 -0
- package/dist/rules/effect-recursion-viability.d.ts.map +1 -0
- package/dist/rules/effect-recursion-viability.js +228 -0
- package/dist/rules/effect-recursion-viability.js.map +1 -0
- package/dist/rules/effect-rule-aliases.d.ts +14 -19
- package/dist/rules/effect-rule-aliases.d.ts.map +1 -1
- package/dist/rules/effect-rule-aliases.js +48 -30
- package/dist/rules/effect-rule-aliases.js.map +1 -1
- package/dist/rules/effect-rule-core.d.ts +4 -4
- package/dist/rules/effect-rule-core.d.ts.map +1 -1
- package/dist/rules/effect-rule-core.js +42 -44
- package/dist/rules/effect-rule-core.js.map +1 -1
- package/dist/rules/effect-rule-names.d.ts.map +1 -1
- package/dist/rules/effect-rule-names.js +1 -1
- package/dist/rules/effect-rule-names.js.map +1 -1
- package/dist/rules/effect-source-navigation-lexer.d.ts +13 -0
- package/dist/rules/effect-source-navigation-lexer.d.ts.map +1 -0
- package/dist/rules/effect-source-navigation-lexer.js +228 -0
- package/dist/rules/effect-source-navigation-lexer.js.map +1 -0
- package/dist/rules/effect-source-navigation.d.ts +2 -2
- package/dist/rules/effect-source-navigation.d.ts.map +1 -1
- package/dist/rules/effect-source-navigation.js +104 -101
- package/dist/rules/effect-source-navigation.js.map +1 -1
- package/dist/rules/effect-strict-ast-helpers.d.ts +82 -0
- package/dist/rules/effect-strict-ast-helpers.d.ts.map +1 -0
- package/dist/rules/effect-strict-ast-helpers.js +194 -0
- package/dist/rules/effect-strict-ast-helpers.js.map +1 -0
- package/dist/rules/effect-strict-ast-specs.d.ts.map +1 -1
- package/dist/rules/effect-strict-ast-specs.js +14 -16
- package/dist/rules/effect-strict-ast-specs.js.map +1 -1
- package/dist/rules/effect-strict-internals.d.ts +2 -196
- package/dist/rules/effect-strict-internals.d.ts.map +1 -1
- package/dist/rules/effect-strict-internals.js +2 -417
- package/dist/rules/effect-strict-internals.js.map +1 -1
- package/dist/rules/effect-strict-source-predicates.d.ts +120 -0
- package/dist/rules/effect-strict-source-predicates.d.ts.map +1 -0
- package/dist/rules/effect-strict-source-predicates.js +234 -0
- package/dist/rules/effect-strict-source-predicates.js.map +1 -0
- package/dist/rules/effect-sync-promise-scope-index.d.ts +44 -0
- package/dist/rules/effect-sync-promise-scope-index.d.ts.map +1 -0
- package/dist/rules/effect-sync-promise-scope-index.js +345 -0
- package/dist/rules/effect-sync-promise-scope-index.js.map +1 -0
- package/dist/rules/effect-sync-promise-scopes.d.ts +10 -0
- package/dist/rules/effect-sync-promise-scopes.d.ts.map +1 -0
- package/dist/rules/effect-sync-promise-scopes.js +115 -0
- package/dist/rules/effect-sync-promise-scopes.js.map +1 -0
- package/dist/rules/effect-sync-promise-source.d.ts +2 -0
- package/dist/rules/effect-sync-promise-source.d.ts.map +1 -0
- package/dist/rules/effect-sync-promise-source.js +5 -0
- package/dist/rules/effect-sync-promise-source.js.map +1 -0
- package/dist/rules/plugin-commented-out-code-jsx-scanner.d.ts +21 -0
- package/dist/rules/plugin-commented-out-code-jsx-scanner.d.ts.map +1 -0
- package/dist/rules/plugin-commented-out-code-jsx-scanner.js +200 -0
- package/dist/rules/plugin-commented-out-code-jsx-scanner.js.map +1 -0
- package/dist/rules/plugin-commented-out-code-lexical-primitives.d.ts +139 -0
- package/dist/rules/plugin-commented-out-code-lexical-primitives.d.ts.map +1 -0
- package/dist/rules/plugin-commented-out-code-lexical-primitives.js +244 -0
- package/dist/rules/plugin-commented-out-code-lexical-primitives.js.map +1 -0
- package/dist/rules/plugin-commented-out-code-rule.d.ts +13 -0
- package/dist/rules/plugin-commented-out-code-rule.d.ts.map +1 -1
- package/dist/rules/plugin-commented-out-code-rule.js +174 -82
- package/dist/rules/plugin-commented-out-code-rule.js.map +1 -1
- package/dist/rules/plugin-commented-out-code-source-scanner.d.ts +8 -0
- package/dist/rules/plugin-commented-out-code-source-scanner.d.ts.map +1 -0
- package/dist/rules/plugin-commented-out-code-source-scanner.js +228 -0
- package/dist/rules/plugin-commented-out-code-source-scanner.js.map +1 -0
- 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"}
|