@effect/language-service 0.22.0 → 0.22.2

package/package.json

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

package/transform.js

@@ -787,29 +787,11 @@ var filter = /* @__PURE__ */ dual(2, (self, predicate) => {
 });
 
 // src/core/Nano.ts
-var NanoInternalSuccessProto = {
-  _tag: "Right"
-};
 function makeInternalSuccess(value) {
-  const result = Object.create(NanoInternalSuccessProto);
-  result.value = value;
-  return result;
+  return { _tag: "Right", value };
 }
-var NanoInternalFailureProto = {
-  _tag: "Left"
-};
-function makeInternalFailure(value) {
-  const result = Object.create(NanoInternalFailureProto);
-  result.value = value;
-  return result;
-}
-var NanoInternalDefectProto = {
-  _tag: "Defect"
-};
 function makeInternalDefect(value) {
-  const result = Object.create(NanoInternalDefectProto);
-  result.value = value;
-  return result;
+  return { _tag: "Defect", value };
 }
 var NanoDefectException = class {
   constructor(message) {
@@ -824,17 +806,14 @@ var NanoTag = class {
 };
 var Tag = (identifier) => new NanoTag(identifier);
 var contextEmpty = { value: {} };
-var Proto = {
-  run: () => {
-  },
-  [Symbol.iterator]() {
-    return new SingleShotGen(new YieldWrap(this));
-  }
-};
 function make2(run2) {
-  const result = Object.create(Proto);
-  result.run = run2;
-  return result;
+  const nano = {
+    run: run2,
+    [Symbol.iterator]() {
+      return new SingleShotGen(new YieldWrap(this));
+    }
+  };
+  return nano;
 }
 var unsafeRun = (fa) => {
   const program = provideService(internalNanoCache, {})(fa);
@@ -855,9 +834,33 @@ var run = (fa) => {
     return left2(new NanoDefectException(e));
   }
 };
-var succeed = (value) => make2(() => makeInternalSuccess(value));
-var fail = (value) => make2(() => makeInternalFailure(value));
-var sync = (value) => make2(() => makeInternalSuccess(value()));
+var succeed = (value) => {
+  const nano = {
+    run: () => ({ _tag: "Right", value }),
+    [Symbol.iterator]() {
+      return new SingleShotGen(new YieldWrap(this));
+    }
+  };
+  return nano;
+};
+var fail = (value) => {
+  const nano = {
+    run: () => ({ _tag: "Left", value }),
+    [Symbol.iterator]() {
+      return new SingleShotGen(new YieldWrap(this));
+    }
+  };
+  return nano;
+};
+var sync = (value) => {
+  const nano = {
+    run: () => ({ _tag: "Right", value: value() }),
+    [Symbol.iterator]() {
+      return new SingleShotGen(new YieldWrap(this));
+    }
+  };
+  return nano;
+};
 var flatMap = dual(2, (fa, f) => make2((ctx) => {
   const result = fa.run(ctx);
   if (result._tag !== "Right") return result;
@@ -949,8 +952,9 @@ function cachedBy(fa, key, lookupKey) {
       cacheObj[key] = cache;
     }
     const lookup = lookupKey(...args);
-    if (cache.has(lookup)) {
-      return cache.get(lookup);
+    const cached2 = cache.get(lookup);
+    if (cached2 !== void 0) {
+      return cached2;
     }
     const result = fa(...args).run(ctx);
     cache.set(lookup, result);
@@ -2727,22 +2731,24 @@ var missingEffectContext = createDiagnostic({
     const sortTypes = sort(typeOrder);
     const entries = yield* expectedAndRealType(sourceFile);
     for (const [node, expectedType, valueNode, realType] of entries) {
-      const missingContext = yield* pipe(
-        checkForMissingContextTypes(
-          node,
-          expectedType,
-          valueNode,
-          realType
-        ),
-        orElse2(() => succeed([]))
-      );
-      if (missingContext.length > 0) {
-        report(
-          {
+      if (expectedType !== realType) {
+        yield* pipe(
+          checkForMissingContextTypes(
             node,
-            messageText: `Missing '${sortTypes(missingContext).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect context.`,
-            fixes: []
-          }
+            expectedType,
+            valueNode,
+            realType
+          ),
+          map3(
+            (missingTypes) => missingTypes.length > 0 ? report(
+              {
+                node,
+                messageText: `Missing '${sortTypes(missingTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect context.`,
+                fixes: []
+              }
+            ) : void 0
+          ),
+          ignore
         );
       }
     }
@@ -2773,22 +2779,24 @@ var missingEffectError = createDiagnostic({
     const sortTypes = sort(typeOrder);
     const entries = yield* expectedAndRealType(sourceFile);
     for (const [node, expectedType, valueNode, realType] of entries) {
-      const missingContext = yield* pipe(
-        checkForMissingErrorTypes(
-          node,
-          expectedType,
-          valueNode,
-          realType
-        ),
-        orElse2(() => succeed([]))
-      );
-      if (missingContext.length > 0) {
-        report(
-          {
+      if (expectedType !== realType) {
+        yield* pipe(
+          checkForMissingErrorTypes(
             node,
-            messageText: `Missing '${sortTypes(missingContext).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect errors.`,
-            fixes: []
-          }
+            expectedType,
+            valueNode,
+            realType
+          ),
+          map3(
+            (missingTypes) => missingTypes.length > 0 ? report(
+              {
+                node,
+                messageText: `Missing '${sortTypes(missingTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect errors.`,
+                fixes: []
+              }
+            ) : void 0
+          ),
+          ignore
         );
       }
     }