@effect/language-service 0.28.2 → 0.29.0

package/index.js

@@ -1,11 +1,6 @@
 "use strict";
-var __defProp = Object.defineProperty;
-var __export = (target, all3) => {
-  for (var name in all3)
-    __defProp(target, name, { get: all3[name], enumerable: true });
-};
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Function.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Function.js
 var isFunction = (input) => typeof input === "function";
 var dual = function(arity, body) {
   if (typeof arity === "function") {
@@ -101,7 +96,7 @@ function pipe(a, ab, bc, cd, de, ef, fg, gh, hi) {
   }
 }
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Equivalence.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Equivalence.js
 var make = (isEquivalent) => (self, that) => self === that || isEquivalent(self, that);
 var array = (item) => make((self, that) => {
   if (self.length !== that.length) {
@@ -116,12 +111,8 @@ var array = (item) => make((self, that) => {
   return true;
 });
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/version.js
-var moduleVersion = "3.16.12";
-var getCurrentVersion = () => moduleVersion;
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/GlobalValue.js
-var globalStoreId = `effect/GlobalValue/globalStoreId/${/* @__PURE__ */ getCurrentVersion()}`;
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/GlobalValue.js
+var globalStoreId = `effect/GlobalValue`;
 var globalStore;
 var globalValue = (id, compute) => {
   if (!globalStore) {
@@ -134,156 +125,20 @@ var globalValue = (id, compute) => {
   return globalStore.get(id);
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Predicate.js
-var Predicate_exports = {};
-__export(Predicate_exports, {
-  all: () => all,
-  and: () => and,
-  compose: () => compose,
-  eqv: () => eqv,
-  every: () => every,
-  hasProperty: () => hasProperty,
-  implies: () => implies,
-  isBigInt: () => isBigInt,
-  isBoolean: () => isBoolean,
-  isDate: () => isDate,
-  isError: () => isError,
-  isFunction: () => isFunction2,
-  isIterable: () => isIterable,
-  isMap: () => isMap,
-  isNever: () => isNever,
-  isNotNull: () => isNotNull,
-  isNotNullable: () => isNotNullable,
-  isNotUndefined: () => isNotUndefined,
-  isNull: () => isNull,
-  isNullable: () => isNullable,
-  isNumber: () => isNumber,
-  isObject: () => isObject,
-  isPromise: () => isPromise,
-  isPromiseLike: () => isPromiseLike,
-  isPropertyKey: () => isPropertyKey,
-  isReadonlyRecord: () => isReadonlyRecord,
-  isRecord: () => isRecord,
-  isRecordOrArray: () => isRecordOrArray,
-  isRegExp: () => isRegExp,
-  isSet: () => isSet,
-  isString: () => isString,
-  isSymbol: () => isSymbol,
-  isTagged: () => isTagged,
-  isTruthy: () => isTruthy,
-  isTupleOf: () => isTupleOf,
-  isTupleOfAtLeast: () => isTupleOfAtLeast,
-  isUint8Array: () => isUint8Array,
-  isUndefined: () => isUndefined,
-  isUnknown: () => isUnknown,
-  mapInput: () => mapInput,
-  nand: () => nand,
-  nor: () => nor,
-  not: () => not,
-  or: () => or,
-  product: () => product,
-  productMany: () => productMany,
-  some: () => some,
-  struct: () => struct,
-  tuple: () => tuple,
-  xor: () => xor
-});
-var mapInput = /* @__PURE__ */ dual(2, (self, f) => (b) => self(f(b)));
-var isTupleOf = /* @__PURE__ */ dual(2, (self, n) => self.length === n);
-var isTupleOfAtLeast = /* @__PURE__ */ dual(2, (self, n) => self.length >= n);
-var isTruthy = (input) => !!input;
-var isSet = (input) => input instanceof Set;
-var isMap = (input) => input instanceof Map;
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Predicate.js
 var isString = (input) => typeof input === "string";
 var isNumber = (input) => typeof input === "number";
 var isBoolean = (input) => typeof input === "boolean";
-var isBigInt = (input) => typeof input === "bigint";
-var isSymbol = (input) => typeof input === "symbol";
-var isPropertyKey = (u) => isString(u) || isNumber(u) || isSymbol(u);
 var isFunction2 = isFunction;
-var isUndefined = (input) => input === void 0;
-var isNotUndefined = (input) => input !== void 0;
-var isNull = (input) => input === null;
-var isNotNull = (input) => input !== null;
-var isNever = (_) => false;
-var isUnknown = (_) => true;
 var isRecordOrArray = (input) => typeof input === "object" && input !== null;
 var isObject = (input) => isRecordOrArray(input) || isFunction2(input);
 var hasProperty = /* @__PURE__ */ dual(2, (self, property) => isObject(self) && property in self);
-var isTagged = /* @__PURE__ */ dual(2, (self, tag) => hasProperty(self, "_tag") && self["_tag"] === tag);
-var isNullable = (input) => input === null || input === void 0;
-var isNotNullable = (input) => input !== null && input !== void 0;
-var isError = (input) => input instanceof Error;
-var isUint8Array = (input) => input instanceof Uint8Array;
-var isDate = (input) => input instanceof Date;
-var isIterable = (input) => hasProperty(input, Symbol.iterator);
 var isRecord = (input) => isRecordOrArray(input) && !Array.isArray(input);
-var isReadonlyRecord = isRecord;
-var isPromise = (input) => hasProperty(input, "then") && "catch" in input && isFunction2(input.then) && isFunction2(input.catch);
-var isPromiseLike = (input) => hasProperty(input, "then") && isFunction2(input.then);
-var isRegExp = (input) => input instanceof RegExp;
-var compose = /* @__PURE__ */ dual(2, (ab, bc) => (a) => ab(a) && bc(a));
-var product = (self, that) => ([a, b]) => self(a) && that(b);
-var all = (collection) => {
-  return (as) => {
-    let collectionIndex = 0;
-    for (const p of collection) {
-      if (collectionIndex >= as.length) {
-        break;
-      }
-      if (p(as[collectionIndex]) === false) {
-        return false;
-      }
-      collectionIndex++;
-    }
-    return true;
-  };
-};
-var productMany = (self, collection) => {
-  const rest = all(collection);
-  return ([head2, ...tail]) => self(head2) === false ? false : rest(tail);
-};
-var tuple = (...elements) => all(elements);
-var struct = (fields) => {
-  const keys = Object.keys(fields);
-  return (a) => {
-    for (const key of keys) {
-      if (!fields[key](a[key])) {
-        return false;
-      }
-    }
-    return true;
-  };
-};
-var not = (self) => (a) => !self(a);
-var or = /* @__PURE__ */ dual(2, (self, that) => (a) => self(a) || that(a));
-var and = /* @__PURE__ */ dual(2, (self, that) => (a) => self(a) && that(a));
-var xor = /* @__PURE__ */ dual(2, (self, that) => (a) => self(a) !== that(a));
-var eqv = /* @__PURE__ */ dual(2, (self, that) => (a) => self(a) === that(a));
-var implies = /* @__PURE__ */ dual(2, (antecedent, consequent) => (a) => antecedent(a) ? consequent(a) : true);
-var nor = /* @__PURE__ */ dual(2, (self, that) => (a) => !(self(a) || that(a)));
-var nand = /* @__PURE__ */ dual(2, (self, that) => (a) => !(self(a) && that(a)));
-var every = (collection) => (a) => {
-  for (const p of collection) {
-    if (!p(a)) {
-      return false;
-    }
-  }
-  return true;
-};
-var some = (collection) => (a) => {
-  for (const p of collection) {
-    if (p(a)) {
-      return true;
-    }
-  }
-  return false;
-};
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/errors.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/errors.js
 var getBugErrorMessage = (message) => `BUG: ${message} - please report an issue at https://github.com/Effect-TS/effect/issues`;
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Utils.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Utils.js
 var GenKindTypeId = /* @__PURE__ */ Symbol.for("effect/Gen/GenKind");
 var GenKindImpl = class {
   value;
@@ -411,7 +266,7 @@ var internalCall = isNotOptimizedAway ? standard.effect_internal_function : forc
 var genConstructor = function* () {
 }.constructor;
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Hash.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Hash.js
 var randomHashCache = /* @__PURE__ */ globalValue(/* @__PURE__ */ Symbol.for("effect/Hash/randomHashCache"), () => /* @__PURE__ */ new WeakMap());
 var symbol = /* @__PURE__ */ Symbol.for("effect/Hash");
 var hash = (self) => {
@@ -510,7 +365,7 @@ var cached = function() {
   return hash2;
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Equal.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Equal.js
 var symbol2 = /* @__PURE__ */ Symbol.for("effect/Equal");
 function equals() {
   if (arguments.length === 1) {
@@ -564,7 +419,7 @@ function compareBoth(self, that) {
 var isEqual = (u) => hasProperty(u, symbol2);
 var equivalence = () => equals;
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Inspectable.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Inspectable.js
 var NodeInspectSymbol = /* @__PURE__ */ Symbol.for("nodejs.util.inspect.custom");
 var toJSON = (x) => {
   try {
@@ -616,7 +471,7 @@ var redact = (u) => {
   return u;
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Pipeable.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Pipeable.js
 var pipeArguments = (self, args2) => {
   switch (args2.length) {
     case 0:
@@ -649,10 +504,14 @@ var pipeArguments = (self, args2) => {
   }
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/opCodes/effect.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/opCodes/effect.js
 var OP_COMMIT = "Commit";
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/effectable.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/version.js
+var moduleVersion = "3.17.1";
+var getCurrentVersion = () => moduleVersion;
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/effectable.js
 var EffectTypeId = /* @__PURE__ */ Symbol.for("effect/Effect");
 var StreamTypeId = /* @__PURE__ */ Symbol.for("effect/Stream");
 var SinkTypeId = /* @__PURE__ */ Symbol.for("effect/Sink");
@@ -739,7 +598,7 @@ var StructuralCommitPrototype = {
   ...StructuralPrototype
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/option.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/option.js
 var TypeId = /* @__PURE__ */ Symbol.for("effect/Option");
 var CommonProto = {
   ...EffectPrototype,
@@ -791,13 +650,13 @@ var isOption = (input) => hasProperty(input, TypeId);
 var isNone = (fa) => fa._tag === "None";
 var isSome = (fa) => fa._tag === "Some";
 var none = /* @__PURE__ */ Object.create(NoneProto);
-var some2 = (value) => {
+var some = (value) => {
   const a = Object.create(SomeProto);
   a.value = value;
   return a;
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/either.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/either.js
 var TypeId2 = /* @__PURE__ */ Symbol.for("effect/Either");
 var CommonProto2 = {
   ...EffectPrototype,
@@ -859,7 +718,7 @@ var right = (right3) => {
   return a;
 };
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Either.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Either.js
 var right2 = right;
 var left2 = left;
 var isLeft2 = isLeft;
@@ -867,112 +726,20 @@ var isRight2 = isRight;
 var map = /* @__PURE__ */ dual(2, (self, f) => isRight2(self) ? right2(f(self.right)) : left2(self.left));
 var getOrElse = /* @__PURE__ */ dual(2, (self, onLeft) => isLeft2(self) ? onLeft(self.left) : self.right);
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Order.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Order.js
 var make2 = (compare) => (self, that) => self === that ? 0 : compare(self, that);
 var string2 = /* @__PURE__ */ make2((self, that) => self < that ? -1 : 1);
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Option.js
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Option.js
 var none2 = () => none;
-var some3 = some2;
+var some2 = some;
 var isNone2 = isNone;
 var isSome2 = isSome;
-var match = /* @__PURE__ */ dual(2, (self, {
-  onNone,
-  onSome
-}) => isNone2(self) ? onNone() : onSome(self.value));
 var getOrElse2 = /* @__PURE__ */ dual(2, (self, onNone) => isNone2(self) ? onNone() : self.value);
 var orElse = /* @__PURE__ */ dual(2, (self, that) => isNone2(self) ? that() : self);
-var fromNullable = (nullableValue) => nullableValue == null ? none2() : some3(nullableValue);
+var fromNullable = (nullableValue) => nullableValue == null ? none2() : some2(nullableValue);
 var getOrUndefined = /* @__PURE__ */ getOrElse2(constUndefined);
-var map2 = /* @__PURE__ */ dual(2, (self, f) => isNone2(self) ? none2() : some3(f(self.value)));
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/array.js
-var isNonEmptyArray = (self) => self.length > 0;
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Array.js
-var fromIterable = (collection) => Array.isArray(collection) ? collection : Array.from(collection);
-var append = /* @__PURE__ */ dual(2, (self, last) => [...self, last]);
-var appendAll = /* @__PURE__ */ dual(2, (self, that) => fromIterable(self).concat(fromIterable(that)));
-var isArray = Array.isArray;
-var isEmptyArray = (self) => self.length === 0;
-var isEmptyReadonlyArray = isEmptyArray;
-var isNonEmptyReadonlyArray = isNonEmptyArray;
-var isOutOfBounds = (i, as) => i < 0 || i >= as.length;
-var get = /* @__PURE__ */ dual(2, (self, index) => {
-  const i = Math.floor(index);
-  return isOutOfBounds(i, self) ? none2() : some3(self[i]);
-});
-var unsafeGet = /* @__PURE__ */ dual(2, (self, index) => {
-  const i = Math.floor(index);
-  if (isOutOfBounds(i, self)) {
-    throw new Error(`Index ${i} out of bounds`);
-  }
-  return self[i];
-});
-var head = /* @__PURE__ */ get(0);
-var headNonEmpty = /* @__PURE__ */ unsafeGet(0);
-var tailNonEmpty = (self) => self.slice(1);
-var sort = /* @__PURE__ */ dual(2, (self, O) => {
-  const out = Array.from(self);
-  out.sort(O);
-  return out;
-});
-var containsWith = (isEquivalent) => dual(2, (self, a) => {
-  for (const i of self) {
-    if (isEquivalent(a, i)) {
-      return true;
-    }
-  }
-  return false;
-});
-var _equivalence = /* @__PURE__ */ equivalence();
-var intersectionWith = (isEquivalent) => {
-  const has = containsWith(isEquivalent);
-  return dual(2, (self, that) => fromIterable(self).filter((a) => has(that, a)));
-};
-var intersection = /* @__PURE__ */ intersectionWith(_equivalence);
-var empty = () => [];
-var map3 = /* @__PURE__ */ dual(2, (self, f) => self.map(f));
-var flatMap = /* @__PURE__ */ dual(2, (self, f) => {
-  if (isEmptyReadonlyArray(self)) {
-    return [];
-  }
-  const out = [];
-  for (let i = 0; i < self.length; i++) {
-    const inner = f(self[i], i);
-    for (let j = 0; j < inner.length; j++) {
-      out.push(inner[j]);
-    }
-  }
-  return out;
-});
-var flatten = /* @__PURE__ */ flatMap(identity);
-var filter = /* @__PURE__ */ dual(2, (self, predicate) => {
-  const as = fromIterable(self);
-  const out = [];
-  for (let i = 0; i < as.length; i++) {
-    if (predicate(as[i], i)) {
-      out.push(as[i]);
-    }
-  }
-  return out;
-});
-var every2 = /* @__PURE__ */ dual(2, (self, refinement) => self.every(refinement));
-var dedupeWith = /* @__PURE__ */ dual(2, (self, isEquivalent) => {
-  const input = fromIterable(self);
-  if (isNonEmptyReadonlyArray(input)) {
-    const out = [headNonEmpty(input)];
-    const rest = tailNonEmpty(input);
-    for (const r of rest) {
-      if (out.every((a) => !isEquivalent(r, a))) {
-        out.push(r);
-      }
-    }
-    return out;
-  }
-  return [];
-});
-var dedupe = (self) => dedupeWith(self, equivalence());
+var map2 = /* @__PURE__ */ dual(2, (self, f) => isNone2(self) ? none2() : some2(f(self.value)));
 
 // src/core/Nano.ts
 var NanoTag = class {
@@ -1091,13 +858,13 @@ var OnSuccessProto = {
     return this[args];
   }
 };
-var flatMap2 = dual(2, (fa, f) => {
+var flatMap = dual(2, (fa, f) => {
   const nano = Object.create(OnSuccessProto);
   nano[args] = fa;
   nano[contA] = f;
   return nano;
 });
-var map4 = dual(2, (fa, f) => flatMap2(fa, (_) => succeed(f(_))));
+var map3 = dual(2, (fa, f) => flatMap(fa, (_) => succeed(f(_))));
 var SyncProto = {
   ...PrimitiveProto,
   [evaluate](fiber) {
@@ -1138,7 +905,7 @@ var MatchProto = {
     return this[args];
   }
 };
-var match2 = (fa, opts) => {
+var match = (fa, opts) => {
   const nano = Object.create(MatchProto);
   nano[args] = fa;
   nano[contA] = opts.onSuccess;
@@ -1161,7 +928,7 @@ var ProvideServiceProto = {
       ...fiber._services,
       [tag.key]: value
     };
-    return match2(fa, {
+    return match(fa, {
       onSuccess: (_) => {
         fiber._services = prevServices;
         return succeed(_);
@@ -1204,7 +971,7 @@ var CachedProto = {
     fiber._cache[type] = cache;
     const cached2 = cache.get(key);
     if (cached2) return cached2;
-    return match2(fa, {
+    return match(fa, {
       onSuccess: (_) => {
         cache.set(key, succeed(_));
         return succeed(_);
@@ -1226,7 +993,7 @@ function cachedBy(fa, type, lookupKey) {
 var option = (fa) => {
   const nano = Object.create(MatchProto);
   nano[args] = fa;
-  nano[contA] = (_) => succeed(some3(_));
+  nano[contA] = (_) => succeed(some2(_));
   nano[contE] = (_) => _ instanceof NanoDefectException ? fail(_) : succeed(none2());
   return nano;
 };
@@ -1237,7 +1004,7 @@ var ignore = (fa) => {
   nano[contE] = (_) => _ instanceof NanoDefectException ? fail(_) : void_;
   return nano;
 };
-var all2 = fn("all")(
+var all = fn("all")(
   function* (...args2) {
     const results = [];
     for (const fa of args2) {
@@ -1252,44 +1019,138 @@ var all2 = fn("all")(
 var TypeScriptApi = Tag("TypeScriptApi");
 var TypeScriptProgram = Tag("TypeScriptProgram");
 var ChangeTracker = Tag("ChangeTracker");
-function parsePackageContentNameAndVersionFromScope(v) {
-  if (!isObject(v)) return;
-  if (!hasProperty(v, "packageJsonScope")) return;
-  if (!v.packageJsonScope) return;
-  const packageJsonScope = v.packageJsonScope;
-  if (!hasProperty(packageJsonScope, "contents")) return;
-  if (!hasProperty(packageJsonScope.contents, "packageJsonContent")) return;
-  const packageJsonContent = packageJsonScope.contents.packageJsonContent;
-  if (!hasProperty(packageJsonContent, "name")) return;
-  if (!hasProperty(packageJsonContent, "version")) return;
-  if (!hasProperty(packageJsonScope, "packageDirectory")) return;
-  if (!isString(packageJsonScope.packageDirectory)) return;
-  const { name, version } = packageJsonContent;
-  if (!isString(name)) return;
-  if (!isString(version)) return;
-  const hasEffectInPeerDependencies = hasProperty(packageJsonContent, "peerDependencies") && isObject(packageJsonContent.peerDependencies) && hasProperty(packageJsonContent.peerDependencies, "effect");
-  const referencedPackages = Object.keys({
-    ...hasProperty(packageJsonContent, "dependencies") && isObject(packageJsonContent.dependencies) ? packageJsonContent.dependencies : {},
-    ...hasProperty(packageJsonContent, "peerDependencies") && isObject(packageJsonContent.peerDependencies) ? packageJsonContent.peerDependencies : {},
-    ...hasProperty(packageJsonContent, "devDependencies") && isObject(packageJsonContent.devDependencies) ? packageJsonContent.devDependencies : {}
-  });
-  const exportsKeys = Object.keys(
-    hasProperty(packageJsonContent, "exports") && isObject(packageJsonContent.exports) ? packageJsonContent.exports : {}
-  );
-  return {
-    name: name.toLowerCase(),
-    version: version.toLowerCase(),
-    hasEffectInPeerDependencies,
-    contents: packageJsonContent,
-    packageDirectory: packageJsonScope.packageDirectory,
-    referencedPackages,
-    exportsKeys
-  };
-}
-var resolveModulePattern = fn("resolveModulePattern")(
-  function* (sourceFile, pattern) {
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/array.js
+var isNonEmptyArray = (self) => self.length > 0;
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Array.js
+var fromIterable = (collection) => Array.isArray(collection) ? collection : Array.from(collection);
+var append = /* @__PURE__ */ dual(2, (self, last) => [...self, last]);
+var appendAll = /* @__PURE__ */ dual(2, (self, that) => fromIterable(self).concat(fromIterable(that)));
+var isArray = Array.isArray;
+var isEmptyArray = (self) => self.length === 0;
+var isEmptyReadonlyArray = isEmptyArray;
+var isNonEmptyReadonlyArray = isNonEmptyArray;
+var isOutOfBounds = (i, as) => i < 0 || i >= as.length;
+var get = /* @__PURE__ */ dual(2, (self, index) => {
+  const i = Math.floor(index);
+  return isOutOfBounds(i, self) ? none2() : some2(self[i]);
+});
+var unsafeGet = /* @__PURE__ */ dual(2, (self, index) => {
+  const i = Math.floor(index);
+  if (isOutOfBounds(i, self)) {
+    throw new Error(`Index ${i} out of bounds`);
+  }
+  return self[i];
+});
+var head = /* @__PURE__ */ get(0);
+var headNonEmpty = /* @__PURE__ */ unsafeGet(0);
+var tailNonEmpty = (self) => self.slice(1);
+var sort = /* @__PURE__ */ dual(2, (self, O) => {
+  const out = Array.from(self);
+  out.sort(O);
+  return out;
+});
+var containsWith = (isEquivalent) => dual(2, (self, a) => {
+  for (const i of self) {
+    if (isEquivalent(a, i)) {
+      return true;
+    }
+  }
+  return false;
+});
+var _equivalence = /* @__PURE__ */ equivalence();
+var intersectionWith = (isEquivalent) => {
+  const has = containsWith(isEquivalent);
+  return dual(2, (self, that) => fromIterable(self).filter((a) => has(that, a)));
+};
+var intersection = /* @__PURE__ */ intersectionWith(_equivalence);
+var empty = () => [];
+var map4 = /* @__PURE__ */ dual(2, (self, f) => self.map(f));
+var flatMap2 = /* @__PURE__ */ dual(2, (self, f) => {
+  if (isEmptyReadonlyArray(self)) {
+    return [];
+  }
+  const out = [];
+  for (let i = 0; i < self.length; i++) {
+    const inner = f(self[i], i);
+    for (let j = 0; j < inner.length; j++) {
+      out.push(inner[j]);
+    }
+  }
+  return out;
+});
+var flatten = /* @__PURE__ */ flatMap2(identity);
+var filter = /* @__PURE__ */ dual(2, (self, predicate) => {
+  const as = fromIterable(self);
+  const out = [];
+  for (let i = 0; i < as.length; i++) {
+    if (predicate(as[i], i)) {
+      out.push(as[i]);
+    }
+  }
+  return out;
+});
+var every = /* @__PURE__ */ dual(2, (self, refinement) => self.every(refinement));
+var dedupeWith = /* @__PURE__ */ dual(2, (self, isEquivalent) => {
+  const input = fromIterable(self);
+  if (isNonEmptyReadonlyArray(input)) {
+    const out = [headNonEmpty(input)];
+    const rest = tailNonEmpty(input);
+    for (const r of rest) {
+      if (out.every((a) => !isEquivalent(r, a))) {
+        out.push(r);
+      }
+    }
+    return out;
+  }
+  return [];
+});
+var dedupe = (self) => dedupeWith(self, equivalence());
+
+// src/core/TypeScriptUtils.ts
+var TypeScriptUtils = Tag("TypeScriptUtils");
+var nanoLayer = (fa) => pipe(
+  service(TypeScriptApi),
+  flatMap((ts) => pipe(fa, provideService(TypeScriptUtils, makeTypeScriptUtils(ts))))
+);
+function makeTypeScriptUtils(ts) {
+  function parsePackageContentNameAndVersionFromScope(v) {
+    if (!isObject(v)) return;
+    if (!hasProperty(v, "packageJsonScope")) return;
+    if (!v.packageJsonScope) return;
+    const packageJsonScope = v.packageJsonScope;
+    if (!hasProperty(packageJsonScope, "contents")) return;
+    if (!hasProperty(packageJsonScope.contents, "packageJsonContent")) return;
+    const packageJsonContent = packageJsonScope.contents.packageJsonContent;
+    if (!hasProperty(packageJsonContent, "name")) return;
+    if (!hasProperty(packageJsonContent, "version")) return;
+    if (!hasProperty(packageJsonScope, "packageDirectory")) return;
+    if (!isString(packageJsonScope.packageDirectory)) return;
+    const { name, version } = packageJsonContent;
+    if (!isString(name)) return;
+    if (!isString(version)) return;
+    const hasEffectInPeerDependencies = hasProperty(packageJsonContent, "peerDependencies") && isObject(packageJsonContent.peerDependencies) && hasProperty(packageJsonContent.peerDependencies, "effect");
+    const referencedPackages = Object.keys({
+      ...hasProperty(packageJsonContent, "dependencies") && isObject(packageJsonContent.dependencies) ? packageJsonContent.dependencies : {},
+      ...hasProperty(packageJsonContent, "peerDependencies") && isObject(packageJsonContent.peerDependencies) ? packageJsonContent.peerDependencies : {},
+      ...hasProperty(packageJsonContent, "devDependencies") && isObject(packageJsonContent.devDependencies) ? packageJsonContent.devDependencies : {}
+    });
+    const exportsKeys = Object.keys(
+      hasProperty(packageJsonContent, "exports") && isObject(packageJsonContent.exports) ? packageJsonContent.exports : {}
+    );
+    return {
+      name: name.toLowerCase(),
+      version: version.toLowerCase(),
+      hasEffectInPeerDependencies,
+      contents: packageJsonContent,
+      packageDirectory: packageJsonScope.packageDirectory,
+      referencedPackages,
+      exportsKeys
+    };
+  }
+  function resolveModulePattern(sourceFile, pattern) {
     if (pattern.indexOf("*") === -1) return [pattern.toLowerCase()];
-    const ts = yield* service(TypeScriptApi);
     const packageJsonScope = parsePackageContentNameAndVersionFromScope(sourceFile);
     const referencedPackages = [];
     for (const statement of sourceFile.statements) {
@@ -1302,31 +1163,47 @@ var resolveModulePattern = fn("resolveModulePattern")(
     return pipe(
       referencedPackages.concat(packageJsonScope?.referencedPackages || []),
       dedupe,
-      map3((packageName) => packageName.toLowerCase()),
+      map4((packageName) => packageName.toLowerCase()),
       filter(
         (packageName) => pattern.endsWith("*") && packageName.startsWith(pattern.toLowerCase().substring(0, pattern.length - 1))
       )
     );
   }
-);
-function makeGetModuleSpecifier(ts) {
-  if (!(hasProperty(ts, "moduleSpecifiers") && hasProperty(ts.moduleSpecifiers, "getModuleSpecifier") && isFunction2(ts.moduleSpecifiers.getModuleSpecifier))) return;
-  const _internal = ts.moduleSpecifiers.getModuleSpecifier;
-  return (compilerOptions, importingSourceFile, importingSourceFileName, toFileName, host, options) => {
-    return _internal(
-      compilerOptions,
-      importingSourceFile,
-      importingSourceFileName,
-      toFileName,
-      host,
-      options
-    );
-  };
-}
-
-// src/core/AST.ts
-function collectSelfAndAncestorNodesInRange(node, textRange) {
-  return sync(() => {
+  function makeGetModuleSpecifier() {
+    if (!(hasProperty(ts, "moduleSpecifiers") && hasProperty(ts.moduleSpecifiers, "getModuleSpecifier") && isFunction2(ts.moduleSpecifiers.getModuleSpecifier))) return;
+    const _internal = ts.moduleSpecifiers.getModuleSpecifier;
+    return (compilerOptions, importingSourceFile, importingSourceFileName, toFileName, host, options) => {
+      return _internal(
+        compilerOptions,
+        importingSourceFile,
+        importingSourceFileName,
+        toFileName,
+        host,
+        options
+      );
+    };
+  }
+  function findNodeWithLeadingCommentAtPosition(sourceFile, position) {
+    const sourceText = sourceFile.text;
+    let result;
+    function find(node) {
+      const leading = ts.getLeadingCommentRanges(sourceText, node.getFullStart());
+      if (leading) {
+        for (const commentRange of leading) {
+          if (commentRange.pos <= position && position < commentRange.end) {
+            result = { node, commentRange };
+            return;
+          }
+        }
+      }
+      if (node.getFullStart() <= position && position < node.getEnd()) {
+        node.forEachChild(find);
+      }
+    }
+    find(sourceFile);
+    return result;
+  }
+  function collectSelfAndAncestorNodesInRange(node, textRange) {
     let result = empty();
     let parent = node;
     while (parent) {
@@ -1336,52 +1213,50 @@ function collectSelfAndAncestorNodesInRange(node, textRange) {
       parent = parent.parent;
     }
     return result;
-  });
-}
-var getAncestorNodesInRange = fn("AST.getAncestorNodesInRange")(function* (sourceFile, textRange) {
-  const nodeAtPosition = yield* option(findNodeAtPosition(sourceFile, textRange.pos));
-  if (isNone2(nodeAtPosition)) return empty();
-  return yield* collectSelfAndAncestorNodesInRange(nodeAtPosition.value, textRange);
-});
-var NodeNotFoundError = class {
-  _tag = "@effect/language-service/NodeNotFoundError";
-};
-var findNodeAtPosition = fn("AST.findNodeAtPosition")(function* (sourceFile, position) {
-  const ts = yield* service(TypeScriptApi);
-  function find(node) {
-    if (position >= node.getStart() && position < node.getEnd()) {
-      return ts.forEachChild(node, find) || node;
+  }
+  function findNodeAtPosition(sourceFile, position) {
+    function find(node) {
+      if (position >= node.getStart() && position < node.getEnd()) {
+        return ts.forEachChild(node, find) || node;
+      }
+      return void 0;
     }
-    return void 0;
+    return find(sourceFile);
   }
-  const result = find(sourceFile);
-  if (!result) return yield* fail(new NodeNotFoundError());
-  return result;
-});
-var getCommentAtPosition = fn("TypeScriptApi.getCommentAtPosition")(function* (sourceFile, pos) {
-  const ts = yield* service(TypeScriptApi);
-  const token = yield* findNodeAtPosition(sourceFile, pos);
-  if (token === void 0 || token.kind === ts.SyntaxKind.JsxText || pos >= token.end - (ts.tokenToString(token.kind) || "").length) {
-    return yield* fail(new NodeNotFoundError());
-  }
-  const startPos = token.pos === 0 ? (ts.getShebang(sourceFile.text) || "").length : token.pos;
-  if (startPos === 0) return yield* fail(new NodeNotFoundError());
-  const result = ts.forEachTrailingCommentRange(sourceFile.text, startPos, isCommentInRange, pos) || ts.forEachLeadingCommentRange(sourceFile.text, startPos, isCommentInRange, pos);
-  if (!result) return yield* fail(new NodeNotFoundError());
-  return result;
-});
-function isCommentInRange(pos, end, kind, _nl, at) {
-  return at >= pos && at < end ? { pos, end, kind } : void 0;
-}
-function toTextRange(positionOrRange) {
-  return typeof positionOrRange === "number" ? { end: positionOrRange, pos: positionOrRange } : positionOrRange;
-}
-function isNodeInRange(textRange) {
-  return (node) => node.pos <= textRange.pos && node.end >= textRange.end;
-}
-var transformAsyncAwaitToEffectGen = fn("AST.transformAsyncAwaitToEffectGen")(
-  function* (node, effectModuleName, onAwait) {
-    const ts = yield* service(TypeScriptApi);
+  function findNodeAtPositionIncludingTrivia(sourceFile, position) {
+    function find(node) {
+      if (position >= node.pos && position < node.end) {
+        return ts.forEachChild(node, find) || node;
+      }
+      return void 0;
+    }
+    return find(sourceFile);
+  }
+  function getAncestorNodesInRange(sourceFile, textRange) {
+    const nodeAtPosition = findNodeAtPosition(sourceFile, textRange.pos);
+    if (!nodeAtPosition) return empty();
+    return collectSelfAndAncestorNodesInRange(nodeAtPosition, textRange);
+  }
+  function getCommentAtPosition(sourceFile, pos) {
+    const token = findNodeAtPositionIncludingTrivia(sourceFile, pos);
+    if (token === void 0 || token.kind === ts.SyntaxKind.JsxText || pos >= token.end - (ts.tokenToString(token.kind) || "").length) {
+      return;
+    }
+    const startPos = token.pos === 0 ? (ts.getShebang(sourceFile.text) || "").length : token.pos;
+    if (startPos === 0) return;
+    const result = ts.forEachTrailingCommentRange(sourceFile.text, startPos, isCommentInRange, pos) || ts.forEachLeadingCommentRange(sourceFile.text, startPos, isCommentInRange, pos);
+    return result;
+  }
+  function isCommentInRange(pos, end, kind, _nl, at) {
+    return at >= pos && at < end ? { pos, end, kind } : void 0;
+  }
+  function toTextRange(positionOrRange) {
+    return typeof positionOrRange === "number" ? { end: positionOrRange, pos: positionOrRange } : positionOrRange;
+  }
+  function isNodeInRange(textRange) {
+    return (node) => node.pos <= textRange.pos && node.end >= textRange.end;
+  }
+  function transformAsyncAwaitToEffectGen(node, effectModuleName, onAwait) {
     function visitor(_) {
       if (ts.isAwaitExpression(_)) {
         const expression = ts.visitEachChild(_.expression, visitor, ts.nullTransformationContext);
@@ -1393,7 +1268,7 @@ var transformAsyncAwaitToEffectGen = fn("AST.transformAsyncAwaitToEffectGen")(
       return ts.visitEachChild(_, visitor, ts.nullTransformationContext);
     }
     const generatorBody = visitor(node.body);
-    const effectGenCallExp = yield* createEffectGenCallExpression(effectModuleName, generatorBody);
+    const effectGenCallExp = createEffectGenCallExpression(effectModuleName, generatorBody);
     let currentFlags = ts.getCombinedModifierFlags(node);
     currentFlags &= ~ts.ModifierFlags.Async;
     const newModifiers = ts.factory.createModifiersFromModifierFlags(currentFlags);
@@ -1431,45 +1306,7 @@ var transformAsyncAwaitToEffectGen = fn("AST.transformAsyncAwaitToEffectGen")(
       newBody
     );
   }
-);
-var addReturnTypeAnnotation = fn("AST.addReturnTypeAnnotation")(function* (sourceFile, declaration, typeNode) {
-  const ts = yield* service(TypeScriptApi);
-  const changes = yield* service(ChangeTracker);
-  const closeParen = ts.findChildOfKind(declaration, ts.SyntaxKind.CloseParenToken, sourceFile);
-  const needParens = ts.isArrowFunction(declaration) && closeParen === void 0;
-  const endNode = needParens ? declaration.parameters[0] : closeParen;
-  if (endNode) {
-    if (needParens) {
-      changes.insertNodeBefore(
-        sourceFile,
-        endNode,
-        ts.factory.createToken(ts.SyntaxKind.OpenParenToken)
-      );
-      changes.insertNodeAfter(
-        sourceFile,
-        endNode,
-        ts.factory.createToken(ts.SyntaxKind.CloseParenToken)
-      );
-    }
-    changes.insertNodeAt(sourceFile, endNode.end, typeNode, { prefix: ": " });
-  }
-});
-var removeReturnTypeAnnotation = fn("AST.removeReturnTypeAnnotation")(function* (sourceFile, declaration) {
-  const ts = yield* service(TypeScriptApi);
-  const changes = yield* service(ChangeTracker);
-  const closeParen = ts.findChildOfKind(declaration, ts.SyntaxKind.CloseParenToken, sourceFile);
-  const needParens = ts.isArrowFunction(declaration) && closeParen === void 0;
-  const endNode = needParens ? declaration.parameters[0] : closeParen;
-  if (endNode && declaration.type) {
-    changes.deleteRange(sourceFile, { pos: endNode.end, end: declaration.type.end });
-  }
-});
-var ImportModuleIdentifierNotFoundError = class {
-  _tag = "@effect/language-service/ImportModuleIdentifierNotFoundError";
-};
-var findImportedModuleIdentifier = fn("AST.findImportedModuleIdentifier")(
-  function* (sourceFile, test) {
-    const ts = yield* service(TypeScriptApi);
+  function findImportedModuleIdentifier(sourceFile, test) {
     for (const statement of sourceFile.statements) {
       if (!ts.isImportDeclaration(statement)) continue;
       const importClause = statement.importClause;
@@ -1477,72 +1314,64 @@ var findImportedModuleIdentifier = fn("AST.findImportedModuleIdentifier")(
       const namedBindings = importClause.namedBindings;
       if (!namedBindings) continue;
       if (ts.isNamespaceImport(namedBindings)) {
-        if (yield* test(namedBindings.name, statement.moduleSpecifier, none2())) {
-          return namedBindings.name;
+        if (test(namedBindings.name, statement.moduleSpecifier, none2())) {
+          return namedBindings.name.text;
         }
       } else if (ts.isNamedImports(namedBindings)) {
         for (const importSpecifier of namedBindings.elements) {
           const importProperty = fromNullable(importSpecifier.propertyName).pipe(
-            orElse(() => some3(importSpecifier.name))
+            orElse(() => some2(importSpecifier.name))
           );
-          if (yield* test(importSpecifier.name, statement.moduleSpecifier, importProperty)) {
-            return importSpecifier.name;
+          if (test(importSpecifier.name, statement.moduleSpecifier, importProperty)) {
+            return importSpecifier.name.text;
           }
         }
       }
     }
-    return yield* fail(new ImportModuleIdentifierNotFoundError());
   }
-);
-function findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, packageName, moduleName) {
-  return findImportedModuleIdentifier(
-    sourceFile,
-    fn(
-      "AST.findImportedModuleIdentifierByPackageAndNameOrBarrel.findImportedModuleIdentifier"
-    )(function* (_, fromModule, importProperty) {
-      const ts = yield* service(TypeScriptApi);
-      if (isNone2(importProperty) && ts.isStringLiteral(fromModule) && fromModule.text === packageName + "/" + moduleName) {
-        return true;
+  function findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, packageName, moduleName) {
+    return findImportedModuleIdentifier(
+      sourceFile,
+      (_, fromModule, importProperty) => {
+        if (isNone2(importProperty) && ts.isStringLiteral(fromModule) && fromModule.text === packageName + "/" + moduleName) {
+          return true;
+        }
+        if (isSome2(importProperty) && ts.isIdentifier(importProperty.value) && importProperty.value.text === moduleName && ts.isStringLiteral(fromModule) && fromModule.text === packageName) {
+          return true;
+        }
+        return false;
       }
-      if (isSome2(importProperty) && ts.isIdentifier(importProperty.value) && importProperty.value.text === moduleName && ts.isStringLiteral(fromModule) && fromModule.text === packageName) {
-        return true;
+    );
+  }
+  function simplifyTypeNode(typeNode) {
+    function collectCallable(typeNode2) {
+      if (ts.isParenthesizedTypeNode(typeNode2)) return collectCallable(typeNode2.type);
+      if (ts.isFunctionTypeNode(typeNode2)) {
+        return some2([
+          ts.factory.createCallSignature(typeNode2.typeParameters, typeNode2.parameters, typeNode2.type)
+        ]);
+      }
+      if (ts.isTypeLiteralNode(typeNode2)) {
+        const allCallSignatures = typeNode2.members.every(ts.isCallSignatureDeclaration);
+        if (allCallSignatures) {
+          return some2(typeNode2.members);
+        }
       }
-      return false;
-    })
-  );
-}
-var simplifyTypeNode = fn("AST.simplifyTypeNode")(function* (typeNode) {
-  const ts = yield* service(TypeScriptApi);
-  function collectCallable(typeNode2) {
-    if (ts.isParenthesizedTypeNode(typeNode2)) return collectCallable(typeNode2.type);
-    if (ts.isFunctionTypeNode(typeNode2)) {
-      return some3([
-        ts.factory.createCallSignature(typeNode2.typeParameters, typeNode2.parameters, typeNode2.type)
-      ]);
-    }
-    if (ts.isTypeLiteralNode(typeNode2)) {
-      const allCallSignatures = typeNode2.members.every(ts.isCallSignatureDeclaration);
-      if (allCallSignatures) {
-        return some3(typeNode2.members);
+      if (ts.isIntersectionTypeNode(typeNode2)) {
+        const members = typeNode2.types.map((node) => collectCallable(node));
+        if (members.every(isSome2)) {
+          return some2(members.map((_) => isSome2(_) ? _.value : []).flat());
+        }
       }
+      return none2();
     }
-    if (ts.isIntersectionTypeNode(typeNode2)) {
-      const members = typeNode2.types.map((node) => collectCallable(node));
-      if (members.every(isSome2)) {
-        return some3(members.map((_) => isSome2(_) ? _.value : []).flat());
-      }
+    const callSignatures = collectCallable(typeNode);
+    if (isSome2(callSignatures) && callSignatures.value.length > 1) {
+      return ts.factory.createTypeLiteralNode(callSignatures.value);
     }
-    return none2();
-  }
-  const callSignatures = collectCallable(typeNode);
-  if (isSome2(callSignatures) && callSignatures.value.length > 1) {
-    return ts.factory.createTypeLiteralNode(callSignatures.value);
+    return typeNode;
   }
-  return typeNode;
-});
-var tryPreserveDeclarationSemantics = fn("AST.tryPreserveDeclarationSemantics")(
-  function* (nodeToReplace, node) {
-    const ts = yield* service(TypeScriptApi);
+  function tryPreserveDeclarationSemantics(nodeToReplace, node) {
     if (!ts.isExpression(node)) return node;
     if (ts.isFunctionDeclaration(nodeToReplace)) {
       if (!nodeToReplace.name) return node;
@@ -1569,14 +1398,9 @@ var tryPreserveDeclarationSemantics = fn("AST.tryPreserveDeclarationSemantics")(
     }
     return node;
   }
-);
-var parseAccessedExpressionForCompletion = fn(
-  "AST.parseAccessedExpressionForCompletion"
-)(
-  function* (sourceFile, position) {
-    const ts = yield* service(TypeScriptApi);
+  function parseAccessedExpressionForCompletion(sourceFile, position) {
     const precedingToken = ts.findPrecedingToken(position, sourceFile, void 0, true);
-    if (!precedingToken) return yield* fail(new NodeNotFoundError());
+    if (!precedingToken) return;
     let accessedObject = precedingToken;
     let replacementSpan = ts.createTextSpan(position, 0);
     let outerNode = precedingToken;
@@ -1602,67 +1426,56 @@ var parseAccessedExpressionForCompletion = fn(
       accessedObject = precedingToken;
       outerNode = precedingToken;
     } else {
-      return yield* fail(new NodeNotFoundError());
+      return;
     }
     return { accessedObject, outerNode, replacementSpan };
   }
-);
-var parseDataForExtendsClassCompletion = fn(
-  "AST.parseDataForExtendsClassCompletion"
-)(function* (sourceFile, position) {
-  const ts = yield* service(TypeScriptApi);
-  const { accessedObject, outerNode, replacementSpan } = yield* parseAccessedExpressionForCompletion(
-    sourceFile,
-    position
-  );
-  if (!ts.isIdentifier(accessedObject)) return yield* fail(new NodeNotFoundError());
-  let classDeclaration = outerNode.parent;
-  while (ts.isExpressionWithTypeArguments(classDeclaration) || ts.isHeritageClause(classDeclaration)) {
-    if (!classDeclaration.parent) break;
-    classDeclaration = classDeclaration.parent;
-  }
-  if (!ts.isClassDeclaration(classDeclaration)) return yield* fail(new NodeNotFoundError());
-  if (!classDeclaration.name) return yield* fail(new NodeNotFoundError());
-  return {
-    accessedObject,
-    classDeclaration,
-    className: classDeclaration.name,
-    replacementSpan
-  };
-});
-var createEffectGenCallExpression = fn("AST.createEffectGenCallExpression")(function* (effectModuleIdentifierName, node) {
-  const ts = yield* service(TypeScriptApi);
-  const generator = ts.factory.createFunctionExpression(
-    void 0,
-    ts.factory.createToken(ts.SyntaxKind.AsteriskToken),
-    void 0,
-    [],
-    [],
-    void 0,
-    node
-    // NOTE(mattia): intended, to use same routine for both ConciseBody and Body
-  );
-  return ts.factory.createCallExpression(
-    ts.factory.createPropertyAccessExpression(
-      ts.factory.createIdentifier(effectModuleIdentifierName),
-      "gen"
-    ),
-    void 0,
-    [generator]
-  );
-});
-var createEffectGenCallExpressionWithBlock = fn(
-  "AST.createEffectGenCallExpressionWithBlock"
-)(function* (effectModuleIdentifierName, statement) {
-  const ts = yield* service(TypeScriptApi);
-  return yield* createEffectGenCallExpression(
-    effectModuleIdentifierName,
-    ts.factory.createBlock(Array.isArray(statement) ? statement : [statement], false)
-  );
-});
-var createReturnYieldStarStatement = fn("AST.createReturnYieldStarStatement")(
-  function* (expr) {
-    const ts = yield* service(TypeScriptApi);
+  function parseDataForExtendsClassCompletion(sourceFile, position) {
+    const maybeInfos = parseAccessedExpressionForCompletion(sourceFile, position);
+    if (!maybeInfos) return;
+    const { accessedObject, outerNode, replacementSpan } = maybeInfos;
+    if (!ts.isIdentifier(accessedObject)) return;
+    let classDeclaration = outerNode.parent;
+    while (ts.isExpressionWithTypeArguments(classDeclaration) || ts.isHeritageClause(classDeclaration)) {
+      if (!classDeclaration.parent) break;
+      classDeclaration = classDeclaration.parent;
+    }
+    if (!ts.isClassDeclaration(classDeclaration)) return;
+    if (!classDeclaration.name) return;
+    return {
+      accessedObject,
+      classDeclaration,
+      className: classDeclaration.name,
+      replacementSpan
+    };
+  }
+  function createEffectGenCallExpression(effectModuleIdentifierName, node) {
+    const generator = ts.factory.createFunctionExpression(
+      void 0,
+      ts.factory.createToken(ts.SyntaxKind.AsteriskToken),
+      void 0,
+      [],
+      [],
+      void 0,
+      node
+      // NOTE(mattia): intended, to use same routine for both ConciseBody and Body
+    );
+    return ts.factory.createCallExpression(
+      ts.factory.createPropertyAccessExpression(
+        ts.factory.createIdentifier(effectModuleIdentifierName),
+        "gen"
+      ),
+      void 0,
+      [generator]
+    );
+  }
+  function createEffectGenCallExpressionWithBlock(effectModuleIdentifierName, statement) {
+    return createEffectGenCallExpression(
+      effectModuleIdentifierName,
+      ts.factory.createBlock(isArray(statement) ? statement : [statement], false)
+    );
+  }
+  function createReturnYieldStarStatement(expr) {
     return ts.factory.createReturnStatement(
       ts.factory.createYieldExpression(
         ts.factory.createToken(ts.SyntaxKind.AsteriskToken),
@@ -1670,7 +1483,26 @@ var createReturnYieldStarStatement = fn("AST.createReturnYieldStarStatement")(
       )
     );
   }
-);
+  return {
+    findNodeAtPositionIncludingTrivia,
+    parsePackageContentNameAndVersionFromScope,
+    resolveModulePattern,
+    findNodeWithLeadingCommentAtPosition,
+    getCommentAtPosition,
+    getAncestorNodesInRange,
+    toTextRange,
+    isNodeInRange,
+    transformAsyncAwaitToEffectGen,
+    findImportedModuleIdentifierByPackageAndNameOrBarrel,
+    simplifyTypeNode,
+    tryPreserveDeclarationSemantics,
+    parseDataForExtendsClassCompletion,
+    createEffectGenCallExpressionWithBlock,
+    createReturnYieldStarStatement,
+    makeGetModuleSpecifier,
+    parseAccessedExpressionForCompletion
+  };
+}
 
 // src/core/LanguageServicePluginOptions.ts
 var LanguageServicePluginOptions = Tag("PluginOptions");
@@ -1680,7 +1512,7 @@ function parseDiagnosticSeverity(config) {
     pipe(
       Object.entries(config),
       filter(([key, value]) => isString(key) && isString(value)),
-      map3(([key, value]) => [String(key).toLowerCase(), String(value).toLowerCase()]),
+      map4(([key, value]) => [String(key).toLowerCase(), String(value).toLowerCase()]),
       filter(
         ([_, value]) => value === "off" || value === "error" || value === "warning" || value === "message" || value === "suggestion"
       )
@@ -1772,27 +1604,8 @@ var getCompletionsAtPosition = fn("LSP.getCompletionsAtPosition")(function* (com
 var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
   function* (sourceFile) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const pluginOptions = yield* service(LanguageServicePluginOptions);
-    function findNodeWithLeadingCommentAtPosition(position) {
-      const sourceText = sourceFile.text;
-      let result;
-      function find(node) {
-        const leading = ts.getLeadingCommentRanges(sourceText, node.getFullStart());
-        if (leading) {
-          for (const r of leading) {
-            if (r.pos <= position && position < r.end) {
-              result = node;
-              return;
-            }
-          }
-        }
-        if (node.getFullStart() <= position && position < node.getEnd()) {
-          node.forEachChild(find);
-        }
-      }
-      find(sourceFile);
-      return result;
-    }
     function findParentStatementForDisableNextLine(node) {
       let result;
       function find(node2) {
@@ -1810,10 +1623,10 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
     const sectionOverrides = {};
     const skippedRules = [];
     const regex = /@effect-diagnostics(-next-line)?((?:\s[a-zA-Z0-9/]+:(?:off|warning|error|message|suggestion|skip-file))+)?/gm;
-    let match3;
-    while ((match3 = regex.exec(sourceFile.text)) !== null) {
-      const nextLineCaptureGroup = match3[1];
-      const rulesCaptureGroup = match3[2];
+    let match2;
+    while ((match2 = regex.exec(sourceFile.text)) !== null) {
+      const nextLineCaptureGroup = match2[1];
+      const rulesCaptureGroup = match2[2];
       if (rulesCaptureGroup) {
         const trimmedRuleString = rulesCaptureGroup.trim();
         if (trimmedRuleString) {
@@ -1825,19 +1638,19 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
               if (ruleLevel === "skip-file") skippedRules.push(ruleName);
               const isOverrideNextLine = nextLineCaptureGroup && nextLineCaptureGroup.trim().toLowerCase() === "-next-line";
               if (isOverrideNextLine) {
-                const node = findNodeWithLeadingCommentAtPosition(match3.index);
-                if (node) {
+                const foundNode = tsUtils.findNodeWithLeadingCommentAtPosition(sourceFile, match2.index);
+                if (foundNode) {
                   lineOverrides[ruleName] = lineOverrides[ruleName] || [];
                   lineOverrides[ruleName].unshift({
-                    pos: node.getFullStart(),
-                    end: node.end,
+                    pos: foundNode.node.getFullStart(),
+                    end: foundNode.node.end,
                     level: ruleLevel
                   });
                 }
               } else {
                 sectionOverrides[ruleName] = sectionOverrides[ruleName] || [];
                 sectionOverrides[ruleName].unshift({
-                  pos: match3.index,
+                  pos: match2.index,
                   level: ruleLevel
                 });
               }
@@ -1852,7 +1665,7 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
       message: ts.DiagnosticCategory.Message,
       suggestion: ts.DiagnosticCategory.Suggestion
     };
-    const execute = fn("LSP.ruleExecutor")(function* (rule) {
+    const execute = (rule) => gen(function* () {
       const diagnostics2 = [];
       const codeFixes = [];
       const ruleNameLowered = rule.name.toLowerCase();
@@ -1861,13 +1674,13 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
       if (defaultLevel === "off" && (lineOverrides[ruleNameLowered] || sectionOverrides[ruleNameLowered] || []).length === 0) {
         return { diagnostics: diagnostics2, codeFixes };
       }
-      const fixByDisableNextLine = (_) => ({
+      const fixByDisableNextLine = (node) => ({
         fixName: rule.name + "_skipNextLine",
         description: "Disable " + rule.name + " for this line",
-        apply: flatMap2(
+        apply: flatMap(
           service(ChangeTracker),
-          (changeTracker) => sync(() => {
-            const disableAtNode = findParentStatementForDisableNextLine(_.node);
+          (changeTracker) => gen(function* () {
+            const disableAtNode = findParentStatementForDisableNextLine(node);
             const { line } = ts.getLineAndCharacterOfPosition(sourceFile, disableAtNode.getStart());
             changeTracker.insertCommentBeforeLine(
               sourceFile,
@@ -1881,7 +1694,7 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
       const fixByDisableEntireFile = {
         fixName: rule.name + "_skipFile",
         description: "Disable " + rule.name + " for this entire file",
-        apply: flatMap2(
+        apply: flatMap(
           service(ChangeTracker),
           (changeTracker) => sync(
             () => changeTracker.insertText(
@@ -1895,29 +1708,30 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
       };
       const applicableDiagnostics = [];
       yield* rule.apply(sourceFile, (entry) => {
+        const range = "getEnd" in entry.location ? { pos: entry.location.getStart(sourceFile), end: entry.location.getEnd() } : entry.location;
+        const node = "getEnd" in entry.location ? entry.location : tsUtils.findNodeAtPositionIncludingTrivia(sourceFile, entry.location.pos);
         applicableDiagnostics.push({
-          ...entry,
-          fixes: entry.fixes.concat([fixByDisableNextLine(entry), fixByDisableEntireFile])
+          range,
+          messageText: entry.messageText,
+          fixes: entry.fixes.concat(node ? [fixByDisableNextLine(node)] : []).concat([fixByDisableEntireFile])
         });
       });
       for (const emitted of applicableDiagnostics.slice(0)) {
         let newLevel = defaultLevel;
         const lineOverride = (lineOverrides[ruleNameLowered] || []).find(
-          (_) => _.pos < emitted.node.getStart(sourceFile) && _.end >= emitted.node.getEnd()
+          (_) => _.pos < emitted.range.pos && _.end >= emitted.range.end
         );
         if (lineOverride) {
           newLevel = lineOverride.level;
         } else {
-          const sectionOverride = (sectionOverrides[ruleNameLowered] || []).find(
-            (_) => _.pos < emitted.node.getStart(sourceFile)
-          );
+          const sectionOverride = (sectionOverrides[ruleNameLowered] || []).find((_) => _.pos < emitted.range.pos);
           if (sectionOverride) newLevel = sectionOverride.level;
         }
         if (!(newLevel in levelToDiagnosticCategory)) continue;
         diagnostics2.push({
           file: sourceFile,
-          start: emitted.node.getStart(sourceFile),
-          length: emitted.node.getEnd() - emitted.node.getStart(sourceFile),
+          start: emitted.range.pos,
+          length: emitted.range.end - emitted.range.pos,
           messageText: emitted.messageText,
           category: levelToDiagnosticCategory[newLevel],
           code: rule.code,
@@ -1927,8 +1741,8 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
           codeFixes.push({
             ...fix,
             code: rule.code,
-            start: emitted.node.getStart(sourceFile),
-            end: emitted.node.getEnd()
+            start: emitted.range.pos,
+            end: emitted.range.end
           });
         }
       }
@@ -1937,28 +1751,97 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
     return { execute };
   }
 );
+var cyrb53 = (str, seed = 0) => {
+  let h1 = 3735928559 ^ seed, h2 = 1103547991 ^ seed;
+  for (let i = 0, ch; i < str.length; i++) {
+    ch = str.charCodeAt(i);
+    h1 = Math.imul(h1 ^ ch, 2654435761);
+    h2 = Math.imul(h2 ^ ch, 1597334677);
+  }
+  h1 = Math.imul(h1 ^ h1 >>> 16, 2246822507);
+  h1 ^= Math.imul(h2 ^ h2 >>> 13, 3266489909);
+  h2 = Math.imul(h2 ^ h2 >>> 16, 2246822507);
+  h2 ^= Math.imul(h1 ^ h1 >>> 13, 3266489909);
+  return (h2 >>> 0).toString(16).padStart(8, "0") + (h1 >>> 0).toString(16).padStart(8, "0");
+};
+var CodegenNotApplicableError = class {
+  constructor(cause) {
+    this.cause = cause;
+  }
+  _tag = "@effect/language-service/CodegenNotApplicableError";
+};
+function createCodegen(definition) {
+  return definition;
+}
+var getCodegensForSourceFile = fn("LSP.getApplicableCodegens")(function* (codegens2, sourceFile) {
+  const tsUtils = yield* service(TypeScriptUtils);
+  const result = [];
+  const regex = /@effect-codegens((?:\s[a-zA-Z0-9]+(?::(?:[a-zA-Z0-9]+))?)+)+/gmid;
+  let match2;
+  while ((match2 = regex.exec(sourceFile.text)) !== null) {
+    const pos = match2.indices?.[0]?.[0];
+    if (!pos) continue;
+    const commentRange = tsUtils.getCommentAtPosition(sourceFile, pos);
+    if (!commentRange) continue;
+    const commentText = sourceFile.text.slice(pos, commentRange.end);
+    const codegenRegex = /(\s+)(\w+)(?::(\w+))?/gmi;
+    let codegenMatch;
+    while ((codegenMatch = codegenRegex.exec(commentText)) !== null) {
+      const whitespace = codegenMatch[1] || "";
+      const codegenName = codegenMatch[2] || "";
+      const codegenHash = codegenMatch[3] || "";
+      const range = {
+        pos: codegenMatch.index + pos + whitespace.length,
+        end: codegenMatch.index + pos + codegenMatch[0].length
+      };
+      const codegen = codegens2.find((codegen2) => codegen2.name === codegenName);
+      if (!codegen) continue;
+      result.push({ codegen, hash: codegenHash, range });
+    }
+  }
+  return result;
+});
+var getEditsForCodegen = fn("LSP.getEditsForCodegen")(function* (codegens2, sourceFile, textRange) {
+  const applicableCodegens = yield* getCodegensForSourceFile(codegens2, sourceFile);
+  const inRangeCodegens = applicableCodegens.filter(
+    (codegen2) => codegen2.range.pos <= textRange.pos && codegen2.range.end >= textRange.end
+  );
+  if (inRangeCodegens.length !== 1) {
+    return yield* fail(new CodegenNotApplicableError("zero or multiple codegens in range"));
+  }
+  const { codegen, range } = inRangeCodegens[0];
+  const edit = yield* codegen.apply(sourceFile, range);
+  const updateHashComment = pipe(
+    service(ChangeTracker),
+    map3((changeTracker) => {
+      changeTracker.deleteRange(sourceFile, range);
+      changeTracker.insertText(sourceFile, range.pos, `${codegen.name}:${edit.hash}`);
+    })
+  );
+  return {
+    ...edit,
+    apply: pipe(
+      edit.apply,
+      flatMap(() => updateHashComment)
+    ),
+    ignore: updateHashComment
+  };
+});
 
 // src/completions/contextSelfInClasses.ts
 var contextSelfInClasses = createCompletion({
   name: "contextSelfInClasses",
   apply: fn("contextSelfInClasses")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseDataForExtendsClassCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject, className, replacementSpan } = maybeInfos.value;
-    const contextName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Context"
-      )
-    );
-    const contextIdentifier = match(contextName, {
-      onNone: () => "Context",
-      onSome: (_) => _.text
-    });
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseDataForExtendsClassCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject, className, replacementSpan } = maybeInfos;
+    const contextIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Context"
+    ) || "Context";
     if (contextIdentifier !== accessedObject.text) return [];
     const name = className.text;
     return [{
@@ -1973,12 +1856,6 @@ var contextSelfInClasses = createCompletion({
 
 // src/core/TypeCheckerApi.ts
 var TypeCheckerApi = Tag("TypeChecker");
-var TypeCheckerApiCache = Tag("TypeCheckerApiCache");
-function makeTypeCheckerApiCache() {
-  return {
-    expectedAndRealType: /* @__PURE__ */ new WeakMap()
-  };
-}
 var deterministicTypeOrder = gen(function* () {
   const typeChecker = yield* service(TypeCheckerApi);
   return make2((a, b) => {
@@ -2077,106 +1954,106 @@ var getInferredReturnType = fn("TypeCheckerApi.getInferredReturnType")(function*
   }
   return returnType;
 });
-var expectedAndRealType = fn("TypeCheckerApi.expectedAndRealType")(function* (sourceFile) {
-  const cache = yield* service(TypeCheckerApiCache);
-  const resultCached = cache.expectedAndRealType.get(sourceFile);
-  if (resultCached) return resultCached;
-  const typeChecker = yield* service(TypeCheckerApi);
-  const ts = yield* service(TypeScriptApi);
-  const result = [];
-  const nodeToVisit = [sourceFile];
-  const appendNodeToVisit = (node) => {
-    nodeToVisit.push(node);
-    return void 0;
-  };
-  while (nodeToVisit.length > 0) {
-    const node = nodeToVisit.shift();
-    if (ts.isVariableDeclaration(node) && node.initializer) {
-      const expectedType = typeChecker.getTypeAtLocation(node.name);
-      const realType = typeChecker.getTypeAtLocation(node.initializer);
-      result.push([node.name, expectedType, node.initializer, realType]);
-      appendNodeToVisit(node.initializer);
-      continue;
-    } else if (ts.isCallExpression(node)) {
-      const resolvedSignature = typeChecker.getResolvedSignature(node);
-      if (resolvedSignature) {
-        resolvedSignature.getParameters().map((parameter, index) => {
-          const expectedType = typeChecker.getTypeOfSymbolAtLocation(parameter, node);
-          const realType = typeChecker.getTypeAtLocation(node.arguments[index]);
-          result.push([
-            node.arguments[index],
-            expectedType,
-            node.arguments[index],
-            realType
-          ]);
-        });
-      }
-      ts.forEachChild(node, appendNodeToVisit);
-      continue;
-    } else if (ts.isIdentifier(node) || ts.isStringLiteral(node) || ts.isNumericLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node)) {
-      const parent = node.parent;
-      if (ts.isObjectLiteralElement(parent)) {
-        if (ts.isObjectLiteralExpression(parent.parent) && parent.name === node) {
-          const type = typeChecker.getContextualType(parent.parent);
-          if (type) {
-            const symbol3 = typeChecker.getPropertyOfType(type, node.text);
-            if (symbol3) {
-              const expectedType = typeChecker.getTypeOfSymbolAtLocation(symbol3, node);
-              const realType = typeChecker.getTypeAtLocation(node);
-              result.push([node, expectedType, node, realType]);
+var expectedAndRealType = cachedBy(
+  fn("TypeCheckerApi.expectedAndRealType")(function* (sourceFile) {
+    const typeChecker = yield* service(TypeCheckerApi);
+    const ts = yield* service(TypeScriptApi);
+    const result = [];
+    const nodeToVisit = [sourceFile];
+    const appendNodeToVisit = (node) => {
+      nodeToVisit.push(node);
+      return void 0;
+    };
+    while (nodeToVisit.length > 0) {
+      const node = nodeToVisit.shift();
+      if (ts.isVariableDeclaration(node) && node.initializer) {
+        const expectedType = typeChecker.getTypeAtLocation(node.name);
+        const realType = typeChecker.getTypeAtLocation(node.initializer);
+        result.push([node.name, expectedType, node.initializer, realType]);
+        appendNodeToVisit(node.initializer);
+        continue;
+      } else if (ts.isCallExpression(node)) {
+        const resolvedSignature = typeChecker.getResolvedSignature(node);
+        if (resolvedSignature) {
+          resolvedSignature.getParameters().map((parameter, index) => {
+            const expectedType = typeChecker.getTypeOfSymbolAtLocation(parameter, node);
+            const realType = typeChecker.getTypeAtLocation(node.arguments[index]);
+            result.push([
+              node.arguments[index],
+              expectedType,
+              node.arguments[index],
+              realType
+            ]);
+          });
+        }
+        ts.forEachChild(node, appendNodeToVisit);
+        continue;
+      } else if (ts.isIdentifier(node) || ts.isStringLiteral(node) || ts.isNumericLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node)) {
+        const parent = node.parent;
+        if (ts.isObjectLiteralElement(parent)) {
+          if (ts.isObjectLiteralExpression(parent.parent) && parent.name === node) {
+            const type = typeChecker.getContextualType(parent.parent);
+            if (type) {
+              const symbol3 = typeChecker.getPropertyOfType(type, node.text);
+              if (symbol3) {
+                const expectedType = typeChecker.getTypeOfSymbolAtLocation(symbol3, node);
+                const realType = typeChecker.getTypeAtLocation(node);
+                result.push([node, expectedType, node, realType]);
+              }
             }
           }
         }
-      }
-      ts.forEachChild(node, appendNodeToVisit);
-      continue;
-    } else if (ts.isBinaryExpression(node) && node.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
-      const expectedType = typeChecker.getTypeAtLocation(node.left);
-      const realType = typeChecker.getTypeAtLocation(node.right);
-      result.push([node.left, expectedType, node.right, realType]);
-      appendNodeToVisit(node.right);
-      continue;
-    } else if (ts.isReturnStatement(node) && node.expression) {
-      const parentDeclaration = yield* option(getAncestorConvertibleDeclaration(node));
-      if (isSome2(parentDeclaration)) {
-        const expectedType = yield* option(getInferredReturnType(parentDeclaration.value));
-        const realType = typeChecker.getTypeAtLocation(node.expression);
+        ts.forEachChild(node, appendNodeToVisit);
+        continue;
+      } else if (ts.isBinaryExpression(node) && node.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+        const expectedType = typeChecker.getTypeAtLocation(node.left);
+        const realType = typeChecker.getTypeAtLocation(node.right);
+        result.push([node.left, expectedType, node.right, realType]);
+        appendNodeToVisit(node.right);
+        continue;
+      } else if (ts.isReturnStatement(node) && node.expression) {
+        const parentDeclaration = yield* option(getAncestorConvertibleDeclaration(node));
+        if (isSome2(parentDeclaration)) {
+          const expectedType = yield* option(getInferredReturnType(parentDeclaration.value));
+          const realType = typeChecker.getTypeAtLocation(node.expression);
+          if (isSome2(expectedType)) {
+            result.push([node, expectedType.value, node, realType]);
+          }
+        }
+        ts.forEachChild(node, appendNodeToVisit);
+        continue;
+      } else if (ts.isArrowFunction(node) && (node.typeParameters || []).length === 0 && ts.isExpression(node.body)) {
+        const body = node.body;
+        const expectedType = typeChecker.getContextualType(body);
+        const realType = typeChecker.getTypeAtLocation(body);
+        if (expectedType) {
+          result.push([body, expectedType, body, realType]);
+        }
+        ts.forEachChild(body, appendNodeToVisit);
+        continue;
+      } else if (ts.isArrowFunction(node) && (node.typeParameters || []).length > 0 && ts.isExpression(node.body)) {
+        const body = node.body;
+        const expectedType = yield* option(getInferredReturnType(node));
+        const realType = typeChecker.getTypeAtLocation(body);
         if (isSome2(expectedType)) {
-          result.push([node, expectedType.value, node, realType]);
+          result.push([body, expectedType.value, body, realType]);
         }
+        ts.forEachChild(body, appendNodeToVisit);
+        continue;
+      } else if (ts.isSatisfiesExpression(node)) {
+        const expectedType = typeChecker.getTypeAtLocation(node.type);
+        const realType = typeChecker.getTypeAtLocation(node.expression);
+        result.push([node.expression, expectedType, node.expression, realType]);
+        appendNodeToVisit(node.expression);
+        continue;
       }
       ts.forEachChild(node, appendNodeToVisit);
-      continue;
-    } else if (ts.isArrowFunction(node) && (node.typeParameters || []).length === 0 && ts.isExpression(node.body)) {
-      const body = node.body;
-      const expectedType = typeChecker.getContextualType(body);
-      const realType = typeChecker.getTypeAtLocation(body);
-      if (expectedType) {
-        result.push([body, expectedType, body, realType]);
-      }
-      ts.forEachChild(body, appendNodeToVisit);
-      continue;
-    } else if (ts.isArrowFunction(node) && (node.typeParameters || []).length > 0 && ts.isExpression(node.body)) {
-      const body = node.body;
-      const expectedType = yield* option(getInferredReturnType(node));
-      const realType = typeChecker.getTypeAtLocation(body);
-      if (isSome2(expectedType)) {
-        result.push([body, expectedType.value, body, realType]);
-      }
-      ts.forEachChild(body, appendNodeToVisit);
-      continue;
-    } else if (ts.isSatisfiesExpression(node)) {
-      const expectedType = typeChecker.getTypeAtLocation(node.type);
-      const realType = typeChecker.getTypeAtLocation(node.expression);
-      result.push([node.expression, expectedType, node.expression, realType]);
-      appendNodeToVisit(node.expression);
-      continue;
     }
-    ts.forEachChild(node, appendNodeToVisit);
-  }
-  cache.expectedAndRealType.set(sourceFile, result);
-  return result;
-});
+    return result;
+  }),
+  "TypeCheckerApi.expectedAndRealType",
+  (sourceFile) => sourceFile
+);
 var unrollUnionMembers = (type) => {
   const result = [];
   let toTest = [type];
@@ -2286,95 +2163,17 @@ var durationInput = createCompletion({
   })
 });
 
-// src/completions/effectDataClasses.ts
-var effectDataClasses = createCompletion({
-  name: "effectDataClasses",
-  apply: fn("effectDataClasses")(function* (sourceFile, position) {
-    const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseDataForExtendsClassCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject, className, replacementSpan } = maybeInfos.value;
-    const dataName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Data"
-      )
-    );
-    const effectDataIdentifier = match(dataName, {
-      onNone: () => "Data",
-      onSome: (_) => _.text
-    });
-    if (effectDataIdentifier !== accessedObject.text) return [];
-    const name = className.text;
-    return [{
-      name: `TaggedError("${name}")`,
-      kind: ts.ScriptElementKind.constElement,
-      insertText: `${effectDataIdentifier}.TaggedError("${name}")<{${"${0}"}}>{}`,
-      replacementSpan,
-      isSnippet: true
-    }, {
-      name: `TaggedClass("${name}")`,
-      kind: ts.ScriptElementKind.constElement,
-      insertText: `${effectDataIdentifier}.TaggedClass("${name}")<{${"${0}"}}>{}`,
-      replacementSpan,
-      isSnippet: true
-    }];
-  })
-});
-
-// src/diagnostics/duplicatePackage.ts
-var checkedPackagesCache = /* @__PURE__ */ new Map();
-var programResolvedCacheSize = /* @__PURE__ */ new Map();
-var duplicatePackage = createDiagnostic({
-  name: "duplicatePackage",
-  code: 6,
-  severity: "warning",
-  apply: fn("duplicatePackage.apply")(function* (sourceFile, report) {
-    const program = yield* service(TypeScriptProgram);
-    const options = yield* service(LanguageServicePluginOptions);
-    if (sourceFile.statements.length < 1) return;
-    let resolvedPackages = checkedPackagesCache.get(sourceFile.fileName) || {};
-    const newResolvedModuleSize = hasProperty(program, "resolvedModules") && hasProperty(program.resolvedModules, "size") && isNumber(program.resolvedModules.size) ? program.resolvedModules.size : 0;
-    const oldResolvedSize = programResolvedCacheSize.get(sourceFile.fileName) || -1;
-    if (newResolvedModuleSize !== oldResolvedSize) {
-      const seenPackages = /* @__PURE__ */ new Set();
-      resolvedPackages = {};
-      program.getSourceFiles().map((_) => {
-        const packageInfo = parsePackageContentNameAndVersionFromScope(_);
-        if (!packageInfo) return;
-        const packageNameAndVersion = packageInfo.name + "@" + packageInfo.version;
-        if (seenPackages.has(packageNameAndVersion)) return;
-        seenPackages.add(packageNameAndVersion);
-        if (!(packageInfo.name === "effect" || packageInfo.hasEffectInPeerDependencies)) return;
-        if (options.allowedDuplicatedPackages.indexOf(packageInfo.name) > -1) return;
-        resolvedPackages[packageInfo.name] = resolvedPackages[packageInfo.name] || {};
-        resolvedPackages[packageInfo.name][packageInfo.version] = packageInfo.packageDirectory;
-      });
-      checkedPackagesCache.set(sourceFile.fileName, resolvedPackages);
-      programResolvedCacheSize.set(sourceFile.fileName, newResolvedModuleSize);
-    }
-    for (const packageName of Object.keys(resolvedPackages)) {
-      if (Object.keys(resolvedPackages[packageName]).length > 1) {
-        const versions = Object.keys(resolvedPackages[packageName]);
-        report({
-          node: sourceFile.statements[0],
-          messageText: `Package ${packageName} is referenced multiple times with different versions (${versions.join(", ")}) and may cause unexpected type errors.
-Cleanup your dependencies and your package lockfile to avoid multiple instances of this package and reload the project.
-If this is intended set the LSP config "allowedDuplicatedPackages" to ${JSON.stringify(options.allowedDuplicatedPackages.concat([packageName]))}.
-
-${versions.map((version) => `- found ${version} at ${resolvedPackages[packageName][version]}`).join("\n")}`,
-          fixes: []
-        });
-      }
-    }
-  })
-});
-
 // src/core/TypeParser.ts
 var TypeParser = Tag("@effect/language-service/TypeParser");
+var nanoLayer2 = (fa) => gen(function* () {
+  const ts = yield* service(TypeScriptApi);
+  const tsUtils = yield* service(TypeScriptUtils);
+  const typeChecker = yield* service(TypeCheckerApi);
+  return yield* pipe(
+    fa,
+    provideService(TypeParser, make3(ts, tsUtils, typeChecker))
+  );
+});
 var TypeParserIssue = class _TypeParserIssue {
   _tag = "@effect/language-service/TypeParserIssue";
   static issue = fail(new _TypeParserIssue());
@@ -2382,7 +2181,7 @@ var TypeParserIssue = class _TypeParserIssue {
 function typeParserIssue(_message, _type, _node) {
   return TypeParserIssue.issue;
 }
-function make3(ts, typeChecker) {
+function make3(ts, tsUtils, typeChecker) {
   function covariantTypeArgument(type) {
     const signatures = type.getCallSignatures();
     if (signatures.length !== 1) {
@@ -2444,16 +2243,16 @@ function make3(ts, typeChecker) {
     const propertyType = typeChecker.getTypeOfSymbolAtLocation(propertySymbol, atLocation);
     return invariantTypeArgument(propertyType);
   };
-  const effectVarianceStruct = (type, atLocation) => map4(
-    all2(
+  const effectVarianceStruct = (type, atLocation) => map3(
+    all(
       varianceStructCovariantType(type, atLocation, "_A"),
       varianceStructCovariantType(type, atLocation, "_E"),
       varianceStructCovariantType(type, atLocation, "_R")
     ),
     ([A, E, R]) => ({ A, E, R })
   );
-  const layerVarianceStruct = (type, atLocation) => map4(
-    all2(
+  const layerVarianceStruct = (type, atLocation) => map3(
+    all(
       varianceStructContravariantType(type, atLocation, "_ROut"),
       varianceStructCovariantType(type, atLocation, "_E"),
       varianceStructCovariantType(type, atLocation, "_RIn")
@@ -2581,7 +2380,7 @@ function make3(ts, typeChecker) {
       }
       return pipe(
         importedEffectModule(propertyAccess.expression),
-        map4((effectModule) => ({
+        map3((effectModule) => ({
           node,
           effectModule,
           generatorFunction,
@@ -2629,7 +2428,7 @@ function make3(ts, typeChecker) {
       }
       return pipe(
         importedEffectModule(propertyAccess.expression),
-        map4((effectModule) => ({
+        map3((effectModule) => ({
           node,
           effectModule,
           generatorFunction,
@@ -2682,7 +2481,7 @@ function make3(ts, typeChecker) {
       }
       return pipe(
         importedEffectModule(propertyAccess.expression),
-        map4((effectModule) => ({
+        map3((effectModule) => ({
           node,
           generatorFunction,
           effectModule,
@@ -2724,15 +2523,11 @@ function make3(ts, typeChecker) {
           if (!explicitReturn && !(successType.flags & ts.TypeFlags.VoidLike)) {
             replacementNode = pipe(
               gen(function* () {
-                const effectIdentifier = pipe(
-                  yield* option(
-                    findImportedModuleIdentifierByPackageAndNameOrBarrel(node.getSourceFile(), "effect", "Effect")
-                  ),
-                  match({
-                    onNone: () => "Effect",
-                    onSome: (_) => _.text
-                  })
-                );
+                const effectIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+                  node.getSourceFile(),
+                  "effect",
+                  "Effect"
+                ) || "Effect";
                 return ts.factory.createCallExpression(
                   ts.factory.createPropertyAccessExpression(
                     ts.factory.createIdentifier(effectIdentifier),
@@ -2760,8 +2555,8 @@ function make3(ts, typeChecker) {
     "TypeParser.unnecessaryEffectGen",
     (node) => node
   );
-  const effectSchemaVarianceStruct = (type, atLocation) => map4(
-    all2(
+  const effectSchemaVarianceStruct = (type, atLocation) => map3(
+    all(
       varianceStructInvariantType(type, atLocation, "_A"),
       varianceStructInvariantType(type, atLocation, "_I"),
       varianceStructCovariantType(type, atLocation, "_R")
@@ -2792,8 +2587,8 @@ function make3(ts, typeChecker) {
     "TypeParser.effectSchemaType",
     (type) => type
   );
-  const contextTagVarianceStruct = (type, atLocation) => map4(
-    all2(
+  const contextTagVarianceStruct = (type, atLocation) => map3(
+    all(
       varianceStructInvariantType(type, atLocation, "_Identifier"),
       varianceStructInvariantType(type, atLocation, "_Service")
     ),
@@ -2900,6 +2695,64 @@ function make3(ts, typeChecker) {
     "TypeParser.promiseLike",
     (type) => type
   );
+  const extendsEffectService = cachedBy(
+    fn("TypeParser.extendsEffectService")(function* (atLocation) {
+      if (!atLocation.name) {
+        return yield* typeParserIssue("Class has no name", void 0, atLocation);
+      }
+      const classSym = typeChecker.getSymbolAtLocation(atLocation.name);
+      if (!classSym) return yield* typeParserIssue("Class has no symbol", void 0, atLocation);
+      const type = typeChecker.getTypeOfSymbol(classSym);
+      const heritageClauses = atLocation.heritageClauses;
+      if (!heritageClauses) {
+        return yield* typeParserIssue("Class has no heritage clauses", void 0, atLocation);
+      }
+      for (const heritageClause of heritageClauses) {
+        for (const typeX of heritageClause.types) {
+          if (ts.isExpressionWithTypeArguments(typeX)) {
+            const wholeCall = typeX.expression;
+            if (ts.isCallExpression(wholeCall)) {
+              const effectServiceCall = wholeCall.expression;
+              if (ts.isCallExpression(effectServiceCall) && effectServiceCall.typeArguments && effectServiceCall.typeArguments.length > 0) {
+                const effectServiceIdentifier = effectServiceCall.expression;
+                const selfTypeNode = effectServiceCall.typeArguments[0];
+                if (ts.isPropertyAccessExpression(effectServiceIdentifier) && ts.isIdentifier(effectServiceIdentifier.name) && effectServiceIdentifier.name.text === "Service") {
+                  const parsedContextTag = yield* pipe(
+                    importedEffectModule(effectServiceIdentifier.expression),
+                    flatMap(() => contextTag(type, atLocation)),
+                    option
+                  );
+                  if (isSome2(parsedContextTag)) {
+                    let accessors2 = void 0;
+                    if (wholeCall.arguments.length >= 2) {
+                      const args2 = wholeCall.arguments[1];
+                      if (ts.isObjectLiteralExpression(args2)) {
+                        for (const property of args2.properties) {
+                          if (ts.isPropertyAssignment(property) && property.name && ts.isIdentifier(property.name) && property.name.text === "accessors" && property.initializer && property.initializer.kind === ts.SyntaxKind.TrueKeyword) {
+                            accessors2 = true;
+                          }
+                        }
+                      }
+                    }
+                    return {
+                      ...parsedContextTag.value,
+                      className: atLocation.name,
+                      selfTypeNode,
+                      args: wholeCall.arguments,
+                      accessors: accessors2
+                    };
+                  }
+                }
+              }
+            }
+          }
+        }
+      }
+      return yield* typeParserIssue("Class does not extend Effect.Service", void 0, atLocation);
+    }),
+    "TypeParser.extendsEffectService",
+    (atLocation) => atLocation
+  );
   return {
     effectType,
     strictEffectType,
@@ -2916,10 +2769,395 @@ function make3(ts, typeChecker) {
     pipeableType,
     pipeCall,
     scopeType,
-    promiseLike
+    promiseLike,
+    extendsEffectService
   };
 }
 
+// src/refactors/writeTagClassAccessors.ts
+var generate = fn("writeTagClassAccessors.generate")(function* (sourceFile, service2, className, atLocation, involvedMembers) {
+  const ts = yield* service(TypeScriptApi);
+  const tsUtils = yield* service(TypeScriptUtils);
+  const typeChecker = yield* service(TypeCheckerApi);
+  const typeParser = yield* service(TypeParser);
+  const changeTracker = yield* service(ChangeTracker);
+  const insertLocation = atLocation.members.length > 0 ? atLocation.members[0].pos : atLocation.getEnd() - 1;
+  const effectIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+    sourceFile,
+    "effect",
+    "Effect"
+  ) || "Effect";
+  const createFunctionProperty = (className2, propertyName, type, forceAny) => {
+    const arrowBody = ts.factory.createCallExpression(
+      ts.factory.createPropertyAccessExpression(
+        ts.factory.createIdentifier(effectIdentifier),
+        "andThen"
+      ),
+      void 0,
+      [
+        ts.factory.createIdentifier(className2.text),
+        ts.factory.createArrowFunction(
+          void 0,
+          void 0,
+          [ts.factory.createParameterDeclaration(
+            void 0,
+            void 0,
+            "_",
+            void 0,
+            forceAny ? ts.factory.createTypeReferenceNode("any") : void 0
+          )],
+          void 0,
+          void 0,
+          ts.factory.createCallExpression(
+            ts.factory.createPropertyAccessExpression(
+              ts.factory.createIdentifier("_"),
+              propertyName
+            ),
+            void 0,
+            [
+              ts.factory.createSpreadElement(ts.factory.createIdentifier("args"))
+            ]
+          )
+        )
+      ]
+    );
+    return ts.factory.createPropertyDeclaration(
+      [ts.factory.createModifier(ts.SyntaxKind.StaticKeyword)],
+      propertyName,
+      void 0,
+      type,
+      ts.factory.createArrowFunction(
+        void 0,
+        void 0,
+        [ts.factory.createParameterDeclaration(
+          void 0,
+          ts.factory.createToken(ts.SyntaxKind.DotDotDotToken),
+          "args",
+          void 0,
+          forceAny ? ts.factory.createArrayTypeNode(ts.factory.createTypeReferenceNode("any")) : void 0
+        )],
+        void 0,
+        void 0,
+        forceAny ? ts.factory.createAsExpression(arrowBody, ts.factory.createTypeReferenceNode("any")) : arrowBody
+      )
+    );
+  };
+  const generateReturnType = (type, atLocation2, className2) => pipe(
+    typeParser.effectType(type, atLocation2),
+    flatMap((returnedEffect) => {
+      const contextType = returnedEffect.R.flags & ts.TypeFlags.Never ? ts.factory.createTypeReferenceNode(className2.text) : ts.factory.createUnionTypeNode(
+        [
+          ts.factory.createTypeReferenceNode(className2.text),
+          typeChecker.typeToTypeNode(returnedEffect.R, atLocation2, ts.NodeBuilderFlags.NoTruncation)
+        ]
+      );
+      const successType = typeChecker.typeToTypeNode(
+        returnedEffect.A,
+        atLocation2,
+        ts.NodeBuilderFlags.NoTruncation
+      );
+      if (!successType) return fail("error generating success type");
+      const failureType = typeChecker.typeToTypeNode(
+        returnedEffect.E,
+        atLocation2,
+        ts.NodeBuilderFlags.NoTruncation
+      );
+      if (!failureType) return fail("error generating failure type");
+      const typeNode = ts.factory.createTypeReferenceNode(
+        ts.factory.createQualifiedName(
+          ts.factory.createIdentifier(effectIdentifier),
+          ts.factory.createIdentifier("Effect")
+        ),
+        [successType, failureType, contextType]
+      );
+      return succeed(typeNode);
+    }),
+    orElse2(
+      () => pipe(
+        typeParser.promiseLike(type, atLocation2),
+        flatMap(({ type: type2 }) => {
+          const successType = typeChecker.typeToTypeNode(
+            type2,
+            atLocation2,
+            ts.NodeBuilderFlags.NoTruncation
+          );
+          if (!successType) return fail("error generating success type");
+          return succeed(ts.factory.createTypeReferenceNode(
+            ts.factory.createQualifiedName(
+              ts.factory.createIdentifier(effectIdentifier),
+              ts.factory.createIdentifier("Effect")
+            ),
+            [
+              successType,
+              ts.factory.createTypeReferenceNode(
+                ts.factory.createQualifiedName(
+                  ts.factory.createIdentifier("Cause"),
+                  ts.factory.createIdentifier("UnknownException")
+                )
+              ),
+              ts.factory.createTypeReferenceNode(className2.text)
+            ]
+          ));
+        })
+      )
+    ),
+    orElse2(() => {
+      const successType = typeChecker.typeToTypeNode(type, atLocation2, ts.NodeBuilderFlags.NoTruncation);
+      if (!successType) return fail("error generating success type");
+      const typeNode = ts.factory.createTypeReferenceNode(
+        ts.factory.createQualifiedName(
+          ts.factory.createIdentifier(effectIdentifier),
+          ts.factory.createIdentifier("Effect")
+        ),
+        [
+          successType,
+          ts.factory.createTypeReferenceNode("never"),
+          ts.factory.createTypeReferenceNode(className2.text)
+        ]
+      );
+      return succeed(typeNode);
+    })
+  );
+  const proxySignature = (signature, atLocation2, className2) => gen(function* () {
+    const signatureDeclaration = typeChecker.signatureToSignatureDeclaration(
+      signature,
+      ts.SyntaxKind.FunctionType,
+      atLocation2,
+      ts.NodeBuilderFlags.NoTruncation
+    );
+    if (!signatureDeclaration) return yield* fail("error generating signature");
+    const returnType = yield* generateReturnType(signature.getReturnType(), atLocation2, className2);
+    return ts.factory.createFunctionTypeNode(
+      signatureDeclaration.typeParameters,
+      signatureDeclaration.parameters,
+      returnType
+    );
+  });
+  for (const { property, propertyType } of involvedMembers) {
+    const callSignatures = [];
+    let propertyDeclaration = void 0;
+    for (const signature of propertyType.getCallSignatures()) {
+      yield* pipe(
+        proxySignature(signature, atLocation, className),
+        map3((sig) => {
+          callSignatures.push(sig);
+        }),
+        ignore
+      );
+    }
+    const allSignatures = ts.factory.createIntersectionTypeNode(callSignatures);
+    const type = tsUtils.simplifyTypeNode(allSignatures);
+    propertyDeclaration = createFunctionProperty(className, property.getName(), type, callSignatures.length > 1);
+    const oldProperty = atLocation.members.filter(ts.isPropertyDeclaration).find((p) => {
+      const symbol3 = typeChecker.getSymbolAtLocation(p.name);
+      return symbol3?.getName() === property.getName();
+    });
+    if (oldProperty) {
+      changeTracker.deleteRange(sourceFile, {
+        pos: oldProperty.getStart(sourceFile),
+        end: oldProperty.getEnd()
+      });
+      changeTracker.insertNodeAt(sourceFile, oldProperty.getStart(sourceFile), propertyDeclaration);
+    } else {
+      changeTracker.insertNodeAt(sourceFile, insertLocation, propertyDeclaration, { suffix: "\n" });
+    }
+  }
+});
+var parse2 = fn("writeTagClassAccessors.parse")(function* (node) {
+  const ts = yield* service(TypeScriptApi);
+  const typeChecker = yield* service(TypeCheckerApi);
+  const typeParser = yield* service(TypeParser);
+  if (!ts.isClassDeclaration(node)) return yield* fail("not a class declaration");
+  const { Service, accessors: accessors2, className } = yield* pipe(
+    typeParser.extendsEffectService(node),
+    orElse2(() => fail("not a class extending Effect.Service call"))
+  );
+  if (accessors2 !== true) return yield* fail("accessors are not enabled in the Effect.Service call");
+  const involvedMembers = [];
+  for (const property of typeChecker.getPropertiesOfType(Service)) {
+    const propertyType = typeChecker.getTypeOfSymbolAtLocation(property, node);
+    const callSignatures = propertyType.getCallSignatures();
+    if (callSignatures.length > 0) {
+      const withTypeParameters = callSignatures.filter((_) => _.typeParameters && _.typeParameters.length > 0);
+      if (callSignatures.length > 1 || withTypeParameters.length > 0) involvedMembers.push({ property, propertyType });
+    }
+  }
+  const hash2 = involvedMembers.map(({ property, propertyType }) => {
+    return property.getName() + ": " + typeChecker.typeToString(propertyType);
+  }).concat([className.text]).join("\n");
+  return { Service, className, atLocation: node, hash: cyrb53(hash2), involvedMembers };
+});
+var writeTagClassAccessors = createRefactor({
+  name: "writeTagClassAccessors",
+  description: "Implement accessors methods with generics or multiple signatures",
+  apply: fn("writeTagClassAccessors.apply")(function* (sourceFile, textRange) {
+    const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
+    const typeChecker = yield* service(TypeCheckerApi);
+    const typeParser = yield* service(TypeParser);
+    const parseNode = (node) => pipe(
+      parse2(node),
+      map3(({ Service, atLocation, className, involvedMembers }) => ({
+        kind: "refactor.rewrite.effect.writeTagClassAccessors",
+        description: "Implement Service accessors",
+        apply: pipe(
+          generate(sourceFile, Service, className, atLocation, involvedMembers),
+          provideService(TypeScriptUtils, tsUtils),
+          provideService(TypeParser, typeParser),
+          provideService(TypeCheckerApi, typeChecker),
+          provideService(TypeScriptApi, ts)
+        )
+      }))
+    );
+    const parentNodes = tsUtils.getAncestorNodesInRange(sourceFile, textRange);
+    return yield* pipe(
+      firstSuccessOf(parentNodes.map(parseNode)),
+      orElse2(() => fail(new RefactorNotApplicableError()))
+    );
+  })
+});
+
+// src/codegens/accessors.ts
+var accessors = createCodegen({
+  name: "accessors",
+  apply: fn("accessors.apply")(function* (sourceFile, textRange) {
+    const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
+    const typeChecker = yield* service(TypeCheckerApi);
+    const typeParser = yield* service(TypeParser);
+    const nodeAndCommentRange = tsUtils.findNodeWithLeadingCommentAtPosition(sourceFile, textRange.pos);
+    if (!nodeAndCommentRange) return yield* fail(new CodegenNotApplicableError("no node and comment range"));
+    return yield* pipe(
+      parse2(nodeAndCommentRange.node),
+      map3(
+        (_) => ({
+          hash: _.hash,
+          description: "Generate accessors for the service",
+          apply: pipe(
+            generate(sourceFile, _.Service, _.className, _.atLocation, _.involvedMembers),
+            provideService(TypeScriptApi, ts),
+            provideService(TypeScriptUtils, tsUtils),
+            provideService(TypeCheckerApi, typeChecker),
+            provideService(TypeParser, typeParser)
+          )
+        })
+      ),
+      orElse2((cause) => fail(new CodegenNotApplicableError(cause)))
+    );
+  })
+});
+
+// src/codegens.ts
+var codegens = [accessors];
+
+// src/completions/effectCodegensComment.ts
+var effectCodegensComment = createCompletion({
+  name: "effectCodegensComment",
+  apply: fn("effectCodegensComment")(function* (sourceFile, position) {
+    const ts = yield* service(TypeScriptApi);
+    const sourceText = sourceFile.text;
+    const match2 = /(\/\/|\/\*(?:\*?))\s*(@)\s*$/id.exec(sourceText.substring(0, position));
+    if (match2 && match2.indices) {
+      const lastIndex = match2.indices[2][0];
+      const replacementSpan = {
+        start: lastIndex,
+        length: Math.max(0, position - lastIndex)
+      };
+      const allCodegens = sort(Object.values(codegens).map((codegen) => codegen.name), string2).join(",");
+      const enableSnippet = "${1|" + allCodegens + "|} $0";
+      return [{
+        name: `@effect-codegens`,
+        kind: ts.ScriptElementKind.string,
+        insertText: "@effect-codegens " + enableSnippet,
+        isSnippet: true,
+        replacementSpan
+      }];
+    }
+    return [];
+  })
+});
+
+// src/completions/effectDataClasses.ts
+var effectDataClasses = createCompletion({
+  name: "effectDataClasses",
+  apply: fn("effectDataClasses")(function* (sourceFile, position) {
+    const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseDataForExtendsClassCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject, className, replacementSpan } = maybeInfos;
+    const effectDataIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Data"
+    ) || "Data";
+    if (effectDataIdentifier !== accessedObject.text) return [];
+    const name = className.text;
+    return [{
+      name: `TaggedError("${name}")`,
+      kind: ts.ScriptElementKind.constElement,
+      insertText: `${effectDataIdentifier}.TaggedError("${name}")<{${"${0}"}}>{}`,
+      replacementSpan,
+      isSnippet: true
+    }, {
+      name: `TaggedClass("${name}")`,
+      kind: ts.ScriptElementKind.constElement,
+      insertText: `${effectDataIdentifier}.TaggedClass("${name}")<{${"${0}"}}>{}`,
+      replacementSpan,
+      isSnippet: true
+    }];
+  })
+});
+
+// src/diagnostics/duplicatePackage.ts
+var checkedPackagesCache = /* @__PURE__ */ new Map();
+var programResolvedCacheSize = /* @__PURE__ */ new Map();
+var duplicatePackage = createDiagnostic({
+  name: "duplicatePackage",
+  code: 6,
+  severity: "warning",
+  apply: fn("duplicatePackage.apply")(function* (sourceFile, report) {
+    const program = yield* service(TypeScriptProgram);
+    const tsUtils = yield* service(TypeScriptUtils);
+    const options = yield* service(LanguageServicePluginOptions);
+    if (sourceFile.statements.length < 1) return;
+    let resolvedPackages = checkedPackagesCache.get(sourceFile.fileName) || {};
+    const newResolvedModuleSize = hasProperty(program, "resolvedModules") && hasProperty(program.resolvedModules, "size") && isNumber(program.resolvedModules.size) ? program.resolvedModules.size : 0;
+    const oldResolvedSize = programResolvedCacheSize.get(sourceFile.fileName) || -1;
+    if (newResolvedModuleSize !== oldResolvedSize) {
+      const seenPackages = /* @__PURE__ */ new Set();
+      resolvedPackages = {};
+      program.getSourceFiles().map((_) => {
+        const packageInfo = tsUtils.parsePackageContentNameAndVersionFromScope(_);
+        if (!packageInfo) return;
+        const packageNameAndVersion = packageInfo.name + "@" + packageInfo.version;
+        if (seenPackages.has(packageNameAndVersion)) return;
+        seenPackages.add(packageNameAndVersion);
+        if (!(packageInfo.name === "effect" || packageInfo.hasEffectInPeerDependencies)) return;
+        if (options.allowedDuplicatedPackages.indexOf(packageInfo.name) > -1) return;
+        resolvedPackages[packageInfo.name] = resolvedPackages[packageInfo.name] || {};
+        resolvedPackages[packageInfo.name][packageInfo.version] = packageInfo.packageDirectory;
+      });
+      checkedPackagesCache.set(sourceFile.fileName, resolvedPackages);
+      programResolvedCacheSize.set(sourceFile.fileName, newResolvedModuleSize);
+    }
+    for (const packageName of Object.keys(resolvedPackages)) {
+      if (Object.keys(resolvedPackages[packageName]).length > 1) {
+        const versions = Object.keys(resolvedPackages[packageName]);
+        report({
+          location: sourceFile.statements[0],
+          messageText: `Package ${packageName} is referenced multiple times with different versions (${versions.join(", ")}) and may cause unexpected type errors.
+Cleanup your dependencies and your package lockfile to avoid multiple instances of this package and reload the project.
+If this is intended set the LSP config "allowedDuplicatedPackages" to ${JSON.stringify(options.allowedDuplicatedPackages.concat([packageName]))}.
+
+${versions.map((version) => `- found ${version} at ${resolvedPackages[packageName][version]}`).join("\n")}`,
+          fixes: []
+        });
+      }
+    }
+  })
+});
+
 // src/diagnostics/effectInVoidSuccess.ts
 var effectInVoidSuccess = createDiagnostic({
   name: "effectInVoidSuccess",
@@ -2935,7 +3173,7 @@ var effectInVoidSuccess = createDiagnostic({
       if (expectedEffect.A.flags & ts.TypeFlags.Void) {
         const voidValueTypes = unrollUnionMembers(realEffect.A);
         const voidedEffect = yield* firstSuccessOf(
-          voidValueTypes.map((_) => map4(typeParser.strictEffectType(_, node), () => _))
+          voidValueTypes.map((_) => map3(typeParser.strictEffectType(_, node), () => _))
         );
         return { voidedEffect };
       }
@@ -2951,10 +3189,10 @@ var effectInVoidSuccess = createDiagnostic({
             valueNode,
             realType
           ),
-          map4(({ voidedEffect }) => {
+          map3(({ voidedEffect }) => {
             report(
               {
-                node,
+                location: node,
                 messageText: `There is a nested '${typeChecker.typeToString(voidedEffect)}' in the 'void' success channel, beware that this could lead to nested Effect<Effect<...>> that won't be executed.`,
                 fixes: []
               }
@@ -3003,7 +3241,7 @@ var floatingEffect = createDiagnostic({
         );
         if (isNone2(allowedFloatingEffects)) {
           report({
-            node,
+            location: node,
             messageText: `Effect must be yielded or assigned to a variable.`,
             fixes: []
           });
@@ -3044,9 +3282,9 @@ var genericEffectServices = createDiagnostic({
       for (const [type, reportAt] of typesToCheck) {
         yield* pipe(
           typeParser.contextTag(type, node),
-          map4(() => {
+          map3(() => {
             report({
-              node: reportAt,
+              location: reportAt,
               messageText: `Effect Services with type parameters are not supported because they cannot be properly discriminated at runtime, which may cause unexpected behavior.`,
               fixes: []
             });
@@ -3068,17 +3306,16 @@ var importFromBarrel = createDiagnostic({
     const languageServicePluginOptions = yield* service(LanguageServicePluginOptions);
     if (languageServicePluginOptions.namespaceImportPackages.length === 0) return;
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const program = yield* service(TypeScriptProgram);
     const packageNamesToCheck = flatten(
-      yield* all2(
-        ...languageServicePluginOptions.namespaceImportPackages.map(
-          (packageName) => resolveModulePattern(sourceFile, packageName)
-        )
+      languageServicePluginOptions.namespaceImportPackages.map(
+        (packageName) => tsUtils.resolveModulePattern(sourceFile, packageName)
       )
     );
     const isImportedFromBarrelExport = (element) => {
-      const getModuleSpecifier = makeGetModuleSpecifier(ts);
+      const getModuleSpecifier = tsUtils.makeGetModuleSpecifier();
       const resolveExternalModuleName = makeResolveExternalModuleName(typeChecker);
       if (!(getModuleSpecifier && resolveExternalModuleName)) return;
       const importDeclaration = ts.findAncestor(element, (node) => ts.isImportDeclaration(node));
@@ -3154,7 +3391,7 @@ var importFromBarrel = createDiagnostic({
         unbarrelledFileName
       } = result;
       report({
-        node,
+        location: node,
         messageText: `Importing from barrel module ${barrelModuleName} is not allowed.`,
         fixes: [
           {
@@ -3219,13 +3456,13 @@ var leakingRequirements = createDiagnostic({
             let effectContextType = void 0;
             yield* pipe(
               typeParser.effectType(servicePropertyType, atLocation),
-              map4((_) => effectContextType = _.R),
+              map3((_) => effectContextType = _.R),
               orElse2(() => {
                 const servicePropertyCallSignatures = servicePropertyType.getCallSignatures();
                 if (servicePropertyCallSignatures.length === 1) {
                   return pipe(
                     typeParser.effectType(servicePropertyCallSignatures[0].getReturnType(), atLocation),
-                    map4((_) => {
+                    map3((_) => {
                       effectContextType = _.R;
                     })
                   );
@@ -3243,7 +3480,7 @@ var leakingRequirements = createDiagnostic({
                   if (type.flags & ts.TypeFlags.Never) return succeed(true);
                   return pipe(
                     typeParser.scopeType(type, atLocation),
-                    map4(() => true),
+                    map3(() => true),
                     orElse2(() => succeed(false))
                   );
                 }
@@ -3268,7 +3505,7 @@ var leakingRequirements = createDiagnostic({
     function reportLeakingRequirements(node, requirements) {
       if (requirements.length === 0) return;
       report({
-        node,
+        location: node,
         messageText: `This Service is leaking the ${requirements.map((_) => typeChecker.typeToString(_)).join(" | ")} requirement.
 If these requirements cannot be cached and are expected to be provided per method invocation (e.g. HttpServerRequest), you can safely disable this diagnostic for this line through quickfixes.
 More info at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage`,
@@ -3299,10 +3536,10 @@ More info at https://effect.website/docs/requirements-management/layers/#avoidin
       for (const [type, reportAt] of typesToCheck) {
         yield* pipe(
           typeParser.contextTag(type, node),
-          flatMap2(
+          flatMap(
             ({ Service }) => pipe(
               parseLeakedRequirements(Service, node),
-              map4((requirements) => reportLeakingRequirements(reportAt, sort(requirements, typeOrder)))
+              map3((requirements) => reportLeakingRequirements(reportAt, sort(requirements, typeOrder)))
             )
           ),
           orElse2(() => sync(() => ts.forEachChild(node, appendNodeToVisit))),
@@ -3323,11 +3560,11 @@ var missingEffectContext = createDiagnostic({
     const typeParser = yield* service(TypeParser);
     const typeOrder = yield* deterministicTypeOrder;
     const checkForMissingContextTypes = (node, expectedType, valueNode, realType) => pipe(
-      all2(
+      all(
         typeParser.effectType(expectedType, node),
         typeParser.effectType(realType, valueNode)
       ),
-      flatMap2(
+      flatMap(
         ([expectedEffect, realEffect]) => getMissingTypeEntriesInTargetType(
           realEffect.R,
           expectedEffect.R
@@ -3345,10 +3582,10 @@ var missingEffectContext = createDiagnostic({
             valueNode,
             realType
           ),
-          map4(
+          map3(
             (missingTypes) => missingTypes.length > 0 ? report(
               {
-                node,
+                location: node,
                 messageText: `Missing '${sortTypes(missingTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect context.`,
                 fixes: []
               }
@@ -3368,18 +3605,15 @@ var missingEffectError = createDiagnostic({
   severity: "error",
   apply: fn("missingEffectError.apply")(function* (sourceFile, report) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
     const typeOrder = yield* deterministicTypeOrder;
-    const effectModuleIdentifier = yield* pipe(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Effect"
-      ),
-      map4((_) => _.text),
-      orElse2(() => succeed("Effect"))
-    );
+    const effectModuleIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Effect"
+    ) || "Effect";
     const createDieMessage = (message) => ts.factory.createCallExpression(
       ts.factory.createPropertyAccessExpression(
         ts.factory.createIdentifier(effectModuleIdentifier),
@@ -3389,17 +3623,17 @@ var missingEffectError = createDiagnostic({
       [ts.factory.createStringLiteral(message)]
     );
     const checkForMissingErrorTypes = (node, expectedType, valueNode, realType) => pipe(
-      all2(
+      all(
         typeParser.effectType(expectedType, node),
         typeParser.effectType(realType, valueNode)
       ),
-      flatMap2(
+      flatMap(
         ([expectedEffect, realEffect]) => pipe(
           getMissingTypeEntriesInTargetType(
             realEffect.E,
             expectedEffect.E
           ),
-          map4((missingErrorTypes) => ({ missingErrorTypes, expectedErrorType: expectedEffect.E }))
+          map3((missingErrorTypes) => ({ missingErrorTypes, expectedErrorType: expectedEffect.E }))
         )
       )
     );
@@ -3414,7 +3648,7 @@ var missingEffectError = createDiagnostic({
             valueNode,
             realType
           ),
-          map4((result) => {
+          map3((result) => {
             if (result.missingErrorTypes.length === 0) return;
             const fixes = [];
             if (ts.isExpression(valueNode) && result.expectedErrorType.flags & ts.TypeFlags.Never) {
@@ -3437,17 +3671,17 @@ var missingEffectError = createDiagnostic({
             if (ts.isExpression(valueNode)) {
               const propertyAssignments = pipe(
                 result.missingErrorTypes,
-                map3((_) => typeChecker.getPropertyOfType(_, "_tag")),
+                map4((_) => typeChecker.getPropertyOfType(_, "_tag")),
                 filter((_) => !!_),
-                map3((_) => typeChecker.getTypeOfSymbolAtLocation(_, valueNode)),
+                map4((_) => typeChecker.getTypeOfSymbolAtLocation(_, valueNode)),
                 filter((_) => !!(_.flags & ts.TypeFlags.Literal)),
-                map3((_) => typeChecker.typeToTypeNode(_, void 0, ts.NodeBuilderFlags.NoTruncation)),
+                map4((_) => typeChecker.typeToTypeNode(_, void 0, ts.NodeBuilderFlags.NoTruncation)),
                 filter((_) => !!_ && ts.isLiteralTypeNode(_)),
-                map3((_) => _.literal),
+                map4((_) => _.literal),
                 filter((_) => ts.isLiteralExpression(_)),
-                map3((_) => _.text),
+                map4((_) => _.text),
                 sort(string2),
-                map3(
+                map4(
                   (_) => ts.factory.createPropertyAssignment(
                     ts.factory.createIdentifier(_),
                     ts.factory.createArrowFunction(
@@ -3481,7 +3715,7 @@ var missingEffectError = createDiagnostic({
             }
             report(
               {
-                node,
+                location: node,
                 messageText: `Missing '${sortTypes(result.missingErrorTypes).map((_) => typeChecker.typeToString(_)).join(" | ")}' in the expected Effect errors.`,
                 fixes
               }
@@ -3545,7 +3779,7 @@ var missingReturnYieldStar = createDiagnostic({
                   })
                 }] : [];
                 report({
-                  node,
+                  location: node,
                   messageText: `Yielded Effect never succeeds, so it is best to use a 'return yield*' instead.`,
                   fixes: fix
                 });
@@ -3588,7 +3822,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
             typeParser.effectGen(effectGenNode),
             orElse2(() => typeParser.effectFnUntracedGen(effectGenNode)),
             orElse2(() => typeParser.effectFnGen(effectGenNode)),
-            map4(({ functionStar }) => {
+            map3(({ functionStar }) => {
               if (functionStar) {
                 brokenGenerators.add(functionStar);
               }
@@ -3601,7 +3835,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
     }
     brokenGenerators.forEach(
       (node) => report({
-        node,
+        location: node,
         messageText: `Seems like you used yield instead of yield* inside this Effect.gen.`,
         fixes: []
       })
@@ -3623,7 +3857,7 @@ var missingStarInYieldEffectGen = createDiagnostic({
         })
       }] : [];
       report({
-        node,
+        location: node,
         messageText: `When yielding Effects inside Effect.gen, you should use yield* instead of yield.`,
         fixes: fix
       });
@@ -3638,34 +3872,27 @@ var multipleEffectProvide = createDiagnostic({
   severity: "warning",
   apply: fn("multipleEffectProvide.apply")(function* (sourceFile, report) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
-    const effectModuleIdentifier = yield* pipe(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Effect"
-      ),
-      map4((_) => _.text),
-      orElse2(() => succeed("Effect"))
-    );
-    const layerModuleIdentifier = yield* pipe(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Layer"
-      ),
-      map4((_) => _.text),
-      orElse2(() => succeed("Layer"))
-    );
+    const effectModuleIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Effect"
+    ) || "Effect";
+    const layerModuleIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Layer"
+    ) || "Layer";
     const parseEffectProvideLayer = (node) => {
       if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression) && ts.isIdentifier(node.expression.name) && node.expression.name.text === "provide" && node.arguments.length > 0) {
         const layer = node.arguments[0];
         const type = typeChecker.getTypeAtLocation(layer);
         return pipe(
           typeParser.importedEffectModule(node.expression.expression),
-          flatMap2(() => typeParser.layerType(type, layer)),
-          map4(() => ({ layer, node })),
+          flatMap(() => typeParser.layerType(type, layer)),
+          map3(() => ({ layer, node })),
           orElse2(() => void_)
         );
       }
@@ -3687,8 +3914,8 @@ var multipleEffectProvide = createDiagnostic({
       for (const chunk of previousLayers) {
         if (chunk.length < 2) continue;
         report({
-          node: chunk[0].node,
-          messageText: "Calling multiple subsequent times Effect.provide is an anti-pattern and can lead to service lifecycle issues. You should combine the layers and provide them once instead.",
+          location: chunk[0].node,
+          messageText: "Avoid chaining Effect.provide calls, as this can lead to service lifecycle issues. Instead, merge layers and provide them in a single call.",
           fixes: [{
             fixName: "multipleEffectProvide_fix",
             description: "Combine into a single provide",
@@ -3735,6 +3962,51 @@ var multipleEffectProvide = createDiagnostic({
   })
 });
 
+// src/diagnostics/outdatedEffectCodegen.ts
+var outdatedEffectCodegen = createDiagnostic({
+  name: "outdatedEffectCodegen",
+  code: 19,
+  severity: "warning",
+  apply: fn("outdatedEffectCodegen.apply")(function* (sourceFile, _report) {
+    const codegensWithRanges = yield* getCodegensForSourceFile(codegens, sourceFile);
+    for (const { codegen, hash: hash2, range } of codegensWithRanges) {
+      yield* pipe(
+        getEditsForCodegen([codegen], sourceFile, range),
+        map3((applicable) => {
+          if (applicable.hash !== hash2) {
+            _report({
+              location: range,
+              messageText: `Codegen ${codegen.name} result is outdated`,
+              fixes: [
+                {
+                  fixName: "outdatedEffectCodegen_fix",
+                  description: `Re-run ${codegen.name}`,
+                  apply: applicable.apply
+                },
+                {
+                  fixName: "outdatedEffectCodegen_ignore",
+                  description: `Ignore this ${codegen.name} update`,
+                  apply: applicable.ignore
+                }
+              ]
+            });
+          }
+        }),
+        orElse2(
+          (e) => sync(() => {
+            _report({
+              location: range,
+              messageText: `Codegen ${codegen.name} is not applicable here: ${e.cause}`,
+              fixes: []
+            });
+          })
+        ),
+        ignore
+      );
+    }
+  })
+});
+
 // src/diagnostics/returnEffectInGen.ts
 var returnEffectInGen = createDiagnostic({
   name: "returnEffectInGen",
@@ -3769,7 +4041,7 @@ var returnEffectInGen = createDiagnostic({
               typeParser.effectGen(effectGenNode),
               orElse2(() => typeParser.effectFnUntracedGen(effectGenNode)),
               orElse2(() => typeParser.effectFnGen(effectGenNode)),
-              map4(() => {
+              map3(() => {
                 const fix = node.expression ? [{
                   fixName: "returnEffectInGen_fix",
                   description: "Add yield* statement",
@@ -3786,7 +4058,7 @@ var returnEffectInGen = createDiagnostic({
                   })
                 }] : [];
                 report({
-                  node,
+                  location: node,
                   messageText: `You are returning an Effect-able type inside a generator function, and will result in nested Effect<Effect<...>>.
 Maybe you wanted to return yield* instead?
 Nested Effect-able types may be intended if you plan to later manually flatten or unwrap this Effect, if so you can safely disable this diagnostic for this line through quickfixes.`,
@@ -3809,17 +4081,14 @@ var scopeInLayerEffect = createDiagnostic({
   severity: "warning",
   apply: fn("scopeInLayerEffect.apply")(function* (sourceFile, report) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
-    const layerModuleIdentifier = yield* pipe(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Layer"
-      ),
-      map4((_) => _.text),
-      orElse2(() => succeed("Layer"))
-    );
+    const layerModuleIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Layer"
+    ) || "Layer";
     function parseLayerEffectApiCall(node) {
       if (!ts.isCallExpression(node)) return;
       const expression = node.expression;
@@ -3843,9 +4112,9 @@ var scopeInLayerEffect = createDiagnostic({
       }
       return pipe(
         firstSuccessOf(entries.map((type2) => typeParser.scopeType(type2, node))),
-        map4(
+        map3(
           () => report({
-            node,
+            location: node,
             messageText: `Seems like you are constructing a layer with a scope in the requirements.
 Consider using "scoped" instead to get rid of the scope in the requirements.`,
             fixes: methodIdentifier ? [{
@@ -3878,7 +4147,7 @@ Consider using "scoped" instead to get rid of the scope in the requirements.`,
         const type = typeChecker.getTypeAtLocation(node);
         yield* pipe(
           typeParser.layerType(type, node),
-          flatMap2(({ RIn }) => reportIfLayerRequireScope(RIn, node, layerEffectApiCall.methodIdentifier)),
+          flatMap(({ RIn }) => reportIfLayerRequireScope(RIn, node, layerEffectApiCall.methodIdentifier)),
           ignore
         );
         continue;
@@ -3892,7 +4161,7 @@ Consider using "scoped" instead to get rid of the scope in the requirements.`,
             const type = typeChecker.getTypeOfSymbolAtLocation(defaultLayer, node);
             yield* pipe(
               typeParser.layerType(type, node),
-              flatMap2(({ RIn }) => reportIfLayerRequireScope(RIn, node, void 0)),
+              flatMap(({ RIn }) => reportIfLayerRequireScope(RIn, node, void 0)),
               ignore
             );
             continue;
@@ -3961,7 +4230,7 @@ var strictBooleanExpressions = createDiagnostic({
           if (type.flags & ts.TypeFlags.BooleanLiteral) continue;
           const typeName = typeChecker.typeToString(type);
           report({
-            node: nodeToCheck,
+            location: nodeToCheck,
             messageText: `Unexpected \`${typeName}\` type in condition, expected strictly a boolean instead.`,
             fixes: []
           });
@@ -4001,9 +4270,9 @@ var tryCatchInEffectGen = createDiagnostic({
             typeParser.effectGen(effectGenNode),
             orElse2(() => typeParser.effectFnUntracedGen(effectGenNode)),
             orElse2(() => typeParser.effectFnGen(effectGenNode)),
-            map4(() => {
+            map3(() => {
               report({
-                node,
+                location: node,
                 messageText: "Avoid using try/catch inside Effect generators. Use Effect's error handling mechanisms instead (e.g., Effect.try, Effect.tryPromise, Effect.catchAll, Effect.catchTag).",
                 fixes: []
               });
@@ -4036,9 +4305,9 @@ var unnecessaryEffectGen = createDiagnostic({
       if (ts.isCallExpression(node)) {
         yield* pipe(
           typeParser.unnecessaryEffectGen(node),
-          map4(
+          map3(
             ({ replacementNode }) => report({
-              node,
+              location: node,
               messageText: `This Effect.gen contains a single return statement.`,
               fixes: [{
                 fixName: "unnecessaryEffectGen_fix",
@@ -4079,10 +4348,10 @@ var unnecessaryPipe = createDiagnostic({
       if (ts.isCallExpression(node)) {
         yield* pipe(
           typeParser.pipeCall(node),
-          map4(({ args: args2, subject }) => {
+          map3(({ args: args2, subject }) => {
             if (args2.length === 0) {
               report({
-                node,
+                location: node,
                 messageText: `This pipe call contains no arguments.`,
                 fixes: [{
                   fixName: "unnecessaryPipe_fix",
@@ -4124,12 +4393,12 @@ var unnecessaryPipeChain = createDiagnostic({
       if (ts.isCallExpression(node)) {
         yield* pipe(
           typeParser.pipeCall(node),
-          flatMap2(
-            (pipeCall) => map4(typeParser.pipeCall(pipeCall.subject), (innerCall) => ({ pipeCall, innerCall }))
+          flatMap(
+            (pipeCall) => map3(typeParser.pipeCall(pipeCall.subject), (innerCall) => ({ pipeCall, innerCall }))
           ),
-          map4(({ innerCall, pipeCall }) => {
+          map3(({ innerCall, pipeCall }) => {
             report({
-              node,
+              location: node,
               messageText: `Chained pipe calls can be simplified to a single pipe call`,
               fixes: [{
                 fixName: "unnecessaryPipeChain_fix",
@@ -4197,7 +4466,8 @@ var diagnostics = [
   effectInVoidSuccess,
   unnecessaryPipeChain,
   strictBooleanExpressions,
-  multipleEffectProvide
+  multipleEffectProvide,
+  outdatedEffectCodegen
 ];
 
 // src/completions/effectDiagnosticsComment.ts
@@ -4206,9 +4476,9 @@ var effectDiagnosticsComment = createCompletion({
   apply: fn("effectDiagnosticsComment")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
     const sourceText = sourceFile.text;
-    const match3 = /(\/\/|\/\*(?:\*?))\s*(@)\s*$/id.exec(sourceText.substring(0, position));
-    if (match3 && match3.indices) {
-      const lastIndex = match3.indices[2][0];
+    const match2 = /(\/\/|\/\*(?:\*?))\s*(@)\s*$/id.exec(sourceText.substring(0, position));
+    if (match2 && match2.indices) {
+      const lastIndex = match2.indices[2][0];
       const replacementSpan = {
         start: lastIndex,
         length: Math.max(0, position - lastIndex)
@@ -4238,22 +4508,15 @@ var effectSchemaSelfInClasses = createCompletion({
   name: "effectSchemaSelfInClasses",
   apply: fn("effectSchemaSelfInClasses")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseDataForExtendsClassCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject, className, replacementSpan } = maybeInfos.value;
-    const effectSchemaName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Schema"
-      )
-    );
-    const schemaIdentifier = match(effectSchemaName, {
-      onNone: () => "Schema",
-      onSome: (_) => _.text
-    });
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseDataForExtendsClassCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject, className, replacementSpan } = maybeInfos;
+    const schemaIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Schema"
+    ) || "Schema";
     if (schemaIdentifier !== accessedObject.text) return [];
     const name = className.text;
     return [{
@@ -4289,22 +4552,15 @@ var effectSelfInClasses = createCompletion({
   name: "effectSelfInClasses",
   apply: fn("effectSelfInClasses")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseDataForExtendsClassCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject, className, replacementSpan } = maybeInfos.value;
-    const effectName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "effect",
-        "Effect"
-      )
-    );
-    const effectIdentifier = match(effectName, {
-      onNone: () => "Effect",
-      onSome: (_) => _.text
-    });
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseDataForExtendsClassCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject, className, replacementSpan } = maybeInfos;
+    const effectIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Effect"
+    ) || "Effect";
     if (effectIdentifier !== accessedObject.text) return [];
     const name = className.text;
     return [{
@@ -4322,12 +4578,11 @@ var fnFunctionStar = createCompletion({
   name: "fnFunctionStar",
   apply: fn("fnFunctionStar")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeParser = yield* service(TypeParser);
-    const maybeInfos = yield* option(
-      parseAccessedExpressionForCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject } = maybeInfos.value;
+    const maybeInfos = tsUtils.parseAccessedExpressionForCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject } = maybeInfos;
     const isEffectModule = yield* option(typeParser.importedEffectModule(accessedObject));
     if (isNone2(isEffectModule)) return [];
     const span = ts.createTextSpan(
@@ -4335,9 +4590,9 @@ var fnFunctionStar = createCompletion({
       Math.max(0, position - accessedObject.end - 1)
     );
     const maybeFnName = pipe(
-      yield* getAncestorNodesInRange(sourceFile, toTextRange(accessedObject.pos)),
+      tsUtils.getAncestorNodesInRange(sourceFile, tsUtils.toTextRange(accessedObject.pos)),
       filter(ts.isVariableDeclaration),
-      map3((_) => _.name && ts.isIdentifier(_.name) ? _.name.text : ""),
+      map4((_) => _.name && ts.isIdentifier(_.name) ? _.name.text : ""),
       filter((_) => _.length > 0),
       head,
       map2((name) => [
@@ -4372,12 +4627,11 @@ var genFunctionStar = createCompletion({
   name: "genFunctionStar",
   apply: fn("genFunctionStar")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
-    const maybeInfos = yield* option(
-      parseAccessedExpressionForCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject } = maybeInfos.value;
+    const maybeInfos = tsUtils.parseAccessedExpressionForCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject } = maybeInfos;
     const type = typeChecker.getTypeAtLocation(accessedObject);
     const genMemberSymbol = type.getProperty("gen");
     if (!genMemberSymbol) return [];
@@ -4402,22 +4656,15 @@ var rpcMakeClasses = createCompletion({
   name: "rpcMakeClasses",
   apply: fn("rpcMakeClasses")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseDataForExtendsClassCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject, className, replacementSpan } = maybeInfos.value;
-    const rpcName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(
-        sourceFile,
-        "@effect/rpc",
-        "Rpc"
-      )
-    );
-    const rpcIdentifier = match(rpcName, {
-      onNone: () => "Rpc",
-      onSome: (_) => _.text
-    });
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseDataForExtendsClassCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject, className, replacementSpan } = maybeInfos;
+    const rpcIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "@effect/rpc",
+      "Rpc"
+    ) || "Rpc";
     if (rpcIdentifier !== accessedObject.text) return [];
     const name = className.text;
     return [{
@@ -4435,34 +4682,25 @@ var schemaBrand = createCompletion({
   name: "schemaBrand",
   apply: fn("schemaBrand")(function* (sourceFile, position) {
     const ts = yield* service(TypeScriptApi);
-    const maybeInfos = yield* option(
-      parseAccessedExpressionForCompletion(sourceFile, position)
-    );
-    if (isNone2(maybeInfos)) return [];
-    const { accessedObject } = maybeInfos.value;
+    const tsUtils = yield* service(TypeScriptUtils);
+    const maybeInfos = tsUtils.parseAccessedExpressionForCompletion(sourceFile, position);
+    if (!maybeInfos) return [];
+    const { accessedObject } = maybeInfos;
     if (!ts.isIdentifier(accessedObject)) return [];
-    const schemaName = match(
-      yield* option(
-        findImportedModuleIdentifierByPackageAndNameOrBarrel(
-          sourceFile,
-          "effect",
-          "Schema"
-        )
-      ),
-      {
-        onNone: () => "Schema",
-        onSome: (_) => _.text
-      }
-    );
+    const schemaName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Schema"
+    ) || "Schema";
     if (schemaName !== accessedObject.text) return [];
     const span = ts.createTextSpan(
       accessedObject.end + 1,
       Math.max(0, position - accessedObject.end - 1)
     );
     return pipe(
-      yield* getAncestorNodesInRange(sourceFile, toTextRange(accessedObject.pos)),
+      tsUtils.getAncestorNodesInRange(sourceFile, tsUtils.toTextRange(accessedObject.pos)),
       filter(ts.isVariableDeclaration),
-      map3((_) => _.name && ts.isIdentifier(_.name) ? _.name.text : ""),
+      map4((_) => _.name && ts.isIdentifier(_.name) ? _.name.text : ""),
       filter((_) => _.length > 0),
       head,
       map2((name) => [
@@ -4489,52 +4727,19 @@ var completions = [
   fnFunctionStar,
   effectDataClasses,
   effectDiagnosticsComment,
+  effectCodegensComment,
   durationInput,
   schemaBrand
 ];
 
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/encoding/common.js
-var encoder = /* @__PURE__ */ new TextEncoder();
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/encoding/base64.js
-var encode = (bytes) => {
-  const length = bytes.length;
-  let result = "";
-  let i;
-  for (i = 2; i < length; i += 3) {
-    result += base64abc[bytes[i - 2] >> 2];
-    result += base64abc[(bytes[i - 2] & 3) << 4 | bytes[i - 1] >> 4];
-    result += base64abc[(bytes[i - 1] & 15) << 2 | bytes[i] >> 6];
-    result += base64abc[bytes[i] & 63];
-  }
-  if (i === length + 1) {
-    result += base64abc[bytes[i - 2] >> 2];
-    result += base64abc[(bytes[i - 2] & 3) << 4];
-    result += "==";
-  }
-  if (i === length) {
-    result += base64abc[bytes[i - 2] >> 2];
-    result += base64abc[(bytes[i - 2] & 3) << 4 | bytes[i - 1] >> 4];
-    result += base64abc[(bytes[i - 1] & 15) << 2];
-    result += "=";
-  }
-  return result;
-};
-var base64abc = ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z", "a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m", "n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z", "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "+", "/"];
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/internal/encoding/base64Url.js
-var encode2 = (data) => encode(data).replace(/=/g, "").replace(/\+/g, "-").replace(/\//g, "_");
-
-// node_modules/.pnpm/effect@3.16.12/node_modules/effect/dist/esm/Encoding.js
-var encodeBase64Url = (input) => typeof input === "string" ? encode2(encoder.encode(input)) : encode2(input);
-
 // src/core/AutoImport.ts
 var makeAutoImportProvider = fn("TypeScriptApi")(function* (fromSourceFile) {
   const ts = yield* service(TypeScriptApi);
+  const tsUtils = yield* service(TypeScriptUtils);
   const program = yield* service(TypeScriptProgram);
   const languageServicePluginOptions = yield* service(LanguageServicePluginOptions);
   const host = program;
-  const getModuleSpecifier = makeGetModuleSpecifier(ts);
+  const getModuleSpecifier = tsUtils.makeGetModuleSpecifier();
   function collectSourceFileReexports(sourceFile) {
     const namespaceExports = [];
     const namedExports = [];
@@ -4586,9 +4791,9 @@ var makeAutoImportProvider = fn("TypeScriptApi")(function* (fromSourceFile) {
       );
       if (!_entrypoints) return;
       if (!isArray(_entrypoints)) return;
-      if (!every2(Predicate_exports.isString)) return;
+      if (!every(isString)) return;
       const entrypoints = _entrypoints.map((_) => String(_));
-      const info = parsePackageContentNameAndVersionFromScope({ packageJsonScope: packageJsonInfo });
+      const info = tsUtils.parsePackageContentNameAndVersionFromScope({ packageJsonScope: packageJsonInfo });
       if (!info) return { entrypoints, exportedKeys: [] };
       return { entrypoints, exportedKeys: info.exportsKeys };
     } catch (_) {
@@ -4618,7 +4823,7 @@ var makeAutoImportProvider = fn("TypeScriptApi")(function* (fromSourceFile) {
   const collectImportCache = fn("TypeScriptApi")(
     function* (packagePatterns, kind) {
       for (const packagePattern of packagePatterns) {
-        const packageNames = yield* resolveModulePattern(fromSourceFile, packagePattern);
+        const packageNames = tsUtils.resolveModulePattern(fromSourceFile, packagePattern);
         for (const packageName of packageNames) {
           const packageInfo = getPackageInfo(fromSourceFile.fileName, packageName);
           if (!packageInfo) continue;
@@ -4694,7 +4899,7 @@ var makeAutoImportProvider = fn("TypeScriptApi")(function* (fromSourceFile) {
     if (!moduleSpecifier) return fileName;
     return moduleSpecifier;
   };
-  return (exportFileName, exportName) => {
+  const resolve = (exportFileName, exportName) => {
     const excludedExports = mapFilenameToExportExcludes.get(exportFileName);
     if (excludedExports && excludedExports.includes(exportName)) return;
     const mapToNamespace = mapFromBarrelToNamespace.get(exportFileName);
@@ -4734,10 +4939,167 @@ var makeAutoImportProvider = fn("TypeScriptApi")(function* (fromSourceFile) {
       };
     }
   };
+  const sortText = (exportFileName, exportName) => {
+    const excludedExports = mapFilenameToExportExcludes.get(exportFileName);
+    if (excludedExports && excludedExports.includes(exportName)) return;
+    const mapToNamespace = mapFromBarrelToNamespace.get(exportFileName);
+    if (mapToNamespace && exportName in mapToNamespace) return "99";
+  };
+  return { resolve, sortText };
+});
+var importProvidersCache = /* @__PURE__ */ new Map();
+var getOrMakeAutoImportProvider = fn("getOrMakeAutoImportProvider")(function* (sourceFile) {
+  const autoImportProvider = importProvidersCache.get(sourceFile.fileName) || (yield* makeAutoImportProvider(sourceFile));
+  importProvidersCache.set(sourceFile.fileName, autoImportProvider);
+  return autoImportProvider;
+});
+var parseImportOnlyChanges = fn("parseImportOnlyChanges")(function* (sourceFile, changes) {
+  const ts = yield* service(TypeScriptApi);
+  const tsUtils = yield* service(TypeScriptUtils);
+  const deletions = [];
+  const imports = [];
+  for (const change of changes) {
+    if (change.newText.length === 0) {
+      deletions.push(change);
+      continue;
+    }
+    if (change.newText.trim().startsWith("import") && change.newText.trim().includes("from")) {
+      try {
+        const parsedImport = ts.createSourceFile("test.ts", change.newText, sourceFile.languageVersion, false);
+        for (const statement of parsedImport.statements) {
+          if (!ts.isImportDeclaration(statement)) return;
+          const moduleSpecifier = statement.moduleSpecifier;
+          if (!ts.isStringLiteral(moduleSpecifier)) return;
+          const moduleName = moduleSpecifier.text;
+          const importClause = statement.importClause;
+          if (!importClause) return;
+          const namedBindings = importClause.namedBindings;
+          if (!namedBindings) return;
+          if (ts.isNamedImports(namedBindings)) {
+            for (const importSpecifier of namedBindings.elements) {
+              if (!ts.isIdentifier(importSpecifier.name)) return;
+              const exportName = importSpecifier.name.text;
+              imports.push({ moduleName, exportName });
+              continue;
+            }
+          } else if (ts.isNamespaceImport(namedBindings)) {
+            imports.push({ moduleName, exportName: void 0 });
+            continue;
+          }
+        }
+      } catch (_) {
+        return;
+      }
+    } else {
+      const ancestorNodes = tsUtils.getAncestorNodesInRange(sourceFile, {
+        pos: change.span.start,
+        end: change.span.start
+      });
+      const importNodes = ancestorNodes.filter((node) => ts.isImportDeclaration(node));
+      const importNode = importNodes[0];
+      if (!importNode) return;
+      const moduleSpecifier = importNode.moduleSpecifier;
+      if (!ts.isStringLiteral(moduleSpecifier)) return;
+      const moduleName = moduleSpecifier.text;
+      const exportName = change.newText.replace(/,/ig, "").trim();
+      if (exportName.length === 0) return;
+      imports.push({ moduleName, exportName });
+    }
+  }
+  return { deletions, imports };
 });
+var addImport = (ts, sourceFile, changeTracker, preferences, effectAutoImport) => {
+  let description = "";
+  switch (effectAutoImport._tag) {
+    case "NamespaceImport": {
+      const importModule = effectAutoImport.moduleName || effectAutoImport.fileName;
+      description = `Import * as ${effectAutoImport.name} from "${importModule}"`;
+      ts.insertImports(
+        changeTracker,
+        sourceFile,
+        ts.factory.createImportDeclaration(
+          void 0,
+          ts.factory.createImportClause(
+            false,
+            void 0,
+            ts.factory.createNamespaceImport(ts.factory.createIdentifier(effectAutoImport.name))
+          ),
+          ts.factory.createStringLiteral(importModule)
+        ),
+        true,
+        preferences || {}
+      );
+      break;
+    }
+    case "NamedImport": {
+      const importModule = effectAutoImport.moduleName || effectAutoImport.fileName;
+      description = `Import { ${effectAutoImport.name} } from "${importModule}"`;
+      let foundImportDeclaration = false;
+      for (const statement of sourceFile.statements) {
+        if (ts.isImportDeclaration(statement)) {
+          const moduleSpecifier = statement.moduleSpecifier;
+          if (moduleSpecifier && ts.isStringLiteral(moduleSpecifier) && moduleSpecifier.text === importModule) {
+            const importClause = statement.importClause;
+            if (importClause && importClause.namedBindings && ts.isNamedImports(importClause.namedBindings)) {
+              const namedImports = importClause.namedBindings;
+              const existingImportSpecifier = namedImports.elements.find(
+                (element) => element.name.text === effectAutoImport.name
+              );
+              if (existingImportSpecifier) {
+                foundImportDeclaration = true;
+                break;
+              }
+              changeTracker.replaceNode(
+                sourceFile,
+                namedImports,
+                ts.factory.createNamedImports(
+                  namedImports.elements.concat([
+                    ts.factory.createImportSpecifier(
+                      false,
+                      void 0,
+                      ts.factory.createIdentifier(effectAutoImport.name)
+                    )
+                  ])
+                )
+              );
+              foundImportDeclaration = true;
+              break;
+            }
+          }
+        }
+      }
+      if (!foundImportDeclaration) {
+        ts.insertImports(
+          changeTracker,
+          sourceFile,
+          ts.factory.createImportDeclaration(
+            void 0,
+            ts.factory.createImportClause(
+              false,
+              void 0,
+              ts.factory.createNamedImports(
+                [
+                  ts.factory.createImportSpecifier(
+                    false,
+                    void 0,
+                    ts.factory.createIdentifier(effectAutoImport.name)
+                  )
+                ]
+              )
+            ),
+            ts.factory.createStringLiteral(importModule)
+          ),
+          true,
+          preferences || {}
+        );
+      }
+      break;
+    }
+  }
+  return { description };
+};
 
 // src/completions/middlewareAutoImports.ts
-var importProvidersCache = /* @__PURE__ */ new Map();
 var appendEffectCompletionEntryData = fn("appendEffectCompletionEntryData")(
   function* (_sourceFile, applicableCompletions) {
     const languageServicePluginOptions = yield* service(LanguageServicePluginOptions);
@@ -4761,7 +5123,6 @@ var appendEffectCompletionEntryData = fn("appendEffectCompletionEntryData")(
 );
 var isAutoImportOnlyCodeActions = fn("isAutoImportOnlyCodeActions")(
   function* (sourceFile, codeActions, exportName) {
-    const ts = yield* service(TypeScriptApi);
     if (!codeActions) return;
     if (codeActions.length !== 1) return;
     const action = codeActions[0];
@@ -4770,25 +5131,12 @@ var isAutoImportOnlyCodeActions = fn("isAutoImportOnlyCodeActions")(
     const fileTextChanges = action.changes[0];
     if (fileTextChanges.fileName !== sourceFile.fileName) return;
     const textChanges = fileTextChanges.textChanges;
-    if (textChanges.length !== 1) return;
-    const change = textChanges[0];
-    if (change.newText.trim().toLowerCase().startsWith("import") && change.newText.indexOf(exportName) > -1) {
-      return {
-        type: "create"
-      };
-    }
-    if (change.newText.indexOf(exportName) > -1) {
-      const ancestorNodes = yield* getAncestorNodesInRange(sourceFile, {
-        pos: change.span.start,
-        end: change.span.start
-      });
-      const importNodes = ancestorNodes.filter((node) => ts.isImportDeclaration(node));
-      if (importNodes.length > 0) {
-        return {
-          type: "update"
-        };
-      }
-    }
+    const parsedImportChanges = yield* parseImportOnlyChanges(sourceFile, textChanges);
+    if (!parsedImportChanges) return;
+    if (parsedImportChanges.deletions.length !== 0) return;
+    if (parsedImportChanges.imports.length !== 1) return;
+    if (parsedImportChanges.imports[0].exportName !== exportName) return;
+    return parsedImportChanges.imports[0];
   }
 );
 var addImportCodeAction = fn("getImportFromNamespaceCodeActions")(function* (formatOptions, preferences, languageServiceHost, sourceFile, effectReplaceSpan, effectAutoImport) {
@@ -4812,92 +5160,13 @@ var addImportCodeAction = fn("getImportFromNamespaceCodeActions")(function* (for
           effectAutoImport.introducedPrefix + "."
         );
       }
-      switch (effectAutoImport._tag) {
-        case "NamespaceImport": {
-          const importModule = effectAutoImport.moduleName || effectAutoImport.fileName;
-          description = `Import * as ${effectAutoImport.name} from "${importModule}"`;
-          ts.insertImports(
-            changeTracker,
-            sourceFile,
-            ts.factory.createImportDeclaration(
-              void 0,
-              ts.factory.createImportClause(
-                false,
-                void 0,
-                ts.factory.createNamespaceImport(ts.factory.createIdentifier(effectAutoImport.name))
-              ),
-              ts.factory.createStringLiteral(importModule)
-            ),
-            true,
-            preferences || {}
-          );
-          break;
-        }
-        case "NamedImport": {
-          const importModule = effectAutoImport.moduleName || effectAutoImport.fileName;
-          description = `Import { ${effectAutoImport.name} } from "${importModule}"`;
-          let foundImportDeclaration = false;
-          for (const statement of sourceFile.statements) {
-            if (ts.isImportDeclaration(statement)) {
-              const moduleSpecifier = statement.moduleSpecifier;
-              if (moduleSpecifier && ts.isStringLiteral(moduleSpecifier) && moduleSpecifier.text === importModule) {
-                const importClause = statement.importClause;
-                if (importClause && importClause.namedBindings && ts.isNamedImports(importClause.namedBindings)) {
-                  const namedImports = importClause.namedBindings;
-                  const existingImportSpecifier = namedImports.elements.find(
-                    (element) => element.name.text === effectAutoImport.name
-                  );
-                  if (existingImportSpecifier) {
-                    foundImportDeclaration = true;
-                    break;
-                  }
-                  changeTracker.replaceNode(
-                    sourceFile,
-                    namedImports,
-                    ts.factory.createNamedImports(
-                      namedImports.elements.concat([
-                        ts.factory.createImportSpecifier(
-                          false,
-                          void 0,
-                          ts.factory.createIdentifier(effectAutoImport.name)
-                        )
-                      ])
-                    )
-                  );
-                  foundImportDeclaration = true;
-                  break;
-                }
-              }
-            }
-          }
-          if (!foundImportDeclaration) {
-            ts.insertImports(
-              changeTracker,
-              sourceFile,
-              ts.factory.createImportDeclaration(
-                void 0,
-                ts.factory.createImportClause(
-                  false,
-                  void 0,
-                  ts.factory.createNamedImports(
-                    [
-                      ts.factory.createImportSpecifier(
-                        false,
-                        void 0,
-                        ts.factory.createIdentifier(effectAutoImport.name)
-                      )
-                    ]
-                  )
-                ),
-                ts.factory.createStringLiteral(importModule)
-              ),
-              true,
-              preferences || {}
-            );
-          }
-          break;
-        }
-      }
+      description = addImport(
+        ts,
+        sourceFile,
+        changeTracker,
+        preferences,
+        effectAutoImport
+      ).description;
     }
   );
   return [
@@ -4925,9 +5194,8 @@ var postprocessCompletionEntryDetails = fn("postprocessCompletionEntryDetails")(
       exportName
     );
     if (!result) return applicableCompletionEntryDetails;
-    const packagesMetadata = importProvidersCache.get(sourceFile.fileName) || (yield* makeAutoImportProvider(sourceFile));
-    importProvidersCache.set(sourceFile.fileName, packagesMetadata);
-    const effectAutoImport = packagesMetadata(fileName, exportName);
+    const autoImportProvider = yield* getOrMakeAutoImportProvider(sourceFile);
+    const effectAutoImport = autoImportProvider.resolve(fileName, exportName);
     if (!effectAutoImport) return applicableCompletionEntryDetails;
     const codeActions = yield* addImportCodeAction(
       formatOptions,
@@ -4944,17 +5212,86 @@ var postprocessCompletionEntryDetails = fn("postprocessCompletionEntryDetails")(
   }
 );
 
+// src/diagnostics/middlewareAutoImportQuickfixes.ts
+var middlewareAutoImportQuickfixes = fn("middlewareAutoImportQuickfixes")(function* (sourceFile, languageServiceHost, formatOptions, preferences, codeFixes) {
+  const ts = yield* service(TypeScriptApi);
+  const program = yield* service(TypeScriptProgram);
+  const autoImportProvider = yield* getOrMakeAutoImportProvider(sourceFile);
+  const changedCodeFixes = [];
+  const createImportAllChanges = (imports) => gen(function* () {
+    const newImports = [];
+    for (const importToAdd of imports) {
+      if (!importToAdd.exportName) return;
+      const fileName = ts.resolveModuleName(
+        importToAdd.moduleName,
+        sourceFile.fileName,
+        program.getCompilerOptions(),
+        program
+      );
+      if (!fileName.resolvedModule) return;
+      const importKind = autoImportProvider.resolve(fileName.resolvedModule.resolvedFileName, importToAdd.exportName);
+      if (!importKind) return;
+      if (importKind.introducedPrefix) return;
+      newImports.push(importKind);
+    }
+    const formatContext = ts.formatting.getFormatContext(
+      formatOptions,
+      languageServiceHost
+    );
+    const edits = ts.textChanges.ChangeTracker.with(
+      {
+        formatContext,
+        host: languageServiceHost,
+        preferences: preferences || {}
+      },
+      (changeTracker) => newImports.forEach((_) => addImport(ts, sourceFile, changeTracker, preferences, _))
+    );
+    return edits;
+  });
+  for (const codeFix of codeFixes) {
+    const textFileChanges = codeFix.changes;
+    if (textFileChanges.length !== 1) {
+      changedCodeFixes.push(codeFix);
+      continue;
+    }
+    if (textFileChanges[0].fileName !== sourceFile.fileName) {
+      changedCodeFixes.push(codeFix);
+      continue;
+    }
+    const parsedChanges = yield* parseImportOnlyChanges(sourceFile, textFileChanges[0].textChanges);
+    if (!parsedChanges) {
+      changedCodeFixes.push(codeFix);
+      continue;
+    }
+    if (parsedChanges.deletions.length !== 0) {
+      changedCodeFixes.push(codeFix);
+      continue;
+    }
+    const changes = yield* pipe(
+      createImportAllChanges(parsedChanges.imports),
+      orElse2(() => succeed(codeFix.changes))
+    );
+    if (changes) {
+      changedCodeFixes.push({ ...codeFix, changes });
+    } else {
+      changedCodeFixes.push(codeFix);
+    }
+  }
+  return changedCodeFixes;
+});
+
 // src/goto/effectRpcDefinition.ts
 function effectRpcDefinition(applicableGotoDefinition, sourceFile, position) {
   return gen(function* () {
     const program = yield* service(TypeScriptProgram);
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
-    const textRange = toTextRange(position);
+    const textRange = tsUtils.toTextRange(position);
     function isSymbolFromEffectRpcModule(symbol3) {
       if (symbol3.valueDeclaration) {
         const sourceFile2 = symbol3.valueDeclaration.getSourceFile();
-        const packageInfo = parsePackageContentNameAndVersionFromScope(sourceFile2);
+        const packageInfo = tsUtils.parsePackageContentNameAndVersionFromScope(sourceFile2);
         if (packageInfo && packageInfo.name === "@effect/rpc") {
           const fileSymbol = typeChecker.getSymbolAtLocation(sourceFile2);
           return fileSymbol && fileSymbol.exports && fileSymbol.exports.has("isRpc") && fileSymbol.exports.has("make") && fileSymbol.exports.has("fromTaggedRequest");
@@ -4965,7 +5302,7 @@ function effectRpcDefinition(applicableGotoDefinition, sourceFile, position) {
     function isSymbolFromEffectRpcClientModule(symbol3) {
       if (symbol3.valueDeclaration) {
         const sourceFile2 = symbol3.valueDeclaration.getSourceFile();
-        const packageInfo = parsePackageContentNameAndVersionFromScope(sourceFile2);
+        const packageInfo = tsUtils.parsePackageContentNameAndVersionFromScope(sourceFile2);
         if (packageInfo && packageInfo.name === "@effect/rpc") {
           const fileSymbol = typeChecker.getSymbolAtLocation(sourceFile2);
           return fileSymbol && fileSymbol.exports && fileSymbol.exports.has("RpcClient") && fileSymbol.exports.has("make");
@@ -4975,8 +5312,8 @@ function effectRpcDefinition(applicableGotoDefinition, sourceFile, position) {
     }
     let rpcName = null;
     let callNode = null;
-    for (const node of yield* getAncestorNodesInRange(sourceFile, textRange)) {
-      if (ts.isPropertyAccessExpression(node) && ts.isIdentifier(node.name) && isNodeInRange(textRange)(node.name)) {
+    for (const node of tsUtils.getAncestorNodesInRange(sourceFile, textRange)) {
+      if (ts.isPropertyAccessExpression(node) && ts.isIdentifier(node.name) && tsUtils.isNodeInRange(textRange)(node.name)) {
         const type = typeChecker.getTypeAtLocation(node);
         for (const callSig of type.getCallSignatures()) {
           if (callSig.parameters.length >= 2 && isSymbolFromEffectRpcClientModule(callSig.parameters[1])) {
@@ -5128,7 +5465,7 @@ function effectTypeArgs(sourceFile, position, quickInfo2) {
           type,
           atLocation
         ),
-        map4((_) => makeSymbolDisplayParts("Effect Type Parameters", _.A, _.E, _.R)),
+        map3((_) => makeSymbolDisplayParts("Effect Type Parameters", _.A, _.E, _.R)),
         orElse2(() => {
           const callSignatues = type.getCallSignatures();
           if (callSignatues.length !== 1) return succeed([]);
@@ -5138,7 +5475,7 @@ function effectTypeArgs(sourceFile, position, quickInfo2) {
               returnType,
               atLocation
             ),
-            map4((_) => makeSymbolDisplayParts("Returned Effect Type Parameters", _.A, _.E, _.R))
+            map3((_) => makeSymbolDisplayParts("Returned Effect Type Parameters", _.A, _.E, _.R))
           );
         })
       );
@@ -5167,6 +5504,41 @@ function effectTypeArgs(sourceFile, position, quickInfo2) {
   );
 }
 
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/encoding/common.js
+var encoder = /* @__PURE__ */ new TextEncoder();
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/encoding/base64.js
+var encode = (bytes) => {
+  const length = bytes.length;
+  let result = "";
+  let i;
+  for (i = 2; i < length; i += 3) {
+    result += base64abc[bytes[i - 2] >> 2];
+    result += base64abc[(bytes[i - 2] & 3) << 4 | bytes[i - 1] >> 4];
+    result += base64abc[(bytes[i - 1] & 15) << 2 | bytes[i] >> 6];
+    result += base64abc[bytes[i] & 63];
+  }
+  if (i === length + 1) {
+    result += base64abc[bytes[i - 2] >> 2];
+    result += base64abc[(bytes[i - 2] & 3) << 4];
+    result += "==";
+  }
+  if (i === length) {
+    result += base64abc[bytes[i - 2] >> 2];
+    result += base64abc[(bytes[i - 2] & 3) << 4 | bytes[i - 1] >> 4];
+    result += base64abc[(bytes[i - 1] & 15) << 2];
+    result += "=";
+  }
+  return result;
+};
+var base64abc = ["A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "Q", "R", "S", "T", "U", "V", "W", "X", "Y", "Z", "a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m", "n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z", "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "+", "/"];
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/internal/encoding/base64Url.js
+var encode2 = (data) => encode(data).replace(/=/g, "").replace(/\+/g, "-").replace(/\//g, "_");
+
+// node_modules/.pnpm/effect@3.17.1/node_modules/effect/dist/esm/Encoding.js
+var encodeBase64Url = (input) => typeof input === "string" ? encode2(encoder.encode(input)) : encode2(input);
+
 // node_modules/.pnpm/pako@2.1.0/node_modules/pako/dist/pako.esm.mjs
 var Z_FIXED$1 = 4;
 var Z_BINARY = 0;
@@ -6036,7 +6408,7 @@ var read_buf = (strm, buf, start, size) => {
 var longest_match = (s, cur_match) => {
   let chain_length = s.max_chain_length;
   let scan = s.strstart;
-  let match3;
+  let match2;
   let len;
   let best_len = s.prev_length;
   let nice_match = s.nice_match;
@@ -6054,14 +6426,14 @@ var longest_match = (s, cur_match) => {
     nice_match = s.lookahead;
   }
   do {
-    match3 = cur_match;
-    if (_win[match3 + best_len] !== scan_end || _win[match3 + best_len - 1] !== scan_end1 || _win[match3] !== _win[scan] || _win[++match3] !== _win[scan + 1]) {
+    match2 = cur_match;
+    if (_win[match2 + best_len] !== scan_end || _win[match2 + best_len - 1] !== scan_end1 || _win[match2] !== _win[scan] || _win[++match2] !== _win[scan + 1]) {
       continue;
     }
     scan += 2;
-    match3++;
+    match2++;
     do {
-    } while (_win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && _win[++scan] === _win[++match3] && scan < strend);
+    } while (_win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && _win[++scan] === _win[++match2] && scan < strend);
     len = MAX_MATCH - (strend - scan);
     scan = strend - MAX_MATCH;
     if (len > best_len) {
@@ -7762,7 +8134,7 @@ var inflate_table = (type, lens, lens_index, codes, table, table_index, work, op
   let mask;
   let next;
   let base = null;
-  let match3;
+  let match2;
   const count = new Uint16Array(MAXBITS + 1);
   const offs = new Uint16Array(MAXBITS + 1);
   let extra = null;
@@ -7818,15 +8190,15 @@ var inflate_table = (type, lens, lens_index, codes, table, table_index, work, op
   }
   if (type === CODES$1) {
     base = extra = work;
-    match3 = 20;
+    match2 = 20;
   } else if (type === LENS$1) {
     base = lbase;
     extra = lext;
-    match3 = 257;
+    match2 = 257;
   } else {
     base = dbase;
     extra = dext;
-    match3 = 0;
+    match2 = 0;
   }
   huff = 0;
   sym = 0;
@@ -7842,12 +8214,12 @@ var inflate_table = (type, lens, lens_index, codes, table, table_index, work, op
   }
   for (; ; ) {
     here_bits = len - drop;
-    if (work[sym] + 1 < match3) {
+    if (work[sym] + 1 < match2) {
       here_op = 0;
       here_val = work[sym];
-    } else if (work[sym] >= match3) {
-      here_op = extra[work[sym] - match3];
-      here_val = base[work[sym] - match3];
+    } else if (work[sym] >= match2) {
+      here_op = extra[work[sym] - match2];
+      here_val = base[work[sym] - match2];
     } else {
       here_op = 32 + 64;
       here_val = 0;
@@ -9387,7 +9759,7 @@ function processLayerGraphNode(ctx, node, pipedInGraphNode) {
       const maybeLayer = yield* option(typeParser.layerType(type, node));
       if (isSome2(maybeLayer)) {
         const argNodes = yield* option(
-          all2(...node.arguments.map((_) => processLayerGraphNode(ctx, _, void 0)))
+          all(...node.arguments.map((_) => processLayerGraphNode(ctx, _, void 0)))
         );
         if (isSome2(argNodes) && argNodes.value.length === node.arguments.length) {
           const { allIndexes: outTypes } = yield* appendToUniqueTypesMap(
@@ -9431,7 +9803,7 @@ function processLayerGraphNode(ctx, node, pipedInGraphNode) {
             );
             if (ts.isCallExpression(node)) {
               const argNodes = yield* option(
-                all2(...node.arguments.map((_) => processLayerGraphNode(ctx, _, void 0)))
+                all(...node.arguments.map((_) => processLayerGraphNode(ctx, _, void 0)))
               );
               if (isSome2(argNodes) && argNodes.value.length === node.arguments.length) {
                 return new GraphNodeCompoundTransform(
@@ -9561,7 +9933,7 @@ function processNodeMermaid(graph, ctx, ctxL) {
         return subgraphDefs;
       }
       case "GraphNodeCompoundTransform": {
-        const childs = flatten(yield* all2(...graph.args.map((_) => processNodeMermaid(_, ctx, ctxL))));
+        const childs = flatten(yield* all(...graph.args.map((_) => processNodeMermaid(_, ctx, ctxL))));
         let currentEdges = [];
         const connectedNodes = /* @__PURE__ */ new Set();
         for (const requiredServiceKey of graph.rin) {
@@ -9610,13 +9982,14 @@ function layerInfo(sourceFile, position, quickInfo2) {
   return pipe(
     gen(function* () {
       const ts = yield* service(TypeScriptApi);
+      const tsUtils = yield* service(TypeScriptUtils);
       const typeChecker = yield* service(TypeCheckerApi);
       const typeParser = yield* service(TypeParser);
-      const range = toTextRange(position);
+      const range = tsUtils.toTextRange(position);
       const maybeNode = pipe(
-        yield* getAncestorNodesInRange(sourceFile, range),
+        tsUtils.getAncestorNodesInRange(sourceFile, range),
         filter((_) => ts.isVariableDeclaration(_) || ts.isPropertyDeclaration(_)),
-        filter((_) => isNodeInRange(range)(_.name)),
+        filter((_) => tsUtils.isNodeInRange(range)(_.name)),
         head
       );
       if (isNone2(maybeNode)) return quickInfo2;
@@ -9633,7 +10006,7 @@ function layerInfo(sourceFile, position, quickInfo2) {
       };
       const layerInfoDisplayParts = yield* pipe(
         processLayerGraphNode(graphCtx, layerNode, void 0),
-        flatMap2(
+        flatMap(
           (rootNode) => gen(function* () {
             yield* succeed(void 0);
             const lines = [];
@@ -9726,10 +10099,10 @@ var asyncAwaitToGen = createRefactor({
   description: "Convert to Effect.gen",
   apply: fn("asyncAwaitToGen.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
-    const typeParser = yield* service(TypeParser);
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter(
         (node2) => ts.isFunctionDeclaration(node2) || ts.isArrowFunction(node2) || ts.isFunctionExpression(node2)
       ),
@@ -9745,23 +10118,12 @@ var asyncAwaitToGen = createRefactor({
       apply: pipe(
         gen(function* () {
           const changeTracker = yield* service(ChangeTracker);
-          const effectModuleIdentifierName = match(
-            yield* option(
-              findImportedModuleIdentifier(
-                sourceFile,
-                (node2) => pipe(
-                  typeParser.importedEffectModule(node2),
-                  option,
-                  map4(isSome2)
-                )
-              )
-            ),
-            {
-              onNone: () => "Effect",
-              onSome: (node2) => node2.text
-            }
-          );
-          const newDeclaration = yield* transformAsyncAwaitToEffectGen(
+          const effectModuleIdentifierName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+            sourceFile,
+            "effect",
+            "Effect"
+          ) || "Effect";
+          const newDeclaration = tsUtils.transformAsyncAwaitToEffectGen(
             node,
             effectModuleIdentifierName,
             (expression) => ts.factory.createCallExpression(
@@ -9797,10 +10159,10 @@ var asyncAwaitToGenTryPromise = createRefactor({
   description: "Convert to Effect.gen with failures",
   apply: fn("asyncAwaitToGenTryPromise.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
-    const typeParser = yield* service(TypeParser);
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter(
         (node2) => ts.isFunctionDeclaration(node2) || ts.isArrowFunction(node2) || ts.isFunctionExpression(node2)
       ),
@@ -9816,22 +10178,11 @@ var asyncAwaitToGenTryPromise = createRefactor({
       apply: pipe(
         gen(function* () {
           const changeTracker = yield* service(ChangeTracker);
-          const effectModuleIdentifierName = match(
-            yield* option(
-              findImportedModuleIdentifier(
-                sourceFile,
-                (node2) => pipe(
-                  typeParser.importedEffectModule(node2),
-                  option,
-                  map4(isSome2)
-                )
-              )
-            ),
-            {
-              onNone: () => "Effect",
-              onSome: (node2) => node2.text
-            }
-          );
+          const effectModuleIdentifierName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+            sourceFile,
+            "effect",
+            "Effect"
+          ) || "Effect";
           let errorCount = 0;
           function createErrorADT() {
             errorCount++;
@@ -9846,7 +10197,7 @@ var asyncAwaitToGenTryPromise = createRefactor({
               ts.factory.createShorthandPropertyAssignment("error")
             ]);
           }
-          const newDeclaration = yield* transformAsyncAwaitToEffectGen(
+          const newDeclaration = tsUtils.transformAsyncAwaitToEffectGen(
             node,
             effectModuleIdentifierName,
             (expression) => ts.factory.createCallExpression(
@@ -9898,6 +10249,7 @@ var effectGenToFn = createRefactor({
   description: "Convert to Effect.fn",
   apply: fn("effectGenToFn.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeParser = yield* service(TypeParser);
     const parseEffectGenNode = fn("asyncAwaitToGen.apply")(function* (node) {
       const effectGen = yield* typeParser.effectGen(node);
@@ -9934,8 +10286,8 @@ var effectGenToFn = createRefactor({
       return yield* fail(new RefactorNotApplicableError());
     });
     const maybeNode = yield* pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
-      map3(parseEffectGenNode),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
+      map4(parseEffectGenNode),
       firstSuccessOf,
       option
     );
@@ -9974,7 +10326,7 @@ var effectGenToFn = createRefactor({
           changeTracker.replaceNode(
             sourceFile,
             nodeToReplace,
-            yield* tryPreserveDeclarationSemantics(nodeToReplace, effectFnCallWithGenerator)
+            tsUtils.tryPreserveDeclarationSemantics(nodeToReplace, effectFnCallWithGenerator)
           );
         }),
         provideService(TypeScriptApi, ts)
@@ -9989,11 +10341,12 @@ var functionToArrow = createRefactor({
   description: "Convert to arrow",
   apply: fn("functionToArrow.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter((_) => ts.isFunctionDeclaration(_) || ts.isMethodDeclaration(_)),
       filter((_) => !!_.body),
-      filter((_) => !!_.name && isNodeInRange(textRange)(_.name)),
+      filter((_) => !!_.name && tsUtils.isNodeInRange(textRange)(_.name)),
       head
     );
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
@@ -10024,7 +10377,7 @@ var functionToArrow = createRefactor({
             ts.factory.createToken(ts.SyntaxKind.EqualsGreaterThanToken),
             newBody
           );
-          const newDeclaration = yield* tryPreserveDeclarationSemantics(
+          const newDeclaration = tsUtils.tryPreserveDeclarationSemantics(
             node,
             arrowFunction
           );
@@ -10045,6 +10398,7 @@ var _findSchemaVariableDeclaration = fn(
 )(
   function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
     const findSchema = fn("makeSchemaOpaque.apply.findSchema")(
@@ -10070,8 +10424,8 @@ var _findSchemaVariableDeclaration = fn(
       }
     );
     return yield* pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
-      map3(findSchema),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
+      map4(findSchema),
       firstSuccessOf,
       option
     );
@@ -10158,6 +10512,7 @@ var makeSchemaOpaque = createRefactor({
   description: "Make Schema opaque",
   apply: fn("makeSchemaOpaque.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const maybeNode = yield* _findSchemaVariableDeclaration(sourceFile, textRange);
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
     const { identifier, types, variableDeclarationList, variableStatement } = maybeNode.value;
@@ -10167,19 +10522,11 @@ var makeSchemaOpaque = createRefactor({
       apply: pipe(
         gen(function* () {
           const changeTracker = yield* service(ChangeTracker);
-          const effectSchemaName = match(
-            yield* option(
-              findImportedModuleIdentifierByPackageAndNameOrBarrel(
-                sourceFile,
-                "effect",
-                "Schema"
-              )
-            ),
-            {
-              onNone: () => "Schema",
-              onSome: (_) => _.text
-            }
-          );
+          const effectSchemaName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+            sourceFile,
+            "effect",
+            "Schema"
+          ) || "Schema";
           const newIdentifier = ts.factory.createIdentifier(identifier.text + "_");
           const { contextType, encodedType, opaqueType } = yield* _createOpaqueTypes(
             effectSchemaName,
@@ -10236,6 +10583,7 @@ var makeSchemaOpaqueWithNs = createRefactor({
   description: "Make Schema opaque with namespace",
   apply: fn("makeSchemaOpaqueWithNs.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const maybeNode = yield* _findSchemaVariableDeclaration(sourceFile, textRange);
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
     const { identifier, types, variableDeclarationList, variableStatement } = maybeNode.value;
@@ -10245,19 +10593,11 @@ var makeSchemaOpaqueWithNs = createRefactor({
       apply: pipe(
         gen(function* () {
           const changeTracker = yield* service(ChangeTracker);
-          const effectSchemaName = match(
-            yield* option(
-              findImportedModuleIdentifierByPackageAndNameOrBarrel(
-                sourceFile,
-                "effect",
-                "Schema"
-              )
-            ),
-            {
-              onNone: () => "Schema",
-              onSome: (_) => _.text
-            }
-          );
+          const effectSchemaName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+            sourceFile,
+            "effect",
+            "Schema"
+          ) || "Schema";
           const newIdentifier = ts.factory.createIdentifier(identifier.text + "_");
           const { contextType, encodedType, opaqueType } = yield* _createOpaqueTypes(
             effectSchemaName,
@@ -10331,6 +10671,7 @@ var pipeableToDatafirst = createRefactor({
   apply: fn("pipeableToDatafirst.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
     const typeChecker = yield* service(TypeCheckerApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     function isPipeCall(node2) {
       if (!ts.isCallExpression(node2)) return false;
       const expression = node2.expression;
@@ -10346,7 +10687,7 @@ var pipeableToDatafirst = createRefactor({
       for (let i = 0; i < callSignatures.length; i++) {
         const callSignature = callSignatures[i];
         if (callSignature.parameters.length === node2.arguments.length + 1) {
-          return some3(
+          return some2(
             ts.factory.createCallExpression(
               node2.expression,
               [],
@@ -10358,13 +10699,13 @@ var pipeableToDatafirst = createRefactor({
       return none2();
     }
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter(isPipeCall),
-      filter((node2) => isNodeInRange(textRange)(node2.expression)),
+      filter((node2) => tsUtils.isNodeInRange(textRange)(node2.expression)),
       filter(
         (node2) => node2.arguments.length > 0
       ),
-      map3((node2) => {
+      map4((node2) => {
         let newNode2 = node2.arguments[0];
         let didSomething = false;
         for (let i = 1; i < node2.arguments.length; i++) {
@@ -10388,10 +10729,10 @@ var pipeableToDatafirst = createRefactor({
             }
           }
         }
-        return didSomething ? some3([node2, newNode2]) : none2();
+        return didSomething ? some2([node2, newNode2]) : none2();
       }),
       filter(isSome2),
-      map3((_) => _.value),
+      map4((_) => _.value),
       head
     );
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
@@ -10412,8 +10753,9 @@ var removeUnnecessaryEffectGen = createRefactor({
   name: "removeUnnecessaryEffectGen",
   description: "Remove unnecessary Effect.gen",
   apply: fn("removeUnnecessaryEffectGen.apply")(function* (sourceFile, textRange) {
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeParser = yield* service(TypeParser);
-    for (const nodeToReplace of yield* getAncestorNodesInRange(sourceFile, textRange)) {
+    for (const nodeToReplace of tsUtils.getAncestorNodesInRange(sourceFile, textRange)) {
       const maybeNode = yield* option(typeParser.unnecessaryEffectGen(nodeToReplace));
       if (isNone2(maybeNode)) continue;
       const replacementNode = maybeNode.value.replacementNode;
@@ -10436,10 +10778,11 @@ var toggleLazyConst = createRefactor({
   description: "Toggle lazy const",
   apply: fn("toggleLazyConst.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter(ts.isVariableDeclaration),
-      filter((node2) => isNodeInRange(textRange)(node2.name)),
+      filter((node2) => tsUtils.isNodeInRange(textRange)(node2.name)),
       filter(
         (node2) => !!node2.initializer && !(ts.isArrowFunction(node2.initializer) && ts.isBlock(node2.initializer.body))
       ),
@@ -10478,6 +10821,7 @@ var togglePipeStyle = createRefactor({
     const ts = yield* service(TypeScriptApi);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
+    const tsUtils = yield* service(TypeScriptUtils);
     const togglePipeStyle2 = (node) => gen(function* () {
       const pipeCall = yield* typeParser.pipeCall(node);
       switch (pipeCall.kind) {
@@ -10522,7 +10866,7 @@ var togglePipeStyle = createRefactor({
           };
       }
     });
-    const ancestorNodes = yield* getAncestorNodesInRange(sourceFile, textRange);
+    const ancestorNodes = tsUtils.getAncestorNodesInRange(sourceFile, textRange);
     return yield* pipe(
       firstSuccessOf(ancestorNodes.map(togglePipeStyle2)),
       orElse2(() => fail(new RefactorNotApplicableError()))
@@ -10536,9 +10880,38 @@ var toggleReturnTypeAnnotation = createRefactor({
   description: "Toggle return type annotation",
   apply: fn("toggleReturnTypeAnnotation.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
+    function addReturnTypeAnnotation(sourceFile2, changeTracker, declaration, typeNode) {
+      const closeParen = ts.findChildOfKind(declaration, ts.SyntaxKind.CloseParenToken, sourceFile2);
+      const needParens = ts.isArrowFunction(declaration) && closeParen === void 0;
+      const endNode = needParens ? declaration.parameters[0] : closeParen;
+      if (endNode) {
+        if (needParens) {
+          changeTracker.insertNodeBefore(
+            sourceFile2,
+            endNode,
+            ts.factory.createToken(ts.SyntaxKind.OpenParenToken)
+          );
+          changeTracker.insertNodeAfter(
+            sourceFile2,
+            endNode,
+            ts.factory.createToken(ts.SyntaxKind.CloseParenToken)
+          );
+        }
+        changeTracker.insertNodeAt(sourceFile2, endNode.end, typeNode, { prefix: ": " });
+      }
+    }
+    function removeReturnTypeAnnotation(sourceFile2, changeTracker, declaration) {
+      const closeParen = ts.findChildOfKind(declaration, ts.SyntaxKind.CloseParenToken, sourceFile2);
+      const needParens = ts.isArrowFunction(declaration) && closeParen === void 0;
+      const endNode = needParens ? declaration.parameters[0] : closeParen;
+      if (endNode && declaration.type) {
+        changeTracker.deleteRange(sourceFile2, { pos: endNode.end, end: declaration.type.end });
+      }
+    }
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter(
         (node2) => ts.isFunctionDeclaration(node2) || ts.isFunctionExpression(node2) || ts.isArrowFunction(node2) || ts.isMethodDeclaration(node2)
       ),
@@ -10551,8 +10924,8 @@ var toggleReturnTypeAnnotation = createRefactor({
         kind: "refactor.rewrite.effect.toggleReturnTypeAnnotation",
         description: "Toggle return type annotation",
         apply: pipe(
-          removeReturnTypeAnnotation(sourceFile, node),
-          provideService(TypeScriptApi, ts)
+          service(ChangeTracker),
+          map3((changeTracker) => removeReturnTypeAnnotation(sourceFile, changeTracker, node))
         )
       };
     }
@@ -10568,13 +10941,10 @@ var toggleReturnTypeAnnotation = createRefactor({
       kind: "refactor.rewrite.effect.toggleReturnTypeAnnotation",
       description: "Toggle return type annotation",
       apply: pipe(
-        addReturnTypeAnnotation(
-          sourceFile,
-          node,
-          yield* simplifyTypeNode(returnTypeNode)
-        ),
-        provideService(TypeCheckerApi, typeChecker),
-        provideService(TypeScriptApi, ts)
+        service(ChangeTracker),
+        map3(
+          (changeTracker) => addReturnTypeAnnotation(sourceFile, changeTracker, node, tsUtils.simplifyTypeNode(returnTypeNode))
+        )
       )
     };
   })
@@ -10586,11 +10956,12 @@ var toggleTypeAnnotation = createRefactor({
   description: "Toggle type annotation",
   apply: fn("toggleTypeAnnotation.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const maybeNode = pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter((node2) => ts.isVariableDeclaration(node2) || ts.isPropertyDeclaration(node2)),
-      filter((node2) => isNodeInRange(textRange)(node2.name)),
+      filter((node2) => tsUtils.isNodeInRange(textRange)(node2.name)),
       filter((node2) => !!node2.initializer),
       head
     );
@@ -10626,7 +10997,7 @@ var toggleTypeAnnotation = createRefactor({
             changeTracker.insertNodeAt(
               sourceFile,
               node.name.end,
-              yield* simplifyTypeNode(initializerTypeNode),
+              tsUtils.simplifyTypeNode(initializerTypeNode),
               {
                 prefix: ": "
               }
@@ -10678,21 +11049,16 @@ var IndexSignatureWithMoreThanOneParameterError = class {
 };
 var SchemaGenContext = Tag("SchemaGenContext");
 var makeSchemaGenContext = fn("SchemaGen.makeSchemaGenContext")(function* (sourceFile) {
-  const effectSchemaIdentifier = pipe(
-    yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, "effect", "Schema")
-    ),
-    match({
-      onNone: () => "Schema",
-      onSome: (_) => _.text
-    })
-  );
+  const tsUtils = yield* service(TypeScriptUtils);
+  const effectSchemaIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+    sourceFile,
+    "effect",
+    "Schema"
+  ) || "Schema";
   const moduleToImportedName = {};
   for (const moduleName of ["Option", "Either", "Chunk", "Duration"]) {
-    const importedName = yield* option(
-      findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, "effect", moduleName)
-    );
-    if (isSome2(importedName)) moduleToImportedName[moduleName] = importedName.value.text;
+    const importedName = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, "effect", moduleName);
+    if (importedName) moduleToImportedName[moduleName] = importedName;
   }
   const ts = yield* service(TypeScriptApi);
   return {
@@ -10716,17 +11082,17 @@ var makeSchemaGenContext = fn("SchemaGen.makeSchemaGenContext")(function* (sourc
           case "Pick":
           case "Omit":
           case "Record":
-            return some3(name.text);
+            return some2(name.text);
           case "ReadonlyArray":
           case "Array":
-            return some3("Array");
+            return some2("Array");
         }
         return none2();
       }
       if (!ts.isIdentifier(name.left)) return none2();
       for (const moduleName in moduleToImportedName) {
         if (name.left.text === moduleToImportedName[moduleName] && name.right.text === moduleName) {
-          return some3(moduleName);
+          return some2(moduleName);
         }
       }
       return none2();
@@ -10765,7 +11131,7 @@ var parseAllLiterals = fn(
       }
     }
     if (ts.isUnionTypeNode(node)) {
-      return flatten(yield* all2(...node.types.map((_) => parseAllLiterals(_))));
+      return flatten(yield* all(...node.types.map((_) => parseAllLiterals(_))));
     }
     if (ts.isParenthesizedTypeNode(node)) {
       return yield* parseAllLiterals(node.type);
@@ -10812,11 +11178,11 @@ var processNode = (node, isVirtualTypeNode) => gen(function* () {
   if (ts.isUnionTypeNode(node)) {
     const allLiterals = yield* option(parseAllLiterals(node));
     if (isSome2(allLiterals)) return createApiCall("Literal", allLiterals.value);
-    const members = yield* all2(...node.types.map((_) => processNode(_, isVirtualTypeNode)));
+    const members = yield* all(...node.types.map((_) => processNode(_, isVirtualTypeNode)));
     return createApiCall("Union", members);
   }
   if (ts.isIntersectionTypeNode(node)) {
-    const [firstSchema, ...otherSchemas] = yield* all2(
+    const [firstSchema, ...otherSchemas] = yield* all(
       ...node.types.map((_) => processNode(_, isVirtualTypeNode))
     );
     if (otherSchemas.length === 0) return firstSchema;
@@ -10872,13 +11238,13 @@ var processNode = (node, isVirtualTypeNode) => gen(function* () {
         case "Option":
         case "Chunk":
         case "Array": {
-          const elements = yield* all2(
+          const elements = yield* all(
             ...node.typeArguments ? node.typeArguments.map((_) => processNode(_, isVirtualTypeNode)) : []
           );
           return createApiCall(parsedName.value, elements);
         }
         case "Record": {
-          const elements = yield* all2(
+          const elements = yield* all(
             ...node.typeArguments ? node.typeArguments.map((_) => processNode(_, isVirtualTypeNode)) : []
           );
           if (elements.length >= 2) {
@@ -10892,7 +11258,7 @@ var processNode = (node, isVirtualTypeNode) => gen(function* () {
           return createUnsupportedNodeComment(ts, sourceFile, node);
         }
         case "Either": {
-          const elements = yield* all2(
+          const elements = yield* all(
             ...node.typeArguments ? node.typeArguments.map((_) => processNode(_, isVirtualTypeNode)) : []
           );
           if (elements.length >= 2) {
@@ -11076,10 +11442,11 @@ var process = fn("SchemaGen.process")(
 var findNodeToProcess = fn("SchemaGen.findNodeToProcess")(
   function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     return pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
       filter((node) => ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node)),
-      filter((node) => isNodeInRange(textRange)(node.name)),
+      filter((node) => tsUtils.isNodeInRange(textRange)(node.name)),
       filter((node) => (node.typeParameters || []).length === 0),
       head
     );
@@ -11112,6 +11479,7 @@ var typeToEffectSchema = createRefactor({
   description: "Refactor to Schema",
   apply: fn("typeToEffectSchema.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const maybeNode = yield* findNodeToProcess(sourceFile, textRange);
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
@@ -11122,6 +11490,7 @@ var typeToEffectSchema = createRefactor({
       apply: pipe(
         applyAtNode(sourceFile, node, false),
         provideService(TypeCheckerApi, typeChecker),
+        provideService(TypeScriptUtils, tsUtils),
         provideService(TypeScriptApi, ts)
       )
     };
@@ -11134,6 +11503,7 @@ var typeToEffectSchemaClass = createRefactor({
   description: "Refactor to Schema.Class",
   apply: fn("typeToEffectSchemaClass.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const maybeNode = yield* findNodeToProcess(sourceFile, textRange);
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
@@ -11144,6 +11514,7 @@ var typeToEffectSchemaClass = createRefactor({
       apply: pipe(
         applyAtNode(sourceFile, node, true),
         provideService(TypeCheckerApi, typeChecker),
+        provideService(TypeScriptUtils, tsUtils),
         provideService(TypeScriptApi, ts)
       )
     };
@@ -11156,6 +11527,7 @@ var wrapWithEffectGen = createRefactor({
   description: "Wrap with Effect.gen",
   apply: fn("wrapWithEffectGen.apply")(function* (sourceFile, textRange) {
     const ts = yield* service(TypeScriptApi);
+    const tsUtils = yield* service(TypeScriptUtils);
     const typeChecker = yield* service(TypeCheckerApi);
     const typeParser = yield* service(TypeParser);
     const findEffectToWrap = fn("wrapWithEffectGen.apply.findEffectToWrap")(
@@ -11169,37 +11541,26 @@ var wrapWithEffectGen = createRefactor({
       }
     );
     const maybeNode = yield* pipe(
-      yield* getAncestorNodesInRange(sourceFile, textRange),
-      map3(findEffectToWrap),
+      tsUtils.getAncestorNodesInRange(sourceFile, textRange),
+      map4(findEffectToWrap),
       firstSuccessOf,
       option
     );
     if (isNone2(maybeNode)) return yield* fail(new RefactorNotApplicableError());
-    const effectModuleIdentifier = match(
-      yield* option(
-        findImportedModuleIdentifier(
-          sourceFile,
-          (node) => pipe(
-            typeParser.importedEffectModule(node),
-            option,
-            map4(isSome2)
-          )
-        )
-      ),
-      {
-        onNone: () => "Effect",
-        onSome: (node) => node.text
-      }
-    );
+    const effectModuleIdentifier = tsUtils.findImportedModuleIdentifierByPackageAndNameOrBarrel(
+      sourceFile,
+      "effect",
+      "Effect"
+    ) || "Effect";
     return {
       kind: "refactor.rewrite.effect.wrapWithEffectGen",
       description: `Wrap with Effect.gen`,
       apply: pipe(
         gen(function* () {
           const changeTracker = yield* service(ChangeTracker);
-          const effectGen = yield* createEffectGenCallExpressionWithBlock(
+          const effectGen = tsUtils.createEffectGenCallExpressionWithBlock(
             effectModuleIdentifier,
-            yield* createReturnYieldStarStatement(maybeNode.value)
+            tsUtils.createReturnYieldStarStatement(maybeNode.value)
           );
           changeTracker.replaceNode(sourceFile, maybeNode.value, effectGen);
         }),
@@ -11230,273 +11591,6 @@ var wrapWithPipe = createRefactor({
   })
 });
 
-// src/refactors/writeTagClassAccessors.ts
-var writeTagClassAccessors = createRefactor({
-  name: "writeTagClassAccessors",
-  description: "Implement Service accessors",
-  apply: fn("writeTagClassAccessors.apply")(function* (sourceFile, textRange) {
-    const ts = yield* service(TypeScriptApi);
-    const typeChecker = yield* service(TypeCheckerApi);
-    const typeParser = yield* service(TypeParser);
-    const effectIdentifier = pipe(
-      yield* option(
-        findImportedModuleIdentifierByPackageAndNameOrBarrel(sourceFile, "effect", "Effect")
-      ),
-      match({
-        onNone: () => "Effect",
-        onSome: (_) => _.text
-      })
-    );
-    const createConstantProperty = (className, propertyName, type) => ts.factory.createPropertyDeclaration(
-      [ts.factory.createModifier(ts.SyntaxKind.StaticKeyword)],
-      propertyName,
-      void 0,
-      type,
-      ts.factory.createCallExpression(
-        ts.factory.createPropertyAccessExpression(
-          ts.factory.createIdentifier(effectIdentifier),
-          "andThen"
-        ),
-        void 0,
-        [
-          ts.factory.createIdentifier(className.text),
-          ts.factory.createArrowFunction(
-            void 0,
-            void 0,
-            [ts.factory.createParameterDeclaration(
-              void 0,
-              void 0,
-              "_"
-            )],
-            void 0,
-            void 0,
-            ts.factory.createPropertyAccessExpression(
-              ts.factory.createIdentifier("_"),
-              propertyName
-            )
-          )
-        ]
-      )
-    );
-    const createFunctionProperty = (className, propertyName, type, forceAny) => {
-      const arrowBody = ts.factory.createCallExpression(
-        ts.factory.createPropertyAccessExpression(
-          ts.factory.createIdentifier(effectIdentifier),
-          "andThen"
-        ),
-        void 0,
-        [
-          ts.factory.createIdentifier(className.text),
-          ts.factory.createArrowFunction(
-            void 0,
-            void 0,
-            [ts.factory.createParameterDeclaration(
-              void 0,
-              void 0,
-              "_",
-              void 0,
-              forceAny ? ts.factory.createTypeReferenceNode("any") : void 0
-            )],
-            void 0,
-            void 0,
-            ts.factory.createCallExpression(
-              ts.factory.createPropertyAccessExpression(
-                ts.factory.createIdentifier("_"),
-                propertyName
-              ),
-              void 0,
-              [
-                ts.factory.createSpreadElement(ts.factory.createIdentifier("args"))
-              ]
-            )
-          )
-        ]
-      );
-      return ts.factory.createPropertyDeclaration(
-        [ts.factory.createModifier(ts.SyntaxKind.StaticKeyword)],
-        propertyName,
-        void 0,
-        type,
-        ts.factory.createArrowFunction(
-          void 0,
-          void 0,
-          [ts.factory.createParameterDeclaration(
-            void 0,
-            ts.factory.createToken(ts.SyntaxKind.DotDotDotToken),
-            "args",
-            void 0,
-            forceAny ? ts.factory.createArrayTypeNode(ts.factory.createTypeReferenceNode("any")) : void 0
-          )],
-          void 0,
-          void 0,
-          forceAny ? ts.factory.createAsExpression(arrowBody, ts.factory.createTypeReferenceNode("any")) : arrowBody
-        )
-      );
-    };
-    const generateReturnType = (type, atLocation, className) => pipe(
-      typeParser.effectType(type, atLocation),
-      flatMap2((returnedEffect) => {
-        const contextType = returnedEffect.R.flags & ts.TypeFlags.Never ? ts.factory.createTypeReferenceNode(className.text) : ts.factory.createUnionTypeNode(
-          [
-            ts.factory.createTypeReferenceNode(className.text),
-            typeChecker.typeToTypeNode(returnedEffect.R, atLocation, ts.NodeBuilderFlags.NoTruncation)
-          ]
-        );
-        const successType = typeChecker.typeToTypeNode(
-          returnedEffect.A,
-          atLocation,
-          ts.NodeBuilderFlags.NoTruncation
-        );
-        if (!successType) return fail("error generating success type");
-        const failureType = typeChecker.typeToTypeNode(
-          returnedEffect.E,
-          atLocation,
-          ts.NodeBuilderFlags.NoTruncation
-        );
-        if (!failureType) return fail("error generating failure type");
-        const typeNode = ts.factory.createTypeReferenceNode(
-          ts.factory.createQualifiedName(
-            ts.factory.createIdentifier(effectIdentifier),
-            ts.factory.createIdentifier("Effect")
-          ),
-          [successType, failureType, contextType]
-        );
-        return succeed(typeNode);
-      }),
-      orElse2(
-        () => pipe(
-          typeParser.promiseLike(type, atLocation),
-          flatMap2(({ type: type2 }) => {
-            const successType = typeChecker.typeToTypeNode(
-              type2,
-              atLocation,
-              ts.NodeBuilderFlags.NoTruncation
-            );
-            if (!successType) return fail("error generating success type");
-            return succeed(ts.factory.createTypeReferenceNode(
-              ts.factory.createQualifiedName(
-                ts.factory.createIdentifier(effectIdentifier),
-                ts.factory.createIdentifier("Effect")
-              ),
-              [
-                successType,
-                ts.factory.createTypeReferenceNode(
-                  ts.factory.createQualifiedName(
-                    ts.factory.createIdentifier("Cause"),
-                    ts.factory.createIdentifier("UnknownException")
-                  )
-                ),
-                ts.factory.createTypeReferenceNode(className.text)
-              ]
-            ));
-          })
-        )
-      ),
-      orElse2(() => {
-        const successType = typeChecker.typeToTypeNode(type, atLocation, ts.NodeBuilderFlags.NoTruncation);
-        if (!successType) return fail("error generating success type");
-        const typeNode = ts.factory.createTypeReferenceNode(
-          ts.factory.createQualifiedName(
-            ts.factory.createIdentifier(effectIdentifier),
-            ts.factory.createIdentifier("Effect")
-          ),
-          [
-            successType,
-            ts.factory.createTypeReferenceNode("never"),
-            ts.factory.createTypeReferenceNode(className.text)
-          ]
-        );
-        return succeed(typeNode);
-      })
-    );
-    const proxySignature = (signature, atLocation, className) => gen(function* () {
-      const signatureDeclaration = typeChecker.signatureToSignatureDeclaration(
-        signature,
-        ts.SyntaxKind.FunctionType,
-        atLocation,
-        ts.NodeBuilderFlags.NoTruncation
-      );
-      if (!signatureDeclaration) return yield* fail("error generating signature");
-      const returnType = yield* generateReturnType(signature.getReturnType(), atLocation, className);
-      return ts.factory.createFunctionTypeNode(
-        signatureDeclaration.typeParameters,
-        signatureDeclaration.parameters,
-        returnType
-      );
-    });
-    const writeAccessors = fn("writeTagClassAccessors.writeAccessors")(
-      function* (service2, className, atLocation) {
-        const changeTracker = yield* service(ChangeTracker);
-        const insertLocation = atLocation.members.length > 0 ? atLocation.members[0].pos : atLocation.getEnd() - 1;
-        for (const property of typeChecker.getPropertiesOfType(service2)) {
-          const servicePropertyType = typeChecker.getTypeOfSymbolAtLocation(property, atLocation);
-          const callSignatures = [];
-          let propertyDeclaration = void 0;
-          for (const signature of servicePropertyType.getCallSignatures()) {
-            yield* pipe(
-              proxySignature(signature, atLocation, className),
-              map4((sig) => {
-                callSignatures.push(sig);
-              }),
-              ignore
-            );
-          }
-          if (callSignatures.length === 0) {
-            yield* pipe(
-              generateReturnType(servicePropertyType, atLocation, className),
-              map4((type) => {
-                propertyDeclaration = createConstantProperty(className, property.getName(), type);
-              }),
-              ignore
-            );
-          } else {
-            const allSignatures = ts.factory.createIntersectionTypeNode(callSignatures);
-            const type = yield* simplifyTypeNode(allSignatures);
-            propertyDeclaration = createFunctionProperty(className, property.getName(), type, callSignatures.length > 1);
-          }
-          if (propertyDeclaration) {
-            const oldProperty = atLocation.members.filter(ts.isPropertyDeclaration).find((p) => {
-              const symbol3 = typeChecker.getSymbolAtLocation(p.name);
-              return symbol3?.getName() === property.getName();
-            });
-            if (oldProperty) {
-              changeTracker.deleteRange(sourceFile, {
-                pos: oldProperty.getStart(sourceFile),
-                end: oldProperty.getEnd()
-              });
-              changeTracker.insertNodeAt(sourceFile, oldProperty.getStart(sourceFile), propertyDeclaration);
-            } else {
-              changeTracker.insertNodeAt(sourceFile, insertLocation, propertyDeclaration, { suffix: "\n" });
-            }
-          }
-        }
-      }
-    );
-    const writeTagClassAccessors2 = (node) => gen(function* () {
-      if (!ts.isClassDeclaration(node)) return yield* fail(new RefactorNotApplicableError());
-      if (!node.name) return yield* fail(new RefactorNotApplicableError());
-      const classSym = typeChecker.getSymbolAtLocation(node.name);
-      if (!classSym) return yield* fail(new RefactorNotApplicableError());
-      const type = typeChecker.getTypeOfSymbol(classSym);
-      const { Service } = yield* pipe(
-        typeParser.contextTag(type, node),
-        orElse2(() => fail(new RefactorNotApplicableError()))
-      );
-      return {
-        kind: "refactor.rewrite.effect.writeTagClassAccessors",
-        description: "Implement Service accessors",
-        apply: pipe(
-          writeAccessors(Service, node.name, node),
-          provideService(TypeCheckerApi, typeChecker),
-          provideService(TypeScriptApi, ts)
-        )
-      };
-    });
-    const parentNodes = yield* getAncestorNodesInRange(sourceFile, textRange);
-    return yield* firstSuccessOf(parentNodes.map(writeTagClassAccessors2));
-  })
-});
-
 // src/refactors.ts
 var refactors = [
   asyncAwaitToGen,
@@ -11547,13 +11641,10 @@ var init = (modules) => {
     function runNano(program) {
       return (fa) => pipe(
         fa,
-        provideService(TypeParser, make3(modules.typescript, program.getTypeChecker())),
-        provideService(TypeScriptProgram, program),
+        nanoLayer2,
+        nanoLayer,
         provideService(TypeCheckerApi, program.getTypeChecker()),
-        provideService(
-          TypeCheckerApiCache,
-          makeTypeCheckerApiCache()
-        ),
+        provideService(TypeScriptProgram, program),
         provideService(TypeScriptApi, modules.typescript),
         provideService(
           LanguageServicePluginOptions,
@@ -11599,45 +11690,60 @@ var init = (modules) => {
         preferences,
         ...args2
       );
-      if (languageServicePluginOptions.diagnostics) {
-        return pipe(
-          sync(() => {
-            const effectCodeFixes = [];
-            if (!effectCodeFixesForFile.has(fileName)) {
-              runDiagnosticsAndCacheCodeFixes(fileName);
-            }
-            const applicableFixes = (effectCodeFixesForFile.get(fileName) || []).filter(
-              (_) => _.start === start && _.end === end && errorCodes.indexOf(_.code) > -1
-            );
-            const formatContext = modules.typescript.formatting.getFormatContext(
-              formatOptions,
-              info.languageServiceHost
-            );
-            for (const applicableFix of applicableFixes) {
-              const changes = modules.typescript.textChanges.ChangeTracker.with(
-                {
-                  formatContext,
-                  host: info.languageServiceHost,
-                  preferences: preferences || {}
-                },
-                (changeTracker) => pipe(
-                  applicableFix.apply,
-                  provideService(ChangeTracker, changeTracker),
-                  run
-                )
+      const program = languageService.getProgram();
+      if (languageServicePluginOptions.diagnostics && program) {
+        const sourceFile = program.getSourceFile(fileName);
+        if (sourceFile) {
+          return pipe(
+            sync(() => {
+              const effectCodeFixes = [];
+              if (!effectCodeFixesForFile.has(fileName)) {
+                runDiagnosticsAndCacheCodeFixes(fileName);
+              }
+              const applicableFixes = (effectCodeFixesForFile.get(fileName) || []).filter(
+                (_) => _.start === start && _.end === end && errorCodes.indexOf(_.code) > -1
               );
-              effectCodeFixes.push({
-                fixName: applicableFix.fixName,
-                description: applicableFix.description,
-                changes
-              });
-            }
-            return effectCodeFixes;
-          }),
-          run,
-          map((effectCodeFixes) => applicableCodeFixes.concat(effectCodeFixes)),
-          getOrElse(() => applicableCodeFixes)
-        );
+              const formatContext = modules.typescript.formatting.getFormatContext(
+                formatOptions,
+                info.languageServiceHost
+              );
+              for (const applicableFix of applicableFixes) {
+                const changes = modules.typescript.textChanges.ChangeTracker.with(
+                  {
+                    formatContext,
+                    host: info.languageServiceHost,
+                    preferences: preferences || {}
+                  },
+                  (changeTracker) => pipe(
+                    applicableFix.apply,
+                    provideService(ChangeTracker, changeTracker),
+                    run
+                  )
+                );
+                effectCodeFixes.push({
+                  fixName: applicableFix.fixName,
+                  description: applicableFix.description,
+                  changes
+                });
+              }
+              return effectCodeFixes;
+            }),
+            flatMap(
+              (effectCodeFixes) => pipe(
+                middlewareAutoImportQuickfixes(
+                  sourceFile,
+                  info.languageServiceHost,
+                  formatOptions,
+                  preferences,
+                  applicableCodeFixes
+                ),
+                map3((modifiedCodeFixes) => effectCodeFixes.concat(modifiedCodeFixes))
+              )
+            ),
+            runNano(program),
+            getOrElse(() => applicableCodeFixes)
+          );
+        }
       }
       return applicableCodeFixes;
     };
@@ -11740,7 +11846,7 @@ var init = (modules) => {
           if (sourceFile) {
             return pipe(
               appendEffectCompletionEntryData(sourceFile, applicableCompletions),
-              flatMap2(
+              flatMap(
                 (augmentedCompletions) => pipe(
                   getCompletionsAtPosition(
                     completions,
@@ -11749,7 +11855,7 @@ var init = (modules) => {
                     options,
                     formattingSettings
                   ),
-                  map4(
+                  map3(
                     (effectCompletions) => augmentedCompletions ? {
                       ...augmentedCompletions,
                       entries: effectCompletions.concat(augmentedCompletions.entries)