@effected/yaml 0.7.0 → 0.8.0

package/internal/rules/key-duplicates.js

@@ -0,0 +1,49 @@
+import { YamlMap, YamlScalar, YamlSeq } from "../../YamlNode.js";
+import { keyIdentity } from "../composer/block.js";
+import { YamlLintDiagnostic, YamlLintSeverity } from "../../YamlLintRule.js";
+import { positionAt } from "./util.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/key-duplicates.ts
+/** Options for `key-duplicates` (severity only — duplicates are duplicates). */
+const keyDuplicatesOptions = Schema.Struct({ severity: Schema.optionalKey(YamlLintSeverity) });
+const walk = (node, text, out, ctx) => {
+	if (node === null) return;
+	if (node instanceof YamlMap) {
+		const seen = /* @__PURE__ */ new Set();
+		for (const pair of node.items) {
+			if (pair.key instanceof YamlScalar) {
+				const id = keyIdentity(pair.key, text);
+				if (seen.has(id)) {
+					const pos = positionAt(ctx.lines, pair.key.offset);
+					out.push(new YamlLintDiagnostic({
+						rule: "key-duplicates",
+						severity: "error",
+						message: `Duplicate key: ${String(pair.key.value)}`,
+						offset: pair.key.offset,
+						length: pair.key.length,
+						line: pos.line,
+						character: pos.character
+					}));
+				}
+				seen.add(id);
+			}
+			walk(pair.key, text, out, ctx);
+			walk(pair.value, text, out, ctx);
+		}
+		return;
+	}
+	if (node instanceof YamlSeq) for (const item of node.items) walk(item, text, out, ctx);
+};
+/** Duplicate mapping keys anywhere in the document. */
+const keyDuplicates = {
+	id: "key-duplicates",
+	check: (ctx) => {
+		const out = [];
+		walk(ctx.document.contents, ctx.text, out, ctx);
+		return out;
+	}
+};
+
+//#endregion
+export { keyDuplicates, keyDuplicatesOptions };

package/internal/rules/line-length.js

@@ -0,0 +1,36 @@
+import { YamlLintDiagnostic, YamlLintSeverity } from "../../YamlLintRule.js";
+import { nonNegativeIntegerOption } from "./util.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/line-length.ts
+/**
+* Options for `line-length`. `max` defaults to 120 — the kit-native line
+* width (the yamllint id is recognizable; the option surface and defaults
+* are ours).
+*/
+const lineLengthOptions = Schema.Struct({
+	severity: Schema.optionalKey(YamlLintSeverity),
+	max: Schema.optionalKey(nonNegativeIntegerOption)
+});
+const DEFAULT_MAX = 120;
+/** Lines longer than the configured maximum. */
+const lineLength = {
+	id: "line-length",
+	check: (ctx, options) => {
+		const max = options?.max ?? DEFAULT_MAX;
+		const out = [];
+		for (const line of ctx.lines) if (line.text.length > max) out.push(new YamlLintDiagnostic({
+			rule: "line-length",
+			severity: "error",
+			message: `Line is longer than ${max} characters (${line.text.length})`,
+			offset: line.offset + max,
+			length: line.text.length - max,
+			line: line.number,
+			character: max
+		}));
+		return out;
+	}
+};
+
+//#endregion
+export { lineLength, lineLengthOptions };

package/internal/rules/parse-validity.js

@@ -0,0 +1,33 @@
+import { YamlLintDiagnostic } from "../../YamlLintRule.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/parse-validity.ts
+/**
+* parse-validity accepts no options; the config layer additionally rejects
+* any attempt to set a severity or `"off"` on this rule.
+*/
+const parseValidityOptions = Schema.Struct({});
+/** The always-on parse-validity rule. */
+const parseValidity = {
+	id: "parse-validity",
+	check: (ctx) => [...ctx.document.errors.map((d) => new YamlLintDiagnostic({
+		rule: "parse-validity",
+		severity: "error",
+		message: d.message,
+		offset: d.offset,
+		length: d.length,
+		line: d.line,
+		character: d.character
+	})), ...ctx.document.warnings.map((d) => new YamlLintDiagnostic({
+		rule: "parse-validity",
+		severity: "warning",
+		message: d.message,
+		offset: d.offset,
+		length: d.length,
+		line: d.line,
+		character: d.character
+	}))]
+};
+
+//#endregion
+export { parseValidity, parseValidityOptions };

package/internal/rules/quoted-strings.js

@@ -0,0 +1,81 @@
+import { YamlEdit } from "../../YamlEdit.js";
+import { YamlLintDiagnostic, YamlLintSeverity } from "../../YamlLintRule.js";
+import { positionAt, walkScalars } from "./util.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/quoted-strings.ts
+/**
+* Options for `quoted-strings`: the preferred `quoteType` (default
+* `"double"`) and whether plain string scalars are `required` to be quoted
+* at all (default `false` — only already-quoted scalars are policed).
+*/
+const quotedStringsOptions = Schema.Struct({
+	severity: Schema.optionalKey(YamlLintSeverity),
+	quoteType: Schema.optionalKey(Schema.Literals(["single", "double"])),
+	required: Schema.optionalKey(Schema.Boolean)
+});
+/** A value-preserving requote/wrap edit, or undefined when none is safe. */
+const safeQuoteFix = (ctx, scalar, quote) => {
+	if (scalar.tag !== void 0 || scalar.anchor !== void 0) return void 0;
+	if (typeof scalar.value !== "string") return void 0;
+	const raw = ctx.text.slice(scalar.offset, scalar.offset + scalar.length);
+	if (raw.includes("\n")) return void 0;
+	const inner = scalar.style === "plain" ? raw : raw.slice(1, -1);
+	if (inner !== scalar.value) return void 0;
+	if (inner.includes(quote)) return void 0;
+	if (quote === "\"" && inner.includes("\\")) return void 0;
+	return YamlEdit.make({
+		offset: scalar.offset,
+		length: scalar.length,
+		content: `${quote}${inner}${quote}`
+	});
+};
+/** Quote-style policy for string value scalars. */
+const quotedStrings = {
+	id: "quoted-strings",
+	check: (ctx, options) => {
+		const opts = options ?? {};
+		const quoteType = opts.quoteType ?? "double";
+		const required = opts.required ?? false;
+		const quote = quoteType === "double" ? "\"" : "'";
+		const wrongStyle = quoteType === "double" ? "single-quoted" : "double-quoted";
+		const out = [];
+		walkScalars(ctx.document.contents, "root", (scalar, role) => {
+			if (role === "key") return;
+			if (typeof scalar.value !== "string") return;
+			if (scalar.style === wrongStyle) {
+				const fix = safeQuoteFix(ctx, scalar, quote);
+				const pos = positionAt(ctx.lines, scalar.offset);
+				out.push(new YamlLintDiagnostic({
+					rule: "quoted-strings",
+					severity: "error",
+					message: `String should use ${quoteType} quotes`,
+					offset: scalar.offset,
+					length: scalar.length,
+					line: pos.line,
+					character: pos.character,
+					...fix !== void 0 ? { fix } : {}
+				}));
+				return;
+			}
+			if (required && scalar.style === "plain" && scalar.length > 0) {
+				const fix = safeQuoteFix(ctx, scalar, quote);
+				const pos = positionAt(ctx.lines, scalar.offset);
+				out.push(new YamlLintDiagnostic({
+					rule: "quoted-strings",
+					severity: "error",
+					message: `String should be quoted (${quoteType})`,
+					offset: scalar.offset,
+					length: scalar.length,
+					line: pos.line,
+					character: pos.character,
+					...fix !== void 0 ? { fix } : {}
+				}));
+			}
+		});
+		return out;
+	}
+};
+
+//#endregion
+export { quotedStrings, quotedStringsOptions };

package/internal/rules/trailing-spaces.js

@@ -0,0 +1,39 @@
+import { YamlEdit } from "../../YamlEdit.js";
+import { YamlLintDiagnostic, YamlLintSeverity } from "../../YamlLintRule.js";
+import { insideScalarSpan } from "./util.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/trailing-spaces.ts
+/** Options for `trailing-spaces` (severity only — nothing to tune). */
+const trailingSpacesOptions = Schema.Struct({ severity: Schema.optionalKey(YamlLintSeverity) });
+/** Trailing spaces or tabs at the end of a line, with a deleting fix. */
+const trailingSpaces = {
+	id: "trailing-spaces",
+	check: (ctx) => {
+		const out = [];
+		for (const line of ctx.lines) {
+			const match = /[ \t]+$/.exec(line.text);
+			if (match === null) continue;
+			const runOffset = line.offset + match.index;
+			if (insideScalarSpan(ctx.tokens, runOffset)) continue;
+			out.push(new YamlLintDiagnostic({
+				rule: "trailing-spaces",
+				severity: "error",
+				message: "Trailing whitespace",
+				offset: runOffset,
+				length: match[0].length,
+				line: line.number,
+				character: match.index,
+				fix: YamlEdit.make({
+					offset: runOffset,
+					length: match[0].length,
+					content: ""
+				})
+			}));
+		}
+		return out;
+	}
+};
+
+//#endregion
+export { trailingSpaces, trailingSpacesOptions };

package/internal/rules/truthy.js

@@ -0,0 +1,84 @@
+import { YamlEdit } from "../../YamlEdit.js";
+import { YamlLintDiagnostic, YamlLintSeverity } from "../../YamlLintRule.js";
+import { positionAt, walkScalars } from "./util.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/truthy.ts
+/**
+* Options for `truthy`: the `allowed` boolean spellings (default
+* `["true", "false"]`) and whether mapping keys are checked (`checkKeys`,
+* default `true` — the workflow `on:` key is the point).
+*/
+const truthyOptions = Schema.Struct({
+	severity: Schema.optionalKey(YamlLintSeverity),
+	allowed: Schema.optionalKey(Schema.Array(Schema.String)),
+	checkKeys: Schema.optionalKey(Schema.Boolean)
+});
+/** The YAML 1.1 boolean family, per spelling case the 1.1 grammar admits. */
+const TRUTHY = /* @__PURE__ */ new Set([
+	"yes",
+	"Yes",
+	"YES",
+	"no",
+	"No",
+	"NO",
+	"on",
+	"On",
+	"ON",
+	"off",
+	"Off",
+	"OFF",
+	"true",
+	"True",
+	"TRUE",
+	"false",
+	"False",
+	"FALSE"
+]);
+const TRUE_SET = /* @__PURE__ */ new Set([
+	"yes",
+	"on",
+	"true"
+]);
+/** YAML 1.1 truthy spellings outside the allowed list. */
+const truthy = {
+	id: "truthy",
+	check: (ctx, options) => {
+		const opts = options ?? {};
+		const allowed = new Set(opts.allowed ?? ["true", "false"]);
+		const checkKeys = opts.checkKeys ?? true;
+		const out = [];
+		walkScalars(ctx.document.contents, "root", (scalar, role) => {
+			if (role === "key" && !checkKeys) return;
+			if (scalar.style !== "plain" || scalar.tag !== void 0) return;
+			const raw = ctx.text.slice(scalar.offset, scalar.offset + scalar.length);
+			if (!TRUTHY.has(raw) || allowed.has(raw)) return;
+			const pos = positionAt(ctx.lines, scalar.offset);
+			const isBool = typeof scalar.value === "boolean";
+			const respell = TRUE_SET.has(raw.toLowerCase()) ? "true" : "false";
+			const fix = isBool ? allowed.has(respell) ? YamlEdit.make({
+				offset: scalar.offset,
+				length: scalar.length,
+				content: respell
+			}) : void 0 : YamlEdit.make({
+				offset: scalar.offset,
+				length: scalar.length,
+				content: `"${raw}"`
+			});
+			out.push(new YamlLintDiagnostic({
+				rule: "truthy",
+				severity: "error",
+				message: `Truthy value "${raw}" is not in the allowed spellings`,
+				offset: scalar.offset,
+				length: scalar.length,
+				line: pos.line,
+				character: pos.character,
+				...fix !== void 0 ? { fix } : {}
+			}));
+		});
+		return out;
+	}
+};
+
+//#endregion
+export { truthy, truthyOptions };

package/internal/rules/util.js

@@ -0,0 +1,92 @@
+import { YamlMap, YamlScalar, YamlSeq } from "../../YamlNode.js";
+import { Schema } from "effect";
+
+//#region src/internal/rules/util.ts
+/**
+* A non-negative integer — the shape every numeric rule option takes.
+* Rejects NaN, negatives and fractions with a message naming the constraint;
+* the config layer's wrapper names the rule and the field.
+*/
+const nonNegativeIntegerOption = Schema.Number.check(Schema.makeFilter((n) => Number.isInteger(n) && n >= 0 ? void 0 : "Expected a non-negative integer"));
+/**
+* A positive integer — for the `maxSpacesAfter` options, where `0` would make
+* the fix delete the separation space after an indicator and fuse it with its
+* content (`- item` → `-item`, `a: val` → `a:val` — different tokens, not a
+* spacing change).
+*/
+const positiveIntegerOption = Schema.Number.check(Schema.makeFilter((n) => Number.isInteger(n) && n >= 1 ? void 0 : "Expected an integer greater than or equal to 1"));
+/** Depth-first walk over every scalar node with its structural role. */
+function walkScalars(node, role, visit) {
+	if (node === null) return;
+	if (node instanceof YamlScalar) {
+		visit(node, role);
+		return;
+	}
+	if (node instanceof YamlMap) {
+		for (const pair of node.items) {
+			walkScalars(pair.key, "key", visit);
+			walkScalars(pair.value, "value", visit);
+		}
+		return;
+	}
+	if (node instanceof YamlSeq) for (const item of node.items) walkScalars(item, "item", visit);
+}
+/**
+* True when the first content of a line is the CONTINUATION of a scalar
+* token that began on an earlier line — block-scalar bodies and multi-line
+* plain/quoted scalars. The indentation rule skips such lines: their layout
+* is the value's, not block structure's.
+*/
+function isScalarContinuationLine(tokens, lineOffset, probeOffset) {
+	const token = coveringToken(tokens, probeOffset);
+	return token !== void 0 && token.kind === "scalar" && token.offset < lineOffset;
+}
+/** The token whose span covers `offset`, when one does. */
+function coveringToken(tokens, offset) {
+	let lo = 0;
+	let hi = tokens.length - 1;
+	while (lo <= hi) {
+		const mid = lo + hi >> 1;
+		const token = tokens[mid];
+		if (offset < token.offset) hi = mid - 1;
+		else if (offset >= token.offset + token.length) lo = mid + 1;
+		else return token;
+	}
+}
+/**
+* True when `offset` falls inside a scalar token's span. Layout rules use
+* this to stay off scalar CONTENT — trailing whitespace or blank lines
+* inside a block scalar are part of the parsed value, and a lint layer that
+* edits content under the banner of layout is corrupting, not fixing.
+*/
+function insideScalarSpan(tokens, offset) {
+	return coveringToken(tokens, offset)?.kind === "scalar";
+}
+/**
+* The line containing `offset` and the character index within it — a binary
+* search over the ordered `LintLine` array (lines are ordered by `offset`,
+* the same invariant {@link coveringToken} rests on for tokens).
+*/
+function positionAt(lines, offset) {
+	let lo = 0;
+	let hi = lines.length - 1;
+	let found;
+	while (lo <= hi) {
+		const mid = lo + hi >> 1;
+		const line = lines[mid];
+		if (line.offset <= offset) {
+			found = line;
+			lo = mid + 1;
+		} else hi = mid - 1;
+	}
+	return found === void 0 ? {
+		line: 0,
+		character: 0
+	} : {
+		line: found.number,
+		character: offset - found.offset
+	};
+}
+
+//#endregion
+export { coveringToken, insideScalarSpan, isScalarContinuationLine, nonNegativeIntegerOption, positionAt, positiveIntegerOption, walkScalars };