@thethracian/oxlint-config 0.3.5 → 0.4.0

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

@@ -0,0 +1,199 @@
+/* -------------------------------------------------------------------------- */
+/*   Static collection cardinality for eagerly executed Promise callbacks.    */
+/* -------------------------------------------------------------------------- */
+import { asNode, childNode, identifierName } from './effect-ast.js';
+import { memberPropertyName } from './effect-promise-callables.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const eagerArrayMethods = new Set([
+    'every',
+    'filter',
+    'find',
+    'findIndex',
+    'findLast',
+    'findLastIndex',
+    'flatMap',
+    'forEach',
+    'map',
+    'some',
+]);
+const holeVisitingArrayMethods = new Set([
+    'find',
+    'findIndex',
+    'findLast',
+    'findLastIndex',
+]);
+const UNKNOWN_CARDINALITY = -1;
+const rawNodeArray = (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;
+};
+const minimumCardinality = (cardinality) => {
+    if (cardinality < 0) {
+        return -cardinality - 1;
+    }
+    return cardinality;
+};
+const encodedCardinality = (minimum, isExact) => {
+    if (isExact) {
+        return minimum;
+    }
+    return -minimum - 1;
+};
+const combineCardinality = (left, right) => encodedCardinality(minimumCardinality(left) + minimumCardinality(right), left >= 0 && right >= 0);
+const staticSpreadLength = (element) => {
+    const spread = unwrappedExpression(childNode(element, 'argument'));
+    if (spread?.type === 'ArrayExpression') {
+        return staticArrayLength(spread);
+    }
+    return UNKNOWN_CARDINALITY;
+};
+const staticLengthContribution = (element) => {
+    if (element?.type === 'SpreadElement') {
+        return staticSpreadLength(element);
+    }
+    return 1;
+};
+const staticArrayCardinality = (array, countHoles) => {
+    const elements = Reflect.get(array, 'elements');
+    if (!Array.isArray(elements)) {
+        return 0;
+    }
+    let cardinality = 0;
+    const elementValues = elements;
+    for (const elementValue of elementValues) {
+        const element = asNode(elementValue);
+        if (element || countHoles) {
+            cardinality = combineCardinality(cardinality, staticLengthContribution(element));
+        }
+    }
+    return cardinality;
+};
+const staticArrayLength = (array) => staticArrayCardinality(array, true);
+const staticArrayIterationCount = (array) => staticArrayCardinality(array, false);
+const staticArgumentContribution = (argument) => {
+    if (argument?.type === 'SpreadElement') {
+        return staticSpreadLength(argument);
+    }
+    return 1;
+};
+const staticArgumentsCardinality = (call) => {
+    const argumentsValue = Reflect.get(call, 'arguments');
+    if (!Array.isArray(argumentsValue)) {
+        return 0;
+    }
+    let cardinality = 0;
+    const argumentValues = argumentsValue;
+    const argumentCount = argumentValues.length;
+    for (let argumentIndex = 0; argumentIndex < argumentCount; argumentIndex += 1) {
+        cardinality = combineCardinality(cardinality, staticArgumentContribution(asNode(argumentValues[argumentIndex])));
+    }
+    return cardinality;
+};
+const isNativeArrayMember = (callee, methodName, scopes, isNativeGlobal) => {
+    if (callee?.type !== 'MemberExpression' || memberPropertyName(callee) !== methodName) {
+        return false;
+    }
+    const object = childNode(callee, 'object');
+    return identifierName(object) === 'Array' && isNativeGlobal('Array', object, scopes);
+};
+const staticArrayOfCount = (call, scopes, isNativeGlobal) => {
+    if (!isNativeArrayMember(childNode(call, 'callee'), 'of', scopes, isNativeGlobal)) {
+        return UNKNOWN_CARDINALITY;
+    }
+    return staticArgumentsCardinality(call);
+};
+const memberCollectionCount = (receiver, methodName, scopes, isNativeGlobal) => {
+    const collection = unwrappedExpression(receiver);
+    if (collection?.type === 'ArrayExpression') {
+        if (holeVisitingArrayMethods.has(methodName)) {
+            return staticArrayLength(collection);
+        }
+        return staticArrayIterationCount(collection);
+    }
+    if (collection?.type === 'CallExpression') {
+        return staticArrayOfCount(collection, scopes, isNativeGlobal);
+    }
+    return UNKNOWN_CARDINALITY;
+};
+const reductionCallback = (callArguments, minimum) => {
+    if (callArguments.length > 1 && minimum > 0) {
+        return callArguments[0];
+    }
+    if (callArguments.length <= 1 && minimum > 1) {
+        return callArguments[0];
+    }
+    return undefined;
+};
+const ordinaryCollectionCallback = (callArguments, methodName, minimum) => {
+    if (eagerArrayMethods.has(methodName) && minimum > 0) {
+        return callArguments[0];
+    }
+    return undefined;
+};
+const collectionCallback = (callArguments, methodName, minimum) => {
+    if (methodName === 'reduce' || methodName === 'reduceRight') {
+        return reductionCallback(callArguments, minimum);
+    }
+    return ordinaryCollectionCallback(callArguments, methodName, minimum);
+};
+const memberArrayCallback = (call, callee, scopes, isNativeGlobal) => {
+    const methodName = memberPropertyName(callee);
+    if (!methodName) {
+        return undefined;
+    }
+    const isReduction = methodName === 'reduce' || methodName === 'reduceRight';
+    if (!isReduction && !eagerArrayMethods.has(methodName)) {
+        return undefined;
+    }
+    const count = memberCollectionCount(childNode(callee, 'object'), methodName, scopes, isNativeGlobal);
+    const minimum = minimumCardinality(count);
+    const callArguments = rawNodeArray(call, 'arguments');
+    return collectionCallback(callArguments, methodName, minimum);
+};
+const staticIterableCount = (source, scopes, isNativeGlobal) => {
+    const iterable = unwrappedExpression(source);
+    if (iterable?.type === 'ArrayExpression') {
+        return staticArrayLength(iterable);
+    }
+    if (iterable?.type === 'CallExpression') {
+        return staticArrayOfCount(iterable, scopes, isNativeGlobal);
+    }
+    return UNKNOWN_CARDINALITY;
+};
+const arrayFromCallback = (call, callee, scopes, isNativeGlobal) => {
+    if (!isNativeArrayMember(callee, 'from', scopes, isNativeGlobal)) {
+        return undefined;
+    }
+    const callArguments = rawNodeArray(call, 'arguments');
+    if (minimumCardinality(staticIterableCount(callArguments[0], scopes, isNativeGlobal)) > 0) {
+        return callArguments[1];
+    }
+    return undefined;
+};
+/**
+ * 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 const eagerCollectionCallback = (call, scopes, isNativeGlobal) => {
+    const callee = unwrappedExpression(childNode(call, 'callee'));
+    if (callee?.type !== 'MemberExpression') {
+        return undefined;
+    }
+    return (memberArrayCallback(call, callee, scopes, isNativeGlobal) ??
+        arrayFromCallback(call, callee, scopes, isNativeGlobal));
+};
+//# sourceMappingURL=effect-promise-collections.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-collections.js","sourceRoot":"","sources":["../../src/rules/effect-promise-collections.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAanE,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IACrD,OAAO;IACP,QAAQ;IACR,MAAM;IACN,WAAW;IACX,UAAU;IACV,eAAe;IACf,SAAS;IACT,SAAS;IACT,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IAC5D,MAAM;IACN,WAAW;IACX,UAAU;IACV,eAAe;CAChB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,CAAC,CAAC;AAE/B,MAAM,YAAY,GAAG,CAAC,IAAa,EAAE,GAAW,EAA2B,EAAE;IAC3E,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,MAAM,kBAAkB,GAAG,CAAC,WAAmB,EAAU,EAAE;IACzD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,OAAgB,EAAU,EAAE;IACvE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CACjE,kBAAkB,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;AAEpG,MAAM,kBAAkB,GAAG,CAAC,OAAgB,EAAU,EAAE;IACtD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACnE,IAAI,MAAM,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,OAA4B,EAAU,EAAE;IACxE,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAE,UAAmB,EAAU,EAAE;IAC7E,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,aAAa,GAAuB,QAAQ,CAAC;IACnD,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QACrC,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;YAC1B,WAAW,GAAG,kBAAkB,CAAC,WAAW,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAE1F,MAAM,yBAAyB,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEnG,MAAM,0BAA0B,GAAG,CAAC,QAA6B,EAAU,EAAE;IAC3E,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAAa,EAAU,EAAE;IAC3D,MAAM,cAAc,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,cAAc,GAAuB,cAAc,CAAC;IAC1D,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC;IAC5C,KAAK,IAAI,aAAa,GAAG,CAAC,EAAE,aAAa,GAAG,aAAa,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;QAC9E,WAAW,GAAG,kBAAkB,CAC9B,WAAW,EACX,0BAA0B,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAClE,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAA2B,EAC3B,UAAkB,EAClB,MAAkB,EAClB,cAAiC,EACxB,EAAE;IACX,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,UAAU,EAAE,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,OAAO,IAAI,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACvF,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAa,EACb,MAAkB,EAClB,cAAiC,EACzB,EAAE;IACV,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;QAClF,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAA6B,EAC7B,UAAkB,EAClB,MAAkB,EAClB,cAAiC,EACzB,EAAE;IACV,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,IAAI,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,OAAO,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,yBAAyB,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,UAAU,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC1C,OAAO,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,aAA+C,EAC/C,OAAe,EACM,EAAE;IACvB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,aAA+C,EAC/C,UAAkB,EAClB,OAAe,EACM,EAAE;IACvB,IAAI,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,aAA+C,EAC/C,UAAkB,EAClB,OAAe,EACM,EAAE;IACvB,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QAC5D,OAAO,iBAAiB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,0BAA0B,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAa,EACb,MAAe,EACf,MAAkB,EAClB,cAAiC,EACZ,EAAE;IACvB,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,aAAa,CAAC;IAC5E,IAAI,CAAC,WAAW,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,qBAAqB,CACjC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAC3B,UAAU,EACV,MAAM,EACN,cAAc,CACf,CAAC;IACF,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,OAAO,kBAAkB,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAA2B,EAC3B,MAAkB,EAClB,cAAiC,EACzB,EAAE;IACV,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,QAAQ,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACxC,OAAO,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAa,EACb,MAAe,EACf,MAAkB,EAClB,cAAiC,EACZ,EAAE;IACvB,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,IAAI,kBAAkB,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1F,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAa,EACb,MAAkB,EAClB,cAAiC,EACZ,EAAE;IACvB,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CACL,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC;QACzD,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,CACxD,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,141 @@
+import type { ArgumentValue, ParameterEnvironments } from './effect-promise-environment-types';
+/**
+ * Normal evaluation completed without reaching Promise-producing work.
+ *
+ * @internal
+ */
+export declare const COMPLETION_NORMAL = 0;
+/**
+ * A function or getter returned normally to its caller.
+ *
+ * @internal
+ */
+export declare const COMPLETION_RETURN = 1;
+/**
+ * Evaluation definitely threw before later work could execute.
+ *
+ * @internal
+ */
+export declare const COMPLETION_THROW = 2;
+/**
+ * Evaluation definitely reached Promise-producing work.
+ *
+ * @internal
+ */
+export declare const COMPLETION_UNSAFE = 3;
+/**
+ * Evaluation may complete abruptly, so later work is not provably executed.
+ *
+ * @internal
+ */
+export declare const COMPLETION_MAYBE_ABRUPT = 4;
+/**
+ * Evaluation provably does not return to its caller.
+ *
+ * @internal
+ */
+export declare const COMPLETION_NON_TERMINATING = 5;
+/**
+ * Evaluation may not return, so later work is not provably executed.
+ *
+ * @internal
+ */
+export declare const COMPLETION_MAYBE_NON_TERMINATING = 6;
+/**
+ * Exact or conservative completion from one evaluated AST path.
+ *
+ * @internal
+ */
+export type PromiseCompletion = typeof COMPLETION_NORMAL | typeof COMPLETION_RETURN | typeof COMPLETION_THROW | typeof COMPLETION_UNSAFE | typeof COMPLETION_MAYBE_ABRUPT | typeof COMPLETION_NON_TERMINATING | typeof COMPLETION_MAYBE_NON_TERMINATING;
+/**
+ * Completion together with the exact value produced by Normal or Return evaluation.
+ *
+ * @internal
+ */
+export interface PromiseEvaluation {
+    completion: PromiseCompletion;
+    value: ArgumentValue;
+}
+/**
+ * Shared value-less Normal evaluation.
+ *
+ * @internal
+ */
+export declare const NORMAL_EVALUATION: PromiseEvaluation;
+/**
+ * Shared value-less Throw evaluation.
+ *
+ * @internal
+ */
+export declare const THROW_EVALUATION: PromiseEvaluation;
+/**
+ * Shared value-less Unsafe evaluation.
+ *
+ * @internal
+ */
+export declare const UNSAFE_EVALUATION: PromiseEvaluation;
+/**
+ * Shared value-less NonTerminating evaluation.
+ *
+ * @internal
+ */
+export declare const NON_TERMINATING_EVALUATION: PromiseEvaluation;
+/**
+ * Build a Normal evaluation carrying one abstract runtime value.
+ *
+ * @internal
+ */
+export declare const normalEvaluation: (value: ArgumentValue) => PromiseEvaluation;
+/**
+ * Build a Return evaluation carrying one abstract runtime value.
+ *
+ * @internal
+ */
+export declare const returnEvaluation: (value: ArgumentValue) => PromiseEvaluation;
+/**
+ * One copy of the mutable values visible before a control-flow split.
+ *
+ * @internal
+ */
+export type PromiseEnvironmentSnapshot = readonly ReadonlyMap<string, ArgumentValue>[];
+/**
+ * Capture active invocation values before evaluating one speculative branch.
+ *
+ * @internal
+ */
+export declare const snapshotPromiseEnvironments: (environments: ParameterEnvironments) => PromiseEnvironmentSnapshot;
+/**
+ * Restore active invocation values before evaluating another feasible branch.
+ *
+ * @internal
+ */
+export declare const restorePromiseEnvironments: (environments: ParameterEnvironments, snapshot: PromiseEnvironmentSnapshot) => void;
+/**
+ * Join two abstract values without selecting either feasible branch.
+ *
+ * @param left - Value produced by the first feasible branch.
+ * @param right - Value produced by the second feasible branch.
+ * @returns Their shared exact identity or the unknown-value sentinel.
+ * @throws Does not throw.
+ * @internal
+ */
+export declare const joinedArgument: (left: ArgumentValue, right: ArgumentValue) => ArgumentValue;
+/**
+ * Join mutable values after two feasible branches without choosing either branch.
+ *
+ * @internal
+ */
+export declare const joinPromiseEnvironments: (environments: ParameterEnvironments, left: PromiseEnvironmentSnapshot, right: PromiseEnvironmentSnapshot) => void;
+/**
+ * Join completion from two feasible branches conservatively.
+ *
+ * @internal
+ */
+export declare const joinPromiseCompletions: (left: PromiseCompletion, right: PromiseCompletion) => PromiseCompletion;
+/**
+ * Join completion and value from two feasible branches conservatively.
+ *
+ * @internal
+ */
+export declare const joinPromiseEvaluations: (left: PromiseEvaluation, right: PromiseEvaluation) => PromiseEvaluation;
+//# sourceMappingURL=effect-promise-completion.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-completion.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-completion.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAI/F;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GACzB,OAAO,iBAAiB,GACxB,OAAO,iBAAiB,GACxB,OAAO,gBAAgB,GACvB,OAAO,iBAAiB,GACxB,OAAO,uBAAuB,GAC9B,OAAO,0BAA0B,GACjC,OAAO,gCAAgC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,iBAAiB,CAAC;IAC9B,KAAK,EAAE,aAAa,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,iBAG/B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,iBAG9B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,iBAG/B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,EAAE,iBAGxC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,aAAa,KAAG,iBAGtD,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,aAAa,KAAG,iBAGtD,CAAC;AAEH;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,SAAS,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;AAEvF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,qBAAqB,KAClC,0BAA+E,CAAC;AAEnF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,cAAc,qBAAqB,EACnC,UAAU,0BAA0B,KACnC,IAWF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,aAAa,EAAE,OAAO,aAAa,KAAG,aAU1E,CAAC;AAoBF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAClC,cAAc,qBAAqB,EACnC,MAAM,0BAA0B,EAChC,OAAO,0BAA0B,KAChC,IAIF,CAAC;AAUF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,iBAAiB,EACvB,OAAO,iBAAiB,KACvB,iBAWF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,iBAAiB,EACvB,OAAO,iBAAiB,KACvB,iBAMF,CAAC"}

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

@@ -0,0 +1,200 @@
+/* -------------------------------------------------------------------------- */
+/*         Explicit completion states for Promise execution analysis.         */
+/* -------------------------------------------------------------------------- */
+import { concreteArgument, isUndefinedArgument } from './effect-promise-environment-values.js';
+import { unknownArgument } from './effect-promise-environment-types.js';
+/**
+ * Normal evaluation completed without reaching Promise-producing work.
+ *
+ * @internal
+ */
+export const COMPLETION_NORMAL = 0;
+/**
+ * A function or getter returned normally to its caller.
+ *
+ * @internal
+ */
+export const COMPLETION_RETURN = 1;
+/**
+ * Evaluation definitely threw before later work could execute.
+ *
+ * @internal
+ */
+export const COMPLETION_THROW = 2;
+/**
+ * Evaluation definitely reached Promise-producing work.
+ *
+ * @internal
+ */
+export const COMPLETION_UNSAFE = 3;
+/**
+ * Evaluation may complete abruptly, so later work is not provably executed.
+ *
+ * @internal
+ */
+export const COMPLETION_MAYBE_ABRUPT = 4;
+/**
+ * Evaluation provably does not return to its caller.
+ *
+ * @internal
+ */
+export const COMPLETION_NON_TERMINATING = 5;
+/**
+ * Evaluation may not return, so later work is not provably executed.
+ *
+ * @internal
+ */
+export const COMPLETION_MAYBE_NON_TERMINATING = 6;
+/**
+ * Shared value-less Normal evaluation.
+ *
+ * @internal
+ */
+export const NORMAL_EVALUATION = {
+    completion: COMPLETION_NORMAL,
+    value: undefined,
+};
+/**
+ * Shared value-less Throw evaluation.
+ *
+ * @internal
+ */
+export const THROW_EVALUATION = {
+    completion: COMPLETION_THROW,
+    value: undefined,
+};
+/**
+ * Shared value-less Unsafe evaluation.
+ *
+ * @internal
+ */
+export const UNSAFE_EVALUATION = {
+    completion: COMPLETION_UNSAFE,
+    value: undefined,
+};
+/**
+ * Shared value-less NonTerminating evaluation.
+ *
+ * @internal
+ */
+export const NON_TERMINATING_EVALUATION = {
+    completion: COMPLETION_NON_TERMINATING,
+    value: undefined,
+};
+/**
+ * Build a Normal evaluation carrying one abstract runtime value.
+ *
+ * @internal
+ */
+export const normalEvaluation = (value) => ({
+    completion: COMPLETION_NORMAL,
+    value,
+});
+/**
+ * Build a Return evaluation carrying one abstract runtime value.
+ *
+ * @internal
+ */
+export const returnEvaluation = (value) => ({
+    completion: COMPLETION_RETURN,
+    value,
+});
+/**
+ * Capture active invocation values before evaluating one speculative branch.
+ *
+ * @internal
+ */
+export const snapshotPromiseEnvironments = (environments) => environments.map(({ values }) => new Map(values));
+/**
+ * Restore active invocation values before evaluating another feasible branch.
+ *
+ * @internal
+ */
+export const restorePromiseEnvironments = (environments, snapshot) => {
+    for (let index = 0; index < environments.length; index += 1) {
+        const values = environments[index]?.values;
+        const saved = snapshot[index];
+        if (values && saved) {
+            values.clear();
+            for (const [name, value] of saved) {
+                values.set(name, value);
+            }
+        }
+    }
+};
+/**
+ * Join two abstract values without selecting either feasible branch.
+ *
+ * @param left - Value produced by the first feasible branch.
+ * @param right - Value produced by the second feasible branch.
+ * @returns Their shared exact identity or the unknown-value sentinel.
+ * @throws Does not throw.
+ * @internal
+ */
+export const joinedArgument = (left, right) => {
+    if (left === right || (isUndefinedArgument(left) && isUndefinedArgument(right))) {
+        return left;
+    }
+    const leftConcrete = concreteArgument(left);
+    const rightConcrete = concreteArgument(right);
+    if (leftConcrete?.node === rightConcrete?.node) {
+        return left;
+    }
+    return unknownArgument;
+};
+const joinEnvironmentAt = (environments, left, right, index) => {
+    const values = environments[index]?.values;
+    const leftValues = left[index];
+    const rightValues = right[index];
+    if (!values || !leftValues || !rightValues) {
+        return;
+    }
+    values.clear();
+    for (const name of new Set([...leftValues.keys(), ...rightValues.keys()])) {
+        values.set(name, joinedArgument(leftValues.get(name), rightValues.get(name)));
+    }
+};
+/**
+ * Join mutable values after two feasible branches without choosing either branch.
+ *
+ * @internal
+ */
+export const joinPromiseEnvironments = (environments, left, right) => {
+    for (let index = 0; index < environments.length; index += 1) {
+        joinEnvironmentAt(environments, left, right, index);
+    }
+};
+const isNonTerminatingCompletion = (completion) => completion === COMPLETION_NON_TERMINATING || completion === COMPLETION_MAYBE_NON_TERMINATING;
+const isAbruptCompletion = (completion) => completion === COMPLETION_THROW ||
+    completion === COMPLETION_RETURN ||
+    completion === COMPLETION_MAYBE_ABRUPT;
+/**
+ * Join completion from two feasible branches conservatively.
+ *
+ * @internal
+ */
+export const joinPromiseCompletions = (left, right) => {
+    if (left === right) {
+        return left;
+    }
+    if (isNonTerminatingCompletion(left) || isNonTerminatingCompletion(right)) {
+        return COMPLETION_MAYBE_NON_TERMINATING;
+    }
+    if (isAbruptCompletion(left) || isAbruptCompletion(right)) {
+        return COMPLETION_MAYBE_ABRUPT;
+    }
+    return COMPLETION_NORMAL;
+};
+/**
+ * Join completion and value from two feasible branches conservatively.
+ *
+ * @internal
+ */
+export const joinPromiseEvaluations = (left, right) => {
+    const completion = joinPromiseCompletions(left.completion, right.completion);
+    if (completion === COMPLETION_NORMAL || completion === COMPLETION_RETURN) {
+        return { completion, value: joinedArgument(left.value, right.value) };
+    }
+    return { completion, value: undefined };
+};
+//# sourceMappingURL=effect-promise-completion.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-completion.js","sourceRoot":"","sources":["../../src/rules/effect-promise-completion.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAGhF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AA0BlD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsB;IAClD,UAAU,EAAE,iBAAiB;IAC7B,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsB;IACjD,UAAU,EAAE,gBAAgB;IAC5B,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsB;IAClD,UAAU,EAAE,iBAAiB;IAC7B,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IAC3D,UAAU,EAAE,0BAA0B;IACtC,KAAK,EAAE,SAAS;CACjB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAoB,EAAqB,EAAE,CAAC,CAAC;IAC5E,UAAU,EAAE,iBAAiB;IAC7B,KAAK;CACN,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAoB,EAAqB,EAAE,CAAC,CAAC;IAC5E,UAAU,EAAE,iBAAiB;IAC7B,KAAK;CACN,CAAC,CAAC;AASH;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAmC,EACP,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAEnF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAmC,EACnC,QAAoC,EAC9B,EAAE;IACR,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAmB,EAAE,KAAoB,EAAiB,EAAE;IACzF,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,YAAY,EAAE,IAAI,KAAK,aAAa,EAAE,IAAI,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,YAAmC,EACnC,IAAgC,EAChC,KAAiC,EACjC,KAAa,EACP,EAAE;IACR,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAmC,EACnC,IAAgC,EAChC,KAAiC,EAC3B,EAAE;IACR,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,iBAAiB,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,UAA6B,EAAW,EAAE,CAC5E,UAAU,KAAK,0BAA0B,IAAI,UAAU,KAAK,gCAAgC,CAAC;AAE/F,MAAM,kBAAkB,GAAG,CAAC,UAA6B,EAAW,EAAE,CACpE,UAAU,KAAK,gBAAgB;IAC/B,UAAU,KAAK,iBAAiB;IAChC,UAAU,KAAK,uBAAuB,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuB,EACvB,KAAwB,EACL,EAAE;IACrB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuB,EACvB,KAAwB,EACL,EAAE;IACrB,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7E,IAAI,UAAU,KAAK,iBAAiB,IAAI,UAAU,KAAK,iBAAiB,EAAE,CAAC;QACzE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1C,CAAC,CAAC"}

package/dist/rules/effect-promise-environment-projections.d.ts

@@ -0,0 +1,23 @@
+import type { ArgumentValue, BoundArgument, ExecutionArguments, ParameterGetter } from './effect-promise-environment-types';
+/**
+ * A statically projected property value and any getter executed by the read.
+ *
+ * @internal
+ */
+export interface PropertyRead {
+    getter?: ParameterGetter;
+    value: ArgumentValue;
+}
+/**
+ * Project one statically known object property from an abstract value.
+ *
+ * @internal
+ */
+export declare const objectPropertyRead: (value: ArgumentValue, propertyName: string) => PropertyRead;
+/**
+ * Expand a statically known array expression until its cardinality is unknown.
+ *
+ * @internal
+ */
+export declare const arrayValues: (array: BoundArgument) => ExecutionArguments;
+//# sourceMappingURL=effect-promise-environment-projections.d.ts.map

package/dist/rules/effect-promise-environment-projections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-environment-projections.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-environment-projections.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,eAAe,EAChB,MAAM,oCAAoC,CAAC;AAU5C;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,aAAa,CAAC;CACtB;AAuMD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,aAAa,EAAE,cAAc,MAAM,KAAG,YAa/E,CAAC;AA0BF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,aAAa,KAAG,kBAQlD,CAAC"}