@effect/tsgo 0.20.0 → 0.22.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>
@@ -104,6 +105,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>flatMapToMap</code></td><td>💡</td><td>🔧</td><td>Suggests using Effect.map instead of Effect.flatMap when the callback only wraps its result with Effect.succeed</td><td>✓</td><td>✓</td></tr>
     <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>missingPipeableSignature</code></td><td>➖</td><td></td><td>Reports exported fixed-arity functions whose call signatures have no corresponding pipeable overload</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>multipleCatchTag</code></td><td>💡</td><td></td><td>Suggests collapsing consecutive Effect.catchTag transformations into a single Effect.catchTags call when semantics stay equivalent</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>newSchemaClass</code></td><td>➖</td><td>🔧</td><td>Suggests using Schema make instead of new for Schema classes</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.20.0";
+var version = "0.22.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",
@@ -206867,6 +206888,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "missingPipeableSignature",
+		"group": "style",
+		"description": "Reports exported fixed-arity functions whose call signatures have no corresponding pipeable overload",
+		"defaultSeverity": "off",
+		"fixable": false,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377101],
+		"preview": {
+			"sourceText": "\nexport const getAt = (self: ReadonlyArray<string>, index: number): string => self[index]\n",
+			"diagnostics": [{
+				"start": 14,
+				"end": 19,
+				"text": "Exported function `getAt` has no pipeable overload corresponding to its signature `(self: ReadonlyArray<string>, index: number) => string`. effect(missingPipeableSignature)"
+			}]
+		}
+	},
 	{
 		"name": "multipleCatchTag",
 		"group": "style",
@@ -207842,7 +207880,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.20260714.1";
 
 //#endregion
 //#region src/setup/index.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.20.0",
+  "version": "0.22.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.20.0",
-    "@effect/tsgo-win32-arm64": "0.20.0",
-    "@effect/tsgo-linux-x64": "0.20.0",
-    "@effect/tsgo-linux-arm64": "0.20.0",
-    "@effect/tsgo-linux-arm": "0.20.0",
-    "@effect/tsgo-darwin-x64": "0.20.0",
-    "@effect/tsgo-darwin-arm64": "0.20.0"
+    "@effect/tsgo-win32-x64": "0.22.0",
+    "@effect/tsgo-win32-arm64": "0.22.0",
+    "@effect/tsgo-linux-arm64": "0.22.0",
+    "@effect/tsgo-linux-arm": "0.22.0",
+    "@effect/tsgo-linux-x64": "0.22.0",
+    "@effect/tsgo-darwin-x64": "0.22.0",
+    "@effect/tsgo-darwin-arm64": "0.22.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.83",

package/schema.json

@@ -1899,6 +1899,11 @@
           "default": "error",
           "description": "Detects Layer values with unhandled context requirements"
         },
+        "missingPipeableSignature": {
+          "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
+          "default": "off",
+          "description": "Reports exported fixed-arity functions whose call signatures have no corresponding pipeable overload"
+        },
         "missingReturnYieldStar": {
           "$ref": "#/definitions/effectLanguageServicePluginSeverityDefinition",
           "default": "error",