@effect/tsgo 0.37.0 → 0.38.0

package/README.md

@@ -38,11 +38,11 @@ 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.37.0`:
+The following target package versions are supported by `@effect/tsgo@0.38.0`:
 
 | Component | Supported versions |
 |---|---|
-| TypeScript | `7.0.2`, `7.1.0-dev.20260824.1` |
+| 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.37.0";
+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,7 +50694,7 @@ var metadata_default = {
 var tags = {
 	"typescript": {
 		"latest": "7.0.2",
-		"next": "7.1.0-dev.20260824.1"
+		"next": "7.1.0-dev.20260826.1"
 	},
 	"oxlint": { "latest": "1.80.0" },
 	"oxlint-tsgolint": { "latest": "7.0.2001" }
@@ -50625,8 +50705,8 @@ var components = {
 			"gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b",
 			"provider": "typescript-go"
 		},
-		"7.1.0-dev.20260824.1": {
-			"gitHead": "e9e477458d7b975ed5e43117fb85f6bc87363a6a",
+		"7.1.0-dev.20260826.1": {
+			"gitHead": "5739027c9a7df24e27123f453a50c011b37717b6",
 			"provider": "typescript"
 		}
 	},
@@ -200371,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 })));
@@ -200384,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

@@ -2236,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"
         },
@@ -2371,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"
         },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.37.0",
+  "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.37.0",
-    "@effect/tsgo-win32-arm64": "0.37.0",
-    "@effect/tsgo-linux-x64": "0.37.0",
-    "@effect/tsgo-linux-arm64": "0.37.0",
-    "@effect/tsgo-linux-arm": "0.37.0",
-    "@effect/tsgo-darwin-x64": "0.37.0",
-    "@effect/tsgo-darwin-arm64": "0.37.0"
+    "@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",