oxlint-plugin-effect 0.16.0 → 0.16.1

package/README.md

@@ -67,8 +67,8 @@ Every recommended rule has `error` severity. The complexity rules carry their li
 | `effect/noEffectBind`                  | Bans Effect.bind                                                                          |
 | `effect/preferCatchTag`                | Replaces manual `_tag` predicates and `catchAll` dispatch with tagged recovery            |
 | `effect/preferEffectFn`                | Requires `Effect.fn` for a generator operation that adds a span                           |
-| `effect/preferMatchTagsExhaustive`     | Requires exhaustive `Match` for return-only `_tag` switches and if chains                 |
-| `effect/preferPredicateIsTagged`       | Replaces combined `_tag` comparisons with a named `Predicate` refinement                  |
+| `effect/preferMatchTagsExhaustive`     | Requires exhaustive `Match` for return-only `_tag` switches and if chains in Effect files |
+| `effect/preferPredicateIsTagged`       | Replaces combined `_tag` comparisons with a named `Predicate` refinement in Effect files  |
 | `effect/preferServiceOf`               | Checks inline Layer implementations through `Service.of`                                  |
 | `effect/requireNamedEffectFn`          | Requires stable names for `Effect.fn` operations                                          |
 | `effect/requireSuppressionReason`      | Requires lint, Effect, and TS suppressions to name their target and give a `--` reason    |

package/dist/rules/_effect-namespaces.js

@@ -21,5 +21,10 @@ const visibleNamespaces = (ctx, node, namespaces) => new Set([...namespaces].fil
 })));
 const isStaticMember = (node, namespaces, property) => node.type === "MemberExpression" && !node.computed && node.object.type === "Identifier" && namespaces.has(node.object.name) && node.property.type === "Identifier" && node.property.name === property;
 const isStaticCall = (node, namespaces, property) => node.type === "CallExpression" && node.callee.type !== "Super" && isStaticMember(node.callee, namespaces, property);
+/** Whether an import loads the effect package, one of its subpaths, or an @effect package. */
+const isEffectPackageImport = (node) => {
+	const source = node.source.value;
+	return source === "effect" || source.startsWith("effect/") || source.startsWith("@effect/");
+};
 //#endregion
-export { importedNamespaces, isStaticCall, isStaticMember, visibleNamespaces };
+export { importedNamespaces, isEffectPackageImport, isStaticCall, isStaticMember, visibleNamespaces };

package/dist/rules/prefer-match-tags-exhaustive.js

@@ -2,6 +2,7 @@ import { make } from "../vendor/effect-oxlint/Diagnostic.js";
 import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
 import { define, meta } from "../vendor/effect-oxlint/Rule.js";
 import "../vendor/effect-oxlint/index.js";
+import { isEffectPackageImport } from "./_effect-namespaces.js";
 import { hasOneTaggedSubject, isInsideCatchAllHandler, tagComparison, taggedSwitchSubject } from "./_tagged-control-flow.js";
 import * as Arr from "effect/Array";
 import * as Option from "effect/Option";
@@ -66,16 +67,21 @@ const preferMatchTagsExhaustive = define({
 	}),
 	create: function* () {
 		const context = yield* RuleContext;
+		const effectImports = /* @__PURE__ */ new Set();
 		return {
+			ImportDeclaration: (node) => {
+				if (isEffectPackageImport(node)) effectImports.add(node.source.value);
+				return Effect.void;
+			},
 			SwitchStatement: (node) => {
-				if (!isCompleteSwitchTransformation(node) || isInsideCatchAllHandler(node)) return Effect.void;
+				if (effectImports.size === 0 || !isCompleteSwitchTransformation(node) || isInsideCatchAllHandler(node)) return Effect.void;
 				return context.report(make({
 					node,
 					message: "Use Match.type with Match.tagsExhaustive so a new tagged variant requires a new case."
 				}));
 			},
 			IfStatement: (node) => {
-				if (!isCompleteIfTransformation(node) && !isCompleteSequentialIfTransformation(node) || isInsideCatchAllHandler(node)) return Effect.void;
+				if (effectImports.size === 0 || !isCompleteIfTransformation(node) && !isCompleteSequentialIfTransformation(node) || isInsideCatchAllHandler(node)) return Effect.void;
 				return context.report(make({
 					node,
 					message: "Use Match.type with Match.tagsExhaustive so a new tagged variant requires a new branch."

package/dist/rules/prefer-predicate-is-tagged.js

@@ -2,6 +2,7 @@ import { make } from "../vendor/effect-oxlint/Diagnostic.js";
 import { RuleContext } from "../vendor/effect-oxlint/RuleContext.js";
 import { define, meta } from "../vendor/effect-oxlint/Rule.js";
 import "../vendor/effect-oxlint/index.js";
+import { isEffectPackageImport } from "./_effect-namespaces.js";
 import { effectCallbackLocation, hasOneTaggedSubject, tagComparisonsInOr } from "./_tagged-control-flow.js";
 import * as Option from "effect/Option";
 import * as Effect from "effect/Effect";
@@ -19,16 +20,23 @@ const preferPredicateIsTagged = define({
 	}),
 	create: function* () {
 		const context = yield* RuleContext;
-		return { LogicalExpression: (node) => {
-			if (node.operator !== "||") return Effect.void;
-			if (node.parent?.type === "LogicalExpression" && node.parent.operator === "||") return Effect.void;
-			if (isCatchIfPredicate(node)) return Effect.void;
-			if (!Option.exists(tagComparisonsInOr(node), hasOneTaggedSubject)) return Effect.void;
-			return context.report(make({
-				node,
-				message: "Use a named Predicate refinement composed from Predicate.isTagged for multiple tags."
-			}));
-		} };
+		const effectImports = /* @__PURE__ */ new Set();
+		return {
+			ImportDeclaration: (node) => {
+				if (isEffectPackageImport(node)) effectImports.add(node.source.value);
+				return Effect.void;
+			},
+			LogicalExpression: (node) => {
+				if (effectImports.size === 0 || node.operator !== "||") return Effect.void;
+				if (node.parent?.type === "LogicalExpression" && node.parent.operator === "||") return Effect.void;
+				if (isCatchIfPredicate(node)) return Effect.void;
+				if (!Option.exists(tagComparisonsInOr(node), hasOneTaggedSubject)) return Effect.void;
+				return context.report(make({
+					node,
+					message: "Use a named Predicate refinement composed from Predicate.isTagged for multiple tags."
+				}));
+			}
+		};
 	}
 });
 //#endregion

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oxlint-plugin-effect",
-  "version": "0.16.0",
+  "version": "0.16.1",
   "description": "oxlint plugin with Effect-specific lint rules",
   "license": "MIT",
   "repository": {