oxlint-plugin-effect 0.2.0 → 0.2.1

package/dist/rules/index.d.ts

@@ -0,0 +1,66 @@
+import { noEffectAs } from "./no-effect-as.js";
+import { noEffectAsync } from "./no-effect-async.js";
+import { noEffectBind } from "./no-effect-bind.js";
+import { noEffectDo } from "./no-effect-do.js";
+import { noEffectNever } from "./no-effect-never.js";
+import { noOptionAs } from "./no-option-as.js";
+import { noRuntimeRunFork } from "./no-runtime-run-fork.js";
+import { noIfStatement } from "./no-if-statement.js";
+import { noSwitchStatement } from "./no-switch-statement.js";
+import { noArrowLadder } from "./no-arrow-ladder.js";
+import { noAsyncFunction } from "./no-async-function.js";
+import { noCatchAllToMapError } from "./no-catch-all-to-map-error.js";
+import { noEffectFnGenerator } from "./no-effect-fn-generator.js";
+import { noEffectGenAdapter } from "./no-effect-gen-adapter.js";
+import { noEffectMapFlatten } from "./no-effect-map-flatten.js";
+import { noEffectMapVoid } from "./no-effect-map-void.js";
+import { noEffectOrElseLadder } from "./no-effect-orElse-ladder.js";
+import { noEffectSucceedString } from "./no-effect-succeed-string.js";
+import { noEffectSucceedVariable } from "./no-effect-succeed-variable.js";
+import { noEffectSucceedVoid } from "./no-effect-succeed-void.js";
+import { noEffectSyncConsole } from "./no-effect-sync-console.js";
+import { noEffectSyncWrapper } from "./no-effect-sync-wrapper.js";
+import { noEffectTypeAlias } from "./no-effect-type-alias.js";
+import { noEffectWrapperAlias } from "./no-effect-wrapper-alias.js";
+import { noExtendsNativeError } from "./no-extends-native-error.js";
+import { noFlatmapLadder } from "./no-flatmap-ladder.js";
+import { noFromNullableCoalesce } from "./no-fromnullable-coalesce.js";
+import { noGlobalErrorInCatch } from "./no-global-error-in-catch.js";
+import { noGlobalErrorInFailure } from "./no-global-error-in-failure.js";
+import { noIifeWrapper } from "./no-iife-wrapper.js";
+import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noManualEffectChannels } from "./no-manual-effect-channels.js";
+import { noMatchEffectBranch } from "./no-match-effect-branch.js";
+import { noMatchVoidBranch } from "./no-match-void-branch.js";
+import { noMultipleEffectProvide } from "./no-multiple-effect-provide.js";
+import { noNestedEffectCall } from "./no-nested-effect-call.js";
+import { noNestedEffectGen } from "./no-nested-effect-gen.js";
+import { noNestedPipe } from "./no-nested-pipe.js";
+import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noOptionBooleanNormalization } from "./no-option-boolean-normalization.js";
+import { noPositionalLogError } from "./no-positional-log-error.js";
+import { noRedundantSchemaTagIdentifier } from "./no-redundant-schema-tag-identifier.js";
+import { noReturnInArrow } from "./no-return-in-arrow.js";
+import { noSchemaStructWithTag } from "./no-schema-struct-with-tag.js";
+import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noStringSentinelConst } from "./no-string-sentinel-const.js";
+import { noTernary } from "./no-ternary.js";
+import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
+import { noUnnecessaryEffectGen } from "./no-unnecessary-effect-gen.js";
+import { noUnnecessaryPipeChain } from "./no-unnecessary-pipe-chain.js";
+import { noUnnecessaryPipe } from "./no-unnecessary-pipe.js";
+import { noGlobals } from "./no-globals.js";
+import { noInlineProvide } from "./no-inline-provide.js";
+import { noNewError } from "./no-new-error.js";
+import { noNewPromise } from "./no-new-promise.js";
+import { noReturnNullish } from "./no-return-nullish.js";
+import { noRunInEffectGen } from "./no-run-in-effect-gen.js";
+import { noThrowStatement } from "./no-throw-statement.js";
+import { noTryCatch } from "./no-try-catch.js";
+
+//#region src/rules/index.d.ts
+declare namespace index_d_exports {
+  export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };
+}
+//#endregion
+export { index_d_exports, noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };

package/dist/rules/index.js

@@ -0,0 +1,124 @@
+import { __exportAll } from "../_virtual/_rolldown/runtime.js";
+import { noEffectAs } from "./no-effect-as.js";
+import { noEffectAsync } from "./no-effect-async.js";
+import { noEffectBind } from "./no-effect-bind.js";
+import { noEffectDo } from "./no-effect-do.js";
+import { noEffectNever } from "./no-effect-never.js";
+import { noOptionAs } from "./no-option-as.js";
+import { noRuntimeRunFork } from "./no-runtime-run-fork.js";
+import { noIfStatement } from "./no-if-statement.js";
+import { noSwitchStatement } from "./no-switch-statement.js";
+import { noArrowLadder } from "./no-arrow-ladder.js";
+import { noAsyncFunction } from "./no-async-function.js";
+import { noCatchAllToMapError } from "./no-catch-all-to-map-error.js";
+import { noEffectFnGenerator } from "./no-effect-fn-generator.js";
+import { noEffectGenAdapter } from "./no-effect-gen-adapter.js";
+import { noEffectMapFlatten } from "./no-effect-map-flatten.js";
+import { noEffectMapVoid } from "./no-effect-map-void.js";
+import { noEffectOrElseLadder } from "./no-effect-orElse-ladder.js";
+import { noEffectSucceedString } from "./no-effect-succeed-string.js";
+import { noEffectSucceedVariable } from "./no-effect-succeed-variable.js";
+import { noEffectSucceedVoid } from "./no-effect-succeed-void.js";
+import { noEffectSyncConsole } from "./no-effect-sync-console.js";
+import { noEffectSyncWrapper } from "./no-effect-sync-wrapper.js";
+import { noEffectTypeAlias } from "./no-effect-type-alias.js";
+import { noEffectWrapperAlias } from "./no-effect-wrapper-alias.js";
+import { noExtendsNativeError } from "./no-extends-native-error.js";
+import { noFlatmapLadder } from "./no-flatmap-ladder.js";
+import { noFromNullableCoalesce } from "./no-fromnullable-coalesce.js";
+import { noGlobalErrorInCatch } from "./no-global-error-in-catch.js";
+import { noGlobalErrorInFailure } from "./no-global-error-in-failure.js";
+import { noIifeWrapper } from "./no-iife-wrapper.js";
+import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noManualEffectChannels } from "./no-manual-effect-channels.js";
+import { noMatchEffectBranch } from "./no-match-effect-branch.js";
+import { noMatchVoidBranch } from "./no-match-void-branch.js";
+import { noMultipleEffectProvide } from "./no-multiple-effect-provide.js";
+import { noNestedEffectCall } from "./no-nested-effect-call.js";
+import { noNestedEffectGen } from "./no-nested-effect-gen.js";
+import { noNestedPipe } from "./no-nested-pipe.js";
+import { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noOptionBooleanNormalization } from "./no-option-boolean-normalization.js";
+import { noPositionalLogError } from "./no-positional-log-error.js";
+import { noRedundantSchemaTagIdentifier } from "./no-redundant-schema-tag-identifier.js";
+import { noReturnInArrow } from "./no-return-in-arrow.js";
+import { noSchemaStructWithTag } from "./no-schema-struct-with-tag.js";
+import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noStringSentinelConst } from "./no-string-sentinel-const.js";
+import { noTernary } from "./no-ternary.js";
+import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
+import { noUnnecessaryEffectGen } from "./no-unnecessary-effect-gen.js";
+import { noUnnecessaryPipeChain } from "./no-unnecessary-pipe-chain.js";
+import { noUnnecessaryPipe } from "./no-unnecessary-pipe.js";
+import { noGlobals } from "./no-globals.js";
+import { noInlineProvide } from "./no-inline-provide.js";
+import { noNewError } from "./no-new-error.js";
+import { noNewPromise } from "./no-new-promise.js";
+import { noReturnNullish } from "./no-return-nullish.js";
+import { noRunInEffectGen } from "./no-run-in-effect-gen.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({
+	noArrowLadder: () => noArrowLadder,
+	noAsyncFunction: () => noAsyncFunction,
+	noCatchAllToMapError: () => noCatchAllToMapError,
+	noEffectAs: () => noEffectAs,
+	noEffectAsync: () => noEffectAsync,
+	noEffectBind: () => noEffectBind,
+	noEffectDo: () => noEffectDo,
+	noEffectFnGenerator: () => noEffectFnGenerator,
+	noEffectGenAdapter: () => noEffectGenAdapter,
+	noEffectMapFlatten: () => noEffectMapFlatten,
+	noEffectMapVoid: () => noEffectMapVoid,
+	noEffectNever: () => noEffectNever,
+	noEffectOrElseLadder: () => noEffectOrElseLadder,
+	noEffectSucceedString: () => noEffectSucceedString,
+	noEffectSucceedVariable: () => noEffectSucceedVariable,
+	noEffectSucceedVoid: () => noEffectSucceedVoid,
+	noEffectSyncConsole: () => noEffectSyncConsole,
+	noEffectSyncWrapper: () => noEffectSyncWrapper,
+	noEffectTypeAlias: () => noEffectTypeAlias,
+	noEffectWrapperAlias: () => noEffectWrapperAlias,
+	noExtendsNativeError: () => noExtendsNativeError,
+	noFlatmapLadder: () => noFlatmapLadder,
+	noFromNullableCoalesce: () => noFromNullableCoalesce,
+	noGlobalErrorInCatch: () => noGlobalErrorInCatch,
+	noGlobalErrorInFailure: () => noGlobalErrorInFailure,
+	noGlobals: () => noGlobals,
+	noIfStatement: () => noIfStatement,
+	noIifeWrapper: () => noIifeWrapper,
+	noInlineProvide: () => noInlineProvide,
+	noInstanceofSchema: () => noInstanceofSchema,
+	noManualEffectChannels: () => noManualEffectChannels,
+	noMatchEffectBranch: () => noMatchEffectBranch,
+	noMatchVoidBranch: () => noMatchVoidBranch,
+	noMultipleEffectProvide: () => noMultipleEffectProvide,
+	noNestedEffectCall: () => noNestedEffectCall,
+	noNestedEffectGen: () => noNestedEffectGen,
+	noNestedPipe: () => noNestedPipe,
+	noNewError: () => noNewError,
+	noNewPromise: () => noNewPromise,
+	noNodeBuiltinImport: () => noNodeBuiltinImport,
+	noOptionAs: () => noOptionAs,
+	noOptionBooleanNormalization: () => noOptionBooleanNormalization,
+	noPositionalLogError: () => noPositionalLogError,
+	noRedundantSchemaTagIdentifier: () => noRedundantSchemaTagIdentifier,
+	noReturnInArrow: () => noReturnInArrow,
+	noReturnNullish: () => noReturnNullish,
+	noRunInEffectGen: () => noRunInEffectGen,
+	noRuntimeRunFork: () => noRuntimeRunFork,
+	noSchemaStructWithTag: () => noSchemaStructWithTag,
+	noSchemaUnionOfLiterals: () => noSchemaUnionOfLiterals,
+	noStringSentinelConst: () => noStringSentinelConst,
+	noSwitchStatement: () => noSwitchStatement,
+	noTernary: () => noTernary,
+	noThrowStatement: () => noThrowStatement,
+	noTryCatch: () => noTryCatch,
+	noUnnecessaryArrowBlock: () => noUnnecessaryArrowBlock,
+	noUnnecessaryEffectGen: () => noUnnecessaryEffectGen,
+	noUnnecessaryPipe: () => noUnnecessaryPipe,
+	noUnnecessaryPipeChain: () => noUnnecessaryPipeChain
+});
+//#endregion
+export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStructWithTag, noSchemaUnionOfLiterals, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain, rules_exports };

package/dist/rules/no-arrow-ladder.d.ts

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

package/dist/rules/no-arrow-ladder.js

@@ -0,0 +1,61 @@
+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 * as Effect from "effect/Effect";
+//#region src/rules/no-arrow-ladder.ts
+/**
+* Ban nested IIFE chains — `((x) => ((y) => ...)(arg2))(arg1)`.
+*
+* Use named const bindings + flat pipeline.
+*
+* Source: biome-effect-linting-rules/no-arrow-ladder
+*/
+const isIife = (node) => {
+	if (node == null || typeof node !== "object") return false;
+	const n = node;
+	if (n["type"] !== "CallExpression") return false;
+	const callee = n["callee"];
+	if (callee == null || typeof callee !== "object") return false;
+	const c = callee;
+	return c["type"] === "ArrowFunctionExpression" || c["type"] === "FunctionExpression";
+};
+const containsIife = (node) => {
+	if (node == null || typeof node !== "object") return false;
+	const n = node;
+	if (isIife(n)) return true;
+	if ("body" in n) {
+		if (Array.isArray(n["body"])) {
+			for (const child of n["body"]) if (containsIife(child)) return true;
+		} else if (containsIife(n["body"])) return true;
+	}
+	if ("argument" in n && containsIife(n["argument"])) return true;
+	if ("arguments" in n && Array.isArray(n["arguments"])) {
+		for (const arg of n["arguments"]) if (containsIife(arg)) return true;
+	}
+	if ("expression" in n && containsIife(n["expression"])) return true;
+	return false;
+};
+const noArrowLadder = define({
+	name: "no-arrow-ladder",
+	meta: meta({
+		type: "suggestion",
+		description: "Avoid nested IIFE chains. Use named const bindings + flat pipeline."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			if (!isIife(node)) return Effect.void;
+			const callee = node["callee"];
+			if (callee == null || typeof callee !== "object") return Effect.void;
+			const c = callee;
+			if ("body" in c && containsIife(c["body"])) return ctx.report(make({
+				node,
+				message: "Nested IIFE chain detected. Use named const bindings + flat pipeline."
+			}));
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noArrowLadder };

package/dist/rules/no-async-function.d.ts

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

package/dist/rules/no-async-function.js

@@ -0,0 +1,46 @@
+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 * as Effect from "effect/Effect";
+//#region src/rules/no-async-function.ts
+/**
+* Ban `async` functions.
+*
+* Use Effect.promise, Effect.tryPromise, or Effect.gen instead.
+*
+* Source: language-service/asyncFunction
+*
+* Note: This is an effectNative rule — off by default.
+* Only enable in codebases fully committed to Effect.
+*/
+const noAsyncFunction = define({
+	name: "no-async-function",
+	meta: meta({
+		type: "suggestion",
+		description: "Avoid async functions. Use Effect.promise or Effect.tryPromise."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		const report = (node) => ctx.report(make({
+			node,
+			message: "Avoid async functions. Use Effect.promise, Effect.tryPromise, or Effect.gen."
+		}));
+		return {
+			FunctionDeclaration: (node) => {
+				if ("async" in node && node.async === true) return report(node);
+				return Effect.void;
+			},
+			FunctionExpression: (node) => {
+				if ("async" in node && node.async === true) return report(node);
+				return Effect.void;
+			},
+			ArrowFunctionExpression: (node) => {
+				if ("async" in node && node.async === true) return report(node);
+				return Effect.void;
+			}
+		};
+	}
+});
+//#endregion
+export { noAsyncFunction };

package/dist/rules/no-catch-all-to-map-error.d.ts

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

package/dist/rules/no-catch-all-to-map-error.js

@@ -0,0 +1,67 @@
+import { matchCallOf, memberNames } 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 "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-catch-all-to-map-error.ts
+const catchNames = new Set(["catchAll", "catchAllCause"]);
+/**
+* Check if a node is `Effect.fail(...)` or `Effect.failCause(...)`.
+*/
+const isEffectFailCall = (node) => {
+	if (node.type !== "CallExpression") return false;
+	const call = node;
+	return Option.isSome(matchCallOf(call, "Effect", "fail")) || Option.isSome(matchCallOf(call, "Effect", "failCause"));
+};
+/**
+* Check if a function body is a single `Effect.fail(...)` expression.
+* Handles: `(e) => Effect.fail(f(e))` and `(e) => { return Effect.fail(f(e)) }`
+*/
+const bodyIsEffectFail = (fn) => {
+	const body = fn["body"];
+	if (body == null || typeof body !== "object") return false;
+	const bodyNode = body;
+	if (bodyNode.type !== "BlockStatement") return isEffectFailCall(bodyNode);
+	const stmts = bodyNode["body"];
+	if (!Array.isArray(stmts) || stmts.length !== 1) return false;
+	const stmt = stmts[0];
+	if (stmt.type !== "ReturnStatement") return false;
+	const arg = stmt["argument"];
+	return arg != null && typeof arg === "object" && isEffectFailCall(arg);
+};
+const noCatchAllToMapError = define({
+	name: "no-catch-all-to-map-error",
+	meta: meta({
+		type: "suggestion",
+		description: "Use Effect.mapError instead of Effect.catchAll(e => Effect.fail(f(e))).",
+		effectVersion: "v3"
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			const call = node;
+			const names = Option.getOrUndefined(memberNames(call.callee));
+			if (names === void 0) return Effect.void;
+			const [obj, prop] = names;
+			if (obj !== "Effect" && obj !== "_") return Effect.void;
+			if (!catchNames.has(prop)) return Effect.void;
+			const args = call.arguments;
+			if (args.length === 0) return Effect.void;
+			const callback = args[args.length - 1];
+			if (callback === void 0) return Effect.void;
+			if (callback.type !== "ArrowFunctionExpression" && callback.type !== "FunctionExpression") return Effect.void;
+			if (bodyIsEffectFail(callback)) {
+				const replacement = prop === "catchAllCause" ? "mapErrorCause" : "mapError";
+				return ctx.report(make({
+					node,
+					message: `Use Effect.${replacement} instead of Effect.${prop}(e => Effect.fail(...)).`
+				}));
+			}
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noCatchAllToMapError };

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

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

package/dist/rules/no-effect-as.js

@@ -0,0 +1,16 @@
+import { banMember } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+//#region src/rules/no-effect-as.ts
+/**
+* Ban `Effect.as`.
+*
+* Use `Effect.map` for value mapping or `Effect.asVoid` after explicit steps.
+*
+* Source: biome-effect-linting-rules/no-effect-as
+*/
+const noEffectAs = banMember("Effect", "as", {
+	message: "Avoid Effect.as. Use Effect.map for value mapping or Effect.asVoid.",
+	meta: { type: "suggestion" }
+});
+//#endregion
+export { noEffectAs };

package/dist/rules/no-effect-async.d.ts

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

package/dist/rules/no-effect-async.js

@@ -0,0 +1,16 @@
+import { banMember } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+//#region src/rules/no-effect-async.ts
+/**
+* Ban `Effect.async`.
+*
+* Use `Stream` or structured Effect lifecycles (acquire/use/release).
+*
+* Source: biome-effect-linting-rules/no-effect-async
+*/
+const noEffectAsync = banMember("Effect", "async", {
+	message: "Avoid Effect.async. Use Stream or structured Effect lifecycles.",
+	meta: { type: "suggestion" }
+});
+//#endregion
+export { noEffectAsync };

package/dist/rules/no-effect-bind.d.ts

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

package/dist/rules/no-effect-bind.js

@@ -0,0 +1,16 @@
+import { banMember } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+//#region src/rules/no-effect-bind.ts
+/**
+* Ban `Effect.bind`.
+*
+* Use flat pipe or direct top-level `Effect.gen` with yields.
+*
+* Source: biome-effect-linting-rules/no-effect-bind
+*/
+const noEffectBind = banMember("Effect", "bind", {
+	message: "Avoid Effect.bind. Use flat pipe or Effect.gen with yields.",
+	meta: { type: "suggestion" }
+});
+//#endregion
+export { noEffectBind };

package/dist/rules/no-effect-do.d.ts

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

package/dist/rules/no-effect-do.js

@@ -0,0 +1,16 @@
+import { banMember } from "../vendor/effect-oxlint/Rule.js";
+import "../vendor/effect-oxlint/index.js";
+//#region src/rules/no-effect-do.ts
+/**
+* Ban `Effect.Do` — the builder/do-notation entry point.
+*
+* Use flat pipe-based flow or `Effect.gen` instead.
+*
+* Sources: biome-effect-linting-rules/no-effect-do, language-service/effectDoNotation
+*/
+const noEffectDo = banMember("Effect", "Do", {
+	message: "Avoid Effect.Do builder notation. Use flat pipe-based flow or Effect.gen.",
+	meta: { type: "suggestion" }
+});
+//#endregion
+export { noEffectDo };

package/dist/rules/no-effect-fn-generator.d.ts

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

package/dist/rules/no-effect-fn-generator.js

@@ -0,0 +1,30 @@
+import { isCallOf } 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 "../vendor/effect-oxlint/index.js";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-effect-fn-generator.ts
+const noEffectFnGenerator = define({
+	name: "no-effect-fn-generator",
+	meta: meta({
+		type: "suggestion",
+		description: "Effect.fn should not directly wrap a generator. Use Effect.fn('name')(function*() {...}) with a span name."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			if (!isCallOf(node, "Effect", "fn")) return Effect.void;
+			if ("arguments" in node && Array.isArray(node.arguments) && node.arguments.length === 1) {
+				const arg = node.arguments[0];
+				if (arg != null && typeof arg === "object" && "type" in arg && arg.type === "FunctionExpression" && "generator" in arg && arg.generator === true) return ctx.report(make({
+					node,
+					message: "Use Effect.fn('spanName')(function*() {...}) — provide a trace span name."
+				}));
+			}
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noEffectFnGenerator };

package/dist/rules/no-effect-gen-adapter.d.ts

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

package/dist/rules/no-effect-gen-adapter.js

@@ -0,0 +1,30 @@
+import { isCallOf } 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 "../vendor/effect-oxlint/index.js";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-effect-gen-adapter.ts
+const noEffectGenAdapter = define({
+	name: "no-effect-gen-adapter",
+	meta: meta({
+		type: "suggestion",
+		description: "Deprecated adapter parameter in Effect.gen. Use `yield*` directly.",
+		effectVersion: "v3"
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			if (!isCallOf(node, "Effect", "gen")) return Effect.void;
+			if (!("arguments" in node) || !Array.isArray(node.arguments) || node.arguments.length < 1) return Effect.void;
+			const arg = node.arguments[0];
+			if (arg != null && typeof arg === "object" && "type" in arg && arg.type === "FunctionExpression" && "generator" in arg && arg.generator === true && "params" in arg && Array.isArray(arg.params) && arg.params.length > 0) return ctx.report(make({
+				node,
+				message: "Deprecated adapter parameter in Effect.gen. Remove the parameter and use `yield*` directly."
+			}));
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noEffectGenAdapter };

package/dist/rules/no-effect-map-flatten.d.ts

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

package/dist/rules/no-effect-map-flatten.js

@@ -0,0 +1,53 @@
+import { calleeName, matchCallOf } 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 "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+//#region src/rules/no-effect-map-flatten.ts
+const isEffectMap = (node) => {
+	if (node.type !== "CallExpression") return false;
+	return Option.isSome(matchCallOf(node, "Effect", "map"));
+};
+const isEffectFlatMap = (node) => {
+	if (node.type !== "CallExpression") return false;
+	return Option.isSome(matchCallOf(node, "Effect", "flatMap"));
+};
+const hasMapFlatMapSequence = (args) => {
+	for (let i = 0; i < args.length - 1; i++) {
+		const a = args[i];
+		const b = args[i + 1];
+		if (a && b && isEffectMap(a) && isEffectFlatMap(b)) return true;
+	}
+	return false;
+};
+const noEffectMapFlatten = define({
+	name: "no-effect-map-flatten",
+	meta: meta({
+		type: "suggestion",
+		description: "Avoid Effect.map followed by Effect.flatMap in pipe. Fuse into a single Effect.flatMap."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		return { CallExpression: (node) => {
+			const call = node;
+			const args = call.arguments;
+			if (Option.getOrUndefined(calleeName(call)) === "pipe" && hasMapFlatMapSequence(args)) return ctx.report(make({
+				node,
+				message: "Effect.map followed by Effect.flatMap can be fused into a single Effect.flatMap."
+			}));
+			const calleeNode = call.callee;
+			if (calleeNode.type === "MemberExpression") {
+				const prop = calleeNode["property"];
+				if (prop != null && typeof prop === "object" && "name" in prop && prop.name === "pipe" && hasMapFlatMapSequence(args)) return ctx.report(make({
+					node,
+					message: "Effect.map followed by Effect.flatMap can be fused into a single Effect.flatMap."
+				}));
+			}
+			return Effect.void;
+		} };
+	}
+});
+//#endregion
+export { noEffectMapFlatten };

package/dist/rules/no-effect-map-void.d.ts

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