@effect/tsgo 0.1.0 → 0.2.0

package/README.md

@@ -191,8 +191,6 @@ Each release of `effect-tsgo` is built against a specific upstream `tsgo` commit
         "refactors": true,
         // Controls Effect diagnostics. (default: true)
         "diagnostics": true,
-        // Maps rule names to severity levels. Use {} to enable diagnostics with rule defaults. (default: {})
-        "diagnosticSeverity": {},
         // When false, suggestion-level Effect diagnostics are omitted from tsc CLI output. (default: true)
         "includeSuggestionsInTsc": true,
         // Controls Effect quickinfo. (default: true)
@@ -211,6 +209,22 @@ Each release of `effect-tsgo` is built against a specific upstream `tsgo` commit
         "ignoreEffectErrorsInTscExitCode": false,
         // When true, disabled diagnostics are still processed so directives can re-enable them. (default: false)
         "skipDisabledOptimization": false,
+        // Mermaid rendering service for layer graph links. Accepts mermaid.live, mermaid.com, or a custom URL. (default: "mermaid.live")
+        "mermaidProvider": "mermaid.live",
+        // When true, suppresses external Mermaid links in hover output. (default: false)
+        "noExternal": false,
+        // How many levels deep the layer graph extraction follows symbol references. (default: 0)
+        "layerGraphFollowDepth": 0,
+        // When true, suppresses redundant return-type inlay hints on supported Effect generator functions. (default: false)
+        "inlays": false,
+        // Package names that should prefer namespace imports. (default: [])
+        "namespaceImportPackages": [],
+        // Package names that should prefer barrel named imports. (default: [])
+        "barrelImportPackages": [],
+        // Package-level import aliases keyed by package name. (default: {})
+        "importAliases": {},
+        // Controls whether named reexports are followed at package top-level. (default: "ignore")
+        "topLevelNamedReexports": "ignore",
         // Configures key pattern formulas for the deterministicKeys rule. (default: [{"target":"service","pattern":"default","skipLeadingPath":["src/"]},{"target":"custom","pattern":"default","skipLeadingPath":["src/"]}])
         "keyPatterns": [
           {
@@ -232,28 +246,27 @@ Each release of `effect-tsgo` is built against a specific upstream `tsgo` commit
         "extendedKeyDetection": false,
         // Minimum number of contiguous pipeable transformations to trigger missedPipeableOpportunity. (default: 2)
         "pipeableMinArgCount": 2,
-        // Mermaid rendering service for layer graph links. Accepts mermaid.live, mermaid.com, or a custom URL. (default: "mermaid.live")
-        "mermaidProvider": "mermaid.live",
-        // When true, suppresses external Mermaid links in hover output. (default: false)
-        "noExternal": false,
-        // How many levels deep the layer graph extraction follows symbol references. (default: 0)
-        "layerGraphFollowDepth": 0,
+        // Package names allowed to have multiple versions without triggering duplicatePackage. (default: [])
+        "allowedDuplicatedPackages": [],
         // Controls which effectFnOpportunity quickfix variants are offered. (default: ["span"])
         "effectFn": [
           "span"
         ],
-        // When true, suppresses redundant return-type inlay hints on supported Effect generator functions. (default: false)
-        "inlays": false,
-        // Package names allowed to have multiple versions without triggering duplicatePackage. (default: [])
-        "allowedDuplicatedPackages": [],
-        // Package names that should prefer namespace imports. (default: [])
-        "namespaceImportPackages": [],
-        // Package names that should prefer barrel named imports. (default: [])
-        "barrelImportPackages": [],
-        // Package-level import aliases keyed by package name. (default: {})
-        "importAliases": {},
-        // Controls whether named reexports are followed at package top-level. (default: "ignore")
-        "topLevelNamedReexports": "ignore"
+        // Maps rule names to severity levels. Use {} to enable diagnostics with rule defaults. (default: {})
+        "diagnosticSeverity": {},
+        // Ordered per-file diagnostic option overrides. (default: [{"include":["src/**/*.ts"],"options":{"diagnosticSeverity":{"floatingEffect":"error"}}}])
+        "overrides": [
+          {
+            "include": [
+              "src/**/*.ts"
+            ],
+            "options": {
+              "diagnosticSeverity": {
+                "floatingEffect": "error"
+              }
+            }
+          }
+        ]
       }
     ]
   }

package/dist/effect-tsgo.js

@@ -3910,6 +3910,39 @@ const getFailure$1 = getFailure$2;
 */
 const getOrElse$1 = /* @__PURE__ */ dual(2, (self, onNone) => isNone(self) ? onNone() : self.value);
 /**
+* Returns the fallback `Option` if `self` is `None`; otherwise returns `self`.
+*
+* **When to use**
+*
+* - Chaining fallback `Option` computations
+* - Building priority chains of optional values
+*
+* **Behavior**
+*
+* - `Some` → returns `self` unchanged
+* - `None` → evaluates and returns `that()`
+* - `that` is lazily evaluated
+*
+* **Example** (Providing a fallback Option)
+*
+* ```ts
+* import { Option } from "effect"
+*
+* console.log(Option.none().pipe(Option.orElse(() => Option.some("b"))))
+* // Output: { _id: 'Option', _tag: 'Some', value: 'b' }
+*
+* console.log(Option.some("a").pipe(Option.orElse(() => Option.some("b"))))
+* // Output: { _id: 'Option', _tag: 'Some', value: 'a' }
+* ```
+*
+* @see {@link orElseSome} to wrap the fallback value in `Some` automatically
+* @see {@link firstSomeOf} to pick the first `Some` from a collection
+*
+* @category Error handling
+* @since 2.0.0
+*/
+const orElse = /* @__PURE__ */ dual(2, (self, that) => isNone(self) ? that() : self);
+/**
 * Converts a nullable value (`null` or `undefined`) into an `Option`.
 *
 * **When to use**
@@ -197344,14 +197377,16 @@ var FileReadError = class extends TaggedError("FileReadError") {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.1.0";
+var version = "0.2.0";
 
 //#endregion
 //#region src/setup/consts.ts
 const LSP_PACKAGE_NAME = name;
 const LSP_PLUGIN_NAME = "@effect/language-service";
+const NATIVE_PREVIEW_PACKAGE_NAME = "@typescript/native-preview";
 const PATCH_COMMAND = "effect-tsgo patch";
 const DEFAULT_LSP_VERSION = version;
+const DEFAULT_NATIVE_PREVIEW_VERSION = "latest";
 const TSCONFIG_SCHEMA_URL = "https://raw.githubusercontent.com/Effect-TS/tsgo/refs/heads/main/schema.json";
 
 //#endregion
@@ -197396,15 +197431,19 @@ const createAssessmentInput = (currentDir, tsconfigInput) => gen(function* () {
 const assessPackageJson = (input) => {
 	const sourceFile = import_typescript.parseJsonText(input.fileName, input.text);
 	const parsed = import_typescript.convertToObject(sourceFile, []);
-	let lspVersion = none$3();
-	if (LSP_PACKAGE_NAME in (parsed.devDependencies ?? {})) lspVersion = some({
-		dependencyType: "devDependencies",
-		version: parsed.devDependencies[LSP_PACKAGE_NAME]
-	});
-	else if (LSP_PACKAGE_NAME in (parsed.dependencies ?? {})) lspVersion = some({
-		dependencyType: "dependencies",
-		version: parsed.dependencies[LSP_PACKAGE_NAME]
-	});
+	const assessDependency = (packageName) => {
+		if (packageName in (parsed.devDependencies ?? {})) return some({
+			dependencyType: "devDependencies",
+			version: parsed.devDependencies[packageName]
+		});
+		if (packageName in (parsed.dependencies ?? {})) return some({
+			dependencyType: "dependencies",
+			version: parsed.dependencies[packageName]
+		});
+		return none$3();
+	};
+	const lspVersion = assessDependency(LSP_PACKAGE_NAME);
+	const nativePreviewVersion = assessDependency(NATIVE_PREVIEW_PACKAGE_NAME);
 	const prepareScript = "prepare" in (parsed.scripts ?? {}) ? some({
 		script: parsed.scripts.prepare,
 		hasPatch: parsed.scripts.prepare.toLowerCase().includes(PATCH_COMMAND)
@@ -197415,6 +197454,7 @@ const assessPackageJson = (input) => {
 		parsed,
 		text: input.text,
 		lspVersion,
+		nativePreviewVersion,
 		prepareScript
 	};
 };
@@ -197685,6 +197725,25 @@ function insertNodeAtEndOfList(tracker, sourceFile, nodeArray, newNode) {
 		tracker.insertNodeAt(sourceFile, lastElement.end, newNode, { prefix: ",\n" });
 	}
 }
+function findDependencyCollectionProperty(rootObj, dependencyType) {
+	return findPropertyInObject(rootObj, dependencyType);
+}
+function upsertDependency(tracker, sourceFile, rootObj, dependencyName, dependency) {
+	const depsProperty = findDependencyCollectionProperty(rootObj, dependency.dependencyType);
+	if (!depsProperty) {
+		const newDepsProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(dependency.dependencyType), import_typescript.factory.createObjectLiteralExpression([import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(dependencyName), import_typescript.factory.createStringLiteral(dependency.version))], false));
+		insertNodeAtEndOfList(tracker, sourceFile, rootObj.properties, newDepsProp);
+		return;
+	}
+	if (!import_typescript.isObjectLiteralExpression(depsProperty.initializer)) return;
+	const existingProperty = findPropertyInObject(depsProperty.initializer, dependencyName);
+	if (!existingProperty) {
+		const newDepProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(dependencyName), import_typescript.factory.createStringLiteral(dependency.version));
+		insertNodeAtEndOfList(tracker, sourceFile, depsProperty.initializer.properties, newDepProp);
+		return;
+	}
+	if (import_typescript.isStringLiteral(existingProperty.initializer) && existingProperty.initializer.text !== dependency.version) tracker.replaceNode(sourceFile, existingProperty.initializer, import_typescript.factory.createStringLiteral(dependency.version));
+}
 function createDiagnosticSeverityObject(severities) {
 	const entries = Object.entries(severities).sort(([a], [b]) => a.localeCompare(b));
 	return import_typescript.factory.createObjectLiteralExpression(entries.map(([name, severity]) => import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(name), import_typescript.factory.createStringLiteral(severity))), true);
@@ -197734,6 +197793,14 @@ const computePackageJsonChanges = (current, target) => {
 	if (!rootObj) return emptyFileChangesResult();
 	const ctx = createTrackerContext();
 	const fileChange = tsInternal.textChanges.ChangeTracker.with(ctx, (tracker) => {
+		const shouldAddNativePreviewWithDependencyType = (dependencyType) => isSome(target.nativePreviewVersion) && isNone(current.nativePreviewVersion) && target.nativePreviewVersion.value.dependencyType === dependencyType;
+		const ensureNativePreviewDependency = () => {
+			if (isNone(target.nativePreviewVersion) || isSome(current.nativePreviewVersion)) return;
+			const targetNativePreview = target.nativePreviewVersion.value;
+			if (!findDependencyCollectionProperty(rootObj, targetNativePreview.dependencyType) && isSome(target.lspVersion) && target.lspVersion.value.dependencyType === targetNativePreview.dependencyType) return;
+			descriptions.push(`Add ${NATIVE_PREVIEW_PACKAGE_NAME}@${targetNativePreview.version} to ${targetNativePreview.dependencyType}`);
+			upsertDependency(tracker, current.sourceFile, rootObj, NATIVE_PREVIEW_PACKAGE_NAME, targetNativePreview);
+		};
 		if (isSome(target.lspVersion)) {
 			const targetDepType = target.lspVersion.value.dependencyType;
 			const targetVersion = target.lspVersion.value.version;
@@ -197747,12 +197814,16 @@ const computePackageJsonChanges = (current, target) => {
 						const lspProperty = findPropertyInObject(oldDepsProperty.initializer, LSP_PACKAGE_NAME);
 						if (lspProperty) deleteNodeFromList(tracker, current.sourceFile, oldDepsProperty.initializer.properties, lspProperty);
 					}
-					const newDepsProperty = findPropertyInObject(rootObj, targetDepType);
-					const newLspProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion));
+					const newDepsProperty = findDependencyCollectionProperty(rootObj, targetDepType);
 					if (!newDepsProperty) {
-						const newDepsProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(targetDepType), import_typescript.factory.createObjectLiteralExpression([newLspProp], false));
+						const dependencyProperties = [import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion))];
+						if (shouldAddNativePreviewWithDependencyType(targetDepType)) {
+							const targetNativePreview = target.nativePreviewVersion.pipe(getOrUndefined);
+							if (targetNativePreview) dependencyProperties.push(import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(NATIVE_PREVIEW_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetNativePreview.version)));
+						}
+						const newDepsProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(targetDepType), import_typescript.factory.createObjectLiteralExpression(dependencyProperties, false));
 						insertNodeAtEndOfList(tracker, current.sourceFile, rootObj.properties, newDepsProp);
-					} else if (import_typescript.isObjectLiteralExpression(newDepsProperty.initializer)) insertNodeAtEndOfList(tracker, current.sourceFile, newDepsProperty.initializer.properties, newLspProp);
+					} else if (import_typescript.isObjectLiteralExpression(newDepsProperty.initializer)) insertNodeAtEndOfList(tracker, current.sourceFile, newDepsProperty.initializer.properties, import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion)));
 				} else if (currentVersion !== targetVersion) {
 					descriptions.push(`Update ${LSP_PACKAGE_NAME} from ${currentVersion} to ${targetVersion}`);
 					const depsProperty = findPropertyInObject(rootObj, targetDepType);
@@ -197763,15 +197834,18 @@ const computePackageJsonChanges = (current, target) => {
 				}
 			} else {
 				descriptions.push(`Add ${LSP_PACKAGE_NAME}@${targetVersion} to ${targetDepType}`);
-				const depsProperty = findPropertyInObject(rootObj, targetDepType);
+				const depsProperty = findDependencyCollectionProperty(rootObj, targetDepType);
 				if (!depsProperty) {
-					const newDepsProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(targetDepType), import_typescript.factory.createObjectLiteralExpression([import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion))], false));
+					const dependencyProperties = [import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion))];
+					if (shouldAddNativePreviewWithDependencyType(targetDepType)) {
+						const targetNativePreview = target.nativePreviewVersion.pipe(getOrUndefined);
+						if (targetNativePreview) dependencyProperties.push(import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(NATIVE_PREVIEW_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetNativePreview.version)));
+					}
+					const newDepsProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(targetDepType), import_typescript.factory.createObjectLiteralExpression(dependencyProperties, false));
 					insertNodeAtEndOfList(tracker, current.sourceFile, rootObj.properties, newDepsProp);
-				} else if (import_typescript.isObjectLiteralExpression(depsProperty.initializer)) {
-					const newLspProp = import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion));
-					insertNodeAtEndOfList(tracker, current.sourceFile, depsProperty.initializer.properties, newLspProp);
-				}
+				} else if (import_typescript.isObjectLiteralExpression(depsProperty.initializer)) insertNodeAtEndOfList(tracker, current.sourceFile, depsProperty.initializer.properties, import_typescript.factory.createPropertyAssignment(import_typescript.factory.createStringLiteral(LSP_PACKAGE_NAME), import_typescript.factory.createStringLiteral(targetVersion)));
 			}
+			ensureNativePreviewDependency();
 		} else if (isSome(current.lspVersion)) {
 			descriptions.push(`Remove ${LSP_PACKAGE_NAME} from dependencies`);
 			const currentDepType = current.lspVersion.value.dependencyType;
@@ -198192,7 +198266,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 154,
 				"end": 169,
-				"text": "Self type parameter should be 'InvalidContextTag'. effect(classSelfMismatch)"
+				"text": "The `Self` type parameter for this class should be `InvalidContextTag`. effect(classSelfMismatch)"
 			}]
 		}
 	},
@@ -198222,7 +198296,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 78,
 				"end": 83,
-				"text": "Parameter 'input' implicitly has an 'any' type in Effect.fn/Effect.fnUntraced/Effect.fnUntracedEager. Add an explicit type annotation or provide a contextual function type. effect(effectFnImplicitAny)"
+				"text": "Parameter `input` implicitly has type `any` in `Effect.fn`, `Effect.fnUntraced`, or `Effect.fnUntracedEager`. No parameter type is available from an explicit annotation or contextual function type. effect(effectFnImplicitAny)"
 			}]
 		}
 	},
@@ -198239,7 +198313,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 41,
 				"end": 64,
-				"text": "Effect must be yielded or assigned to a variable. effect(floatingEffect)"
+				"text": "This Effect value is neither yielded nor used in an assignment. effect(floatingEffect)"
 			}]
 		}
 	},
@@ -198273,7 +198347,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 160,
 				"end": 167,
-				"text": "Missing context Db in the expected Effect type. effect(missingEffectContext)"
+				"text": "This Effect requires a service that is missing from the expected Effect context: `Db`. effect(missingEffectContext)"
 			}]
 		}
 	},
@@ -198324,7 +198398,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 121,
 				"end": 126,
-				"text": "It is recommended to use return yield* for Effects that never succeed to signal a definitive exit point for type narrowing and tooling support. effect(missingReturnYieldStar)"
+				"text": "This Effect never succeeds; using `return yield*` preserves a definitive generator exit point for type narrowing and tooling support. effect(missingReturnYieldStar)"
 			}]
 		}
 	},
@@ -198341,7 +198415,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 105,
 				"end": 110,
-				"text": "When yielding Effects inside Effect.gen, you should use yield* instead of yield. effect(missingStarInYieldEffectGen)"
+				"text": "This uses `yield` for an `Effect` value. `yield*` is the Effect-aware form in this context. effect(missingStarInYieldEffectGen)"
 			}]
 		}
 	},
@@ -198358,7 +198432,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 142,
 				"end": 149,
-				"text": "Effect.Service requires the service type to be an object {} and not a primitive type. Consider wrapping the value in an object, or manually using Context.Tag or Effect.Tag if you want to use a primitive instead. effect(nonObjectEffectServiceType)"
+				"text": "`Effect.Service` is declared with a primitive service type. `Effect.Service` models object-shaped services; primitive values use `Context.Tag` or `Effect.Tag` directly. effect(nonObjectEffectServiceType)"
 			}]
 		}
 	},
@@ -198375,11 +198449,11 @@ var rules = [
 			"diagnostics": [{
 				"start": 0,
 				"end": 0,
-				"text": "This project targets Effect v4, but is using Effect v3 APIs. To find the correct API to use, consult the Effect v4 documentation for the corresponding v4 replacement. effect(outdatedApi)"
+				"text": "This project targets Effect v4, but this code uses Effect v3 APIs. The referenced API belongs to the v3 surface rather than the configured v4 surface. effect(outdatedApi)"
 			}, {
 				"start": 126,
 				"end": 133,
-				"text": "runtime is an Effect v3 API, but the project is using Effect v4. Runtime has been removed in Effect v4. Use Effect.services to grab services and then run using Effect.runPromiseWith. effect(outdatedApi)"
+				"text": "This project targets Effect v4, but this code uses the Effect v3 API `runtime`. The referenced API belongs to the v3 surface rather than the configured v4 surface. Runtime has been removed in Effect v4. Use Effect.services to grab services and then run using Effect.runPromiseWith. effect(outdatedApi)"
 			}]
 		}
 	},
@@ -198396,7 +198470,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 123,
 				"end": 134,
-				"text": "Classes extending Schema must not override the constructor; this is because it silently breaks the schema decoding behaviour. If that's needed, we recommend instead to use a static 'new' method that constructs the instance. effect(overriddenSchemaConstructor)"
+				"text": "This Schema subclass defines its own constructor. For Schema classes, constructor overrides break decoding behavior for the class shape. Custom construction can be expressed through a static `new` method instead. effect(overriddenSchemaConstructor)"
 			}]
 		}
 	},
@@ -198413,7 +198487,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 82,
 				"end": 94,
-				"text": "Looks like the previous effect never fails, so probably this error handling will never be triggered. effect(catchUnfailableEffect)"
+				"text": "The previous Effect does not fail, so this error-handling branch will never run. effect(catchUnfailableEffect)"
 			}]
 		}
 	},
@@ -198430,7 +198504,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 64,
 				"end": 137,
-				"text": "Effect.fn returns a reusable function that can take arguments, but here it's called immediately. Use Effect.gen instead with Effect.withSpan(\"preview\") piped in the end to maintain tracing spans. effect(effectFnIife)"
+				"text": "`Effect.fn` returns a reusable function that can take arguments, but it is invoked immediately here. `Effect.gen` represents the immediate-use form for this pattern with Effect.withSpan(\"preview\") piped in the end to maintain tracing spans. effect(effectFnIife)"
 			}]
 		}
 	},
@@ -198502,7 +198576,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 56,
 				"end": 73,
-				"text": "The 'catch' callback in Effect.tryPromise returns global 'Error', which loses type safety as untagged errors merge together. Consider using a tagged error and optionally wrapping the original in a 'cause' property. effect(globalErrorInEffectCatch)"
+				"text": "The `catch` callback in `Effect.tryPromise` returns the global `Error` type. Untagged errors merge together in the Effect error channel and lose type-level distinction; a tagged error preserves that distinction and can wrap the original error in a `cause` property. effect(globalErrorInEffectCatch)"
 			}]
 		}
 	},
@@ -198553,7 +198627,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 212,
 				"end": 217,
-				"text": "Methods of this Service require 'FileSystem' from every caller. This leaks implementation details — resolve these dependencies at Layer creation time. effect(leakingRequirements)"
+				"text": "Methods of this Service require `FileSystem` from every caller.\n\nThe requirement becomes part of the public service surface instead of remaining internal to Layer implementation.\n\nResolve these dependencies at Layer creation and provide them to each method, so the service's type reflects its purpose, not its implementation.\n\nTo suppress this diagnostic for specific dependency types that are intentionally passed through (e.g., HttpServerRequest), add `@effect-leakable-service` JSDoc to their interface declarations, or to this service by adding a `@effect-expect-leaking FileSystem` JSDoc.\n\nMore info and examples at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage effect(leakingRequirements)"
 			}]
 		}
 	},
@@ -198570,7 +198644,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 348,
 				"end": 373,
-				"text": "Avoid chaining Effect.provide calls, as this can lead to service lifecycle issues. Instead, merge layers and provide them in a single call. effect(multipleEffectProvide)"
+				"text": "This expression chains multiple `Effect.provide` calls. Providing Layers in multiple calls in a chain can break service lifecycle behavior compared with a single combined provide with merged layers. effect(multipleEffectProvide)"
 			}]
 		}
 	},
@@ -198587,7 +198661,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 91,
 				"end": 97,
-				"text": "You are returning an Effect-able type inside a generator function, and will result in nested Effect<Effect<...>>.\nMaybe you wanted to return yield* instead?\nNested Effect-able types may be intended if you plan to later manually flatten or unwrap this Effect, if so you can safely disable this diagnostic for this line through quickfixes. effect(returnEffectInGen)"
+				"text": "This generator returns an Effect-able value directly, which produces a nested `Effect<Effect<...>>`. If the intended result is the inner Effect value, `return yield*` represents that form. effect(returnEffectInGen)"
 			}]
 		}
 	},
@@ -198608,7 +198682,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 101,
 				"end": 115,
-				"text": "Using Effect.runSync inside an Effect is not recommended. The same services should generally be used instead to run child effects.\nConsider extracting the current services by using for example Effect.services and then use Effect.runSyncWith with the extracted services instead. effect(runEffectInsideEffect)"
+				"text": "`Effect.runSync` is called inside an Effect with a separate services invocation. In this context, child Effects run with the surrounding services, which can be accessed through `Effect.services` and `Effect.runSyncWith`. effect(runEffectInsideEffect)"
 			}]
 		}
 	},
@@ -198625,7 +198699,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 276,
 				"end": 293,
-				"text": "Using Schema.decodeSync inside an Effect generator is not recommended. Use Schema.decode instead to get properly typed error channel. effect(schemaSyncInEffect)"
+				"text": "`Schema.decodeSync` is used inside an Effect generator. `Schema.decode` preserves the typed Effect error channel for this operation without throwing. effect(schemaSyncInEffect)"
 			}]
 		}
 	},
@@ -198642,7 +198716,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 211,
 				"end": 338,
-				"text": "Seems like you are constructing a layer with a scope in the requirements.\nConsider using \"scoped\" instead to get rid of the scope in the requirements. effect(scopeInLayerEffect)"
+				"text": "This layer construction leaves `Scope` in the requirement set. The scoped API removes `Scope` from the resulting requirements. effect(scopeInLayerEffect)"
 			}]
 		}
 	},
@@ -198676,7 +198750,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 91,
 				"end": 151,
-				"text": "Avoid using try/catch inside Effect generators. Use Effect's error handling mechanisms instead (e.g. Effect.try, Effect.tryPromise, Effect.catch, Effect.catchTag). effect(tryCatchInEffectGen)"
+				"text": "This Effect generator contains `try/catch`; in this context, error handling is expressed with Effect APIs such as Effect.try, Effect.tryPromise, Effect.catch, Effect.catchTag). effect(tryCatchInEffectGen)"
 			}]
 		}
 	},
@@ -198693,7 +198767,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 56,
 				"end": 73,
-				"text": "The 'catch' callback in Effect.tryPromise returns 'unknown'. The catch callback should be used to provide typed errors.\nConsider wrapping unknown errors into Effect's Data.TaggedError for example, or narrow down the type to the specific error raised. effect(unknownInEffectCatch)"
+				"text": "The `catch` callback in `Effect.tryPromise` returns `unknown`, so the Effect error type stays untyped. A specific typed error preserves error-channel information, for example by narrowing the value or wrapping it in `Data.TaggedError`. effect(unknownInEffectCatch)"
 			}]
 		}
 	},
@@ -198710,7 +198784,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 14,
 				"end": 26,
-				"text": "Avoid extending the native 'Error' class directly. Consider using a tagged error (e.g. Data.TaggedError) to maintain type safety in the Effect failure channel. effect(extendsNativeError)"
+				"text": "This class extends the native `Error` type directly. Untagged native errors lose distinction in the Effect failure channel. effect(extendsNativeError)"
 			}]
 		}
 	},
@@ -198727,7 +198801,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 1,
 				"end": 23,
-				"text": "Prefer using Effect.log or Logger instead of console.log. effect(globalConsole)"
+				"text": "This code uses `console.log`, the corresponding Effect logging API is `Effect.log or Logger`. effect(globalConsole)"
 			}]
 		}
 	},
@@ -198744,7 +198818,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 83,
 				"end": 103,
-				"text": "Prefer using Effect.log or Logger instead of console.log inside Effect generators. effect(globalConsoleInEffect)"
+				"text": "This Effect code uses `console.log`, logging in Effect code is represented through `Effect.log or Logger`. effect(globalConsoleInEffect)"
 			}]
 		}
 	},
@@ -198761,7 +198835,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 24,
 				"end": 34,
-				"text": "Prefer using Clock or DateTime from Effect instead of Date.now(). effect(globalDate)"
+				"text": "This code uses `Date.now()`, time access is represented through `Clock` from Effect. effect(globalDate)"
 			}]
 		}
 	},
@@ -198778,7 +198852,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 95,
 				"end": 105,
-				"text": "Prefer using Clock or DateTime from Effect instead of Date.now() inside Effect generators. effect(globalDateInEffect)"
+				"text": "This Effect code uses `Date.now()`, time access in Effect code is represented through `Clock` from Effect. effect(globalDateInEffect)"
 			}]
 		}
 	},
@@ -198795,7 +198869,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 24,
 				"end": 29,
-				"text": "Prefer using HttpClient from @effect/platform instead of the global 'fetch' function. effect(globalFetch)"
+				"text": "This code uses the global `fetch` function, HTTP requests are represented through `HttpClient` from `@effect/platform`. effect(globalFetch)"
 			}]
 		}
 	},
@@ -198825,7 +198899,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 24,
 				"end": 37,
-				"text": "Prefer using the Random service from Effect instead of Math.random(). effect(globalRandom)"
+				"text": "This code uses `Math.random()`, randomness is represented through the Effect `Random` service. effect(globalRandom)"
 			}]
 		}
 	},
@@ -198842,7 +198916,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 93,
 				"end": 106,
-				"text": "Prefer using the Random service from Effect instead of Math.random() inside Effect generators. effect(globalRandomInEffect)"
+				"text": "This Effect code uses `Math.random()`, randomness is represented through the Effect `Random` service. effect(globalRandomInEffect)"
 			}]
 		}
 	},
@@ -198859,7 +198933,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 1,
 				"end": 26,
-				"text": "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout. effect(globalTimers)"
+				"text": "This code uses `setTimeout`, the corresponding Effect timer API is `Effect.sleep or Schedule` from Effect. effect(globalTimers)"
 			}]
 		}
 	},
@@ -198876,7 +198950,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 83,
 				"end": 108,
-				"text": "Prefer using Effect.sleep or Schedule from Effect instead of setTimeout inside Effect generators. effect(globalTimersInEffect)"
+				"text": "This Effect code uses `setTimeout`, the corresponding timer API in this context is `Effect.sleep or Schedule` from Effect. effect(globalTimersInEffect)"
 			}]
 		}
 	},
@@ -198893,7 +198967,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 159,
 				"end": 180,
-				"text": "Consider using Schema.is instead of instanceof for Effect Schema types. effect(instanceOfSchema)"
+				"text": "This code uses `instanceof` with an Effect Schema type. `Schema.is` is the schema-aware runtime check for this case. effect(instanceOfSchema)"
 			}]
 		}
 	},
@@ -198910,7 +198984,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 15,
 				"end": 24,
-				"text": "Prefer using FileSystem from @effect/platform instead of the Node.js 'fs' module. effect(nodeBuiltinImport)"
+				"text": "This module reference uses the `fs` module, the corresponding Effect API is `FileSystem` from `@effect/platform`. effect(nodeBuiltinImport)"
 			}]
 		}
 	},
@@ -198927,7 +199001,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 142,
 				"end": 158,
-				"text": "Consider using Effect Schema for JSON operations instead of JSON.parse/JSON.stringify. effect(preferSchemaOverJson)"
+				"text": "This code uses `JSON.parse` or `JSON.stringify`. Effect Schema provides Effect-aware APIs for JSON parsing and stringifying. effect(preferSchemaOverJson)"
 			}]
 		}
 	},
@@ -198944,7 +199018,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 150,
 				"end": 162,
-				"text": "You can use Effect.mapError instead of Effect.catch + Effect.fail to transform the error type. effect(catchAllToMapError)"
+				"text": "`Effect.mapError` expresses the same error-type transformation more directly than `Effect.catch` followed by `Effect.fail`. effect(catchAllToMapError)"
 			}]
 		}
 	},
@@ -198961,7 +199035,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 116,
 				"end": 134,
-				"text": "Key should be 'effect-v4-tests/preview/RenamedService'. effect(deterministicKeys)"
+				"text": "This key does not match the deterministic key for this declaration. The expected key is `effect-v4-tests/preview/RenamedService`. effect(deterministicKeys)"
 			}]
 		}
 	},
@@ -198978,7 +199052,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 54,
 				"end": 61,
-				"text": "Can be rewritten as a reusable function: Effect.fn(function*() { ... }). effect(effectFnOpportunity)"
+				"text": "This expression can be rewritten in the reusable function form `Effect.fn(function*() { ... })`. effect(effectFnOpportunity)"
 			}]
 		}
 	},
@@ -198995,7 +199069,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 82,
 				"end": 92,
-				"text": "Effect.asVoid can be used instead to discard the success value. effect(effectMapVoid)"
+				"text": "This expression discards the success value through mapping. `Effect.asVoid` represents that form directly. effect(effectMapVoid)"
 			}]
 		}
 	},
@@ -199012,7 +199086,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 56,
 				"end": 81,
-				"text": "Effect.void can be used instead of Effect.succeed(undefined) or Effect.succeed(void 0). effect(effectSucceedWithVoid)"
+				"text": "`Effect.void` represents the same outcome as `Effect.succeed(undefined)` or `Effect.succeed(void 0)`. effect(effectSucceedWithVoid)"
 			}]
 		}
 	},
@@ -199029,7 +199103,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 116,
 				"end": 172,
-				"text": "Nested function calls can be converted to pipeable style for better readability; consider using Schema.decodeEffect(User)({ id: 1 }).pipe(...) instead. effect(missedPipeableOpportunity)"
+				"text": "This nested call structure has a pipeable form. `Schema.decodeEffect(User)({ id: 1 }).pipe(...)` represents the same call sequence in pipe style and may be easier to read. effect(missedPipeableOpportunity)"
 			}]
 		}
 	},
@@ -199080,7 +199154,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 64,
 				"end": 136,
-				"text": "Schema.Struct with a _tag field can be simplified to Schema.TaggedStruct to make the tag optional in the constructor. effect(schemaStructWithTag)"
+				"text": "This `Schema.Struct` includes a `_tag` field. `Schema.TaggedStruct` is the tagged-struct form for this pattern and makes the tag optional in the constructor. effect(schemaStructWithTag)"
 			}]
 		}
 	},
@@ -199097,7 +199171,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 64,
 				"end": 118,
-				"text": "A Schema.Union of multiple Schema.Literal calls can be simplified to a single Schema.Literal call. effect(schemaUnionOfLiterals)"
+				"text": "This `Schema.Union` contains multiple `Schema.Literal` members and can be simplified to a single `Schema.Literal` call. effect(schemaUnionOfLiterals)"
 			}]
 		}
 	},
@@ -199114,7 +199188,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 60,
 				"end": 107,
-				"text": "ServiceMap.Service should be used in a class declaration instead of as a variable. Use: class Preview extends ServiceMap.Service<Preview, { port: number }>()(\"Preview\") {} effect(serviceNotAsClass)"
+				"text": "`ServiceMap.Service` is assigned to a variable here, but this API is intended for a class declaration shape such as `class Preview extends ServiceMap.Service<Preview, { port: number }>()(\"Preview\") {}`. effect(serviceNotAsClass)"
 			}]
 		}
 	},
@@ -199169,7 +199243,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 178,
 				"end": 183,
-				"text": "This Effect.fail call uses a yieldable error type as argument. You can yield* the error directly instead. effect(unnecessaryFailYieldableError)"
+				"text": "This `yield* Effect.fail(...)` passes a yieldable error value. `yield*` represents that value directly without wrapping it in `Effect.fail`. effect(unnecessaryFailYieldableError)"
 			}]
 		}
 	},
@@ -199203,7 +199277,7 @@ var rules = [
 			"diagnostics": [{
 				"start": 64,
 				"end": 125,
-				"text": "Chained pipe calls can be simplified to a single pipe call. effect(unnecessaryPipeChain)"
+				"text": "This expression contains chained `pipe` calls that can be simplified to a single `pipe` call. effect(unnecessaryPipeChain)"
 			}]
 		}
 	}
@@ -199612,6 +199686,7 @@ function createRulePrompt(rules, initialSeverities) {
 const fromAssessment = (inputState) => ({
 	packageJson: {
 		lspVersion: inputState.packageJson.lspVersion,
+		nativePreviewVersion: inputState.packageJson.nativePreviewVersion,
 		prepareScript: map$9(inputState.packageJson.prepareScript, (_) => _.hasPatch).pipe(getOrElse$1(() => false))
 	},
 	tsconfig: { diagnosticSeverities: inputState.tsconfig.currentDiagnosticSeverities },
@@ -199783,6 +199858,7 @@ const gatherTargetState = (assessment, context) => gen(function* () {
 	if (lspDependencyType === "no") return {
 		packageJson: {
 			lspVersion: none$3(),
+			nativePreviewVersion: assessment.packageJson.nativePreviewVersion,
 			prepareScript: false
 		},
 		tsconfig: { diagnosticSeverities: none$3() },
@@ -199840,6 +199916,10 @@ const gatherTargetState = (assessment, context) => gen(function* () {
 				dependencyType: lspDependencyType,
 				version: context.defaultLspVersion
 			}),
+			nativePreviewVersion: orElse(assessment.packageJson.nativePreviewVersion, () => some({
+				dependencyType: lspDependencyType,
+				version: DEFAULT_NATIVE_PREVIEW_VERSION
+			})),
 			prepareScript: true
 		},
 		tsconfig: { diagnosticSeverities },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.1.0",
+  "version": "0.2.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.1.0",
-    "@effect/tsgo-win32-arm64": "0.1.0",
-    "@effect/tsgo-linux-x64": "0.1.0",
-    "@effect/tsgo-linux-arm64": "0.1.0",
-    "@effect/tsgo-linux-arm": "0.1.0",
-    "@effect/tsgo-darwin-x64": "0.1.0",
-    "@effect/tsgo-darwin-arm64": "0.1.0"
+    "@effect/tsgo-win32-x64": "0.2.0",
+    "@effect/tsgo-win32-arm64": "0.2.0",
+    "@effect/tsgo-linux-x64": "0.2.0",
+    "@effect/tsgo-linux-arm64": "0.2.0",
+    "@effect/tsgo-linux-arm": "0.2.0",
+    "@effect/tsgo-darwin-x64": "0.2.0",
+    "@effect/tsgo-darwin-arm64": "0.2.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.40",