oxlint-plugin-effect 0.5.1 → 0.7.0

package/README.md

@@ -27,12 +27,14 @@ 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    |
 | `effect/noThrowStatement`     | Bans every throw statement                                                                |
 | `effect/noNewPromise`         | Bans new Promise, Promise calls, and Promise static APIs                                  |
 | `effect/noNewError`           | Allows native Error values only as direct arguments to Effect.die, Cause.die, or Exit.die |
+| `effect/noNullish`            | Bans null and undefined; use Option or a domain enum for richer state                     |
 | `effect/noTernary`            | Bans conditional expressions while allowing ordinary if statements                        |
 | `effect/noDynamicImports`     | Allows import() only behind a named lazy-loading boundary; bans require()                 |
 | `effect/noEffectDo`           | Bans Effect.Do                                                                            |

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";
@@ -9,6 +10,7 @@ declare const recommended: {
   readonly "effect/noNewError": "error";
   readonly "effect/noNewPromise": "error";
   readonly "effect/noNodeBuiltinImport": "error";
+  readonly "effect/noNullish": "error";
   readonly "effect/noTernary": "error";
   readonly "effect/noTestLifecycleHooks": "error";
   readonly "effect/noThrowStatement": "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",
@@ -9,6 +10,7 @@ const recommended = {
 	"effect/noNewError": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNodeBuiltinImport": "error",
+	"effect/noNullish": "error",
 	"effect/noTernary": "error",
 	"effect/noTestLifecycleHooks": "error",
 	"effect/noThrowStatement": "error",

package/dist/rules/index.d.ts

@@ -1,11 +1,13 @@
 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";
 import { noNewError } from "./no-new-error.js";
 import { noNewPromise } from "./no-new-promise.js";
 import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noNullish } from "./no-nullish.js";
 import { noTernary } from "./no-ternary.js";
 import { noTestLifecycleHooks } from "./no-test-lifecycle-hooks.js";
 import { noThrowStatement } from "./no-throw-statement.js";
@@ -13,7 +15,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, noNullish, 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, noNullish, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch };

package/dist/rules/index.js

@@ -1,18 +1,21 @@
 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";
 import { noNewError } from "./no-new-error.js";
 import { noNewPromise } from "./no-new-promise.js";
 import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noNullish } from "./no-nullish.js";
 import { noTernary } from "./no-ternary.js";
 import { noTestLifecycleHooks } from "./no-test-lifecycle-hooks.js";
 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,
@@ -21,10 +24,11 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noNewError: () => noNewError,
 	noNewPromise: () => noNewPromise,
 	noNodeBuiltinImport: () => noNodeBuiltinImport,
+	noNullish: () => noNullish,
 	noTernary: () => noTernary,
 	noTestLifecycleHooks: () => noTestLifecycleHooks,
 	noThrowStatement: () => noThrowStatement,
 	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, noNullish, 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-nullish.d.ts

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

package/dist/rules/no-nullish.js

@@ -0,0 +1,50 @@
+import { narrow } from "../vendor/effect-oxlint/AST.js";
+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 { isGlobalReference } from "../vendor/effect-oxlint/SourceCode.js";
+import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-nullish.ts
+const message = "Avoid null and undefined. Use Option for presence or absence. Use a domain enum when the state has more than two cases.";
+const noNullish = define({
+	name: "no-nullish",
+	meta: meta({
+		type: "problem",
+		description: "Use Option or a domain enum instead of null and undefined."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		const report = (node) => ctx.report(make({
+			node,
+			message
+		}));
+		return {
+			Identifier: (node) => Option.match(narrow(node, "Identifier"), {
+				onNone: () => Effect.void,
+				onSome: (identifier) => {
+					if (identifier.name !== "undefined") return Effect.void;
+					return isGlobalReference(identifier).pipe(Effect.flatMap((isGlobal) => {
+						if (!isGlobal) return Effect.void;
+						return report(identifier);
+					}));
+				}
+			}),
+			Literal: (node) => Option.match(narrow(node, "Literal"), {
+				onNone: () => Effect.void,
+				onSome: (literal) => literal.value === null && !("regex" in literal) ? report(literal) : Effect.void
+			}),
+			TSNullKeyword: (node) => Option.match(narrow(node, "TSNullKeyword"), {
+				onNone: () => Effect.void,
+				onSome: report
+			}),
+			TSUndefinedKeyword: (node) => Option.match(narrow(node, "TSUndefinedKeyword"), {
+				onNone: () => Effect.void,
+				onSome: report
+			})
+		};
+	}
+});
+//#endregion
+export { noNullish };

package/package.json

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