@effect/language-service 0.79.0 → 0.81.0

package/index.js

@@ -2205,6 +2205,145 @@ var defaults = {
   mermaidProvider: "mermaid.live",
   skipDisabledOptimization: false
 };
+var booleanSchema = (description, defaultValue) => ({
+  type: "boolean",
+  description,
+  default: defaultValue
+});
+var stringArraySchema = (description, defaultValue) => ({
+  type: "array",
+  description,
+  default: defaultValue,
+  items: { type: "string" }
+});
+var stringEnumSchema = (description, values2, defaultValue) => ({
+  type: "string",
+  description,
+  enum: values2,
+  default: defaultValue
+});
+var languageServicePluginAdditionalPropertiesJsonSchema = {
+  refactors: booleanSchema("Controls Effect refactors.", defaults.refactors),
+  diagnostics: booleanSchema("Controls Effect diagnostics.", defaults.diagnostics),
+  diagnosticsName: booleanSchema(
+    "Controls whether to include the rule name in diagnostic messages.",
+    defaults.diagnosticsName
+  ),
+  missingDiagnosticNextLine: stringEnumSchema(
+    "Controls the severity of warnings for unused @effect-diagnostics-next-line comments.",
+    ["off", "error", "warning", "message", "suggestion"],
+    defaults.missingDiagnosticNextLine
+  ),
+  includeSuggestionsInTsc: booleanSchema(
+    "When patch mode is enabled, reports suggestion diagnostics as messages in TSC with a [suggestion] prefix.",
+    defaults.includeSuggestionsInTsc
+  ),
+  ignoreEffectWarningsInTscExitCode: booleanSchema(
+    "When enabled, Effect warnings do not affect the patched tsc exit code.",
+    defaults.ignoreEffectWarningsInTscExitCode
+  ),
+  ignoreEffectErrorsInTscExitCode: booleanSchema(
+    "When enabled, Effect errors do not affect the patched tsc exit code.",
+    defaults.ignoreEffectErrorsInTscExitCode
+  ),
+  ignoreEffectSuggestionsInTscExitCode: booleanSchema(
+    "When enabled, Effect suggestions do not affect the patched tsc exit code.",
+    defaults.ignoreEffectSuggestionsInTscExitCode
+  ),
+  quickinfoEffectParameters: stringEnumSchema(
+    "Controls when Effect quickinfo should include full type parameters.",
+    ["always", "never", "whentruncated"],
+    defaults.quickinfoEffectParameters
+  ),
+  quickinfo: booleanSchema("Controls Effect quickinfo.", defaults.quickinfo),
+  quickinfoMaximumLength: {
+    type: "number",
+    description: "Controls the maximum quickinfo length. Use -1 to disable truncation.",
+    default: defaults.quickinfoMaximumLength
+  },
+  keyPatterns: {
+    type: "array",
+    description: "Configures key patterns used for generated Effect service and error keys.",
+    default: defaults.keyPatterns,
+    items: {
+      type: "object",
+      properties: {
+        target: stringEnumSchema("The key builder target.", ["service", "error", "custom"], "service"),
+        pattern: stringEnumSchema(
+          "The key generation pattern.",
+          ["package-identifier", "default", "default-hashed"],
+          "default"
+        ),
+        skipLeadingPath: stringArraySchema("Path prefixes to strip before generating keys.", ["src/"])
+      }
+    }
+  },
+  extendedKeyDetection: booleanSchema(
+    "Enables extended heuristics when detecting key sources.",
+    defaults.extendedKeyDetection
+  ),
+  completions: booleanSchema("Controls Effect completions.", defaults.completions),
+  goto: booleanSchema("Controls Effect goto references support.", defaults.goto),
+  inlays: booleanSchema("Controls Effect inlay hints.", defaults.inlays),
+  allowedDuplicatedPackages: stringArraySchema(
+    "Package names that are allowed to duplicate Effect as a peer dependency.",
+    defaults.allowedDuplicatedPackages
+  ),
+  namespaceImportPackages: stringArraySchema(
+    "Package names that should prefer namespace imports.",
+    defaults.namespaceImportPackages
+  ),
+  topLevelNamedReexports: stringEnumSchema(
+    "For namespaceImportPackages, controls how top-level named re-exports are handled.",
+    ["ignore", "follow"],
+    defaults.topLevelNamedReexports
+  ),
+  barrelImportPackages: stringArraySchema(
+    "Package names that should prefer imports from their top-level barrel file.",
+    defaults.barrelImportPackages
+  ),
+  importAliases: {
+    type: "object",
+    description: "Custom aliases to use for imported identifiers.",
+    default: defaults.importAliases,
+    additionalProperties: {
+      type: "string"
+    }
+  },
+  renames: booleanSchema("Controls Effect rename helpers.", defaults.renames),
+  noExternal: booleanSchema(
+    "Disables features that link to external websites.",
+    defaults.noExternal
+  ),
+  pipeableMinArgCount: {
+    type: "number",
+    description: "Minimum argument count required before pipeable suggestions are emitted.",
+    default: defaults.pipeableMinArgCount
+  },
+  effectFn: {
+    type: "array",
+    description: "Configures which Effect.fn variants should be suggested.",
+    default: defaults.effectFn,
+    items: {
+      type: "string",
+      enum: ["untraced", "span", "suggested-span", "inferred-span", "no-span"]
+    }
+  },
+  layerGraphFollowDepth: {
+    type: "number",
+    description: "Controls how deeply layer graph analysis follows dependencies.",
+    default: defaults.layerGraphFollowDepth
+  },
+  mermaidProvider: {
+    type: "string",
+    description: "Controls which Mermaid renderer is used for layer graphs.",
+    default: defaults.mermaidProvider
+  },
+  skipDisabledOptimization: booleanSchema(
+    "When enabled, disabled diagnostics are still processed so comment-based overrides can be honored.",
+    defaults.skipDisabledOptimization
+  )
+};
 function parseKeyPatterns(patterns) {
   const result = [];
   for (const entry of patterns) {
@@ -7014,6 +7153,7 @@ var anyUnknownInErrorContext = createDiagnostic({
   name: "anyUnknownInErrorContext",
   code: 28,
   description: "Detects 'any' or 'unknown' types in Effect error or requirements channels",
+  group: "correctness",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -7119,6 +7259,7 @@ var catchAllToMapError = createDiagnostic({
   name: "catchAllToMapError",
   code: 39,
   description: "Suggests using Effect.mapError instead of Effect.catchAll when the callback only wraps the error with Effect.fail",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -7218,6 +7359,7 @@ var catchUnfailableEffect = createDiagnostic({
   name: "catchUnfailableEffect",
   code: 2,
   description: "Warns when using error handling on Effects that never fail (error type is 'never')",
+  group: "antipattern",
   severity: "suggestion",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -7269,6 +7411,7 @@ var classSelfMismatch = createDiagnostic({
   name: "classSelfMismatch",
   code: 20,
   description: "Ensures Self type parameter matches the class name in Service/Tag/Schema classes",
+  group: "correctness",
   severity: "error",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -7343,6 +7486,7 @@ var deterministicKeys = createDiagnostic({
   name: "deterministicKeys",
   code: 25,
   description: "Enforces deterministic naming for service/tag/error identifiers based on class names",
+  group: "style",
   severity: "off",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -7462,6 +7606,7 @@ var duplicatePackage = createDiagnostic({
   name: "duplicatePackage",
   code: 6,
   description: "Detects when multiple versions of the same Effect package are loaded",
+  group: "correctness",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -7493,6 +7638,7 @@ var effectFnIife = createDiagnostic({
   name: "effectFnIife",
   code: 46,
   description: "Effect.fn or Effect.fnUntraced is called as an IIFE (Immediately Invoked Function Expression). Use Effect.gen instead.",
+  group: "antipattern",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -7597,6 +7743,7 @@ var effectFnOpportunity = createDiagnostic({
   name: "effectFnOpportunity",
   code: 41,
   description: "Suggests using Effect.fn for functions that returns an Effect",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -8191,6 +8338,7 @@ var effectGenUsesAdapter = createDiagnostic({
   name: "effectGenUsesAdapter",
   code: 23,
   description: "Warns when using the deprecated adapter parameter in Effect.gen",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8231,6 +8379,7 @@ var effectInFailure = createDiagnostic({
   name: "effectInFailure",
   code: 49,
   description: "Warns when an Effect is used inside an Effect failure channel",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8297,6 +8446,7 @@ var effectInVoidSuccess = createDiagnostic({
   name: "effectInVoidSuccess",
   code: 14,
   description: "Detects nested Effects in void success channels that may cause unexecuted effects",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8348,6 +8498,7 @@ var effectMapVoid = createDiagnostic({
   name: "effectMapVoid",
   code: 40,
   description: "Suggests using Effect.asVoid instead of Effect.map(() => void 0), Effect.map(() => undefined), or Effect.map(() => {})",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -8414,6 +8565,7 @@ var effectSucceedWithVoid = createDiagnostic({
   name: "effectSucceedWithVoid",
   code: 47,
   description: "Suggests using Effect.void instead of Effect.succeed(undefined) or Effect.succeed(void 0)",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -8467,6 +8619,7 @@ var extendsNativeError = createDiagnostic({
   name: "extendsNativeError",
   code: 50,
   description: "Warns when a class directly extends the native Error class",
+  group: "effectNative",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8519,6 +8672,7 @@ var floatingEffect = createDiagnostic({
   name: "floatingEffect",
   code: 3,
   description: "Ensures Effects are yielded or assigned to variables, not left floating",
+  group: "correctness",
   severity: "error",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8572,6 +8726,7 @@ var genericEffectServices = createDiagnostic({
   name: "genericEffectServices",
   code: 10,
   description: "Prevents services with type parameters that cannot be discriminated at runtime",
+  group: "correctness",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8621,6 +8776,7 @@ var globalErrorInEffectCatch = createDiagnostic({
   name: "globalErrorInEffectCatch",
   code: 36,
   description: "Warns when catch callbacks return global Error type instead of typed errors",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8683,6 +8839,7 @@ var globalErrorInEffectFailure = createDiagnostic({
   name: "globalErrorInEffectFailure",
   code: 35,
   description: "Warns when the global Error type is used in an Effect failure channel",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -8733,11 +8890,54 @@ var globalErrorInEffectFailure = createDiagnostic({
   })
 });
 
+// src/diagnostics/globalFetch.ts
+var globalFetch = createDiagnostic({
+  name: "globalFetch",
+  code: 53,
+  description: "Warns when using the global fetch function instead of the Effect HTTP client",
+  group: "effectNative",
+  severity: "off",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn("globalFetch.apply")(function* (sourceFile, report) {
+    const ts = yield* service(TypeScriptApi);
+    const typeChecker = yield* service(TypeCheckerApi);
+    const typeParser = yield* service(TypeParser);
+    const fetchSymbol = typeChecker.resolveName("fetch", void 0, ts.SymbolFlags.Value, false);
+    if (!fetchSymbol) return;
+    const effectVersion = typeParser.supportedEffect();
+    const packageName = effectVersion === "v3" ? "@effect/platform" : "effect/unstable/http";
+    const messageText = `Prefer using HttpClient from ${packageName} instead of the global 'fetch' function.`;
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      if (ts.isCallExpression(node)) {
+        const symbol3 = typeChecker.getSymbolAtLocation(node.expression);
+        const resolvedSymbol = symbol3 && symbol3.flags & ts.SymbolFlags.Alias ? typeChecker.getAliasedSymbol(symbol3) : symbol3;
+        if (resolvedSymbol === fetchSymbol) {
+          report({
+            location: node.expression,
+            messageText,
+            fixes: []
+          });
+        }
+      }
+      ts.forEachChild(node, appendNodeToVisit);
+    }
+  })
+});
+
 // src/diagnostics/importFromBarrel.ts
 var importFromBarrel = createDiagnostic({
   name: "importFromBarrel",
   code: 12,
   description: "Suggests importing from specific module paths instead of barrel exports",
+  group: "style",
   severity: "off",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -8880,6 +9080,7 @@ var instanceOfSchema = createDiagnostic({
   name: "instanceOfSchema",
   code: 45,
   description: "Suggests using Schema.is instead of instanceof for Effect Schema types",
+  group: "effectNative",
   severity: "off",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -8945,6 +9146,7 @@ var layerMergeAllWithDependencies = createDiagnostic({
   name: "layerMergeAllWithDependencies",
   code: 37,
   description: "Detects interdependencies in Layer.mergeAll calls where one layer provides a service that another layer requires",
+  group: "antipattern",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9060,6 +9262,7 @@ var leakingRequirements = createDiagnostic({
   name: "leakingRequirements",
   code: 8,
   description: "Detects implementation services leaked in service methods",
+  group: "antipattern",
   severity: "suggestion",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -9216,6 +9419,7 @@ var missedPipeableOpportunity = createDiagnostic({
   name: "missedPipeableOpportunity",
   code: 26,
   description: "Enforces the use of pipeable style for nested function calls",
+  group: "style",
   severity: "off",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9398,6 +9602,7 @@ var missingEffectContext = createDiagnostic({
   name: "missingEffectContext",
   code: 1,
   description: "Reports missing service requirements in Effect context channel",
+  group: "correctness",
   severity: "error",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -9449,6 +9654,7 @@ var missingEffectError = createDiagnostic({
   name: "missingEffectError",
   code: 1,
   description: "Reports missing error types in Effect error channel",
+  group: "correctness",
   severity: "error",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9592,6 +9798,7 @@ var missingEffectServiceDependency = createDiagnostic({
   name: "missingEffectServiceDependency",
   code: 22,
   description: "Checks that Effect.Service dependencies satisfy all required layer inputs",
+  group: "style",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3"],
@@ -9688,6 +9895,7 @@ var missingLayerContext = createDiagnostic({
   name: "missingLayerContext",
   code: 38,
   description: "Reports missing service requirements in Layer context channel",
+  group: "correctness",
   severity: "error",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -9739,6 +9947,7 @@ var missingReturnYieldStar = createDiagnostic({
   name: "missingReturnYieldStar",
   code: 7,
   description: "Suggests using 'return yield*' for Effects with never success for better type narrowing",
+  group: "correctness",
   severity: "error",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9791,6 +10000,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
   name: "missingStarInYieldEffectGen",
   code: 4,
   description: "Enforces using 'yield*' instead of 'yield' when yielding Effects in generators",
+  group: "correctness",
   severity: "error",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9868,6 +10078,7 @@ var multipleEffectProvide = createDiagnostic({
   name: "multipleEffectProvide",
   code: 18,
   description: "Warns against chaining Effect.provide calls which can cause service lifecycle issues",
+  group: "antipattern",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -9970,7 +10181,11 @@ var moduleAlternativesV3 = /* @__PURE__ */ new Map([
   ["path/win32", { alternative: "Path", module: "path", package: "@effect/platform" }],
   ["node:path/win32", { alternative: "Path", module: "path", package: "@effect/platform" }],
   ["child_process", { alternative: "CommandExecutor", module: "child_process", package: "@effect/platform" }],
-  ["node:child_process", { alternative: "CommandExecutor", module: "child_process", package: "@effect/platform" }]
+  ["node:child_process", { alternative: "CommandExecutor", module: "child_process", package: "@effect/platform" }],
+  ["http", { alternative: "HttpClient", module: "http", package: "@effect/platform" }],
+  ["node:http", { alternative: "HttpClient", module: "http", package: "@effect/platform" }],
+  ["https", { alternative: "HttpClient", module: "https", package: "@effect/platform" }],
+  ["node:https", { alternative: "HttpClient", module: "https", package: "@effect/platform" }]
 ]);
 var moduleAlternativesV4 = /* @__PURE__ */ new Map([
   ["fs", { alternative: "FileSystem", module: "fs", package: "effect" }],
@@ -9984,12 +10199,17 @@ var moduleAlternativesV4 = /* @__PURE__ */ new Map([
   ["path/win32", { alternative: "Path", module: "path", package: "effect" }],
   ["node:path/win32", { alternative: "Path", module: "path", package: "effect" }],
   ["child_process", { alternative: "ChildProcess", module: "child_process", package: "effect" }],
-  ["node:child_process", { alternative: "ChildProcess", module: "child_process", package: "effect" }]
+  ["node:child_process", { alternative: "ChildProcess", module: "child_process", package: "effect" }],
+  ["http", { alternative: "HttpClient", module: "http", package: "effect/unstable/http" }],
+  ["node:http", { alternative: "HttpClient", module: "http", package: "effect/unstable/http" }],
+  ["https", { alternative: "HttpClient", module: "https", package: "effect/unstable/http" }],
+  ["node:https", { alternative: "HttpClient", module: "https", package: "effect/unstable/http" }]
 ]);
 var nodeBuiltinImport = createDiagnostic({
   name: "nodeBuiltinImport",
   code: 52,
   description: "Warns when importing Node.js built-in modules that have Effect-native counterparts",
+  group: "effectNative",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -10033,6 +10253,7 @@ var nonObjectEffectServiceType = createDiagnostic({
   name: "nonObjectEffectServiceType",
   code: 24,
   description: "Ensures Effect.Service types are objects, not primitives",
+  group: "correctness",
   severity: "error",
   fixable: false,
   supportedEffect: ["v3"],
@@ -10817,6 +11038,7 @@ var outdatedApi = createDiagnostic({
   name: "outdatedApi",
   code: 48,
   description: "Detects usage of APIs that have been removed or renamed in Effect v4",
+  group: "correctness",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v4"],
@@ -10886,6 +11108,7 @@ var outdatedEffectCodegen = createDiagnostic({
   name: "outdatedEffectCodegen",
   code: 19,
   description: "Detects when generated code is outdated and needs to be regenerated",
+  group: "correctness",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -10934,6 +11157,7 @@ var overriddenSchemaConstructor = createDiagnostic({
   name: "overriddenSchemaConstructor",
   code: 30,
   description: "Prevents overriding constructors in Schema classes which breaks decoding behavior",
+  group: "correctness",
   severity: "error",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -11073,6 +11297,7 @@ var preferSchemaOverJson = createDiagnostic({
   name: "preferSchemaOverJson",
   code: 44,
   description: "Suggests using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify which may throw",
+  group: "effectNative",
   severity: "suggestion",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -11185,6 +11410,7 @@ var redundantSchemaTagIdentifier = createDiagnostic({
   name: "redundantSchemaTagIdentifier",
   code: 42,
   description: "Suggests removing redundant identifier argument when it equals the tag value in Schema.TaggedClass/TaggedError/TaggedRequest",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -11237,6 +11463,7 @@ var returnEffectInGen = createDiagnostic({
   name: "returnEffectInGen",
   code: 11,
   description: "Warns when returning an Effect in a generator causes nested Effect<Effect<...>>",
+  group: "antipattern",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -11308,6 +11535,7 @@ var runEffectInsideEffect = createDiagnostic({
   name: "runEffectInsideEffect",
   code: 32,
   description: "Suggests using Runtime methods instead of Effect.run* inside Effect contexts",
+  group: "antipattern",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3"],
@@ -11434,6 +11662,7 @@ var schemaStructWithTag = createDiagnostic({
   name: "schemaStructWithTag",
   code: 34,
   description: "Suggests using Schema.TaggedStruct instead of Schema.Struct with _tag field",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -11528,9 +11757,10 @@ var schemaSyncInEffect = createDiagnostic({
   name: "schemaSyncInEffect",
   code: 43,
   description: "Suggests using Effect-based Schema methods instead of sync methods inside Effect generators",
+  group: "antipattern",
   severity: "suggestion",
   fixable: false,
-  supportedEffect: ["v3", "v4"],
+  supportedEffect: ["v3"],
   apply: fn("schemaSyncInEffect.apply")(function* (sourceFile, report) {
     const ts = yield* service(TypeScriptApi);
     const typeParser = yield* service(TypeParser);
@@ -11579,6 +11809,7 @@ var schemaUnionOfLiterals = createDiagnostic({
   name: "schemaUnionOfLiterals",
   code: 33,
   description: "Simplifies Schema.Union of multiple Schema.Literal calls into single Schema.Literal",
+  group: "style",
   severity: "off",
   fixable: true,
   supportedEffect: ["v3"],
@@ -11656,6 +11887,7 @@ var scopeInLayerEffect = createDiagnostic({
   name: "scopeInLayerEffect",
   code: 13,
   description: "Suggests using Layer.scoped instead of Layer.effect when Scope is in requirements",
+  group: "antipattern",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3"],
@@ -11753,6 +11985,7 @@ var serviceNotAsClass = createDiagnostic({
   name: "serviceNotAsClass",
   code: 51,
   description: "Warns when ServiceMap.Service is used as a variable instead of a class declaration",
+  group: "style",
   severity: "off",
   fixable: true,
   supportedEffect: ["v4"],
@@ -11830,6 +12063,7 @@ var strictBooleanExpressions = createDiagnostic({
   name: "strictBooleanExpressions",
   code: 17,
   description: "Enforces boolean types in conditional expressions for type safety",
+  group: "style",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -11903,6 +12137,7 @@ var strictEffectProvide = createDiagnostic({
   name: "strictEffectProvide",
   code: 27,
   description: "Warns when using Effect.provide with layers outside of application entry points",
+  group: "antipattern",
   severity: "off",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -11956,6 +12191,7 @@ var tryCatchInEffectGen = createDiagnostic({
   name: "tryCatchInEffectGen",
   code: 15,
   description: "Discourages try/catch in Effect generators in favor of Effect error handling",
+  group: "antipattern",
   severity: "suggestion",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -12015,6 +12251,7 @@ var unknownInEffectCatch = createDiagnostic({
   name: "unknownInEffectCatch",
   code: 31,
   description: "Warns when catch callbacks return unknown instead of typed errors",
+  group: "antipattern",
   severity: "warning",
   fixable: false,
   supportedEffect: ["v3", "v4"],
@@ -12078,6 +12315,7 @@ var unnecessaryEffectGen = createDiagnostic({
   name: "unnecessaryEffectGen",
   code: 5,
   description: "Suggests removing Effect.gen when it contains only a single return statement",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -12124,6 +12362,7 @@ var unnecessaryFailYieldableError = createDiagnostic({
   name: "unnecessaryFailYieldableError",
   code: 29,
   description: "Suggests yielding yieldable errors directly instead of wrapping with Effect.fail",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -12185,6 +12424,7 @@ var unnecessaryPipe = createDiagnostic({
   name: "unnecessaryPipe",
   code: 9,
   description: "Removes pipe calls with no arguments",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -12233,6 +12473,7 @@ var unnecessaryPipeChain = createDiagnostic({
   name: "unnecessaryPipeChain",
   code: 16,
   description: "Simplifies chained pipe calls into a single pipe call",
+  group: "style",
   severity: "suggestion",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -12310,6 +12551,7 @@ var unsupportedServiceAccessors = createDiagnostic({
   name: "unsupportedServiceAccessors",
   code: 21,
   description: "Warns about service accessors that need codegen due to generic/complex signatures",
+  group: "correctness",
   severity: "warning",
   fixable: true,
   supportedEffect: ["v3", "v4"],
@@ -12387,6 +12629,7 @@ var diagnostics = [
   leakingRequirements,
   unnecessaryPipe,
   genericEffectServices,
+  globalFetch,
   returnEffectInGen,
   tryCatchInEffectGen,
   importFromBarrel,