@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-prefer-succeed-for-stable-values.js

@@ -0,0 +1,292 @@
+/* -------------------------------------------------------------------------- */
+/*      Prefer Effect.succeed for values stable when an Effect is built.      */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { effectAPIBindingsFor, indexEffectAPIBindingsFromProgram, isEffectCall, unwrappedExpression, } from './effect-boundary-ast-shared.js';
+import { nativeReferenceIndexFor, nativeSourceCodeFor } from './effect-native-references.js';
+import { scopesForChild, withNodeScope } from './effect-ast-scope.js';
+import { diagnosticMessage } from './diagnostic-guidance.js';
+import { readCachedSource } from './source-cache.js';
+import { strictPathOptionsSchema } from './effect-path-options.js';
+const MESSAGE = diagnosticMessage({
+    example: 'const task = Effect.succeed(value)',
+    fix: 'Replace Effect.sync with Effect.succeed and remove the zero-argument thunk.',
+    summary: 'Effect.succeed expresses this stable value more directly than Effect.sync.',
+});
+const syncTokenPattern = /\bsync\b/u;
+const nodeOffset = (node, key) => {
+    const value = Reflect.get(node, key);
+    if (typeof value === 'number') {
+        return value;
+    }
+    return undefined;
+};
+const literalString = (node) => {
+    const value = node && Reflect.get(node, 'value');
+    if ((node?.type === 'Literal' || node?.type === 'StringLiteral') && typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const hasEffectImportDeclaration = (program) => {
+    for (const statement of childNodes(program, 'body')) {
+        if (statement.type === 'ImportDeclaration') {
+            const source = literalString(childNode(statement, 'source'));
+            if (source === 'effect' || source === 'effect/Effect') {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+const indexImports = (program, bindings) => {
+    indexEffectAPIBindingsFromProgram(bindings, program);
+    if (!hasEffectImportDeclaration(program)) {
+        bindings.namespaces.clear();
+    }
+};
+const hasSyncBinding = (bindings) => bindings.namespaces.size > 0 ||
+    bindings.rootNamespaces.size > 0 ||
+    bindings.syncFunctions.size > 0;
+const scopeContaining = (name, scopes) => {
+    for (let scopeIndex = scopes.length - 1; scopeIndex >= 0; scopeIndex -= 1) {
+        const scope = scopes.at(scopeIndex);
+        if (scope?.has(name)) {
+            return scope;
+        }
+    }
+    return undefined;
+};
+const registerStableDeclarator = (declarator, scopes, state, executionContext, switchCase) => {
+    const binding = {
+        declarationEnd: nodeOffset(declarator, 'end'),
+        initializer: childNode(declarator, 'init'),
+        name: identifierName(childNode(declarator, 'id')),
+    };
+    if (!binding.name || !binding.initializer || binding.declarationEnd === undefined) {
+        return;
+    }
+    const scope = scopeContaining(binding.name, scopes);
+    if (!scope) {
+        return;
+    }
+    const bindings = state.stableConsts.get(scope) ?? new Map();
+    bindings.set(binding.name, {
+        declarationEnd: binding.declarationEnd,
+        executionContext,
+        switchCase,
+    });
+    state.stableConsts.set(scope, bindings);
+};
+const registerStableConsts = (node, scopes, state, executionContext, switchCase) => {
+    if (node.type !== 'VariableDeclaration' || Reflect.get(node, 'kind') !== 'const') {
+        return;
+    }
+    for (const declarator of childNodes(node, 'declarations')) {
+        registerStableDeclarator(declarator, scopes, state, executionContext, switchCase);
+    }
+};
+const indexChildValue = (value, scopes, state, executionContext, switchCase) => {
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            indexChildValue(item, scopes, state, executionContext, switchCase);
+        }
+        return;
+    }
+    const child = asNode(value);
+    if (child) {
+        indexNode(child, scopes, state, executionContext, switchCase);
+    }
+};
+const isFunctionContext = (node) => node.type === 'ArrowFunctionExpression' ||
+    node.type === 'FunctionDeclaration' ||
+    node.type === 'FunctionExpression';
+const executionContextFor = (node, executionContext) => {
+    if (isFunctionContext(node)) {
+        return node;
+    }
+    return executionContext;
+};
+const switchCaseFor = (node, switchCase) => {
+    if (isFunctionContext(node)) {
+        return undefined;
+    }
+    if (node.type === 'SwitchCase') {
+        return node;
+    }
+    return switchCase;
+};
+const registerCallSite = (node, scopes, state, executionContext, switchCase) => {
+    if (node.type === 'CallExpression') {
+        state.callSites.set(node, { executionContext, scopes, switchCase });
+    }
+};
+const indexChildren = (node, scopes, state, executionContext, switchCase) => {
+    for (const [key, value] of Object.entries(node)) {
+        if (key !== 'parent') {
+            indexChildValue(value, scopesForChild(scopes, node, key), state, executionContext, switchCase);
+        }
+    }
+};
+const indexNode = (node, scopes, state, executionContext, switchCase) => {
+    if (state.seen.has(node)) {
+        return;
+    }
+    state.seen.add(node);
+    const nodeScopes = withNodeScope(scopes, node);
+    const nodeExecutionContext = executionContextFor(node, executionContext);
+    const nodeSwitchCase = switchCaseFor(node, switchCase);
+    registerCallSite(node, nodeScopes, state, nodeExecutionContext, nodeSwitchCase);
+    registerStableConsts(node, nodeScopes, state, nodeExecutionContext, nodeSwitchCase);
+    indexChildren(node, nodeScopes, state, nodeExecutionContext, nodeSwitchCase);
+};
+const isSupportedThunk = (node) => (node?.type === 'ArrowFunctionExpression' || node?.type === 'FunctionExpression') &&
+    childNodes(node, 'params').length === 0 &&
+    Reflect.get(node, 'async') !== true &&
+    Reflect.get(node, 'generator') !== true;
+const singleReturnExpression = (body) => {
+    const statements = childNodes(body, 'body');
+    const [statement] = statements;
+    if (statements.length === 1 && statement?.type === 'ReturnStatement') {
+        return childNode(statement, 'argument');
+    }
+    return undefined;
+};
+const returnedExpression = (thunk, scopes) => {
+    const thunkScopes = withNodeScope(scopes, thunk);
+    const body = childNode(thunk, 'body');
+    if (body?.type !== 'BlockStatement') {
+        return { expression: unwrappedExpression(body), scopes: thunkScopes };
+    }
+    const bodyScopes = scopesForChild(thunkScopes, thunk, 'body');
+    return {
+        expression: unwrappedExpression(singleReturnExpression(body)),
+        scopes: withNodeScope(bodyScopes, body),
+    };
+};
+const stableLiteralNodeTypes = new Set([
+    'BigIntLiteral',
+    'BooleanLiteral',
+    'NullLiteral',
+    'NumericLiteral',
+    'StringLiteral',
+]);
+const stableLiteralValueTypes = new Set([
+    'bigint',
+    'boolean',
+    'number',
+    'string',
+]);
+const isStableLiteral = (node) => {
+    if (node.type === 'TemplateLiteral') {
+        return childNodes(node, 'expressions').length === 0;
+    }
+    if (node.type !== 'Literal') {
+        return stableLiteralNodeTypes.has(node.type);
+    }
+    const value = Reflect.get(node, 'value');
+    return value === null || stableLiteralValueTypes.has(typeof value);
+};
+const isEarlierStableConst = (node, scopes, state, site) => {
+    const name = identifierName(node);
+    const referenceStart = nodeOffset(node, 'start');
+    if (!name || referenceStart === undefined) {
+        return false;
+    }
+    const scope = scopeContaining(name, scopes);
+    const binding = scope && state.stableConsts.get(scope)?.get(name);
+    return Boolean(binding &&
+        binding.declarationEnd <= referenceStart &&
+        binding.executionContext === site.executionContext &&
+        (binding.switchCase === undefined || binding.switchCase === site.switchCase));
+};
+const isGlobalUndefined = (node, scopes, state) => {
+    if (identifierName(node) !== 'undefined') {
+        return false;
+    }
+    if (state.sourceCode) {
+        return state.sourceCode.isGlobalReference?.(node) === true;
+    }
+    return scopeContaining('undefined', scopes) === undefined;
+};
+const isStableExpression = (expression, scopes, state, site) => Boolean(expression &&
+    (isStableLiteral(expression) ||
+        isGlobalUndefined(expression, scopes, state) ||
+        isEarlierStableConst(expression, scopes, state, site)));
+const supportedThunkFor = (call, scopes, state) => {
+    if (!isEffectCall(call, 'sync', state.bindings, scopes, state.references)) {
+        return undefined;
+    }
+    const argumentsValue = childNodes(call, 'arguments');
+    const [thunk] = argumentsValue;
+    if (argumentsValue.length === 1 && isSupportedThunk(thunk)) {
+        return thunk;
+    }
+    return undefined;
+};
+const reportStableThunk = (call, site, state, context) => {
+    const { scopes } = site;
+    const thunk = supportedThunkFor(call, scopes, state);
+    if (!thunk) {
+        return;
+    }
+    const returned = returnedExpression(thunk, scopes);
+    if (isStableExpression(returned.expression, returned.scopes, state, site)) {
+        context.report({ message: MESSAGE, node: childNode(call, 'callee') ?? call });
+    }
+};
+const reportCandidate = (node, state, context) => {
+    const call = asNode(node);
+    if (!call) {
+        return;
+    }
+    const site = state.callSites.get(call);
+    if (site) {
+        reportStableThunk(call, site, state, context);
+    }
+};
+const indexProgram = (node, state) => {
+    const program = asNode(node);
+    if (!program) {
+        return;
+    }
+    indexImports(program, state.bindings);
+    if (hasSyncBinding(state.bindings)) {
+        indexNode(program, [], state, program, undefined);
+    }
+};
+const visitorsFor = (context, state) => ({
+    CallExpression(node) {
+        reportCandidate(node, state, context);
+    },
+    Program(node) {
+        indexProgram(node, state);
+    },
+});
+const rule = {
+    create(context) {
+        const source = readCachedSource(context);
+        if (!syncTokenPattern.test(source)) {
+            return { Program() { } };
+        }
+        const nativeSourceCode = nativeSourceCodeFor(context);
+        const state = {
+            bindings: effectAPIBindingsFor(source),
+            callSites: new WeakMap(),
+            references: nativeSourceCode && nativeReferenceIndexFor(nativeSourceCode),
+            seen: new WeakSet(),
+            sourceCode: nativeSourceCode,
+            stableConsts: new WeakMap(),
+        };
+        return visitorsFor(context, state);
+    },
+    meta: {
+        docs: {
+            description: MESSAGE,
+        },
+        schema: strictPathOptionsSchema,
+        type: 'problem',
+    },
+};
+export default rule;
+//# sourceMappingURL=effect-prefer-succeed-for-stable-values.js.map

package/dist/rules/effect-prefer-succeed-for-stable-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-prefer-succeed-for-stable-values.js","sourceRoot":"","sources":["../../src/rules/effect-prefer-succeed-for-stable-values.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAIhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,iCAAiC,EACjC,YAAY,EACZ,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAInE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AA4BhE,MAAM,OAAO,GAAG,iBAAiB,CAAC;IAChC,OAAO,EAAE,oCAAoC;IAC7C,GAAG,EAAE,6EAA6E;IAClF,OAAO,EAAE,4EAA4E;CACtF,CAAC,CAAC;AACH,MAAM,gBAAgB,GAAG,WAAW,CAAC;AAErC,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,GAAoB,EAAsB,EAAE;IAC7E,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACtE,MAAM,KAAK,GAAY,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,OAAgB,EAAW,EAAE;IAC/D,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACpD,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7D,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,eAAe,EAAE,CAAC;gBACtD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAE,QAA2B,EAAQ,EAAE;IAC3E,iCAAiC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,QAA2B,EAAW,EAAE,CAC9D,QAAQ,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC;AAElC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAmC,EAAE;IAC5F,KAAK,IAAI,UAAU,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,UAAmB,EACnB,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,MAAM,OAAO,GAAG;QACd,cAAc,EAAE,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC;QAC7C,WAAW,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;QAC1C,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;KAClD,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAClF,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAA8B,CAAC;IACxF,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE;QACzB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,gBAAgB;QAChB,UAAU;KACX,CAAC,CAAC;IACH,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,OAAO,EAAE,CAAC;QACjF,OAAO;IACT,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1D,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IACpF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,KAAc,EACd,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;QACrE,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,EAAE,CAAC;QACV,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAChE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,yBAAyB;IACvC,IAAI,CAAC,IAAI,KAAK,qBAAqB;IACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;AAErC,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAE,gBAAyB,EAAW,EAAE;IAChF,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAE,UAA+B,EAAuB,EAAE;IAC5F,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAa,EACb,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACtE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,eAAe,CACb,KAAK,EACL,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EACjC,KAAK,EACL,gBAAgB,EAChB,UAAU,CACX,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,IAAa,EACb,MAAkB,EAClB,KAAsB,EACtB,gBAAyB,EACzB,UAA+B,EACzB,EAAE;IACR,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACvD,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,oBAAoB,EAAE,cAAc,CAAC,CAAC;IAChF,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,oBAAoB,EAAE,cAAc,CAAC,CAAC;IACpF,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,oBAAoB,EAAE,cAAc,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAyB,EAAmB,EAAE,CACtE,CAAC,IAAI,EAAE,IAAI,KAAK,yBAAyB,IAAI,IAAI,EAAE,IAAI,KAAK,oBAAoB,CAAC;IACjF,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,IAAI,CAAC;AAE1C,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAuB,EAAE;IACpE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC;IAC/B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAc,EAAE,MAAkB,EAAsB,EAAE;IACpF,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO;QACL,UAAU,EAAE,mBAAmB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,EAAE,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC;KACxC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IAC1D,eAAe;IACf,gBAAgB;IAChB,aAAa;IACb,gBAAgB;IAChB,eAAe;CAChB,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC;IAC3D,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC,IAAa,EAAW,EAAE;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,OAAO,KAAK,KAAK,IAAI,IAAI,uBAAuB,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAa,EACb,MAAkB,EAClB,KAAsB,EACtB,IAAoB,EACX,EAAE;IACX,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,OAAO,CACZ,OAAO;QACP,OAAO,CAAC,cAAc,IAAI,cAAc;QACxC,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,gBAAgB;QAClD,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAC,CAC7E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAE,MAAkB,EAAE,KAAsB,EAAW,EAAE;IAC/F,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,eAAe,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,UAA+B,EAC/B,MAAkB,EAClB,KAAsB,EACtB,IAAoB,EACX,EAAE,CACX,OAAO,CACL,UAAU;IACV,CAAC,eAAe,CAAC,UAAU,CAAC;QAC1B,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC;QAC5C,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CACzD,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,MAAkB,EAClB,KAAsB,EACD,EAAE;IACvB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC;IAC/B,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,IAAoB,EACpB,KAAsB,EACtB,OAAgB,EACV,EAAE;IACR,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnD,IAAI,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,KAAsB,EAAE,OAAgB,EAAQ,EAAE;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,EAAE,CAAC;QACT,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,KAAsB,EAAQ,EAAE;IAClE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,OAAgB,EAChB,KAAsB,EACY,EAAE,CAAC,CAAC;IACtC,cAAc,CAAC,IAAI;QACjB,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,IAAI;QACV,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,IAAI,GAAe;IACvB,MAAM,CAAC,OAAO;QACZ,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,OAAO,KAAU,CAAC,EAAE,CAAC;QAChC,CAAC;QACD,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,KAAK,GAAoB;YAC7B,QAAQ,EAAE,oBAAoB,CAAC,MAAM,CAAC;YACtC,SAAS,EAAE,IAAI,OAAO,EAAE;YACxB,UAAU,EAAE,gBAAgB,IAAI,uBAAuB,CAAC,gBAAgB,CAAC;YACzE,IAAI,EAAE,IAAI,OAAO,EAAE;YACnB,UAAU,EAAE,gBAAgB;YAC5B,YAAY,EAAE,IAAI,OAAO,EAAE;SAC5B,CAAC;QACF,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,EAAE;QACJ,IAAI,EAAE;YACJ,WAAW,EAAE,OAAO;SACrB;QACD,MAAM,EAAE,uBAAuB;QAC/B,IAAI,EAAE,SAAS;KAChB;CACF,CAAC;AAEF,eAAe,IAAI,CAAC"}

package/dist/rules/effect-promise-ast-values.d.ts

@@ -0,0 +1,26 @@
+import type { ASTNode } from './effect-ast';
+/**
+ * Native Promise static methods that synchronously construct a Promise value.
+ *
+ * @internal
+ */
+export declare const PROMISE_STATIC_METHODS: ReadonlySet<string>;
+/**
+ * Read an AST array while preserving sparse entries.
+ *
+ * @internal
+ */
+export declare const rawPromiseNodes: (node: ASTNode, key: string) => (ASTNode | undefined)[];
+/**
+ * Read an identifier or literal property name.
+ *
+ * @internal
+ */
+export declare const staticPromisePropertyName: (node: ASTNode | undefined) => string | undefined;
+/**
+ * Read a declaration key only when its runtime property name is static.
+ *
+ * @internal
+ */
+export declare const declaredPromisePropertyName: (property: ASTNode) => string | undefined;
+//# sourceMappingURL=effect-promise-ast-values.d.ts.map

package/dist/rules/effect-promise-ast-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-ast-values.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-ast-values.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAOrD,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,EAAE,KAAK,MAAM,KAAG,CAAC,OAAO,GAAG,SAAS,CAAC,EAWjF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,MAAM,OAAO,GAAG,SAAS,KAAG,MAAM,GAAG,SAa9E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GAAI,UAAU,OAAO,KAAG,MAAM,GAAG,SAMxE,CAAC"}

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

@@ -0,0 +1,66 @@
+/* -------------------------------------------------------------------------- */
+/*          Static AST values shared by Promise execution analysis.           */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, identifierName } from './effect-ast.js';
+/**
+ * Native Promise static methods that synchronously construct a Promise value.
+ *
+ * @internal
+ */
+export const PROMISE_STATIC_METHODS = new Set([
+    'all',
+    'allSettled',
+    'any',
+    'race',
+    'reject',
+    'resolve',
+]);
+/**
+ * Read an AST array while preserving sparse entries.
+ *
+ * @internal
+ */
+export const rawPromiseNodes = (node, key) => {
+    const value = Reflect.get(node, key);
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    const items = value;
+    const nodes = [];
+    for (const item of items) {
+        nodes.push(asNode(item));
+    }
+    return nodes;
+};
+/**
+ * Read an identifier or literal property name.
+ *
+ * @internal
+ */
+export const staticPromisePropertyName = (node) => {
+    const identifier = identifierName(node);
+    if (identifier) {
+        return identifier;
+    }
+    if (node?.type !== 'Literal') {
+        return undefined;
+    }
+    const value = Reflect.get(node, 'value');
+    if (typeof value === 'string' || typeof value === 'number') {
+        return String(value);
+    }
+    return undefined;
+};
+/**
+ * Read a declaration key only when its runtime property name is static.
+ *
+ * @internal
+ */
+export const declaredPromisePropertyName = (property) => {
+    const key = childNode(property, 'key');
+    if (Reflect.get(property, 'computed') === true && key?.type !== 'Literal') {
+        return undefined;
+    }
+    return staticPromisePropertyName(key);
+};
+//# sourceMappingURL=effect-promise-ast-values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-ast-values.js","sourceRoot":"","sources":["../../src/rules/effect-promise-ast-values.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IACjE,KAAK;IACL,YAAY;IACZ,KAAK;IACL,MAAM;IACN,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,GAAW,EAA2B,EAAE;IACrF,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAuB,KAAK,CAAC;IACxC,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,IAAyB,EAAsB,EAAE;IACzF,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC3D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,QAAiB,EAAsB,EAAE;IACnF,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI,IAAI,GAAG,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,yBAAyB,CAAC,GAAG,CAAC,CAAC;AACxC,CAAC,CAAC"}

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

@@ -0,0 +1,22 @@
+import type { FunctionBinding, HelperScopes } from './effect-promise-callable-types';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Add primary callable declarations before linking aliases.
+ *
+ * @internal
+ */
+export declare const addPrimaryBindings: (bindings: Map<string, FunctionBinding | undefined>, statements: readonly ASTNode[], scopes: ScopeStack, helperScopes: HelperScopes, allowEarlyReference?: boolean) => void;
+/**
+ * Link object-member declarations after primary declarations are known.
+ *
+ * @internal
+ */
+export declare const addObjectBindings: (bindings: Map<string, FunctionBinding | undefined>, statements: readonly ASTNode[], scopes: ScopeStack, helperScopes: HelperScopes) => void;
+/**
+ * Link variable and destructured aliases after member declarations are known.
+ *
+ * @internal
+ */
+export declare const addVariableAliases: (bindings: Map<string, FunctionBinding | undefined>, statements: readonly ASTNode[], helperScopes: HelperScopes) => void;
+//# sourceMappingURL=effect-promise-callable-declarations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-callable-declarations.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-callable-declarations.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAarF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAiOrD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,EAClD,YAAY,SAAS,OAAO,EAAE,EAC9B,QAAQ,UAAU,EAClB,cAAc,YAAY,EAC1B,6BAA2B,KAC1B,IAaF,CAAC;AA0BF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,UAAU,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,EAClD,YAAY,SAAS,OAAO,EAAE,EAC9B,QAAQ,UAAU,EAClB,cAAc,YAAY,KACzB,IAMF,CAAC;AA4FF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,GAAG,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,CAAC,EAClD,YAAY,SAAS,OAAO,EAAE,EAC9B,cAAc,YAAY,KACzB,IAMF,CAAC"}