oxlint-plugin-effect 0.2.3 → 0.4.0

package/dist/rules/no-global-error-in-catch.js

@@ -1,75 +0,0 @@
-import { 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-global-error-in-catch.ts
-const nativeErrors = new Set([
-	"Error",
-	"TypeError",
-	"RangeError",
-	"ReferenceError",
-	"SyntaxError",
-	"URIError",
-	"EvalError"
-]);
-const catchMethods = new Set([
-	"catch",
-	"catchAll",
-	"catchAllCause",
-	"catchIf",
-	"catchCauseIf",
-	"catchTag",
-	"catchTags",
-	"catchDefect"
-]);
-const isNativeErrorNew = (node) => {
-	if (node.type !== "NewExpression") return false;
-	const callee = node["callee"];
-	return callee.type === "Identifier" && "name" in callee && nativeErrors.has(callee.name);
-};
-/**
-* Check if a function body returns `new Error(...)`.
-*/
-const bodyReturnsNativeError = (fn) => {
-	const body = fn["body"];
-	if (body.type !== "BlockStatement") return isNativeErrorNew(body);
-	const stmts = body["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" && isNativeErrorNew(arg);
-};
-const noGlobalErrorInCatch = define({
-	name: "no-global-error-in-catch",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid native Error in Effect catch handlers. Use Schema.TaggedErrorClass or Data.TaggedError."
-	}),
-	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") return Effect.void;
-			if (!catchMethods.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 (bodyReturnsNativeError(callback)) return ctx.report(make({
-				node: callback,
-				message: "Avoid native Error in Effect catch handler. Use Schema.TaggedErrorClass or Data.TaggedError."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noGlobalErrorInCatch };

package/dist/rules/no-global-error-in-failure.d.ts

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

package/dist/rules/no-global-error-in-failure.js

@@ -1,54 +0,0 @@
-import { 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-global-error-in-failure.ts
-const nativeErrors = new Set([
-	"Error",
-	"TypeError",
-	"RangeError",
-	"ReferenceError",
-	"SyntaxError",
-	"URIError",
-	"EvalError"
-]);
-const isNativeErrorNew = (node) => {
-	if (node.type !== "NewExpression") return false;
-	const callee = node["callee"];
-	return callee.type === "Identifier" && "name" in callee && nativeErrors.has(callee.name);
-};
-const noGlobalErrorInFailure = define({
-	name: "no-global-error-in-failure",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid native Error in Effect.fail(). Use Schema.TaggedErrorClass or Data.TaggedError."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			const call = node;
-			if (Option.isNone(matchCallOf(call, "Effect", "fail")) && Option.isNone(matchCallOf(call, "Effect", "failSync")) && Option.isNone(matchCallOf(call, "Effect", "failCause"))) return Effect.void;
-			const args = call.arguments;
-			if (args.length === 0) return Effect.void;
-			const arg = args[args.length - 1];
-			if (arg === void 0) return Effect.void;
-			if (isNativeErrorNew(arg)) return ctx.report(make({
-				node: arg,
-				message: "Avoid native Error in Effect.fail(). Use Schema.TaggedErrorClass or Data.TaggedError."
-			}));
-			if (arg.type === "ArrowFunctionExpression") {
-				const body = arg["body"];
-				if (body.type !== "BlockStatement" && isNativeErrorNew(body)) return ctx.report(make({
-					node: arg,
-					message: "Avoid native Error in Effect.failSync(). Use Schema.TaggedErrorClass or Data.TaggedError."
-				}));
-			}
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noGlobalErrorInFailure };

package/dist/rules/no-hand-rolled-tagged-union.d.ts

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

package/dist/rules/no-hand-rolled-tagged-union.js

@@ -1,70 +0,0 @@
-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-hand-rolled-tagged-union.ts
-const isAstNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
-const getNodeField = (node, field) => {
-	const value = node[field];
-	return isAstNode(value) ? value : void 0;
-};
-const getStringField = (node, field) => {
-	const value = node[field];
-	return typeof value === "string" ? value : void 0;
-};
-const getNodeArrayField = (node, field) => {
-	const value = node[field];
-	return Array.isArray(value) ? value.filter(isAstNode) : void 0;
-};
-const getPropertyKeyName = (node) => {
-	if (node.type === "Identifier" || node.type === "StringLiteral" || node.type === "Literal") return getStringField(node, "name") ?? getStringField(node, "value");
-};
-const isPascalCaseTag = (value) => {
-	if (value.length === 0) return false;
-	const first = value.charAt(0);
-	return first === first.toUpperCase() && first !== first.toLowerCase();
-};
-const isReportableTagLiteral = (member) => {
-	if (member.type !== "TSPropertySignature") return false;
-	const key = getNodeField(member, "key");
-	if (key === void 0 || getPropertyKeyName(key) !== "_tag") return false;
-	const annotation = getNodeField(member, "typeAnnotation");
-	const inner = annotation === void 0 ? void 0 : getNodeField(annotation, "typeAnnotation");
-	if (inner?.type !== "TSLiteralType") return false;
-	const literal = getNodeField(inner, "literal");
-	if (literal === void 0) return false;
-	if (literal.type !== "StringLiteral" && literal.type !== "Literal") return false;
-	const value = getStringField(literal, "value");
-	return value !== void 0 && isPascalCaseTag(value);
-};
-const literalHasTag = (node) => {
-	if (node.type !== "TSTypeLiteral") return false;
-	const members = getNodeArrayField(node, "members");
-	return members !== void 0 && members.some(isReportableTagLiteral);
-};
-const noHandRolledTaggedUnion = define({
-	name: "no-hand-rolled-tagged-union",
-	meta: meta({
-		type: "suggestion",
-		description: "Use Schema.TaggedUnion, Schema.TaggedStruct, or Schema.TaggedErrorClass instead of inline _tag union literals."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { TSUnionType: (node) => {
-			const types = getNodeArrayField(node, "types");
-			if (types === void 0 || types.length < 2) return Effect.void;
-			let tagged = 0;
-			for (const type of types) {
-				if (literalHasTag(type)) tagged += 1;
-				if (tagged >= 2) return ctx.report(make({
-					node,
-					message: "Hand-rolled `_tag` discriminated union. Use Schema.TaggedUnion, Schema.TaggedStruct, or Schema.TaggedErrorClass instead."
-				}));
-			}
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noHandRolledTaggedUnion };

package/dist/rules/no-if-statement.d.ts

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

package/dist/rules/no-if-statement.js

@@ -1,18 +0,0 @@
-import { banStatement } from "../vendor/effect-oxlint/Rule.js";
-import "../vendor/effect-oxlint/index.js";
-//#region src/rules/no-if-statement.ts
-/**
-* Ban `if` statements in Effect codebases.
-*
-* Use `Option.match`, `Either.match`, `Match.value`, or data combinators.
-*
-* Source: biome-effect-linting-rules/no-if-statement
-*
-* Note: Very opinionated — recommended for strict functional presets only.
-*/
-const noIfStatement = banStatement("IfStatement", {
-	message: "Avoid if statements. Use Option.match, Either.match, Match.value, or Effect.if.",
-	meta: { type: "suggestion" }
-});
-//#endregion
-export { noIfStatement };

package/dist/rules/no-iife-wrapper.d.ts

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

package/dist/rules/no-iife-wrapper.js

@@ -1,37 +0,0 @@
-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-iife-wrapper.ts
-/**
-* Ban immediately-invoked function expressions (IIFEs).
-*
-* Use named const binding + flat pipeline.
-*
-* Source: biome-effect-linting-rules/no-iife-wrapper
-*/
-const noIifeWrapper = define({
-	name: "no-iife-wrapper",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid IIFEs. Use named const bindings + flat pipeline."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			if (!("callee" in node)) return Effect.void;
-			const callee = node.callee;
-			if (callee == null || typeof callee !== "object" || !("type" in callee)) return Effect.void;
-			const isWrappedFn = callee.type === "ArrowFunctionExpression" || callee.type === "FunctionExpression";
-			const isParenWrapped = callee.type === "ParenthesizedExpression" && "expression" in callee && callee.expression != null && typeof callee.expression === "object" && "type" in callee.expression && (callee.expression.type === "ArrowFunctionExpression" || callee.expression.type === "FunctionExpression");
-			if (isWrappedFn || isParenWrapped) return ctx.report(make({
-				node,
-				message: "Avoid IIFEs. Use named const binding + flat pipeline."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noIifeWrapper };

package/dist/rules/no-inline-provide.d.ts

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

package/dist/rules/no-inline-provide.js

@@ -1,31 +0,0 @@
-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 { merge } from "../vendor/effect-oxlint/Visitor.js";
-import { define, meta } from "../vendor/effect-oxlint/Rule.js";
-import "../vendor/effect-oxlint/index.js";
-import { makeEffectContextTracker } from "./_effect-context.js";
-import * as Effect from "effect/Effect";
-import * as Ref from "effect/Ref";
-//#region src/rules/no-inline-provide.ts
-const noInlineProvide = define({
-	name: "no-inline-provide",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid Effect.provide inside Effect.gen/fn. Provide layers at the boundary."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		const [depth, tracker] = yield* makeEffectContextTracker;
-		return merge(tracker, { CallExpression: (node) => Effect.flatMap(Ref.get(depth), (d) => {
-			if (d <= 0) return Effect.void;
-			if (!isCallOf(node, "Effect", "provide")) return Effect.void;
-			return ctx.report(make({
-				node,
-				message: "Avoid Effect.provide inside Effect.gen/fn. Provide layers at the boundary."
-			}));
-		}) });
-	}
-});
-//#endregion
-export { noInlineProvide };

package/dist/rules/no-instanceof-schema.d.ts

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

package/dist/rules/no-instanceof-schema.js

@@ -1,35 +0,0 @@
-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-instanceof-schema.ts
-/**
-* Ban `instanceof` checks against Schema-derived classes.
-*
-* Use `Schema.is(SchemaType)` instead.
-*
-* Source: language-service/instanceOfSchema
-*
-* Note: Without type information, we detect common Effect Schema class names
-* used in `instanceof` checks. This is a best-effort heuristic.
-*/
-const noInstanceofSchema = define({
-	name: "no-instanceof-schema",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid instanceof with Schema types. Use Schema.is(SchemaType) instead."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { BinaryExpression: (node) => {
-			if ("operator" in node && node.operator === "instanceof") return ctx.report(make({
-				node,
-				message: "Avoid instanceof. Add a static `is` field to your class: `static is = Schema.is(this)`, then use `MyClass.is(value)`. For tagged types, use `_tag` checks."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noInstanceofSchema };

package/dist/rules/no-make-unsafe.d.ts

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

package/dist/rules/no-make-unsafe.js

@@ -1,30 +0,0 @@
-import { 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-make-unsafe.ts
-const noMakeUnsafe = define({
-	name: "no-make-unsafe",
-	meta: meta({
-		type: "problem",
-		description: "Avoid makeUnsafe constructors. Use safe Effectful or Option-returning construction."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			const call = node;
-			if (call.callee.type !== "MemberExpression") return Effect.void;
-			if (Option.isNone(memberNames(call.callee))) return Effect.void;
-			if (Option.getOrUndefined(memberNames(call.callee))?.[1] !== "makeUnsafe") return Effect.void;
-			return ctx.report(make({
-				node,
-				message: "Do not call `.makeUnsafe(...)`. Use safe Effectful/Option-returning construction instead of bypassing validation."
-			}));
-		} };
-	}
-});
-//#endregion
-export { noMakeUnsafe };

package/dist/rules/no-manual-effect-channels.d.ts

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

package/dist/rules/no-manual-effect-channels.js

@@ -1,40 +0,0 @@
-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-manual-effect-channels.ts
-/**
-* Ban manual `Effect.Effect<A, E, R>` type annotations.
-*
-* Let return types infer from the Effect/Layer you return.
-*
-* Source: biome-effect-linting-rules/no-manual-effect-channels
-*/
-const noManualEffectChannels = define({
-	name: "no-manual-effect-channels",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid manual Effect.Effect<A, E, R> annotations. Let types infer from the returned Effect."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { TSTypeReference: (node) => {
-			if (!("typeName" in node) || node.typeName == null) return Effect.void;
-			const typeName = node.typeName;
-			if (typeName["type"] === "TSQualifiedName" && "left" in typeName && "right" in typeName) {
-				const left = typeName["left"];
-				const right = typeName["right"];
-				if (left != null && left["type"] === "Identifier" && (left["name"] === "Effect" || left["name"] === "Layer") && right != null && right["type"] === "Identifier" && (right["name"] === "Effect" || right["name"] === "Layer")) {
-					if ("typeParameters" in node && node.typeParameters != null && typeof node.typeParameters === "object" && "params" in node.typeParameters && Array.isArray(node.typeParameters["params"]) && node.typeParameters["params"].length > 0) return ctx.report(make({
-						node,
-						message: "Avoid manual Effect/Layer channel annotations. Let types infer from the returned value."
-					}));
-				}
-			}
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noManualEffectChannels };

package/dist/rules/no-match-effect-branch.d.ts

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

package/dist/rules/no-match-effect-branch.js

@@ -1,64 +0,0 @@
-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-match-effect-branch.ts
-const sequencingMethods = new Set([
-	"flatMap",
-	"map",
-	"andThen",
-	"tap",
-	"zipRight",
-	"pipe"
-]);
-const containsEffectSequencing = (node) => {
-	if (node == null || typeof node !== "object") return false;
-	const n = node;
-	if (n["type"] === "CallExpression" && "callee" in n) {
-		const callee = n["callee"];
-		if (callee != null && callee["type"] === "MemberExpression") {
-			const obj = callee["object"];
-			const prop = callee["property"];
-			if (obj != null && obj["type"] === "Identifier" && obj["name"] === "Effect" && prop != null && prop["type"] === "Identifier" && typeof prop["name"] === "string" && sequencingMethods.has(prop["name"])) return true;
-		}
-		if ("arguments" in n && Array.isArray(n["arguments"])) {
-			for (const arg of n["arguments"]) if (containsEffectSequencing(arg)) return true;
-		}
-	}
-	if ("body" in n) {
-		if (Array.isArray(n["body"])) {
-			for (const child of n["body"]) if (containsEffectSequencing(child)) return true;
-		} else if (containsEffectSequencing(n["body"])) return true;
-	}
-	if ("argument" in n && containsEffectSequencing(n["argument"])) return true;
-	if ("expression" in n && containsEffectSequencing(n["expression"])) return true;
-	return false;
-};
-const noMatchEffectBranch = define({
-	name: "no-match-effect-branch",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid Effect sequencing inside Match branches. Select value in Match, run Effect outside."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			const ce = node;
-			const isMatchWhen = isCallOf(ce, "Match", "when");
-			const isMatchOrElse = isCallOf(ce, "Match", "orElse");
-			if (!isMatchWhen && !isMatchOrElse) return Effect.void;
-			if (!("arguments" in node) || !Array.isArray(node.arguments)) return Effect.void;
-			const callbackIdx = isMatchWhen ? 1 : 0;
-			const callback = node.arguments[callbackIdx];
-			if (callback != null && containsEffectSequencing(callback)) return ctx.report(make({
-				node,
-				message: "Avoid Effect sequencing inside Match branches. Select value in Match, then run one Effect pipeline outside."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noMatchEffectBranch };

package/dist/rules/no-match-void-branch.d.ts

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

package/dist/rules/no-match-void-branch.js

@@ -1,50 +0,0 @@
-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-match-void-branch.ts
-const isEffectVoid = (node) => {
-	if (node == null || typeof node !== "object") return false;
-	const n = node;
-	if (n["type"] !== "MemberExpression") return false;
-	const obj = n["object"];
-	const prop = n["property"];
-	return obj != null && obj["type"] === "Identifier" && obj["name"] === "Effect" && prop != null && prop["type"] === "Identifier" && prop["name"] === "void";
-};
-const isVoidCallback = (node) => {
-	if (node == null || typeof node !== "object") return false;
-	const n = node;
-	if (n["type"] !== "ArrowFunctionExpression" && n["type"] !== "FunctionExpression") return false;
-	if (!("body" in n)) return false;
-	return isEffectVoid(n["body"]);
-};
-const noMatchVoidBranch = define({
-	name: "no-match-void-branch",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid no-op Match branches returning Effect.void. Remove the branch or restructure."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			const ce = node;
-			const isMatchWhen = isCallOf(ce, "Match", "when");
-			const isMatchOrElse = isCallOf(ce, "Match", "orElse");
-			if (!isMatchWhen && !isMatchOrElse) return Effect.void;
-			if (!("arguments" in node) || !Array.isArray(node.arguments)) return Effect.void;
-			if (isMatchOrElse && node.arguments.length >= 1 && isVoidCallback(node.arguments[0])) return ctx.report(make({
-				node,
-				message: "Match.orElse returning Effect.void is a no-op. Remove the branch or restructure."
-			}));
-			if (isMatchWhen && node.arguments.length >= 2 && isVoidCallback(node.arguments[1])) return ctx.report(make({
-				node,
-				message: "Match.when branch returning Effect.void is a no-op. Remove the branch or restructure."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noMatchVoidBranch };

package/dist/rules/no-multiple-effect-provide.d.ts

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

package/dist/rules/no-multiple-effect-provide.js

@@ -1,45 +0,0 @@
-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-multiple-effect-provide.ts
-const isEffectProvide = (node) => {
-	if (node.type !== "CallExpression") return false;
-	return Option.isSome(matchCallOf(node, "Effect", "provide"));
-};
-const countProvides = (args) => {
-	let count = 0;
-	for (const arg of args) if (isEffectProvide(arg)) count++;
-	return count;
-};
-const noMultipleEffectProvide = define({
-	name: "no-multiple-effect-provide",
-	meta: meta({
-		type: "suggestion",
-		description: "Avoid consecutive Effect.provide() calls. Merge into Effect.provide(Layer.mergeAll(...))."
-	}),
-	create: function* () {
-		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			const call = node;
-			const args = call.arguments;
-			if (args.length < 3) return Effect.void;
-			const calleeName$1 = Option.getOrUndefined(calleeName(call));
-			const callee = call.callee;
-			if (!(calleeName$1 === "pipe" || callee.type === "MemberExpression" && "property" in callee && callee["computed"] !== true && (() => {
-				const prop = callee["property"];
-				return prop != null && typeof prop === "object" && "name" in prop && prop.name === "pipe";
-			})())) return Effect.void;
-			if (countProvides(args) >= 2) return ctx.report(make({
-				node,
-				message: "Multiple Effect.provide() in pipe. Merge into Effect.provide(Layer.mergeAll(...))."
-			}));
-			return Effect.void;
-		} };
-	}
-});
-//#endregion
-export { noMultipleEffectProvide };

package/dist/rules/no-nested-effect-call.d.ts

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