@effect/language-service 0.81.0 → 0.83.0

package/effect-lsp-patch-utils.js

@@ -27,7 +27,7 @@ __export(effect_lsp_patch_utils_exports, {
 });
 module.exports = __toCommonJS(effect_lsp_patch_utils_exports);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Pipeable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Pipeable.js
 var pipeArguments = (self, args3) => {
   switch (args3.length) {
     case 0:
@@ -60,7 +60,7 @@ var pipeArguments = (self, args3) => {
   }
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Function.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Function.js
 var dual = function(arity, body) {
   if (typeof arity === "function") {
     return function() {
@@ -108,7 +108,7 @@ function pipe(a, ...args3) {
   return pipeArguments(a, args3);
 }
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/internal/equal.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/internal/equal.js
 var getAllObjectKeys = (obj) => {
   const keys2 = new Set(Reflect.ownKeys(obj));
   if (obj.constructor === Object) return keys2;
@@ -131,7 +131,7 @@ var getAllObjectKeys = (obj) => {
 };
 var byReferenceInstances = /* @__PURE__ */ new WeakSet();
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Predicate.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Predicate.js
 function isString(input) {
   return typeof input === "string";
 }
@@ -152,7 +152,7 @@ function isObjectKeyword(input) {
 }
 var hasProperty = /* @__PURE__ */ dual(2, (self, property) => isObjectKeyword(self) && property in self);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Hash.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Hash.js
 var symbol = "~effect/interfaces/Hash";
 var hash = (self) => {
   switch (typeof self) {
@@ -271,7 +271,7 @@ function withVisitedTracking(obj, fn2) {
   return result;
 }
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Equal.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Equal.js
 var symbol2 = "~effect/interfaces/Equal";
 function equals() {
   if (arguments.length === 1) {
@@ -433,10 +433,10 @@ var compareSets = /* @__PURE__ */ makeCompareSet(compareBoth);
 var isEqual = (u) => hasProperty(u, symbol2);
 var asEquivalence = () => equals;
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/internal/array.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/internal/array.js
 var isArrayNonEmpty = (self) => self.length > 0;
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Redactable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Redactable.js
 var symbolRedactable = /* @__PURE__ */ Symbol.for("~effect/Inspectable/redactable");
 var isRedactable = (u) => hasProperty(u, symbolRedactable);
 function redact(u) {
@@ -455,7 +455,7 @@ var emptyServiceMap = {
   }
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Formatter.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Formatter.js
 function format(input, options) {
   const space = options?.space ?? 0;
   const seen = /* @__PURE__ */ new WeakSet();
@@ -534,7 +534,7 @@ function safeToString(input) {
   }
 }
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Inspectable.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Inspectable.js
 var NodeInspectSymbol = /* @__PURE__ */ Symbol.for("nodejs.util.inspect.custom");
 var toJson = (input) => {
   try {
@@ -578,30 +578,7 @@ var Class = class {
   }
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Utils.js
-var GenKindTypeId = "~effect/Utils/GenKind";
-var GenKindImpl = class {
-  value;
-  constructor(value) {
-    this.value = value;
-  }
-  get _F() {
-    return identity;
-  }
-  get _R() {
-    return (_) => _;
-  }
-  get _O() {
-    return (_) => _;
-  }
-  get _E() {
-    return (_) => _;
-  }
-  [GenKindTypeId] = GenKindTypeId;
-  [Symbol.iterator]() {
-    return new SingleShotGen(this);
-  }
-};
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Utils.js
 var SingleShotGen = class _SingleShotGen {
   called = false;
   self;
@@ -627,7 +604,7 @@ var SingleShotGen = class _SingleShotGen {
     return new _SingleShotGen(this.self);
   }
 };
-var InternalTypeId = "~effect/Effect/internal";
+var InternalTypeId = "~effect/Utils/internal";
 var standard = {
   [InternalTypeId]: (body) => {
     return body();
@@ -643,10 +620,8 @@ var forced = {
 };
 var isNotOptimizedAway = /* @__PURE__ */ standard[InternalTypeId](() => new Error().stack)?.includes(InternalTypeId) === true;
 var internalCall = isNotOptimizedAway ? standard[InternalTypeId] : forced[InternalTypeId];
-var genConstructor = function* () {
-}.constructor;
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/internal/core.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/internal/core.js
 var EffectTypeId = `~effect/Effect`;
 var ExitTypeId = `~effect/Exit`;
 var effectVariance = {
@@ -993,7 +968,7 @@ var DoneVoid = {
   value: void 0
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/internal/option.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/internal/option.js
 var TypeId = "~effect/data/Option";
 var CommonProto = {
   [TypeId]: {
@@ -1025,10 +1000,16 @@ var SomeProto = /* @__PURE__ */ Object.assign(/* @__PURE__ */ Object.create(Comm
     return exitSucceed(this.value);
   }
 });
+Object.defineProperty(SomeProto, "valueOrUndefined", {
+  get() {
+    return this.value;
+  }
+});
 var NoneHash = /* @__PURE__ */ hash("None");
 var NoneProto = /* @__PURE__ */ Object.assign(/* @__PURE__ */ Object.create(CommonProto), {
   _tag: "None",
   _op: "None",
+  valueOrUndefined: void 0,
   [symbol2](that) {
     return isOption(that) && isNone(that);
   },
@@ -1058,7 +1039,7 @@ var some = (value) => {
   return a;
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/internal/result.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/internal/result.js
 var TypeId2 = "~effect/data/Result";
 var CommonProto2 = {
   [TypeId2]: {
@@ -1129,13 +1110,13 @@ var succeed = (success) => {
   return a;
 };
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Order.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Order.js
 function make(compare) {
   return (self, that) => self === that ? 0 : compare(self, that);
 }
 var String2 = /* @__PURE__ */ make((self, that) => self < that ? -1 : 1);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Option.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Option.js
 var none2 = () => none;
 var some2 = some;
 var isNone2 = isNone;
@@ -1145,7 +1126,7 @@ var orElse = /* @__PURE__ */ dual(2, (self, that) => isNone2(self) ? that() : se
 var fromNullishOr = (a) => a == null ? none2() : some2(a);
 var getOrUndefined = /* @__PURE__ */ getOrElse(constUndefined);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Result.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Result.js
 var succeed2 = succeed;
 var fail2 = fail;
 var isFailure2 = isFailure;
@@ -1153,7 +1134,7 @@ var isSuccess2 = isSuccess;
 var map = /* @__PURE__ */ dual(2, (self, f) => isSuccess2(self) ? succeed2(f(self.success)) : fail2(self.failure));
 var getOrElse2 = /* @__PURE__ */ dual(2, (self, onFailure) => isFailure2(self) ? onFailure(self.failure) : self.success);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Record.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Record.js
 var map2 = /* @__PURE__ */ dual(2, (self, f) => {
   const out = {
     ...self
@@ -1165,7 +1146,7 @@ var map2 = /* @__PURE__ */ dual(2, (self, f) => {
 });
 var keys = (self) => Object.keys(self);
 
-// ../../node_modules/.pnpm/effect@4.0.0-beta.27/node_modules/effect/dist/Array.js
+// ../../node_modules/.pnpm/effect@4.0.0-beta.37/node_modules/effect/dist/Array.js
 var Array2 = globalThis.Array;
 var fromIterable = (collection) => Array2.isArray(collection) ? collection : Array2.from(collection);
 var append = /* @__PURE__ */ dual(2, (self, last) => [...self, last]);
@@ -5549,6 +5530,7 @@ var classSelfMismatch = createDiagnostic({
       if (ts.isClassDeclaration(node) && node.name && node.heritageClauses) {
         const result = yield* pipe(
           typeParser.extendsEffectService(node),
+          orElse2(() => typeParser.extendsServiceMapService(node)),
           orElse2(() => typeParser.extendsContextTag(node)),
           orElse2(() => typeParser.extendsEffectTag(node)),
           orElse2(() => typeParser.extendsSchemaClass(node)),
@@ -5924,6 +5906,89 @@ var effectFnIife = createDiagnostic({
   })
 });
 
+// src/diagnostics/effectFnImplicitAny.ts
+var getParameterName = (typescript, name) => {
+  if (typescript.isIdentifier(name)) {
+    return typescript.idText(name);
+  }
+  return "parameter";
+};
+var hasOuterContextualFunctionType = (typescript, typeChecker, node) => {
+  const contextualType = typeChecker.getContextualType(node);
+  if (!contextualType) {
+    return false;
+  }
+  return typeChecker.getSignaturesOfType(contextualType, typescript.SignatureKind.Call).length > 0;
+};
+var effectFnImplicitAny = createDiagnostic({
+  name: "effectFnImplicitAny",
+  code: 54,
+  description: "Mirrors noImplicitAny for unannotated Effect.fn and Effect.fnUntraced callback parameters when no outer contextual function type exists",
+  group: "correctness",
+  severity: "error",
+  fixable: false,
+  supportedEffect: ["v3", "v4"],
+  apply: fn("effectFnImplicitAny.apply")(function* (sourceFile, report) {
+    const ts = yield* service(TypeScriptApi);
+    const program = yield* service(TypeScriptProgram);
+    const typeChecker = yield* service(TypeCheckerApi);
+    const typeParser = yield* service(TypeParser);
+    const noImplicitAny = program.getCompilerOptions().noImplicitAny ?? program.getCompilerOptions().strict ?? false;
+    if (!noImplicitAny) {
+      return;
+    }
+    const nodeToVisit = [sourceFile];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.pop();
+      ts.forEachChild(node, appendNodeToVisit);
+      const parsed = yield* pipe(
+        typeParser.effectFn(node),
+        map4((result) => ({
+          call: result.node,
+          fn: result.regularFunction
+        })),
+        orElse2(
+          () => pipe(
+            typeParser.effectFnGen(node),
+            map4((result) => ({
+              call: result.node,
+              fn: result.generatorFunction
+            }))
+          )
+        ),
+        orElse2(
+          () => pipe(
+            typeParser.effectFnUntracedGen(node),
+            map4((result) => ({
+              call: result.node,
+              fn: result.generatorFunction
+            }))
+          )
+        ),
+        orUndefined
+      );
+      if (!parsed || hasOuterContextualFunctionType(ts, typeChecker, parsed.call)) {
+        continue;
+      }
+      for (const parameter of parsed.fn.parameters) {
+        if (parameter.type || parameter.initializer) {
+          continue;
+        }
+        const parameterName = getParameterName(ts, parameter.name);
+        report({
+          location: parameter.name,
+          messageText: `Parameter '${parameterName}' implicitly has an 'any' type in Effect.fn/Effect.fnUntraced. Add an explicit type annotation or provide a contextual function type.`,
+          fixes: []
+        });
+      }
+    }
+  })
+});
+
 // src/diagnostics/effectFnOpportunity.ts
 var effectFnOpportunity = createDiagnostic({
   name: "effectFnOpportunity",
@@ -7458,6 +7523,24 @@ var leakingRequirements = createDiagnostic({
     const typeCheckerUtils = yield* service(TypeCheckerUtils);
     const typeParser = yield* service(TypeParser);
     const tsUtils = yield* service(TypeScriptUtils);
+    const isExpectedLeakingServiceSuppressed = (leakedServiceName, startNode) => {
+      const sourceFile2 = tsUtils.getSourceFileOfNode(startNode);
+      if (!sourceFile2) return false;
+      return !!ts.findAncestor(startNode, (current) => {
+        const ranges = ts.getLeadingCommentRanges(sourceFile2.text, current.pos) ?? [];
+        const isSuppressed = ranges.some((range) => {
+          const commentText = sourceFile2.text.slice(range.pos, range.end);
+          return commentText.split("\n").filter((line) => line.includes("@effect-expect-leaking")).some((line) => {
+            const markerIndex = line.indexOf("@effect-expect-leaking");
+            return markerIndex !== -1 && line.slice(markerIndex + "@effect-expect-leaking".length).includes(leakedServiceName);
+          });
+        });
+        if (isSuppressed) {
+          return true;
+        }
+        return ts.isClassDeclaration(current) || ts.isVariableStatement(current) || ts.isExpressionStatement(current) || ts.isStatement(current) ? "quit" : false;
+      });
+    };
     const parseLeakedRequirements = cachedBy(
       fn("leakingServices.checkServiceLeaking")(
         function* (service2, atLocation) {
@@ -7539,8 +7622,12 @@ var leakingRequirements = createDiagnostic({
       (_, service2) => service2
     );
     function reportLeakingRequirements(node, requirements) {
-      if (requirements.length === 0) return;
-      const requirementsStr = requirements.map((_) => typeChecker.typeToString(_)).join(" | ");
+      const filteredRequirements = requirements.filter(
+        (requirement) => !isExpectedLeakingServiceSuppressed(typeChecker.typeToString(requirement), node)
+      );
+      if (filteredRequirements.length === 0) return;
+      const requirementsStr = filteredRequirements.map((_) => typeChecker.typeToString(_)).join(" | ");
+      const firstStr = typeChecker.typeToString(filteredRequirements[0]);
       report({
         location: node,
         messageText: `Methods of this Service require \`${requirementsStr}\` from every caller.
@@ -7549,7 +7636,7 @@ This leaks implementation details into the service's public type \u2014 callers
 
 Resolve these dependencies at Layer creation and provide them to each method, so the service's type reflects its purpose, not its implementation.
 
-To suppress this diagnostic for specific dependency types that are intentionally passed through (e.g., HttpServerRequest), add \`@effect-leakable-service\` JSDoc to their interface declarations (e.g., the \`${typeChecker.typeToString(requirements[0])}\` interface), not to this service.
+To suppress this diagnostic for specific dependency types that are intentionally passed through (e.g., HttpServerRequest), add \`@effect-leakable-service\` JSDoc to their interface declarations (e.g., the \`${firstStr}\` interface), or to this service by adding a \`@effect-expect-leaking ${firstStr}\` JSDoc.
 
 More info and examples at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage`,
         fixes: []
@@ -11870,6 +11957,7 @@ var diagnostics = [
   catchUnfailableEffect,
   classSelfMismatch,
   duplicatePackage,
+  effectFnImplicitAny,
   effectGenUsesAdapter,
   missingEffectContext,
   missingEffectError,