@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-invocations.d.ts

@@ -0,0 +1,16 @@
+import type { HelperScopes, Invocation, InvocationArguments } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Flatten statically known call arguments until cardinality becomes unknown.
+ *
+ * @internal
+ */
+export declare const invocationArguments: (call: ASTNode, start?: number) => InvocationArguments;
+/**
+ * Resolve direct, call/apply, and immediately invoked bound functions.
+ *
+ * @internal
+ */
+export declare const invocationFor: (call: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes) => Invocation | undefined;
+//# sourceMappingURL=effect-promise-invocations.d.ts.map

package/dist/rules/effect-promise-invocations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-invocations.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-invocations.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAEV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAgCrD;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,OAAO,EAAE,cAAS,KAAG,mBAS9D,CAAC;AA4FF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,OAAO,EACb,QAAQ,UAAU,EAClB,cAAc,YAAY,KACzB,UAAU,GAAG,SAWf,CAAC"}

package/dist/rules/effect-promise-invocations.js

@@ -0,0 +1,126 @@
+/* -------------------------------------------------------------------------- */
+/*             Invocation shapes for Promise execution traversal.             */
+/* -------------------------------------------------------------------------- */
+import { callableBinding, memberPropertyName } from './effect-promise-callable-lookup.js';
+import { childNode } from './effect-ast.js';
+import { rawPromiseNodes } from './effect-promise-ast-values.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const appendArrayElement = (values, element) => {
+    if (element?.type !== 'SpreadElement') {
+        values.push(element);
+        return true;
+    }
+    const spread = unwrappedExpression(childNode(element, 'argument'));
+    if (spread?.type !== 'ArrayExpression') {
+        return false;
+    }
+    const nested = flattenArray(spread);
+    values.push(...nested.values);
+    return nested.isExact;
+};
+const flattenArray = (array) => {
+    const values = [];
+    for (const element of rawPromiseNodes(array, 'elements')) {
+        if (!appendArrayElement(values, element)) {
+            return { isExact: false, values };
+        }
+    }
+    return { isExact: true, values };
+};
+/**
+ * Flatten statically known call arguments until cardinality becomes unknown.
+ *
+ * @internal
+ */
+export const invocationArguments = (call, start = 0) => {
+    const values = [];
+    const callArguments = rawPromiseNodes(call, 'arguments');
+    for (let index = start; index < callArguments.length; index += 1) {
+        if (!appendArrayElement(values, callArguments[index])) {
+            return { isExact: false, values };
+        }
+    }
+    return { isExact: true, values };
+};
+const applyArguments = (call) => {
+    const [, argumentArray] = rawPromiseNodes(call, 'arguments');
+    if (argumentArray?.type === 'ArrayExpression') {
+        return flattenArray(argumentArray);
+    }
+    return { isExact: false, values: [] };
+};
+const boundInvocation = (call, scopes, helperScopes) => {
+    const callee = unwrappedExpression(childNode(call, 'callee'));
+    if (!callee || memberPropertyName(callee) !== 'bind') {
+        return undefined;
+    }
+    const binding = callableBinding(childNode(callee, 'object'), scopes, helperScopes);
+    if (binding) {
+        return { arguments: invocationArguments(call, 1), binding };
+    }
+    return undefined;
+};
+const combineBoundInvocation = (bound, outer) => {
+    if (!bound.arguments.isExact) {
+        return bound;
+    }
+    return {
+        arguments: {
+            isExact: outer.isExact,
+            values: [...bound.arguments.values, ...outer.values],
+        },
+        binding: bound.binding,
+    };
+};
+const immediatelyBoundInvocation = (callee, call, scopes, helperScopes) => {
+    if (callee.type !== 'CallExpression') {
+        return undefined;
+    }
+    const bound = boundInvocation(callee, scopes, helperScopes);
+    if (bound) {
+        return combineBoundInvocation(bound, invocationArguments(call));
+    }
+    return undefined;
+};
+const methodArguments = (methodName, call) => {
+    if (methodName === 'apply') {
+        return applyArguments(call);
+    }
+    return invocationArguments(call, 1);
+};
+const methodInvocation = (callee, call, scopes, helperScopes) => {
+    const methodName = memberPropertyName(callee);
+    if (methodName !== 'call' && methodName !== 'apply') {
+        return undefined;
+    }
+    const binding = callableBinding(childNode(callee, 'object'), scopes, helperScopes);
+    if (binding) {
+        return { arguments: methodArguments(methodName, call), binding };
+    }
+    return undefined;
+};
+const directInvocation = (callee, call, scopes, helperScopes) => {
+    const binding = callableBinding(callee, scopes, helperScopes);
+    if (binding) {
+        return { arguments: invocationArguments(call), binding };
+    }
+    return undefined;
+};
+/**
+ * Resolve direct, call/apply, and immediately invoked bound functions.
+ *
+ * @internal
+ */
+export const invocationFor = (call, scopes, helperScopes) => {
+    const callee = unwrappedExpression(childNode(call, 'callee'));
+    const direct = directInvocation(callee, call, scopes, helperScopes);
+    if (direct || !callee) {
+        return direct;
+    }
+    const bound = immediatelyBoundInvocation(callee, call, scopes, helperScopes);
+    if (bound) {
+        return bound;
+    }
+    return methodInvocation(callee, call, scopes, helperScopes);
+};
+//# sourceMappingURL=effect-promise-invocations.js.map

package/dist/rules/effect-promise-invocations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-invocations.js","sourceRoot":"","sources":["../../src/rules/effect-promise-invocations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAQhF,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAGvF,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,kBAAkB,GAAG,CACzB,MAA+B,EAC/B,OAA4B,EACnB,EAAE;IACX,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACnE,IAAI,MAAM,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,KAAc,EAAuB,EAAE;IAC3D,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACzC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAE,KAAK,GAAG,CAAC,EAAuB,EAAE;IACnF,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC5D,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7D,IAAI,aAAa,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAa,EACb,MAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACnF,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,SAAS,EAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAAiB,EAAE,KAA0B,EAAc,EAAE;IAC3F,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,SAAS,EAAE;YACT,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;SACrD;QACD,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,MAAe,EACf,IAAa,EACb,MAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5D,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,UAAkB,EAAE,IAAa,EAAuB,EAAE;IACjF,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,MAAe,EACf,IAAa,EACb,MAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACnF,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,MAA2B,EAC3B,IAAa,EACb,MAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,MAAM,OAAO,GAAgC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC3F,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,SAAS,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,YAA0B,EACF,EAAE;IAC1B,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACpE,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,0BAA0B,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7E,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;AAC9D,CAAC,CAAC"}

package/dist/rules/effect-promise-node-children.d.ts

@@ -0,0 +1,22 @@
+import type { ASTNode } from './effect-ast';
+import type { HelperScopes } from './effect-promise-callable-types';
+import type { ParameterEnvironments } from './effect-promise-environment-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 required to visit evaluated child nodes.
+ *
+ * @internal
+ */
+export interface PromiseChildEvaluator {
+    readonly state: PromiseExecutionState;
+    visit: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+}
+/**
+ * Visit syntactic children left-to-right until one completion stops evaluation.
+ *
+ * @internal
+ */
+export declare const visitPromiseChildren: (evaluator: PromiseChildEvaluator, node: ASTNode, nodeScopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+//# sourceMappingURL=effect-promise-node-children.d.ts.map

package/dist/rules/effect-promise-node-children.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-node-children.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-node-children.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAChF,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;AAGrD;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,KAAK,EAAE,CACL,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,qBAAqB,KAChC,iBAAiB,CAAC;CACxB;AA8CD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,WAAW,qBAAqB,EAChC,MAAM,OAAO,EACb,YAAY,UAAU,EACtB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,iBAWF,CAAC"}

package/dist/rules/effect-promise-node-children.js

@@ -0,0 +1,49 @@
+/* -------------------------------------------------------------------------- */
+/*         Ordered child traversal for Promise execution evaluation.          */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_NORMAL, NORMAL_EVALUATION } from './effect-promise-completion.js';
+import { childKeysFor, childScopesFor } from './effect-promise-execution-navigation.js';
+import { asNode } from './effect-ast.js';
+const visitChildArray = (evaluator, values, scopes, helperScopes, environments) => {
+    for (const value of values) {
+        const child = asNode(value);
+        if (child) {
+            const result = evaluator.visit(child, scopes, helperScopes, environments);
+            if (result.completion !== COMPLETION_NORMAL) {
+                return result;
+            }
+        }
+    }
+    return NORMAL_EVALUATION;
+};
+const visitChildValue = (evaluator, node, key, context) => {
+    const scopes = childScopesFor(evaluator.state, context.nodeScopes, node, key);
+    const value = Reflect.get(node, key);
+    if (Array.isArray(value)) {
+        const values = value;
+        return visitChildArray(evaluator, values, scopes, context.helperScopes, context.environments);
+    }
+    const child = asNode(value);
+    if (child) {
+        return evaluator.visit(child, scopes, context.helperScopes, context.environments);
+    }
+    return NORMAL_EVALUATION;
+};
+/**
+ * Visit syntactic children left-to-right until one completion stops evaluation.
+ *
+ * @internal
+ */
+export const visitPromiseChildren = (evaluator, node, nodeScopes, helperScopes, environments) => {
+    const context = { environments, helperScopes, nodeScopes };
+    for (const key of childKeysFor(evaluator.state, node)) {
+        if (key !== 'parent') {
+            const result = visitChildValue(evaluator, node, key, context);
+            if (result.completion !== COMPLETION_NORMAL) {
+                return result;
+            }
+        }
+    }
+    return NORMAL_EVALUATION;
+};
+//# sourceMappingURL=effect-promise-node-children.js.map

package/dist/rules/effect-promise-node-children.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-node-children.js","sourceRoot":"","sources":["../../src/rules/effect-promise-node-children.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAOrF,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAuBtC,MAAM,eAAe,GAAG,CACtB,SAAgC,EAChC,MAA0B,EAC1B,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;YAC1E,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,SAAgC,EAChC,IAAa,EACb,GAAW,EACX,OAA8B,EACX,EAAE;IACrB,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,GAAuB,KAAK,CAAC;QACzC,OAAO,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,SAAgC,EAChC,IAAa,EACb,UAAsB,EACtB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,MAAM,OAAO,GAAG,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC"}

package/dist/rules/effect-promise-node-evaluation.d.ts

@@ -0,0 +1,43 @@
+import type { ArgumentValue, ExecutionArguments, ParameterEnvironments } from './effect-promise-environment-types';
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { PromiseEvaluation } from './effect-promise-completion';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Engine capabilities required by ordered expression evaluation.
+ *
+ * @internal
+ */
+export interface PromiseNodeEvaluator {
+    execute: (binding: FunctionBinding, argumentsList: ExecutionArguments, environments: ParameterEnvironments) => PromiseEvaluation;
+    visit: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+}
+/**
+ * Exact evaluated operands for one CallExpression.
+ *
+ * @internal
+ */
+export interface PromiseCallOperands {
+    argumentsList: ExecutionArguments;
+    calleeValue: ArgumentValue;
+    result: PromiseEvaluation;
+}
+/**
+ * Evaluate and apply one simple assignment in JavaScript order.
+ *
+ * @internal
+ */
+export declare const evaluatePromiseAssignment: (evaluator: PromiseNodeEvaluator, assignment: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+/**
+ * Evaluate a member base, computed key, and live getter in source order.
+ *
+ * @internal
+ */
+export declare const evaluatePromiseMember: (evaluator: PromiseNodeEvaluator, member: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseEvaluation;
+/**
+ * Evaluate a callee and every argument left-to-right before invocation.
+ *
+ * @internal
+ */
+export declare const evaluatePromiseCallOperands: (evaluator: PromiseNodeEvaluator, call: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes, environments: ParameterEnvironments) => PromiseCallOperands;
+//# sourceMappingURL=effect-promise-node-evaluation.d.ts.map

package/dist/rules/effect-promise-node-evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-node-evaluation.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-node-evaluation.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,oCAAoC,CAAC;AAM5C,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAKrD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,CACP,OAAO,EAAE,eAAe,EACxB,aAAa,EAAE,kBAAkB,EACjC,YAAY,EAAE,qBAAqB,KAChC,iBAAiB,CAAC;IACvB,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,mBAAmB;IAClC,aAAa,EAAE,kBAAkB,CAAC;IAClC,WAAW,EAAE,aAAa,CAAC;IAC3B,MAAM,EAAE,iBAAiB,CAAC;CAC3B;AAaD;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,oBAAoB,EAC/B,YAAY,OAAO,EACnB,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,iBAcF,CAAC;AAmBF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,WAAW,oBAAoB,EAC/B,QAAQ,OAAO,EACf,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,iBAoBF,CAAC;AA+GF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,WAAW,oBAAoB,EAC/B,MAAM,OAAO,EACb,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,cAAc,qBAAqB,KAClC,mBAiBF,CAAC"}

package/dist/rules/effect-promise-node-evaluation.js

@@ -0,0 +1,150 @@
+/* -------------------------------------------------------------------------- */
+/*       Ordered expression evaluation for Promise execution analysis.        */
+/* -------------------------------------------------------------------------- */
+import { COMPLETION_NORMAL, NORMAL_EVALUATION, normalEvaluation, } from './effect-promise-completion.js';
+import { arrayValues, objectPropertyRead } from './effect-promise-environment-projections.js';
+import { assignArgument, concreteArgument } from './effect-promise-environment-values.js';
+import { childNode, identifierName } from './effect-ast.js';
+import { memberPropertyName } from './effect-promise-callables.js';
+import { rawPromiseNodes } from './effect-promise-ast-values.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+/**
+ * Evaluate and apply one simple assignment in JavaScript order.
+ *
+ * @internal
+ */
+export const evaluatePromiseAssignment = (evaluator, assignment, scopes, helperScopes, environments) => {
+    const right = childNode(assignment, 'right');
+    if (!right) {
+        return NORMAL_EVALUATION;
+    }
+    const result = evaluator.visit(right, scopes, helperScopes, environments);
+    if (result.completion !== COMPLETION_NORMAL) {
+        return result;
+    }
+    const name = identifierName(childNode(assignment, 'left'));
+    if (name && Reflect.get(assignment, 'operator') === '=') {
+        assignArgument(name, result.value, helperScopes, environments);
+    }
+    return result;
+};
+const evaluateComputedProperty = (evaluator, member, scopes, helperScopes, environments) => {
+    if (Reflect.get(member, 'computed') !== true) {
+        return NORMAL_EVALUATION;
+    }
+    const property = childNode(member, 'property');
+    if (!property) {
+        return NORMAL_EVALUATION;
+    }
+    return evaluator.visit(property, scopes, helperScopes, environments);
+};
+/**
+ * Evaluate a member base, computed key, and live getter in source order.
+ *
+ * @internal
+ */
+export const evaluatePromiseMember = (evaluator, member, scopes, helperScopes, environments) => {
+    const object = childNode(member, 'object');
+    if (!object) {
+        return NORMAL_EVALUATION;
+    }
+    const objectResult = evaluator.visit(object, scopes, helperScopes, environments);
+    if (objectResult.completion !== COMPLETION_NORMAL) {
+        return objectResult;
+    }
+    const propertyResult = evaluateComputedProperty(evaluator, member, scopes, helperScopes, environments);
+    if (propertyResult.completion !== COMPLETION_NORMAL) {
+        return propertyResult;
+    }
+    return evaluateNamedMemberRead(evaluator, member, objectResult.value);
+};
+const evaluateNamedMemberRead = (evaluator, member, object) => {
+    const propertyName = memberPropertyName(member);
+    if (!propertyName) {
+        return normalEvaluation(unknownArgument);
+    }
+    return evaluateMemberRead(evaluator, object, propertyName);
+};
+const evaluateMemberRead = (evaluator, object, propertyName) => {
+    const read = objectPropertyRead(object, propertyName);
+    if (!read.getter) {
+        return normalEvaluation(read.value);
+    }
+    const getter = evaluator.execute(read.getter.binding, { isExact: true, values: [] }, read.getter.environments);
+    if (getter.completion !== COMPLETION_NORMAL) {
+        return getter;
+    }
+    return normalEvaluation(getter.value ?? read.value);
+};
+const failedCallOperands = (result) => ({
+    argumentsList: { isExact: false, values: [] },
+    calleeValue: undefined,
+    result,
+});
+const evaluateCallee = (evaluator, call, scopes, helperScopes, environments) => {
+    const callee = childNode(call, 'callee');
+    if (!callee) {
+        return NORMAL_EVALUATION;
+    }
+    return evaluator.visit(callee, scopes, helperScopes, environments);
+};
+const evaluateArguments = (evaluator, call, scopes, helperScopes, environments) => {
+    const values = [];
+    let isExact = true;
+    for (const argument of rawPromiseNodes(call, 'arguments')) {
+        if (argument) {
+            const { expanded, result } = evaluateArgument(evaluator, argument, scopes, helperScopes, environments);
+            if (result.completion !== COMPLETION_NORMAL) {
+                return { isExact: false, result, values };
+            }
+            values.push(...expanded.values);
+            isExact &&= expanded.isExact;
+        }
+    }
+    return { isExact, result: NORMAL_EVALUATION, values };
+};
+const evaluateArgument = (evaluator, argument, scopes, helperScopes, environments) => {
+    let evaluatedNode = argument;
+    if (argument.type === 'SpreadElement') {
+        evaluatedNode = childNode(argument, 'argument');
+    }
+    if (!evaluatedNode) {
+        return { expanded: { isExact: true, values: [] }, result: NORMAL_EVALUATION };
+    }
+    const result = evaluator.visit(evaluatedNode, scopes, helperScopes, environments);
+    return { expanded: expandedArgument(argument, result.value), result };
+};
+const expandedArgument = (argument, value) => {
+    if (argument.type !== 'SpreadElement') {
+        return { isExact: true, values: [value] };
+    }
+    const array = concreteArgument(value);
+    if (array?.node.type === 'ArrayExpression') {
+        return arrayValues(array);
+    }
+    return { isExact: false, values: [] };
+};
+/**
+ * Evaluate a callee and every argument left-to-right before invocation.
+ *
+ * @internal
+ */
+export const evaluatePromiseCallOperands = (evaluator, call, scopes, helperScopes, environments) => {
+    const callee = evaluateCallee(evaluator, call, scopes, helperScopes, environments);
+    if (callee.completion !== COMPLETION_NORMAL) {
+        return failedCallOperands(callee);
+    }
+    const argumentsResult = evaluateArguments(evaluator, call, scopes, helperScopes, environments);
+    if (argumentsResult.result.completion !== COMPLETION_NORMAL) {
+        return failedCallOperands(argumentsResult.result);
+    }
+    return {
+        argumentsList: {
+            isExact: argumentsResult.isExact,
+            values: argumentsResult.values,
+        },
+        calleeValue: callee.value,
+        result: NORMAL_EVALUATION,
+    };
+};
+//# sourceMappingURL=effect-promise-node-evaluation.js.map

package/dist/rules/effect-promise-node-evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-node-evaluation.js","sourceRoot":"","sources":["../../src/rules/effect-promise-node-evaluation.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAOhF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAIzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AA2CrE;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAA+B,EAC/B,UAAmB,EACnB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QACxD,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,SAA+B,EAC/B,MAAe,EACf,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7C,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,SAA+B,EAC/B,MAAe,EACf,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACjF,IAAI,YAAY,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAClD,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,cAAc,GAAG,wBAAwB,CAC7C,SAAS,EACT,MAAM,EACN,MAAM,EACN,YAAY,EACZ,YAAY,CACb,CAAC;IACF,IAAI,cAAc,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QACpD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,SAA+B,EAC/B,MAAe,EACf,MAAqB,EACF,EAAE;IACrB,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,SAA+B,EAC/B,MAAqB,EACrB,YAAoB,EACD,EAAE;IACrB,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAC9B,IAAI,CAAC,MAAM,CAAC,OAAO,EACnB,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAC7B,IAAI,CAAC,MAAM,CAAC,YAAY,CACzB,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAyB,EAAuB,EAAE,CAAC,CAAC;IAC9E,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;IAC7C,WAAW,EAAE,SAAS;IACtB,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,SAA+B,EAC/B,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,SAA+B,EAC/B,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACf,EAAE;IACtB,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QAC1D,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,gBAAgB,CAC3C,SAAS,EACT,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,YAAY,CACb,CAAC;YACF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YAC5C,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,SAA+B,EAC/B,QAAiB,EACjB,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EAChB,EAAE;IACrB,IAAI,aAAa,GAAwB,QAAQ,CAAC;IAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,aAAa,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,EAAE,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,QAAiB,EAAE,KAAoB,EAAsB,EAAE;IACvF,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAA+B,EAC/B,IAAa,EACb,MAAkB,EAClB,YAA0B,EAC1B,YAAmC,EACd,EAAE;IACvB,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACnF,IAAI,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5C,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,eAAe,GAAG,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAC/F,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;QAC5D,OAAO,kBAAkB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,OAAO;QACL,aAAa,EAAE;YACb,OAAO,EAAE,eAAe,CAAC,OAAO;YAChC,MAAM,EAAE,eAAe,CAAC,MAAM;SAC/B;QACD,WAAW,EAAE,MAAM,CAAC,KAAK;QACzB,MAAM,EAAE,iBAAiB;KAC1B,CAAC;AACJ,CAAC,CAAC"}

package/dist/rules/effect-promise-parameter-bindings.d.ts

@@ -0,0 +1,28 @@
+import type { ArgumentValue, ExecutionArguments, ParameterEnvironments, PreparedParameters } from './effect-promise-environment-types';
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Inputs used to record one evaluated local declaration.
+ *
+ * @internal
+ */
+export interface LocalDeclaratorContext {
+    environments: ParameterEnvironments;
+    evaluatedValue?: ArgumentValue;
+    helperScopes: HelperScopes;
+    scopes: ScopeStack;
+}
+/**
+ * Record one evaluated local declarator in a block-local value environment.
+ *
+ * @internal
+ */
+export declare const bindLocalDeclarator: (declarator: ASTNode, environment: Map<string, ArgumentValue>, context: LocalDeclaratorContext) => void;
+/**
+ * Build invocation-local values and callable bindings for one function call.
+ *
+ * @internal
+ */
+export declare const prepareParameters: (binding: FunctionBinding, argumentsList: ExecutionArguments, functionScopes: ScopeStack, inheritedEnvironments: ParameterEnvironments) => PreparedParameters;
+//# sourceMappingURL=effect-promise-parameter-bindings.d.ts.map

package/dist/rules/effect-promise-parameter-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-parameter-bindings.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-parameter-bindings.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAElB,qBAAqB,EACrB,kBAAkB,EACnB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAWrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AA4GrD;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,qBAAqB,CAAC;IACpC,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,YAAY,EAAE,YAAY,CAAC;IAC3B,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,YAAY,OAAO,EACnB,aAAa,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACvC,SAAS,sBAAsB,KAC9B,IAcF,CAAC;AA2GF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,eAAe,EACxB,eAAe,kBAAkB,EACjC,gBAAgB,UAAU,EAC1B,uBAAuB,qBAAqB,KAC3C,kBAUF,CAAC"}