oxlint-plugin-effect 0.8.0 → 0.8.2

package/README.md

@@ -149,8 +149,12 @@ export const noThing = Rule.define({
 bun install
 bun run gate
 bun run codegen
+bun run add-rule -- no-example --dry-run
 ```
 
+`bun run codegen` owns both the rule export barrel and the recommended preset.
+`bun run gate` fails when either generated file is stale.
+
 ## License
 
 MIT

package/dist/plugin.d.ts

@@ -1,4 +1,4 @@
-import { Plugin as OxlintPlugin } from "./vendor/effect-oxlint/Plugin.js";
+import { OxlintPlugin } from "./vendor/effect-oxlint/Plugin.js";
 //#region src/plugin.d.ts
 declare const _default: OxlintPlugin;
 //#endregion

package/dist/presets/recommended.d.ts

@@ -1,5 +1,9 @@
 //#region src/presets/recommended.d.ts
-/** Strict, non-type-aware policy for Effect-native application code. */
+/**
+ * Strict, non-type-aware policy for Effect-native application code.
+ *
+ * AUTO-GENERATED by scripts/codegen.ts — do not edit manually.
+ */
 declare const recommended: {
   readonly "effect/noAs": "error";
   readonly "effect/noAsyncFunction": "error";
@@ -17,7 +21,6 @@ declare const recommended: {
   readonly "effect/noObjectParameters": "error";
   readonly "effect/noRuntimeTypeof": "error";
   readonly "effect/noShapeInSymbolNames": "error";
-  readonly "effect/preferEffectFn": "error";
   readonly "effect/noTernary": "error";
   readonly "effect/noTestLifecycleHooks": "error";
   readonly "effect/noThrowStatement": "error";
@@ -26,6 +29,7 @@ declare const recommended: {
   readonly "effect/noUnknownTypeAliases": "error";
   readonly "effect/noUnsafeDictionaryType": "error";
   readonly "effect/noWidenThenAssert": "error";
+  readonly "effect/preferEffectFn": "error";
 };
 //#endregion
 export { recommended };

package/dist/presets/recommended.js

@@ -1,5 +1,9 @@
 //#region src/presets/recommended.ts
-/** Strict, non-type-aware policy for Effect-native application code. */
+/**
+* Strict, non-type-aware policy for Effect-native application code.
+*
+* AUTO-GENERATED by scripts/codegen.ts — do not edit manually.
+*/
 const recommended = {
 	"effect/noAs": "error",
 	"effect/noAsyncFunction": "error",
@@ -17,7 +21,6 @@ const recommended = {
 	"effect/noObjectParameters": "error",
 	"effect/noRuntimeTypeof": "error",
 	"effect/noShapeInSymbolNames": "error",
-	"effect/preferEffectFn": "error",
 	"effect/noTernary": "error",
 	"effect/noTestLifecycleHooks": "error",
 	"effect/noThrowStatement": "error",
@@ -25,7 +28,8 @@ const recommended = {
 	"effect/noUnknownParameters": "error",
 	"effect/noUnknownTypeAliases": "error",
 	"effect/noUnsafeDictionaryType": "error",
-	"effect/noWidenThenAssert": "error"
+	"effect/noWidenThenAssert": "error",
+	"effect/preferEffectFn": "error"
 };
 //#endregion
 export { recommended };

package/dist/rules/_anti-slop-dictionary-types.js

@@ -233,11 +233,6 @@ function classifyAliasBroadTarget(type, environment, substitutions, resolvingAli
 	nextResolving.add(name);
 	return classifyAliasBroadTarget(alias.typeAnnotation, environment, nextSubstitutions, nextResolving);
 }
-function isPopulatedObjectExpression(expression) {
-	let current = expression;
-	while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression") current = current.expression;
-	return current.type === "ObjectExpression" && current.properties.length > 0;
-}
 function isKnownEvidenceExpression(expression) {
 	let current = expression;
 	while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression" || current.type === "TSSatisfiesExpression") current = current.expression;
@@ -245,4 +240,4 @@ function isKnownEvidenceExpression(expression) {
 	return current.type === "ArrayExpression" || current.type === "ArrowFunctionExpression" || current.type === "ClassExpression" || current.type === "FunctionExpression" || current.type === "NewExpression" || current.type === "Literal" || current.type === "TemplateLiteral" || current.type === "UnaryExpression";
 }
 //#endregion
-export { classifyUnsafeDictionary, classifyUnsafeDictionaryValue, classifyWideningTarget, createTypeEnvironment, isKnownEvidenceExpression, isPopulatedObjectExpression };
+export { classifyUnsafeDictionary, classifyUnsafeDictionaryValue, classifyWideningTarget, createTypeEnvironment, isKnownEvidenceExpression };

package/dist/rules/index.d.ts

@@ -29,4 +29,4 @@ declare namespace index_d_exports {
   export { noAs, noAsyncFunction, noChainedTypeAssertions, noConditionalEmptyObjectSpread, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noKnownValueWidening, noNewError, noNewPromise, noNodeBuiltinImport, noNullish, noObjectParameters, noRuntimeTypeof, noShapeInSymbolNames, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch, noUnknownParameters, noUnknownTypeAliases, noUnsafeDictionaryType, noWidenThenAssert, preferEffectFn };
 }
 //#endregion
-export { index_d_exports, noAs, noAsyncFunction, noChainedTypeAssertions, noConditionalEmptyObjectSpread, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noKnownValueWidening, noNewError, noNewPromise, noNodeBuiltinImport, noNullish, noObjectParameters, noRuntimeTypeof, noShapeInSymbolNames, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch, noUnknownParameters, noUnknownTypeAliases, noUnsafeDictionaryType, noWidenThenAssert, preferEffectFn };
+export { index_d_exports };

package/dist/rules/index.js

@@ -53,4 +53,4 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	preferEffectFn: () => preferEffectFn
 });
 //#endregion
-export { noAs, noAsyncFunction, noChainedTypeAssertions, noConditionalEmptyObjectSpread, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noKnownValueWidening, noNewError, noNewPromise, noNodeBuiltinImport, noNullish, noObjectParameters, noRuntimeTypeof, noShapeInSymbolNames, noTernary, noTestLifecycleHooks, noThrowStatement, noTryCatch, noUnknownParameters, noUnknownTypeAliases, noUnsafeDictionaryType, noWidenThenAssert, preferEffectFn, rules_exports };
+export { rules_exports };

package/dist/rules/prefer-effect-fn.js

@@ -1,14 +1,29 @@
 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 { findVariableUp } from "../vendor/effect-oxlint/Scope.js";
 import "../vendor/effect-oxlint/index.js";
+import * as Option from "effect/Option";
 import * as Effect from "effect/Effect";
 //#region src/rules/prefer-effect-fn.ts
-const isStaticMember = (node, object, property) => node.type === "MemberExpression" && !node.computed && node.object.type === "Identifier" && node.object.name === object && node.property.type === "Identifier" && node.property.name === property;
-const isEffectGenCall = (node) => node.type === "CallExpression" && node.callee.type !== "Super" && isStaticMember(node.callee, "Effect", "gen");
-const isEffectWithSpanCall = (node) => node.type === "CallExpression" && node.callee.type !== "Super" && isStaticMember(node.callee, "Effect", "withSpan");
-const spansEffectGenDirectly = (node) => node.callee.type !== "Super" && node.callee.type === "MemberExpression" && !node.callee.computed && node.callee.property.type === "Identifier" && node.callee.property.name === "withSpan" && isEffectGenCall(node.callee.object);
-const pipesOnlyWithSpanFromEffectGen = (node) => node.callee.type !== "Super" && node.callee.type === "MemberExpression" && !node.callee.computed && node.callee.property.type === "Identifier" && node.callee.property.name === "pipe" && isEffectGenCall(node.callee.object) && node.arguments.length === 1 && node.arguments[0] !== void 0 && isEffectWithSpanCall(node.arguments[0]);
+const isStaticMember = (node, objects, property) => node.type === "MemberExpression" && !node.computed && node.object.type === "Identifier" && objects.has(node.object.name) && node.property.type === "Identifier" && node.property.name === property;
+const isEffectGenCall = (node, effectNamespaces) => node.type === "CallExpression" && node.callee.type !== "Super" && isStaticMember(node.callee, effectNamespaces, "gen");
+const isEffectWithSpanCall = (node, effectNamespaces) => node.type === "CallExpression" && node.callee.type !== "Super" && isStaticMember(node.callee, effectNamespaces, "withSpan");
+const spansEffectGenDirectly = (node, effectNamespaces) => node.callee.type !== "Super" && node.callee.type === "MemberExpression" && !node.callee.computed && node.callee.property.type === "Identifier" && node.callee.property.name === "withSpan" && isEffectGenCall(node.callee.object, effectNamespaces);
+const pipesWithSpanFromEffectGen = (node, effectNamespaces) => node.callee.type !== "Super" && node.callee.type === "MemberExpression" && !node.callee.computed && node.callee.property.type === "Identifier" && node.callee.property.name === "pipe" && isEffectGenCall(node.callee.object, effectNamespaces) && node.arguments.some((argument) => isEffectWithSpanCall(argument, effectNamespaces));
+const effectNamespaceFromImport = (node) => {
+	const source = node.source.value;
+	if (source !== "effect" && source !== "effect/Effect") return [];
+	const namespaces = [];
+	for (const specifier of node.specifiers) {
+		if (specifier.type === "ImportNamespaceSpecifier" && source === "effect/Effect") {
+			namespaces.push(specifier.local.name);
+			continue;
+		}
+		if (specifier.type === "ImportSpecifier" && source === "effect" && specifier.imported.type === "Identifier" && specifier.imported.name === "Effect") namespaces.push(specifier.local.name);
+	}
+	return namespaces;
+};
 const preferEffectFn = define({
 	name: "prefer-effect-fn",
 	meta: meta({
@@ -17,14 +32,27 @@ const preferEffectFn = define({
 	}),
 	create: function* () {
 		const ctx = yield* RuleContext;
-		return { CallExpression: (node) => {
-			if (node.type !== "CallExpression") return Effect.void;
-			if (!spansEffectGenDirectly(node) && !pipesOnlyWithSpanFromEffectGen(node)) return Effect.void;
-			return ctx.report(make({
-				node,
-				message: "Avoid a span on Effect.gen. Define the named operation with Effect.fn."
-			}));
-		} };
+		const effectNamespaces = /* @__PURE__ */ new Set();
+		const visibleEffectNamespaces = (node) => new Set([...effectNamespaces].filter((namespace) => Option.match(findVariableUp(ctx.sourceCode.getScope(node), namespace), {
+			onNone: () => true,
+			onSome: (variable) => variable.defs.some((definition) => definition.type === "ImportBinding")
+		})));
+		return {
+			ImportDeclaration: (node) => {
+				if (node.type !== "ImportDeclaration") return Effect.void;
+				for (const namespace of effectNamespaceFromImport(node)) effectNamespaces.add(namespace);
+				return Effect.void;
+			},
+			CallExpression: (node) => {
+				if (node.type !== "CallExpression") return Effect.void;
+				const namespaces = visibleEffectNamespaces(node);
+				if (!spansEffectGenDirectly(node, namespaces) && !pipesWithSpanFromEffectGen(node, namespaces)) return Effect.void;
+				return ctx.report(make({
+					node,
+					message: "Avoid a span on Effect.gen. Define the named operation with Effect.fn."
+				}));
+			}
+		};
 	}
 });
 //#endregion

package/dist/vendor/effect-oxlint/AST.d.ts

@@ -196,4 +196,4 @@ declare const hasAncestor: {
   }, type: string): boolean;
 };
 //#endregion
-export { AST_d_exports, calleeName, findAncestor, hasAncestor, importSource, isCallOf, isImport, isMember, matchCallOf, matchImport, matchMember, memberNames, memberPath, narrow, objectGetValue, objectHasKey, objectKeys };
+export { AST_d_exports };

package/dist/vendor/effect-oxlint/AST.js

@@ -211,4 +211,4 @@ const findAncestor = dual(2, (node, type) => {
 */
 const hasAncestor = dual(2, (node, type) => Option.isSome(findAncestor(node, type)));
 //#endregion
-export { AST_exports, calleeName, findAncestor, hasAncestor, importSource, isCallOf, isImport, isMember, matchCallOf, matchImport, matchMember, memberNames, memberPath, narrow, objectGetValue, objectHasKey, objectKeys };
+export { AST_exports, calleeName, importSource, matchImport, matchMember, memberNames, narrow };

package/dist/vendor/effect-oxlint/Comment.d.ts

@@ -52,4 +52,4 @@ declare const isDisableDirective: (comment: Comment) => boolean;
  */
 declare const isEnableDirective: (comment: Comment) => boolean;
 //#endregion
-export { Comment_d_exports, isBlock, isDisableDirective, isEnableDirective, isJSDoc, isLine, isShebang, text };
+export { Comment_d_exports };

package/dist/vendor/effect-oxlint/Comment.js

@@ -64,4 +64,4 @@ const isEnableDirective = (comment) => {
 	return Str.startsWith("eslint-enable")(trimmed) || Str.startsWith("oxlint-enable")(trimmed);
 };
 //#endregion
-export { Comment_exports, isBlock, isDisableDirective, isEnableDirective, isJSDoc, isLine, isShebang, text };
+export { Comment_exports };

package/dist/vendor/effect-oxlint/Diagnostic.d.ts

@@ -83,4 +83,4 @@ declare const removeFix: (nodeOrToken: Ranged) => FixFn;
  */
 declare const composeFixes: (...fixes: ReadonlyArray<FixFn>) => FixFn;
 //#endregion
-export { type OxlintDiagnostic as Diagnostic, Diagnostic_d_exports, composeFixes, fromId, insertAfter, insertBefore, make, removeFix, replaceText, withFix, withSuggestions };
+export { Diagnostic_d_exports };

package/dist/vendor/effect-oxlint/Diagnostic.js

@@ -112,4 +112,4 @@ const extractFixes = (result) => {
 */
 const composeFixes = (...fixes) => (fixer) => Arr.flatMap(fixes, (fn) => Array.from(extractFixes(fn(fixer))));
 //#endregion
-export { Diagnostic_exports, composeFixes, fromId, insertAfter, insertBefore, make, removeFix, replaceText, withFix, withSuggestions };
+export { Diagnostic_exports, fromId, make, replaceText, withFix };

package/dist/vendor/effect-oxlint/Plugin.d.ts

@@ -35,4 +35,4 @@ declare const define: (config: {
  */
 declare const merge: (...plugins: ReadonlyArray<OxlintPlugin>) => OxlintPlugin;
 //#endregion
-export { type OxlintPlugin as Plugin, Plugin_d_exports, define, merge };
+export { OxlintPlugin, Plugin_d_exports };

package/dist/vendor/effect-oxlint/Plugin.js

@@ -42,4 +42,4 @@ const merge = (...plugins) => ({
 	}))
 });
 //#endregion
-export { Plugin_exports, define, merge };
+export { Plugin_exports, define };

package/dist/vendor/effect-oxlint/Rule.d.ts

@@ -215,4 +215,4 @@ declare const banMultiple: (config: {
   readonly specs: ReadonlyArray<BanSpec>;
 }) => CreateRule;
 //#endregion
-export { BanSpec, EffectVersion, RuleConfig, Rule_d_exports, banCallOf, banImport, banMember, banMultiple, banNewExpr, banStatement, define, meta };
+export { Rule_d_exports };

package/dist/vendor/effect-oxlint/Rule.js

@@ -306,4 +306,4 @@ const banMultiple = (config) => {
 	});
 };
 //#endregion
-export { Rule_exports, banCallOf, banImport, banMember, banMultiple, banNewExpr, banStatement, define, meta };
+export { Rule_exports, banMember, define, meta };

package/dist/vendor/effect-oxlint/RuleContext.d.ts

@@ -22,12 +22,6 @@ declare const RuleContext_base: Context$1.ServiceClass<RuleContext, "oxlint-plug
  * @since 0.1.0
  */
 declare class RuleContext extends RuleContext_base {}
-/**
- * Build a `RuleContext` value from the raw oxlint `Context`.
- *
- * @internal
- */
-declare const fromOxlintContext: (ctx: Context) => RuleContext["Service"];
 /**
  * Effectful access to the rule ID.
  *
@@ -74,4 +68,4 @@ declare const ast: Effect.Effect<ESTree.Program, never, RuleContext>;
  */
 declare const report: (diagnostic: Diagnostic) => Effect.Effect<void, never, RuleContext>;
 //#endregion
-export { RuleContext, ast, cwd, filename, fromOxlintContext, id, report, sourceCode, text };
+export { RuleContext, ast, cwd, filename, id, report, sourceCode, text };

package/dist/vendor/effect-oxlint/Scope.d.ts

@@ -97,4 +97,4 @@ declare const throughReferences: (scope: Scope) => ReadonlyArray<Reference>;
  */
 declare const isStrict: (scope: Scope) => boolean;
 //#endregion
-export { Scope_d_exports, childScopes, findVariable, findVariableUp, getReadReferences, getReferences, getWriteReferences, isReadOnly, isStrict, isUsed, isWritten, throughReferences, upper, variables };
+export { Scope_d_exports };

package/dist/vendor/effect-oxlint/Scope.js

@@ -107,4 +107,4 @@ const throughReferences = (scope) => scope.through;
 */
 const isStrict = (scope) => scope.isStrict;
 //#endregion
-export { Scope_exports, childScopes, findVariable, findVariableUp, getReadReferences, getReferences, getWriteReferences, isReadOnly, isStrict, isUsed, isWritten, throughReferences, upper, variables };
+export { Scope_exports, findVariableUp };

package/dist/vendor/effect-oxlint/SourceCode.d.ts

@@ -177,4 +177,4 @@ declare const isSpaceBetween: (first: ESTree.Node | Token | Comment, second: EST
  */
 declare const getLines: () => Effect.Effect<ReadonlyArray<string>, never, RuleContext>;
 //#endregion
-export { SourceCode_d_exports, commentsExistBetween, getAllComments, getAncestors, getCommentsAfter, getCommentsBefore, getCommentsInside, getDeclaredVariables, getFirstToken, getFirstTokenBetween, getIndexFromLoc, getJSDocComment, getLastToken, getLines, getLocFromIndex, getNodeByRangeIndex, getRange, getScope, getText, getTokenAfter, getTokenBefore, getTokenByRangeStart, getTokens, getTokensBetween, isGlobalReference, isSpaceBetween, markVariableAsUsed };
+export { SourceCode_d_exports };

package/dist/vendor/effect-oxlint/SourceCode.js

@@ -200,4 +200,4 @@ const isSpaceBetween = (first, second) => withSourceCode((sc) => sc.isSpaceBetwe
 */
 const getLines = () => withSourceCode((sc) => sc.getLines());
 //#endregion
-export { SourceCode_exports, commentsExistBetween, getAllComments, getAncestors, getCommentsAfter, getCommentsBefore, getCommentsInside, getDeclaredVariables, getFirstToken, getFirstTokenBetween, getIndexFromLoc, getJSDocComment, getLastToken, getLines, getLocFromIndex, getNodeByRangeIndex, getRange, getScope, getText, getTokenAfter, getTokenBefore, getTokenByRangeStart, getTokens, getTokensBetween, isGlobalReference, isSpaceBetween, markVariableAsUsed };
+export { SourceCode_exports, isGlobalReference };

package/dist/vendor/effect-oxlint/Testing.d.ts

@@ -507,4 +507,4 @@ declare const expectDiagnostics: (result: ReadonlyArray<ReportedDiagnostic>, exp
  */
 declare const expectNoDiagnostics: (result: ReadonlyArray<ReportedDiagnostic>) => void;
 //#endregion
-export { MockContextOptions, ReportedDiagnostic, Testing_d_exports, arrowFn, astNode, binaryExpr, blockStmt, boolLiteral, callExpr, callOfMember, chainedMemberExpr, classDecl, comment, computedMemberExpr, createMockContext, doWhileStmt, expectDiagnostics, expectNoDiagnostics, exportNamedDecl, exprStmt, forInStmt, forOfStmt, forStmt, id, ifStmt, importDecl, importDeclWithSpecifiers, importNamespaceSpecifier, importSpecifier, interfaceDecl, memberExpr, messageIds, messages, methodDef, mockRuleContextLayer, newExpr, numLiteral, objectExpr, objectExprLiteralKeys, objectExprWithSpread, program, propertyDef, returnStmt, runRule, runRuleMulti, scope, strLiteral, switchStmt, throwStmt, token, tryStmt, tsAsExpr, tsTypeLiteral, tsTypeRef, tsUnionType, typeAliasDecl, unaryExpr, varDecl, varDeclarator, variable, whileStmt, withMockRuleContext, withParentChain, yieldExpr };
+export { Testing_d_exports };

package/dist/vendor/effect-oxlint/Testing.js

@@ -963,4 +963,4 @@ const expectNoDiagnostics = (result) => Arr.match(result, {
 	}
 });
 //#endregion
-export { Testing_exports, arrowFn, astNode, binaryExpr, blockStmt, boolLiteral, callExpr, callOfMember, chainedMemberExpr, classDecl, comment, computedMemberExpr, createMockContext, doWhileStmt, expectDiagnostics, expectNoDiagnostics, exportNamedDecl, exprStmt, forInStmt, forOfStmt, forStmt, id, ifStmt, importDecl, importDeclWithSpecifiers, importNamespaceSpecifier, importSpecifier, interfaceDecl, memberExpr, messageIds, messages, methodDef, mockRuleContextLayer, newExpr, numLiteral, objectExpr, objectExprLiteralKeys, objectExprWithSpread, program, propertyDef, returnStmt, runRule, runRuleMulti, scope, strLiteral, switchStmt, throwStmt, token, tryStmt, tsAsExpr, tsTypeLiteral, tsTypeRef, tsUnionType, typeAliasDecl, unaryExpr, varDecl, varDeclarator, variable, whileStmt, withMockRuleContext, withParentChain, yieldExpr };
+export { Testing_exports };

package/dist/vendor/effect-oxlint/Token.d.ts

@@ -95,4 +95,4 @@ declare const value: (token: Token) => string;
  */
 declare const type: (token: Token) => string;
 //#endregion
-export { Token_d_exports, isBoolean, isIdentifier, isKeyword, isNull, isNumeric, isPrivateIdentifier, isPunctuator, isRegularExpression, isString, isTemplate, type, value };
+export { Token_d_exports };

package/dist/vendor/effect-oxlint/Token.js

@@ -100,4 +100,4 @@ const value = (token) => token.value;
 */
 const type = (token) => token.type;
 //#endregion
-export { Token_exports, isBoolean, isIdentifier, isKeyword, isNull, isNumeric, isPrivateIdentifier, isPunctuator, isRegularExpression, isString, isTemplate, type, value };
+export { Token_exports };

package/dist/vendor/effect-oxlint/Visitor.d.ts

@@ -163,4 +163,4 @@ declare const accumulate: <A>(nodeType: string, extract: (node: ESTree.Node) =>
  */
 declare const toOxlintVisitor: (effectVisitor: EffectVisitor, runHandler: (effect: Effect.Effect<void, never, RuleContext>) => void) => Visitor;
 //#endregion
-export { EffectHandler, EffectVisitor, TypedEffectVisitor, VisitorNodeType, Visitor_d_exports, accumulate, filter, merge, on, onExit, toOxlintVisitor, tracked };
+export { EffectVisitor, Visitor_d_exports };

package/dist/vendor/effect-oxlint/Visitor.js

@@ -135,4 +135,4 @@ const accumulate = (nodeType, extract, analyze) => Effect.gen(function* () {
 */
 const toOxlintVisitor = (effectVisitor, runHandler) => R.map(effectVisitor, (handler) => (node) => runHandler(handler(node)));
 //#endregion
-export { Visitor_exports, accumulate, filter, merge, on, onExit, toOxlintVisitor, tracked };
+export { Visitor_exports, merge, toOxlintVisitor };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oxlint-plugin-effect",
-  "version": "0.8.0",
+  "version": "0.8.2",
   "description": "oxlint plugin with Effect-specific lint rules",
   "license": "MIT",
   "repository": {
@@ -49,8 +49,9 @@
     "fmt": "oxfmt",
     "fmt:check": "oxfmt --check",
     "test": "bun run build && bun test",
-    "gate": "concurrently -n type,style,test -c blue,yellow,green \"bun run typecheck\" \"bun run lint\" \"bun run test\"",
+    "gate": "concurrently -n type,style,generated,test -c blue,yellow,magenta,green \"bun run typecheck\" \"bun run lint\" \"bun run codegen:check\" \"bun run test\"",
     "codegen": "bun run scripts/codegen.ts",
+    "codegen:check": "bun run scripts/codegen.ts --check",
     "add-rule": "bun run scripts/add-rule.ts",
     "version": "changeset version",
     "release": "bun run build && changeset publish",

package/dist/rules/_anti-slop-dictionary-types.d.ts

@@ -1,24 +0,0 @@
-import { ESTree } from "@oxlint/plugins";
-
-//#region src/rules/_anti-slop-dictionary-types.d.ts
-type UnsafeDictionary = {
-  readonly kind: "unsafe-dictionary";
-  readonly unsafeValue: "any" | "empty-object" | "object" | "union" | "unknown";
-};
-type WideningTargetKind = "anonymous object" | "generic container" | "object" | "open dictionary" | "unknown";
-type WideningTarget = {
-  readonly kind: WideningTargetKind;
-};
-type TypeEnvironment = {
-  readonly aliases: ReadonlyMap<string, ESTree.TSTypeAliasDeclaration>;
-  readonly interfaces: ReadonlyMap<string, readonly ESTree.TSInterfaceDeclaration[]>;
-  readonly shadowedBuiltIns: ReadonlySet<string>;
-};
-declare function createTypeEnvironment(program: ESTree.Program): TypeEnvironment;
-declare function classifyUnsafeDictionaryValue(valueType: ESTree.TSType, environment: TypeEnvironment): UnsafeDictionary | null;
-declare function classifyUnsafeDictionary(type: ESTree.TSType, environment: TypeEnvironment): UnsafeDictionary | null;
-declare function classifyWideningTarget(type: ESTree.TSType, environment: TypeEnvironment): WideningTarget | null;
-declare function isPopulatedObjectExpression(expression: ESTree.Expression): boolean;
-declare function isKnownEvidenceExpression(expression: ESTree.Expression): boolean;
-//#endregion
-export { TypeEnvironment, UnsafeDictionary, WideningTarget, WideningTargetKind, classifyUnsafeDictionary, classifyUnsafeDictionaryValue, classifyWideningTarget, createTypeEnvironment, isKnownEvidenceExpression, isPopulatedObjectExpression };