syncpack 11.2.1 → 12.0.0-alpha.0

package/dist/version-group/create-version-groups.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createVersionGroups = void 0;
+const effect_1 = require("effect");
+const is_array_of_strings_1 = require("tightrope/guard/is-array-of-strings");
+const is_non_empty_array_1 = require("tightrope/guard/is-non-empty-array");
+const is_non_empty_string_1 = require("tightrope/guard/is-non-empty-string");
+const is_object_1 = require("tightrope/guard/is-object");
+const _1 = require(".");
+const banned_1 = require("./banned");
+const filtered_out_1 = require("./filtered-out");
+const ignored_1 = require("./ignored");
+const pinned_1 = require("./pinned");
+const same_range_1 = require("./same-range");
+const snapped_to_1 = require("./snapped-to");
+const standard_1 = require("./standard");
+function createVersionGroups(ctx) {
+    const { rcFile } = ctx.config;
+    const versionGroups = [
+        effect_1.Effect.succeed(new filtered_out_1.FilteredOutVersionGroup(ctx)),
+    ];
+    if ((0, is_non_empty_array_1.isNonEmptyArray)(rcFile.versionGroups)) {
+        rcFile.versionGroups.forEach((config) => {
+            if (!(0, is_object_1.isObject)(config)) {
+                return versionGroups.push(effect_1.Effect.fail(new _1.VersionGroup.ConfigError({
+                    config,
+                    error: 'config is not an object',
+                })));
+            }
+            const mutuallyExclusiveProps = ['isBanned', 'isIgnored', 'pinVersion', 'snapTo', 'policy'].filter((prop) => Boolean(config[prop]));
+            if (mutuallyExclusiveProps.length > 1) {
+                return versionGroups.push(effect_1.Effect.fail(new _1.VersionGroup.ConfigError({
+                    config,
+                    error: `it's unclear what kind of version group you want, as it contains both ${mutuallyExclusiveProps.join(' and ')}`,
+                })));
+            }
+            const label = (0, is_non_empty_string_1.isNonEmptyString)(config.label) ? config.label : '';
+            const dependencyTypes = (0, is_array_of_strings_1.isArrayOfStrings)(config.dependencyTypes)
+                ? config.dependencyTypes
+                : ['**'];
+            const dependencies = (0, is_array_of_strings_1.isArrayOfStrings)(config.dependencies) ? config.dependencies : ['**'];
+            const packages = (0, is_array_of_strings_1.isArrayOfStrings)(config.packages) ? config.packages : ['**'];
+            if (config.isBanned === true) {
+                versionGroups.push(effect_1.Effect.succeed(new banned_1.BannedVersionGroup({
+                    dependencies,
+                    dependencyTypes,
+                    isBanned: true,
+                    label,
+                    packages,
+                })));
+            }
+            else if (config.isIgnored === true) {
+                versionGroups.push(effect_1.Effect.succeed(new ignored_1.IgnoredVersionGroup({
+                    dependencies,
+                    dependencyTypes,
+                    isIgnored: true,
+                    label,
+                    packages,
+                })));
+            }
+            else if ((0, is_non_empty_string_1.isNonEmptyString)(config.pinVersion)) {
+                versionGroups.push(effect_1.Effect.succeed(new pinned_1.PinnedVersionGroup({
+                    dependencies,
+                    dependencyTypes,
+                    label,
+                    packages,
+                    pinVersion: config.pinVersion,
+                })));
+            }
+            else if ((0, is_array_of_strings_1.isArrayOfStrings)(config.snapTo)) {
+                versionGroups.push(effect_1.Effect.succeed(new snapped_to_1.SnappedToVersionGroup({
+                    dependencies,
+                    dependencyTypes,
+                    label,
+                    packages,
+                    snapTo: config.snapTo,
+                })));
+            }
+            else if (config.policy === 'sameRange') {
+                versionGroups.push(effect_1.Effect.succeed(new same_range_1.SameRangeVersionGroup(ctx, {
+                    dependencies,
+                    dependencyTypes,
+                    label,
+                    packages,
+                    policy: config.policy,
+                })));
+            }
+            else {
+                versionGroups.push(effect_1.Effect.succeed(new standard_1.StandardVersionGroup(false, {
+                    dependencies,
+                    dependencyTypes,
+                    label,
+                    packages,
+                    preferVersion: config.preferVersion === 'lowestSemver' ? 'lowestSemver' : 'highestSemver',
+                })));
+            }
+        });
+    }
+    versionGroups.push(effect_1.Effect.succeed(new standard_1.StandardVersionGroup(true, {
+        dependencies: ['**'],
+        label: 'Default Version Group',
+        packages: ['**'],
+        preferVersion: 'highestSemver',
+    })));
+    return effect_1.Effect.all(versionGroups);
+}
+exports.createVersionGroups = createVersionGroups;

package/dist/version-group/filtered-out.d.ts

@@ -0,0 +1,19 @@
+import { Data, Effect } from 'effect';
+import type { GroupConfig } from '../config/types';
+import type { Ctx } from '../get-context';
+import type { Instance } from '../get-instances/instance';
+import { Report } from '../report';
+declare const FilteredOutVersionGroup_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+    readonly _tag: "FilteredOut";
+}>;
+export declare class FilteredOutVersionGroup extends FilteredOutVersionGroup_base<{
+    config: GroupConfig;
+    filter: string;
+    instances: Instance[];
+}> {
+    groupType: string;
+    constructor(ctx: Ctx);
+    canAdd(instance: Instance): boolean;
+    inspectAll(): Effect.Effect<never, never, Report.Version.Group[]>;
+}
+export {};

package/dist/version-group/filtered-out.js

@@ -0,0 +1,34 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FilteredOutVersionGroup = void 0;
+const effect_1 = require("effect");
+const get_filter_1 = require("../config/get-filter");
+const report_1 = require("../report");
+const group_by_1 = require("./lib/group-by");
+class FilteredOutVersionGroup extends effect_1.Data.TaggedClass('FilteredOut') {
+    constructor(ctx) {
+        super({
+            config: {
+                dependencies: ['**'],
+                dependencyTypes: ['**'],
+                label: 'Filtered out',
+                packages: ['**'],
+            },
+            filter: (0, get_filter_1.getFilter)(ctx.config),
+            instances: [],
+        });
+        this.groupType = 'versionGroup';
+    }
+    canAdd(instance) {
+        return instance.name.search(new RegExp(this.filter)) === -1;
+    }
+    inspectAll() {
+        return effect_1.Effect.succeed(Object.entries((0, group_by_1.groupBy)('name', this.instances)).map(([name, instances]) => ({
+            name,
+            reports: instances.map((instance) => 
+            // ✓ is ignored and dismissed as valid
+            new report_1.Report.FilteredOut({ instance })),
+        })));
+    }
+}
+exports.FilteredOutVersionGroup = FilteredOutVersionGroup;

package/dist/version-group/ignored.d.ts

@@ -0,0 +1,17 @@
+import { Data, Effect } from 'effect';
+import type { VersionGroupConfig } from '../config/types';
+import type { Instance } from '../get-instances/instance';
+import { Report } from '../report';
+declare const IgnoredVersionGroup_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+    readonly _tag: "Ignored";
+}>;
+export declare class IgnoredVersionGroup extends IgnoredVersionGroup_base<{
+    config: VersionGroupConfig.Ignored;
+    instances: Instance[];
+}> {
+    groupType: string;
+    constructor(config: VersionGroupConfig.Ignored);
+    canAdd(_: Instance): boolean;
+    inspectAll(): Effect.Effect<never, never, Report.Version.Group[]>;
+}
+export {};

package/dist/version-group/ignored.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IgnoredVersionGroup = void 0;
+const effect_1 = require("effect");
+const report_1 = require("../report");
+const group_by_1 = require("./lib/group-by");
+class IgnoredVersionGroup extends effect_1.Data.TaggedClass('Ignored') {
+    constructor(config) {
+        super({
+            config,
+            instances: [],
+        });
+        this.groupType = 'versionGroup';
+    }
+    canAdd(_) {
+        return true;
+    }
+    inspectAll() {
+        return effect_1.Effect.succeed(Object.entries((0, group_by_1.groupBy)('name', this.instances)).map(([name, instances]) => ({
+            name,
+            reports: instances.map((instance) => 
+            // ✓ is ignored and dismissed as valid
+            new report_1.Report.Ignored({ instance })),
+        })));
+    }
+}
+exports.IgnoredVersionGroup = IgnoredVersionGroup;

package/dist/version-group/index.d.ts

@@ -0,0 +1,28 @@
+import { Data } from 'effect';
+import type { Union } from 'ts-toolbelt';
+import type { BannedVersionGroup } from './banned';
+import type { FilteredOutVersionGroup } from './filtered-out';
+import type { IgnoredVersionGroup } from './ignored';
+import type { PinnedVersionGroup } from './pinned';
+import type { SameRangeVersionGroup } from './same-range';
+import type { SnappedToVersionGroup } from './snapped-to';
+import type { StandardVersionGroup } from './standard';
+export declare namespace VersionGroup {
+    export type Banned = BannedVersionGroup;
+    export type FilteredOut = FilteredOutVersionGroup;
+    export type Ignored = IgnoredVersionGroup;
+    export type Pinned = PinnedVersionGroup;
+    export type SameRange = SameRangeVersionGroup;
+    export type SnappedTo = SnappedToVersionGroup;
+    export type Standard = StandardVersionGroup;
+    export type Any = Union.Strict<Banned | FilteredOut | Ignored | Pinned | SameRange | SnappedTo | Standard>;
+    const ConfigError_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+        readonly _tag: "VersionGroupConfigError";
+    }>;
+    export class ConfigError extends ConfigError_base<{
+        readonly config: unknown;
+        readonly error: string;
+    }> {
+    }
+    export {};
+}

package/dist/version-group/index.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.VersionGroup = void 0;
+const effect_1 = require("effect");
+var VersionGroup;
+(function (VersionGroup) {
+    class ConfigError extends effect_1.Data.TaggedClass('VersionGroupConfigError') {
+    }
+    VersionGroup.ConfigError = ConfigError;
+})(VersionGroup || (exports.VersionGroup = VersionGroup = {}));

package/dist/version-group/lib/get-highest-version.d.ts

@@ -0,0 +1,6 @@
+import type { Specifier } from '../../specifier';
+/**
+ * From an array of instances where every instance contains a valid semver
+ * version, return the highest version number
+ */
+export declare function getHighestVersion(specifiers: Specifier.Any[]): import("effect/Effect").Effect<never, import("../../specifier/lib/non-semver-error").NonSemverError, Specifier.Any>;

package/dist/version-group/lib/get-highest-version.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getHighestVersion = void 0;
+const get_preferred_version_1 = require("./get-preferred-version");
+/**
+ * From an array of instances where every instance contains a valid semver
+ * version, return the highest version number
+ */
+function getHighestVersion(specifiers) {
+    return (0, get_preferred_version_1.getPreferredVersion)('highestSemver', specifiers);
+}
+exports.getHighestVersion = getHighestVersion;

package/dist/version-group/lib/get-lowest-version.d.ts

@@ -0,0 +1,6 @@
+import type { Specifier } from '../../specifier';
+/**
+ * From an array of instances where every instance contains a valid semver
+ * version, return the lowest version number
+ */
+export declare function getLowestVersion(specifiers: Specifier.Any[]): import("effect/Effect").Effect<never, import("../../specifier/lib/non-semver-error").NonSemverError, Specifier.Any>;

package/dist/version-group/lib/get-lowest-version.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getLowestVersion = void 0;
+const get_preferred_version_1 = require("./get-preferred-version");
+/**
+ * From an array of instances where every instance contains a valid semver
+ * version, return the lowest version number
+ */
+function getLowestVersion(specifiers) {
+    return (0, get_preferred_version_1.getPreferredVersion)('lowestSemver', specifiers);
+}
+exports.getLowestVersion = getLowestVersion;

package/dist/version-group/lib/get-preferred-version.d.ts

@@ -0,0 +1,5 @@
+import { Effect } from 'effect';
+import type { VersionGroupConfig } from '../../config/types';
+import type { Specifier } from '../../specifier';
+import type { NonSemverError } from '../../specifier/lib/non-semver-error';
+export declare function getPreferredVersion(preferVersion: VersionGroupConfig.Standard['preferVersion'], specifiers: Specifier.Any[]): Effect.Effect<never, NonSemverError, Specifier.Any>;

package/dist/{get-version-groups/lib/compare-semver.js → version-group/lib/get-preferred-version.js}

@@ -3,11 +3,24 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.compareSemver = void 0;
+exports.getPreferredVersion = void 0;
+const effect_1 = require("effect");
 const gt_1 = __importDefault(require("semver/functions/gt"));
 const lt_1 = __importDefault(require("semver/functions/lt"));
 const clean_1 = require("./clean");
 const get_range_score_1 = require("./get-range-score");
+function getPreferredVersion(preferVersion, specifiers) {
+    return (0, effect_1.pipe)(
+    // every instance must have a semver version
+    effect_1.Effect.all(specifiers.map((specifier) => (0, effect_1.pipe)(specifier.getSemver(), effect_1.Effect.map((semver) => ({ semver, specifier }))))), 
+    // comparing semver can error on some loose ranges, all must succeed
+    effect_1.Effect.map((semvers) => semvers.sort((a, b) => compareSemver(a.semver, b.semver))), 
+    // get the preferred value from the list
+    effect_1.Effect.map((sorted) => sorted[preferVersion === 'lowestSemver' ? 0 : sorted.length - 1]), 
+    // return just the specifier
+    effect_1.Effect.map((preferred) => preferred?.specifier));
+}
+exports.getPreferredVersion = getPreferredVersion;
 const EQ = 0;
 const LT = -1;
 const GT = 1;
@@ -36,4 +49,3 @@ function compareSemver(a, b) {
         return GT;
     return EQ;
 }
-exports.compareSemver = compareSemver;

package/dist/version-group/lib/group-by.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Convert an array of objects to an object, where each property of the new
+ * object is an array whose members share the same value for the given key.
+ */
+export declare function groupBy<A extends any[]>(key: string, array: A): Record<string, A>;

package/dist/{get-version-groups → version-group}/lib/group-by.js

@@ -1,6 +1,10 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.groupBy = void 0;
+/**
+ * Convert an array of objects to an object, where each property of the new
+ * object is an array whose members share the same value for the given key.
+ */
 function groupBy(key, array) {
     return array.reduce((objectsByKeyValue, obj) => {
         const value = obj[key];

package/dist/version-group/pinned.d.ts

@@ -0,0 +1,17 @@
+import { Data, Effect } from 'effect';
+import type { VersionGroupConfig } from '../config/types';
+import type { Instance } from '../get-instances/instance';
+import { Report } from '../report';
+declare const PinnedVersionGroup_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+    readonly _tag: "Pinned";
+}>;
+export declare class PinnedVersionGroup extends PinnedVersionGroup_base<{
+    config: VersionGroupConfig.Pinned;
+    instances: Instance[];
+}> {
+    groupType: string;
+    constructor(config: VersionGroupConfig.Pinned);
+    canAdd(_: Instance): boolean;
+    inspectAll(): Effect.Effect<never, never, Report.Version.Group[]>;
+}
+export {};

package/dist/version-group/pinned.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PinnedVersionGroup = void 0;
+const effect_1 = require("effect");
+const report_1 = require("../report");
+const specifier_1 = require("../specifier");
+const group_by_1 = require("./lib/group-by");
+class PinnedVersionGroup extends effect_1.Data.TaggedClass('Pinned') {
+    constructor(config) {
+        super({
+            config,
+            instances: [],
+        });
+        this.groupType = 'versionGroup';
+    }
+    canAdd(_) {
+        return true;
+    }
+    inspectAll() {
+        return effect_1.Effect.all(Object.entries((0, group_by_1.groupBy)('name', this.instances)).map(([name, instances]) => (0, effect_1.pipe)(instances, effect_1.Effect.forEach((instance) => (0, effect_1.pipe)(effect_1.Effect.succeed(specifier_1.Specifier.create(instance, this.config.pinVersion)), effect_1.Effect.map((expected) => instance.rawSpecifier === expected.raw
+            ? // ✓ pinned takes precedence over any semver group
+                // ✓ current version matches expected
+                new report_1.Report.Valid({ specifier: expected })
+            : // ✓ pinned takes precedence over any semver group
+                // ✘ current version mismatches expected
+                // ✓ is a mismatch we can auto-fix
+                new report_1.Report.PinnedMismatch({ fixable: expected })))), effect_1.Effect.map((reports) => ({ name, reports })))));
+    }
+}
+exports.PinnedVersionGroup = PinnedVersionGroup;

package/dist/version-group/same-range.d.ts

@@ -0,0 +1,19 @@
+import { Data, Effect } from 'effect';
+import type { VersionGroupConfig } from '../config/types';
+import type { Ctx } from '../get-context';
+import type { Instance } from '../get-instances/instance';
+import { Report } from '../report';
+declare const SameRangeVersionGroup_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+    readonly _tag: "SameRange";
+}>;
+export declare class SameRangeVersionGroup extends SameRangeVersionGroup_base<{
+    ctx: Ctx;
+    config: VersionGroupConfig.SameRange;
+    instances: Instance[];
+}> {
+    groupType: string;
+    constructor(ctx: Ctx, config: VersionGroupConfig.SameRange);
+    canAdd(_: Instance): boolean;
+    inspectAll(): Effect.Effect<never, never, Report.Version.Group[]>;
+}
+export {};

package/dist/version-group/same-range.js

@@ -0,0 +1,108 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SameRangeVersionGroup = void 0;
+const effect_1 = require("effect");
+const intersects_1 = __importDefault(require("semver/ranges/intersects"));
+const uniq_1 = require("tightrope/array/uniq");
+const report_1 = require("../report");
+const specifier_1 = require("../specifier");
+const group_by_1 = require("./lib/group-by");
+class SameRangeVersionGroup extends effect_1.Data.TaggedClass('SameRange') {
+    constructor(ctx, config) {
+        super({
+            ctx,
+            config,
+            instances: [],
+        });
+        this.groupType = 'versionGroup';
+    }
+    canAdd(_) {
+        return true;
+    }
+    inspectAll() {
+        return effect_1.Effect.all(Object.entries((0, group_by_1.groupBy)('name', this.instances)).flatMap(([name, instances]) => (0, effect_1.pipe)(instances, effect_1.Effect.partition((instance) => (0, effect_1.pipe)(effect_1.Effect.succeed(specifier_1.Specifier.create(instance, instance.rawSpecifier)), effect_1.Effect.flatMap((specifier) => (0, effect_1.pipe)(specifier.getSemver(), effect_1.Effect.matchEffect({
+            onFailure: () => effect_1.Effect.fail(
+            // ✘ expected version is not semver
+            // ✘ is a mismatch we can't auto-fix
+            new report_1.Report.UnsupportedMismatch({ unfixable: specifier.instance })),
+            onSuccess: () => (0, effect_1.pipe)(specifier.instance.semverGroup.getFixed(specifier), effect_1.Effect.matchEffect({
+                onFailure: () => effect_1.Effect.fail(
+                // ✓ expected version is semver
+                // ✘ expected version is not fixable by its semver group
+                // ✘ is a mismatch we can't auto-fix
+                new report_1.Report.UnsupportedMismatch({
+                    unfixable: specifier.instance,
+                })),
+                onSuccess: (valid) => specifier.instance.rawSpecifier === valid.raw
+                    ? effect_1.Effect.succeed(
+                    // ✓ expected version is semver
+                    // ✓ expected version matches its semver group
+                    // ✓ current version matches expected
+                    new report_1.Report.Valid({ specifier }))
+                    : effect_1.Effect.fail(
+                    // ✓ expected version is semver
+                    // ✓ expected version matches its semver group
+                    // ✘ current version mismatches expected
+                    // ✓ is a mismatch we can auto-fix
+                    new report_1.Report.SemverRangeMismatch({ fixable: valid })),
+            })),
+        }))))), effect_1.Effect.map(([allMismatches, allMatches]) => allMismatches.length === 0
+            ? allMatches.map((thisMatch) => {
+                if (thisMatch.specifier.instance.strategy.name === 'local') {
+                    // ✓ every instance is valid on its own
+                    // ✓ expected version is semver
+                    // ! is the original local package
+                    // ✓ others must match this, not the other way around
+                    return thisMatch;
+                }
+                const mismatches = getRangeMismatches(this.ctx, thisMatch, allMatches);
+                if (mismatches.length === 0) {
+                    // ✓ every instance is valid on its own
+                    // ✓ expected version is semver
+                    // ✓ expected version matches its semver group
+                    // ✓ current version matches expected
+                    // ! is not the original local package
+                    // ✓ current specifier matches every other specifier
+                    return thisMatch;
+                }
+                // ✓ every instance is valid on its own
+                // ✓ expected version is semver
+                // ✓ expected version matches its semver group
+                // ✓ current version matches expected
+                // ! is not the original local package
+                // ✘ current specifier does not match every other specifier
+                return new report_1.Report.SameRangeMismatch({
+                    unfixable: thisMatch.specifier.instance,
+                    mismatches: (0, uniq_1.uniq)(mismatches.map((report) => report.specifier.instance.rawSpecifier)),
+                });
+            })
+            : // ✘ not every instance is valid on its own
+                // ! report on their validity individually ! when all are valid
+                //   they can progress to being checked for having compatible
+                //   ranges
+                [...allMatches, ...allMismatches]), effect_1.Effect.map((reports) => ({ name, reports })))));
+    }
+}
+exports.SameRangeVersionGroup = SameRangeVersionGroup;
+/** Find all ranges/versions which this semver version does not cover */
+function getRangeMismatches(ctx, report, others) {
+    return others.filter((other) => !matchesRange(ctx, report, other));
+}
+/** Does semver version `a` match semver version `b`? */
+function matchesRange(ctx, a, b) {
+    const loose = true;
+    return (0, intersects_1.default)(unwrapSemver(ctx, a.specifier), unwrapSemver(ctx, b.specifier), loose);
+}
+/** Get the semver version synchronously from a specifier known to contain semver */
+function unwrapSemver(ctx, specifier) {
+    if (specifier._tag === 'RangeSpecifier' || specifier._tag === 'VersionSpecifier') {
+        return specifier.raw;
+    }
+    if (specifier._tag === 'WorkspaceProtocolSpecifier') {
+        return effect_1.Effect.runSync(specifier.getSemverEquivalent(ctx));
+    }
+    return effect_1.Effect.runSync(specifier.getSemver());
+}

package/dist/version-group/snapped-to.d.ts

@@ -0,0 +1,17 @@
+import { Data, Effect } from 'effect';
+import type { VersionGroupConfig } from '../config/types';
+import type { Instance } from '../get-instances/instance';
+import { Report } from '../report';
+declare const SnappedToVersionGroup_base: new <A extends Record<string, any>>(args: import("effect/Types").Equals<Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>, {}> extends true ? void : Omit<A, keyof import("effect/dist/declarations/src/Equal").Equal>) => Data.Data<A & {
+    readonly _tag: "SnappedTo";
+}>;
+export declare class SnappedToVersionGroup extends SnappedToVersionGroup_base<{
+    config: VersionGroupConfig.SnappedTo;
+    instances: Instance[];
+}> {
+    groupType: string;
+    constructor(config: VersionGroupConfig.SnappedTo);
+    canAdd(_: Instance): boolean;
+    inspectAll(): Effect.Effect<never, never, Report.Version.Group[]>;
+}
+export {};

package/dist/version-group/snapped-to.js

@@ -0,0 +1,83 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SnappedToVersionGroup = void 0;
+const effect_1 = require("effect");
+const report_1 = require("../report");
+const specifier_1 = require("../specifier");
+const group_by_1 = require("./lib/group-by");
+class SnappedToVersionGroup extends effect_1.Data.TaggedClass('SnappedTo') {
+    constructor(config) {
+        super({
+            config,
+            instances: [],
+        });
+        this.groupType = 'versionGroup';
+    }
+    canAdd(_) {
+        return true;
+    }
+    inspectAll() {
+        return effect_1.Effect.all(Object.entries((0, group_by_1.groupBy)('name', this.instances)).flatMap(([name, instances]) => (0, effect_1.pipe)(findSnappedToInstance(name, this.config.snapTo, instances), effect_1.Effect.matchEffect({
+            onFailure: () => effect_1.Effect.succeed(instances.map((instance) => 
+            // ✘ none of the snapTo packages contain this dependency
+            // ✘ is a user configuration error we can't auto-fix
+            new report_1.Report.MissingSnappedToMismatch({ unfixable: instance }))),
+            onSuccess: (expected) => (0, effect_1.pipe)(instances, effect_1.Effect.forEach((instance) => (0, effect_1.pipe)(effect_1.Effect.Do, effect_1.Effect.bind('specifier', () => effect_1.Effect.succeed(specifier_1.Specifier.create(instance, instance.rawSpecifier))), effect_1.Effect.bind('expected', () => effect_1.Effect.succeed(specifier_1.Specifier.create(instance, expected.rawSpecifier))), effect_1.Effect.flatMap(({ expected, specifier }) => (0, effect_1.pipe)(expected.getSemver(), effect_1.Effect.matchEffect({
+                onFailure: () => (0, effect_1.pipe)(specifier.replaceWith(expected), specifier.instance.semverGroup.getFixed, effect_1.Effect.match({
+                    onFailure: () => 
+                    // ✘ expected version is not semver
+                    // ✘ semver group expects semver
+                    // ✘ is a mismatch we can't auto-fix
+                    new report_1.Report.UnsupportedMismatch({
+                        unfixable: specifier.instance,
+                    }),
+                    onSuccess: (valid) => specifier.instance.rawSpecifier === valid.raw
+                        ? // ! expected version is not semver
+                            // ✓ semver group is disabled/ignored
+                            // ✓ current version matches expected
+                            new report_1.Report.Valid({ specifier })
+                        : // ! expected version is not semver
+                            // ✓ semver group is disabled/ignored
+                            // ✘ current version mismatches expected
+                            // ✓ is a mismatch we can auto-fix by replacing with the non-semver version
+                            new report_1.Report.SnappedToMismatch({
+                                fixable: valid,
+                                localInstance: expected.instance,
+                            }),
+                })),
+                onSuccess: () => (0, effect_1.pipe)(specifier.replaceWith(expected), specifier.instance.semverGroup.getFixed, effect_1.Effect.match({
+                    onFailure: /* istanbul ignore next */ () => 
+                    // ✓ expected version is semver
+                    // ✘ expected version is not fixable by its semver group
+                    // ✘ is a mismatch we can't auto-fix
+                    // ✘ this should be impossible - we already proved the local version is exact semver
+                    new report_1.Report.UnsupportedMismatch({
+                        unfixable: specifier.instance,
+                    }),
+                    onSuccess: (valid) => specifier.instance.rawSpecifier === valid.raw
+                        ? // ✓ expected version is semver
+                            // ✓ expected version matches its semver group
+                            // ✓ current version matches expected
+                            new report_1.Report.Valid({ specifier })
+                        : // ✓ expected version is semver
+                            // ✓ expected version matches its semver group
+                            // ✘ current version mismatches expected
+                            // ✓ is a mismatch we can auto-fix
+                            new report_1.Report.SnappedToMismatch({
+                                fixable: valid,
+                                localInstance: expected.instance,
+                            }),
+                })),
+            })))))),
+        }), effect_1.Effect.map((reports) => ({ name, reports })))));
+    }
+}
+exports.SnappedToVersionGroup = SnappedToVersionGroup;
+function findSnappedToInstance(name, snapTo, instances) {
+    for (const instance of instances) {
+        if (snapTo.includes(instance.pkgName) && instance.rawSpecifier) {
+            return (0, effect_1.pipe)(effect_1.Effect.succeed(instance), effect_1.Effect.tap(() => effect_1.Effect.logDebug(`found snapped to version ${instance.rawSpecifier} for ${name} in <${instance.packageJsonFile.jsonFile.shortPath}>`)));
+        }
+    }
+    return (0, effect_1.pipe)(effect_1.Effect.fail('getSnappedTo found nothing'), effect_1.Effect.tapError(() => effect_1.Effect.logError(`failed to get snapped to version for ${name} using ${JSON.stringify(snapTo)}`)));
+}