@thethracian/oxlint-config 0.3.5 → 0.4.0

package/dist/rules/effect-strict-ast-helpers.d.ts

@@ -0,0 +1,82 @@
+interface RuleContext {
+    report: (descriptor: {
+        loc?: {
+            column: number;
+            line: number;
+        };
+        message: string;
+        node: object;
+    }) => void;
+}
+type ASTValue = boolean | null | number | object | string | undefined;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const reportAST: (context: RuleContext, message: string, node: object) => void;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const objectValue: (node: ASTValue, key: string) => ASTValue;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const arrayValue: (node: ASTValue) => ASTValue[];
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const nodeType: (node: ASTValue) => string | undefined;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const identifierName: (node: ASTValue) => string | undefined;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const literalValue: (node: ASTValue) => ASTValue;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const isVoidZero: (node: ASTValue) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const isMember: (node: ASTValue, objectName: string, propertyName: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const isSchemaMember: (node: ASTValue, source: string, propertyName: string) => boolean;
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const effectCallPredicate: (source: string, names: readonly string[]) => ((callee: ASTValue) => boolean);
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export declare const serviceKeyFromClass: (node: ASTValue, source: string) => {
+    className?: string;
+    key?: string;
+};
+export {};
+//# sourceMappingURL=effect-strict-ast-helpers.d.ts.map

package/dist/rules/effect-strict-ast-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-strict-ast-helpers.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-helpers.ts"],"names":[],"mappings":"AAMA,UAAU,WAAW;IACnB,MAAM,EAAE,CAAC,UAAU,EAAE;QACnB,GAAG,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;KACd,KAAK,IAAI,CAAC;CACZ;AAED,KAAK,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAItE;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,SAAS,WAAW,EAAE,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,IAE/E,CAAC;AAKF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,QAAQ,EAAE,KAAK,MAAM,KAAG,QASzD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,KAAG,QAAQ,EAKnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,QAAQ,KAAG,MAAM,GAAG,SAMlD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,QAAQ,KAAG,MAAM,GAAG,SASxD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,QAAQ,KAAG,QAK7C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,KAAG,OAO3C,CAAC;AAYF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,QAAQ,EAAE,YAAY,MAAM,EAAE,cAAc,MAAM,KAAG,OAGnF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,QAAQ,EAAE,QAAQ,MAAM,EAAE,cAAc,MAAM,KAAG,OAOrF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,OAAO,SAAS,MAAM,EAAE,KACvB,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,OAAO,CAkBhC,CAAC;AAqEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,QAAQ,EACd,QAAQ,MAAM,KACb;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAepC,CAAC"}

package/dist/rules/effect-strict-ast-helpers.js

@@ -0,0 +1,194 @@
+/* -------------------------------------------------------------------------- */
+/*                AST helpers for opt-in strict Effect rules.                 */
+/* -------------------------------------------------------------------------- */
+import { Array, HashSet, Option, pipe } from 'effect';
+import { effectAPIAliases, effectFunctionAliases, effectImportAliases } from './effect-rule-core.js';
+const astValueTypes = HashSet.make('boolean', 'number', 'object', 'string');
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const reportAST = (context, message, node) => {
+    context.report({ message, node });
+};
+const isASTValue = (value) => value === undefined || value === null || HashSet.has(astValueTypes, typeof value);
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const objectValue = (node, key) => {
+    if (typeof node !== 'object' || node === null) {
+        return undefined;
+    }
+    const value = Reflect.get(node, key);
+    if (isASTValue(value)) {
+        return value;
+    }
+    return undefined;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const arrayValue = (node) => {
+    if (globalThis.Array.isArray(node)) {
+        return pipe(node, Array.filter(isASTValue));
+    }
+    return [];
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const nodeType = (node) => {
+    const type = objectValue(node, 'type');
+    if (typeof type === 'string') {
+        return type;
+    }
+    return undefined;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const identifierName = (node) => {
+    if (nodeType(node) === 'Identifier') {
+        const name = objectValue(node, 'name');
+        if (typeof name === 'string') {
+            return name;
+        }
+        return undefined;
+    }
+    return undefined;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const literalValue = (node) => {
+    if (nodeType(node) === 'Literal') {
+        return objectValue(node, 'value');
+    }
+    return undefined;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const isVoidZero = (node) => {
+    if (nodeType(node) !== 'UnaryExpression') {
+        return false;
+    }
+    return (objectValue(node, 'operator') === 'void' && literalValue(objectValue(node, 'argument')) === 0);
+};
+const memberParts = (node) => {
+    if (nodeType(node) !== 'MemberExpression') {
+        return {};
+    }
+    return {
+        objectName: identifierName(objectValue(node, 'object')),
+        propertyName: identifierName(objectValue(node, 'property')),
+    };
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const isMember = (node, objectName, propertyName) => {
+    const parts = memberParts(node);
+    return parts.objectName === objectName && parts.propertyName === propertyName;
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const isSchemaMember = (node, source, propertyName) => {
+    const parts = memberParts(node);
+    return Boolean(parts.objectName &&
+        parts.propertyName === propertyName &&
+        pipe(effectAPIAliases(source, 'Schema'), Array.contains(parts.objectName)));
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const effectCallPredicate = (source, names) => {
+    const memberNames = HashSet.fromIterable(names);
+    const importAliases = pipe(effectImportAliases(source), HashSet.fromIterable);
+    const functionAliases = pipe(names, Array.flatMap((name) => effectFunctionAliases(source, 'Effect', name)), HashSet.fromIterable);
+    return (callee) => {
+        const { objectName, propertyName } = memberParts(callee);
+        if (objectName && propertyName) {
+            return HashSet.has(importAliases, objectName) && HashSet.has(memberNames, propertyName);
+        }
+        const calleeName = identifierName(callee);
+        return Boolean(calleeName && HashSet.has(functionAliases, calleeName));
+    };
+};
+const literalStringValue = (node) => {
+    const value = literalValue(node);
+    if (typeof value === 'string') {
+        return value;
+    }
+    return undefined;
+};
+const contextTagServiceKey = (innerArguments) => pipe(arrayValue(innerArguments), Array.head, Option.flatMapNullable(literalStringValue), Option.getOrUndefined);
+const effectServiceKey = (outerArguments) => pipe(arrayValue(outerArguments), Array.head, Option.flatMapNullable(literalStringValue), Option.getOrUndefined);
+const contextTagKeyFromMember = (member, innerArguments) => {
+    if (member.objectName === 'Context' &&
+        (member.propertyName === 'Tag' || member.propertyName === 'GenericTag')) {
+        return contextTagServiceKey(innerArguments);
+    }
+    return undefined;
+};
+const effectServiceKeyFromMember = (source, member, outerArguments) => {
+    if (member.objectName &&
+        pipe(effectImportAliases(source), Array.contains(member.objectName)) &&
+        member.propertyName === 'Service') {
+        return effectServiceKey(outerArguments);
+    }
+    return undefined;
+};
+const serviceClassSuperCallParts = (node) => {
+    const superClass = objectValue(node, 'superClass');
+    const className = identifierName(objectValue(node, 'id'));
+    if (nodeType(superClass) !== 'CallExpression') {
+        return undefined;
+    }
+    const inner = objectValue(superClass, 'callee');
+    if (!inner || nodeType(inner) !== 'CallExpression') {
+        return undefined;
+    }
+    return { className, inner, outerArguments: objectValue(superClass, 'arguments') };
+};
+/**
+ * Internal helper exported for package-local composition.
+ *
+ * @internal
+ */
+export const serviceKeyFromClass = (node, source) => {
+    const className = identifierName(objectValue(node, 'id'));
+    const parts = serviceClassSuperCallParts(node);
+    if (!parts) {
+        return { className };
+    }
+    const innerArguments = objectValue(parts.inner, 'arguments');
+    const member = memberParts(objectValue(parts.inner, 'callee'));
+    const key = contextTagKeyFromMember(member, innerArguments) ??
+        effectServiceKeyFromMember(source, member, parts.outerArguments);
+    if (key) {
+        return { className, key };
+    }
+    return { className };
+};
+//# sourceMappingURL=effect-strict-ast-helpers.js.map

package/dist/rules/effect-strict-ast-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-strict-ast-helpers.js","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAYlG,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAoB,EAAE,OAAe,EAAE,IAAY,EAAQ,EAAE;IACrF,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CACvD,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,KAAK,CAAC,CAAC;AAEpF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,GAAW,EAAY,EAAE;IACnE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAc,EAAc,EAAE;IACvD,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAc,EAAsB,EAAE;IAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAc,EAAsB,EAAE;IACnE,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAc,EAAY,EAAE;IACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAc,EAAW,EAAE;IACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,iBAAiB,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,MAAM,IAAI,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,CAC9F,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAc,EAAkD,EAAE;IACrF,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,kBAAkB,EAAE,CAAC;QAC1C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO;QACL,UAAU,EAAE,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvD,YAAY,EAAE,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAc,EAAE,UAAkB,EAAE,YAAoB,EAAW,EAAE;IAC5F,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,UAAU,KAAK,UAAU,IAAI,KAAK,CAAC,YAAY,KAAK,YAAY,CAAC;AAChF,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAc,EAAE,MAAc,EAAE,YAAoB,EAAW,EAAE;IAC9F,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,OAAO,CACZ,KAAK,CAAC,UAAU;QAChB,KAAK,CAAC,YAAY,KAAK,YAAY;QACnC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAAc,EACd,KAAwB,EACS,EAAE;IACnC,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9E,MAAM,eAAe,GAAG,IAAI,CAC1B,KAAK,EACL,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAqB,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,EACzF,OAAO,CAAC,YAAY,CACrB,CAAC;IAEF,OAAO,CAAC,MAAgB,EAAW,EAAE;QACnC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;YAC/B,OAAO,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QAC1F,CAAC;QAED,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAc,EAAsB,EAAE;IAChE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,cAAwB,EAAsB,EAAE,CAC5E,IAAI,CACF,UAAU,CAAC,cAAc,CAAC,EAC1B,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,EAC1C,MAAM,CAAC,cAAc,CACtB,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CAAC,cAAwB,EAAsB,EAAE,CACxE,IAAI,CACF,UAAU,CAAC,cAAc,CAAC,EAC1B,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,EAC1C,MAAM,CAAC,cAAc,CACtB,CAAC;AAEJ,MAAM,uBAAuB,GAAG,CAC9B,MAAsD,EACtD,cAAwB,EACJ,EAAE;IACtB,IACE,MAAM,CAAC,UAAU,KAAK,SAAS;QAC/B,CAAC,MAAM,CAAC,YAAY,KAAK,KAAK,IAAI,MAAM,CAAC,YAAY,KAAK,YAAY,CAAC,EACvE,CAAC;QACD,OAAO,oBAAoB,CAAC,cAAc,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,MAAc,EACd,MAAsD,EACtD,cAAwB,EACJ,EAAE;IACtB,IACE,MAAM,CAAC,UAAU;QACjB,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpE,MAAM,CAAC,YAAY,KAAK,SAAS,EACjC,CAAC;QACD,OAAO,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAAc,EACiE,EAAE;IACjF,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1D,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,gBAAgB,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;AACpF,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAc,EACd,MAAc,EACwB,EAAE;IACxC,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,SAAS,EAAE,CAAC;IACvB,CAAC;IACD,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GACP,uBAAuB,CAAC,MAAM,EAAE,cAAc,CAAC;QAC/C,0BAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACnE,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,CAAC;AACvB,CAAC,CAAC"}

package/dist/rules/effect-strict-ast-specs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effect-strict-ast-specs.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-specs.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,QAAQ,EAuNnD,CAAC"}
+{"version":3,"file":"effect-strict-ast-specs.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-specs.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAMnD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,QAAQ,EA0MnD,CAAC"}

package/dist/rules/effect-strict-ast-specs.js

@@ -2,9 +2,11 @@
 /*          AST-backed opt-in strict custom Effect lint rule specs.           */
 /* -------------------------------------------------------------------------- */
 import { Array, Option, pipe } from 'effect';
-import { arrayValue, effectCallPredicate, effectWrapperStatement, hasCryptoRandomUUID, hasEffectSucceedWithVoid, hasGlobalFetch, hasLayerEffectWithScope, hasMapFlatten, hasMapToVoid, hasMultipleProvideChain, hasNonDeterministicServiceKey, hasSchemaInstanceof, hasSchemaStructWithTag, hasSchemaUnionOfLiterals, identifierName, isMember, isSchemaMember, isVoidZero, literalValue, nodeType, objectValue, reportAST, serviceKeyFromClass, } from './effect-strict-internals.js';
+import { arrayValue, hasCryptoRandomUUID, hasEffectSucceedWithVoid, hasGlobalFetch, hasLayerEffectWithScope, hasMapFlatten, hasMapToVoid, hasMultipleProvideChain, hasNonDeterministicServiceKey, hasSchemaInstanceof, hasSchemaStructWithTag, hasSchemaUnionOfLiterals, identifierName, isMember, isSchemaMember, isVoidZero, literalValue, nodeType, objectValue, reportAST, serviceKeyFromClass, } from './effect-strict-internals.js';
+import { asNode } from './effect-ast.js';
+import { effectGlobalFetchAST } from './effect-global-fetch-ast.js';
+import { importedEffectCallMatcher } from './effect-imported-call-matcher.js';
 import { isConfiguredPath } from './effect-path-options.js';
-import { stripCommentsAndStrings } from './effect-source-helpers.js';
 /**
  * Internal helper exported for package-local composition.
  *
@@ -118,34 +120,30 @@ export const effectStrictASTSpecs = pipe([
         tokens: ['node:'],
     },
     {
-        ast: (context, source) => ({
-            CallExpression(node) {
-                const calleeName = identifierName(objectValue(node, 'callee'));
-                const wrappedFetch = effectWrapperStatement(stripCommentsAndStrings(source), node.start ?? 0);
-                if (calleeName === 'fetch' &&
-                    !isConfiguredPath(context, 'adapterLayers') &&
-                    wrappedFetch) {
-                    reportAST(context, 'Use the Effect HTTP client or an adapter service instead of global fetch.', node);
-                }
-            },
-        }),
+        ast: (context, source) => {
+            if (isConfiguredPath(context, 'adapterLayers')) {
+                return { Program() { } };
+            }
+            return effectGlobalFetchAST(context, source);
+        },
         check: hasGlobalFetch,
         message: 'Use the Effect HTTP client or an adapter service instead of global fetch.',
         name: 'effect-no-global-fetch',
         tokens: ['fetch'],
     },
     {
-        ast: (context, source) => {
-            const isEffectSucceed = effectCallPredicate(source, ['succeed']);
+        ast: (context) => {
+            const effectSucceed = importedEffectCallMatcher(context, 'Effect', ['succeed']);
             return {
                 CallExpression(node) {
                     const callArguments = arrayValue(objectValue(node, 'arguments'));
                     const firstArg = pipe(callArguments, Array.head, Option.getOrUndefined);
-                    if (isEffectSucceed(objectValue(node, 'callee')) &&
+                    if (effectSucceed.matches(asNode(objectValue(node, 'callee'))) &&
                         (!firstArg || identifierName(firstArg) === 'undefined' || isVoidZero(firstArg))) {
                         reportAST(context, 'Use Effect.void instead of Effect.succeed(undefined).', node);
                     }
                 },
+                Program: effectSucceed.initialize,
             };
         },
         check: hasEffectSucceedWithVoid,

package/dist/rules/effect-strict-ast-specs.js.map

@@ -1 +1 @@
-{"version":3,"file":"effect-strict-ast-specs.js","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-specs.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,EACnB,wBAAwB,EACxB,cAAc,EACd,uBAAuB,EACvB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,6BAA6B,EAC7B,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,cAAc,EACd,QAAQ,EACR,cAAc,EACd,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,SAAS,EACT,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,CAC3D;IACE;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,cAAc,CAAC,IAAI;gBACjB,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;oBAClE,SAAS,CACP,OAAO,EACP,6EAA6E,EAC7E,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,mBAAmB;QAC1B,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,CAAC,mBAAmB,CAAC;KAC9B;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,gBAAgB,CAAC,IAAI;gBACnB,MAAM,MAAM,GAAG,IAA6C,CAAC;gBAC7D,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC/C,IACE,MAAM,CAAC,QAAQ,KAAK,YAAY;oBAChC,SAAS;oBACT,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,EACrC,CAAC;oBACD,SAAS,CACP,OAAO,EACP,uEAAuE,EACvE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,mBAAmB;QAC1B,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,CAAC,YAAY,CAAC;KACvB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI;gBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;gBACxE,IACE,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC;oBAC9D,QAAQ,CAAC,QAAQ,CAAC,KAAK,kBAAkB,EACzC,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD,IACE,IAAI,CACF,UAAU,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,EAC/C,KAAK,CAAC,IAAI,CACR,CAAC,QAAQ,EAAW,EAAE,CACpB,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,MAAM;oBACvD,cAAc,CACZ,WAAW,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,EACrD,MAAM,EACN,SAAS,CACV,CACJ,CACF,EACD,CAAC;oBACD,SAAS,CACP,OAAO,EACP,4EAA4E,EAC5E,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,sBAAsB;QAC7B,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI;gBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACjE,MAAM,eAAe,GAAG,IAAI,CAC1B,aAAa,EACb,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW,EAAE,CACjC,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CACnE,EACD,KAAK,CAAC,MAAM,CACb,CAAC;gBACF,IAAI,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;oBACxF,SAAS,CAAC,OAAO,EAAE,4DAA4D,EAAE,IAAI,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,cAAc,EAAE,gBAAgB,EAAE,QAAQ,CAAC;KACrD;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,gBAAgB,CAAC,IAAI;gBACnB,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC7D,IAAI,SAAS,IAAI,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC,EAAE,CAAC;oBAC5E,SAAS,CACP,OAAO,EACP,yEAAyE,EACzE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,6BAA6B;QACpC,OAAO,EAAE,yEAAyE;QAClF,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,aAAa,EAAE,gBAAgB,EAAE,YAAY,CAAC;KACxD;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,+EAA+E;QACxF,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,iDAAiD;QACvD,MAAM,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC;KAClC;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,iBAAiB,CAAC,IAAI;gBACpB,MAAM,WAAW,GAAG,YAAY,CAAE,IAA4B,CAAC,MAAM,CAAC,CAAC;gBACvE,IACE,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;oBAC3C,OAAO,WAAW,KAAK,QAAQ;oBAC/B,wEAAwE,CAAC,IAAI,CAC3E,WAAW,CACZ,EACD,CAAC;oBACD,SAAS,CACP,OAAO,EACP,uEAAuE,EACvE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,qDAAqD;QAC3D,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI;gBACjB,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC/D,MAAM,YAAY,GAAG,sBAAsB,CACzC,uBAAuB,CAAC,MAAM,CAAC,EAC9B,IAA2B,CAAC,KAAK,IAAI,CAAC,CACxC,CAAC;gBACF,IACE,UAAU,KAAK,OAAO;oBACtB,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;oBAC3C,YAAY,EACZ,CAAC;oBACD,SAAS,CACP,OAAO,EACP,2EAA2E,EAC3E,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,2EAA2E;QACpF,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE;YAC/D,MAAM,eAAe,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YACjE,OAAO;gBACL,cAAc,CAAC,IAAI;oBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;oBACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;oBACxE,IACE,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;wBAC5C,CAAC,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,KAAK,WAAW,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,EAC/E,CAAC;wBACD,SAAS,CAAC,OAAO,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBACpF,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;QACD,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,uDAAuD;QAChE,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;KAC7B;IACD;QACE,KAAK,EAAE,aAAa;QACpB,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;KAC7B;CAC4B,EAC/B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAY,EAAE,CAAC,IAAI,CAAC,CACpC,CAAC"}
+{"version":3,"file":"effect-strict-ast-specs.js","sourceRoot":"","sources":["../../src/rules/effect-strict-ast-specs.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,wBAAwB,EACxB,cAAc,EACd,uBAAuB,EACvB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,6BAA6B,EAC7B,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,cAAc,EACd,QAAQ,EACR,cAAc,EACd,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,SAAS,EACT,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,CAC3D;IACE;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,cAAc,CAAC,IAAI;gBACjB,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;oBAClE,SAAS,CACP,OAAO,EACP,6EAA6E,EAC7E,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,mBAAmB;QAC1B,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,CAAC,mBAAmB,CAAC;KAC9B;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,gBAAgB,CAAC,IAAI;gBACnB,MAAM,MAAM,GAAG,IAA6C,CAAC;gBAC7D,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC/C,IACE,MAAM,CAAC,QAAQ,KAAK,YAAY;oBAChC,SAAS;oBACT,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,EACrC,CAAC;oBACD,SAAS,CACP,OAAO,EACP,uEAAuE,EACvE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,mBAAmB;QAC1B,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,CAAC,YAAY,CAAC;KACvB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI;gBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;gBACxE,IACE,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC;oBAC9D,QAAQ,CAAC,QAAQ,CAAC,KAAK,kBAAkB,EACzC,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD,IACE,IAAI,CACF,UAAU,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,EAC/C,KAAK,CAAC,IAAI,CACR,CAAC,QAAQ,EAAW,EAAE,CACpB,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,MAAM;oBACvD,cAAc,CACZ,WAAW,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,EACrD,MAAM,EACN,SAAS,CACV,CACJ,CACF,EACD,CAAC;oBACD,SAAS,CACP,OAAO,EACP,4EAA4E,EAC5E,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,sBAAsB;QAC7B,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI;gBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACjE,MAAM,eAAe,GAAG,IAAI,CAC1B,aAAa,EACb,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAW,EAAE,CACjC,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CACnE,EACD,KAAK,CAAC,MAAM,CACb,CAAC;gBACF,IAAI,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;oBACxF,SAAS,CAAC,OAAO,EAAE,4DAA4D,EAAE,IAAI,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,cAAc,EAAE,gBAAgB,EAAE,QAAQ,CAAC;KACrD;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE,CAAC,CAAC;YACjE,gBAAgB,CAAC,IAAI;gBACnB,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC7D,IAAI,SAAS,IAAI,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC,EAAE,CAAC;oBAC5E,SAAS,CACP,OAAO,EACP,yEAAyE,EACzE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,KAAK,EAAE,6BAA6B;QACpC,OAAO,EAAE,yEAAyE;QAClF,IAAI,EAAE,2CAA2C;QACjD,MAAM,EAAE,CAAC,aAAa,EAAE,gBAAgB,EAAE,YAAY,CAAC;KACxD;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,+EAA+E;QACxF,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,CAAC,gBAAgB,CAAC;KAC3B;IACD;QACE,KAAK,EAAE,uBAAuB;QAC9B,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,iDAAiD;QACvD,MAAM,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC;KAClC;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE,CAAC,CAAC;YACzD,iBAAiB,CAAC,IAAI;gBACpB,MAAM,WAAW,GAAG,YAAY,CAAE,IAA4B,CAAC,MAAM,CAAC,CAAC;gBACvE,IACE,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;oBAC3C,OAAO,WAAW,KAAK,QAAQ;oBAC/B,wEAAwE,CAAC,IAAI,CAC3E,WAAW,CACZ,EACD,CAAC;oBACD,SAAS,CACP,OAAO,EACP,uEAAuE,EACvE,IAAI,CACL,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC;QACF,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,qDAAqD;QAC3D,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAA0C,EAAE;YAC/D,IAAI,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC;gBAC/C,OAAO,EAAE,OAAO,KAAU,CAAC,EAAE,CAAC;YAChC,CAAC;YACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/C,CAAC;QACD,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,2EAA2E;QACpF,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,CAAC,OAAO,CAAC;KAClB;IACD;QACE,GAAG,EAAE,CAAC,OAAO,EAA0C,EAAE;YACvD,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAChF,OAAO;gBACL,cAAc,CAAC,IAAI;oBACjB,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;oBACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;oBACxE,IACE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;wBAC1D,CAAC,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,KAAK,WAAW,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,EAC/E,CAAC;wBACD,SAAS,CAAC,OAAO,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBACpF,CAAC;gBACH,CAAC;gBACD,OAAO,EAAE,aAAa,CAAC,UAAU;aAClC,CAAC;QACJ,CAAC;QACD,KAAK,EAAE,wBAAwB;QAC/B,OAAO,EAAE,uDAAuD;QAChE,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,CAAC,SAAS,CAAC;KACpB;IACD;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;KAC7B;IACD;QACE,KAAK,EAAE,aAAa;QACpB,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;KAC7B;CAC4B,EAC/B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAY,EAAE,CAAC,IAAI,CAAC,CACpC,CAAC"}

package/dist/rules/effect-strict-internals.d.ts

@@ -1,198 +1,4 @@
+export { arrayValue, effectCallPredicate, identifierName, isMember, isSchemaMember, isVoidZero, literalValue, nodeType, objectValue, reportAST, serviceKeyFromClass, } from './effect-strict-ast-helpers';
 export { hasEffectSignal, hasRuntimeCall } from './effect-rule-core';
-interface RuleContext {
-    filename?: string;
-    options?: object[];
-    report: (descriptor: {
-        loc?: {
-            column: number;
-            line: number;
-        };
-        message: string;
-        node: object;
-    }) => void;
-}
-type ASTValue = boolean | null | number | object | string | undefined;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const reportAST: (context: RuleContext, message: string, node: object) => void;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const objectValue: (node: ASTValue, key: string) => ASTValue;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const arrayValue: (node: ASTValue) => ASTValue[];
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const nodeType: (node: ASTValue) => string | undefined;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const identifierName: (node: ASTValue) => string | undefined;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const literalValue: (node: ASTValue) => ASTValue;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const isVoidZero: (node: ASTValue) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const isMember: (node: ASTValue, objectName: string, propertyName: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const isSchemaMember: (node: ASTValue, source: string, propertyName: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const effectCallPredicate: (source: string, names: readonly string[]) => ((callee: ASTValue) => boolean);
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const serviceKeyFromClass: (node: ASTValue, source: string) => {
-    className?: string;
-    key?: string;
-};
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasRetryScheduleWithoutJitter: (source: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const publicAPIDeclarationSignature: (declaration: string) => string;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasPromiseReturningPublicAPI: (source: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasExportedRunPromiseAPI: (source: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasRunSyncInServerRequestHandler: (source: string) => boolean;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasCryptoRandomUUID: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasSchemaInstanceof: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasSchemaStructWithTag: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasSchemaUnionOfLiterals: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasNonDeterministicServiceKey: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasMultipleProvideChain: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasLayerEffectWithScope: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasNodeBuiltinImport: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasGlobalFetch: (source: string, context: RuleContext) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasEffectSucceedWithVoid: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasMapToVoid: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasMapFlatten: (source: string) => number | false;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const effectWrapperStatement: (source: string, targetIndex: number) => string | undefined;
-/**
- * Internal helper exported for package-local composition.
- *
- * @internal
- */
-export declare const hasDirectPlatformAccess: (source: string, context: RuleContext) => boolean;
+export { effectWrapperStatement, hasCryptoRandomUUID, hasDirectPlatformAccess, hasEffectSucceedWithVoid, hasExportedRunPromiseAPI, hasGlobalFetch, hasLayerEffectWithScope, hasMapFlatten, hasMapToVoid, hasMultipleProvideChain, hasNodeBuiltinImport, hasNonDeterministicServiceKey, hasPromiseReturningPublicAPI, hasRetryScheduleWithoutJitter, hasRunSyncInServerRequestHandler, hasSchemaInstanceof, hasSchemaStructWithTag, hasSchemaUnionOfLiterals, publicAPIDeclarationSignature, } from './effect-strict-source-predicates';
 //# sourceMappingURL=effect-strict-internals.d.ts.map

package/dist/rules/effect-strict-internals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effect-strict-internals.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-internals.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErE,UAAU,WAAW;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,CAAC,UAAU,EAAE;QACnB,GAAG,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;KACd,KAAK,IAAI,CAAC;CACZ;AAED,KAAK,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAetE;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,SAAS,WAAW,EAAE,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,IAE/E,CAAC;AAKF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,QAAQ,EAAE,KAAK,MAAM,KAAG,QASzD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,KAAG,QAAQ,EAKnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,QAAQ,KAAG,MAAM,GAAG,SAMlD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,QAAQ,KAAG,MAAM,GAAG,SASxD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,QAAQ,KAAG,QAK7C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,KAAG,OAO3C,CAAC;AAYF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,QAAQ,EAAE,YAAY,MAAM,EAAE,cAAc,MAAM,KAAG,OAGnF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,MAAM,QAAQ,EAAE,QAAQ,MAAM,EAAE,cAAc,MAAM,KAAG,OAOrF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,OAAO,SAAS,MAAM,EAAE,KACvB,CAAC,CAAC,MAAM,EAAE,QAAQ,KAAK,OAAO,CAkBhC,CAAC;AAqEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,QAAQ,EACd,QAAQ,MAAM,KACb;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAepC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GAAI,QAAQ,MAAM,KAAG,OAW5D,CAAC;AAUJ;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GAAI,aAAa,MAAM,KAAG,MAUnE,CAAC;AA6BF;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GAAI,QAAQ,MAAM,KAAG,OAe3D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,MAAM,KAAG,OAMvD,CAAC;AAcJ;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,OAoBjE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KACwB,CAAC;AAEvF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAG7D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAK9D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAKhE,CAAC;AAaJ;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAYvE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAKjE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAGjE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAK5D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,EAAE,SAAS,WAAW,KAAG,MAAM,GAAG,KAY9E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAGhE,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAKpD,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,KAKrD,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,KAAG,MAAM,GAAG,SAWrF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,MAAM,EAAE,SAAS,WAAW,KAAG,OAgB9E,CAAC"}
+{"version":3,"file":"effect-strict-internals.d.ts","sourceRoot":"","sources":["../../src/rules/effect-strict-internals.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,cAAc,EACd,QAAQ,EACR,cAAc,EACd,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,SAAS,EACT,mBAAmB,GACpB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,cAAc,EACd,uBAAuB,EACvB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,EACpB,6BAA6B,EAC7B,4BAA4B,EAC5B,6BAA6B,EAC7B,gCAAgC,EAChC,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,6BAA6B,GAC9B,MAAM,mCAAmC,CAAC"}