@effect/tsgo 0.36.5 → 0.38.0

package/README.md

@@ -38,12 +38,12 @@ When running in dedicated diagnostics mode, the Effect diagnostics can be emitte
 <!-- supported-components:start -->
 ## Supported Package Versions
 
-The following target package versions are supported by `@effect/tsgo@0.36.5`:
+The following target package versions are supported by `@effect/tsgo@0.38.0`:
 
 | Component | Supported versions |
 |---|---|
-| TypeScript | `7.0.2`, `7.1.0-dev.20260813.1` |
-| Oxlint | `1.77.0`, `1.78.0` |
+| TypeScript | `7.0.2`, `7.1.0-dev.20260826.1` |
+| Oxlint | `1.79.0`, `1.80.0` |
 | oxlint-tsgolint | `7.0.2001` |
 <!-- supported-components:end -->
 
@@ -121,8 +121,11 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/process-env-in-effect.md"><code>processEnvInEffect</code></a></td><td>Warns when reading process.env inside Effect generators instead of using Effect Config</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unsafe-effect-type-assertion.md"><code>unsafeEffectTypeAssertion</code></a></td><td>Detects unsafe type assertions that narrow Effect, Stream, or Layer error or requirements channels</td></tr>
     <tr><td colspan="2"><strong>Style</strong> <em>Cleanup, consistency, and idiomatic Effect code.</em></td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/all-of-map-to-for-each.md"><code>allOfMapToForEach</code></a></td><td>Suggests using Effect.forEach instead of Effect.all over an effectful Array#map</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-all-to-map-error.md"><code>catchAllToMapError</code></a></td><td>Suggests using Effect.mapError instead of Effect.catch + Effect.fail</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-chain-to-first-success-of.md"><code>catchChainToFirstSuccessOf</code></a></td><td>Suggests Effect.firstSuccessOf for consecutive error-independent Effect.catch fallbacks when the error type is preserved</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-conditional-refail-to-catch-if.md"><code>catchConditionalRefailToCatchIf</code></a></td><td>Suggests Effect.catchIf, Effect.catchCauseIf, or Effect.catchTag for conditional catch handlers that re-fail their untouched input</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-die-to-or-die.md"><code>catchDieToOrDie</code></a></td><td>Suggests using Effect.orDie instead of Effect.catch or Effect.catchAll with an identity-forwarding Effect.die handler</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-tag-to-catch-reason.md"><code>catchTagToCatchReason</code></a></td><td>Suggests Effect.catchReason or Effect.catchReasons for handlers that re-fail unmatched reason._tag branches</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-to-ignore.md"><code>catchToIgnore</code></a></td><td>Suggests using Effect.ignore or Effect.ignoreCause instead of Effect.catch/catchCause returning Effect.void</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/catch-to-or-else-succeed.md"><code>catchToOrElseSucceed</code></a></td><td>Suggests using Effect.orElseSucceed instead of Effect.catch + Effect.succeed</td></tr>
@@ -133,6 +136,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/effect-map-void.md"><code>effectMapVoid</code></a></td><td>Suggests using Effect.asVoid instead of Effect.map(() =&gt; void 0), Effect.map(() =&gt; undefined), or Effect.map(() =&gt; {})</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/effect-succeed-with-void.md"><code>effectSucceedWithVoid</code></a></td><td>Suggests using Effect.void instead of Effect.succeed(undefined) or Effect.succeed(void 0)</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/flat-map-to-map.md"><code>flatMapToMap</code></a></td><td>Suggests using Effect.map instead of Effect.flatMap when the callback only wraps its result with Effect.succeed</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/map-some-to-as-some.md"><code>mapSomeToAsSome</code></a></td><td>Suggests using Effect.asSome instead of Effect.map when the mapper only wraps the success value with Option.some</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missed-pipeable-opportunity.md"><code>missedPipeableOpportunity</code></a></td><td>Suggests using .pipe() for nested function calls</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missing-effect-service-dependency.md"><code>missingEffectServiceDependency</code></a></td><td>Checks that Effect.Service dependencies satisfy all required layer inputs</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missing-pipeable-signature.md"><code>missingPipeableSignature</code></a></td><td>Reports exported fixed-arity functions whose call signatures have no corresponding pipeable overload</td></tr>

package/dist/effect-tsgo.cjs

@@ -48900,7 +48900,7 @@ const runWith = (command, config) => {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.36.5";
+var version = "0.38.0";
 
 //#endregion
 //#region src/metadata.json
@@ -49071,7 +49071,7 @@ var rules = [
 		"description": "Prevents services with type parameters that cannot be discriminated at runtime",
 		"defaultSeverity": "warning",
 		"fixable": false,
-		"supportedEffect": ["v3", "v4"],
+		"supportedEffect": ["v3"],
 		"codes": [377043],
 		"preview": {
 			"sourceText": "import { Effect } from \"effect\"\n\nexport class Preview<_A> extends Effect.Service<Preview<any>>()(\"Preview\", {\n  succeed: {}\n}) {}\n",
@@ -49546,7 +49546,7 @@ var rules = [
 		"description": "Suggests using Effect-based Schema methods instead of sync methods inside Effect generators",
 		"defaultSeverity": "suggestion",
 		"fixable": false,
-		"supportedEffect": ["v3"],
+		"supportedEffect": ["v3", "v4"],
 		"codes": [377037],
 		"preview": {
 			"sourceText": "import * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\n\nconst Person = Schema.Struct({ name: Schema.String, age: Schema.Finite })\n\nexport const preview = Effect.gen(function*() {\n  const input = yield* Effect.succeed({ name: \"Ada\", age: 1 })\n  return Schema.decodeSync(Person)(input)\n})\n",
@@ -49999,6 +49999,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "allOfMapToForEach",
+		"group": "style",
+		"description": "Suggests using Effect.forEach instead of Effect.all over an effectful Array#map",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377113],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const values: ReadonlyArray<number>\n\nexport const program = Effect.all(\n  values.map((value) => Effect.succeed(value + 1))\n)\n",
+			"diagnostics": [{
+				"start": 101,
+				"end": 111,
+				"text": "`Effect.forEach` expresses this effectful array mapping more directly than `Effect.all` over `Array#map`. effect(allOfMapToForEach)"
+			}]
+		}
+	},
 	{
 		"name": "catchAllToMapError",
 		"group": "style",
@@ -50033,6 +50050,40 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "catchConditionalRefailToCatchIf",
+		"group": "style",
+		"description": "Suggests Effect.catchIf, Effect.catchCauseIf, or Effect.catchTag for conditional catch handlers that re-fail their untouched input",
+		"defaultSeverity": "suggestion",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377116],
+		"preview": {
+			"sourceText": "import { Data, Effect } from \"effect\"\n\nclass NotFound extends Data.TaggedError(\"NotFound\")<{}> {}\nclass DatabaseError extends Data.TaggedError(\"DatabaseError\")<{}> {}\n\ndeclare const program: Effect.Effect<string, NotFound | DatabaseError>\n\nexport const recovered = program.pipe(\n  Effect.catch((error) =>\n    error._tag === \"NotFound\" ? Effect.succeed(\"guest\") : Effect.fail(error)\n  )\n)\n",
+			"diagnostics": [{
+				"start": 281,
+				"end": 293,
+				"text": "`Effect.catchTag` expresses selective recovery more directly than `Effect.catch` with a conditional `Effect.fail` passthrough. effect(catchConditionalRefailToCatchIf)"
+			}]
+		}
+	},
+	{
+		"name": "catchDieToOrDie",
+		"group": "style",
+		"description": "Suggests using Effect.orDie instead of Effect.catch or Effect.catchAll with an identity-forwarding Effect.die handler",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377115],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const readConfig: Effect.Effect<string, Error>\n\nexport const program = readConfig.pipe(\n  Effect.catch((error) => Effect.die(error))\n)\n",
+			"diagnostics": [{
+				"start": 131,
+				"end": 143,
+				"text": "`Effect.orDie` expresses escalating every typed failure into a defect more directly than `Effect.catch` with an identity-forwarding `Effect.die` handler. effect(catchDieToOrDie)"
+			}]
+		}
+	},
 	{
 		"name": "catchTagToCatchReason",
 		"group": "style",
@@ -50203,6 +50254,35 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "mapSomeToAsSome",
+		"group": "style",
+		"description": "Suggests using Effect.asSome instead of Effect.map when the mapper only wraps the success value with Option.some",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377114],
+		"preview": {
+			"sourceText": "import { Effect, Option } from \"effect\"\n\nconst numberEffect = Effect.succeed(1)\n\nexport const pipeable = numberEffect.pipe(\n  Effect.map(Option.some)\n)\n\nexport const etaExpanded = numberEffect.pipe(\n  Effect.map((value) => Option.some(value))\n)\n\nexport const dataFirst = Effect.map(numberEffect, Option.some)\n\n",
+			"diagnostics": [
+				{
+					"start": 126,
+					"end": 136,
+					"text": "`Effect.asSome` expresses wrapping the success value in `Option.some` directly. effect(mapSomeToAsSome)"
+				},
+				{
+					"start": 201,
+					"end": 211,
+					"text": "`Effect.asSome` expresses wrapping the success value in `Option.some` directly. effect(mapSomeToAsSome)"
+				},
+				{
+					"start": 271,
+					"end": 281,
+					"text": "`Effect.asSome` expresses wrapping the success value in `Option.some` directly. effect(mapSomeToAsSome)"
+				}
+			]
+		}
+	},
 	{
 		"name": "missedPipeableOpportunity",
 		"group": "style",
@@ -50614,23 +50694,29 @@ var metadata_default = {
 var tags = {
 	"typescript": {
 		"latest": "7.0.2",
-		"next": "7.1.0-dev.20260813.1"
+		"next": "7.1.0-dev.20260826.1"
 	},
-	"oxlint": { "latest": "1.78.0" },
+	"oxlint": { "latest": "1.80.0" },
 	"oxlint-tsgolint": { "latest": "7.0.2001" }
 };
 var components = {
 	"typescript": {
-		"7.0.2": { "gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b" },
-		"7.1.0-dev.20260813.1": { "gitHead": "34ffe2a2531a226da0046d213899ae0b721229b0" }
+		"7.0.2": {
+			"gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b",
+			"provider": "typescript-go"
+		},
+		"7.1.0-dev.20260826.1": {
+			"gitHead": "5739027c9a7df24e27123f453a50c011b37717b6",
+			"provider": "typescript"
+		}
 	},
 	"oxlint-tsgolint": { "7.0.2001": {
 		"gitHead": "482dcf70bffce7ea56f63128c74beb67dec658a2",
 		"dependencies": { "typescript": "7.0.2" }
 	} },
 	"oxlint": {
-		"1.77.0": { "gitHead": "9a423f2f485b79c2353c49442c0c7f60f900261d" },
-		"1.78.0": { "gitHead": "c42d6397eab5b2d5bb2bd6746c57bc2a9cad21bd" }
+		"1.79.0": { "gitHead": "0db127cc16d28b97d84bac4ebeb302caf1a78c7e" },
+		"1.80.0": { "gitHead": "97e99b85483776a72928d675cc05b1cfc1130ba0" }
 	}
 };
 
@@ -200365,8 +200451,9 @@ const diagnosticsCommand = make("diagnostics", {
 	strict: boolean("strict").pipe(withDefault(false), withDescription$1("Treat warnings as errors (affects exit code)")),
 	severity: string("severity").pipe(optional, withDescription$1("Filter by severity levels (comma-separated: error,warning,message)")),
 	progress: boolean("progress").pipe(withDefault(false), withDescription$1("Show progress as files are checked (outputs to stderr)")),
-	lspconfig: string("lspconfig").pipe(optional, withDescription$1("An optional inline JSON lsp config that replaces the current project lsp config"))
-}).pipe(withDescription("Gets the Effect language service diagnostics on the given files or project"), withHandler(({ file, format, lspconfig, progress, project, severity, strict }) => gen(function* () {
+	lspconfig: string("lspconfig").pipe(optional, withDescription$1("An optional inline JSON lsp config that replaces the current project lsp config")),
+	listFiles: boolean("list-files").pipe(withDefault(false), withDescription$1("Also emit, per checked file, the detected and supported Effect major versions"))
+}).pipe(withDescription("Gets the Effect language service diagnostics on the given files or project"), withHandler(({ file, format, listFiles, lspconfig, progress, project, severity, strict }) => gen(function* () {
 	const fs = yield* FileSystem;
 	const replacement = yield* resolveTypeScriptExecutable;
 	yield* fs.chmod(replacement.path, 493).pipe(mapError(() => new ChmodBinaryError({ targetPath: replacement.path })));
@@ -200378,7 +200465,8 @@ const diagnosticsCommand = make("diagnostics", {
 		strict,
 		severity: getOrUndefined$1(severity),
 		progress,
-		lspconfig: getOrUndefined$1(lspconfig)
+		lspconfig: getOrUndefined$1(lspconfig),
+		listFiles
 	}));
 })));
 make("tsgo").pipe(withSubcommands([

package/oxlint-presets/index.js

@@ -105,6 +105,7 @@ export const recommended = {
     "effecttsgo/async-function": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
+    "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
     "effecttsgo/catch-tag-to-catch-reason": "warn",
     "effecttsgo/catch-to-ignore": "warn",
     "effecttsgo/catch-to-or-else-succeed": "warn",
@@ -195,6 +196,7 @@ export const style = {
   "rules": {
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
+    "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
     "effecttsgo/catch-tag-to-catch-reason": "warn",
     "effecttsgo/catch-to-ignore": "warn",
     "effecttsgo/catch-to-or-else-succeed": "warn",

package/oxlint-presets/recommended.json

@@ -10,6 +10,7 @@
     "effecttsgo/async-function": "warn",
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
+    "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
     "effecttsgo/catch-tag-to-catch-reason": "warn",
     "effecttsgo/catch-to-ignore": "warn",
     "effecttsgo/catch-to-or-else-succeed": "warn",

package/oxlint-presets/style.json

@@ -8,6 +8,7 @@
   "rules": {
     "effecttsgo/catch-all-to-map-error": "warn",
     "effecttsgo/catch-chain-to-first-success-of": "warn",
+    "effecttsgo/catch-conditional-refail-to-catch-if": "warn",
     "effecttsgo/catch-tag-to-catch-reason": "warn",
     "effecttsgo/catch-to-ignore": "warn",
     "effecttsgo/catch-to-or-else-succeed": "warn",

package/oxlint-schema.json

@@ -520,6 +520,21 @@
       },
       "type": "object"
     },
+    "AnchorHasContentConfig": {
+      "additionalProperties": false,
+      "properties": {
+        "components": {
+          "default": [],
+          "description": "Additional custom component names to treat as anchor elements.",
+          "items": {
+            "type": "string"
+          },
+          "markdownDescription": "Additional custom component names to treat as anchor elements.",
+          "type": "array"
+        }
+      },
+      "type": "object"
+    },
     "AnchorIsValidAspect": {
       "enum": [
         "noHref",
@@ -1882,6 +1897,15 @@
       },
       "type": "object"
     },
+    "DescriptionFormatConfig": {
+      "additionalProperties": false,
+      "properties": {
+        "descriptionFormat": {
+          "type": "string"
+        }
+      },
+      "type": "object"
+    },
     "Destructure": {
       "oneOf": [
         {
@@ -1939,13 +1963,7 @@
           "$ref": "#/definitions/RequireDescription"
         },
         {
-          "additionalProperties": false,
-          "properties": {
-            "descriptionFormat": {
-              "type": "string"
-            }
-          },
-          "type": "object"
+          "$ref": "#/definitions/DescriptionFormatConfig"
         }
       ]
     },
@@ -2218,18 +2236,27 @@
         "effecttsgo/abort-controller-in-effect": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/all-of-map-to-for-each": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/any-unknown-in-error-context": {
           "$ref": "#/definitions/RuleNoConfig"
         },
         "effecttsgo/async-function": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/catch-die-to-or-die": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/catch-all-to-map-error": {
           "$ref": "#/definitions/RuleNoConfig"
         },
         "effecttsgo/catch-chain-to-first-success-of": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/catch-conditional-refail-to-catch-if": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/catch-tag-to-catch-reason": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -2353,6 +2380,9 @@
         "effecttsgo/leaking-requirements": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/map-some-to-as-some": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/missed-pipeable-opportunity": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -2683,12 +2713,9 @@
               "items": [
                 {
                   "$ref": "#/definitions/AllowWarnDeny"
-                },
-                {
-                  "type": "string"
                 }
               ],
-              "minItems": 2,
+              "minItems": 1,
               "type": "array",
               "uniqueItems": true
             }
@@ -3699,6 +3726,26 @@
         "jsdoc/implements-on-classes": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "jsdoc/no-blank-blocks": {
+          "anyOf": [
+            {
+              "$ref": "#/definitions/RuleNoConfig"
+            },
+            {
+              "items": [
+                {
+                  "$ref": "#/definitions/AllowWarnDeny"
+                },
+                {
+                  "$ref": "#/definitions/NoBlankBlocks"
+                }
+              ],
+              "maxItems": 2,
+              "minItems": 2,
+              "type": "array"
+            }
+          ]
+        },
         "jsdoc/no-defaults": {
           "anyOf": [
             {
@@ -3893,7 +3940,24 @@
           ]
         },
         "jsx-a11y/anchor-has-content": {
-          "$ref": "#/definitions/RuleNoConfig"
+          "anyOf": [
+            {
+              "$ref": "#/definitions/RuleNoConfig"
+            },
+            {
+              "items": [
+                {
+                  "$ref": "#/definitions/AllowWarnDeny"
+                },
+                {
+                  "$ref": "#/definitions/AnchorHasContentConfig"
+                }
+              ],
+              "maxItems": 2,
+              "minItems": 2,
+              "type": "array"
+            }
+          ]
         },
         "jsx-a11y/anchor-is-valid": {
           "anyOf": [
@@ -5302,12 +5366,9 @@
               "items": [
                 {
                   "$ref": "#/definitions/AllowWarnDeny"
-                },
-                {
-                  "$ref": "#/definitions/NoRestrictedGlobalsConfigEnum"
                 }
               ],
-              "minItems": 2
+              "minItems": 1
             }
           ]
         },
@@ -5323,12 +5384,9 @@
               "items": [
                 {
                   "$ref": "#/definitions/AllowWarnDeny"
-                },
-                {
-                  "$ref": "#/definitions/NoRestrictedImportsConfigEnum"
                 }
               ],
-              "minItems": 2
+              "minItems": 1
             }
           ]
         },
@@ -5344,12 +5402,9 @@
               "items": [
                 {
                   "$ref": "#/definitions/AllowWarnDeny"
-                },
-                {
-                  "$ref": "#/definitions/PropertyDetails"
                 }
               ],
-              "minItems": 2
+              "minItems": 1
             }
           ]
         },
@@ -5986,6 +6041,26 @@
             }
           ]
         },
+        "one-var": {
+          "anyOf": [
+            {
+              "$ref": "#/definitions/RuleNoConfig"
+            },
+            {
+              "items": [
+                {
+                  "$ref": "#/definitions/AllowWarnDeny"
+                },
+                {
+                  "$ref": "#/definitions/OneVar"
+                }
+              ],
+              "maxItems": 2,
+              "minItems": 2,
+              "type": "array"
+            }
+          ]
+        },
         "operator-assignment": {
           "anyOf": [
             {
@@ -6623,6 +6698,9 @@
             }
           ]
         },
+        "react/capitalized-calls": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/checked-requires-onchange-or-readonly": {
           "anyOf": [
             {
@@ -6663,6 +6741,9 @@
             }
           ]
         },
+        "react/error-boundaries": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/exhaustive-deps": {
           "anyOf": [
             {
@@ -6683,6 +6764,9 @@
             }
           ]
         },
+        "react/exhaustive-effect-dependencies": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/forbid-component-props": {
           "anyOf": [
             {
@@ -6766,6 +6850,9 @@
             }
           ]
         },
+        "react/globals": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/hook-use-state": {
           "anyOf": [
             {
@@ -6786,9 +6873,21 @@
             }
           ]
         },
+        "react/hooks": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/iframe-missing-sandbox": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "react/immutability": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/incompatible-library": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/invariant": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/jsx-boolean-value": {
           "anyOf": [
             {
@@ -7090,6 +7189,9 @@
             }
           ]
         },
+        "react/memo-dependencies": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/no-array-index-key": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -7105,6 +7207,9 @@
         "react/no-danger-with-children": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "react/no-deriving-state-in-effects": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/no-did-mount-set-state": {
           "anyOf": [
             {
@@ -7358,32 +7463,24 @@
             }
           ]
         },
-        "react/react-compiler": {
-          "anyOf": [
-            {
-              "$ref": "#/definitions/RuleNoConfig"
-            },
-            {
-              "items": [
-                {
-                  "$ref": "#/definitions/AllowWarnDeny"
-                },
-                {
-                  "$ref": "#/definitions/ReactCompilerConfig"
-                }
-              ],
-              "maxItems": 2,
-              "minItems": 2,
-              "type": "array"
-            }
-          ]
+        "react/preserve-manual-memoization": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/purity": {
+          "$ref": "#/definitions/RuleNoConfig"
         },
         "react/react-in-jsx-scope": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "react/refs": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/require-render-return": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "react/rule-suppression": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/rules-of-hooks": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -7407,6 +7504,12 @@
             }
           ]
         },
+        "react/set-state-in-effect": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/set-state-in-render": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/state-in-constructor": {
           "anyOf": [
             {
@@ -7427,6 +7530,9 @@
             }
           ]
         },
+        "react/static-components": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/style-prop-object": {
           "anyOf": [
             {
@@ -7447,9 +7553,24 @@
             }
           ]
         },
+        "react/syntax": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/todo": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/unsupported-syntax": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
+        "react/use-memo": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "react/void-dom-elements-no-children": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "react/void-use-memo": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "require-await": {
           "$ref": "#/definitions/RuleNoConfig"
         },
@@ -13849,6 +13970,18 @@
       },
       "type": "object"
     },
+    "NoBlankBlocks": {
+      "additionalProperties": false,
+      "properties": {
+        "enableFixer": {
+          "default": false,
+          "description": "Whether to automatically remove blank JSDoc blocks.",
+          "markdownDescription": "Whether to automatically remove blank JSDoc blocks.",
+          "type": "boolean"
+        }
+      },
+      "type": "object"
+    },
     "NoCallbackInPromiseConfig": {
       "additionalProperties": false,
       "properties": {
@@ -14263,7 +14396,7 @@
       "additionalProperties": false,
       "properties": {
         "allowIndirect": {
-          "default": true,
+          "default": false,
           "description": "This `allowIndirect` option allows indirect `eval()` calls.\n\nIndirect calls to `eval`(e.g., `window['eval']`) are less dangerous\nthan direct calls because they cannot dynamically change the scope.\nIndirect `eval()` calls also typically have less impact on performance\ncompared to direct calls, as they do not invoke JavaScript's scope chain.",
           "markdownDescription": "This `allowIndirect` option allows indirect `eval()` calls.\n\nIndirect calls to `eval`(e.g., `window['eval']`) are less dangerous\nthan direct calls because they cannot dynamically change the scope.\nIndirect `eval()` calls also typically have less impact on performance\ncompared to direct calls, as they do not invoke JavaScript's scope chain.",
           "type": "boolean"
@@ -14694,7 +14827,7 @@
       "additionalProperties": false,
       "properties": {
         "skipComments": {
-          "default": true,
+          "default": false,
           "description": "Whether to skip irregular whitespace in comments.",
           "markdownDescription": "Whether to skip irregular whitespace in comments.",
           "type": "boolean"
@@ -14755,12 +14888,12 @@
             "type": "array"
           },
           "default": {},
-          "description": "A map of snapshot file paths to arrays of snapshot names that are allowed to exceed the size limit.\nSnapshot names can be specified as regular expressions.",
-          "markdownDescription": "A map of snapshot file paths to arrays of snapshot names that are allowed to exceed the size limit.\nSnapshot names can be specified as regular expressions.",
+          "description": "A map of snapshot file paths to arrays of snapshot names that are allowed to exceed the size limit.\nEach snapshot name is interpreted as a Rust regular expression. If it is not a valid regular\nexpression, it is matched as an exact literal string instead.",
+          "markdownDescription": "A map of snapshot file paths to arrays of snapshot names that are allowed to exceed the size limit.\nEach snapshot name is interpreted as a Rust regular expression. If it is not a valid regular\nexpression, it is matched as an exact literal string instead.",
           "type": "object"
         },
         "inlineMaxSize": {
-          "default": 50,
+          "default": null,
           "description": "Maximum number of lines allowed for inline snapshots.",
           "format": "uint32",
           "markdownDescription": "Maximum number of lines allowed for inline snapshots.",
@@ -16180,8 +16313,8 @@
               "$ref": "#/definitions/IgnorePattern_for_String"
             }
           ],
-          "description": "Specifies exceptions to this rule for unused arguments. Arguments whose\nnames match this pattern will be ignored.\n\nBy default, this pattern is `^_` unless options are configured with an\nobject. In this case it will default to [`None`]. Note that this\nbehavior deviates from both ESLint and TypeScript-ESLint, which never\nprovide a default pattern.\n\n#### Example\n\nExamples of **correct** code for this option when the pattern is `^_`:\n\n```javascript\nfunction foo(_a, b) {\nconsole.log(b);\n}\nfoo(1, 2);\n```",
-          "markdownDescription": "Specifies exceptions to this rule for unused arguments. Arguments whose\nnames match this pattern will be ignored.\n\nBy default, this pattern is `^_` unless options are configured with an\nobject. In this case it will default to [`None`]. Note that this\nbehavior deviates from both ESLint and TypeScript-ESLint, which never\nprovide a default pattern.\n\n#### Example\n\nExamples of **correct** code for this option when the pattern is `^_`:\n\n```javascript\nfunction foo(_a, b) {\nconsole.log(b);\n}\nfoo(1, 2);\n```"
+          "description": "Specifies exceptions to this rule for unused arguments. Arguments whose\nnames match this pattern will be ignored.\n\nBy default, names starting with `_` are ignored, except for the bare `_`\nparameter. If options are configured with an object, this will default\nto [`None`]. Note that this behavior deviates from both ESLint and\nTypeScript-ESLint, which never provide a default pattern.\n\n#### Example\n\nExamples of **correct** code for this option when the pattern is `^_`:\n\n```javascript\nfunction foo(_a, b) {\nconsole.log(b);\n}\nfoo(1, 2);\n```",
+          "markdownDescription": "Specifies exceptions to this rule for unused arguments. Arguments whose\nnames match this pattern will be ignored.\n\nBy default, names starting with `_` are ignored, except for the bare `_`\nparameter. If options are configured with an object, this will default\nto [`None`]. Note that this behavior deviates from both ESLint and\nTypeScript-ESLint, which never provide a default pattern.\n\n#### Example\n\nExamples of **correct** code for this option when the pattern is `^_`:\n\n```javascript\nfunction foo(_a, b) {\nconsole.log(b);\n}\nfoo(1, 2);\n```"
         },
         "caughtErrors": {
           "allOf": [
@@ -16718,6 +16851,153 @@
         }
       ]
     },
+    "OneVar": {
+      "allOf": [
+        {
+          "$ref": "#/definitions/OneVarConfig"
+        }
+      ],
+      "description": "Enforces consistent grouping of variable declarations.",
+      "markdownDescription": "Enforces consistent grouping of variable declarations."
+    },
+    "OneVarConfig": {
+      "anyOf": [
+        {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "description": "Applies one grouping mode to every declaration kind and initialization state.",
+          "markdownDescription": "Applies one grouping mode to every declaration kind and initialization state."
+        },
+        {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarOptions"
+            }
+          ],
+          "description": "Configures grouping by declaration kind or initialization state.",
+          "markdownDescription": "Configures grouping by declaration kind or initialization state."
+        }
+      ],
+      "description": "Configuration accepted by the `one-var` rule.",
+      "markdownDescription": "Configuration accepted by the `one-var` rule."
+    },
+    "OneVarMode": {
+      "description": "Controls how variable declarators are grouped into declarations.",
+      "markdownDescription": "Controls how variable declarators are grouped into declarations.",
+      "oneOf": [
+        {
+          "description": "Requires one declaration per variable kind in each applicable scope.",
+          "enum": [
+            "always"
+          ],
+          "markdownDescription": "Requires one declaration per variable kind in each applicable scope.",
+          "type": "string"
+        },
+        {
+          "description": "Requires each declarator to have its own declaration statement.",
+          "enum": [
+            "never"
+          ],
+          "markdownDescription": "Requires each declarator to have its own declaration statement.",
+          "type": "string"
+        },
+        {
+          "description": "Requires adjacent declarations of the same kind to be combined.",
+          "enum": [
+            "consecutive"
+          ],
+          "markdownDescription": "Requires adjacent declarations of the same kind to be combined.",
+          "type": "string"
+        }
+      ]
+    },
+    "OneVarOptions": {
+      "additionalProperties": false,
+      "description": "Options for configuring declaration grouping by kind or initialization state.\n\n`initialized` and `uninitialized` take precedence over the per-kind option for the\ncorresponding declarators.",
+      "markdownDescription": "Options for configuring declaration grouping by kind or initialization state.\n\n`initialized` and `uninitialized` take precedence over the per-kind option for the\ncorresponding declarators.",
+      "properties": {
+        "awaitUsing": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for `await using` declarations.",
+          "markdownDescription": "Controls grouping for `await using` declarations."
+        },
+        "const": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for `const` declarations.",
+          "markdownDescription": "Controls grouping for `const` declarations."
+        },
+        "initialized": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for initialized declarators, overriding per-kind options.",
+          "markdownDescription": "Controls grouping for initialized declarators, overriding per-kind options."
+        },
+        "let": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for `let` declarations.",
+          "markdownDescription": "Controls grouping for `let` declarations."
+        },
+        "separateRequires": {
+          "default": false,
+          "description": "Keeps direct `require(...)` initializers separate from other initialized declarations.",
+          "markdownDescription": "Keeps direct `require(...)` initializers separate from other initialized declarations.",
+          "type": "boolean"
+        },
+        "uninitialized": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for uninitialized declarators, overriding per-kind options.",
+          "markdownDescription": "Controls grouping for uninitialized declarators, overriding per-kind options."
+        },
+        "using": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for `using` declarations.",
+          "markdownDescription": "Controls grouping for `using` declarations."
+        },
+        "var": {
+          "allOf": [
+            {
+              "$ref": "#/definitions/OneVarMode"
+            }
+          ],
+          "default": null,
+          "description": "Controls grouping for `var` declarations.",
+          "markdownDescription": "Controls grouping for `var` declarations."
+        }
+      },
+      "type": "object"
+    },
     "OnlyExportComponentsConfig": {
       "additionalProperties": false,
       "properties": {
@@ -18124,18 +18404,6 @@
         }
       ]
     },
-    "ReactCompilerConfig": {
-      "additionalProperties": false,
-      "properties": {
-        "reportAllBailouts": {
-          "default": false,
-          "description": "Also report compiler bail-outs — places where React Compiler skipped a\ncomponent or hook (for example because of unsupported syntax) without\nfinding a rule violation. These do not indicate incorrect code, only\ncode that the compiler declined to optimize.",
-          "markdownDescription": "Also report compiler bail-outs — places where React Compiler skipped a\ncomponent or hook (for example because of unsupported syntax) without\nfinding a rule violation. These do not indicate incorrect code, only\ncode that the compiler declined to optimize.",
-          "type": "boolean"
-        }
-      },
-      "type": "object"
-    },
     "ReactPerfConfig": {
       "additionalProperties": false,
       "properties": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.36.5",
+  "version": "0.38.0",
   "type": "module",
   "description": "Effect Language Service for TypeScript-Go — Effect-specific diagnostics and hover features.",
   "license": "MIT",
@@ -41,13 +41,13 @@
     "schema.json"
   ],
   "optionalDependencies": {
-    "@effect/tsgo-win32-x64": "0.36.5",
-    "@effect/tsgo-win32-arm64": "0.36.5",
-    "@effect/tsgo-linux-x64": "0.36.5",
-    "@effect/tsgo-linux-arm64": "0.36.5",
-    "@effect/tsgo-linux-arm": "0.36.5",
-    "@effect/tsgo-darwin-x64": "0.36.5",
-    "@effect/tsgo-darwin-arm64": "0.36.5"
+    "@effect/tsgo-win32-x64": "0.38.0",
+    "@effect/tsgo-win32-arm64": "0.38.0",
+    "@effect/tsgo-linux-x64": "0.38.0",
+    "@effect/tsgo-linux-arm64": "0.38.0",
+    "@effect/tsgo-linux-arm": "0.38.0",
+    "@effect/tsgo-darwin-x64": "0.38.0",
+    "@effect/tsgo-darwin-arm64": "0.38.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.107",

package/schema.json

@@ -1815,6 +1815,11 @@
           "default": "suggestion",
           "description": "Warns when manually constructing AbortController inside Effect generators instead of using Effect.abortSignal"
         },
+        "allOfMapToForEach": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests using Effect.forEach instead of Effect.all over an effectful Array#map"
+        },
         "anyUnknownInErrorContext": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "off",
@@ -1825,6 +1830,11 @@
           "default": "off",
           "description": "Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow"
         },
+        "catchDieToOrDie": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests using Effect.orDie instead of Effect.catch or Effect.catchAll with an identity-forwarding Effect.die handler"
+        },
         "catchAllToMapError": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",
@@ -1835,6 +1845,11 @@
           "default": "suggestion",
           "description": "Suggests Effect.firstSuccessOf for consecutive error-independent Effect.catch fallbacks when the error type is preserved"
         },
+        "catchConditionalRefailToCatchIf": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests Effect.catchIf, Effect.catchCauseIf, or Effect.catchTag for conditional catch handlers that re-fail their untouched input"
+        },
         "catchTagToCatchReason": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",
@@ -2040,6 +2055,11 @@
           "default": "suggestion",
           "description": "Detects implementation services leaked in service methods"
         },
+        "mapSomeToAsSome": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests using Effect.asSome instead of Effect.map when the mapper only wraps the success value with Option.some"
+        },
         "missedPipeableOpportunity": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "off",