@systemfsoftware/stryker-js-typescript-checker 3.0.3 → 4.0.0

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @systemfsoftware/stryker-js-typescript-checker
 
+## 4.0.0
+
+### Major Changes
+
+- CheckMutantsDecision is now a branded tagged union CheckFinished|RetestRequired instead of a plain record; consumer dispatch is exhaustive over the tags
+
+### Patch Changes
+
+- Updated dependencies:
+  - @systemfsoftware/effect-cell-types@6.0.0
+  - @systemfsoftware/stryker-js@1.0.0
+
 ## 3.0.3
 
 ### Patch Changes

package/dist/index.mjs

@@ -8,8 +8,8 @@ import * as S from "effect/Schema";
 import { Cell, Wire, Workflow } from "@systemfsoftware/effect-cell-types";
 import { Mutant, errorToString } from "@systemfsoftware/stryker-js/Mutant";
 import { Predicate, Result, Schema } from "effect";
-import { pipe } from "effect/Function";
 import * as HashMap from "effect/HashMap";
+import * as Match from "effect/Match";
 import * as MutableHashMap from "effect/MutableHashMap";
 import * as Option from "effect/Option";
 import { API, DiagnosticCategory } from "typescript/unstable/sync";
@@ -39,46 +39,7 @@ var typescript_checker_options_default = {
 	} }
 };
 //#endregion
-//#region src/Checker.schema.ts
-/**
-* Checker — declarations for the TypeScript checker.
-*
-* Houses the wire types and error variants shared by the capability and its
-* workflow. Decoded at the checker boundary; no I/O.
-*/
-var CheckMutantsCommand = class extends S.TaggedClass()("CheckMutantsCommand", { mutants: S.Array(Mutant) }) {};
-/**
-* Every way the TypeScript compiler can fail while serving a check.
-* One tagged error — callers branch only on failure itself; `reason` keeps
-* cases distinguishable in reports.
-*/
-var CompilerFailed = class extends S.TaggedError()("CompilerFailed", {
-	reason: S.Literals([
-		"not-initialized",
-		"no-projects",
-		"unknown-file-node",
-		"file-not-in-project"
-	]),
-	subject: S.optional(S.String)
-}) {
-	get message() {
-		switch (this.reason) {
-			case "not-initialized": return "The TypeScript compiler was used before it was initialized";
-			case "no-projects": return `No projects were found for ${this.subject ?? "the tsconfig"}`;
-			case "unknown-file-node": return `The file graph has no node for '${this.subject ?? "a file"}', which should not happen`;
-			case "file-not-in-project": return `'${this.subject ?? "a file"}' is part of your TypeScript project but could not be found on disk`;
-		}
-	}
-};
-//#endregion
-//#region src/Checker.workflow.ts
-/**
-* Checker — pure check decision.
-*
-* `Workflow.make` lives here and only here. The workflow receives a fully
-* decoded input (mutants + diagnostics + file graph) and produces results plus
-* `needsRetest` without touching I/O.
-*/
+//#region src/check-mutants.workflow.ts
 var DiagnosticWithoutFileError = class extends S.TaggedError()("DiagnosticWithoutFileError", { text: Wire.mint(S.String) }) {};
 var DiagnosticInUnrelatedFileError = class extends S.TaggedError()("DiagnosticInUnrelatedFileError", {
 	text: Wire.mint(S.String),
@@ -98,6 +59,20 @@ var CheckMutantsInput = class extends S.TaggedClass()("CheckMutantsInput", {
 	diagnostics: S.Array(DiagnosticSchema),
 	nodes: Wire.mint(S.Record(Wire.mint(S.String), TSFileNodeSchema))
 }) {};
+const CheckMutantsTypeId = Symbol.for("@systemfsoftware/stryker-js-typescript-checker/CheckMutants");
+const MutantCheckStatusSchema = S.Union([S.Struct({ status: S.Literal("passed") }), S.Struct({
+	status: S.Literal("compileError"),
+	reason: S.String
+})]);
+var CheckFinished = class extends S.TaggedClass()("CheckFinished", { results: S.Record(S.String, MutantCheckStatusSchema) }) {
+	[CheckMutantsTypeId] = CheckMutantsTypeId;
+};
+var RetestRequired = class extends S.TaggedClass()("RetestRequired", {
+	results: S.Record(S.String, MutantCheckStatusSchema),
+	needsRetest: S.Array(Mutant)
+}) {
+	[CheckMutantsTypeId] = CheckMutantsTypeId;
+};
 const normalizeFileName$3 = (fileName) => fileName.replace(/\\/g, "/");
 const getMutantsWithReferenceToChildrenOrSelf = (node, mutants, nodesChecked = []) => {
 	if (nodesChecked.includes(node.fileName)) return [];
@@ -148,18 +123,12 @@ const buildResult = (input) => {
 	const mutants = input.mutants;
 	const diagnostics = input.diagnostics;
 	const nodes = input.nodes;
-	if (mutants.length === 0) return Result$1.succeed({
-		results: {},
-		needsRetest: []
-	});
+	if (mutants.length === 0) return Result$1.succeed(CheckFinished.make({ results: {} }));
 	const first = mutants[0];
 	if (first === void 0 || nodes[normalizeFileName$3(first.fileName)] === void 0) {
 		const results = {};
 		for (const m of mutants) results[m.id] = { status: "passed" };
-		return Result$1.succeed({
-			results,
-			needsRetest: []
-		});
+		return Result$1.succeed(CheckFinished.make({ results }));
 	}
 	const classified = classifyDiagnosticsPure(diagnostics, mutants, nodes);
 	if (Result$1.isFailure(classified)) return Result$1.fail(classified.failure);
@@ -175,13 +144,46 @@ const buildResult = (input) => {
 		};
 		else if (retestIds[m.id] !== true) results[m.id] = { status: "passed" };
 	}
-	return Result$1.succeed({
+	if (needsRetest.length === 0) return Result$1.succeed(CheckFinished.make({ results }));
+	return Result$1.succeed(RetestRequired.make({
 		results,
-		needsRetest
-	});
+		needsRetest: [...needsRetest]
+	}));
 };
 const checkMutants = Workflow.make(CheckMutantsInput, (input) => buildResult(input));
 //#endregion
+//#region src/Checker.schema.ts
+/**
+* Checker — declarations for the TypeScript checker.
+*
+* Houses the wire types and error variants shared by the capability and its
+* workflow. Decoded at the checker boundary; no I/O.
+*/
+var CheckMutantsCommand = class extends S.TaggedClass()("CheckMutantsCommand", { mutants: S.Array(Mutant) }) {};
+/**
+* Every way the TypeScript compiler can fail while serving a check.
+* One tagged error — callers branch only on failure itself; `reason` keeps
+* cases distinguishable in reports.
+*/
+var CompilerFailed = class extends S.TaggedError()("CompilerFailed", {
+	reason: S.Literals([
+		"not-initialized",
+		"no-projects",
+		"unknown-file-node",
+		"file-not-in-project"
+	]),
+	subject: S.optional(S.String)
+}) {
+	get message() {
+		switch (this.reason) {
+			case "not-initialized": return "The TypeScript compiler was used before it was initialized";
+			case "no-projects": return `No projects were found for ${this.subject ?? "the tsconfig"}`;
+			case "unknown-file-node": return `The file graph has no node for '${this.subject ?? "a file"}', which should not happen`;
+			case "file-not-in-project": return `'${this.subject ?? "a file"}' is part of your TypeScript project but could not be found on disk`;
+		}
+	}
+};
+//#endregion
 //#region src/Compiler.schema.ts
 /**
 * Compiler — declarations for the TypeScript compiler and version guard.
@@ -1102,18 +1104,7 @@ function makeTypescriptCompiler(options, fs, fsService, pathService) {
 }
 //#endregion
 //#region src/Checker.ts
-/**
-* Checker — capability that validates mutants against the TypeScript compiler.
-*
-* Bridges the checker plugin protocol (`@systemfsoftware/stryker-js/Checker`)
-* to the compiler service and the pure `checkMutants` workflow. Diagnostics
-* are classified without I/O; the file graph is sourced from the compiler.
-*/
 const normalizeFileName = (fileName) => fileName.replace(/\\/g, "/");
-/**
-* Pure grouping decision: separates mutants inside the project graph from
-* those outside it, honouring `prioritizePerformanceOverAccuracy`.
-*/
 function partitionMutantsForGrouping(mutants, nodes, prioritizePerformanceOverAccuracy) {
 	if (!prioritizePerformanceOverAccuracy) return {
 		inside: [],
@@ -1137,32 +1128,39 @@ function getPrioritize(options) {
 	if (typeof val === "boolean") return val;
 	return false;
 }
-const makeCheckDescription = (compiler) => pipe(Cell.read((command) => Effect.gen(function* () {
-	const nodesHm = yield* compiler.nodes.pipe(Effect.mapError((cause) => new CheckerFailed({
-		checkerName: "typescript",
-		mutantIds: command.mutants.map((m) => m.id),
-		cause: errorToString(cause)
-	})));
-	const nodes = {};
-	for (const [k, v] of nodesHm) nodes[k] = v;
-	const diagnostics = yield* compiler.check([...command.mutants]).pipe(Effect.mapError((cause) => new CheckerFailed({
-		checkerName: "typescript",
-		mutantIds: command.mutants.map((m) => m.id),
-		cause: errorToString(cause)
-	})));
-	return new CheckMutantsInput({
-		mutants: [...command.mutants],
-		diagnostics: [...diagnostics],
-		nodes
-	});
-})), Cell.decode((raw) => Result.succeed(raw)), Cell.decide(checkMutants), Cell.encode((outcome) => outcome), Cell.write((outcome) => Result.match(outcome, {
-	onFailure: (failure) => Effect.fail(new CheckerFailed({
-		checkerName: "typescript",
-		mutantIds: [],
-		cause: errorToString(failure)
-	})),
-	onSuccess: (decision) => Effect.succeed(decision)
-})));
+const checkCell = Cell.layer({
+	read: (command) => Effect.gen(function* () {
+		const compiler = yield* TypeScriptCompiler;
+		const nodesHm = yield* compiler.nodes.pipe(Effect.mapError((cause) => new CheckerFailed({
+			checkerName: "typescript",
+			mutantIds: command.mutants.map((m) => m.id),
+			cause: errorToString(cause)
+		})));
+		const nodes = {};
+		for (const [k, v] of nodesHm) nodes[k] = v;
+		const diagnostics = yield* compiler.check([...command.mutants]).pipe(Effect.mapError((cause) => new CheckerFailed({
+			checkerName: "typescript",
+			mutantIds: command.mutants.map((m) => m.id),
+			cause: errorToString(cause)
+		})));
+		return new CheckMutantsInput({
+			mutants: [...command.mutants],
+			diagnostics: [...diagnostics],
+			nodes
+		});
+	}),
+	decode: (raw) => Result.succeed(raw),
+	decide: checkMutants,
+	encode: (outcome) => outcome,
+	write: (outcome) => Result.match(outcome, {
+		onFailure: (failure) => Effect.fail(new CheckerFailed({
+			checkerName: "typescript",
+			mutantIds: [],
+			cause: errorToString(failure)
+		})),
+		onSuccess: (decision) => Effect.succeed(decision)
+	})
+});
 function makeCheckerService({ options, compiler }) {
 	const formatDiagnostic = (error) => Effect.gen(function* () {
 		let severity;
@@ -1204,8 +1202,7 @@ function makeCheckerService({ options, compiler }) {
 			}
 		}),
 		check: (mutants) => Effect.gen(function* () {
-			const description = makeCheckDescription(compiler);
-			const applyOnce = (group) => Cell.apply(description, new CheckMutantsCommand({ mutants: [...group] }));
+			const applyOnce = (group) => Cell.run(checkCell, new CheckMutantsCommand({ mutants: [...group] })).pipe(Effect.provideService(TypeScriptCompiler, compiler));
 			const first = yield* applyOnce(mutants);
 			let map = HashMap.empty();
 			const mergeResults = (results) => {
@@ -1216,14 +1213,17 @@ function makeCheckerService({ options, compiler }) {
 				});
 			};
 			mergeResults(first.results);
-			if (first.needsRetest.length > 0) yield* applyOnce([]);
-			const originals = {};
-			for (const m of mutants) originals[m.id] = m;
-			for (const pending of first.needsRetest) {
-				const original = originals[pending.id];
-				if (original === void 0) continue;
-				mergeResults((yield* applyOnce([original])).results);
-			}
+			yield* Match.value(first).pipe(Match.tag("CheckFinished", () => Effect.void), Match.tag("RetestRequired", (retest) => Effect.gen(function* () {
+				yield* applyOnce([]);
+				const originals = {};
+				for (const m of mutants) originals[m.id] = m;
+				for (const pending of retest.needsRetest) {
+					const original = originals[pending.id];
+					if (original === void 0) continue;
+					const one = yield* applyOnce([original]);
+					mergeResults(one.results);
+				}
+			})), Match.exhaustive);
 			return map;
 		}),
 		group: (mutants) => Effect.gen(function* () {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@systemfsoftware/stryker-js-typescript-checker",
-  "version": "3.0.3",
+  "version": "4.0.0",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/systemfsoftware/systemfsoftware.git",
@@ -22,8 +22,8 @@
   "dependencies": {
     "effect": "^4.0.0-rc.112",
     "typescript": "^7",
-    "@systemfsoftware/effect-cell-types": "^5.0.2",
-    "@systemfsoftware/stryker-js": "^0.2.0"
+    "@systemfsoftware/stryker-js": "^1.0.0",
+    "@systemfsoftware/effect-cell-types": "^6.0.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-rc.112",
@@ -35,14 +35,13 @@
     "rimraf": "^6.1.3",
     "tsdown": "^0.22.14",
     "vitest": "^4",
+    "@systemfsoftware/all": "^1.1.2",
     "@systemfsoftware/effect-gherkin-spec": "^4.0.0",
-    "@systemfsoftware/effect-schema-vite": "^2.0.2",
     "@systemfsoftware/effect-schema-law": "^2.0.1",
-    "@systemfsoftware/all": "^1.1.0",
-    "@systemfsoftware/oxlint-config": "^0.1.0",
-    "@systemfsoftware/stryker-js-platform-node": "^0.2.0",
     "@systemfsoftware/tsconfig": "^1.3.3",
-    "@systemfsoftware/vitest-config": "^0.1.0"
+    "@systemfsoftware/vitest-config": "^0.1.0",
+    "@systemfsoftware/oxlint-config": "^0.1.0",
+    "@systemfsoftware/effect-schema-vite": "^2.0.2"
   },
   "inlinedDependencies": {
     "@jsr/std__jsonc": "1.0.2"