@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-promise-callable-declarations.js

@@ -0,0 +1,255 @@
+/* -------------------------------------------------------------------------- */
+/*            Callable declarations and aliases in lexical scopes.            */
+/* -------------------------------------------------------------------------- */
+import { bindingForFunction, copyObjectMembers, memberBindingKey, resolvedHelper, } from './effect-promise-callable-lookup.js';
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { lexicalValueAvailableAfter, registerLexicalValue, registerLexicalValueWrite, } from './effect-promise-value-scopes.js';
+import { addPatternNames } from './effect-promise-pattern-bindings.js';
+import { declaredPromisePropertyName } from './effect-promise-ast-values.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const isCallableFunction = (node) => node?.type === 'ArrowFunctionExpression' ||
+    node?.type === 'FunctionDeclaration' ||
+    node?.type === 'FunctionExpression';
+const objectPropertyBinding = (property, scopes, helperScopes) => {
+    const value = unwrappedExpression(childNode(property, 'value'));
+    if (value && isCallableFunction(value)) {
+        return bindingForFunction(value, scopes, helperScopes);
+    }
+    return resolvedHelper(value, helperScopes);
+};
+const addObjectProperty = (bindings, objectName, property, scopes, helperScopes) => {
+    if (property.type !== 'Property') {
+        return;
+    }
+    const propertyName = declaredPromisePropertyName(property);
+    if (propertyName) {
+        bindings.set(memberBindingKey(objectName, propertyName), objectPropertyBinding(property, scopes, helperScopes));
+    }
+};
+const addObjectMethods = (bindings, objectName, object, scopes, helperScopes) => {
+    for (const property of childNodes(object, 'properties')) {
+        addObjectProperty(bindings, objectName, property, scopes, helperScopes);
+    }
+};
+const addStaticClassMethod = (bindings, className, method, scopes, helperScopes) => {
+    if (Reflect.get(method, 'static') !== true) {
+        return;
+    }
+    const methodName = declaredPromisePropertyName(method);
+    const value = unwrappedExpression(childNode(method, 'value'));
+    if (methodName && value && isCallableFunction(value)) {
+        bindings.set(memberBindingKey(className, methodName), bindingForFunction(value, scopes, helperScopes));
+    }
+};
+const addClassMethods = (bindings, declaration, scopes, helperScopes) => {
+    const className = identifierName(childNode(declaration, 'id'));
+    if (!className) {
+        return;
+    }
+    bindings.set(className, undefined);
+    const body = childNode(declaration, 'body');
+    if (!body) {
+        return;
+    }
+    for (const method of childNodes(body, 'body')) {
+        addStaticClassMethod(bindings, className, method, scopes, helperScopes);
+    }
+};
+const primaryVariableBinding = (declarator, declarationKind, context) => {
+    const pattern = childNode(declarator, 'id');
+    const name = identifierName(pattern);
+    if (!name) {
+        addPatternNames(context.bindings, pattern);
+        return;
+    }
+    const initializer = unwrappedExpression(childNode(declarator, 'init'));
+    context.bindings.set(name, primaryInitializerBinding(name, initializer, {
+        allowEarlyReference: context.allowEarlyReference,
+        bindings: context.bindings,
+        declarationKind,
+        declarator,
+        helperScopes: context.helperScopes,
+        scopes: context.scopes,
+    }));
+};
+const isPromiseIdentityCall = (initializer) => {
+    if (initializer?.type !== 'CallExpression') {
+        return false;
+    }
+    const callee = unwrappedExpression(childNode(initializer, 'callee'));
+    return (callee?.type === 'MemberExpression' && identifierName(childNode(callee, 'object')) === 'Promise');
+};
+const shouldRegisterLexicalValue = (initializer) => !initializer ||
+    initializer.type === 'Identifier' ||
+    initializer.type === 'ObjectExpression' ||
+    (initializer.type === 'UnaryExpression' && Reflect.get(initializer, 'operator') === 'void') ||
+    isPromiseIdentityCall(initializer);
+const primaryInitializerBinding = (name, initializer, context) => {
+    if (initializer && isCallableFunction(initializer)) {
+        return bindingForFunction(initializer, context.scopes, context.helperScopes);
+    }
+    if (shouldRegisterLexicalValue(initializer)) {
+        registerLexicalValue(context.bindings, name, {
+            allowEarlyReference: context.allowEarlyReference,
+            availableAfter: lexicalValueAvailableAfter(context.declarator),
+            declarationKind: context.declarationKind,
+            helperScopes: context.helperScopes,
+            node: initializer,
+            scopes: context.scopes,
+        });
+    }
+    return undefined;
+};
+const addPrimaryVariableBindings = (declaration, context) => {
+    let declarationKind = 'lexical';
+    if (Reflect.get(declaration, 'kind') === 'var') {
+        declarationKind = 'var';
+    }
+    for (const declarator of childNodes(declaration, 'declarations')) {
+        primaryVariableBinding(declarator, declarationKind, context);
+    }
+};
+const addFunctionDeclaration = (bindings, statement, scopes, helperScopes) => {
+    const name = identifierName(childNode(statement, 'id'));
+    if (name) {
+        bindings.set(name, bindingForFunction(statement, scopes, helperScopes));
+    }
+};
+const addPrimaryStatementBindings = (statement, context) => {
+    if (statement.type === 'FunctionDeclaration') {
+        addFunctionDeclaration(context.bindings, statement, context.scopes, context.helperScopes);
+        return;
+    }
+    if (statement.type === 'VariableDeclaration') {
+        addPrimaryVariableBindings(statement, context);
+        return;
+    }
+    if (statement.type === 'ClassDeclaration') {
+        addClassMethods(context.bindings, statement, context.scopes, context.helperScopes);
+    }
+};
+const addLexicalWrite = (statement, context) => {
+    const expression = unwrappedExpression(childNode(statement, 'expression'));
+    if (expression?.type !== 'AssignmentExpression' || Reflect.get(expression, 'operator') !== '=') {
+        return;
+    }
+    const name = identifierName(childNode(expression, 'left'));
+    if (!name) {
+        return;
+    }
+    registerLexicalValueWrite(context.helperScopes, name, {
+        availableAfter: lexicalValueAvailableAfter(expression),
+        helperScopes: context.helperScopes,
+        node: unwrappedExpression(childNode(expression, 'right')),
+        scopes: context.scopes,
+    });
+};
+/**
+ * Add primary callable declarations before linking aliases.
+ *
+ * @internal
+ */
+export const addPrimaryBindings = (bindings, statements, scopes, helperScopes, allowEarlyReference = false) => {
+    const context = {
+        allowEarlyReference,
+        bindings,
+        helperScopes,
+        scopes,
+    };
+    for (const statement of statements) {
+        addPrimaryStatementBindings(statement, context);
+    }
+    for (const statement of statements) {
+        addLexicalWrite(statement, context);
+    }
+};
+const addVariableObjectMember = (bindings, declarator, scopes, helperScopes) => {
+    const objectName = identifierName(childNode(declarator, 'id'));
+    const initializer = unwrappedExpression(childNode(declarator, 'init'));
+    if (objectName && initializer?.type === 'ObjectExpression') {
+        addObjectMethods(bindings, objectName, initializer, scopes, helperScopes);
+    }
+};
+const addVariableObjectMembers = (bindings, declaration, scopes, helperScopes) => {
+    for (const declarator of childNodes(declaration, 'declarations')) {
+        addVariableObjectMember(bindings, declarator, scopes, helperScopes);
+    }
+};
+/**
+ * Link object-member declarations after primary declarations are known.
+ *
+ * @internal
+ */
+export const addObjectBindings = (bindings, statements, scopes, helperScopes) => {
+    for (const statement of statements) {
+        if (statement.type === 'VariableDeclaration') {
+            addVariableObjectMembers(bindings, statement, scopes, helperScopes);
+        }
+    }
+};
+const aliasedMemberBinding = (sourceName, propertyName, helperScopes) => resolvedHelper({
+    computed: false,
+    object: { name: sourceName, type: 'Identifier' },
+    property: { name: propertyName, type: 'Identifier' },
+    type: 'MemberExpression',
+}, helperScopes);
+const addDestructuredAlias = (bindings, property, sourceName, helperScopes) => {
+    if (property.type !== 'Property') {
+        return;
+    }
+    const propertyName = declaredPromisePropertyName(property);
+    const localName = identifierName(childNode(property, 'value'));
+    if (propertyName && localName) {
+        bindings.set(localName, aliasedMemberBinding(sourceName, propertyName, helperScopes));
+    }
+};
+const addDestructuredAliases = (bindings, pattern, initializer, helperScopes) => {
+    const sourceName = identifierName(initializer);
+    if (pattern.type !== 'ObjectPattern' || !sourceName) {
+        return;
+    }
+    for (const property of childNodes(pattern, 'properties')) {
+        addDestructuredAlias(bindings, property, sourceName, helperScopes);
+    }
+};
+const addNamedVariableAlias = (bindings, name, initializer, helperScopes) => {
+    const binding = resolvedHelper(initializer, helperScopes);
+    if (binding) {
+        bindings.set(name, binding);
+    }
+    const sourceName = identifierName(initializer);
+    if (sourceName) {
+        copyObjectMembers(bindings, name, sourceName);
+    }
+};
+const addVariableAlias = (bindings, declarator, helperScopes) => {
+    const pattern = childNode(declarator, 'id');
+    const initializer = unwrappedExpression(childNode(declarator, 'init'));
+    if (!pattern || !initializer || isCallableFunction(initializer)) {
+        return;
+    }
+    const name = identifierName(pattern);
+    if (name) {
+        addNamedVariableAlias(bindings, name, initializer, helperScopes);
+        return;
+    }
+    addDestructuredAliases(bindings, pattern, initializer, helperScopes);
+};
+const addDeclarationAliases = (bindings, declaration, helperScopes) => {
+    for (const declarator of childNodes(declaration, 'declarations')) {
+        addVariableAlias(bindings, declarator, helperScopes);
+    }
+};
+/**
+ * Link variable and destructured aliases after member declarations are known.
+ *
+ * @internal
+ */
+export const addVariableAliases = (bindings, statements, helperScopes) => {
+    for (const statement of statements) {
+        if (statement.type === 'VariableDeclaration') {
+            addDeclarationAliases(bindings, statement, helperScopes);
+        }
+    }
+};
+//# sourceMappingURL=effect-promise-callable-declarations.js.map

package/dist/rules/effect-promise-callable-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-declarations.js","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-declarations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,GACf,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,kBAAkB,GAAG,CAAC,IAAyB,EAAW,EAAE,CAChE,IAAI,EAAE,IAAI,KAAK,yBAAyB;IACxC,IAAI,EAAE,IAAI,KAAK,qBAAqB;IACpC,IAAI,EAAE,IAAI,KAAK,oBAAoB,CAAC;AAkBtC,MAAM,qBAAqB,GAAG,CAC5B,QAAiB,EACjB,MAAkB,EAClB,YAA0B,EACG,EAAE;IAC/B,MAAM,KAAK,GAAG,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,QAAkD,EAClD,UAAkB,EAClB,QAAiB,EACjB,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,YAAY,EAAE,CAAC;QACjB,QAAQ,CAAC,GAAG,CACV,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,EAC1C,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CACtD,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAkD,EAClD,UAAkB,EAClB,MAAe,EACf,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;QACxD,iBAAiB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,QAAkD,EAClD,SAAiB,EACjB,MAAe,EACf,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9D,IAAI,UAAU,IAAI,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,QAAQ,CAAC,GAAG,CACV,gBAAgB,CAAC,SAAS,EAAE,UAAU,CAAC,EACvC,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAChD,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,QAAkD,EAClD,WAAoB,EACpB,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9C,oBAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,UAAmB,EACnB,eAAkC,EAClC,OAA8B,EACxB,EAAE;IACR,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAClB,IAAI,EACJ,yBAAyB,CAAC,IAAI,EAAE,WAAW,EAAE;QAC3C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,eAAe;QACf,UAAU;QACV,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,WAAgC,EAAW,EAAE;IAC1E,IAAI,WAAW,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrE,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,KAAK,SAAS,CACjG,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,WAAgC,EAAW,EAAE,CAC/E,CAAC,WAAW;IACZ,WAAW,CAAC,IAAI,KAAK,YAAY;IACjC,WAAW,CAAC,IAAI,KAAK,kBAAkB;IACvC,CAAC,WAAW,CAAC,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,KAAK,MAAM,CAAC;IAC3F,qBAAqB,CAAC,WAAW,CAAC,CAAC;AAErC,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,WAAgC,EAChC,OAAkC,EACL,EAAE;IAC/B,IAAI,WAAW,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;QACnD,OAAO,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,0BAA0B,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,oBAAoB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE;YAC3C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;YAC9D,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,WAAoB,EAAE,OAA8B,EAAQ,EAAE;IAChG,IAAI,eAAe,GAAsB,SAAS,CAAC;IACnD,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/C,eAAe,GAAG,KAAK,CAAC;IAC1B,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,CAAC;QACjE,sBAAsB,CAAC,UAAU,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAkD,EAClD,SAAkB,EAClB,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,SAAkB,EAAE,OAA8B,EAAQ,EAAE;IAC/F,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,sBAAsB,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QAC1F,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,0BAA0B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACrF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,SAAkB,EAAE,OAA8B,EAAQ,EAAE;IACnF,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3E,IAAI,UAAU,EAAE,IAAI,KAAK,sBAAsB,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAC/F,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,yBAAyB,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE;QACpD,cAAc,EAAE,0BAA0B,CAAC,UAAU,CAAC;QACtD,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,IAAI,EAAE,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAkD,EAClD,UAA8B,EAC9B,MAAkB,EAClB,YAA0B,EAC1B,mBAAmB,GAAG,KAAK,EACrB,EAAE;IACR,MAAM,OAAO,GAAG;QACd,mBAAmB;QACnB,QAAQ;QACR,YAAY;QACZ,MAAM;KACP,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,QAAkD,EAClD,UAAmB,EACnB,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,UAAU,IAAI,WAAW,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC3D,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,QAAkD,EAClD,WAAoB,EACpB,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,CAAC;QACjE,uBAAuB,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACtE,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAkD,EAClD,UAA8B,EAC9B,MAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,wBAAwB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,UAAkB,EAClB,YAAoB,EACpB,YAA0B,EACG,EAAE,CAC/B,cAAc,CACZ;IACE,QAAQ,EAAE,KAAK;IACf,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;IAChD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE;IACpD,IAAI,EAAE,kBAAkB;CACd,EACZ,YAAY,CACb,CAAC;AAEJ,MAAM,oBAAoB,GAAG,CAC3B,QAAkD,EAClD,QAAiB,EACjB,UAAkB,EAClB,YAA0B,EACpB,EAAE;IACR,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,oBAAoB,CAAC,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IACxF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAkD,EAClD,OAAgB,EAChB,WAAoB,EACpB,YAA0B,EACpB,EAAE;IACR,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO;IACT,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAkD,EAClD,IAAY,EACZ,WAAoB,EACpB,YAA0B,EACpB,EAAE;IACR,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IAC1D,IAAI,OAAO,EAAE,CAAC;QACZ,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,UAAU,EAAE,CAAC;QACf,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,QAAkD,EAClD,UAAmB,EACnB,YAA0B,EACpB,EAAE;IACR,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,IAAI,EAAE,CAAC;QACT,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACjE,OAAO;IACT,CAAC;IACD,sBAAsB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAkD,EAClD,WAAoB,EACpB,YAA0B,EACpB,EAAE;IACR,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,CAAC;QACjE,gBAAgB,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAkD,EAClD,UAA8B,EAC9B,YAA0B,EACpB,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-promise-callable-lookup.d.ts

@@ -0,0 +1,40 @@
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Read a statically named member property.
+ *
+ * @internal
+ */
+export declare const memberPropertyName: (node: ASTNode | undefined) => string | undefined;
+/**
+ * Build the internal lookup key for a statically named member.
+ *
+ * @internal
+ */
+export declare const memberBindingKey: (objectName: string, propertyName: string) => string;
+/**
+ * Construct one callable binding without changing its lexical provenance.
+ *
+ * @internal
+ */
+export declare const bindingForFunction: (node: ASTNode, scopes: ScopeStack, helperScopes: HelperScopes) => FunctionBinding;
+/**
+ * Resolve a callable spelling through lexical callable scopes.
+ *
+ * @internal
+ */
+export declare const resolvedHelper: (node: ASTNode | undefined, helperScopes: HelperScopes) => FunctionBinding | undefined;
+/**
+ * Resolve a callable expression or direct function literal.
+ *
+ * @internal
+ */
+export declare const callableBinding: (node: ASTNode | undefined, scopes: ScopeStack, helperScopes: HelperScopes) => FunctionBinding | undefined;
+/**
+ * Copy all statically known members between object aliases.
+ *
+ * @internal
+ */
+export declare const copyObjectMembers: (bindings: Map<string, FunctionBinding | undefined>, targetName: string, sourceName: string) => void;
+//# sourceMappingURL=effect-promise-callable-lookup.d.ts.map

package/dist/rules/effect-promise-callable-lookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-lookup.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-lookup.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAKrD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,OAAO,GAAG,SAAS,KAAG,MAAM,GAAG,SAYvE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,YAAY,MAAM,EAAE,cAAc,MAAM,KAAG,MACzB,CAAC;AAsBpD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,EACb,QAAQ,UAAU,EAClB,cAAc,YAAY,KACzB,eAAmD,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,OAAO,GAAG,SAAS,EACzB,cAAc,YAAY,KACzB,eAAe,GAAG,SAYpB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,GAAG,SAAS,EACzB,QAAQ,UAAU,EAClB,cAAc,YAAY,KACzB,eAAe,GAAG,SAMpB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,UAAU,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,EAClD,YAAY,MAAM,EAClB,YAAY,MAAM,KACjB,IAOF,CAAC"}

package/dist/rules/effect-promise-callable-lookup.js

@@ -0,0 +1,99 @@
+/* -------------------------------------------------------------------------- */
+/*            Callable-key lookup shared by Promise AST analysis.             */
+/* -------------------------------------------------------------------------- */
+import { childNode, identifierName } from './effect-ast.js';
+import { isFunctionNode, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { staticPromisePropertyName } from './effect-promise-ast-values.js';
+const MEMBER_SEPARATOR = '\u0000';
+/**
+ * Read a statically named member property.
+ *
+ * @internal
+ */
+export const memberPropertyName = (node) => {
+    if (node?.type !== 'MemberExpression') {
+        return undefined;
+    }
+    const property = childNode(node, 'property');
+    if (Reflect.get(node, 'computed') !== true) {
+        return identifierName(property);
+    }
+    if (property?.type === 'Literal') {
+        return staticPromisePropertyName(property);
+    }
+    return undefined;
+};
+/**
+ * Build the internal lookup key for a statically named member.
+ *
+ * @internal
+ */
+export const memberBindingKey = (objectName, propertyName) => `${objectName}${MEMBER_SEPARATOR}${propertyName}`;
+const memberCallableKey = (node) => {
+    const objectName = identifierName(childNode(node, 'object'));
+    const propertyName = memberPropertyName(node);
+    if (objectName && propertyName) {
+        return memberBindingKey(objectName, propertyName);
+    }
+    return undefined;
+};
+const callableKey = (node) => {
+    const name = identifierName(node);
+    if (name) {
+        return name;
+    }
+    if (node?.type === 'MemberExpression') {
+        return memberCallableKey(node);
+    }
+    return undefined;
+};
+/**
+ * Construct one callable binding without changing its lexical provenance.
+ *
+ * @internal
+ */
+export const bindingForFunction = (node, scopes, helperScopes) => ({ helperScopes, node, scopes });
+/**
+ * Resolve a callable spelling through lexical callable scopes.
+ *
+ * @internal
+ */
+export const resolvedHelper = (node, helperScopes) => {
+    const key = callableKey(unwrappedExpression(node));
+    if (!key) {
+        return undefined;
+    }
+    for (let index = helperScopes.length - 1; index >= 0; index -= 1) {
+        const scope = helperScopes[index];
+        if (scope?.has(key)) {
+            return scope.get(key);
+        }
+    }
+    return undefined;
+};
+/**
+ * Resolve a callable expression or direct function literal.
+ *
+ * @internal
+ */
+export const callableBinding = (node, scopes, helperScopes) => {
+    const callable = unwrappedExpression(node);
+    if (isFunctionNode(callable)) {
+        return bindingForFunction(callable, scopes, helperScopes);
+    }
+    return resolvedHelper(callable, helperScopes);
+};
+/**
+ * Copy all statically known members between object aliases.
+ *
+ * @internal
+ */
+export const copyObjectMembers = (bindings, targetName, sourceName) => {
+    const prefix = `${sourceName}${MEMBER_SEPARATOR}`;
+    for (const [key, binding] of bindings) {
+        if (key.startsWith(prefix)) {
+            bindings.set(`${targetName}${MEMBER_SEPARATOR}${key.slice(prefix.length)}`, binding);
+        }
+    }
+};
+//# sourceMappingURL=effect-promise-callable-lookup.js.map

package/dist/rules/effect-promise-callable-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-lookup.js","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-lookup.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAGnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,gBAAgB,GAAG,QAAQ,CAAC;AAElC;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAyB,EAAsB,EAAE;IAClF,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,QAAQ,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAkB,EAAE,YAAoB,EAAU,EAAE,CACnF,GAAG,UAAU,GAAG,gBAAgB,GAAG,YAAY,EAAE,CAAC;AAEpD,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAsB,EAAE;IAC9D,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;QAC/B,OAAO,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACpE,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAa,EACb,MAAkB,EAClB,YAA0B,EACT,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAEvD;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAyB,EACzB,YAA0B,EACG,EAAE;IAC/B,MAAM,GAAG,GAAG,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAyB,EACzB,MAAkB,EAClB,YAA0B,EACG,EAAE;IAC/B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAkD,EAClD,UAAkB,EAClB,UAAkB,EACZ,EAAE;IACR,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG,gBAAgB,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,GAAG,gBAAgB,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/rules/effect-promise-callable-scopes.d.ts

@@ -0,0 +1,16 @@
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Extend callable scopes with declarations owned by one statement container.
+ *
+ * @internal
+ */
+export declare const containerHelperScopes: (node: ASTNode, scopes: ScopeStack, inherited: HelperScopes) => HelperScopes;
+/**
+ * Add parameter and named-function bindings for one invoked function.
+ *
+ * @internal
+ */
+export declare const functionHeaderScopes: (functionNode: ASTNode, binding: FunctionBinding) => HelperScopes;
+//# sourceMappingURL=effect-promise-callable-scopes.d.ts.map

package/dist/rules/effect-promise-callable-scopes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-scopes.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-scopes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAOrF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,EACb,QAAQ,UAAU,EAClB,WAAW,YAAY,KACtB,YAWF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,cAAc,OAAO,EACrB,SAAS,eAAe,KACvB,YAaF,CAAC"}

package/dist/rules/effect-promise-callable-scopes.js

@@ -0,0 +1,43 @@
+/* -------------------------------------------------------------------------- */
+/*             Lexical callable provenance for Promise execution.             */
+/* -------------------------------------------------------------------------- */
+import { addObjectBindings, addPrimaryBindings, addVariableAliases, } from './effect-promise-callable-declarations.js';
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { addPatternNames } from './effect-promise-pattern-bindings.js';
+/**
+ * Extend callable scopes with declarations owned by one statement container.
+ *
+ * @internal
+ */
+export const containerHelperScopes = (node, scopes, inherited) => {
+    const bindings = new Map();
+    const helperScopes = [...inherited, bindings];
+    const statements = childNodes(node, 'body');
+    addPrimaryBindings(bindings, statements, scopes, helperScopes, node.type === 'Program');
+    addObjectBindings(bindings, statements, scopes, helperScopes);
+    addVariableAliases(bindings, statements, helperScopes);
+    if (bindings.size === 0) {
+        return inherited;
+    }
+    return helperScopes;
+};
+/**
+ * Add parameter and named-function bindings for one invoked function.
+ *
+ * @internal
+ */
+export const functionHeaderScopes = (functionNode, binding) => {
+    const bindings = new Map();
+    for (const parameter of childNodes(functionNode, 'params')) {
+        addPatternNames(bindings, parameter);
+    }
+    const name = identifierName(childNode(functionNode, 'id'));
+    if (name) {
+        bindings.set(name, binding);
+    }
+    if (bindings.size === 0) {
+        return binding.helperScopes;
+    }
+    return [...binding.helperScopes, bindings];
+};
+//# sourceMappingURL=effect-promise-callable-scopes.js.map

package/dist/rules/effect-promise-callable-scopes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-scopes.js","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-scopes.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGrE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAa,EACb,MAAkB,EAClB,SAAuB,EACT,EAAE;IAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAC;IAChE,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACxF,iBAAiB,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9D,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,YAAqB,EACrB,OAAwB,EACV,EAAE;IAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAC;IAChE,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC3D,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,YAAY,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/rules/effect-promise-callable-types.d.ts

@@ -0,0 +1,43 @@
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Arguments whose exact runtime cardinality may or may not be known.
+ *
+ * @internal
+ */
+export interface InvocationArguments {
+    isExact: boolean;
+    values: readonly (ASTNode | undefined)[];
+}
+/**
+ * One statically resolved function value.
+ *
+ * @internal
+ */
+export interface FunctionBinding {
+    helperScopes: HelperScopes;
+    node: ASTNode;
+    scopes: ScopeStack;
+}
+/**
+ * One lexical callable-binding scope.
+ *
+ * @internal
+ */
+export type HelperScope = ReadonlyMap<string, FunctionBinding | undefined>;
+/**
+ * Callable-binding scopes from outermost to innermost.
+ *
+ * @internal
+ */
+export type HelperScopes = readonly HelperScope[];
+/**
+ * One statically resolved invocation.
+ *
+ * @internal
+ */
+export interface Invocation {
+    arguments: InvocationArguments;
+    binding: FunctionBinding;
+}
+//# sourceMappingURL=effect-promise-callable-types.d.ts.map

package/dist/rules/effect-promise-callable-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-types.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,EAAE,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,YAAY,EAAE,YAAY,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,CAAC;AAE3E;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,WAAW,EAAE,CAAC;AAElD;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,mBAAmB,CAAC;IAC/B,OAAO,EAAE,eAAe,CAAC;CAC1B"}

package/dist/rules/effect-promise-callable-types.js

@@ -0,0 +1,5 @@
+/* -------------------------------------------------------------------------- */
+/*            Callable and invocation types for Promise execution.            */
+/* -------------------------------------------------------------------------- */
+export {};
+//# sourceMappingURL=effect-promise-callable-types.js.map

package/dist/rules/effect-promise-callable-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-types.js","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-types.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF"}

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

@@ -0,0 +1,5 @@
+export { containerHelperScopes, functionHeaderScopes } from './effect-promise-callable-scopes';
+export { callableBinding, memberPropertyName, resolvedHelper, } from './effect-promise-callable-lookup';
+export { invocationArguments, invocationFor } from './effect-promise-invocations';
+export type { FunctionBinding, HelperScope, HelperScopes, Invocation, InvocationArguments, } from './effect-promise-callable-types';
+//# sourceMappingURL=effect-promise-callables.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callables.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-callables.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAC/F,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,cAAc,GACf,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClF,YAAY,EACV,eAAe,EACf,WAAW,EACX,YAAY,EACZ,UAAU,EACV,mBAAmB,GACpB,MAAM,iCAAiC,CAAC"}

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

@@ -0,0 +1,7 @@
+/* -------------------------------------------------------------------------- */
+/*       Callable provenance and argument shapes for Promise execution.       */
+/* -------------------------------------------------------------------------- */
+export { containerHelperScopes, functionHeaderScopes } from './effect-promise-callable-scopes.js';
+export { callableBinding, memberPropertyName, resolvedHelper, } from './effect-promise-callable-lookup.js';
+export { invocationArguments, invocationFor } from './effect-promise-invocations.js';
+//# sourceMappingURL=effect-promise-callables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callables.js","sourceRoot":"","sources":["../../src/rules/effect-promise-callables.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAC/F,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,cAAc,GACf,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Native-global identity check supplied by the owning boundary rule.
+ *
+ * @internal
+ */
+export type NativeGlobalCheck = (name: string, node: ASTNode | undefined, scopes: ScopeStack) => boolean;
+/**
+ * Resolve a callback that a statically non-empty native collection must invoke.
+ *
+ * @param call - Candidate collection call.
+ * @param scopes - Lexical scopes visible at the call.
+ * @param isNativeGlobal - Exact native-global identity predicate.
+ * @returns The eagerly invoked callback, when execution is statically guaranteed.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const eagerCollectionCallback: (call: ASTNode, scopes: ScopeStack, isNativeGlobal: NativeGlobalCheck) => ASTNode | undefined;
+//# sourceMappingURL=effect-promise-collections.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-collections.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-collections.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIrD;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,MAAM,EAAE,UAAU,KACf,OAAO,CAAC;AAuPb;;;;;;;;;GASG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,EACb,QAAQ,UAAU,EAClB,gBAAgB,iBAAiB,KAChC,OAAO,GAAG,SASZ,CAAC"}