@effect/tsgo 0.22.0 → 0.24.0

package/README.md

@@ -109,6 +109,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <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>
+    <tr><td><code>preferSchemaTypeProperty</code></td><td>➖</td><td>🔧</td><td>Disallows Schema.Schema.Type&lt;typeof X&gt; in favor of typeof X.Type</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>redundantOrDie</code></td><td>💡</td><td></td><td>Suggests hoisting a repeated trailing Effect.orDie 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>
@@ -117,6 +118,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.22.0";
+var version = "0.24.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -206956,6 +206956,23 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "preferSchemaTypeProperty",
+		"group": "style",
+		"description": "Disallows Schema.Schema.Type<typeof X> in favor of typeof X.Type",
+		"defaultSeverity": "off",
+		"fixable": true,
+		"supportedEffect": ["v3", "v4"],
+		"codes": [377104],
+		"preview": {
+			"sourceText": "import { Schema } from \"effect\"\n\nconst User = Schema.Struct({ name: Schema.String })\ntype User = Schema.Schema.Type<typeof User>\n",
+			"diagnostics": [{
+				"start": 97,
+				"end": 128,
+				"text": "Do not use `Schema.Schema.Type<typeof X>` to extract a schema's type. Use `typeof X.Type` instead. effect(preferSchemaTypeProperty)"
+			}]
+		}
+	},
 	{
 		"name": "redundantMapError",
 		"group": "style",
@@ -207100,6 +207117,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",
@@ -207880,7 +207914,7 @@ const gatherTargetState = (assessment, context) => gen(function* () {
 
 //#endregion
 //#region upstream.json
-var tsVersion = "7.1.0-dev.20260714.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.22.0",
+  "version": "0.24.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.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"
+    "@effect/tsgo-win32-x64": "0.24.0",
+    "@effect/tsgo-win32-arm64": "0.24.0",
+    "@effect/tsgo-linux-x64": "0.24.0",
+    "@effect/tsgo-linux-arm64": "0.24.0",
+    "@effect/tsgo-linux-arm": "0.24.0",
+    "@effect/tsgo-darwin-x64": "0.24.0",
+    "@effect/tsgo-darwin-arm64": "0.24.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",