oxlint-plugin-effect 0.3.0 → 0.4.0

package/README.md

@@ -1,44 +1,105 @@
 # oxlint-plugin-effect
 
-Oxlint plugin for [Effect](https://effect.website) codebases.
+A strict, non-type-aware oxlint plugin for Effect-native TypeScript.
 
-## Quick Start
+The package has one recommended preset. It protects application code from imperative failure handling, Promise control flow, ambient runtime dependencies, and a small set of non-idiomatic Effect APIs. Effect tsgo remains responsible for semantic and type-aware correctness.
+
+## Install
 
 ```bash
 bun add -D oxlint oxlint-plugin-effect
 ```
 
-`.oxlintrc.json`:
+Load the plugin and enable the recommended rules in your oxlint configuration:
+
+```ts
+import { recommended } from "oxlint-plugin-effect/presets/recommended";
+
+export default {
+  jsPlugins: ["oxlint-plugin-effect/plugin"],
+  rules: recommended,
+};
+```
+
+If the project uses JSON configuration, copy the exported rule map into `rules`; every recommended rule has `error` severity.
+
+## Recommended Rules
+
+| Rule                         | Contract                                                                                  |
+| ---------------------------- | ----------------------------------------------------------------------------------------- |
+| `effect/noAsyncFunction`     | Bans async functions and await expressions                                                |
+| `effect/noTryCatch`          | Bans every try/catch/finally statement                                                    |
+| `effect/noThrowStatement`    | Bans every throw statement                                                                |
+| `effect/noNewPromise`        | Bans new Promise, Promise calls, and Promise static APIs                                  |
+| `effect/noNewError`          | Allows native Error values only as direct arguments to Effect.die, Cause.die, or Exit.die |
+| `effect/noTernary`           | Bans conditional expressions while allowing ordinary if statements                        |
+| `effect/noDynamicImports`    | Allows import() only behind a named lazy-loading boundary; bans require()                 |
+| `effect/noEffectDo`          | Bans Effect.Do                                                                            |
+| `effect/noEffectBind`        | Bans Effect.bind                                                                          |
+| `effect/noGlobals`           | Bans ambient capabilities with direct Effect replacements                                 |
+| `effect/noNodeBuiltinImport` | Bans fully replaced Node modules and replaced operations from partial modules             |
+
+The preset intentionally allows `Effect.as`, `Option.as`, `Effect.never`, `Effect.async`, ordinary `if` and `switch` statements, and runtime runners at explicit application boundaries.
+
+## Platform Boundaries
+
+Application code should use Effect services for time, randomness, crypto randomness and supported digests, configuration, files, paths, child processes, stdio, HTTP, sockets, workers, streams, logging, JSON boundaries, encoding, and key-value storage.
+
+The rules are capability-based rather than runtime-wide. They do not pretend Effect replaces HMAC, signing, encryption, password hashing, DNS, UDP, compression, module resolution, FFI, VM inspection, or every Buffer/EventEmitter/native-stream operation.
+
+Put unmatched host calls in named adapter files and disable only the relevant rule there:
 
 ```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/**"],
+      "files": ["src/platform/**/*.ts"],
       "rules": {
-        "effect/noInlineProvide": "off"
+        "effect/noGlobals": "off",
+        "effect/noNodeBuiltinImport": "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.
+## Effect tsgo Pairing
 
-```bash
-oxlint
+Oxlint owns unconditional syntax. Effect tsgo owns floating Effects, missing channels, nested execution, leaking requirements, strict provisioning, schema semantics, and other type-aware diagnostics.
+
+When using both tools, disable the tsgo diagnostics duplicated by this preset:
+
+```json
+{
+  "diagnosticSeverity": {
+    "asyncFunction": "off",
+    "cryptoRandomUUID": "off",
+    "cryptoRandomUUIDInEffect": "off",
+    "globalConsole": "off",
+    "globalConsoleInEffect": "off",
+    "globalDate": "off",
+    "globalDateInEffect": "off",
+    "globalFetch": "off",
+    "globalFetchInEffect": "off",
+    "globalRandom": "off",
+    "globalRandomInEffect": "off",
+    "globalTimers": "off",
+    "globalTimersInEffect": "off",
+    "newPromise": "off",
+    "nodeBuiltinImport": "off",
+    "preferSchemaOverJson": "off",
+    "processEnv": "off",
+    "processEnvInEffect": "off",
+    "tryCatchInEffectGen": "off"
+  }
+}
 ```
 
+Leave type-aware diagnostics such as `floatingEffect`, `runEffectInsideEffect`, `strictEffectProvide`, `extendsNativeError`, and `unsafeEffectTypeAssertion` enabled.
+
 ## Rule Authoring
 
-The package also exports the Effect-first rule authoring bindings:
+The package exports Effect-first rule-authoring bindings:
 
 ```ts
 import { Diagnostic, Rule, RuleContext } from "oxlint-plugin-effect/rule-bindings";
@@ -50,40 +111,20 @@ export const noThing = Rule.define({
     description: "Avoid thing.",
   }),
   create: function* () {
-    const ctx = yield* RuleContext;
+    const context = yield* RuleContext;
     return {
-      Identifier: (node) => ctx.report(Diagnostic.make({ node, message: "Avoid thing." })),
+      Identifier: (node) => context.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

package/dist/presets/index.d.ts

@@ -1,14 +1,8 @@
-import { full } from "./full.js";
-import { core } from "./core.js";
-import { effectNative } from "./effect-native.js";
-import { functional } from "./functional.js";
-import { strict } from "./strict.js";
-import { v3 } from "./v3.js";
-import { v3Strict } from "./v3-strict.js";
+import { recommended } from "./recommended.js";
 
 //#region src/presets/index.d.ts
 declare namespace index_d_exports {
-  export { core, effectNative, full, functional, strict, v3, v3Strict };
+  export { recommended };
 }
 //#endregion
-export { core, effectNative, full, functional, index_d_exports, strict, v3, v3Strict };
+export { index_d_exports, recommended };

package/dist/presets/index.js

@@ -1,20 +1,6 @@
 import { __exportAll } from "../_virtual/_rolldown/runtime.js";
-import { full } from "./full.js";
-import { core } from "./core.js";
-import { effectNative } from "./effect-native.js";
-import { functional } from "./functional.js";
-import { strict } from "./strict.js";
-import { v3 } from "./v3.js";
-import { v3Strict } from "./v3-strict.js";
+import { recommended } from "./recommended.js";
 //#region src/presets/index.ts
-var presets_exports = /* @__PURE__ */ __exportAll({
-	core: () => core,
-	effectNative: () => effectNative,
-	full: () => full,
-	functional: () => functional,
-	strict: () => strict,
-	v3: () => v3,
-	v3Strict: () => v3Strict
-});
+var presets_exports = /* @__PURE__ */ __exportAll({ recommended: () => recommended });
 //#endregion
-export { core, effectNative, full, functional, presets_exports, strict, v3, v3Strict };
+export { presets_exports, recommended };

package/dist/presets/recommended.d.ts

@@ -0,0 +1,17 @@
+//#region src/presets/recommended.d.ts
+/** Strict, non-type-aware policy for Effect-native application code. */
+declare const recommended: {
+  readonly "effect/noAsyncFunction": "error";
+  readonly "effect/noDynamicImports": "error";
+  readonly "effect/noEffectBind": "error";
+  readonly "effect/noEffectDo": "error";
+  readonly "effect/noGlobals": "error";
+  readonly "effect/noNewError": "error";
+  readonly "effect/noNewPromise": "error";
+  readonly "effect/noNodeBuiltinImport": "error";
+  readonly "effect/noTernary": "error";
+  readonly "effect/noThrowStatement": "error";
+  readonly "effect/noTryCatch": "error";
+};
+//#endregion
+export { recommended };

package/dist/presets/recommended.js

@@ -0,0 +1,17 @@
+//#region src/presets/recommended.ts
+/** Strict, non-type-aware policy for Effect-native application code. */
+const recommended = {
+	"effect/noAsyncFunction": "error",
+	"effect/noDynamicImports": "error",
+	"effect/noEffectBind": "error",
+	"effect/noEffectDo": "error",
+	"effect/noGlobals": "error",
+	"effect/noNewError": "error",
+	"effect/noNewPromise": "error",
+	"effect/noNodeBuiltinImport": "error",
+	"effect/noTernary": "error",
+	"effect/noThrowStatement": "error",
+	"effect/noTryCatch": "error"
+};
+//#endregion
+export { recommended };

package/dist/rules/index.d.ts

@@ -1,75 +1,18 @@
-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 { 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";
-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 { 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";
-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 { 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";
-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 { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noTernary } from "./no-ternary.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, 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 };
+  export { noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noThrowStatement, noTryCatch };
 }
 //#endregion
-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 };
+export { index_d_exports, noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noThrowStatement, noTryCatch };

package/dist/rules/index.js

@@ -1,142 +1,28 @@
 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 { 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";
-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 { 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";
-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 { 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";
-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 { noNodeBuiltinImport } from "./no-node-builtin-import.js";
+import { noTernary } from "./no-ternary.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,
 	noDynamicImports: () => noDynamicImports,
-	noEffectAllStepSequencing: () => noEffectAllStepSequencing,
-	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,
-	noHandRolledTaggedUnion: () => noHandRolledTaggedUnion,
-	noIfStatement: () => noIfStatement,
-	noIifeWrapper: () => noIifeWrapper,
-	noInlineProvide: () => noInlineProvide,
-	noInstanceofSchema: () => noInstanceofSchema,
-	noMakeUnsafe: () => noMakeUnsafe,
-	noManualDataGuard: () => noManualDataGuard,
-	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,
-	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,
 	noThrowStatement: () => noThrowStatement,
-	noTryCatch: () => noTryCatch,
-	noUnnecessaryArrowBlock: () => noUnnecessaryArrowBlock,
-	noUnnecessaryEffectGen: () => noUnnecessaryEffectGen,
-	noUnnecessaryPipe: () => noUnnecessaryPipe,
-	noUnnecessaryPipeChain: () => noUnnecessaryPipeChain
+	noTryCatch: () => noTryCatch
 });
 //#endregion
-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 };
+export { noAsyncFunction, noDynamicImports, noEffectBind, noEffectDo, noGlobals, noNewError, noNewPromise, noNodeBuiltinImport, noTernary, noThrowStatement, noTryCatch, rules_exports };

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

@@ -4,27 +4,18 @@ 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.
-*/
+/** Ban async functions and await expressions. */
 const noAsyncFunction = define({
 	name: "no-async-function",
 	meta: meta({
 		type: "suggestion",
-		description: "Avoid async functions. Use Effect.promise or Effect.tryPromise."
+		description: "Avoid async/await. Compose asynchronous work with Effect."
 	}),
 	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."
+			message: "Avoid async functions. Use Effect.gen with Effect.promise or Effect.tryPromise."
 		}));
 		return {
 			FunctionDeclaration: (node) => {
@@ -38,7 +29,11 @@ const noAsyncFunction = define({
 			ArrowFunctionExpression: (node) => {
 				if ("async" in node && node.async === true) return report(node);
 				return Effect.void;
-			}
+			},
+			AwaitExpression: (node) => ctx.report(make({
+				node,
+				message: "Avoid await. Yield Effect.promise or Effect.tryPromise inside Effect.gen."
+			}))
 		};
 	}
 });