@effect/tsgo 0.7.5 → 0.9.0

package/README.md

@@ -58,6 +58,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>globalErrorInEffectCatch</code></td><td>⚠️</td><td></td><td>Warns when catch callbacks return global Error type instead of typed errors</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>globalErrorInEffectFailure</code></td><td>⚠️</td><td></td><td>Warns when the global Error type is used in an Effect failure channel</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>layerMergeAllWithDependencies</code></td><td>⚠️</td><td>🔧</td><td>Detects interdependencies in Layer.mergeAll calls where one layer provides a service that another layer requires</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>lazyEffect</code></td><td>💡</td><td></td><td>Suggests avoiding exported zero-argument functions and service members that lazily return Effect or Stream values</td><td></td><td>✓</td></tr>
     <tr><td><code>lazyPromiseInEffectSync</code></td><td>⚠️</td><td></td><td>Warns when Effect.sync lazily returns a Promise instead of using an async Effect constructor</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>leakingRequirements</code></td><td>💡</td><td></td><td>Detects implementation services leaked in service methods</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>multipleEffectProvide</code></td><td>⚠️</td><td>🔧</td><td>Warns against chaining Effect.provide calls which can cause service lifecycle issues</td><td>✓</td><td>✓</td></tr>
@@ -86,7 +87,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>instanceOfSchema</code></td><td>➖</td><td>🔧</td><td>Suggests using Schema.is instead of instanceof for Effect Schema types</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>newPromise</code></td><td>➖</td><td></td><td>Warns when constructing promises with new Promise instead of using Effect APIs</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>nodeBuiltinImport</code></td><td>➖</td><td></td><td>Warns when importing Node.js built-in modules that have Effect-native counterparts</td><td>✓</td><td>✓</td></tr>
-    <tr><td><code>preferSchemaOverJson</code></td><td>💡</td><td></td><td>Suggests using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>preferSchemaOverJson</code></td><td>➖</td><td></td><td>Suggests using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>processEnv</code></td><td>➖</td><td></td><td>Warns when reading process.env outside Effect generators instead of using Effect Config</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>processEnvInEffect</code></td><td>➖</td><td></td><td>Warns when reading process.env inside Effect generators instead of using Effect Config</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>unsafeEffectTypeAssertion</code></td><td>➖</td><td>🔧</td><td>Detects unsafe type assertions that narrow Effect, Stream, or Layer error or requirements channels</td><td>✓</td><td>✓</td></tr>
@@ -112,6 +113,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.5";
+var version = "0.9.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -200503,6 +200503,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "lazyEffect",
+		"group": "antipattern",
+		"description": "Suggests avoiding exported zero-argument functions and service members that lazily return Effect or Stream values",
+		"defaultSeverity": "suggestion",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377091],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\nexport interface PreviewService {\n  preview: () => Effect.Effect<void>\n}\n",
+			"diagnostics": [{
+				"start": 69,
+				"end": 76,
+				"text": "Interface 'PreviewService' member 'preview' returns a lazy Effect or Stream. Effect and Stream are already lazy, so wrapping them in a zero-argument function adds unnecessary indirection. effect(lazyEffect)"
+			}]
+		}
+	},
 	{
 		"name": "lazyPromiseInEffectSync",
 		"group": "antipattern",
@@ -200970,7 +200987,7 @@ var rules = [
 		"name": "preferSchemaOverJson",
 		"group": "effectNative",
 		"description": "Suggests using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify",
-		"defaultSeverity": "suggestion",
+		"defaultSeverity": "off",
 		"fixable": false,
 		"supportedEffect": ["v3", "v4"],
 		"codes": [377026],
@@ -200979,7 +200996,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 142,
 				"end": 158,
-				"text": "This code uses `JSON.parse` or `JSON.stringify`. Effect Schema provides Effect-aware APIs for JSON parsing and stringifying. effect(preferSchemaOverJson)"
+				"text": "This code uses `JSON.parse` or `JSON.stringify`. Use `Schema.UnknownFromJsonString` for unknown shapes, `Schema.fromJsonString(schema)` for known ones, or `Schema.toCodecJson(schema)` when working with JSON values instead of strings. effect(preferSchemaOverJson)"
 			}]
 		}
 	},
@@ -201217,7 +201234,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 246,
 				"end": 255,
-				"text": "This generator applies the same trailing `Effect.mapError(...)` to every yielded effect. Hoist it once at the generator result: `Effect.gen(...).pipe(Effect.mapError(...))`, or the trailing pipe arguments of generator-form `Effect.fn(...)`. effect(redundantMapError)"
+				"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)"
 			}]
 		}
 	},
@@ -201394,6 +201411,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.5",
+  "version": "0.9.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.5",
-    "@effect/tsgo-win32-arm64": "0.7.5",
-    "@effect/tsgo-linux-x64": "0.7.5",
-    "@effect/tsgo-linux-arm64": "0.7.5",
-    "@effect/tsgo-linux-arm": "0.7.5",
-    "@effect/tsgo-darwin-x64": "0.7.5",
-    "@effect/tsgo-darwin-arm64": "0.7.5"
+    "@effect/tsgo-win32-x64": "0.9.0",
+    "@effect/tsgo-win32-arm64": "0.9.0",
+    "@effect/tsgo-linux-x64": "0.9.0",
+    "@effect/tsgo-linux-arm64": "0.9.0",
+    "@effect/tsgo-linux-arm": "0.9.0",
+    "@effect/tsgo-darwin-x64": "0.9.0",
+    "@effect/tsgo-darwin-arm64": "0.9.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.66",