This PR contains the following updates:
| Package | Change | [Age](https://docs.renovatebot.com/merge-confidence/) | [Confidence](https://docs.renovatebot.com/merge-confidence/) |
|---|---|---|---|
| [@effect/language-service](https://github.com/Effect-TS/language-service) | [`^0.58.0` -> `^0.59.0`](https://renovatebot.com/diffs/npm/@effect%2flanguage-service/0.58.4/0.59.0) |  |  |
---
### Release Notes
<details>
<summary>Effect-TS/language-service (@​effect/language-service)</summary>
### [`v0.59.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0590)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.58.4...v0.59.0)
##### Minor Changes
- [#​518](https://github.com/Effect-TS/language-service/pull/518) [`660549d`](660549d2c0) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add new `schemaStructWithTag` diagnostic that suggests using `Schema.TaggedStruct` instead of `Schema.Struct` when a `_tag` field with `Schema.Literal` is present. This makes the tag optional in the constructor, improving the developer experience.
Example:
```typescript
// Before (triggers diagnostic)
export const User = Schema.Struct({
_tag: Schema.Literal("User"),
name: Schema.String,
age: Schema.Number,
});
// After (applying quick fix)
export const User = Schema.TaggedStruct("User", {
name: Schema.String,
age: Schema.Number,
});
```
The diagnostic includes a quick fix that automatically converts the `Schema.Struct` call to `Schema.TaggedStruct`, extracting the tag value and removing the `_tag` property from the fields.
##### Patch Changes
- [#​521](https://github.com/Effect-TS/language-service/pull/521) [`61f28ba`](61f28babbd) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix auto-completion for directly imported Effect APIs. Completions now work when using direct imports like `import { Service } from "effect/Effect"` instead of only working with fully qualified names like `Effect.Service`.
This fix applies to:
- `Effect.Service` and `Effect.Tag` from `effect/Effect`
- `Schema.Class`, `Schema.TaggedError`, `Schema.TaggedClass`, and `Schema.TaggedRequest` from `effect/Schema`
- `Data.TaggedError` and `Data.TaggedClass` from `effect/Data`
- `Context.Tag` from `effect/Context`
Example:
```typescript
// Now works with direct imports
import { Service } from "effect/Effect"
export class MyService extends Service // ✓ Completion available
// Still works with fully qualified names
import * as Effect from "effect/Effect"
export class MyService extends Effect.Service // ✓ Completion available
```
Fixes [#​394](https://github.com/Effect-TS/language-service/issues/394)
</details>
---
### Configuration
📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied.
♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 **Ignore**: Close this PR and you won't be reminded about this update again.
---
- [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box
---
This PR has been generated by [Renovate Bot](https://github.com/renovatebot/renovate).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0Mi4zMi4xIiwidXBkYXRlZEluVmVyIjoiNDIuMzIuMSIsInRhcmdldEJyYW5jaCI6Im5leHQiLCJsYWJlbHMiOltdfQ==-->
Reviewed-on: https://git.valverde.cloud/Thilawyn/effect-fc/pulls/27
Co-authored-by: Renovate Bot <renovate-bot@valverde.cloud>
Co-committed-by: Renovate Bot <renovate-bot@valverde.cloud>
This PR contains the following updates:
| Package | Change | [Age](https://docs.renovatebot.com/merge-confidence/) | [Confidence](https://docs.renovatebot.com/merge-confidence/) |
|---|---|---|---|
| [@effect/language-service](https://github.com/Effect-TS/language-service) | [`^0.56.0` -> `^0.58.0`](https://renovatebot.com/diffs/npm/@effect%2flanguage-service/0.56.0/0.58.0) |  |  |
---
### Release Notes
<details>
<summary>Effect-TS/language-service (@​effect/language-service)</summary>
### [`v0.58.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0580)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.57.1...v0.58.0)
##### Minor Changes
- [#​505](https://github.com/Effect-TS/language-service/pull/505) [`31cff49`](31cff498b6) Thanks [@​clayroach](https://github.com/clayroach)! - Enhance `diagnostics` CLI command with new options for CI/CD integration and tooling:
- **`--format`**: Output format selection (`json`, `pretty`, `text`, `github-actions`)
- `json`: Machine-readable JSON output with structured diagnostics and summary
- `pretty`: Colored output with context (default, original behavior)
- `text`: Plain text output without colors
- `github-actions`: GitHub Actions workflow commands for inline PR annotations
- **`--strict`**: Treat warnings as errors (affects exit code)
- **`--severity`**: Filter diagnostics by severity level (comma-separated: `error`, `warning`, `message`)
- **Exit codes**: Returns exit code 1 when errors are found (or warnings in strict mode)
Example usage:
```bash
# JSON output for CI/CD pipelines
effect-language-service diagnostics --project tsconfig.json --format json
# GitHub Actions with inline annotations
effect-language-service diagnostics --project tsconfig.json --format github-actions
# Strict mode for CI (fail on warnings)
effect-language-service diagnostics --project tsconfig.json --strict
# Only show errors
effect-language-service diagnostics --project tsconfig.json --severity error
```
Closes Effect-TS/effect [#​5180](https://github.com/Effect-TS/language-service/issues/5180).
### [`v0.57.1`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0571)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.57.0...v0.57.1)
##### Patch Changes
- [#​503](https://github.com/Effect-TS/language-service/pull/503) [`857e43e`](857e43e258) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add codefix to `runEffectInsideEffect` diagnostic that automatically transforms `Effect.run*` calls to use `Runtime.run*` when inside nested Effect contexts. The codefix will extract or reuse an existing Effect runtime and replace the direct Effect run call with the appropriate Runtime method.
Example:
```typescript
// Before
Effect.gen(function* () {
websocket.onmessage = (event) => {
Effect.runPromise(check);
};
});
// After applying codefix
Effect.gen(function* () {
const effectRuntime = yield* Effect.runtime<never>();
websocket.onmessage = (event) => {
Runtime.runPromise(effectRuntime, check);
};
});
```
### [`v0.57.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0570)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.56.0...v0.57.0)
##### Minor Changes
- [#​500](https://github.com/Effect-TS/language-service/pull/500) [`acc2d43`](acc2d43d62) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add new `annotate` codegen that automatically adds type annotations to exported constants based on their initializer types. This codegen can be used by adding `// @​effect-codegens annotate` comments above variable declarations.
Example:
```typescript
// @​effect-codegens annotate
export const test = Effect.gen(function* () {
if (Math.random() < 0.5) {
return yield* Effect.fail("error");
}
return 1 as const;
});
// Becomes:
// @​effect-codegens annotate:5fce15f7af06d924
export const test: Effect.Effect<1, string, never> = Effect.gen(function* () {
if (Math.random() < 0.5) {
return yield* Effect.fail("error");
}
return 1 as const;
});
```
The codegen automatically detects the type from the initializer and adds the appropriate type annotation, making code more explicit and type-safe.
- [#​497](https://github.com/Effect-TS/language-service/pull/497) [`b188b74`](b188b74204) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add new diagnostic `unnecessaryFailYieldableError` that warns when using `yield* Effect.fail()` with yieldable error types. The diagnostic suggests yielding the error directly instead of wrapping it with `Effect.fail()`, as yieldable errors (like `Data.TaggedError` and `Schema.TaggedError`) can be yielded directly in Effect generators.
Example:
```typescript
// ❌ Unnecessary Effect.fail wrapper
yield * Effect.fail(new DataTaggedError());
// ✅ Direct yield of yieldable error
yield * new DataTaggedError();
```
</details>
---
### Configuration
📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied.
♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 **Ignore**: Close this PR and you won't be reminded about this update again.
---
- [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box
---
This PR has been generated by [Renovate Bot](https://github.com/renovatebot/renovate).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0Mi4yNS4zIiwidXBkYXRlZEluVmVyIjoiNDIuMjcuNSIsInRhcmdldEJyYW5jaCI6Im5leHQiLCJsYWJlbHMiOltdfQ==-->
Reviewed-on: #25
Co-authored-by: Renovate Bot <renovate-bot@valverde.cloud>
Co-committed-by: Renovate Bot <renovate-bot@valverde.cloud>
This PR contains the following updates:
| Package | Change | Age | Confidence |
|---|---|---|---|
| [@effect/language-service](https://github.com/Effect-TS/language-service) | [`^0.49.0` -> `^0.54.0`](https://renovatebot.com/diffs/npm/@effect%2flanguage-service/0.49.0/0.54.0) | [](https://docs.renovatebot.com/merge-confidence/) | [](https://docs.renovatebot.com/merge-confidence/) |
---
### Release Notes
<details>
<summary>Effect-TS/language-service (@​effect/language-service)</summary>
### [`v0.54.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0540)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.53.3...v0.54.0)
##### Minor Changes
- [#​476](https://github.com/Effect-TS/language-service/pull/476) [`9d5028c`](9d5028c92c) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add `unknownInEffectCatch` diagnostic to warn when catch callbacks in `Effect.tryPromise`, `Effect.tryMap`, or `Effect.tryMapPromise` return `unknown` or `any` types. This helps ensure proper error typing by encouraging developers to wrap unknown errors into Effect's `Data.TaggedError` or narrow down the type to the specific error being raised.
Example:
```typescript
// ❌ Will trigger diagnostic
const program = Effect.tryPromise({
try: () => fetch("http://something"),
catch: (e) => e, // returns unknown
});
// ✅ Proper typed error
class MyError extends Data.TaggedError("MyError")<{ cause: unknown }> {}
const program = Effect.tryPromise({
try: () => fetch("http://something"),
catch: (e) => new MyError({ cause: e }),
});
```
##### Patch Changes
- [#​475](https://github.com/Effect-TS/language-service/pull/475) [`9f2425e`](9f2425e65e) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix TSC patching mode to properly filter diagnostics by module name. The `reportSuggestionsAsWarningsInTsc` option now only affects the TSC module and not the TypeScript module, preventing suggestions from being incorrectly reported in non-TSC contexts.
### [`v0.53.3`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0533)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.53.2...v0.53.3)
##### Patch Changes
- [#​473](https://github.com/Effect-TS/language-service/pull/473) [`b29eca5`](b29eca54ae) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix memory leak in CLI diagnostics by properly disposing language services when they change between batches.
The CLI diagnostics command now tracks the language service instance and disposes of it when a new instance is created, preventing memory accumulation during batch processing of large codebases.
- [#​474](https://github.com/Effect-TS/language-service/pull/474) [`06b9ac1`](06b9ac1439) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix TSC patching mode to properly enable diagnosticsName option and simplify suggestion handling.
When using the language service in TSC patching mode, the `diagnosticsName` option is now automatically enabled to ensure diagnostic rule names are included in the output. Additionally, the handling of suggestion-level diagnostics has been simplified - when `reportSuggestionsAsWarningsInTsc` is enabled, suggestions are now converted to Message category instead of Warning category with a prefix.
This change ensures consistent diagnostic formatting across both IDE and CLI usage modes.
- [#​471](https://github.com/Effect-TS/language-service/pull/471) [`be70748`](be70748806) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Improve CLI diagnostics output formatting by displaying rule names in a more readable format.
The CLI now displays diagnostic rule names using the format `effect(ruleName):` instead of `TS<code>:`, making it easier to identify which Effect diagnostic rule triggered the error. Additionally, the CLI now disables the `diagnosticsName` option internally to prevent duplicate rule name display in the message text.
Example output:
```
Before: TS90001: Floating Effect detected...
After: effect(floatingEffect): Floating Effect detected...
```
### [`v0.53.2`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0532)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.53.1...v0.53.2)
##### Patch Changes
- [#​469](https://github.com/Effect-TS/language-service/pull/469) [`f27be56`](f27be56a61) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add `reportSuggestionsAsWarningsInTsc` configuration option to allow suggestions and messages to be reported as warnings in TypeScript compiler.
When enabled, diagnostics with "suggestion" or "message" severity will be upgraded to "warning" severity with a "\[suggestion]" prefix in the message text. This is useful for CI/CD pipelines where you want to enforce suggestion-level diagnostics as warnings in the TypeScript compiler output.
Example configuration:
```json
{
"compilerOptions": {
"plugins": [
{
"name": "@​effect/language-service",
"reportSuggestionsAsWarningsInTsc": true
}
]
}
}
```
### [`v0.53.1`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0531)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.53.0...v0.53.1)
##### Patch Changes
- [#​467](https://github.com/Effect-TS/language-service/pull/467) [`c2f6e50`](c2f6e5036b) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix layer graph display improvements: properly render newlines in mermaid diagrams using `<br/>` tags, and improve readability by displaying variable declaration names instead of full expressions when available.
Example: Instead of showing the entire `pipe(Database.Default, Layer.provideMerge(UserRepository.Default))` expression in the graph node, it now displays the cleaner variable name `AppLive` when the layer is assigned to a variable.
### [`v0.53.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0530)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.52.1...v0.53.0)
##### Minor Changes
- [#​466](https://github.com/Effect-TS/language-service/pull/466) [`e76e9b9`](e76e9b9045) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add support for following symbols in Layer Graph visualization
The layer graph feature now supports following symbol references to provide deeper visualization of layer dependencies. This is controlled by the new `layerGraphFollowDepth` configuration option (default: 0).
Example:
```typescript
// With layerGraphFollowDepth: 1
export const myLayer = otherLayer.pipe(Layer.provide(DbConnection.Default));
// Now visualizes the full dependency tree by following the 'otherLayer' reference
```
##### Patch Changes
- [#​464](https://github.com/Effect-TS/language-service/pull/464) [`4cbd549`](4cbd5499a5) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Fix layer graph for expression nodes not returning layers directly
### [`v0.52.1`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0521)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.52.0...v0.52.1)
##### Patch Changes
- [#​462](https://github.com/Effect-TS/language-service/pull/462) [`4931bbd`](4931bbd5d4) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Skip patching again by default, unless --force option is provided
### [`v0.52.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0520)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.51.1...v0.52.0)
##### Minor Changes
- [#​460](https://github.com/Effect-TS/language-service/pull/460) [`1ac81a0`](1ac81a0edb) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add new diagnostic `catchUnfailableEffect` to warn when using catch functions on effects that never fail
This diagnostic detects when catch error handling functions are applied to effects that have a `never` error type (meaning they cannot fail). It supports all Effect catch variants:
- `Effect.catchAll`
- `Effect.catch`
- `Effect.catchIf`
- `Effect.catchSome`
- `Effect.catchTag`
- `Effect.catchTags`
Example:
```typescript
// Will trigger diagnostic
const example = Effect.succeed(42).pipe(
Effect.catchAll(() => Effect.void) // <- Warns here
);
// Will not trigger diagnostic
const example2 = Effect.fail("error").pipe(
Effect.catchAll(() => Effect.succeed(42))
);
```
The diagnostic works in both pipeable style (`Effect.succeed(x).pipe(Effect.catchAll(...))`) and data-first style (`pipe(Effect.succeed(x), Effect.catchAll(...))`), analyzing the error type at each position in the pipe chain.
- [#​458](https://github.com/Effect-TS/language-service/pull/458) [`372a9a7`](372a9a767b) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Refactor TypeParser internals to use symbol-based navigation instead of type-based navigation
This change improves the reliability and performance of the TypeParser by switching from type-based navigation to symbol-based navigation when identifying Effect, Schema, and other Effect ecosystem APIs. The new implementation:
- Uses TypeScript's symbol resolution APIs to accurately identify imports and references
- Supports package name resolution to verify that identifiers actually reference the correct packages
- Implements proper alias resolution for imported symbols
- Adds caching for source file package information lookups
- Provides new helper methods like `isNodeReferenceToEffectModuleApi` and `isNodeReferenceToEffectSchemaModuleApi`
This is an internal refactoring that doesn't change the public API or functionality, but provides a more robust foundation for the language service features.
### [`v0.51.1`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0511)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.51.0...v0.51.1)
##### Patch Changes
- [#​456](https://github.com/Effect-TS/language-service/pull/456) [`ddc3da8`](ddc3da8771) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Bug fix for layer graph: properly display dependencies when they reference themselves
The layer graph now correctly identifies and displays dependencies even when using type assignment compatibility (e.g., when a layer provides a base type and another layer requires a subtype).
### [`v0.51.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0510)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.50.0...v0.51.0)
##### Minor Changes
- [#​452](https://github.com/Effect-TS/language-service/pull/452) [`fb0ae8b`](fb0ae8bf7b) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add `strictEffectProvide` diagnostic to warn when using Effect.provide with Layer outside of application entry points
This new diagnostic helps developers identify potential scope lifetime issues by detecting when `Effect.provide` is called with a Layer argument in locations that are not application entry points.
**Example:**
```typescript
// Will trigger diagnostic
export const program = Effect.void.pipe(Effect.provide(MyService.Default));
```
**Message:**
> Effect.provide with a Layer should only be used at application entry points. If this is an entry point, you can safely disable this diagnostic. Otherwise, using Effect.provide may break scope lifetimes. Compose all layers at your entry point and provide them at once.
**Configuration:**
- **Default severity**: `"off"` (opt-in)
- **Diagnostic name**: `strictEffectProvide`
This diagnostic is disabled by default and can be enabled via tsconfig.json:
```json
{
"compilerOptions": {
"plugins": [
{
"name": "@​effect/language-service",
"diagnosticSeverity": {
"strictEffectProvide": "warning"
}
}
]
}
}
```
##### Patch Changes
- [#​455](https://github.com/Effect-TS/language-service/pull/455) [`11743b5`](11743b5144) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Bug fix for `missedPipeableOpportunity` diagnostic
### [`v0.50.0`](https://github.com/Effect-TS/language-service/blob/HEAD/CHANGELOG.md#0500)
[Compare Source](https://github.com/Effect-TS/language-service/compare/v0.49.0...v0.50.0)
##### Minor Changes
- [#​450](https://github.com/Effect-TS/language-service/pull/450) [`3994aaf`](3994aafb7d) Thanks [@​mattiamanzati](https://github.com/mattiamanzati)! - Add new diagnostic to detect nested function calls that can be converted to pipeable style
The new `missedPipeableOpportunity` diagnostic identifies nested function calls that would be more readable when converted to Effect's pipeable style. For example:
```ts
// Detected pattern:
toString(double(addOne(5)));
// Can be converted to:
addOne(5).pipe(double, toString);
```
This diagnostic helps maintain consistent code style and improves readability by suggesting the more idiomatic pipeable approach when multiple functions are chained together.
</details>
---
### Configuration
📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied.
♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 **Ignore**: Close this PR and you won't be reminded about this update again.
---
- [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check this box
---
This PR has been generated by [Renovate Bot](https://github.com/renovatebot/renovate).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0MS4xNjUuNCIsInVwZGF0ZWRJblZlciI6IjQxLjE2OS4xIiwidGFyZ2V0QnJhbmNoIjoibmV4dCIsImxhYmVscyI6W119-->
Reviewed-on: #21
Co-authored-by: Renovate Bot <renovate-bot@valverde.cloud>
Co-committed-by: Renovate Bot <renovate-bot@valverde.cloud>
Julien Valverdé
Julien Valverdé
