@thethracian/oxlint-config 0.3.6 → 0.4.0

package/dist/rules/effect-promise-runtime-statements.js

@@ -0,0 +1,251 @@
+/* -------------------------------------------------------------------------- */
+/*        Statement flow for the Effect runtime abstract interpreter.         */
+/* -------------------------------------------------------------------------- */
+import { RUNTIME_BREAK, RUNTIME_CONTINUE, RUNTIME_NORMAL, RUNTIME_RETURN, RUNTIME_THROW, unknownRuntimeValue, } from './effect-promise-runtime-model.js';
+import { asNode, childNode, childNodes, identifierName } from './effect-ast.js';
+import { bindCurrentRuntimePattern, predeclareRuntimePattern, } from './effect-promise-runtime-control-patterns.js';
+import { applyRuntimeScalarUpdate } from './effect-promise-runtime-control-scalars.js';
+import { containerHelperScopes } from './effect-promise-callables.js';
+import { continueRuntimeResult } from './effect-promise-runtime-control-completions.js';
+import { executeRuntimeControlStatement } from './effect-promise-runtime-control-flow.js';
+import { unwrappedExpression } from './effect-boundary-ast-shared.js';
+const NORMAL_RESULT = { completion: RUNTIME_NORMAL, value: undefined };
+const nodeOffset = (node) => {
+    const start = Reflect.get(node, 'start');
+    if (typeof start === 'number') {
+        return start;
+    }
+    return -1;
+};
+const captureCallableChild = (host, value, scopes) => {
+    if (Array.isArray(value)) {
+        captureCallableArray(host, value, scopes);
+        return;
+    }
+    const child = asNode(value);
+    if (!child) {
+        return;
+    }
+    if (isRuntimeFunction(child)) {
+        host.captures.set(child, scopes);
+        return;
+    }
+    captureCallableChildren(host, child, scopes);
+};
+const captureCallableArray = (host, values, scopes) => {
+    for (const value of values) {
+        captureCallableChild(host, value, scopes);
+    }
+};
+const isRuntimeFunction = (node) => node.type === 'ArrowFunctionExpression' || node.type === 'FunctionExpression';
+const captureCallableChildren = (host, node, scopes) => {
+    for (const key of host.input.visitorKeys?.[node.type] ?? Object.keys(node)) {
+        captureCallableChild(host, Reflect.get(node, key), scopes);
+    }
+};
+const captureInitializer = (host, initializer, scopes) => {
+    const expression = unwrappedExpression(initializer);
+    if (!expression) {
+        return;
+    }
+    if (isRuntimeFunction(expression)) {
+        host.captures.set(expression, scopes);
+        return;
+    }
+    if (expression.type === 'ObjectExpression' || expression.type === 'ClassExpression') {
+        captureCallableChildren(host, expression, scopes);
+    }
+};
+const declarationValue = (host, initializer, context) => {
+    const expression = unwrappedExpression(initializer);
+    if (expression?.type === 'ArrayExpression' || expression?.type === 'ObjectExpression') {
+        return host.visit(expression, context);
+    }
+    if (initializer) {
+        return host.visit(initializer, context);
+    }
+    return NORMAL_RESULT;
+};
+const recordTaskSite = (host, value, helperScopes) => {
+    if (value && typeof value !== 'symbol' && 'kind' in value && value.kind === 'task') {
+        host.sites.push({ helperScopes, syncCall: value.syncCall });
+    }
+};
+const finishDeclarator = (host, declarator, initializer, result, context) => {
+    const value = declaredRuntimeValue(initializer, result.value);
+    const binding = bindCurrentRuntimePattern(host, childNode(declarator, 'id'), value, context);
+    if (binding.completion !== RUNTIME_NORMAL) {
+        return binding;
+    }
+    captureInitializer(host, initializer, context.taskScopes);
+    recordTaskSite(host, result.value, context.helperScopes);
+    return NORMAL_RESULT;
+};
+const executeDeclarator = (host, declarator, context) => {
+    const initializer = childNode(declarator, 'init');
+    const result = declarationValue(host, initializer, context);
+    if (result.completion !== RUNTIME_NORMAL) {
+        return result;
+    }
+    return finishDeclarator(host, declarator, initializer, result, context);
+};
+const declaredRuntimeValue = (initializer, value) => {
+    if (initializer) {
+        return value;
+    }
+    return unknownRuntimeValue;
+};
+const variableDeclaration = (host, node, context) => {
+    for (const declarator of childNodes(node, 'declarations')) {
+        const result = executeDeclarator(host, declarator, context);
+        if (result.completion !== RUNTIME_NORMAL) {
+            return result;
+        }
+    }
+    return NORMAL_RESULT;
+};
+const abruptStatement = (host, node, context) => {
+    if (node.type === 'ReturnStatement') {
+        return returnStatement(host, node, context);
+    }
+    if (node.type === 'ThrowStatement') {
+        return throwStatement(host, node, context);
+    }
+    if (node.type === 'BreakStatement') {
+        return targetedCompletion(RUNTIME_BREAK, node);
+    }
+    if (node.type === 'ContinueStatement') {
+        return targetedCompletion(RUNTIME_CONTINUE, node);
+    }
+    return undefined;
+};
+const targetedCompletion = (completion, node) => ({
+    completion,
+    target: identifierName(childNode(node, 'label')),
+    value: undefined,
+});
+const returnStatement = (host, node, context) => {
+    const result = host.optionalChild(node, 'argument', context);
+    if (result.completion === RUNTIME_NORMAL) {
+        return { completion: RUNTIME_RETURN, value: result.value };
+    }
+    return result;
+};
+const throwStatement = (host, node, context) => {
+    const result = host.optionalChild(node, 'argument', context);
+    if (result.completion === RUNTIME_NORMAL) {
+        return { completion: RUNTIME_THROW, value: result.value };
+    }
+    return result;
+};
+const declarationStatement = (host, node, context) => {
+    if (node.type === 'FunctionDeclaration') {
+        return NORMAL_RESULT;
+    }
+    if (node.type === 'VariableDeclaration') {
+        return variableDeclaration(host, node, context);
+    }
+    if (node.type === 'ClassDeclaration') {
+        captureCallableChildren(host, node, context.taskScopes);
+        return NORMAL_RESULT;
+    }
+    return undefined;
+};
+/**
+ * Execute one runtime statement with exact abrupt completion.
+ *
+ * @internal
+ */
+export const executeRuntimeStatement = (host, node, context) => {
+    const control = executeRuntimeControlStatement(host, node, context);
+    if (control) {
+        return control;
+    }
+    const declaration = declarationStatement(host, node, context);
+    if (declaration) {
+        return declaration;
+    }
+    if (node.type === 'BlockStatement') {
+        return executeRuntimeContainer(host, node, context);
+    }
+    return abruptStatement(host, node, context) ?? host.visit(node, context);
+};
+const predeclareVariables = (statements, scope) => {
+    for (const statement of statements) {
+        predeclareStatement(statement, scope);
+    }
+};
+const predeclareStatement = (statement, scope) => {
+    if (statement.type !== 'VariableDeclaration') {
+        return;
+    }
+    let initial = unknownRuntimeValue;
+    if (Reflect.get(statement, 'kind') === 'var') {
+        initial = undefined;
+    }
+    for (const declarator of childNodes(statement, 'declarations')) {
+        predeclareRuntimePattern(childNode(declarator, 'id'), initial, scope);
+    }
+};
+const captureFunctionDeclarations = (host, statements, scopes) => {
+    for (const statement of statements) {
+        if (statement.type === 'FunctionDeclaration') {
+            host.captures.set(statement, scopes);
+        }
+    }
+};
+const updateRuntimeOffsets = (statement, context) => {
+    const offset = nodeOffset(statement);
+    for (const runtimeScope of context.runtimeScopes) {
+        context.offsets.set(runtimeScope, offset);
+    }
+};
+const executeStatementsFrom = (host, statements, context, index) => {
+    const statement = statements[index];
+    if (!statement) {
+        return NORMAL_RESULT;
+    }
+    updateRuntimeOffsets(statement, context);
+    const result = executeRuntimeStatement(host, statement, context);
+    if (result.completion === RUNTIME_NORMAL && !result.outcomes) {
+        applyRuntimeScalarUpdate(host, statement, context);
+        return executeStatementsFrom(host, statements, context, index + 1);
+    }
+    return continueRuntimeResult(host, result, context, () => executeStatementsFrom(host, statements, context, index + 1));
+};
+const executeStatements = (host, statements, context) => executeStatementsFrom(host, statements, context, 0);
+const hasRuntimeDeclarations = (statements) => statements.some((statement) => statement.type === 'VariableDeclaration');
+const containerTaskScopes = (host, statements, inherited, helperScopes) => {
+    if (helperScopes.length === inherited.helperScopes.length &&
+        !hasRuntimeDeclarations(statements)) {
+        return inherited.taskScopes;
+    }
+    const helperScope = helperScopes[helperScopes.length - 1] ?? new Map();
+    const scope = { helperScope, values: new Map() };
+    host.state.scopes.add(scope);
+    predeclareVariables(statements, scope);
+    return [...inherited.taskScopes, scope];
+};
+/**
+ * Execute a statement container with declaration-scope callable capture.
+ *
+ * @internal
+ */
+export const executeRuntimeContainer = (host, node, inherited) => {
+    const statements = childNodes(node, 'body');
+    const helperScopes = containerHelperScopes(node, [], inherited.helperScopes);
+    const taskScopes = containerTaskScopes(host, statements, inherited, helperScopes);
+    captureFunctionDeclarations(host, statements, taskScopes);
+    const context = {
+        helperScopes,
+        offsets: new Map(inherited.offsets),
+        runtimeScopes: [
+            ...inherited.runtimeScopes,
+            ...helperScopes.slice(inherited.helperScopes.length),
+        ],
+        taskScopes,
+        thisValue: inherited.thisValue,
+    };
+    return executeStatements(host, statements, context);
+};
+//# sourceMappingURL=effect-promise-runtime-statements.js.map

package/dist/rules/effect-promise-runtime-statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-statements.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-statements.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,aAAa,EACb,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAQxC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EACL,yBAAyB,EACzB,wBAAwB,GACzB,MAAM,2CAA2C,CAAC;AAGnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AACrF,OAAO,EAAE,8BAA8B,EAAE,MAAM,uCAAuC,CAAC;AACvF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,MAAM,aAAa,GAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAEtF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAU,EAAE;IAC3C,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,KAAc,EACd,MAA+B,EACzB,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,OAAO;IACT,CAAC;IACD,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,MAA0B,EAC1B,MAA+B,EACzB,EAAE;IACR,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;AAEhF,MAAM,uBAAuB,GAAG,CAC9B,IAA0B,EAC1B,IAAa,EACb,MAA+B,EACzB,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAA0B,EAC1B,WAAgC,EAChC,MAA+B,EACzB,EAAE;IACR,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,IAAI,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpF,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,WAAgC,EAChC,OAAgC,EACjB,EAAE;IACjB,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,UAAU,EAAE,IAAI,KAAK,iBAAiB,IAAI,UAAU,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,KAAmB,EACnB,YAA0B,EACpB,EAAE;IACR,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACnF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAA0B,EAC1B,UAAmB,EACnB,WAAgC,EAChC,MAAqB,EACrB,OAAgC,EACjB,EAAE;IACjB,MAAM,KAAK,GAAG,oBAAoB,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7F,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC1D,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACzD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,UAAmB,EACnB,OAAgC,EACjB,EAAE;IACjB,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,WAAgC,EAChC,KAAmB,EACL,EAAE;IAChB,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACL,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,UAA0D,EAC1D,IAAa,EACE,EAAE,CAAC,CAAC;IACnB,UAAU;IACV,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,KAAK,EAAE,SAAS;CACjB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CACtB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;QACzC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACL,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,OAAO,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0B,EAC1B,IAAa,EACb,OAAgC,EACjB,EAAE;IACjB,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,UAA8B,EAAE,KAAmB,EAAQ,EAAE;IACxF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,SAAkB,EAAE,KAAmB,EAAQ,EAAE;IAC5E,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,IAAI,OAAO,GAAiB,mBAAmB,CAAC;IAChD,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAC7C,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;QAC/D,wBAAwB,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACxE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAA0B,EAC1B,UAA8B,EAC9B,MAA+B,EACzB,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,SAAkB,EAAE,OAAgC,EAAQ,EAAE;IAC1F,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACrC,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QACjD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAA0B,EAC1B,UAA8B,EAC9B,OAAgC,EAChC,KAAa,EACE,EAAE;IACjB,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,oBAAoB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC7D,wBAAwB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,qBAAqB,CAC1B,IAAI,EACJ,MAAM,EACN,OAAO,EACP,GAAkB,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CACjF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA0B,EAC1B,UAA8B,EAC9B,OAAgC,EACjB,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,sBAAsB,GAAG,CAAC,UAA8B,EAAW,EAAE,CACzE,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC;AAEpF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,UAA8B,EAC9B,SAAkC,EAClC,YAA0B,EACD,EAAE;IAC3B,IACE,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,YAAY,CAAC,MAAM;QACrD,CAAC,sBAAsB,CAAC,UAAU,CAAC,EACnC,CAAC;QACD,OAAO,SAAS,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IACvE,MAAM,KAAK,GAAiB,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7B,mBAAmB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0B,EAC1B,IAAa,EACb,SAAkC,EACnB,EAAE;IACjB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAClF,2BAA2B,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1D,MAAM,OAAO,GAA4B;QACvC,YAAY;QACZ,OAAO,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC;QACnC,aAAa,EAAE;YACb,GAAG,SAAS,CAAC,aAAa;YAC1B,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC;SACrD;QACD,UAAU;QACV,SAAS,EAAE,SAAS,CAAC,SAAS;KAC/B,CAAC;IACF,OAAO,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACtD,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-store.d.ts

@@ -0,0 +1,44 @@
+import type { RuntimeExecution, RuntimeScope, RuntimeSnapshot, RuntimeState, RuntimeStoreSnapshot } from './effect-promise-runtime-model';
+/**
+ * Capture values and heap without coupling memo entries to caller proofs.
+ *
+ * @internal
+ */
+export declare const snapshotRuntimeStore: (state: RuntimeState, visibleScopes?: Iterable<RuntimeScope>) => RuntimeStoreSnapshot;
+/**
+ * Capture every live binding and must-execute event.
+ *
+ * @internal
+ */
+export declare const snapshotRuntimeState: (state: RuntimeState, visibleScopes?: Iterable<RuntimeScope>) => RuntimeSnapshot;
+/**
+ * Restore a prior transactional runtime state.
+ *
+ * @internal
+ */
+export declare const restoreRuntimeState: (state: RuntimeState, snapshot: RuntimeSnapshot) => void;
+/**
+ * Join two feasible branch states and retain only task runs common to both.
+ *
+ * @internal
+ */
+export declare const joinRuntimeStates: (state: RuntimeState, baseline: RuntimeSnapshot, left: RuntimeSnapshot, right: RuntimeSnapshot) => void;
+/**
+ * Append one exact execution to the sequential proof for its declaration.
+ *
+ * @internal
+ */
+export declare const appendRuntimeExecution: (state: RuntimeState, execution: RuntimeExecution) => void;
+/**
+ * Compare exact visible values for recursion and completed-state memoization.
+ *
+ * @internal
+ */
+export declare const sameRuntimeSnapshotValues: (left: RuntimeStoreSnapshot, right: RuntimeStoreSnapshot) => boolean;
+/**
+ * Compare proof roots by normalized pointer identity.
+ *
+ * @internal
+ */
+export declare const sameRuntimeSnapshotProofs: (left: RuntimeSnapshot, right: RuntimeSnapshot) => boolean;
+//# sourceMappingURL=effect-promise-runtime-store.d.ts.map

package/dist/rules/effect-promise-runtime-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-store.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-store.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAgBxC;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,YAAY,EACnB,gBAAe,QAAQ,CAAC,YAAY,CAAgB,KACnD,oBAUF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,YAAY,EACnB,gBAAe,QAAQ,CAAC,YAAY,CAAgB,KACnD,eAGD,CAAC;AAYH;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,YAAY,EAAE,UAAU,eAAe,KAAG,IAapF,CAAC;AAwEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,YAAY,EACnB,UAAU,eAAe,EACzB,MAAM,eAAe,EACrB,OAAO,eAAe,KACrB,IAiBF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,OAAO,YAAY,EAAE,WAAW,gBAAgB,KAAG,IAGzF,CAAC;AA8BF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,oBAAoB,EAC1B,OAAO,oBAAoB,KAC1B,OAcF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,eAAe,EACrB,OAAO,eAAe,KACrB,OAUF,CAAC"}

package/dist/rules/effect-promise-runtime-store.js

@@ -0,0 +1,186 @@
+/* -------------------------------------------------------------------------- */
+/*       Transactional store snapshots and bounded control-flow joins.        */
+/* -------------------------------------------------------------------------- */
+import { joinRuntimeValueChoice } from './effect-promise-runtime-choice.js';
+import { runtimeFalseProof } from './effect-promise-runtime-proof.js';
+const snapshotMembers = (source) => {
+    const snapshot = new Map();
+    for (const [reference, members] of source) {
+        snapshot.set(reference, new Map(members));
+    }
+    return snapshot;
+};
+/**
+ * Capture values and heap without coupling memo entries to caller proofs.
+ *
+ * @internal
+ */
+export const snapshotRuntimeStore = (state, visibleScopes = state.scopes) => {
+    const values = new Map();
+    for (const scope of visibleScopes) {
+        values.set(scope, new Map(scope.values));
+    }
+    return {
+        choiceMembers: snapshotMembers(state.choiceMembers),
+        heap: snapshotMembers(state.heap),
+        values,
+    };
+};
+/**
+ * Capture every live binding and must-execute event.
+ *
+ * @internal
+ */
+export const snapshotRuntimeState = (state, visibleScopes = state.scopes) => ({
+    ...snapshotRuntimeStore(state, visibleScopes),
+    proofs: new Map(state.proofs),
+});
+const restoreMembers = (target, source) => {
+    target.clear();
+    for (const [reference, members] of source) {
+        target.set(reference, new Map(members));
+    }
+};
+/**
+ * Restore a prior transactional runtime state.
+ *
+ * @internal
+ */
+export const restoreRuntimeState = (state, snapshot) => {
+    state.proofs.clear();
+    for (const [syncCall, proof] of snapshot.proofs) {
+        state.proofs.set(syncCall, proof);
+    }
+    restoreMembers(state.heap, snapshot.heap);
+    restoreMembers(state.choiceMembers, snapshot.choiceMembers);
+    for (const [scope, saved] of snapshot.values) {
+        scope.values.clear();
+        for (const [name, value] of saved) {
+            scope.values.set(name, value);
+        }
+    }
+};
+const joinedMembers = (left, right) => {
+    const joined = new Map();
+    for (const name of new Set([...left.keys(), ...right.keys()])) {
+        joined.set(name, joinRuntimeValueChoice(left.get(name), right.get(name)));
+    }
+    return joined;
+};
+const joinedBranchLocalMembers = (left, right) => {
+    if (!left || !right) {
+        return new Map(left ?? right);
+    }
+    return joinedMembers(left, right);
+};
+const joinedReferenceMembers = (reference, baseline, left, right) => {
+    const initial = baseline.get(reference);
+    const leftMembers = left.get(reference);
+    const rightMembers = right.get(reference);
+    if (!initial) {
+        return joinedBranchLocalMembers(leftMembers, rightMembers);
+    }
+    return joinedMembers(leftMembers ?? initial, rightMembers ?? initial);
+};
+const joinReferenceStore = (target, baseline, left, right) => {
+    for (const reference of new Set([...left.keys(), ...right.keys()])) {
+        target.set(reference, joinedReferenceMembers(reference, baseline, left, right));
+    }
+};
+const joinScopeValues = (target, left, right) => {
+    target.values.clear();
+    for (const name of new Set([...left.keys(), ...right.keys()])) {
+        target.values.set(name, joinRuntimeValueChoice(left.get(name), right.get(name)));
+    }
+};
+const joinRuntimeProofs = (state, left, right) => {
+    for (const syncCall of new Set([...left.proofs.keys(), ...right.proofs.keys()])) {
+        const leftProof = left.proofs.get(syncCall) ?? runtimeFalseProof;
+        const rightProof = right.proofs.get(syncCall) ?? runtimeFalseProof;
+        const proof = state.factory.all(leftProof, rightProof);
+        if (proof.kind !== 'false') {
+            state.proofs.set(syncCall, proof);
+        }
+    }
+};
+/**
+ * Join two feasible branch states and retain only task runs common to both.
+ *
+ * @internal
+ */
+export const joinRuntimeStates = (state, baseline, left, right) => {
+    restoreRuntimeState(state, baseline);
+    for (const [scope, baselineValues] of baseline.values) {
+        joinScopeValues(scope, left.values.get(scope) ?? baselineValues, right.values.get(scope) ?? baselineValues);
+    }
+    joinReferenceStore(state.heap, baseline.heap, left.heap, right.heap);
+    joinReferenceStore(state.choiceMembers, baseline.choiceMembers, left.choiceMembers, right.choiceMembers);
+    joinRuntimeProofs(state, left, right);
+};
+/**
+ * Append one exact execution to the sequential proof for its declaration.
+ *
+ * @internal
+ */
+export const appendRuntimeExecution = (state, execution) => {
+    const previous = state.proofs.get(execution.syncCall) ?? runtimeFalseProof;
+    state.proofs.set(execution.syncCall, state.factory.any(previous, state.factory.event(execution)));
+};
+const sameMembers = (left, right) => {
+    if (left.size !== right.size) {
+        return false;
+    }
+    for (const [name, value] of left) {
+        if (!right.has(name) || right.get(name) !== value) {
+            return false;
+        }
+    }
+    return true;
+};
+const sameReferenceStore = (left, right) => {
+    if (left.size !== right.size) {
+        return false;
+    }
+    for (const [reference, leftMembers] of left) {
+        const rightMembers = right.get(reference);
+        if (!rightMembers || !sameMembers(leftMembers, rightMembers)) {
+            return false;
+        }
+    }
+    return true;
+};
+/**
+ * Compare exact visible values for recursion and completed-state memoization.
+ *
+ * @internal
+ */
+export const sameRuntimeSnapshotValues = (left, right) => {
+    if (left.values.size !== right.values.size) {
+        return false;
+    }
+    for (const [scope, leftValues] of left.values) {
+        const rightValues = right.values.get(scope);
+        if (!rightValues || !sameMembers(leftValues, rightValues)) {
+            return false;
+        }
+    }
+    return (sameReferenceStore(left.heap, right.heap) &&
+        sameReferenceStore(left.choiceMembers, right.choiceMembers));
+};
+/**
+ * Compare proof roots by normalized pointer identity.
+ *
+ * @internal
+ */
+export const sameRuntimeSnapshotProofs = (left, right) => {
+    if (left.proofs.size !== right.proofs.size) {
+        return false;
+    }
+    for (const [syncCall, proof] of left.proofs) {
+        if (right.proofs.get(syncCall) !== proof) {
+            return false;
+        }
+    }
+    return true;
+};
+//# sourceMappingURL=effect-promise-runtime-store.js.map

package/dist/rules/effect-promise-runtime-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-store.js","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-store.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAUhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAInE,MAAM,eAAe,GAAG,CACtB,MAAwC,EACd,EAAE;IAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QAC1C,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAmB,EACnB,gBAAwC,KAAK,CAAC,MAAM,EAC9B,EAAE;IACxB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC;QACnD,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QACjC,MAAM;KACP,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAmB,EACnB,gBAAwC,KAAK,CAAC,MAAM,EACnC,EAAE,CAAC,CAAC;IACrB,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC;IAC7C,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;CAC9B,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,MAA2C,EAC3C,MAAwC,EAClC,EAAE;IACR,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAmB,EAAE,QAAyB,EAAQ,EAAE;IAC1F,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACrB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChD,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1C,cAAc,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YAClC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAA6B,EAAE;IAC/F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAgC,EAChC,KAAiC,EACN,EAAE;IAC7B,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAc,EACd,QAA0C,EAC1C,IAAsC,EACtC,KAAuC,EACZ,EAAE;IAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,wBAAwB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,aAAa,CAAC,WAAW,IAAI,OAAO,EAAE,YAAY,IAAI,OAAO,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAA2C,EAC3C,QAA0C,EAC1C,IAAsC,EACtC,KAAuC,EACjC,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,MAAoB,EACpB,IAAoB,EACpB,KAAqB,EACf,EAAE;IACR,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAmB,EACnB,IAAqB,EACrB,KAAsB,EAChB,EAAE;IACR,KAAK,MAAM,QAAQ,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC;QACjE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAmB,EACnB,QAAyB,EACzB,IAAqB,EACrB,KAAsB,EAChB,EAAE;IACR,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtD,eAAe,CACb,KAAK,EACL,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,EACxC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAC1C,CAAC;IACJ,CAAC;IACD,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,kBAAkB,CAChB,KAAK,CAAC,aAAa,EACnB,QAAQ,CAAC,aAAa,EACtB,IAAI,CAAC,aAAa,EAClB,KAAK,CAAC,aAAa,CACpB,CAAC;IACF,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAmB,EAAE,SAA2B,EAAQ,EAAE;IAC/F,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC;IAC3E,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAW,EAAE;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAsC,EACtC,KAAuC,EAC9B,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;YAC7D,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,KAA2B,EAClB,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,CACL,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QACzC,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAC5D,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAqB,EACrB,KAAsB,EACb,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5C,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/rules/effect-promise-runtime-structures.d.ts

@@ -0,0 +1,9 @@
+import type { RuntimeExecutionContext, RuntimeResult, RuntimeStatementHost } from './effect-promise-runtime-model';
+import type { ASTNode } from './effect-ast';
+/**
+ * Evaluate an object or array literal, or decline another expression.
+ *
+ * @internal
+ */
+export declare const runtimeStructure: (host: RuntimeStatementHost, node: ASTNode, context: RuntimeExecutionContext) => RuntimeResult | undefined;
+//# sourceMappingURL=effect-promise-runtime-structures.d.ts.map

package/dist/rules/effect-promise-runtime-structures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-promise-runtime-structures.d.ts","sourceRoot":"","sources":["../../src/rules/effect-promise-runtime-structures.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,uBAAuB,EAEvB,aAAa,EACb,oBAAoB,EAErB,MAAM,gCAAgC,CAAC;AAaxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA4O5C;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,oBAAoB,EAC1B,MAAM,OAAO,EACb,SAAS,uBAAuB,KAC/B,aAAa,GAAG,SAQlB,CAAC"}