oxlint-plugin-effect 0.5.0 → 0.6.0

package/README.md

@@ -27,6 +27,7 @@ If the project uses JSON configuration, copy the exported rule map into `rules`;
 
 | Rule                          | Contract                                                                                  |
 | ----------------------------- | ----------------------------------------------------------------------------------------- |
+| `effect/noAs`                 | Bans TypeScript `as` assertions; use `satisfies`                                          |
 | `effect/noAsyncFunction`      | Bans async functions and await expressions                                                |
 | `effect/noTryCatch`           | Bans every try/catch/finally statement                                                    |
 | `effect/noTestLifecycleHooks` | Bans `beforeEach`, `afterEach`, `beforeAll`, and `afterAll`; use Effect scopes instead    |
@@ -37,7 +38,7 @@ If the project uses JSON configuration, copy the exported rule map into `rules`;
 | `effect/noDynamicImports`     | Allows import() only behind a named lazy-loading boundary; bans require()                 |
 | `effect/noEffectDo`           | Bans Effect.Do                                                                            |
 | `effect/noEffectBind`         | Bans Effect.bind                                                                          |
-| `effect/noGlobals`            | Bans ambient capabilities with direct Effect replacements                                 |
+| `effect/noGlobals`            | Bans ambient capabilities with direct Effect replacements; allows `process.std*.isTTY`    |
 | `effect/noNodeBuiltinImport`  | Bans fully replaced Node modules and replaced operations from partial modules             |
 
 The preset intentionally allows `Effect.as`, `Option.as`, `Effect.never`, `Effect.async`, ordinary `if` and `switch` statements, and runtime runners at explicit application boundaries.

package/dist/presets/recommended.d.ts

@@ -1,6 +1,7 @@
 //#region src/presets/recommended.d.ts
 /** Strict, non-type-aware policy for Effect-native application code. */
 declare const recommended: {
+  readonly "effect/noAs": "error";
   readonly "effect/noAsyncFunction": "error";
   readonly "effect/noDynamicImports": "error";
   readonly "effect/noEffectBind": "error";

package/dist/presets/recommended.js

@@ -1,6 +1,7 @@
 //#region src/presets/recommended.ts
 /** Strict, non-type-aware policy for Effect-native application code. */
 const recommended = {
+	"effect/noAs": "error",
 	"effect/noAsyncFunction": "error",
 	"effect/noDynamicImports": "error",
 	"effect/noEffectBind": "error",

package/dist/rules/index.d.ts

@@ -1,5 +1,6 @@
 import { noEffectBind } from "./no-effect-bind.js";
 import { noEffectDo } from "./no-effect-do.js";
+import { noAs } from "./no-as.js";
 import { noAsyncFunction } from "./no-async-function.js";
 import { noDynamicImports } from "./no-dynamic-imports.js";
 import { noGlobals } from "./no-globals.js";
@@ -13,7 +14,7 @@ import { noTryCatch } from "./no-try-catch.js";
 
 //#region src/rules/index.d.ts
 declare namespace index_d_exports {
-  export { noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch };
+  export { noAs, noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch };
 }
 //#endregion
-export { index_d_exports, noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch };
+export { index_d_exports, noAs, noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch };

package/dist/rules/index.js

@@ -1,6 +1,7 @@
 import { __exportAll } from "../_virtual/_rolldown/runtime.js";
 import { noEffectBind } from "./no-effect-bind.js";
 import { noEffectDo } from "./no-effect-do.js";
+import { noAs } from "./no-as.js";
 import { noAsyncFunction } from "./no-async-function.js";
 import { noDynamicImports } from "./no-dynamic-imports.js";
 import { noGlobals } from "./no-globals.js";
@@ -13,6 +14,7 @@ import { noThrowStatement } from "./no-throw-statement.js";
 import { noTryCatch } from "./no-try-catch.js";
 //#region src/rules/index.ts
 var rules_exports = /* @__PURE__ */ __exportAll({
+	noAs: () => noAs,
 	noAsyncFunction: () => noAsyncFunction,
 	noDynamicImports: () => noDynamicImports,
 	noEffectBind: () => noEffectBind,
@@ -27,4 +29,4 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noTryCatch: () => noTryCatch
 });
 //#endregion
-export { noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch, rules_exports };
+export { noAs, noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch, rules_exports };

package/dist/rules/no-as.d.ts

@@ -0,0 +1,6 @@
+import * as _$_oxlint_plugins0 from "@oxlint/plugins";
+
+//#region src/rules/no-as.d.ts
+declare const noAs: _$_oxlint_plugins0.CreateRule;
+//#endregion
+export { noAs };

package/dist/rules/no-as.js

@@ -0,0 +1,22 @@
+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";
+//#region src/rules/no-as.ts
+/** Ban TypeScript `as` assertions. */
+const noAs = define({
+	name: "no-as",
+	meta: meta({
+		type: "problem",
+		description: "Use satisfies instead of an as assertion."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { TSAsExpression: (node) => ctx.report(make({
+			node,
+			message: "Avoid as assertions. Use satisfies instead."
+		})) };
+	}
+});
+//#endregion
+export { noAs };

package/dist/rules/no-globals.js

@@ -148,6 +148,16 @@ const isUnshadowedGlobal = (ctx, node, name) => Option.match(findVariableUp(ctx.
 	onSome: (variable) => variable.defs.length === 0
 });
 const staticMember = (node) => Option.getOrUndefined(memberNames(node));
+const processStreams = new Set([
+	"stderr",
+	"stdin",
+	"stdout"
+]);
+const isTtyRead = (node) => {
+	const parent = node.parent;
+	if (parent?.type !== "MemberExpression" || parent.computed) return false;
+	return parent.object === node && parent.property.type === "Identifier" && parent.property.name === "isTTY";
+};
 const isCryptoDigest = (node) => {
 	if (node.computed || node.property.type !== "Identifier" || node.property.name !== "digest") return false;
 	const object = node.object;
@@ -175,7 +185,10 @@ const noGlobals = define({
 				if (names === void 0) return Effect.void;
 				const [object, property] = names;
 				if (!isUnshadowedGlobal(ctx, memberExpression, object)) return Effect.void;
-				for (const [bannedObject, properties, alternative] of memberBans) if (object === bannedObject && properties.has(property)) return report(memberExpression, `${object}.${property}`, alternative);
+				for (const [bannedObject, properties, alternative] of memberBans) if (object === bannedObject && properties.has(property)) {
+					if (object === "process" && processStreams.has(property) && isTtyRead(memberExpression)) return Effect.void;
+					return report(memberExpression, `${object}.${property}`, alternative);
+				}
 				return Effect.void;
 			},
 			CallExpression: (node) => {

package/package.json

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