@effect/language-service 0.50.0 → 0.51.0

package/README.md

@@ -5,6 +5,8 @@ This package implements a TypeScript language service plugin that allows additio
 ## Installation
 
 1. `npm install @effect/language-service --save-dev` in your project
+   - For monorepos: We suggest installing `@effect/language-service` in the monorepo root and configuring it in the root `tsconfig.json` for consistent behavior across all packages
+   - For any other package: Install directly in the package where you want to use it
 2. Inside your tsconfig.json, you should add the plugin configuration as follows:
 ```jsonc
 {
@@ -53,6 +55,7 @@ And you're done! You'll now be able to use a set of refactors and diagnostics th
 - Warn on leaking requirements in Effect services
 - Warn on Scope as requirement of a Layer
 - Warn on subsequent `Effect.provide` anti-pattern
+- Warn when using `Effect.provide` with Layer outside of application entry points
 - Detect wrong `Self` type parameter for APIs like `Effect.Service` or `Schema.TaggedError` and similar 
 - Unnecessary usages of `Effect.gen` or `pipe()`
 - Warn when using `Effect.gen` with the old generator adapter pattern

package/cli.js

@@ -33773,7 +33773,12 @@ var missedPipeableOpportunity = createDiagnostic({
                         "pipe"
                       ),
                       void 0,
-                      parentChain.filter(ts.isCallExpression).map((call) => call.expression)
+                      pipe(
+                        parentChain,
+                        filter2(ts.isCallExpression),
+                        map4((call) => call.expression),
+                        reverse
+                      )
                     )
                   );
                 })
@@ -35068,6 +35073,50 @@ var strictBooleanExpressions = createDiagnostic({
   })
 });
 
+// src/diagnostics/strictEffectProvide.ts
+var strictEffectProvide = createDiagnostic({
+  name: "strictEffectProvide",
+  code: 27,
+  severity: "off",
+  apply: fn2("strictEffectProvide.apply")(function* (sourceFile, report) {
+    const ts = yield* service2(TypeScriptApi);
+    const typeChecker = yield* service2(TypeCheckerApi);
+    const typeParser = yield* service2(TypeParser);
+    const parseEffectProvideWithLayer = (node) => gen3(function* () {
+      if (!ts.isCallExpression(node) || !ts.isPropertyAccessExpression(node.expression) || !ts.isIdentifier(node.expression.name) || ts.idText(node.expression.name) !== "provide" || node.arguments.length === 0) {
+        return yield* typeParserIssue("Not an Effect.provide call");
+      }
+      yield* typeParser.importedEffectModule(node.expression.expression);
+      return yield* firstSuccessOf2(
+        node.arguments.map((arg) => {
+          const argType = typeChecker.getTypeAtLocation(arg);
+          return typeParser.layerType(argType, arg);
+        })
+      );
+    });
+    const nodeToVisit = [];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    ts.forEachChild(sourceFile, appendNodeToVisit);
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      ts.forEachChild(node, appendNodeToVisit);
+      if (ts.isCallExpression(node)) {
+        const layerCheck = yield* pipe(parseEffectProvideWithLayer(node), option4);
+        if (isSome2(layerCheck)) {
+          report({
+            location: node,
+            messageText: "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.",
+            fixes: []
+          });
+        }
+      }
+    }
+  })
+});
+
 // src/diagnostics/tryCatchInEffectGen.ts
 var tryCatchInEffectGen = createDiagnostic({
   name: "tryCatchInEffectGen",
@@ -35358,7 +35407,8 @@ var diagnostics = [
   unsupportedServiceAccessors,
   nonObjectEffectServiceType,
   deterministicKeys,
-  missedPipeableOpportunity
+  missedPipeableOpportunity,
+  strictEffectProvide
 ];
 
 // src/cli/diagnostics.ts