@effect/tsgo 0.7.4 → 0.8.0

package/README.md

@@ -101,6 +101,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>missedPipeableOpportunity</code></td><td>➖</td><td>🔧</td><td>Suggests using .pipe() for nested function calls</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>missingEffectServiceDependency</code></td><td>➖</td><td></td><td>Checks that Effect.Service dependencies satisfy all required layer inputs</td><td>✓</td><td></td></tr>
     <tr><td><code>nestedEffectGenYield</code></td><td>➖</td><td></td><td>Warns when yielding a nested bare Effect.gen inside an existing Effect generator context</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>redundantMapError</code></td><td>💡</td><td></td><td>Suggests hoisting a repeated trailing Effect.mapError from every yield in an Effect generator</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>redundantSchemaTagIdentifier</code></td><td>💡</td><td>🔧</td><td>Suggests removing redundant identifier argument when it equals the tag value in Schema.TaggedClass/TaggedError/TaggedRequest</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>schemaStructWithTag</code></td><td>💡</td><td>🔧</td><td>Suggests using Schema.TaggedStruct instead of Schema.Struct with _tag field</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>schemaUnionOfLiterals</code></td><td>➖</td><td>🔧</td><td>Suggests combining multiple Schema.Literal calls in Schema.Union into a single Schema.Literal</td><td>✓</td><td></td></tr>
@@ -111,6 +112,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>unnecessaryFailYieldableError</code></td><td>💡</td><td>🔧</td><td>Suggests yielding yieldable errors directly instead of wrapping with Effect.fail</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>unnecessaryPipe</code></td><td>💡</td><td>🔧</td><td>Removes pipe calls with no arguments</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>unnecessaryPipeChain</code></td><td>💡</td><td>🔧</td><td>Simplifies chained pipe calls into a single pipe call</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>unnecessaryTypeofType</code></td><td>💡</td><td>🔧</td><td>Suggests replacing typeof Schema.Type style annotations with the matching named type when available</td><td>✓</td><td>✓</td></tr>
   </tbody>
 </table>
 

package/dist/effect-tsgo.js

@@ -199259,7 +199259,7 @@ var FileReadError = class extends TaggedError("FileReadError") {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.7.4";
+var version = "0.8.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -201204,6 +201204,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "redundantMapError",
+		"group": "style",
+		"description": "Suggests hoisting a repeated trailing Effect.mapError from every yield in an Effect generator",
+		"defaultSeverity": "suggestion",
+		"fixable": false,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377088, 377089],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\ndeclare const first: Effect.Effect<number, unknown>\ndeclare const second: Effect.Effect<string, unknown>\n\nclass RepoError {\n  constructor(readonly args: { cause: unknown }) {}\n}\n\nexport const program = Effect.gen(function*() {\n  yield* first.pipe(\n    Effect.mapError((cause) => new RepoError({ cause }))\n  )\n\n  return yield* second.pipe(\n    Effect.mapError((cause) => new RepoError({ cause }))\n  )\n})\n",
+			"diagnostics": [{
+				"start": 246,
+				"end": 255,
+				"text": "This generator applies the same inline `Effect.mapError(...)` to every yielded effect. Keep that `Effect.mapError(...)` inline and hoist it once to the generator result: `Effect.gen(...).pipe(Effect.mapError(...))`, or `Effect.fn(function*(){ ... }, Effect.mapError(...))`. effect(redundantMapError)"
+			}]
+		}
+	},
 	{
 		"name": "redundantSchemaTagIdentifier",
 		"group": "style",
@@ -201377,6 +201394,23 @@ var rules = [
 				"text": "This expression contains chained `pipe` calls that can be simplified to a single `pipe` call. effect(unnecessaryPipeChain)"
 			}]
 		}
+	},
+	{
+		"name": "unnecessaryTypeofType",
+		"group": "style",
+		"description": "Suggests replacing typeof Schema.Type style annotations with the matching named type when available",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377090],
+		"preview": {
+			"sourceText": "import { Schema } from \"effect\"\n\nexport namespace UsersRepo {\n  export const User = Schema.Struct({ id: Schema.Number })\n  export type User = typeof User.Type\n}\n\nexport const preview: typeof UsersRepo.User.Type = { id: 1 }\n",
+			"diagnostics": [{
+				"start": 184,
+				"end": 210,
+				"text": "This `typeof ... .Type` query can be replaced with `UsersRepo.User`. effect(unnecessaryTypeofType)"
+			}]
+		}
 	}
 ];
 var metadata_default = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.7.4",
+  "version": "0.8.0",
   "description": "Effect Language Service for TypeScript-Go — Effect-specific diagnostics and hover features.",
   "license": "MIT",
   "repository": {
@@ -22,13 +22,13 @@
     "README.md"
   ],
   "optionalDependencies": {
-    "@effect/tsgo-win32-x64": "0.7.4",
-    "@effect/tsgo-win32-arm64": "0.7.4",
-    "@effect/tsgo-linux-x64": "0.7.4",
-    "@effect/tsgo-linux-arm64": "0.7.4",
-    "@effect/tsgo-linux-arm": "0.7.4",
-    "@effect/tsgo-darwin-x64": "0.7.4",
-    "@effect/tsgo-darwin-arm64": "0.7.4"
+    "@effect/tsgo-win32-x64": "0.8.0",
+    "@effect/tsgo-win32-arm64": "0.8.0",
+    "@effect/tsgo-linux-x64": "0.8.0",
+    "@effect/tsgo-linux-arm64": "0.8.0",
+    "@effect/tsgo-linux-arm": "0.8.0",
+    "@effect/tsgo-darwin-x64": "0.8.0",
+    "@effect/tsgo-darwin-arm64": "0.8.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.66",