@effect/tsgo 0.13.1 → 0.14.0

package/README.md

@@ -108,6 +108,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <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>
+    <tr><td><code>schemaNumber</code></td><td>💡</td><td>🔧</td><td>Suggests Schema.Finite and Schema.FiniteFromString instead of Schema.Number APIs when describing domain numbers</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>
     <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>

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.13.1";
+var version = "0.14.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -200618,7 +200618,7 @@ var rules = [
 		"supportedEffect": ["v3"],
 		"codes": [377037],
 		"preview": {
-			"sourceText": "import * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\n\nconst Person = Schema.Struct({ name: Schema.String, age: Schema.Number })\n\nexport const preview = Effect.gen(function*() {\n  const input = yield* Effect.succeed({ name: \"Ada\", age: 1 })\n  return Schema.decodeSync(Person)(input)\n})",
+			"sourceText": "import * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\n\nconst Person = Schema.Struct({ name: Schema.String, age: Schema.Finite })\n\nexport const preview = Effect.gen(function*() {\n  const input = yield* Effect.succeed({ name: \"Ada\", age: 1 })\n  return Schema.decodeSync(Person)(input)\n})\n",
 			"diagnostics": [{
 				"start": 276,
 				"end": 293,
@@ -201196,7 +201196,7 @@ var rules = [
 		"supportedEffect": ["v3", "v4"],
 		"codes": [377050],
 		"preview": {
-			"sourceText": "import { identity, Schema } from \"effect\"\n\nconst User = Schema.Struct({ id: Schema.Number })\nexport const preview = identity(identity(Schema.decodeEffect(User)({ id: 1 })))\n",
+			"sourceText": "import { identity, Schema } from \"effect\"\n\nconst User = Schema.Struct({ id: Schema.Finite })\nexport const preview = identity(identity(Schema.decodeEffect(User)({ id: 1 })))\n",
 			"diagnostics": [{
 				"start": 116,
 				"end": 172,
@@ -201323,6 +201323,27 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "schemaNumber",
+		"group": "style",
+		"description": "Suggests Schema.Finite and Schema.FiniteFromString instead of Schema.Number APIs when describing domain numbers",
+		"defaultSeverity": "suggestion",
+		"fixable": true,
+		"supportedEffect": ["v4"],
+		"codes": [377098],
+		"preview": {
+			"sourceText": "\nimport { Schema } from \"effect\"\n\nexport const User = Schema.Struct({\n  age: Schema.Number,\n  score: Schema.NumberFromString\n})\n",
+			"diagnostics": [{
+				"start": 84,
+				"end": 90,
+				"text": "This Schema number API accepts `NaN`, `Infinity`, and `-Infinity`. Use `Schema.Finite` for finite domain numbers. If non-finite values are intentional, disable this diagnostic for that line. effect(schemaNumber)"
+			}, {
+				"start": 108,
+				"end": 124,
+				"text": "This Schema number API accepts `NaN`, `Infinity`, and `-Infinity`. Use `Schema.FiniteFromString` for finite domain numbers. If non-finite values are intentional, disable this diagnostic for that line. effect(schemaNumber)"
+			}]
+		}
+	},
 	{
 		"name": "schemaStructWithTag",
 		"group": "style",
@@ -201489,7 +201510,7 @@ var rules = [
 		"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",
+			"sourceText": "import { Schema } from \"effect\"\n\nexport namespace UsersRepo {\n  export const User = Schema.Struct({ id: Schema.Finite })\n  export type User = typeof User.Type\n}\n\nexport const preview: typeof UsersRepo.User.Type = { id: 1 }\n",
 			"diagnostics": [{
 				"start": 184,
 				"end": 210,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.13.1",
+  "version": "0.14.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.13.1",
-    "@effect/tsgo-win32-arm64": "0.13.1",
-    "@effect/tsgo-linux-x64": "0.13.1",
-    "@effect/tsgo-linux-arm64": "0.13.1",
-    "@effect/tsgo-linux-arm": "0.13.1",
-    "@effect/tsgo-darwin-x64": "0.13.1",
-    "@effect/tsgo-darwin-arm64": "0.13.1"
+    "@effect/tsgo-win32-x64": "0.14.0",
+    "@effect/tsgo-win32-arm64": "0.14.0",
+    "@effect/tsgo-linux-x64": "0.14.0",
+    "@effect/tsgo-linux-arm64": "0.14.0",
+    "@effect/tsgo-linux-arm": "0.14.0",
+    "@effect/tsgo-darwin-x64": "0.14.0",
+    "@effect/tsgo-darwin-arm64": "0.14.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.66",