@effect/language-service 0.25.0 → 0.25.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/language-service",
-  "version": "0.25.0",
+  "version": "0.25.1",
   "description": "A Language-Service Plugin to Refactor and Diagnostic effect-ts projects",
   "main": "index.cjs",
   "bin": {

package/transform.js

@@ -902,6 +902,7 @@ var NanoFiber = class {
   _stack = [];
   _yielded = void 0;
   _services = {};
+  _cache = {};
   runLoop(nano) {
     let current = nano;
     while (true) {
@@ -1052,8 +1053,32 @@ var service = (tag) => {
   nano[args] = tag;
   return nano;
 };
-function cachedBy(fa, _key, _lookupKey) {
-  return (...args2) => fa(...args2);
+var CachedProto = {
+  ...PrimitiveProto,
+  [evaluate](fiber) {
+    const [fa, type, key] = this[args];
+    const cache = fiber._cache[type] || /* @__PURE__ */ new WeakMap();
+    fiber._cache[type] = cache;
+    const cached2 = cache.get(key);
+    if (cached2) return cached2;
+    return match2(fa, {
+      onSuccess: (_) => {
+        cache.set(key, succeed(_));
+        return succeed(_);
+      },
+      onFailure: (_) => {
+        cache.set(key, fail(_));
+        return fail(_);
+      }
+    });
+  }
+};
+function cachedBy(fa, type, lookupKey) {
+  return (...p) => {
+    const nano = Object.create(CachedProto);
+    nano[args] = [fa(...p), type, lookupKey(...p)];
+    return nano;
+  };
 }
 var option = (fa) => {
   const nano = Object.create(MatchProto);
@@ -1630,8 +1655,7 @@ var unrollUnionMembers = (type) => {
 var appendToUniqueTypesMap = fn(
   "TypeCheckerApi.appendToUniqueTypesMap"
 )(
-  function* (memory, initialType, excludeNever) {
-    const ts = yield* service(TypeScriptApi);
+  function* (memory, initialType, shouldExclude) {
     const typeChecker = yield* service(TypeCheckerApi);
     const newIndexes = /* @__PURE__ */ new Set();
     const knownIndexes = /* @__PURE__ */ new Set();
@@ -1639,7 +1663,7 @@ var appendToUniqueTypesMap = fn(
     while (toTest.length > 0) {
       const type = toTest.pop();
       if (!type) break;
-      if (excludeNever && type.flags & ts.TypeFlags.Never) {
+      if (yield* shouldExclude(type)) {
         continue;
       }
       if (type.isUnion()) {
@@ -2887,7 +2911,18 @@ var leakingRequirements = createDiagnostic({
             );
             if (effectContextType) {
               effectMembers++;
-              const { allIndexes } = yield* appendToUniqueTypesMap(memory, effectContextType, true);
+              const { allIndexes } = yield* appendToUniqueTypesMap(
+                memory,
+                effectContextType,
+                (type) => {
+                  if (type.flags & ts.TypeFlags.Never) return succeed(true);
+                  return pipe(
+                    typeParser.scopeType(type, atLocation),
+                    map3(() => true),
+                    orElse2(() => succeed(false))
+                  );
+                }
+              );
               if (!sharedRequirementsKeys) {
                 sharedRequirementsKeys = allIndexes;
               } else {
@@ -3444,7 +3479,7 @@ Consider using "scoped" instead to get rid of the scope in the requirements.`,
 var tryCatchInEffectGen = createDiagnostic({
   name: "tryCatchInEffectGen",
   code: 12,
-  severity: "warning",
+  severity: "suggestion",
   apply: fn("tryCatchInEffectGen.apply")(function* (sourceFile, report) {
     const ts = yield* service(TypeScriptApi);
     const typeParser = yield* service(TypeParser);