oxlint-plugin-effect 0.2.2 → 0.3.0

package/README.md

@@ -0,0 +1,91 @@
+# oxlint-plugin-effect
+
+Oxlint plugin for [Effect](https://effect.website) codebases.
+
+## Quick Start
+
+```bash
+bun add -D oxlint oxlint-plugin-effect
+```
+
+`.oxlintrc.json`:
+
+```json
+{
+  "jsPlugins": ["oxlint-plugin-effect/plugin"],
+  "rules": {
+    "effect/noEffectDo": "error",
+    "effect/noNestedPipe": "error",
+    "effect/noThrowStatement": "error",
+    "effect/noGlobals": "warn"
+  },
+  "overrides": [
+    {
+      "files": ["**/*.test.ts", "**/*.test.tsx", "**/tests/**", "**/test/**"],
+      "rules": {
+        "effect/noInlineProvide": "off"
+      }
+    }
+  ]
+}
+```
+
+The `overrides` entry turns off `noInlineProvide` in test files. The rule's intent is "provide layers at the boundary, not scattered through production code" — in tests, `it.effect(() => Effect.gen(function*() { ... }).pipe(Effect.provide(TestLayer)))` is the boundary.
+
+```bash
+oxlint
+```
+
+## Rule Authoring
+
+The package also exports the Effect-first rule authoring bindings:
+
+```ts
+import { Diagnostic, Rule, RuleContext } from "oxlint-plugin-effect/rule-bindings";
+
+export const noThing = Rule.define({
+  name: "no-thing",
+  meta: Rule.meta({
+    type: "problem",
+    description: "Avoid thing.",
+  }),
+  create: function* () {
+    const ctx = yield* RuleContext;
+    return {
+      Identifier: (node) => ctx.report(Diagnostic.make({ node, message: "Avoid thing." })),
+    };
+  },
+});
+```
+
+The same bindings are available from the root export for convenience:
+
+```ts
+import { Rule, Diagnostic, RuleContext } from "oxlint-plugin-effect";
+```
+
+## Rules
+
+68 AST-only rules across categories: API bans, global bans, import bans, statement bans, AST patterns, and Effect-context rules. Five presets are available: `core`, `full`, `effect-native`, `functional`, and `strict`.
+
+`effect/noTryCatch` rejects every JavaScript `try` statement, including
+`try/catch`, bare `try/finally`, and `try/catch/finally`. Use Effect's typed
+failure channel and scoped finalization operators instead.
+
+The core presets also reject sequential state mutations hidden in
+`Effect.all(..., { concurrency: 1 })`. The stricter `noManualDataGuard` rule
+requires unknown input to cross a Schema boundary instead of being promoted by
+a hand-written type predicate.
+
+## Development
+
+```bash
+bun install
+bun run gate
+bun run codegen
+bun run add-rule <name> [--context]
+```
+
+## License
+
+MIT

package/dist/index.d.ts

@@ -1,4 +1,16 @@
+import { AST_d_exports } from "./vendor/effect-oxlint/AST.js";
+import { Comment_d_exports } from "./vendor/effect-oxlint/Comment.js";
+import { Diagnostic_d_exports } from "./vendor/effect-oxlint/Diagnostic.js";
+import { Plugin_d_exports } from "./vendor/effect-oxlint/Plugin.js";
+import { RuleContext, ast, cwd, filename, id, report, sourceCode, text } from "./vendor/effect-oxlint/RuleContext.js";
+import { Visitor_d_exports } from "./vendor/effect-oxlint/Visitor.js";
+import { Rule_d_exports } from "./vendor/effect-oxlint/Rule.js";
+import { Scope_d_exports } from "./vendor/effect-oxlint/Scope.js";
+import { SourceCode_d_exports } from "./vendor/effect-oxlint/SourceCode.js";
+import { Testing_d_exports } from "./vendor/effect-oxlint/Testing.js";
+import { Token_d_exports } from "./vendor/effect-oxlint/Token.js";
+import { Context, CreateOnceRule, CreateRule, Definition, DefinitionType, ESTree, Fix, FixFn, Fixer, LineColumn, Location, OxlintComment, OxlintPlugin, OxlintRule, OxlintScope, OxlintSourceCode, OxlintToken, OxlintVisitor, Range, Ranged, Reference, RuleDocs, RuleMeta, ScopeManager, ScopeType, Settings, Span, Suggestion, Variable, index_d_exports as index_d_exports$1 } from "./vendor/effect-oxlint/index.js";
 import _default from "./plugin.js";
-import { index_d_exports as index_d_exports$1 } from "./rules/index.js";
+import { index_d_exports as index_d_exports$2 } from "./rules/index.js";
 import { index_d_exports } from "./presets/index.js";
-export { _default as plugin, index_d_exports as presets, index_d_exports$1 as rules };
+export { AST_d_exports as AST, Comment_d_exports as Comment, Context, CreateOnceRule, CreateRule, Definition, DefinitionType, Diagnostic_d_exports as Diagnostic, ESTree, Fix, FixFn, Fixer, LineColumn, Location, OxlintComment, OxlintPlugin, OxlintRule, OxlintScope, OxlintSourceCode, OxlintToken, OxlintVisitor, Plugin_d_exports as Plugin, Range, Ranged, Reference, Rule_d_exports as Rule, RuleContext, RuleDocs, RuleMeta, Scope_d_exports as Scope, ScopeManager, ScopeType, Settings, SourceCode_d_exports as SourceCode, Span, Suggestion, Testing_d_exports as Testing, Token_d_exports as Token, Variable, Visitor_d_exports as Visitor, ast, cwd, filename, id, _default as plugin, index_d_exports as presets, report, index_d_exports$1 as ruleBindings, index_d_exports$2 as rules, sourceCode, text };

package/dist/index.js

@@ -1,4 +1,16 @@
+import { AST_exports } from "./vendor/effect-oxlint/AST.js";
+import { Comment_exports } from "./vendor/effect-oxlint/Comment.js";
+import { Diagnostic_exports } from "./vendor/effect-oxlint/Diagnostic.js";
+import { Plugin_exports } from "./vendor/effect-oxlint/Plugin.js";
+import { RuleContext, ast, cwd, filename, id, report, sourceCode, text } from "./vendor/effect-oxlint/RuleContext.js";
+import { Visitor_exports } from "./vendor/effect-oxlint/Visitor.js";
+import { Rule_exports } from "./vendor/effect-oxlint/Rule.js";
+import { Scope_exports } from "./vendor/effect-oxlint/Scope.js";
+import { SourceCode_exports } from "./vendor/effect-oxlint/SourceCode.js";
+import { Testing_exports } from "./vendor/effect-oxlint/Testing.js";
+import { Token_exports } from "./vendor/effect-oxlint/Token.js";
+import { effect_oxlint_exports } from "./vendor/effect-oxlint/index.js";
 import { rules_exports } from "./rules/index.js";
 import plugin_default from "./plugin.js";
 import { presets_exports } from "./presets/index.js";
-export { plugin_default as plugin, presets_exports as presets, rules_exports as rules };
+export { AST_exports as AST, Comment_exports as Comment, Diagnostic_exports as Diagnostic, Plugin_exports as Plugin, Rule_exports as Rule, RuleContext, Scope_exports as Scope, SourceCode_exports as SourceCode, Testing_exports as Testing, Token_exports as Token, Visitor_exports as Visitor, ast, cwd, filename, id, plugin_default as plugin, presets_exports as presets, report, effect_oxlint_exports as ruleBindings, rules_exports as rules, sourceCode, text };

package/dist/presets/core.d.ts

@@ -27,10 +27,15 @@ declare const core: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "warn";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "warn";
   readonly "effect/noRedundantSchemaTagIdentifier": "warn";
   readonly "effect/noEffectMapFlatten": "warn";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";
@@ -38,6 +43,8 @@ declare const core: {
   readonly "effect/noReturnNullish": "warn";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { core };

package/dist/presets/core.js

@@ -27,17 +27,24 @@ const core = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "warn",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "warn",
 	"effect/noRedundantSchemaTagIdentifier": "warn",
 	"effect/noEffectMapFlatten": "warn",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "warn",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { core };

package/dist/presets/effect-native.d.ts

@@ -9,6 +9,7 @@ declare const effectNative: {
   readonly "effect/noNodeBuiltinImport": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noNewPromise": "error";
   readonly "effect/noNewError": "error";
   readonly "effect/noReturnNullish": "error";

package/dist/presets/effect-native.js

@@ -9,6 +9,7 @@ const effectNative = {
 	"effect/noNodeBuiltinImport": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "error",

package/dist/presets/full.d.ts

@@ -14,6 +14,7 @@ declare const full: {
   readonly "effect/noOptionAs": "error";
   readonly "effect/noRunInEffectGen": "error";
   readonly "effect/noNodeBuiltinImport": "warn";
+  readonly "effect/noSpread": "error";
   readonly "effect/noNestedPipe": "error";
   readonly "effect/noNestedEffectGen": "error";
   readonly "effect/noUnnecessaryEffectGen": "error";
@@ -42,12 +43,17 @@ declare const full: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "warn";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "warn";
   readonly "effect/noRedundantSchemaTagIdentifier": "warn";
   readonly "effect/noEffectMapFlatten": "warn";
   readonly "effect/noGlobalErrorInFailure": "error";
   readonly "effect/noGlobalErrorInCatch": "error";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
   readonly "effect/noNewPromise": "error";
@@ -55,6 +61,8 @@ declare const full: {
   readonly "effect/noReturnNullish": "warn";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { full };

package/dist/presets/full.js

@@ -14,6 +14,7 @@ const full = {
 	"effect/noOptionAs": "error",
 	"effect/noRunInEffectGen": "error",
 	"effect/noNodeBuiltinImport": "warn",
+	"effect/noSpread": "error",
 	"effect/noNestedPipe": "error",
 	"effect/noNestedEffectGen": "error",
 	"effect/noUnnecessaryEffectGen": "error",
@@ -42,19 +43,26 @@ const full = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "warn",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "warn",
 	"effect/noRedundantSchemaTagIdentifier": "warn",
 	"effect/noEffectMapFlatten": "warn",
 	"effect/noGlobalErrorInFailure": "error",
 	"effect/noGlobalErrorInCatch": "error",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
+	"effect/noEffectAllStepSequencing": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "warn",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { full };

package/dist/presets/functional.d.ts

@@ -16,6 +16,7 @@ declare const functional: {
   readonly "effect/noMatchEffectBranch": "error";
   readonly "effect/noOptionBooleanNormalization": "error";
   readonly "effect/noArrowLadder": "error";
+  readonly "effect/noSpread": "error";
 };
 //#endregion
 export { functional };

package/dist/presets/functional.js

@@ -15,7 +15,8 @@ const functional = {
 	"effect/noMatchVoidBranch": "error",
 	"effect/noMatchEffectBranch": "error",
 	"effect/noOptionBooleanNormalization": "error",
-	"effect/noArrowLadder": "error"
+	"effect/noArrowLadder": "error",
+	"effect/noSpread": "error"
 };
 //#endregion
 export { functional };

package/dist/presets/strict.d.ts

@@ -17,6 +17,7 @@ declare const strict: {
   readonly "effect/noReturnInArrow": "error";
   readonly "effect/noStringSentinelConst": "error";
   readonly "effect/noArrowLadder": "error";
+  readonly "effect/noSpread": "error";
   readonly "effect/noNodeBuiltinImport": "error";
   readonly "effect/noNestedPipe": "error";
   readonly "effect/noNestedEffectGen": "error";
@@ -46,19 +47,27 @@ declare const strict: {
   readonly "effect/noUnnecessaryPipeChain": "error";
   readonly "effect/noMultipleEffectProvide": "error";
   readonly "effect/noSchemaUnionOfLiterals": "error";
+  readonly "effect/noSchemaStruct": "error";
   readonly "effect/noSchemaStructWithTag": "error";
   readonly "effect/noRedundantSchemaTagIdentifier": "error";
   readonly "effect/noEffectMapFlatten": "error";
   readonly "effect/noGlobalErrorInFailure": "error";
   readonly "effect/noGlobalErrorInCatch": "error";
   readonly "effect/noPositionalLogError": "error";
+  readonly "effect/noMakeUnsafe": "error";
+  readonly "effect/noHandRolledTaggedUnion": "error";
+  readonly "effect/noDynamicImports": "error";
   readonly "effect/noThrowStatement": "error";
   readonly "effect/noTryCatch": "error";
+  readonly "effect/noEffectAllStepSequencing": "error";
+  readonly "effect/noManualDataGuard": "error";
   readonly "effect/noNewPromise": "error";
   readonly "effect/noNewError": "error";
   readonly "effect/noReturnNullish": "error";
   readonly "effect/noGlobals": "error";
   readonly "effect/noInlineProvide": "error";
+  readonly "effect/noPromiseControlFlowInTests": "error";
+  readonly "effect/noSleepInTests": "error";
 };
 //#endregion
 export { strict };

package/dist/presets/strict.js

@@ -17,6 +17,7 @@ const strict = {
 	"effect/noReturnInArrow": "error",
 	"effect/noStringSentinelConst": "error",
 	"effect/noArrowLadder": "error",
+	"effect/noSpread": "error",
 	"effect/noNodeBuiltinImport": "error",
 	"effect/noNestedPipe": "error",
 	"effect/noNestedEffectGen": "error",
@@ -46,19 +47,27 @@ const strict = {
 	"effect/noUnnecessaryPipeChain": "error",
 	"effect/noMultipleEffectProvide": "error",
 	"effect/noSchemaUnionOfLiterals": "error",
+	"effect/noSchemaStruct": "error",
 	"effect/noSchemaStructWithTag": "error",
 	"effect/noRedundantSchemaTagIdentifier": "error",
 	"effect/noEffectMapFlatten": "error",
 	"effect/noGlobalErrorInFailure": "error",
 	"effect/noGlobalErrorInCatch": "error",
 	"effect/noPositionalLogError": "error",
+	"effect/noMakeUnsafe": "error",
+	"effect/noHandRolledTaggedUnion": "error",
+	"effect/noDynamicImports": "error",
 	"effect/noThrowStatement": "error",
 	"effect/noTryCatch": "error",
+	"effect/noEffectAllStepSequencing": "error",
+	"effect/noManualDataGuard": "error",
 	"effect/noNewPromise": "error",
 	"effect/noNewError": "error",
 	"effect/noReturnNullish": "error",
 	"effect/noGlobals": "error",
-	"effect/noInlineProvide": "error"
+	"effect/noInlineProvide": "error",
+	"effect/noPromiseControlFlowInTests": "error",
+	"effect/noSleepInTests": "error"
 };
 //#endregion
 export { strict };

package/dist/rules/index.d.ts

@@ -10,6 +10,8 @@ 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 { noDynamicImports } from "./no-dynamic-imports.js";
+import { noEffectAllStepSequencing } from "./no-effect-all-step-sequencing.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";
@@ -27,8 +29,11 @@ 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 { noHandRolledTaggedUnion } from "./no-hand-rolled-tagged-union.js";
 import { noIifeWrapper } from "./no-iife-wrapper.js";
 import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noMakeUnsafe } from "./no-make-unsafe.js";
+import { noManualDataGuard } from "./no-manual-data-guard.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";
@@ -39,10 +44,14 @@ 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 { noPromiseControlFlowInTests } from "./no-promise-control-flow-in-tests.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 { noSchemaStruct } from "./no-schema-struct.js";
 import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noSleepInTests } from "./no-sleep-in-tests.js";
+import { noSpread } from "./no-spread.js";
 import { noStringSentinelConst } from "./no-string-sentinel-const.js";
 import { noTernary } from "./no-ternary.js";
 import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
@@ -60,7 +69,7 @@ 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 };
+  export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualDataGuard, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, 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 };
+export { index_d_exports, noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualDataGuard, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain };

package/dist/rules/index.js

@@ -11,6 +11,8 @@ 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 { noDynamicImports } from "./no-dynamic-imports.js";
+import { noEffectAllStepSequencing } from "./no-effect-all-step-sequencing.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";
@@ -28,8 +30,11 @@ 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 { noHandRolledTaggedUnion } from "./no-hand-rolled-tagged-union.js";
 import { noIifeWrapper } from "./no-iife-wrapper.js";
 import { noInstanceofSchema } from "./no-instanceof-schema.js";
+import { noMakeUnsafe } from "./no-make-unsafe.js";
+import { noManualDataGuard } from "./no-manual-data-guard.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";
@@ -40,10 +45,14 @@ 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 { noPromiseControlFlowInTests } from "./no-promise-control-flow-in-tests.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 { noSchemaStruct } from "./no-schema-struct.js";
 import { noSchemaUnionOfLiterals } from "./no-schema-union-of-literals.js";
+import { noSleepInTests } from "./no-sleep-in-tests.js";
+import { noSpread } from "./no-spread.js";
 import { noStringSentinelConst } from "./no-string-sentinel-const.js";
 import { noTernary } from "./no-ternary.js";
 import { noUnnecessaryArrowBlock } from "./no-unnecessary-arrow-block.js";
@@ -63,6 +72,8 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noArrowLadder: () => noArrowLadder,
 	noAsyncFunction: () => noAsyncFunction,
 	noCatchAllToMapError: () => noCatchAllToMapError,
+	noDynamicImports: () => noDynamicImports,
+	noEffectAllStepSequencing: () => noEffectAllStepSequencing,
 	noEffectAs: () => noEffectAs,
 	noEffectAsync: () => noEffectAsync,
 	noEffectBind: () => noEffectBind,
@@ -86,10 +97,13 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noGlobalErrorInCatch: () => noGlobalErrorInCatch,
 	noGlobalErrorInFailure: () => noGlobalErrorInFailure,
 	noGlobals: () => noGlobals,
+	noHandRolledTaggedUnion: () => noHandRolledTaggedUnion,
 	noIfStatement: () => noIfStatement,
 	noIifeWrapper: () => noIifeWrapper,
 	noInlineProvide: () => noInlineProvide,
 	noInstanceofSchema: () => noInstanceofSchema,
+	noMakeUnsafe: () => noMakeUnsafe,
+	noManualDataGuard: () => noManualDataGuard,
 	noManualEffectChannels: () => noManualEffectChannels,
 	noMatchEffectBranch: () => noMatchEffectBranch,
 	noMatchVoidBranch: () => noMatchVoidBranch,
@@ -103,13 +117,17 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	noOptionAs: () => noOptionAs,
 	noOptionBooleanNormalization: () => noOptionBooleanNormalization,
 	noPositionalLogError: () => noPositionalLogError,
+	noPromiseControlFlowInTests: () => noPromiseControlFlowInTests,
 	noRedundantSchemaTagIdentifier: () => noRedundantSchemaTagIdentifier,
 	noReturnInArrow: () => noReturnInArrow,
 	noReturnNullish: () => noReturnNullish,
 	noRunInEffectGen: () => noRunInEffectGen,
 	noRuntimeRunFork: () => noRuntimeRunFork,
+	noSchemaStruct: () => noSchemaStruct,
 	noSchemaStructWithTag: () => noSchemaStructWithTag,
 	noSchemaUnionOfLiterals: () => noSchemaUnionOfLiterals,
+	noSleepInTests: () => noSleepInTests,
+	noSpread: () => noSpread,
 	noStringSentinelConst: () => noStringSentinelConst,
 	noSwitchStatement: () => noSwitchStatement,
 	noTernary: () => noTernary,
@@ -121,4 +139,4 @@ var rules_exports = /* @__PURE__ */ __exportAll({
 	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 };
+export { noArrowLadder, noAsyncFunction, noCatchAllToMapError, noDynamicImports, noEffectAllStepSequencing, noEffectAs, noEffectAsync, noEffectBind, noEffectDo, noEffectFnGenerator, noEffectGenAdapter, noEffectMapFlatten, noEffectMapVoid, noEffectNever, noEffectOrElseLadder, noEffectSucceedString, noEffectSucceedVariable, noEffectSucceedVoid, noEffectSyncConsole, noEffectSyncWrapper, noEffectTypeAlias, noEffectWrapperAlias, noExtendsNativeError, noFlatmapLadder, noFromNullableCoalesce, noGlobalErrorInCatch, noGlobalErrorInFailure, noGlobals, noHandRolledTaggedUnion, noIfStatement, noIifeWrapper, noInlineProvide, noInstanceofSchema, noMakeUnsafe, noManualDataGuard, noManualEffectChannels, noMatchEffectBranch, noMatchVoidBranch, noMultipleEffectProvide, noNestedEffectCall, noNestedEffectGen, noNestedPipe, noNewError, noNewPromise, noNodeBuiltinImport, noOptionAs, noOptionBooleanNormalization, noPositionalLogError, noPromiseControlFlowInTests, noRedundantSchemaTagIdentifier, noReturnInArrow, noReturnNullish, noRunInEffectGen, noRuntimeRunFork, noSchemaStruct, noSchemaStructWithTag, noSchemaUnionOfLiterals, noSleepInTests, noSpread, noStringSentinelConst, noSwitchStatement, noTernary, noThrowStatement, noTryCatch, noUnnecessaryArrowBlock, noUnnecessaryEffectGen, noUnnecessaryPipe, noUnnecessaryPipeChain, rules_exports };

package/dist/rules/no-dynamic-imports.d.ts

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

package/dist/rules/no-dynamic-imports.js

@@ -0,0 +1,90 @@
+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-dynamic-imports.ts
+const allowPattern = /\beffect\/no-dynamic-imports:\s*allow\s+\S/;
+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 getLine = (node, edge) => {
+	const loc = node["loc"];
+	if (typeof loc !== "object" || loc === null) return void 0;
+	const point = loc[edge];
+	if (typeof point !== "object" || point === null) return void 0;
+	const line = point["line"];
+	return typeof line === "number" ? line : void 0;
+};
+const hasAllowComment = (node, comments) => {
+	const startLine = getLine(node, "start");
+	if (startLine === void 0) return false;
+	return comments.some((comment) => {
+		const endLine = getLine(comment, "end");
+		if (endLine === void 0) return false;
+		if (endLine !== startLine - 1 && endLine !== startLine) return false;
+		return allowPattern.test(comment.value);
+	});
+};
+const createRequireAliasName = (node) => {
+	if (node.type !== "VariableDeclarator") return void 0;
+	const id = getNodeField(node, "id");
+	const init = getNodeField(node, "init");
+	if (id?.type !== "Identifier" || init?.type !== "CallExpression") return void 0;
+	const callee = getNodeField(init, "callee");
+	if (callee?.type !== "Identifier" || getStringField(callee, "name") !== "createRequire") return void 0;
+	return getStringField(id, "name");
+};
+const classifyDynamicLoadCall = (callee, createRequireAliases) => {
+	if (callee === void 0) return void 0;
+	if (callee.type === "Identifier") {
+		const name = getStringField(callee, "name");
+		if (name === "require") return "`require(...)` is forbidden. Use a top-level static import.";
+		if (name !== void 0 && createRequireAliases.has(name)) return "`createRequire(...)` aliases are forbidden. Use a top-level static import.";
+	}
+	if (callee.type === "MemberExpression") {
+		const object = getNodeField(callee, "object");
+		const property = getNodeField(callee, "property");
+		if (object?.type === "Identifier" && getStringField(object, "name") === "module" && property?.type === "Identifier" && getStringField(property, "name") === "require") return "`module.require(...)` is forbidden. Use a top-level static import.";
+	}
+	if (callee.type === "CallExpression") {
+		const inner = getNodeField(callee, "callee");
+		if (inner?.type === "Identifier" && getStringField(inner, "name") === "createRequire") return "`createRequire(...)(...)` is forbidden. Use a top-level static import.";
+	}
+};
+const noDynamicImports = define({
+	name: "no-dynamic-imports",
+	meta: meta({
+		type: "problem",
+		description: "Avoid dynamic import/require. Use top-level static imports."
+	}),
+	create: function* () {
+		const ctx = yield* RuleContext;
+		const createRequireAliases = /* @__PURE__ */ new Set();
+		const reportUnlessAllowed = (node, message) => hasAllowComment(node, ctx.sourceCode.getAllComments()) ? Effect.void : ctx.report(make({
+			node,
+			message
+		}));
+		return {
+			VariableDeclarator: (node) => {
+				const alias = createRequireAliasName(node);
+				if (alias === void 0) return Effect.void;
+				createRequireAliases.add(alias);
+				return reportUnlessAllowed(node, "`createRequire(...)` is forbidden. Use a top-level static import.");
+			},
+			ImportExpression: (node) => reportUnlessAllowed(node, "Dynamic `import(...)` is forbidden. Use a top-level static import."),
+			CallExpression: (node) => {
+				const message = classifyDynamicLoadCall(getNodeField(node, "callee"), createRequireAliases);
+				return message === void 0 ? Effect.void : reportUnlessAllowed(node, message);
+			}
+		};
+	}
+});
+//#endregion
+export { noDynamicImports };

package/dist/rules/no-effect-all-step-sequencing.d.ts

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