@effect/language-service 0.63.2 → 0.64.0

package/README.md

@@ -49,6 +49,7 @@ And you're done! You'll now be able to use a set of refactors and diagnostics th
 ### Diagnostics
 
 - Better error readability when you're missing errors or service types in your Effect definitions
+- Better error readability when you're missing service requirements in your Layer definitions
 - Floating Effects that are not yielded or run
 - Wrong usage of yield inside `Effect.gen`
 - Multiple versions of Effect in your project
@@ -70,11 +71,13 @@ And you're done! You'll now be able to use a set of refactors and diagnostics th
 - Detect nested function calls that can be converted to pipeable style for better readability
 - Warn when using catch functions (`catchAll`, `catch`, `catchIf`, `catchSome`, `catchTag`, `catchTags`) on effects that never fail
 - Warn when catch callbacks in `Effect.tryPromise`, `Effect.tryMap`, or `Effect.tryMapPromise` return `unknown` or `any` types
+- Warn when catch callbacks in `Effect.tryPromise`, `Effect.try`, `Effect.tryMap`, or `Effect.tryMapPromise` return the global `Error` type instead of typed errors
 - Warn when using `Effect.runSync`, `Effect.runPromise`, `Effect.runFork`, or `Effect.runCallback` inside an Effect
 - Warn when using `Schema.Union` with multiple `Schema.Literal` calls that can be simplified to a single `Schema.Literal` call
 - Suggest using `Schema.TaggedStruct` instead of `Schema.Struct` when a `_tag` field with `Schema.Literal` is present to make the tag optional in the constructor
 - Warn when using `yield* Effect.fail()` with yieldable error types that can be yielded directly
 - Warn when using `Effect.fail` with the global `Error` type, recommending tagged errors
+- Warn when `Layer.mergeAll` contains layers with interdependencies (where one layer provides a service that another layer in the same call requires)
 
 ### Completions
 
@@ -247,6 +250,47 @@ Patches (or re-patches) your local TypeScript installation to provide Effect dia
 ### `effect-language-service unpatch`
 Revery any previously applied patch to the local TypeScript installation.
 
+### `effect-language-service overview`
+This command is useful to provide an overview of Effect-related exports in your files or project, and is very useful for LLMs to grasp an overall idea of what a file/project offers. Use `--file` to analyze a specific file, or `--project` with a tsconfig file to analyze an entire project.
+
+Example output:
+```
+✔ Processed 3 file(s)
+
+Yieldable Errors (2)
+  NotFoundError
+    ./src/errors.ts:5:1
+    NotFoundError
+    Thrown when a resource is not found
+
+  ValidationError
+    ./src/errors.ts:12:1
+    ValidationError
+    Thrown when input validation fails
+
+Services (2)
+  DbConnection
+    ./src/services/db.ts:6:1
+    DbConnection
+    Manages database connections and pooling
+
+  Cache
+    ./src/services/cache.ts:13:1
+    Cache
+    In-memory caching layer
+
+Layers (2)
+  CacheLive
+    ./src/layers/cache.ts:34:14
+    Layer<Cache, never, never>
+    Provides cache with file system backing
+
+  AppLive
+    ./src/layers/app.ts:39:14
+    Layer<Cache | UserRepository, never, never>
+    Complete application layer
+```
+
 ## Configuring diagnostics
 
 You can either disable or change the severity of specific diagnostics by using comments in your code.