@effect/tsgo 0.21.0 → 0.23.0

package/README.md

@@ -49,6 +49,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>nonObjectEffectServiceType</code></td><td>❌</td><td></td><td>Ensures Effect.Service types are objects, not primitives</td><td>✓</td><td></td></tr>
     <tr><td><code>outdatedApi</code></td><td>⚠️</td><td></td><td>Detects usage of APIs that have been removed or renamed in Effect v4</td><td></td><td>✓</td></tr>
     <tr><td><code>overriddenSchemaConstructor</code></td><td>❌</td><td>🔧</td><td>Prevents overriding constructors in Schema classes which breaks decoding behavior</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>schemaOpaqueInstanceMember</code></td><td>❌</td><td></td><td>Disallows instance members in classes extending Schema.Opaque</td><td></td><td>✓</td></tr>
     <tr><td colspan="6"><strong>Anti-pattern</strong> <em>Discouraged patterns that often lead to bugs or confusing behavior.</em></td></tr>
     <tr><td><code>catchUnfailableEffect</code></td><td>💡</td><td></td><td>Warns when using error handling on Effects that never fail</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>effectFnIife</code></td><td>⚠️</td><td>🔧</td><td>Effect.fn or Effect.fnUntraced is called as an IIFE; use Effect.gen instead</td><td>✓</td><td>✓</td></tr>
@@ -116,6 +117,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <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>
     <tr><td><code>serviceNotAsClass</code></td><td>➖</td><td>🔧</td><td>Warns when Context.Service is used as a variable instead of a class declaration</td><td></td><td>✓</td></tr>
     <tr><td><code>strictBooleanExpressions</code></td><td>➖</td><td></td><td>Enforces boolean types in conditional expressions for type safety</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>syncToSucceed</code></td><td>💡</td><td>🔧</td><td>Suggests using Effect.succeed instead of Effect.sync when the thunk returns a constant value</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>unnecessaryArrowBlock</code></td><td>➖</td><td>🔧</td><td>Suggests using a concise arrow body when the block only returns an expression</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>unnecessaryEffectGen</code></td><td>💡</td><td>🔧</td><td>Suggests removing Effect.gen when it contains only a single return statement</td><td>✓</td><td>✓</td></tr>
     <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>

package/dist/effect-tsgo.js

@@ -204851,7 +204851,7 @@ var FileReadError = class extends TaggedError("FileReadError") {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.21.0";
+var version = "0.23.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -205975,6 +205975,27 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "schemaOpaqueInstanceMember",
+		"group": "correctness",
+		"description": "Disallows instance members in classes extending Schema.Opaque",
+		"defaultSeverity": "error",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377102],
+		"preview": {
+			"sourceText": "import { Schema } from \"effect\"\n\nclass User extends Schema.Opaque<User>()(Schema.Struct({ name: Schema.String })) {\n  displayName = \"User\"\n  greet() {\n    return `Hello, ${this.displayName}`\n  }\n}\n",
+			"diagnostics": [{
+				"start": 118,
+				"end": 129,
+				"text": "Classes extending `Schema.Opaque` must not declare instance members. effect(schemaOpaqueInstanceMember)"
+			}, {
+				"start": 141,
+				"end": 146,
+				"text": "Classes extending `Schema.Opaque` must not declare instance members. effect(schemaOpaqueInstanceMember)"
+			}]
+		}
+	},
 	{
 		"name": "catchUnfailableEffect",
 		"group": "antipattern",
@@ -207079,6 +207100,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "syncToSucceed",
+		"group": "style",
+		"description": "Suggests using Effect.succeed instead of Effect.sync when the thunk returns a constant value",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377103],
+		"preview": {
+			"sourceText": "import { Effect } from \"effect\"\n\nexport const preview = Effect.sync(() => \"constant\")\n",
+			"diagnostics": [{
+				"start": 56,
+				"end": 67,
+				"text": "`Effect.succeed` expresses this constant value more directly than `Effect.sync`. effect(syncToSucceed)"
+			}]
+		}
+	},
 	{
 		"name": "unnecessaryArrowBlock",
 		"group": "style",
@@ -207859,7 +207897,7 @@ const gatherTargetState = (assessment, context) => gen(function* () {
 
 //#endregion
 //#region upstream.json
-var tsVersion = "7.1.0-dev.20260713.1";
+var tsVersion = "7.1.0-dev.20260715.1";
 
 //#endregion
 //#region src/setup/index.ts

package/package.json

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

package/schema.json

@@ -2004,6 +2004,11 @@
           "default": "suggestion",
           "description": "Suggests Schema.Finite and Schema.FiniteFromString instead of Schema.Number APIs when describing domain numbers"
         },
+        "schemaOpaqueInstanceMember": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "error",
+          "description": "Disallows instance members in classes extending Schema.Opaque"
+        },
         "schemaStructWithTag": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",
@@ -2039,6 +2044,11 @@
           "default": "off",
           "description": "Warns when using Effect.provide with layers outside of application entry points"
         },
+        "syncToSucceed": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "suggestion",
+          "description": "Suggests using Effect.succeed instead of Effect.sync when the thunk returns a constant value"
+        },
         "tryCatchInEffectGen": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "suggestion",