@effect/tsgo 0.43.0 → 0.44.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.43.0`:
+The following target package versions are supported by `@effect/tsgo@0.44.0`:
 
 | Component | Supported versions |
 |---|---|
-| TypeScript | `7.0.2`, `7.1.0-dev.20260907.1` |
-| Oxlint | `1.79.0`, `1.82.0` |
+| TypeScript | `7.0.2`, `7.1.0-dev.20260908.1` |
+| Oxlint | `1.81.0`, `1.82.0` |
 | oxlint-tsgolint | `7.0.2001` |
 <!-- supported-components:end -->
 
@@ -71,6 +71,8 @@ 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/missing-return-yield-star.md"><code>missingReturnYieldStar</code></a></td><td>Suggests using return yield* for Effects that never succeed</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/missing-star-in-yield-effect-gen.md"><code>missingStarInYieldEffectGen</code></a></td><td>Detects bare yield (without *) inside Effect generator scopes</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/non-object-effect-service-type.md"><code>nonObjectEffectServiceType</code></a></td><td>Ensures Effect.Service types are objects, not primitives</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/obsolete-match-import.md"><code>obsoleteMatchImport</code></a></td><td>Warns when importing @effect/match in projects targeting Effect v4, where Match is included directly in the effect package</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/obsolete-schema-import.md"><code>obsoleteSchemaImport</code></a></td><td>Warns when importing @effect/schema in projects targeting Effect v4, where Schema is included directly in the effect package</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/outdated-api.md"><code>outdatedApi</code></a></td><td>Detects usage of APIs that have been removed or renamed in Effect v4</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/overridden-schema-constructor.md"><code>overriddenSchemaConstructor</code></a></td><td>Prevents overriding constructors in Schema classes which breaks decoding behavior</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/promise-in-effect-success.md"><code>promiseInEffectSuccess</code></a></td><td>Detects Promise types in Effect success channels where they are not awaited</td></tr>
@@ -101,8 +103,8 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td colspan="2"><strong>Effect-native</strong> <em>Prefer Effect-native APIs and abstractions when available.</em></td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/abort-controller-in-effect.md"><code>abortControllerInEffect</code></a></td><td>Warns when manually constructing AbortController inside Effect generators instead of using Effect.abortSignal</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/async-function.md"><code>asyncFunction</code></a></td><td>Warns when declaring async functions and suggests using Effect values and Effect.gen for async control flow</td></tr>
-    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/crypto-random-uuid.md"><code>cryptoRandomUUID</code></a></td><td>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</td></tr>
-    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/crypto-random-uuid-in-effect.md"><code>cryptoRandomUUIDInEffect</code></a></td><td>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</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/crypto-random-uuid.md"><code>cryptoRandomUUID</code></a></td><td>Warns when using crypto.randomUUID() outside Effect generators instead of the Effect Crypto module</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/crypto-random-uuid-in-effect.md"><code>cryptoRandomUUIDInEffect</code></a></td><td>Warns when using crypto.randomUUID() inside Effect generators instead of the Effect Crypto module</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/extends-native-error.md"><code>extendsNativeError</code></a></td><td>Warns when a class directly extends the native Error class</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/global-console.md"><code>globalConsole</code></a></td><td>Warns when using console methods outside Effect generators instead of Effect.log/Logger</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/global-console-in-effect.md"><code>globalConsoleInEffect</code></a></td><td>Warns when using console methods inside Effect generators instead of Effect.log/Logger</td></tr>
@@ -164,6 +166,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/service-not-as-class.md"><code>serviceNotAsClass</code></a></td><td>Warns when Context.Service is used as a variable instead of a class declaration</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/strict-boolean-expressions.md"><code>strictBooleanExpressions</code></a></td><td>Enforces boolean types in conditional expressions for type safety</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/sync-to-succeed.md"><code>syncToSucceed</code></a></td><td>Suggests using Effect.succeed instead of Effect.sync when the thunk returns a constant value</td></tr>
+    <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/timeout-catch-tag-to-timeout-or-else.md"><code>timeoutCatchTagToTimeoutOrElse</code></a></td><td>Suggests dedicated timeout combinators instead of catching TimeoutError immediately after Effect.timeout</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unnecessary-arrow-block.md"><code>unnecessaryArrowBlock</code></a></td><td>Suggests using a concise arrow body when the block only returns an expression</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unnecessary-effect-gen.md"><code>unnecessaryEffectGen</code></a></td><td>Suggests removing Effect.gen when it contains only a single return statement</td></tr>
     <tr><td><a href="https://github.com/Effect-TS/tsgo/blob/main/docs/rules/unnecessary-fail-yieldable-error.md"><code>unnecessaryFailYieldableError</code></a></td><td>Suggests yielding yieldable errors directly instead of wrapping with Effect.fail</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.43.0";
+var version = "0.44.0";
 
 //#endregion
 //#region src/metadata.json
@@ -49183,6 +49183,40 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "obsoleteMatchImport",
+		"group": "correctness",
+		"description": "Warns when importing @effect/match in projects targeting Effect v4, where Match is included directly in the effect package",
+		"defaultSeverity": "warning",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377129],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n// @ts-expect-error - @effect/match is obsolete in v4\nimport * as Match from \"@effect/match\"\n\nexport const preview = Effect.sync(() => Match)\n",
+			"diagnostics": [{
+				"start": 109,
+				"end": 124,
+				"text": "This module reference imports `@effect/match`, which is obsolete in Effect v4. In Effect v4, pattern matching is provided directly by `Match` from `effect` (or `effect/Match`). effect(obsoleteMatchImport)"
+			}]
+		}
+	},
+	{
+		"name": "obsoleteSchemaImport",
+		"group": "correctness",
+		"description": "Warns when importing @effect/schema in projects targeting Effect v4, where Schema is included directly in the effect package",
+		"defaultSeverity": "warning",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377128],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n// @ts-expect-error - @effect/schema is obsolete in v4\nimport * as S from \"@effect/schema/Schema\"\n\nexport const preview = Effect.sync(() => S)\n",
+			"diagnostics": [{
+				"start": 106,
+				"end": 129,
+				"text": "This module reference imports `@effect/schema/Schema`, which is obsolete in Effect v4. In Effect v4, Schema is provided directly by `Schema` from `effect` (or `effect/Schema`). effect(obsoleteSchemaImport)"
+			}]
+		}
+	},
 	{
 		"name": "outdatedApi",
 		"group": "correctness",
@@ -49678,7 +49712,7 @@ var rules = [
 	{
 		"name": "cryptoRandomUUID",
 		"group": "effectNative",
-		"description": "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",
+		"description": "Warns when using crypto.randomUUID() outside Effect generators instead of the Effect Crypto module",
 		"defaultSeverity": "off",
 		"fixable": false,
 		"supportedEffect": ["v4"],
@@ -49688,14 +49722,14 @@ var rules = [
 			"diagnostics": [{
 				"start": 24,
 				"end": 43,
-				"text": "This code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes. effect(cryptoRandomUUID)"
+				"text": "This code uses `crypto.randomUUID()`, prefer the Effect `Crypto` module instead. effect(cryptoRandomUUID)"
 			}]
 		}
 	},
 	{
 		"name": "cryptoRandomUUIDInEffect",
 		"group": "effectNative",
-		"description": "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",
+		"description": "Warns when using crypto.randomUUID() inside Effect generators instead of the Effect Crypto module",
 		"defaultSeverity": "off",
 		"fixable": false,
 		"supportedEffect": ["v4"],
@@ -49705,7 +49739,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 90,
 				"end": 109,
-				"text": "This Effect code uses `crypto.randomUUID()`, prefer the Effect `Random` module instead because it uses Effect-injected randomness rather than the `crypto` module behind the scenes. effect(cryptoRandomUUIDInEffect)"
+				"text": "This Effect code uses `crypto.randomUUID()`, prefer the Effect `Crypto` module instead. effect(cryptoRandomUUIDInEffect)"
 			}]
 		}
 	},
@@ -50757,6 +50791,27 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "timeoutCatchTagToTimeoutOrElse",
+		"group": "style",
+		"description": "Suggests dedicated timeout combinators instead of catching TimeoutError immediately after Effect.timeout",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v4"],
+		"codes": [377127],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const fetchQuote: Effect.Effect<string>\n\nexport const quote = fetchQuote.pipe(\n  Effect.timeout(\"5 seconds\"),\n  Effect.catchTag(\"TimeoutError\", () => Effect.succeed(\"cached quote\"))\n)\n\nexport const maybeQuote = fetchQuote.pipe(\n  Effect.timeout(\"5 seconds\"),\n  Effect.asSome,\n  Effect.catchTag(\"TimeoutError\", () => Effect.succeedNone)\n)\n",
+			"diagnostics": [{
+				"start": 153,
+				"end": 168,
+				"text": "Use `Effect.timeoutOrElse` to handle this timeout directly. effect(timeoutCatchTagToTimeoutOrElse)"
+			}, {
+				"start": 319,
+				"end": 334,
+				"text": "Use `Effect.timeoutOption` to handle this timeout directly. effect(timeoutCatchTagToTimeoutOrElse)"
+			}]
+		}
+	},
 	{
 		"name": "unnecessaryArrowBlock",
 		"group": "style",
@@ -50871,7 +50926,7 @@ var metadata_default = {
 var tags = {
 	"typescript": {
 		"latest": "7.0.2",
-		"next": "7.1.0-dev.20260907.1"
+		"next": "7.1.0-dev.20260908.1"
 	},
 	"oxlint": { "latest": "1.82.0" },
 	"oxlint-tsgolint": { "latest": "7.0.2001" }
@@ -50882,7 +50937,7 @@ var components = {
 			"gitHead": "2bd066d87f5bafd315be9f40889d0a60b9e58e0b",
 			"provider": "typescript-go"
 		},
-		"7.1.0-dev.20260907.1": {
+		"7.1.0-dev.20260908.1": {
 			"gitHead": "1f70213d4922b434345f639b441681e470c7cfc1",
 			"provider": "typescript"
 		}
@@ -50892,7 +50947,7 @@ var components = {
 		"dependencies": { "typescript": "7.0.2" }
 	} },
 	"oxlint": {
-		"1.79.0": { "gitHead": "0db127cc16d28b97d84bac4ebeb302caf1a78c7e" },
+		"1.81.0": { "gitHead": "0b4e2e67f4193e7ebfcc64982275eb583ae82c83" },
 		"1.82.0": { "gitHead": "b4da00b621ec2f6f67ed218f5366c45ed325331b" }
 	}
 };

package/oxlint-presets/index.js

@@ -151,6 +151,8 @@ export const recommended = {
     "effecttsgo/lazy-promise-in-effect-sync": "warn",
     "effecttsgo/leaking-requirements": "warn",
     "effecttsgo/map-some-to-as-some": "warn",
+    "effecttsgo/match-effect-to-map-both": "warn",
+    "effecttsgo/match-effect-to-match": "warn",
     "effecttsgo/missing-effect-context": "error",
     "effecttsgo/missing-effect-error": "error",
     "effecttsgo/missing-layer-context": "error",
@@ -171,6 +173,7 @@ export const recommended = {
     "effecttsgo/process-env": "warn",
     "effecttsgo/process-env-in-effect": "warn",
     "effecttsgo/promise-in-effect-success": "warn",
+    "effecttsgo/provide-layer-succeed-to-provide-service": "warn",
     "effecttsgo/race-first-with-sleep-to-timeout": "warn",
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
@@ -185,6 +188,7 @@ export const recommended = {
     "effecttsgo/schema-sync-in-effect": "warn",
     "effecttsgo/scope-in-layer-effect": "warn",
     "effecttsgo/sync-to-succeed": "warn",
+    "effecttsgo/timeout-catch-tag-to-timeout-or-else": "warn",
     "effecttsgo/try-catch-in-effect-gen": "warn",
     "effecttsgo/unknown-in-effect-catch": "warn",
     "effecttsgo/unnecessary-effect-gen": "warn",
@@ -222,6 +226,8 @@ export const style = {
     "effecttsgo/flat-map-conditional-to-filter-or-fail": "warn",
     "effecttsgo/flat-map-to-map": "warn",
     "effecttsgo/map-some-to-as-some": "warn",
+    "effecttsgo/match-effect-to-map-both": "warn",
+    "effecttsgo/match-effect-to-match": "warn",
     "effecttsgo/missed-pipeable-opportunity": "warn",
     "effecttsgo/missing-effect-service-dependency": "warn",
     "effecttsgo/missing-pipeable-signature": "warn",
@@ -232,6 +238,7 @@ export const style = {
     "effecttsgo/prefer-schema-type-property": "warn",
     "effecttsgo/prefer-succeed-some-or-none": "warn",
     "effecttsgo/prefer-typed-schema-decoder": "warn",
+    "effecttsgo/provide-layer-succeed-to-provide-service": "warn",
     "effecttsgo/race-first-with-sleep-to-timeout": "warn",
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
@@ -243,6 +250,7 @@ export const style = {
     "effecttsgo/service-not-as-class": "warn",
     "effecttsgo/strict-boolean-expressions": "warn",
     "effecttsgo/sync-to-succeed": "warn",
+    "effecttsgo/timeout-catch-tag-to-timeout-or-else": "warn",
     "effecttsgo/unnecessary-arrow-block": "warn",
     "effecttsgo/unnecessary-effect-gen": "warn",
     "effecttsgo/unnecessary-fail-yieldable-error": "warn",

package/oxlint-presets/recommended.json

@@ -56,6 +56,8 @@
     "effecttsgo/lazy-promise-in-effect-sync": "warn",
     "effecttsgo/leaking-requirements": "warn",
     "effecttsgo/map-some-to-as-some": "warn",
+    "effecttsgo/match-effect-to-map-both": "warn",
+    "effecttsgo/match-effect-to-match": "warn",
     "effecttsgo/missing-effect-context": "error",
     "effecttsgo/missing-effect-error": "error",
     "effecttsgo/missing-layer-context": "error",
@@ -76,6 +78,7 @@
     "effecttsgo/process-env": "warn",
     "effecttsgo/process-env-in-effect": "warn",
     "effecttsgo/promise-in-effect-success": "warn",
+    "effecttsgo/provide-layer-succeed-to-provide-service": "warn",
     "effecttsgo/race-first-with-sleep-to-timeout": "warn",
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
@@ -90,6 +93,7 @@
     "effecttsgo/schema-sync-in-effect": "warn",
     "effecttsgo/scope-in-layer-effect": "warn",
     "effecttsgo/sync-to-succeed": "warn",
+    "effecttsgo/timeout-catch-tag-to-timeout-or-else": "warn",
     "effecttsgo/try-catch-in-effect-gen": "warn",
     "effecttsgo/unknown-in-effect-catch": "warn",
     "effecttsgo/unnecessary-effect-gen": "warn",

package/oxlint-presets/style.json

@@ -25,6 +25,8 @@
     "effecttsgo/flat-map-conditional-to-filter-or-fail": "warn",
     "effecttsgo/flat-map-to-map": "warn",
     "effecttsgo/map-some-to-as-some": "warn",
+    "effecttsgo/match-effect-to-map-both": "warn",
+    "effecttsgo/match-effect-to-match": "warn",
     "effecttsgo/missed-pipeable-opportunity": "warn",
     "effecttsgo/missing-effect-service-dependency": "warn",
     "effecttsgo/missing-pipeable-signature": "warn",
@@ -35,6 +37,7 @@
     "effecttsgo/prefer-schema-type-property": "warn",
     "effecttsgo/prefer-succeed-some-or-none": "warn",
     "effecttsgo/prefer-typed-schema-decoder": "warn",
+    "effecttsgo/provide-layer-succeed-to-provide-service": "warn",
     "effecttsgo/race-first-with-sleep-to-timeout": "warn",
     "effecttsgo/redundant-map-error": "warn",
     "effecttsgo/redundant-or-die": "warn",
@@ -46,6 +49,7 @@
     "effecttsgo/service-not-as-class": "warn",
     "effecttsgo/strict-boolean-expressions": "warn",
     "effecttsgo/sync-to-succeed": "warn",
+    "effecttsgo/timeout-catch-tag-to-timeout-or-else": "warn",
     "effecttsgo/unnecessary-arrow-block": "warn",
     "effecttsgo/unnecessary-effect-gen": "warn",
     "effecttsgo/unnecessary-fail-yieldable-error": "warn",

package/oxlint-schema.json

@@ -2533,6 +2533,9 @@
         "effecttsgo/sync-to-succeed": {
           "$ref": "#/definitions/RuleNoConfig"
         },
+        "effecttsgo/timeout-catch-tag-to-timeout-or-else": {
+          "$ref": "#/definitions/RuleNoConfig"
+        },
         "effecttsgo/try-catch-in-effect-gen": {
           "$ref": "#/definitions/RuleNoConfig"
         },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.43.0",
+  "version": "0.44.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.43.0",
-    "@effect/tsgo-win32-arm64": "0.43.0",
-    "@effect/tsgo-linux-x64": "0.43.0",
-    "@effect/tsgo-linux-arm64": "0.43.0",
-    "@effect/tsgo-linux-arm": "0.43.0",
-    "@effect/tsgo-darwin-x64": "0.43.0",
-    "@effect/tsgo-darwin-arm64": "0.43.0"
+    "@effect/tsgo-win32-x64": "0.44.0",
+    "@effect/tsgo-win32-arm64": "0.44.0",
+    "@effect/tsgo-linux-x64": "0.44.0",
+    "@effect/tsgo-linux-arm64": "0.44.0",
+    "@effect/tsgo-linux-arm": "0.44.0",
+    "@effect/tsgo-darwin-x64": "0.44.0",
+    "@effect/tsgo-darwin-arm64": "0.44.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.107",

package/schema.json

@@ -2552,6 +2552,16 @@
           "default": "suggestion",
           "description": "Suggests using Effect.asSome instead of Effect.map when the mapper only wraps the success value with Option.some"
         },
+        "matchEffectToMapBoth": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests Effect.mapBoth when Effect.matchEffect only transforms the failure and success channels"
+        },
+        "matchEffectToMatch": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests Effect.match or Effect.matchCause when both Effect.matchEffect handlers only return Effect.succeed"
+        },
         "missedPipeableOpportunity": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "off",
@@ -2777,6 +2787,11 @@
           "default": "suggestion",
           "description": "Suggests using Effect.succeed instead of Effect.sync when the thunk returns a constant value"
         },
+        "timeoutCatchTagToTimeoutOrElse": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests dedicated timeout combinators instead of catching TimeoutError immediately after Effect.timeout"
+        },
         "tryCatchInEffectGen": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",