@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-recursion-phases.d.ts

@@ -0,0 +1,40 @@
+import type { ASTNode } from './effect-ast';
+import type { EffectAPIBindings } from './effect-boundary-ast-shared';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Effect v4 APIs whose function arguments execute during construction.
+ *
+ * @internal
+ */
+export type EagerEffectAPI = 'catchEager' | 'flatMapEager' | 'fnUntracedEager' | 'mapEager' | 'matchCauseEffectEager';
+/**
+ * Import identities required by recursion phase analysis.
+ *
+ * @internal
+ */
+export interface RecursionPhaseBindings {
+    effect: EffectAPIBindings;
+    eagerFunctions: ReadonlyMap<string, EagerEffectAPI>;
+}
+/**
+ * Build exact local identities for the eager v4 Effect APIs.
+ *
+ * @param source - Complete source used to resolve named import aliases.
+ * @param effect - Existing namespace and general Effect bindings.
+ * @returns Import identities used by the execution-phase walker.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const recursionPhaseBindingsFor: (source: string, effect: EffectAPIBindings) => RecursionPhaseBindings;
+/**
+ * Resolve an eager API call using imported binding identity and lexical scope.
+ *
+ * @param node - Candidate CallExpression.
+ * @param bindings - Exact Effect identities for the source file.
+ * @param scopes - Lexical value scopes visible at the call.
+ * @returns The canonical eager API name, when verified.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const eagerEffectAPIName: (node: ASTNode, bindings: RecursionPhaseBindings, scopes: ScopeStack) => EagerEffectAPI | undefined;
+//# sourceMappingURL=effect-recursion-phases.d.ts.map

package/dist/rules/effect-recursion-phases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-phases.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-phases.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD;;;;GAIG;AACH,MAAM,MAAM,cAAc,GACtB,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,UAAU,GACV,uBAAuB,CAAC;AAE5B;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACrD;AAsBD;;;;;;;;GAQG;AACH,eAAO,MAAM,yBAAyB,GACpC,QAAQ,MAAM,EACd,QAAQ,iBAAiB,KACxB,sBAQF,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,EACb,UAAU,sBAAsB,EAChC,QAAQ,UAAU,KACjB,cAAc,GAAG,SAcnB,CAAC"}

package/dist/rules/effect-recursion-phases.js

@@ -0,0 +1,62 @@
+/* -------------------------------------------------------------------------- */
+/*        Imported Effect identities whose callbacks execute eagerly.         */
+/* -------------------------------------------------------------------------- */
+import { childNode, identifierName } from './effect-ast.js';
+import { effectCallAPIName, isShadowed, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { effectFunctionAliases } from './effect-rule-aliases.js';
+const eagerAPINames = [
+    'catchEager',
+    'flatMapEager',
+    'fnUntracedEager',
+    'mapEager',
+    'matchCauseEffectEager',
+];
+const eagerAPIName = (value) => eagerAPINames.find((APIName) => APIName === value);
+const memberAPIName = (node, bindings, scopes) => {
+    const propertyName = effectCallAPIName(node, bindings.effect, scopes);
+    return eagerAPIName(propertyName);
+};
+/**
+ * Build exact local identities for the eager v4 Effect APIs.
+ *
+ * @param source - Complete source used to resolve named import aliases.
+ * @param effect - Existing namespace and general Effect bindings.
+ * @returns Import identities used by the execution-phase walker.
+ * @throws Does not throw.
+ * @internal
+ */
+export const recursionPhaseBindingsFor = (source, effect) => {
+    const eagerFunctions = new Map();
+    for (const APIName of eagerAPINames) {
+        for (const localName of effectFunctionAliases(source, 'Effect', APIName)) {
+            eagerFunctions.set(localName, APIName);
+        }
+    }
+    return { eagerFunctions, effect };
+};
+/**
+ * Resolve an eager API call using imported binding identity and lexical scope.
+ *
+ * @param node - Candidate CallExpression.
+ * @param bindings - Exact Effect identities for the source file.
+ * @param scopes - Lexical value scopes visible at the call.
+ * @returns The canonical eager API name, when verified.
+ * @throws Does not throw.
+ * @internal
+ */
+export const eagerEffectAPIName = (node, bindings, scopes) => {
+    if (node.type !== 'CallExpression') {
+        return undefined;
+    }
+    const callee = unwrappedExpression(childNode(node, 'callee'));
+    const memberName = memberAPIName(node, bindings, scopes);
+    if (memberName) {
+        return memberName;
+    }
+    const directName = identifierName(callee);
+    if (!directName || isShadowed(directName, scopes)) {
+        return undefined;
+    }
+    return bindings.eagerFunctions.get(directName);
+};
+//# sourceMappingURL=effect-recursion-phases.js.map

package/dist/rules/effect-recursion-phases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-phases.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-phases.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAIlG,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAwB9D,MAAM,aAAa,GAA8B;IAC/C,YAAY;IACZ,cAAc;IACd,iBAAiB;IACjB,UAAU;IACV,uBAAuB;CACxB,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,KAAyB,EAA8B,EAAE,CAC7E,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAW,EAAE,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC;AAE9D,MAAM,aAAa,GAAG,CACpB,IAAa,EACb,QAAgC,EAChC,MAAkB,EACU,EAAE;IAC9B,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,YAAY,CAAC,YAAY,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,MAAc,EACd,MAAyB,EACD,EAAE;IAC1B,MAAM,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACzD,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAa,EACb,QAAgC,EAChC,MAAkB,EACU,EAAE;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACjD,CAAC,CAAC"}

package/dist/rules/effect-recursion-source.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Detect eager recursive Effect construction when an AST is unavailable.
+ *
+ * @param source - Complete TypeScript source text.
+ * @returns Whether a supported function declaration or const arrow eagerly recurses.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const hasRecursiveEffectSource: (source: string) => boolean;
+//# sourceMappingURL=effect-recursion-source.d.ts.map

package/dist/rules/effect-recursion-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-source.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-source.ts"],"names":[],"mappings":"AAiOA;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,MAAM,KAAG,OAOzD,CAAC"}

package/dist/rules/effect-recursion-source.js

@@ -0,0 +1,182 @@
+/* -------------------------------------------------------------------------- */
+/*      Source fallback for execution-aware Effect recursion detection.       */
+/* -------------------------------------------------------------------------- */
+import { Array, pipe } from 'effect';
+import { canonicalizeEffectAPIAliases, effectImportAliases } from './effect-rule-aliases.js';
+import { findBalancedCallEnd, findMatchingBrace, findStatementEnd, stripCommentsAndStrings, } from './effect-source-helpers.js';
+const DEFERRED_EFFECT_CALLBACK = /\bEffect\.(?:flatMap|gen|map|succeed|suspend)\s*\(/g;
+const escapedIdentifier = (name) => name.replace(/[.*+?^${}()|[\]\\]/g, String.raw `\$&`);
+const headerBindsName = (header, name) => new RegExp(`(?:^|[({,])\\s*${escapedIdentifier(name)}\\s*(?=[:,)}=])`).test(header);
+const findTopLevelToken = (source, start, token) => {
+    let depth = 0;
+    for (let index = start; index < source.length; index += 1) {
+        const char = source[index];
+        if (char === '(' || char === '[') {
+            depth += 1;
+        }
+        else if (char === ')' || char === ']') {
+            depth -= 1;
+        }
+        else if (depth === 0 && source.startsWith(token, index)) {
+            return index;
+        }
+        else if (depth === 0 && char === ';') {
+            return -1;
+        }
+    }
+    return -1;
+};
+const enclosingBlockStart = (source) => {
+    const stack = [];
+    for (let index = 0; index < source.length; index += 1) {
+        if (source[index] === '{') {
+            stack.push(index);
+        }
+        else if (source[index] === '}') {
+            stack.pop();
+        }
+    }
+    return (stack.at(-1) ?? -1) + 1;
+};
+const isShadowedRecursiveCall = (name, body, callIndex) => {
+    const escapedName = escapedIdentifier(name);
+    const prior = body.slice(0, callIndex);
+    if (/\bfunction\s*$/.test(prior)) {
+        return true;
+    }
+    const blockStart = enclosingBlockStart(prior);
+    if (new RegExp(`\\b(?:class|const|function|let)\\s+${escapedName}\\b`).test(prior.slice(blockStart))) {
+        return true;
+    }
+    const arrowIndex = prior.lastIndexOf('=>');
+    const parameterStart = prior.lastIndexOf('(', arrowIndex);
+    return (arrowIndex !== -1 &&
+        parameterStart !== -1 &&
+        headerBindsName(prior.slice(parameterStart, arrowIndex), name));
+};
+const updateDepth = (char, depth) => {
+    if (char === '(' || char === '[' || char === '{') {
+        return depth + 1;
+    }
+    if (char === ')' || char === ']' || char === '}') {
+        return depth - 1;
+    }
+    return depth;
+};
+const rangeIfContains = (start, end, target) => {
+    if (start <= target && target < end) {
+        return { end, start };
+    }
+    return undefined;
+};
+const callArgumentAt = (source, openParen, callEnd, target) => {
+    let argumentStart = openParen + 1;
+    let depth = 0;
+    for (let index = argumentStart; index < callEnd; index += 1) {
+        if (source[index] === ',' && depth === 0) {
+            const targetRange = rangeIfContains(argumentStart, index, target);
+            if (targetRange) {
+                return targetRange;
+            }
+            argumentStart = index + 1;
+        }
+        depth = updateDepth(source[index] ?? '', depth);
+    }
+    return rangeIfContains(argumentStart, callEnd + 1, target);
+};
+const selfCallEnd = (source, target) => {
+    const openParen = source.indexOf('(', target);
+    if (openParen === -1) {
+        return target;
+    }
+    return findBalancedCallEnd(source, openParen);
+};
+const hasImmediateInvocationSuffix = (source, target) => {
+    const suffix = source.slice(selfCallEnd(source, target) + 1);
+    return /^\s*[)}]*\s*(?:\.\s*(?:apply|call)\s*\(|\(\s*\))/.test(suffix);
+};
+const isBareFunctionArgument = (source, range, target) => {
+    const argument = source.slice(range.start, range.end);
+    const relativeTarget = target - range.start;
+    const arrowIndex = argument.lastIndexOf('=>', relativeTarget);
+    const functionIndex = argument.lastIndexOf('function', relativeTarget);
+    if (arrowIndex === -1 && functionIndex === -1) {
+        return false;
+    }
+    return !hasImmediateInvocationSuffix(source.slice(0, range.end), target);
+};
+const isDeferredEffectCallback = (source, target) => pipe(Array.fromIterable(source.matchAll(DEFERRED_EFFECT_CALLBACK)), Array.some((match) => {
+    const openParen = source.indexOf('(', match.index);
+    if (openParen === -1) {
+        return false;
+    }
+    const callEnd = findBalancedCallEnd(source, openParen);
+    if (target < openParen || target > callEnd) {
+        return false;
+    }
+    const range = callArgumentAt(source, openParen, callEnd, target);
+    return range !== undefined && isBareFunctionArgument(source, range, target);
+}));
+const hasUnsafeRecursiveBody = (name, body) => {
+    if (!/\bEffect\.[A-Za-z_$][\w$]*\s*\(/.test(body)) {
+        return false;
+    }
+    return pipe(Array.fromIterable(body.matchAll(new RegExp(`\\b${escapedIdentifier(name)}\\s*\\(`, 'g'))), Array.some((match) => !isDeferredEffectCallback(body, match.index) &&
+        !isShadowedRecursiveCall(name, body, match.index)));
+};
+const recursiveBody = (source, bodyStart) => {
+    if (source[bodyStart] === '{') {
+        return source.slice(bodyStart + 1, findMatchingBrace(source, bodyStart));
+    }
+    return source.slice(bodyStart, findStatementEnd(source, bodyStart));
+};
+const hasUnsafeRecursiveFunction = (source) => pipe(Array.fromIterable(source.matchAll(/\b(async\s+)?function\s*(\*)?\s*([A-Za-z_$][\w$]*)\s*(?:<[^>{;]*>)?\s*\(/g)), Array.some((match) => {
+    const [, asyncKeyword, star, name] = match;
+    const parameterStart = source.indexOf('(', match.index);
+    const bodyStart = findTopLevelToken(source, parameterStart, '{');
+    if (asyncKeyword || star || bodyStart === -1) {
+        return false;
+    }
+    const header = source.slice(parameterStart, bodyStart);
+    const body = recursiveBody(source, bodyStart);
+    return !headerBindsName(header, name) && hasUnsafeRecursiveBody(name, header + body);
+}));
+const firstCodeIndex = (source, start) => {
+    let index = start;
+    while (/\s/.test(source[index] ?? '')) {
+        index += 1;
+    }
+    return index;
+};
+const hasUnsafeArrowMatch = (source, match) => {
+    const [, name] = match;
+    const headerStart = match.index + match[0].length;
+    const arrowIndex = findTopLevelToken(source, headerStart, '=>');
+    if (arrowIndex === -1) {
+        return false;
+    }
+    const header = source.slice(headerStart, arrowIndex);
+    const bodyStart = firstCodeIndex(source, arrowIndex + 2);
+    const body = recursiveBody(source, bodyStart);
+    return (!/^\s*async\b/.test(header) &&
+        !headerBindsName(header, name) &&
+        hasUnsafeRecursiveBody(name, header + body));
+};
+const hasUnsafeRecursiveArrow = (source) => pipe(Array.fromIterable(source.matchAll(/\bconst\s+([A-Za-z_$][\w$]*)\s*=/g)), Array.some((match) => hasUnsafeArrowMatch(source, match)));
+/**
+ * Detect eager recursive Effect construction when an AST is unavailable.
+ *
+ * @param source - Complete TypeScript source text.
+ * @returns Whether a supported function declaration or const arrow eagerly recurses.
+ * @throws Does not throw.
+ * @internal
+ */
+export const hasRecursiveEffectSource = (source) => {
+    const canonicalSource = canonicalizeEffectAPIAliases(source);
+    if (!effectImportAliases(canonicalSource).includes('Effect')) {
+        return false;
+    }
+    const code = stripCommentsAndStrings(canonicalSource);
+    return hasUnsafeRecursiveFunction(code) || hasUnsafeRecursiveArrow(code);
+};
+//# sourceMappingURL=effect-recursion-source.js.map

package/dist/rules/effect-recursion-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-source.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-source.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,EAAE,4BAA4B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,wBAAwB,GAAG,qDAAqD,CAAC;AAOvF,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC,CAAC;AAEvD,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,IAAY,EAAW,EAAE,CAChE,IAAI,MAAM,CAAC,kBAAkB,iBAAiB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAEtF,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,KAAa,EAAU,EAAE;IACjF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACvC,OAAO,CAAC,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAU,EAAE;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,CAAC,GAAG,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,SAAiB,EAAW,EAAE;IACzF,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACvC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IACE,IAAI,MAAM,CAAC,sCAAsC,WAAW,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAChG,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC1D,OAAO,CACL,UAAU,KAAK,CAAC,CAAC;QACjB,cAAc,KAAK,CAAC,CAAC;QACrB,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,CAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE;IAC1D,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjD,OAAO,KAAK,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjD,OAAO,KAAK,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,MAAc,EAA2B,EAAE;IAC9F,IAAI,KAAK,IAAI,MAAM,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC;QACpC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,MAAc,EACd,SAAiB,EACjB,OAAe,EACf,MAAc,EACW,EAAE;IAC3B,IAAI,aAAa,GAAG,SAAS,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,aAAa,EAAE,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,eAAe,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAClE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,aAAa,GAAG,KAAK,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,eAAe,CAAC,aAAa,EAAE,OAAO,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,MAAc,EAAU,EAAE;IAC7D,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CAAC,MAAc,EAAE,MAAc,EAAW,EAAE;IAC/E,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,OAAO,kDAAkD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAE,KAAkB,EAAE,MAAc,EAAW,EAAE;IAC7F,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACtD,MAAM,cAAc,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC9D,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACvE,IAAI,UAAU,KAAK,CAAC,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,4BAA4B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,MAAc,EAAE,MAAc,EAAW,EAAE,CAC3E,IAAI,CACF,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,EAC7D,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE;IAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,MAAM,GAAG,SAAS,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACjE,OAAO,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC,CAAC,CACH,CAAC;AAEJ,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,IAAY,EAAW,EAAE;IACrE,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CACT,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,MAAM,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAC1F,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAW,EAAE,CACjB,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CACpD,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAU,EAAE;IAClE,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,MAAc,EAAW,EAAE,CAC7D,IAAI,CACF,KAAK,CAAC,YAAY,CAChB,MAAM,CAAC,QAAQ,CAAC,2EAA2E,CAAC,CAC7F,EACD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE;IAC5B,MAAM,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;IAC3C,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,YAAY,IAAI,IAAI,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9C,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AACvF,CAAC,CAAC,CACH,CAAC;AAEJ,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,KAAa,EAAU,EAAE;IAC/D,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACtC,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,KAAsB,EAAW,EAAE;IAC9E,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9C,OAAO,CACL,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3B,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC;QAC9B,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAW,EAAE,CAC1D,IAAI,CACF,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC,EACxE,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAW,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CACnE,CAAC;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,MAAc,EAAW,EAAE;IAClE,MAAM,eAAe,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,uBAAuB,CAAC,eAAe,CAAC,CAAC;IACtD,OAAO,0BAA0B,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC;AAC3E,CAAC,CAAC"}

package/dist/rules/effect-recursion-viability.d.ts

@@ -0,0 +1,66 @@
+import type { EagerEffectAPI, RecursionPhaseBindings } from './effect-recursion-phases';
+import type { ASTNode } from './effect-ast';
+import type { ScopeStack } from './effect-ast-scope';
+/**
+ * Statically known construction-time state of an Effect expression.
+ *
+ * @internal
+ */
+export type EffectResolution = 'failure' | 'pending' | 'success' | 'unknown';
+/**
+ * Exact named imports needed by the construction-time classifier.
+ *
+ * @internal
+ */
+export interface EffectResolutionBindings {
+    delayFunctions: ReadonlySet<string>;
+    failureFunctions: ReadonlyMap<string, 'die' | 'fail' | 'failCause'>;
+    phase: RecursionPhaseBindings;
+}
+/**
+ * Canonical eager call shape after normalizing data-first and data-last forms.
+ *
+ * @internal
+ */
+export interface EagerEffectInvocation {
+    APIName: EagerEffectAPI;
+    callback?: ASTNode;
+    input?: ASTNode;
+}
+/**
+ * Build exact named-import identities used by resolution classification.
+ *
+ * @internal
+ */
+export declare const effectResolutionBindingsFor: (source: string, phase: RecursionPhaseBindings) => EffectResolutionBindings;
+/**
+ * Classify only Effect expressions whose construction-time state is provable.
+ *
+ * @internal
+ */
+export declare const effectResolutionOf: (value: ASTNode | undefined, bindings: EffectResolutionBindings, scopes: ScopeStack) => EffectResolution;
+/**
+ * Check whether a resolved failure is guaranteed to contain a typed Fail reason.
+ *
+ * @internal
+ */
+export declare const isCatchableFailure: (value: ASTNode | undefined, bindings: EffectResolutionBindings, scopes: ScopeStack) => boolean;
+/**
+ * Normalize an eager Effect call without guessing through dynamic values.
+ *
+ * @internal
+ */
+export declare const eagerEffectInvocation: (node: ASTNode, bindings: EffectResolutionBindings, scopes: ScopeStack) => EagerEffectInvocation | undefined;
+/**
+ * Pick the only match callback selected by a statically resolved input.
+ *
+ * @internal
+ */
+export declare const selectedMatchCallback: (options: ASTNode | undefined, resolution: EffectResolution) => ASTNode | undefined;
+/**
+ * Select the only eager callback proven to execute during construction.
+ *
+ * @internal
+ */
+export declare const selectedEagerCallback: (node: ASTNode, bindings: EffectResolutionBindings, scopes: ScopeStack) => ASTNode | undefined;
+//# sourceMappingURL=effect-recursion-viability.d.ts.map

package/dist/rules/effect-recursion-viability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-viability.d.ts","sourceRoot":"","sources":["../../src/rules/effect-recursion-viability.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAGxF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIrD;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7E;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,WAAW,CAAC,CAAC;IACpE,KAAK,EAAE,sBAAsB,CAAC;CAC/B;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,cAAc,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAiED;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,QAAQ,MAAM,EACd,OAAO,sBAAsB,KAC5B,wBAYF,CAAC;AAsBF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,OAAO,GAAG,SAAS,EAC1B,UAAU,wBAAwB,EAClC,QAAQ,UAAU,KACjB,gBASF,CAAC;AAeF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,OAAO,GAAG,SAAS,EAC1B,UAAU,wBAAwB,EAClC,QAAQ,UAAU,KACjB,OASF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,EACb,UAAU,wBAAwB,EAClC,QAAQ,UAAU,KACjB,qBAAqB,GAAG,SAM1B,CAAC;AAkDF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,OAAO,GAAG,SAAS,EAC5B,YAAY,gBAAgB,KAC3B,OAAO,GAAG,SAcZ,CAAC;AA4BF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,EACb,UAAU,wBAAwB,EAClC,QAAQ,UAAU,KACjB,OAAO,GAAG,SAiBZ,CAAC"}

package/dist/rules/effect-recursion-viability.js

@@ -0,0 +1,228 @@
+/* -------------------------------------------------------------------------- */
+/*        Construction-time viability for Effect v4 eager combinators.        */
+/* -------------------------------------------------------------------------- */
+import { childNode, childNodes, identifierName } from './effect-ast.js';
+import { effectCallAPIName, isShadowed, unwrappedExpression } from './effect-boundary-ast-shared.js';
+import { eagerEffectAPIName } from './effect-recursion-phases.js';
+import { effectFunctionAliases } from './effect-rule-aliases.js';
+const directInvocation = (node, APIName) => {
+    if (APIName === 'fnUntracedEager') {
+        return { APIName };
+    }
+    const [input, callback] = childNodes(node, 'arguments');
+    if (!callback) {
+        return { APIName };
+    }
+    return { APIName, callback, input };
+};
+const onlyArgument = (node) => {
+    const argumentsValue = childNodes(node, 'arguments');
+    if (argumentsValue.length === 1) {
+        return argumentsValue[0];
+    }
+    return undefined;
+};
+const curriedAPIName = (call, bindings, scopes) => {
+    const APIName = eagerEffectAPIName(call, bindings.phase, scopes);
+    if (APIName === 'fnUntracedEager') {
+        return undefined;
+    }
+    return APIName;
+};
+const curriedArguments = (node, innerCall) => {
+    const callback = onlyArgument(innerCall);
+    const [input] = childNodes(node, 'arguments');
+    if (!callback || !input) {
+        return undefined;
+    }
+    return { callback, input };
+};
+const curriedInvocation = (node, bindings, scopes) => {
+    const innerCall = unwrappedExpression(childNode(node, 'callee'));
+    if (innerCall?.type !== 'CallExpression') {
+        return undefined;
+    }
+    const APIName = curriedAPIName(innerCall, bindings, scopes);
+    if (!APIName) {
+        return undefined;
+    }
+    const argumentsValue = curriedArguments(node, innerCall);
+    if (!argumentsValue) {
+        return undefined;
+    }
+    return { APIName, ...argumentsValue };
+};
+/**
+ * Build exact named-import identities used by resolution classification.
+ *
+ * @internal
+ */
+export const effectResolutionBindingsFor = (source, phase) => {
+    const failureFunctions = new Map();
+    for (const APIName of ['die', 'fail', 'failCause']) {
+        for (const localName of effectFunctionAliases(source, 'Effect', APIName)) {
+            failureFunctions.set(localName, APIName);
+        }
+    }
+    return {
+        delayFunctions: new Set(effectFunctionAliases(source, 'Effect', 'delay')),
+        failureFunctions,
+        phase,
+    };
+};
+const directCanonicalName = (node, bindings, scopes) => {
+    const callee = unwrappedExpression(childNode(node, 'callee'));
+    const name = identifierName(callee);
+    if (!name || isShadowed(name, scopes)) {
+        return undefined;
+    }
+    const failureAPIName = bindings.failureFunctions.get(name);
+    if (failureAPIName) {
+        return failureAPIName;
+    }
+    if (bindings.delayFunctions.has(name)) {
+        return 'delay';
+    }
+    return undefined;
+};
+/**
+ * Classify only Effect expressions whose construction-time state is provable.
+ *
+ * @internal
+ */
+export const effectResolutionOf = (value, bindings, scopes) => {
+    const node = unwrappedExpression(value);
+    if (node?.type !== 'CallExpression') {
+        return 'unknown';
+    }
+    const APIName = effectCallAPIName(node, bindings.phase.effect, scopes) ||
+        directCanonicalName(node, bindings, scopes);
+    return resolutionForAPIName(APIName);
+};
+const resolutionForAPIName = (APIName) => {
+    if (APIName === 'succeed') {
+        return 'success';
+    }
+    if (APIName === 'fail' || APIName === 'failCause' || APIName === 'die') {
+        return 'failure';
+    }
+    if (APIName === 'delay') {
+        return 'pending';
+    }
+    return 'unknown';
+};
+/**
+ * Check whether a resolved failure is guaranteed to contain a typed Fail reason.
+ *
+ * @internal
+ */
+export const isCatchableFailure = (value, bindings, scopes) => {
+    const node = unwrappedExpression(value);
+    if (node?.type !== 'CallExpression') {
+        return false;
+    }
+    const APIName = effectCallAPIName(node, bindings.phase.effect, scopes) ||
+        directCanonicalName(node, bindings, scopes);
+    return APIName === 'fail';
+};
+/**
+ * Normalize an eager Effect call without guessing through dynamic values.
+ *
+ * @internal
+ */
+export const eagerEffectInvocation = (node, bindings, scopes) => {
+    const APIName = eagerEffectAPIName(node, bindings.phase, scopes);
+    if (APIName) {
+        return directInvocation(node, APIName);
+    }
+    return curriedInvocation(node, bindings, scopes);
+};
+const reflectedString = (target, name) => {
+    const value = Reflect.get(target, name);
+    if (typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const matchPropertyName = (property) => {
+    const key = childNode(property, 'key');
+    if (Reflect.get(property, 'computed') === true) {
+        return reflectedString(key ?? {}, 'value');
+    }
+    return identifierName(key) ?? reflectedString(key ?? {}, 'value');
+};
+const matchPropertySelection = (property, selectedName) => {
+    if (!property || property.type !== 'Property') {
+        return { isFinal: true };
+    }
+    const propertyName = matchPropertyName(property);
+    if (!propertyName) {
+        return { isFinal: true };
+    }
+    if (propertyName !== selectedName) {
+        return { isFinal: false };
+    }
+    if (Reflect.get(property, 'kind') !== 'init') {
+        return { isFinal: true };
+    }
+    return { isFinal: true, value: childNode(property, 'value') };
+};
+const matchCallbackName = (resolution) => {
+    if (resolution === 'success') {
+        return 'onSuccess';
+    }
+    return 'onFailure';
+};
+/**
+ * Pick the only match callback selected by a statically resolved input.
+ *
+ * @internal
+ */
+export const selectedMatchCallback = (options, resolution) => {
+    const object = unwrappedExpression(options);
+    if (object?.type !== 'ObjectExpression') {
+        return undefined;
+    }
+    const selectedName = matchCallbackName(resolution);
+    const properties = childNodes(object, 'properties');
+    for (let index = properties.length - 1; index >= 0; index -= 1) {
+        const selection = matchPropertySelection(properties[index], selectedName);
+        if (selection.isFinal) {
+            return selection.value;
+        }
+    }
+    return undefined;
+};
+const isSuccessCallback = (APIName, resolution) => resolution === 'success' && (APIName === 'flatMapEager' || APIName === 'mapEager');
+const isFailureCallback = (invocation, resolution, bindings, scopes) => resolution === 'failure' &&
+    invocation.APIName === 'catchEager' &&
+    isCatchableFailure(invocation.input, bindings, scopes);
+const eagerMatchCallback = (invocation, resolution) => {
+    if (invocation.APIName === 'matchCauseEffectEager' &&
+        (resolution === 'success' || resolution === 'failure')) {
+        return selectedMatchCallback(invocation.callback, resolution);
+    }
+    return undefined;
+};
+/**
+ * Select the only eager callback proven to execute during construction.
+ *
+ * @internal
+ */
+export const selectedEagerCallback = (node, bindings, scopes) => {
+    const invocation = eagerEffectInvocation(node, bindings, scopes);
+    if (!invocation?.input || !invocation.callback) {
+        return undefined;
+    }
+    const resolution = effectResolutionOf(invocation.input, bindings, scopes);
+    const matchCallback = eagerMatchCallback(invocation, resolution);
+    if (matchCallback) {
+        return matchCallback;
+    }
+    if (isSuccessCallback(invocation.APIName, resolution) ||
+        isFailureCallback(invocation, resolution, bindings, scopes)) {
+        return invocation.callback;
+    }
+    return undefined;
+};
+//# sourceMappingURL=effect-recursion-viability.js.map

package/dist/rules/effect-recursion-viability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-recursion-viability.js","sourceRoot":"","sources":["../../src/rules/effect-recursion-viability.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAGlG,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AA+B9D,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAE,OAAuB,EAAyB,EAAE;IACzF,IAAI,OAAO,KAAK,iBAAiB,EAAE,CAAC;QAClC,OAAO,EAAE,OAAO,EAAE,CAAC;IACrB,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,IAAa,EAAuB,EAAE;IAC1D,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAa,EACb,QAAkC,EAClC,MAAkB,EACU,EAAE;IAC9B,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,OAAO,KAAK,iBAAiB,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAa,EACb,SAAkB,EAC6C,EAAE;IACjE,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,QAAkC,EAClC,MAAkB,EACiB,EAAE;IACrC,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjE,IAAI,SAAS,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAAc,EACd,KAA6B,EACH,EAAE;IAC5B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAwC,CAAC;IACzE,KAAK,MAAM,OAAO,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAU,EAAE,CAAC;QAC5D,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,gBAAgB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO;QACL,cAAc,EAAE,IAAI,GAAG,CAAC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzE,gBAAgB;QAChB,KAAK;KACN,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAa,EACb,QAAkC,EAClC,MAAkB,EACE,EAAE;IACtB,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA0B,EAC1B,QAAkC,EAClC,MAAkB,EACA,EAAE;IACpB,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GACX,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;QACtD,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9C,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,OAA2B,EAAoB,EAAE;IAC7E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA0B,EAC1B,QAAkC,EAClC,MAAkB,EACT,EAAE;IACX,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GACX,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;QACtD,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9C,OAAO,OAAO,KAAK,MAAM,CAAC;AAC5B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAa,EACb,QAAkC,EAClC,MAAkB,EACiB,EAAE;IACrC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,IAAY,EAAsB,EAAE;IAC3E,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,QAAiB,EAAsB,EAAE;IAClE,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,eAAe,CAAC,GAAG,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,GAAG,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC,CAAC;AAOF,MAAM,sBAAsB,GAAG,CAC7B,QAA6B,EAC7B,YAAoB,EACI,EAAE;IAC1B,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,YAAY,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;QAC7C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,UAA4B,EAAU,EAAE;IACjE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EAC5B,UAA4B,EACP,EAAE;IACvB,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpD,KAAK,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;QAC1E,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACtB,OAAO,SAAS,CAAC,KAAK,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,OAAuB,EAAE,UAA4B,EAAW,EAAE,CAC3F,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,cAAc,IAAI,OAAO,KAAK,UAAU,CAAC,CAAC;AAErF,MAAM,iBAAiB,GAAG,CACxB,UAAiC,EACjC,UAA4B,EAC5B,QAAkC,EAClC,MAAkB,EACT,EAAE,CACX,UAAU,KAAK,SAAS;IACxB,UAAU,CAAC,OAAO,KAAK,YAAY;IACnC,kBAAkB,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAEzD,MAAM,kBAAkB,GAAG,CACzB,UAAiC,EACjC,UAA4B,EACP,EAAE;IACvB,IACE,UAAU,CAAC,OAAO,KAAK,uBAAuB;QAC9C,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,CAAC,EACtD,CAAC;QACD,OAAO,qBAAqB,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAa,EACb,QAAkC,EAClC,MAAkB,EACG,EAAE;IACvB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACjE,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IACE,iBAAiB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC;QACjD,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,EAC3D,CAAC;QACD,OAAO,UAAU,CAAC,QAAQ,CAAC;IAC7B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}