@blogic-cz/oxc-config 1.1.0 → 1.3.0

package/.oxlintrc.ts.json

@@ -1,6 +1,7 @@
 {
   "$schema": "https://raw.githubusercontent.com/niconiconainu/oxc/HEAD/npm/oxc-types/src/generated/schema/oxlintrc.json",
   "jsPlugins": [
+    "./plugins/effect-ts.js",
     "./plugins/enforce-props-type-name.js",
     "./plugins/max-file-lines.js"
   ],
@@ -30,6 +31,16 @@
     "eslint/no-self-compare": "error",
     "eslint/no-template-curly-in-string": "error",
     "eslint/no-var": "error",
+    "import/extensions": [
+      "error",
+      "ignorePackages",
+      {
+        "js": "never",
+        "jsx": "never",
+        "ts": "never",
+        "tsx": "never"
+      }
+    ],
     "import/no-cycle": "error",
     "import/no-duplicates": "error",
     "import/no-relative-parent-imports": "error",
@@ -74,7 +85,8 @@
     "naming/no-console-in-server": "error",
     "naming/no-dynamic-type-import": "error",
     "naming/no-server-logger-in-client": "error",
-    "naming/no-undefined-parameter-union": "error"
+    "naming/no-undefined-parameter-union": "error",
+    "effect-ts/no-direct-tag-check": "error"
   },
   "overrides": [
     {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blogic-cz/oxc-config",
-  "version": "1.1.0",
+  "version": "1.3.0",
   "description": "Shared oxlint and oxfmt configs for blogic projects — layered TypeScript, React, and formatter presets",
   "keywords": [
     "oxlint",
@@ -30,7 +30,7 @@
     "LICENSE"
   ],
   "scripts": {
-    "build": "bun build plugins/enforce-props-type-name.ts --outdir plugins --outfile enforce-props-type-name.js && bun build plugins/max-file-lines.ts --outdir plugins --outfile max-file-lines.js",
+    "build": "bun build plugins/effect-ts.ts --outdir plugins --outfile effect-ts.js && bun build plugins/enforce-props-type-name.ts --outdir plugins --outfile enforce-props-type-name.js && bun build plugins/max-file-lines.ts --outdir plugins --outfile max-file-lines.js",
     "prepublishOnly": "bun run build"
   },
   "publishConfig": {

package/plugins/effect-ts.js

@@ -0,0 +1,70 @@
+// plugins/effect-ts.ts
+var EFFECT_TAGS = {
+  Some: "Use `Option.isSome(value)` or `Option.match(value, { onSome, onNone })`.",
+  None: "Use `Option.isNone(value)` or `Option.match(value, { onSome, onNone })`.",
+  Left: "Use `Either.isLeft(value)` or `Either.match(value, { onLeft, onRight })`.",
+  Right: "Use `Either.isRight(value)` or `Either.match(value, { onLeft, onRight })`.",
+  Success: "Use `Exit.isSuccess(value)` or `Exit.match(value, { onSuccess, onFailure })`.",
+  Failure: "Use `Exit.isFailure(value)` or `Exit.match(value, { onSuccess, onFailure })`."
+};
+var TAG_PROPERTY = "_tag";
+var isMemberAccessOnTag = (node) => node.type === "MemberExpression" && !node.computed && node.property?.type === "Identifier" && node.property.name === TAG_PROPERTY;
+var isEffectTagLiteral = (node) => {
+  if (node.type === "StringLiteral" && typeof node.value === "string") {
+    return node.value in EFFECT_TAGS ? node.value : undefined;
+  }
+  return;
+};
+var plugin = {
+  meta: {
+    name: "effect-ts"
+  },
+  rules: {
+    "no-direct-tag-check": {
+      meta: {
+        schema: []
+      },
+      create(context) {
+        return {
+          BinaryExpression(node) {
+            if (node.operator !== "===" && node.operator !== "!==" && node.operator !== "==" && node.operator !== "!=") {
+              return;
+            }
+            let tag;
+            if (isMemberAccessOnTag(node.left)) {
+              tag = isEffectTagLiteral(node.right);
+            } else if (isMemberAccessOnTag(node.right)) {
+              tag = isEffectTagLiteral(node.left);
+            }
+            if (tag === undefined) {
+              return;
+            }
+            const hint = EFFECT_TAGS[tag];
+            context.report({
+              message: `Do not check \`._tag\` directly for "${tag}". ${hint}`,
+              node
+            });
+          },
+          SwitchStatement(node) {
+            if (!isMemberAccessOnTag(node.discriminant)) {
+              return;
+            }
+            const effectCases = node.cases.filter((c) => c.test && c.test.type === "StringLiteral" && typeof c.test.value === "string" && (c.test.value in EFFECT_TAGS));
+            if (effectCases.length === 0) {
+              return;
+            }
+            const tags = effectCases.map((c) => `"${c.test.value}"`).join(", ");
+            context.report({
+              message: `Do not switch on \`._tag\` with Effect tags (${tags}). Use the \`.pipe(T.match(...))\` API instead.`,
+              node: node.discriminant
+            });
+          }
+        };
+      }
+    }
+  }
+};
+var effect_ts_default = plugin;
+export {
+  effect_ts_default as default
+};

package/plugins/effect-ts.ts

@@ -0,0 +1,107 @@
+import type { Plugin } from "#oxlint/plugins";
+
+const EFFECT_TAGS: Record<string, string> = {
+  Some: 'Use `Option.isSome(value)` or `Option.match(value, { onSome, onNone })`.',
+  None: 'Use `Option.isNone(value)` or `Option.match(value, { onSome, onNone })`.',
+  Left: 'Use `Either.isLeft(value)` or `Either.match(value, { onLeft, onRight })`.',
+  Right: 'Use `Either.isRight(value)` or `Either.match(value, { onLeft, onRight })`.',
+  Success: 'Use `Exit.isSuccess(value)` or `Exit.match(value, { onSuccess, onFailure })`.',
+  Failure: 'Use `Exit.isFailure(value)` or `Exit.match(value, { onSuccess, onFailure })`.',
+};
+
+const TAG_PROPERTY = "_tag";
+
+const isMemberAccessOnTag = (node: {
+  type: string;
+  property?: { type: string; name?: string };
+  computed?: boolean;
+}): boolean =>
+  node.type === "MemberExpression" &&
+  !node.computed &&
+  node.property?.type === "Identifier" &&
+  node.property.name === TAG_PROPERTY;
+
+const isEffectTagLiteral = (node: {
+  type: string;
+  value?: unknown;
+}): string | undefined => {
+  if (node.type === "StringLiteral" && typeof node.value === "string") {
+    return node.value in EFFECT_TAGS ? node.value : undefined;
+  }
+  return undefined;
+};
+
+const plugin: Plugin = {
+  meta: {
+    name: "effect-ts",
+  },
+  rules: {
+    "no-direct-tag-check": {
+      meta: {
+        schema: [],
+      },
+      create(context) {
+        return {
+          BinaryExpression(node) {
+            if (
+              node.operator !== "===" &&
+              node.operator !== "!==" &&
+              node.operator !== "==" &&
+              node.operator !== "!="
+            ) {
+              return;
+            }
+
+            let tag: string | undefined;
+
+            if (isMemberAccessOnTag(node.left)) {
+              tag = isEffectTagLiteral(node.right);
+            } else if (isMemberAccessOnTag(node.right)) {
+              tag = isEffectTagLiteral(node.left);
+            }
+
+            if (tag === undefined) {
+              return;
+            }
+
+            const hint = EFFECT_TAGS[tag];
+
+            context.report({
+              message: `Do not check \`._tag\` directly for "${tag}". ${hint}`,
+              node,
+            });
+          },
+
+          SwitchStatement(node) {
+            if (!isMemberAccessOnTag(node.discriminant)) {
+              return;
+            }
+
+            const effectCases = node.cases.filter(
+              (c) =>
+                c.test &&
+                c.test.type === "StringLiteral" &&
+                typeof c.test.value === "string" &&
+                c.test.value in EFFECT_TAGS
+            );
+
+            if (effectCases.length === 0) {
+              return;
+            }
+
+            const tags = effectCases
+              .map((c) => `"${c.test!.value}"`)
+              .join(", ");
+
+            context.report({
+              message: `Do not switch on \`._tag\` with Effect tags (${tags}). Use the \`.pipe(T.match(...))\` API instead.`,
+              node: node.discriminant,
+            });
+          },
+        };
+      },
+    },
+  },
+};
+
+export default plugin;