@thethracian/oxlint-config 0.3.6 → 0.4.0

package/dist/rules/effect-promise-execution-ast.js

@@ -0,0 +1,30 @@
+/* -------------------------------------------------------------------------- */
+/*        Execution-aware Promise traversal for Effect.sync callbacks.        */
+/* -------------------------------------------------------------------------- */
+import { executePromiseGraph } from './effect-promise-execution-engine.js';
+const neverNativeGlobal = () => false;
+const executionState = (input) => ({
+    activeBodies: new WeakSet(),
+    activeDefaults: new WeakSet(),
+    isBoundary: input.isBoundary,
+    isNativeGlobal: input.isNativeGlobal ?? neverNativeGlobal,
+    visitorKeys: input.visitorKeys,
+});
+/**
+ * Detect a Promise boundary that executes while an Effect.sync callback runs.
+ *
+ * @param input - Callback, lexical provenance, and native traversal capabilities.
+ * @returns Whether the callback synchronously reaches Promise-producing work.
+ * @throws Does not throw.
+ * @internal
+ */
+export const hasExecutedPromiseBoundary = (input) => {
+    const helperScopes = input.helperScopes ?? [];
+    const binding = {
+        helperScopes,
+        node: input.functionNode,
+        scopes: input.scopes,
+    };
+    return executePromiseGraph(executionState(input), binding);
+};
+//# sourceMappingURL=effect-promise-execution-ast.js.map

package/dist/rules/effect-promise-execution-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-ast.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-ast.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAQhF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAIxE,MAAM,iBAAiB,GAAsB,GAAY,EAAE,CAAC,KAAK,CAAC;AAElE,MAAM,cAAc,GAAG,CAAC,KAA4B,EAAyB,EAAE,CAAC,CAAC;IAC/E,YAAY,EAAE,IAAI,OAAO,EAAE;IAC3B,cAAc,EAAE,IAAI,OAAO,EAAE;IAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,iBAAiB;IACzD,WAAW,EAAE,KAAK,CAAC,WAAW;CAC/B,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAA4B,EAAW,EAAE;IAClF,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAoB;QAC/B,YAAY;QACZ,IAAI,EAAE,KAAK,CAAC,YAAY;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;IACF,OAAO,mBAAmB,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;AAC7D,CAAC,CAAC"}

package/dist/rules/effect-promise-execution-engine.d.ts

@@ -0,0 +1,9 @@
+import type { FunctionBinding } from './effect-promise-callable-types';
+import type { PromiseExecutionState } from './effect-promise-execution-types';
+/**
+ * Analyze one Promise execution graph with isolated recursion guards.
+ *
+ * @internal
+ */
+export declare const executePromiseGraph: (state: PromiseExecutionState, binding: FunctionBinding) => boolean;
+//# sourceMappingURL=effect-promise-execution-engine.d.ts.map

package/dist/rules/effect-promise-execution-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-engine.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-engine.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,eAAe,EAA4B,MAAM,iCAAiC,CAAC;AAgCjG,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AA2a9E;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,qBAAqB,EAC5B,SAAS,eAAe,KACvB,OAOF,CAAC"}

package/dist/rules/effect-promise-execution-engine.js

@@ -0,0 +1,280 @@
+/* -------------------------------------------------------------------------- */
+/*         Execution engine for Promise-producing Effect.sync paths.          */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_NORMAL, COMPLETION_RETURN, COMPLETION_UNSAFE, NON_TERMINATING_EVALUATION, NORMAL_EVALUATION, UNSAFE_EVALUATION, normalEvaluation, } from './effect-promise-completion.js';
+import { bodyScopesFor, generatorExecution, nodeScopesFor, } from './effect-promise-execution-navigation.js';
+import { boundArgument, concreteArgument, executionArguments, } from './effect-promise-environment-values.js';
+import { callableBinding, containerHelperScopes, invocationFor, memberPropertyName, } from './effect-promise-callables.js';
+import { evaluatePromiseAssignment, evaluatePromiseCallOperands, evaluatePromiseMember, } from './effect-promise-node-evaluation.js';
+import { isFunctionNode, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { sameCapturedEnvironments, sameExecutionArguments, } from './effect-promise-execution-values.js';
+import { visitPromiseBlock, visitPromiseIf } from './effect-promise-execution-flow.js';
+import { PromiseInvocationMemo } from './effect-promise-invocation-memo.js';
+import { childNode } from './effect-ast.js';
+import { eagerCollectionCallback } from './effect-promise-collections.js';
+import { prepareParameters } from './effect-promise-environments.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+import { visitPromiseChildren } from './effect-promise-node-children.js';
+import { visitPromiseControlExpression } from './effect-promise-expression-flow.js';
+const GENERATOR_BOUNDARY = 1;
+const GENERATOR_CONTINUE = 0;
+const isDeferredFunction = (node) => isFunctionNode(node);
+class PromiseExecutionEngine {
+    state;
+    activeInvocations = [];
+    invocationMemo = new PromiseInvocationMemo();
+    constructor(state) {
+        this.state = state;
+    }
+    visit(node, scopes, helperScopes, environments) {
+        const nodeScopes = nodeScopesFor(this.state, node, scopes);
+        if (this.state.isBoundary(node, nodeScopes)) {
+            return UNSAFE_EVALUATION;
+        }
+        return this.visitNode(node, nodeScopes, helperScopes, environments);
+    }
+    visitNode(node, nodeScopes, helperScopes, environments) {
+        const direct = this.directNodeValue(node, nodeScopes, helperScopes, environments);
+        if (direct) {
+            return direct;
+        }
+        const structural = this.visitStructuredNode(node, nodeScopes, helperScopes, environments);
+        if (structural) {
+            return structural;
+        }
+        return this.visitNodeChildren(node, nodeScopes, helperScopes, environments);
+    }
+    visitNodeChildren(node, nodeScopes, helperScopes, environments) {
+        const childHelpers = this.childHelperScopes(node, nodeScopes, helperScopes);
+        const children = visitPromiseChildren(this, node, nodeScopes, childHelpers, environments);
+        if (children.completion !== COMPLETION_NORMAL) {
+            return children;
+        }
+        return normalEvaluation(boundArgument(node, nodeScopes, childHelpers, environments));
+    }
+    directNodeValue(node, scopes, helperScopes, environments) {
+        if (isDeferredFunction(node) || node.type === 'Identifier' || node.type === 'Literal') {
+            return normalEvaluation(boundArgument(node, scopes, helperScopes, environments));
+        }
+        return undefined;
+    }
+    visitStructuredNode(node, scopes, helperScopes, environments) {
+        const control = visitPromiseControlExpression(this, {
+            environments,
+            helperScopes,
+            node,
+            scopes,
+        });
+        if (control) {
+            return control;
+        }
+        if (node.type === 'CallExpression') {
+            return this.visitCall(node, scopes, helperScopes, environments);
+        }
+        if (node.type === 'MemberExpression') {
+            return evaluatePromiseMember(this, node, scopes, helperScopes, environments);
+        }
+        if (node.type === 'AssignmentExpression') {
+            return evaluatePromiseAssignment(this, node, scopes, helperScopes, environments);
+        }
+        return this.visitStatementStructure(node, scopes, helperScopes, environments);
+    }
+    visitStatementStructure(node, scopes, helperScopes, environments) {
+        const childHelpers = this.childHelperScopes(node, scopes, helperScopes);
+        if (node.type === 'BlockStatement') {
+            return visitPromiseBlock(this, {
+                environments,
+                helperScopes: childHelpers,
+                inheritedHelperScopes: helperScopes,
+                node,
+                scopes,
+            });
+        }
+        if (node.type === 'IfStatement') {
+            return visitPromiseIf(this, { environments, helperScopes: childHelpers, node, scopes });
+        }
+        return undefined;
+    }
+    visitCall(call, scopes, helperScopes, environments) {
+        const operands = evaluatePromiseCallOperands(this, call, scopes, helperScopes, environments);
+        if (operands.result.completion !== COMPLETION_NORMAL) {
+            return operands.result;
+        }
+        return this.executeCall(call, scopes, helperScopes, environments, operands);
+    }
+    executeCall(call, scopes, helperScopes, environments, operands) {
+        const binding = this.evaluatedCallable(operands, scopes, helperScopes);
+        if (binding) {
+            return this.execute(binding, operands.argumentsList, environments);
+        }
+        return this.executeSyntaxCall(call, scopes, helperScopes, environments, operands);
+    }
+    evaluatedCallable(operands, scopes, helperScopes) {
+        const callee = concreteArgument(operands.calleeValue);
+        return callableBinding(callee?.node, callee?.scopes ?? scopes, callee?.helperScopes ?? helperScopes);
+    }
+    executeSyntaxCall(call, scopes, helperScopes, environments, operands) {
+        const generator = this.generatorIterationFor(call, scopes, helperScopes);
+        if (generator) {
+            return this.executeInvocation(generator, scopes, helperScopes, environments, true);
+        }
+        const invocation = invocationFor(call, scopes, helperScopes);
+        if (invocation) {
+            const syntaxCallee = unwrappedExpression(childNode(call, 'callee'));
+            if (syntaxCallee?.type === 'Identifier') {
+                return this.execute(invocation.binding, operands.argumentsList, environments);
+            }
+            return this.executeInvocation(invocation, scopes, helperScopes, environments, false);
+        }
+        return this.executeCollectionCallback(call, scopes, helperScopes, environments);
+    }
+    execute(binding, argumentsList, inheritedEnvironments, executeGeneratorBody = false) {
+        const { node } = binding;
+        if (Reflect.get(node, 'async') === true && Reflect.get(node, 'generator') !== true) {
+            return UNSAFE_EVALUATION;
+        }
+        if (this.hasActiveInvocation(binding, argumentsList, inheritedEnvironments, executeGeneratorBody)) {
+            return NON_TERMINATING_EVALUATION;
+        }
+        if (this.invocationMemo.hasUnsafe(binding, argumentsList, inheritedEnvironments, executeGeneratorBody)) {
+            return UNSAFE_EVALUATION;
+        }
+        return this.invocationMemo.complete(binding, argumentsList, inheritedEnvironments, executeGeneratorBody, this.executeActive(binding, argumentsList, inheritedEnvironments, executeGeneratorBody));
+    }
+    executeActive(binding, argumentsList, inheritedEnvironments, executeGeneratorBody) {
+        const { node } = binding;
+        this.activeInvocations.push({
+            argumentsList,
+            binding,
+            environments: inheritedEnvironments,
+            executeGeneratorBody,
+        });
+        const functionScopes = nodeScopesFor(this.state, node, binding.scopes);
+        const parameters = prepareParameters(binding, argumentsList, functionScopes, inheritedEnvironments);
+        const result = this.executePrepared(node, functionScopes, parameters, executeGeneratorBody);
+        this.activeInvocations.pop();
+        if (result.completion === COMPLETION_RETURN) {
+            return normalEvaluation(result.value);
+        }
+        return result;
+    }
+    executePrepared(node, functionScopes, parameters, executeGeneratorBody) {
+        const getters = this.executeGetters(parameters);
+        if (getters.completion !== COMPLETION_NORMAL) {
+            return getters;
+        }
+        const defaults = this.executeDefaults(parameters);
+        if (defaults.completion !== COMPLETION_NORMAL) {
+            return defaults;
+        }
+        return this.executePreparedBody(node, functionScopes, parameters, executeGeneratorBody);
+    }
+    executePreparedBody(node, functionScopes, parameters, executeGeneratorBody) {
+        const generator = generatorExecution(node, executeGeneratorBody);
+        if (generator !== GENERATOR_CONTINUE) {
+            if (generator === GENERATOR_BOUNDARY) {
+                return UNSAFE_EVALUATION;
+            }
+            return NORMAL_EVALUATION;
+        }
+        return this.executeBody(node, functionScopes, parameters);
+    }
+    executeGetters(parameters) {
+        for (const getter of parameters.getters) {
+            const result = this.execute(getter.binding, { isExact: true, values: [] }, getter.environments);
+            if (result.completion !== COMPLETION_NORMAL) {
+                return result;
+            }
+        }
+        return NORMAL_EVALUATION;
+    }
+    executeDefaults(parameters) {
+        for (const selectedDefault of parameters.defaults) {
+            if (!this.state.activeDefaults.has(selectedDefault.pattern)) {
+                const result = this.executeDefault(selectedDefault.pattern, selectedDefault.expression);
+                if (result.completion !== COMPLETION_NORMAL) {
+                    return result;
+                }
+            }
+        }
+        return NORMAL_EVALUATION;
+    }
+    executeDefault(pattern, expression) {
+        this.state.activeDefaults.add(pattern);
+        const result = this.visit(expression.node, expression.scopes, expression.helperScopes, expression.environments);
+        this.state.activeDefaults.delete(pattern);
+        return result;
+    }
+    executeBody(node, functionScopes, parameters) {
+        const body = childNode(node, 'body');
+        if (!body) {
+            return NORMAL_EVALUATION;
+        }
+        const bodyScopes = bodyScopesFor(this.state, functionScopes, node);
+        return this.visit(body, bodyScopes, parameters.helperScopes, parameters.environments);
+    }
+    hasActiveInvocation(binding, argumentsList, environments, executeGeneratorBody) {
+        for (let index = this.activeInvocations.length - 1; index >= 0; index -= 1) {
+            const active = this.activeInvocations[index];
+            if (active?.binding.node === binding.node &&
+                active.executeGeneratorBody === executeGeneratorBody &&
+                sameExecutionArguments(active.argumentsList, argumentsList) &&
+                sameCapturedEnvironments(active.environments, environments)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    executeInvocation(invocation, scopes, helperScopes, environments, executeGeneratorBody) {
+        const argumentsList = executionArguments(invocation.arguments, scopes, helperScopes, environments);
+        return this.execute(invocation.binding, argumentsList, environments, executeGeneratorBody);
+    }
+    executeCollectionCallback(call, scopes, helperScopes, environments) {
+        const callback = eagerCollectionCallback(call, scopes, this.state.isNativeGlobal);
+        const binding = callableBinding(callback, scopes, helperScopes);
+        if (!binding) {
+            return normalEvaluation(unknownArgument);
+        }
+        return this.execute(binding, { isExact: false, values: [] }, environments);
+    }
+    generatorIterationFor(call, scopes, helperScopes) {
+        const callee = unwrappedExpression(childNode(call, 'callee'));
+        if (callee?.type !== 'MemberExpression' || memberPropertyName(callee) !== 'next') {
+            return undefined;
+        }
+        const iteratorCreation = unwrappedExpression(childNode(callee, 'object'));
+        if (iteratorCreation?.type !== 'CallExpression') {
+            return undefined;
+        }
+        const invocation = invocationFor(iteratorCreation, scopes, helperScopes);
+        if (invocation && Reflect.get(invocation.binding.node, 'generator') === true) {
+            return invocation;
+        }
+        return undefined;
+    }
+    childHelperScopes(node, scopes, helperScopes) {
+        if (node.type === 'BlockStatement') {
+            return containerHelperScopes(node, scopes, helperScopes);
+        }
+        return helperScopes;
+    }
+    returnedValueIsUnsafe(result) {
+        if (result.completion !== COMPLETION_NORMAL) {
+            return result.completion === COMPLETION_UNSAFE;
+        }
+        const value = concreteArgument(result.value);
+        return Boolean(value && this.state.isBoundary(value.node, value.scopes));
+    }
+}
+/**
+ * Analyze one Promise execution graph with isolated recursion guards.
+ *
+ * @internal
+ */
+export const executePromiseGraph = (state, binding) => {
+    const marker = binding.helperScopes[binding.helperScopes.length - 1] ?? new Map();
+    const environments = [{ helperScope: marker, values: new Map() }];
+    const engine = new PromiseExecutionEngine(state);
+    return engine.returnedValueIsUnsafe(engine.execute(binding, { isExact: true, values: [] }, environments));
+};
+//# sourceMappingURL=effect-promise-execution-engine.js.map

package/dist/rules/effect-promise-execution-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-engine.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-engine.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAOrC,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,aAAa,GACd,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EACL,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAMpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEjF,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;AAE5E,MAAM,sBAAsB;IACjB,KAAK,CAAwB;IAE7B,iBAAiB,GAAsB,EAAE,CAAC;IAE1C,cAAc,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAEtD,YAAY,KAA4B;QACtC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,KAAK,CACH,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;YAC5C,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACtE,CAAC;IAED,SAAS,CACP,IAAa,EACb,UAAsB,EACtB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAClF,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1F,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAC9E,CAAC;IAED,iBAAiB,CACf,IAAa,EACb,UAAsB,EACtB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1F,IAAI,QAAQ,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC9C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,eAAe,CACb,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtF,OAAO,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,mBAAmB,CACjB,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,EAAE;YAClD,YAAY;YACZ,YAAY;YACZ,IAAI;YACJ,MAAM;SACP,CAAC,CAAC;QACH,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,OAAO,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,OAAO,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAChF,CAAC;IAED,uBAAuB,CACrB,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,iBAAiB,CAAC,IAAI,EAAE;gBAC7B,YAAY;gBACZ,YAAY,EAAE,YAAY;gBAC1B,qBAAqB,EAAE,YAAY;gBACnC,IAAI;gBACJ,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,cAAc,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS,CACP,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC7F,IAAI,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YACrD,OAAO,QAAQ,CAAC,MAAM,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC9E,CAAC;IAED,WAAW,CACT,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACnC,QAA6B;QAE7B,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACvE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACpF,CAAC;IAED,iBAAiB,CACf,QAA6B,EAC7B,MAAkB,EAClB,YAA0B;QAE1B,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,OAAO,eAAe,CACpB,MAAM,EAAE,IAAI,EACZ,MAAM,EAAE,MAAM,IAAI,MAAM,EACxB,MAAM,EAAE,YAAY,IAAI,YAAY,CACrC,CAAC;IACJ,CAAC;IAED,iBAAiB,CACf,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACnC,QAA6B;QAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACzE,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QAC7D,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpE,IAAI,YAAY,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;YAChF,CAAC;YACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IAED,OAAO,CACL,OAAwB,EACxB,aAAiC,EACjC,qBAA4C,EAC5C,oBAAoB,GAAG,KAAK;QAE5B,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;YACnF,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,IACE,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,oBAAoB,CAAC,EAC7F,CAAC;YACD,OAAO,0BAA0B,CAAC;QACpC,CAAC;QACD,IACE,IAAI,CAAC,cAAc,CAAC,SAAS,CAC3B,OAAO,EACP,aAAa,EACb,qBAAqB,EACrB,oBAAoB,CACrB,EACD,CAAC;YACD,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CACjC,OAAO,EACP,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,oBAAoB,CAAC,CACxF,CAAC;IACJ,CAAC;IAED,aAAa,CACX,OAAwB,EACxB,aAAiC,EACjC,qBAA4C,EAC5C,oBAA6B;QAE7B,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QACzB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,aAAa;YACb,OAAO;YACP,YAAY,EAAE,qBAAqB;YACnC,oBAAoB;SACrB,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,iBAAiB,CAClC,OAAO,EACP,aAAa,EACb,cAAc,EACd,qBAAqB,CACtB,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,oBAAoB,CAAC,CAAC;QAC5F,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC5C,OAAO,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,eAAe,CACb,IAAa,EACb,cAA0B,EAC1B,UAA8B,EAC9B,oBAA6B;QAE7B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,OAAO,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,QAAQ,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC9C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,oBAAoB,CAAC,CAAC;IAC1F,CAAC;IAED,mBAAmB,CACjB,IAAa,EACb,cAA0B,EAC1B,UAA8B,EAC9B,oBAA6B;QAE7B,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,kBAAkB,EAAE,CAAC;YACrC,IAAI,SAAS,KAAK,kBAAkB,EAAE,CAAC;gBACrC,OAAO,iBAAiB,CAAC;YAC3B,CAAC;YACD,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,cAAc,CAAC,UAA8B;QAC3C,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CACzB,MAAM,CAAC,OAAO,EACd,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAC7B,MAAM,CAAC,YAAY,CACpB,CAAC;YACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,eAAe,CAAC,UAA8B;QAC5C,KAAK,MAAM,eAAe,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;gBACxF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;oBAC5C,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,cAAc,CACZ,OAAgB,EAChB,UAAgE;QAEhE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,YAAY,CACxB,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,WAAW,CACT,IAAa,EACb,cAA0B,EAC1B,UAA8B;QAE9B,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACnE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC;IACxF,CAAC;IAED,mBAAmB,CACjB,OAAwB,EACxB,aAAiC,EACjC,YAAmC,EACnC,oBAA6B;QAE7B,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAC7C,IACE,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;gBACrC,MAAM,CAAC,oBAAoB,KAAK,oBAAoB;gBACpD,sBAAsB,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC;gBAC3D,wBAAwB,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,EAC3D,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iBAAiB,CACf,UAAsB,EACtB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACnC,oBAA6B;QAE7B,MAAM,aAAa,GAAG,kBAAkB,CACtC,UAAU,CAAC,SAAS,EACpB,MAAM,EACN,YAAY,EACZ,YAAY,CACb,CAAC;QACF,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,oBAAoB,CAAC,CAAC;IAC7F,CAAC;IAED,yBAAyB,CACvB,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC;QAEnC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;IAC7E,CAAC;IAED,qBAAqB,CACnB,IAAa,EACb,MAAkB,EAClB,YAA0B;QAE1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;YACjF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,IAAI,gBAAgB,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,gBAAgB,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACzE,IAAI,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7E,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iBAAiB,CAAC,IAAa,EAAE,MAAkB,EAAE,YAA0B;QAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,qBAAqB,CAAC,MAAyB;QAC7C,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC,UAAU,KAAK,iBAAiB,CAAC;QACjD,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAA4B,EAC5B,OAAwB,EACf,EAAE;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IAClF,MAAM,YAAY,GAA0B,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,IAAI,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,qBAAqB,CACjC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,YAAY,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/effect-promise-execution-flow.d.ts

@@ -0,0 +1,48 @@
+import type { ParameterEnvironments } from './effect-promise-environment-types';
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { PromiseEvaluation } from './effect-promise-completion';
+import type { PromiseExecutionState } from './effect-promise-execution-types';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Engine capabilities used by the isolated statement interpreter.
+ *
+ * @internal
+ */
+export interface PromiseFlowVisitor {
+    readonly state: PromiseExecutionState;
+    childHelperScopes: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes) => HelperScopes;
+    visit: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+}
+/**
+ * Common exact-flow inputs for one statement.
+ *
+ * @internal
+ */
+export interface PromiseFlowInput {
+    environments: ParameterEnvironments;
+    helperScopes: HelperScopes;
+    node: ASTNode;
+    scopes: ScopeStack;
+}
+/**
+ * Block inputs including the helper scope inherited before declarations.
+ *
+ * @internal
+ */
+export interface PromiseBlockFlowInput extends PromiseFlowInput {
+    inheritedHelperScopes: HelperScopes;
+}
+/**
+ * Execute one block in source order until it exits or reaches a boundary.
+ *
+ * @internal
+ */
+export declare const visitPromiseBlock: (visitor: PromiseFlowVisitor, input: PromiseBlockFlowInput) => PromiseEvaluation;
+/**
+ * Execute a provably selected branch or conservatively visit both branches.
+ *
+ * @internal
+ */
+export declare const visitPromiseIf: (visitor: PromiseFlowVisitor, input: PromiseFlowInput) => PromiseEvaluation;
+//# sourceMappingURL=effect-promise-execution-flow.d.ts.map

package/dist/rules/effect-promise-execution-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-flow.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-flow.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAiB,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAY/F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAKrD;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,iBAAiB,EAAE,CACjB,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,YAAY,KACvB,YAAY,CAAC;IAClB,KAAK,EAAE,CACL,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,qBAAqB,KAChC,iBAAiB,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,qBAAqB,CAAC;IACpC,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAsB,SAAQ,gBAAgB;IAC7D,qBAAqB,EAAE,YAAY,CAAC;CACrC;AAiOD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,kBAAkB,EAC3B,OAAO,qBAAqB,KAC3B,iBAeF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,SAAS,kBAAkB,EAC3B,OAAO,gBAAgB,KACtB,iBAcF,CAAC"}

package/dist/rules/effect-promise-execution-flow.js

@@ -0,0 +1,193 @@
+/* -------------------------------------------------------------------------- */
+/*        Exact statement flow for Promise-producing helper execution.        */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_NORMAL, NORMAL_EVALUATION, THROW_EVALUATION, joinPromiseEnvironments, joinPromiseEvaluations, restorePromiseEnvironments, returnEvaluation, snapshotPromiseEnvironments, } from './effect-promise-completion.js';
+import { childNode, childNodes } from './effect-ast.js';
+import { bindLocalDeclarator } from './effect-promise-parameter-bindings.js';
+import { knownArgumentBooleanValue } from './effect-promise-execution-values.js';
+import { nodeScopesFor } from './effect-promise-execution-navigation.js';
+const blockContext = (blockHelpers, inheritedHelpers, environments) => {
+    const values = new Map();
+    let helperScopes = blockHelpers;
+    let marker = blockHelpers[blockHelpers.length - 1];
+    if (marker === inheritedHelpers[inheritedHelpers.length - 1]) {
+        marker = new Map();
+        helperScopes = [...blockHelpers, marker];
+    }
+    return {
+        environments: [...environments, { helperScope: marker, values }],
+        helperScopes,
+        values,
+    };
+};
+const visitReturn = (visitor, context) => {
+    const argument = childNode(context.node, 'argument');
+    if (!argument) {
+        return returnEvaluation(undefined);
+    }
+    const result = visitor.visit(argument, context.scopes, context.helperScopes, context.environments);
+    if (result.completion !== COMPLETION_NORMAL) {
+        return result;
+    }
+    return returnEvaluation(result.value);
+};
+const visitThrow = (visitor, context) => {
+    const argument = childNode(context.node, 'argument');
+    if (!argument) {
+        return THROW_EVALUATION;
+    }
+    const result = visitor.visit(argument, context.scopes, context.helperScopes, context.environments);
+    if (result.completion !== COMPLETION_NORMAL) {
+        return result;
+    }
+    return THROW_EVALUATION;
+};
+const visitNestedBlock = (visitor, context) => {
+    const nodeScopes = nodeScopesFor(visitor.state, context.node, context.scopes);
+    const childHelpers = visitor.childHelperScopes(context.node, nodeScopes, context.helperScopes);
+    return visitPromiseBlock(visitor, {
+        environments: context.environments,
+        helperScopes: childHelpers,
+        inheritedHelperScopes: context.helperScopes,
+        node: context.node,
+        scopes: nodeScopes,
+    });
+};
+const visitVariableDeclaration = (visitor, context) => {
+    const { localValues } = context;
+    if (!localValues) {
+        return NORMAL_EVALUATION;
+    }
+    for (const declarator of childNodes(context.node, 'declarations')) {
+        const result = visitLocalDeclarator(visitor, context, localValues, declarator);
+        if (result.completion !== COMPLETION_NORMAL) {
+            return result;
+        }
+    }
+    return NORMAL_EVALUATION;
+};
+const visitLocalDeclarator = (visitor, context, localValues, declarator) => {
+    const initializer = childNode(declarator, 'init');
+    let value = undefined;
+    if (initializer) {
+        const result = visitor.visit(initializer, context.scopes, context.helperScopes, context.environments);
+        if (result.completion !== COMPLETION_NORMAL) {
+            return result;
+        }
+        ({ value } = result);
+    }
+    bindLocalDeclarator(declarator, localValues, {
+        environments: context.environments,
+        evaluatedValue: value,
+        helperScopes: context.helperScopes,
+        scopes: context.scopes,
+    });
+    return NORMAL_EVALUATION;
+};
+const visitKnownBranch = (visitor, context, known) => {
+    let key = 'alternate';
+    if (known) {
+        key = 'consequent';
+    }
+    const selected = childNode(context.node, key);
+    if (!selected) {
+        return NORMAL_EVALUATION;
+    }
+    return visitStatement(visitor, { ...context, node: selected });
+};
+const visitBranch = (visitor, context, branch) => {
+    if (!branch) {
+        return NORMAL_EVALUATION;
+    }
+    return visitStatement(visitor, { ...context, node: branch });
+};
+const visitUnknownBranches = (visitor, context) => {
+    const baseline = snapshotPromiseEnvironments(context.environments);
+    const consequent = visitBranch(visitor, context, childNode(context.node, 'consequent'));
+    const consequentValues = snapshotPromiseEnvironments(context.environments);
+    restorePromiseEnvironments(context.environments, baseline);
+    const alternateNode = childNode(context.node, 'alternate');
+    const alternate = visitBranch(visitor, context, alternateNode);
+    const alternateValues = snapshotPromiseEnvironments(context.environments);
+    mergeUnknownEnvironments(context.environments, baseline, consequentValues, alternateValues, Boolean(alternateNode));
+    return joinPromiseEvaluations(consequent, alternate);
+};
+const mergeUnknownEnvironments = (environments, baseline, consequent, alternate, hasAlternate) => {
+    if (hasAlternate) {
+        joinPromiseEnvironments(environments, consequent, alternate);
+    }
+    else {
+        restorePromiseEnvironments(environments, baseline);
+    }
+};
+const structuralStatementFlow = (visitor, context) => {
+    switch (context.node.type) {
+        case 'ReturnStatement': {
+            return visitReturn(visitor, context);
+        }
+        case 'ThrowStatement': {
+            return visitThrow(visitor, context);
+        }
+        case 'IfStatement': {
+            return visitPromiseIf(visitor, context);
+        }
+        case 'BlockStatement': {
+            return visitNestedBlock(visitor, context);
+        }
+        case 'VariableDeclaration': {
+            return visitVariableDeclaration(visitor, context);
+        }
+        default: {
+            return undefined;
+        }
+    }
+};
+const visitStatement = (visitor, context) => {
+    const structural = structuralStatementFlow(visitor, context);
+    if (structural) {
+        return structural;
+    }
+    return visitor.visit(context.node, context.scopes, context.helperScopes, context.environments);
+};
+/**
+ * Execute one block in source order until it exits or reaches a boundary.
+ *
+ * @internal
+ */
+export const visitPromiseBlock = (visitor, input) => {
+    const context = blockContext(input.helperScopes, input.inheritedHelperScopes, input.environments);
+    for (const statement of childNodes(input.node, 'body')) {
+        const result = visitStatement(visitor, {
+            environments: context.environments,
+            helperScopes: context.helperScopes,
+            localValues: context.values,
+            node: statement,
+            scopes: input.scopes,
+        });
+        if (result.completion !== COMPLETION_NORMAL) {
+            return result;
+        }
+    }
+    return NORMAL_EVALUATION;
+};
+/**
+ * Execute a provably selected branch or conservatively visit both branches.
+ *
+ * @internal
+ */
+export const visitPromiseIf = (visitor, input) => {
+    const test = childNode(input.node, 'test');
+    let testResult = NORMAL_EVALUATION;
+    if (test) {
+        testResult = visitor.visit(test, input.scopes, input.helperScopes, input.environments);
+        if (testResult.completion !== COMPLETION_NORMAL) {
+            return testResult;
+        }
+    }
+    const known = knownArgumentBooleanValue(testResult.value, input.scopes);
+    if (known !== undefined) {
+        return visitKnownBranch(visitor, input, known);
+    }
+    return visitUnknownBranches(visitor, input);
+};
+//# sourceMappingURL=effect-promise-execution-flow.js.map

package/dist/rules/effect-promise-execution-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-flow.js","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-flow.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,EAC1B,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAMrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAqDtE,MAAM,YAAY,GAAG,CACnB,YAA0B,EAC1B,gBAA8B,EAC9B,YAAmC,EACrB,EAAE;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,IAAI,YAAY,GAAG,YAAY,CAAC;IAChC,IAAI,MAAM,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,YAAY,GAAG,CAAC,GAAG,YAAY,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChE,YAAY;QACZ,MAAM;KACP,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAA2B,EAAE,OAAyB,EAAqB,EAAE;IAChG,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,gBAAgB,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAC1B,QAAQ,EACR,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,YAAY,CACrB,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,OAA2B,EAAE,OAAyB,EAAqB,EAAE;IAC/F,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAC1B,QAAQ,EACR,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,YAAY,CACrB,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAA2B,EAC3B,OAAyB,EACN,EAAE;IACrB,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/F,OAAO,iBAAiB,CAAC,OAAO,EAAE;QAChC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,YAAY,EAAE,YAAY;QAC1B,qBAAqB,EAAE,OAAO,CAAC,YAAY;QAC3C,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,OAA2B,EAC3B,OAAyB,EACN,EAAE;IACrB,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;IAChC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAC/E,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAA2B,EAC3B,OAAyB,EACzB,WAAuC,EACvC,UAAmB,EACA,EAAE;IACrB,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,KAAK,GAAkB,SAAS,CAAC;IACrC,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAC1B,WAAW,EACX,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,YAAY,CACrB,CAAC;QACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,mBAAmB,CAAC,UAAU,EAAE,WAAW,EAAE;QAC3C,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,cAAc,EAAE,KAAK;QACrB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAA2B,EAC3B,OAAyB,EACzB,KAAc,EACK,EAAE;IACrB,IAAI,GAAG,GAAG,WAAW,CAAC;IACtB,IAAI,KAAK,EAAE,CAAC;QACV,GAAG,GAAG,YAAY,CAAC;IACrB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,OAA2B,EAC3B,OAAyB,EACzB,MAA2B,EACR,EAAE;IACrB,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAA2B,EAC3B,OAAyB,EACN,EAAE;IACrB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IACxF,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3E,0BAA0B,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC/D,MAAM,eAAe,GAAG,2BAA2B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1E,wBAAwB,CACtB,OAAO,CAAC,YAAY,EACpB,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,OAAO,CAAC,aAAa,CAAC,CACvB,CAAC;IACF,OAAO,sBAAsB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,YAAmC,EACnC,QAAwD,EACxD,UAA0D,EAC1D,SAAyD,EACzD,YAAqB,EACf,EAAE;IACR,IAAI,YAAY,EAAE,CAAC;QACjB,uBAAuB,CAAC,YAAY,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,0BAA0B,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,OAA2B,EAC3B,OAAyB,EACM,EAAE;IACjC,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,OAAO,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,OAAO,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,OAAO,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAA2B,EAC3B,OAAyB,EACN,EAAE;IACrB,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;AACjG,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAA2B,EAC3B,KAA4B,EACT,EAAE;IACrB,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAClG,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE;YACrC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,MAAM;YAC3B,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAA2B,EAC3B,KAAuB,EACJ,EAAE;IACrB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,UAAU,GAAG,iBAAiB,CAAC;IACnC,IAAI,IAAI,EAAE,CAAC;QACT,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QACvF,IAAI,UAAU,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAChD,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC"}

package/dist/rules/effect-promise-execution-navigation.d.ts

@@ -0,0 +1,34 @@
+import type { ASTNode } from './effect-ast';
+import type { PromiseExecutionState } from './effect-promise-execution-types';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Generator execution decision for an invoked function.
+ *
+ * @internal
+ */
+export declare const generatorExecution: (node: ASTNode, shouldExecute: boolean) => number;
+/**
+ * Read the traversal scopes visible at a node.
+ *
+ * @internal
+ */
+export declare const nodeScopesFor: (state: PromiseExecutionState, node: ASTNode, scopes: ScopeStack) => ScopeStack;
+/**
+ * Read the traversal scopes visible through one child edge.
+ *
+ * @internal
+ */
+export declare const childScopesFor: (state: PromiseExecutionState, nodeScopes: ScopeStack, node: ASTNode, key: string) => ScopeStack;
+/**
+ * Read parser visitor keys with a reflected fallback.
+ *
+ * @internal
+ */
+export declare const childKeysFor: (state: PromiseExecutionState, node: ASTNode) => readonly string[];
+/**
+ * Read the scopes visible in an invoked function body.
+ *
+ * @internal
+ */
+export declare const bodyScopesFor: (state: PromiseExecutionState, functionScopes: ScopeStack, node: ASTNode) => ScopeStack;
+//# sourceMappingURL=effect-promise-execution-navigation.d.ts.map

package/dist/rules/effect-promise-execution-navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-execution-navigation.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-execution-navigation.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,OAAO,EAAE,eAAe,OAAO,KAAG,MAW1E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,OAAO,qBAAqB,EAC5B,MAAM,OAAO,EACb,QAAQ,UAAU,KACjB,UAKF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,qBAAqB,EAC5B,YAAY,UAAU,EACtB,MAAM,OAAO,EACb,KAAK,MAAM,KACV,UAKF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,qBAAqB,EAAE,MAAM,OAAO,KAAG,SAAS,MAAM,EAKzF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,OAAO,qBAAqB,EAC5B,gBAAgB,UAAU,EAC1B,MAAM,OAAO,KACZ,UAKF,CAAC"}