\n | Correctness Wrong, unsafe, or structurally invalid code patterns. |
\n anyUnknownInErrorContext | ā | | Detects 'any' or 'unknown' types in Effect error or requirements channels | ā | ā |
\n classSelfMismatch | ā | š§ | Ensures Self type parameter matches the class name in Service/Tag/Schema classes | ā | ā |
\n duplicatePackage | ā ļø | | Detects when multiple versions of the same Effect package are loaded | ā | ā |
\n effectFnImplicitAny | ā | | Mirrors noImplicitAny for unannotated Effect.fn and Effect.fnUntraced callback parameters when no outer contextual function type exists | ā | ā |
\n floatingEffect | ā | | Ensures Effects are yielded or assigned to variables, not left floating | ā | ā |
\n genericEffectServices | ā ļø | | Prevents services with type parameters that cannot be discriminated at runtime | ā | ā |
\n missingEffectContext | ā | | Reports missing service requirements in Effect context channel | ā | ā |
\n missingEffectError | ā | š§ | Reports missing error types in Effect error channel | ā | ā |
\n missingLayerContext | ā | | Reports missing service requirements in Layer context channel | ā | ā |
\n missingReturnYieldStar | ā | š§ | Suggests using 'return yield*' for Effects with never success for better type narrowing | ā | ā |
\n missingStarInYieldEffectGen | ā | š§ | Enforces using 'yield*' instead of 'yield' when yielding Effects in generators | ā | ā |
\n nonObjectEffectServiceType | ā | | Ensures Effect.Service types are objects, not primitives | ā | |
\n outdatedApi | ā ļø | | Detects usage of APIs that have been removed or renamed in Effect v4 | | ā |
\n outdatedEffectCodegen | ā ļø | š§ | Detects when generated code is outdated and needs to be regenerated | ā | ā |
\n overriddenSchemaConstructor | ā | š§ | Prevents overriding constructors in Schema classes which breaks decoding behavior | ā | ā |
\n unsupportedServiceAccessors | ā ļø | š§ | Warns about service accessors that need codegen due to generic/complex signatures | ā | ā |
\n | Anti-pattern Discouraged patterns that often lead to bugs or confusing behavior. |
\n catchUnfailableEffect | š” | | Warns when using error handling on Effects that never fail (error type is 'never') | ā | ā |
\n effectFnIife | ā ļø | š§ | Effect.fn or Effect.fnUntraced is called as an IIFE (Immediately Invoked Function Expression). Use Effect.gen instead. | ā | ā |
\n effectGenUsesAdapter | ā ļø | | Warns when using the deprecated adapter parameter in Effect.gen | ā | ā |
\n effectInFailure | ā ļø | | Warns when an Effect is used inside an Effect failure channel | ā | ā |
\n effectInVoidSuccess | ā ļø | | Detects nested Effects in void success channels that may cause unexecuted effects | ā | ā |
\n globalErrorInEffectCatch | ā ļø | | Warns when catch callbacks return global Error type instead of typed errors | ā | ā |
\n globalErrorInEffectFailure | ā ļø | | Warns when the global Error type is used in an Effect failure channel | ā | ā |
\n layerMergeAllWithDependencies | ā ļø | š§ | Detects interdependencies in Layer.mergeAll calls where one layer provides a service that another layer requires | ā | ā |
\n lazyPromiseInEffectSync | ā ļø | | Warns when Effect.sync lazily returns a Promise instead of using an async Effect constructor | ā | ā |
\n leakingRequirements | š” | | Detects implementation services leaked in service methods | ā | ā |
\n multipleEffectProvide | ā ļø | š§ | Warns against chaining Effect.provide calls which can cause service lifecycle issues | ā | ā |
\n returnEffectInGen | š” | š§ | Warns when returning an Effect in a generator causes nested Effect<Effect<...>> | ā | ā |
\n runEffectInsideEffect | š” | š§ | Suggests using Runtime or Effect.run*With methods instead of Effect.run* inside Effect contexts | ā | ā |
\n schemaSyncInEffect | š” | | Suggests using Effect-based Schema methods instead of sync methods inside Effect generators | ā | |
\n scopeInLayerEffect | ā ļø | š§ | Suggests using Layer.scoped instead of Layer.effect when Scope is in requirements | ā | |
\n strictEffectProvide | ā | | Warns when using Effect.provide with layers outside of application entry points | ā | ā |
\n tryCatchInEffectGen | š” | | Discourages try/catch in Effect generators in favor of Effect error handling | ā | ā |
\n unknownInEffectCatch | ā ļø | | Warns when catch callbacks return unknown instead of typed errors | ā | ā |
\n | Effect-native Prefer Effect-native APIs and abstractions when available. |
\n asyncFunction | ā | | Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow | ā | ā |
\n cryptoRandomUUID | ā | | Warns when using crypto.randomUUID() outside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes | | ā |
\n cryptoRandomUUIDInEffect | ā | | Warns when using crypto.randomUUID() inside Effect generators instead of the Effect Random module, which uses Effect-injected randomness rather than the crypto module behind the scenes | | ā |
\n extendsNativeError | ā | | Warns when a class directly extends the native Error class | ā | ā |
\n globalConsole | ā | | Warns when using console methods outside Effect generators instead of Effect.log/Logger | ā | ā |
\n globalConsoleInEffect | ā | | Warns when using console methods inside Effect generators instead of Effect.log/Logger | ā | ā |
\n globalDate | ā | | Warns when using Date.now() or new Date() outside Effect generators instead of Clock/DateTime | ā | ā |
\n globalDateInEffect | ā | | Warns when using Date.now() or new Date() inside Effect generators instead of Clock/DateTime | ā | ā |
\n globalFetch | ā | | Warns when using the global fetch function outside Effect generators instead of the Effect HTTP client | ā | ā |
\n globalFetchInEffect | ā | | Warns when using the global fetch function inside Effect generators instead of the Effect HTTP client | ā | ā |
\n globalRandom | ā | | Warns when using Math.random() outside Effect generators instead of the Random service | ā | ā |
\n globalRandomInEffect | ā | | Warns when using Math.random() inside Effect generators instead of the Random service | ā | ā |
\n globalTimers | ā | | Warns when using setTimeout/setInterval outside Effect generators instead of Effect.sleep/Schedule | ā | ā |
\n globalTimersInEffect | ā | | Warns when using setTimeout/setInterval inside Effect generators instead of Effect.sleep/Schedule | ā | ā |
\n instanceOfSchema | ā | š§ | Suggests using Schema.is instead of instanceof for Effect Schema types | ā | ā |
\n newPromise | ā | | Warns when constructing promises with new Promise instead of using Effect APIs | ā | ā |
\n nodeBuiltinImport | ā | | Warns when importing Node.js built-in modules that have Effect-native counterparts | ā | ā |
\n preferSchemaOverJson | ā | | Suggests using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify which may throw | ā | ā |
\n processEnv | ā | | Warns when reading process.env outside Effect generators instead of using Effect Config | ā | ā |
\n processEnvInEffect | ā | | Warns when reading process.env inside Effect generators instead of using Effect Config | ā | ā |
\n unsafeEffectTypeAssertion | ā | š§ | Detects unsafe type assertions that narrow Effect, Stream, or Layer error or requirements channels | ā | ā |
\n | Style Cleanup, consistency, and idiomatic Effect code. |
\n catchAllToMapError | š” | š§ | Suggests using Effect.mapError instead of Effect.catchAll when the callback only wraps the error with Effect.fail | ā | ā |
\n deterministicKeys | ā | š§ | Enforces deterministic naming for service/tag/error identifiers based on class names | ā | ā |
\n effectDoNotation | ā | | Suggests using Effect.gen or Effect.fn instead of the Effect.Do notation helpers | ā | ā |
\n effectFnOpportunity | š” | š§ | Suggests using Effect.fn for functions that returns an Effect | ā | ā |
\n effectMapFlatten | š” | | Suggests using Effect.flatMap instead of Effect.map followed by Effect.flatten in piping flows | ā | ā |
\n effectMapVoid | š” | š§ | Suggests using Effect.asVoid instead of Effect.map(() => void 0), Effect.map(() => undefined), or Effect.map(() => {}) | ā | ā |
\n effectSucceedWithVoid | š” | š§ | Suggests using Effect.void instead of Effect.succeed(undefined) or Effect.succeed(void 0) | ā | ā |
\n flatMapToMap | š” | š§ | Suggests using Effect.map instead of Effect.flatMap when the callback only wraps its result with Effect.succeed | ā | ā |
\n importFromBarrel | ā | š§ | Suggests importing from specific module paths instead of barrel exports | ā | ā |
\n missedPipeableOpportunity | ā | š§ | Enforces the use of pipeable style for nested function calls | ā | ā |
\n missingEffectServiceDependency | ā | | Checks that Effect.Service dependencies satisfy all required layer inputs | ā | |
\n nestedEffectGenYield | ā | | Warns when yielding a nested bare Effect.gen inside an existing Effect generator context | ā | ā |
\n redundantSchemaTagIdentifier | š” | š§ | Suggests removing redundant identifier argument when it equals the tag value in Schema.TaggedClass/TaggedError/TaggedRequest | ā | ā |
\n schemaStructWithTag | š” | š§ | Suggests using Schema.TaggedStruct instead of Schema.Struct with _tag field | ā | ā |
\n schemaUnionOfLiterals | ā | š§ | Simplifies Schema.Union of multiple Schema.Literal calls into single Schema.Literal | ā | |
\n serviceNotAsClass | ā | š§ | Warns when Context.Service is used as a variable instead of a class declaration | | ā |
\n strictBooleanExpressions | ā | | Enforces boolean types in conditional expressions for type safety | ā | ā |
\n unnecessaryArrowBlock | ā | š§ | Suggests using a concise arrow body when the block only returns an expression | ā | ā |
\n unnecessaryEffectGen | š” | š§ | Suggests removing Effect.gen when it contains only a single return statement | ā | ā |
\n unnecessaryFailYieldableError | š” | š§ | Suggests yielding yieldable errors directly instead of wrapping with Effect.fail | ā | ā |
\n unnecessaryPipe | š” | š§ | Removes pipe calls with no arguments | ā | ā |
\n unnecessaryPipeChain | š” | š§ | Simplifies chained pipe calls into a single pipe call | ā | ā |
\n \n