@qualety/typescript 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 NavehBrenner
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/exhaustive-switch.d.ts

@@ -0,0 +1,8 @@
+import { type RuleContext } from "qualety";
+export declare const exhaustiveSwitch: {
+    meta: import("qualety").RuleMeta & {
+        requires?: readonly ["typescript"] | undefined;
+    };
+    create(context: RuleContext<readonly ["typescript"]>): void | import("qualety").RuleListener;
+};
+//# sourceMappingURL=exhaustive-switch.d.ts.map

package/dist/exhaustive-switch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exhaustive-switch.d.ts","sourceRoot":"","sources":["../src/exhaustive-switch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,SAAS,CAAC;AAOvD,eAAO,MAAM,gBAAgB;;;;;CAkB3B,CAAC"}

package/dist/exhaustive-switch.js

@@ -0,0 +1,198 @@
+import { defineRule } from "qualety";
+import { Node, SyntaxKind } from "ts-morph";
+import { isFunctionLike } from "./parse-flow.js";
+import { reportAt, walkTsSources } from "./ts-source.js";
+const HINT = "Add the missing case(s) or `const _exhaustive: never = …`.";
+export const exhaustiveSwitch = defineRule({
+    meta: {
+        requires: ["typescript"],
+        docs: {
+            description: "Switch on a finite union or enum must handle every member or use a never-typed default.",
+        },
+    },
+    create(context) {
+        const artifact = context.getArtifact("typescript");
+        walkTsSources(artifact.sources, (unit, file) => {
+            for (const node of unit.getDescendantsOfKind(SyntaxKind.SwitchStatement)) {
+                if (Node.isSwitchStatement(node)) {
+                    considerSwitch(node, file, context);
+                }
+            }
+        });
+    },
+});
+function considerSwitch(stmt, file, context) {
+    if (!Node.isSwitchStatement(stmt)) {
+        return;
+    }
+    const units = finiteUnits(stmt.getExpression().getType());
+    if (units === undefined) {
+        return;
+    }
+    const remaining = uncoveredUnits(stmt, units);
+    if (remaining === undefined || remaining.length === 0) {
+        return;
+    }
+    const names = remaining
+        .map((type) => type.getText())
+        .filter((text) => text.length <= 40 && !text.includes("import("));
+    const listed = names.length > 0 ? names.join(", ") : "union members";
+    reportAt(context, file, stmt.getExpression(), `Switch is missing case(s) ${listed}.`, HINT);
+}
+function uncoveredUnits(stmt, units) {
+    if (!Node.isSwitchStatement(stmt)) {
+        return units;
+    }
+    const remaining = [...units];
+    for (const clause of stmt.getCaseBlock().getClauses()) {
+        if (Node.isDefaultClause(clause)) {
+            if (hasExhaustiveDefault(clause)) {
+                return undefined;
+            }
+            continue;
+        }
+        if (Node.isCaseClause(clause)) {
+            dropCovered(remaining, clause.getExpression().getType());
+        }
+    }
+    return remaining;
+}
+function dropCovered(remaining, caseType) {
+    for (let index = remaining.length - 1; index >= 0; index -= 1) {
+        const member = remaining[index];
+        if (member !== undefined && sameUnit(caseType, member)) {
+            remaining.splice(index, 1);
+        }
+    }
+}
+function finiteUnits(type) {
+    if (type.isAny() || type.isUnknown() || type.getText() === "error") {
+        return undefined;
+    }
+    const parts = type.isUnion() ? type.getUnionTypes() : [type];
+    const units = [];
+    for (const part of parts) {
+        if (part.isNever()) {
+            continue;
+        }
+        if (part.isEnum()) {
+            const members = enumMemberTypes(part);
+            if (members === undefined) {
+                return undefined;
+            }
+            units.push(...members);
+            continue;
+        }
+        if (!(part.isStringLiteral() ||
+            part.isNumberLiteral() ||
+            part.isBooleanLiteral() ||
+            part.isNull() ||
+            part.isUndefined() ||
+            part.isEnumLiteral())) {
+            return undefined;
+        }
+        units.push(part);
+    }
+    if (units.length === 0) {
+        return undefined;
+    }
+    return units;
+}
+function enumMemberTypes(type) {
+    const symbol = type.getSymbol();
+    if (symbol === undefined) {
+        return undefined;
+    }
+    const members = [];
+    for (const exported of symbol.getExports()) {
+        const decl = exported.getDeclarations()[0];
+        if (decl === undefined || !Node.isEnumMember(decl)) {
+            continue;
+        }
+        members.push(decl.getType());
+    }
+    if (members.length === 0) {
+        return undefined;
+    }
+    return members;
+}
+function sameUnit(left, right) {
+    if (left.getText() === right.getText()) {
+        return true;
+    }
+    if (left.isAssignableTo(right) && right.isAssignableTo(left)) {
+        return true;
+    }
+    const leftValue = unitValue(left);
+    const rightValue = unitValue(right);
+    return leftValue !== undefined && leftValue === rightValue;
+}
+function unitValue(type) {
+    if (type.isNull()) {
+        return "null";
+    }
+    if (type.isUndefined()) {
+        return "undefined";
+    }
+    if (type.isBooleanLiteral()) {
+        return type.getText();
+    }
+    if (type.isNumberLiteral()) {
+        return `v:${type.getText()}`;
+    }
+    if (type.isStringLiteral()) {
+        return unquote(type.getText());
+    }
+    return enumMemberValue(type);
+}
+function unquote(text) {
+    if (text.startsWith('"') || text.startsWith("'")) {
+        if (text.endsWith('"') || text.endsWith("'")) {
+            return text.slice(1, -1);
+        }
+    }
+    return text;
+}
+function enumMemberValue(type) {
+    const decl = type.getSymbol()?.getDeclarations()[0];
+    if (decl === undefined || !Node.isEnumMember(decl)) {
+        return undefined;
+    }
+    const value = decl.getValue();
+    if (typeof value === "number") {
+        return `v:${value}`;
+    }
+    if (typeof value === "string") {
+        return value;
+    }
+    return undefined;
+}
+function hasExhaustiveDefault(clause) {
+    for (const node of clause.getDescendants()) {
+        if (nestedInFunction(node, clause)) {
+            continue;
+        }
+        if (Node.isVariableDeclaration(node) && node.getTypeNode()?.getText().trim() === "never") {
+            return true;
+        }
+        if (Node.isReturnStatement(node)) {
+            const expr = node.getExpression();
+            if (expr !== undefined &&
+                (expr.getType().isNever() || expr.getType().getText() === "never")) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+function nestedInFunction(node, root) {
+    let current = node.getParent();
+    while (current !== undefined && current !== root) {
+        if (isFunctionLike(current)) {
+            return true;
+        }
+        current = current.getParent();
+    }
+    return false;
+}
+//# sourceMappingURL=exhaustive-switch.js.map

package/dist/exhaustive-switch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exhaustive-switch.js","sourceRoot":"","sources":["../src/exhaustive-switch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAoB,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAa,MAAM,UAAU,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEzD,MAAM,IAAI,GAAG,4DAA4D,CAAC;AAE1E,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,IAAI,EAAE;QACJ,QAAQ,EAAE,CAAC,YAAY,CAAC;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,yFAAyF;SAC5F;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QACnD,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;YAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;gBACzE,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,cAAc,CAAC,IAAU,EAAE,IAAY,EAAE,OAAoC;IACpF,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,SAAS;SACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;SAC7B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,6BAA6B,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,KAAa;IAC/C,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,SAAiB,EAAE,QAAc;IACpD,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;YACvD,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,OAAO,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IACE,CAAC,CACC,IAAI,CAAC,eAAe,EAAE;YACtB,IAAI,CAAC,eAAe,EAAE;YACtB,IAAI,CAAC,gBAAgB,EAAE;YACvB,IAAI,CAAC,MAAM,EAAE;YACb,IAAI,CAAC,WAAW,EAAE;YAClB,IAAI,CAAC,aAAa,EAAE,CACrB,EACD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,IAAU;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAW,EAAE,CAAC;IAC3B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU,EAAE,KAAW;IACvC,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAU;IAC3B,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC3B,OAAO,KAAK,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC3B,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,IAAU;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,KAAK,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAY;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC3C,IAAI,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;YACzF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YAClC,IACE,IAAI,KAAK,SAAS;gBAClB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,KAAK,OAAO,CAAC,EAClE,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAU,EAAE,IAAU;IAC9C,IAAI,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAC/B,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACjD,IAAI,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/explicit-public-return-types.d.ts

@@ -0,0 +1,8 @@
+import { type RuleContext } from "qualety";
+export declare const explicitPublicReturnTypes: {
+    meta: import("qualety").RuleMeta & {
+        requires?: readonly ["typescript"] | undefined;
+    };
+    create(context: RuleContext<readonly ["typescript"]>): void | import("qualety").RuleListener;
+};
+//# sourceMappingURL=explicit-public-return-types.d.ts.map

package/dist/explicit-public-return-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-public-return-types.d.ts","sourceRoot":"","sources":["../src/explicit-public-return-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,SAAS,CAAC;AAMvD,eAAO,MAAM,yBAAyB;;;;;CAiBpC,CAAC"}

package/dist/explicit-public-return-types.js

@@ -0,0 +1,123 @@
+import { defineRule } from "qualety";
+import { Node, SyntaxKind } from "ts-morph";
+import { unwrapParens } from "./narrowing.js";
+import { isFunctionLike } from "./parse-flow.js";
+import { reportAt, walkTsSources } from "./ts-source.js";
+export const explicitPublicReturnTypes = defineRule({
+    meta: {
+        requires: ["typescript"],
+        docs: {
+            description: "Exported functions and public class methods must have an explicit return type.",
+        },
+    },
+    create(context) {
+        const artifact = context.getArtifact("typescript");
+        walkTsSources(artifact.sources, (unit, file) => {
+            for (const stmt of unit.getStatements()) {
+                if (stmt.getPos() >= 0) {
+                    considerStatement(stmt, file, context);
+                }
+            }
+        });
+    },
+});
+function considerStatement(stmt, file, context) {
+    if (considerExportedFunction(stmt, file, context) || considerExportedVars(stmt, file, context)) {
+        return;
+    }
+    if (Node.isClassDeclaration(stmt) && stmt.hasExportKeyword() && !stmt.hasDeclareKeyword()) {
+        considerClass(stmt, stmt.getName() ?? "default", file, context);
+        return;
+    }
+    if (Node.isExportAssignment(stmt) && !stmt.isExportEquals()) {
+        const expr = unwrapParens(stmt.getExpression());
+        if (isFunctionLike(expr)) {
+            considerFn(expr, "default", file, context);
+        }
+    }
+}
+function considerExportedFunction(stmt, file, context) {
+    if (Node.isFunctionDeclaration(stmt)) {
+        if (stmt.hasExportKeyword() && !stmt.hasDeclareKeyword()) {
+            const name = stmt.isDefaultExport() ? "default" : (stmt.getName() ?? "default");
+            considerFn(stmt, name, file, context);
+            return true;
+        }
+    }
+    return false;
+}
+function considerExportedVars(stmt, file, context) {
+    if (Node.isVariableStatement(stmt)) {
+        if (stmt.hasExportKeyword()) {
+            for (const decl of stmt.getDeclarations()) {
+                considerVar(decl, file, context);
+            }
+            return true;
+        }
+    }
+    return false;
+}
+function considerVar(decl, file, context) {
+    const init = decl.getInitializer();
+    if (init === undefined) {
+        return;
+    }
+    const expr = unwrapParens(init);
+    if (!isFunctionLike(expr)) {
+        return;
+    }
+    if (decl.getTypeNode() !== undefined && decl.getType().getCallSignatures().length > 0) {
+        return;
+    }
+    considerFn(expr, decl.getName(), file, context);
+}
+function considerClass(stmt, className, file, context) {
+    if (!Node.isClassDeclaration(stmt)) {
+        return;
+    }
+    for (const member of stmt.getMembers()) {
+        if (Node.isMethodDeclaration(member) && publicMember(member)) {
+            considerFn(member, `${className}.${member.getName()}`, file, context);
+        }
+        if (Node.isGetAccessorDeclaration(member) && publicMember(member)) {
+            considerGetter(member, `${className}.${member.getName()}`, file, context);
+        }
+    }
+}
+function publicMember(member) {
+    if (!Node.isMethodDeclaration(member) && !Node.isGetAccessorDeclaration(member)) {
+        return false;
+    }
+    if (member.hasModifier(SyntaxKind.PrivateKeyword) ||
+        member.hasModifier(SyntaxKind.ProtectedKeyword)) {
+        return false;
+    }
+    return !Node.isPrivateIdentifier(member.getNameNode());
+}
+function considerFn(fn, name, file, context) {
+    if (fn.getReturnTypeNode() !== undefined) {
+        return;
+    }
+    const at = Node.isFunctionDeclaration(fn) || Node.isMethodDeclaration(fn) || Node.isFunctionExpression(fn)
+        ? (fn.getNameNode() ?? fn)
+        : fn;
+    reportAt(context, file, at, `Public export "${name}" is missing an explicit return type.`, returnHint(fn));
+}
+function considerGetter(getter, name, file, context) {
+    if (getter.getReturnTypeNode() !== undefined) {
+        return;
+    }
+    reportAt(context, file, getter.getNameNode() ?? getter, `Public export "${name}" is missing an explicit return type.`, returnHint(getter));
+}
+function returnHint(fn) {
+    const text = fn.getReturnType().getText();
+    if (text === "error" ||
+        text === "any" ||
+        text === "unknown" ||
+        text.length > 40 ||
+        text.includes("import(")) {
+        return "Add an explicit return type annotation.";
+    }
+    return `Add an explicit return type (e.g. ): ${text}).`;
+}
+//# sourceMappingURL=explicit-public-return-types.js.map

package/dist/explicit-public-return-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-public-return-types.js","sourceRoot":"","sources":["../src/explicit-public-return-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAoB,MAAM,SAAS,CAAC;AACvD,OAAO,EAA+B,IAAI,EAAE,UAAU,EAA4B,MAAM,UAAU,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAqB,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEzD,MAAM,CAAC,MAAM,yBAAyB,GAAG,UAAU,CAAC;IAClD,IAAI,EAAE;QACJ,QAAQ,EAAE,CAAC,YAAY,CAAC;QACxB,IAAI,EAAE;YACJ,WAAW,EAAE,gFAAgF;SAC9F;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QACnD,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;YAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACvB,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,iBAAiB,CAAC,IAAU,EAAE,IAAY,EAAE,OAAoC;IACvF,IAAI,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/F,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;QAC1F,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QAChD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAU,EACV,IAAY,EACZ,OAAoC;IAEpC,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,SAAS,CAAC,CAAC;YAChF,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAU,EACV,IAAY,EACZ,OAAoC;IAEpC,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;gBAC1C,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,IAAyB,EACzB,IAAY,EACZ,OAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtF,OAAO;IACT,CAAC;IACD,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CACpB,IAAU,EACV,SAAiB,EACjB,IAAY,EACZ,OAAoC;IAEpC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;IACT,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,UAAU,CAAC,MAAM,EAAE,GAAG,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAClE,cAAc,CAAC,MAAM,EAAE,GAAG,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAY;IAChC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CACjB,EAAgB,EAChB,IAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,IAAI,EAAE,CAAC,iBAAiB,EAAE,KAAK,SAAS,EAAE,CAAC;QACzC,OAAO;IACT,CAAC;IACD,MAAM,EAAE,GACN,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC7F,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC;QAC1B,CAAC,CAAC,EAAE,CAAC;IACT,QAAQ,CACN,OAAO,EACP,IAAI,EACJ,EAAE,EACF,kBAAkB,IAAI,uCAAuC,EAC7D,UAAU,CAAC,EAAE,CAAC,CACf,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,MAA8B,EAC9B,IAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,IAAI,MAAM,CAAC,iBAAiB,EAAE,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO;IACT,CAAC;IACD,QAAQ,CACN,OAAO,EACP,IAAI,EACJ,MAAM,CAAC,WAAW,EAAE,IAAI,MAAM,EAC9B,kBAAkB,IAAI,uCAAuC,EAC7D,UAAU,CAAC,MAAM,CAAC,CACnB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,EAAyC;IAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;IAC1C,IACE,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,MAAM,GAAG,EAAE;QAChB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EACxB,CAAC;QACD,OAAO,yCAAyC,CAAC;IACnD,CAAC;IACD,OAAO,wCAAwC,IAAI,IAAI,CAAC;AAC1D,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+import type { Plugin } from "qualety";
+declare const plugin: Plugin;
+export default plugin;
+export { plugin };
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAgBtC,QAAA,MAAM,MAAM,EAAE,MAoDb,CAAC;eAEa,MAAM;AACrB,OAAO,EAAE,MAAM,EAAE,CAAC"}

package/dist/index.js

@@ -0,0 +1,70 @@
+import { exhaustiveSwitch } from "./exhaustive-switch.js";
+import { explicitPublicReturnTypes } from "./explicit-public-return-types.js";
+import { noConstantCondition } from "./no-constant-condition.js";
+import { noEmptyCatch } from "./no-empty-catch.js";
+import { noExportStar } from "./no-export-star.js";
+import { noFloatingPromises } from "./no-floating-promises.js";
+import { noMisusedPromises } from "./no-misused-promises.js";
+import { noNonNullAssertion } from "./no-non-null-assertion.js";
+import { noPublicAny } from "./no-public-any.js";
+import { noUnnecessaryAbstraction } from "./no-unnecessary-abstraction.js";
+import { noUnsafeAssertion } from "./no-unsafe-assertion.js";
+import { publicExportsTested } from "./public-exports-tested.js";
+import { typeNarrowingChecks } from "./type-narrowing-checks.js";
+import { zodBoundary } from "./zod-boundary.js";
+const plugin = {
+    name: "ts",
+    rules: {
+        "exhaustive-switch": exhaustiveSwitch,
+        "explicit-public-return-types": explicitPublicReturnTypes,
+        "no-constant-condition": noConstantCondition,
+        "no-empty-catch": noEmptyCatch,
+        "no-export-star": noExportStar,
+        "no-floating-promises": noFloatingPromises,
+        "no-misused-promises": noMisusedPromises,
+        "no-non-null-assertion": noNonNullAssertion,
+        "no-public-any": noPublicAny,
+        "no-unnecessary-abstraction": noUnnecessaryAbstraction,
+        "no-unsafe-assertion": noUnsafeAssertion,
+        "public-exports-tested": publicExportsTested,
+        "type-narrowing-checks": typeNarrowingChecks,
+        "zod-boundary": zodBoundary,
+    },
+    configs: {
+        recommended: {
+            rules: {
+                "ts/exhaustive-switch": "error",
+                "ts/explicit-public-return-types": "error",
+                "ts/no-constant-condition": "error",
+                "ts/no-empty-catch": "error",
+                "ts/no-export-star": "error",
+                "ts/no-floating-promises": "error",
+                "ts/no-misused-promises": "error",
+                "ts/no-non-null-assertion": "error",
+                "ts/no-public-any": "error",
+                "ts/no-unnecessary-abstraction": "error",
+                "ts/no-unsafe-assertion": "error",
+                "ts/public-exports-tested": "error",
+                "ts/type-narrowing-checks": "error",
+                "ts/zod-boundary": "error",
+            },
+        },
+    },
+    biome: {
+        rules: {
+            "nursery/noUnsafeTypeAssertion": "error",
+            "complexity/noExcessiveCognitiveComplexity": ["error", { maxAllowedComplexity: 15 }],
+            "suspicious/noExplicitAny": "error",
+            "style/noNonNullAssertion": "error",
+            "suspicious/noTsIgnore": "error",
+            "complexity/noBannedTypes": "error",
+            "suspicious/noFocusedTests": "error",
+            "correctness/noUnusedFunctionParameters": "error",
+            "style/useThrowOnlyError": "error",
+            "nursery/noImpliedEval": "error",
+        },
+    },
+};
+export default plugin;
+export { plugin };
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,GAAW;IACrB,IAAI,EAAE,IAAI;IACV,KAAK,EAAE;QACL,mBAAmB,EAAE,gBAAgB;QACrC,8BAA8B,EAAE,yBAAyB;QACzD,uBAAuB,EAAE,mBAAmB;QAC5C,gBAAgB,EAAE,YAAY;QAC9B,gBAAgB,EAAE,YAAY;QAC9B,sBAAsB,EAAE,kBAAkB;QAC1C,qBAAqB,EAAE,iBAAiB;QACxC,uBAAuB,EAAE,kBAAkB;QAC3C,eAAe,EAAE,WAAW;QAC5B,4BAA4B,EAAE,wBAAwB;QACtD,qBAAqB,EAAE,iBAAiB;QACxC,uBAAuB,EAAE,mBAAmB;QAC5C,uBAAuB,EAAE,mBAAmB;QAC5C,cAAc,EAAE,WAAW;KAC5B;IACD,OAAO,EAAE;QACP,WAAW,EAAE;YACX,KAAK,EAAE;gBACL,sBAAsB,EAAE,OAAO;gBAC/B,iCAAiC,EAAE,OAAO;gBAC1C,0BAA0B,EAAE,OAAO;gBACnC,mBAAmB,EAAE,OAAO;gBAC5B,mBAAmB,EAAE,OAAO;gBAC5B,yBAAyB,EAAE,OAAO;gBAClC,wBAAwB,EAAE,OAAO;gBACjC,0BAA0B,EAAE,OAAO;gBACnC,kBAAkB,EAAE,OAAO;gBAC3B,+BAA+B,EAAE,OAAO;gBACxC,wBAAwB,EAAE,OAAO;gBACjC,0BAA0B,EAAE,OAAO;gBACnC,0BAA0B,EAAE,OAAO;gBACnC,iBAAiB,EAAE,OAAO;aAC3B;SACF;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,+BAA+B,EAAE,OAAO;YACxC,2CAA2C,EAAE,CAAC,OAAO,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC;YACpF,0BAA0B,EAAE,OAAO;YACnC,0BAA0B,EAAE,OAAO;YACnC,uBAAuB,EAAE,OAAO;YAChC,0BAA0B,EAAE,OAAO;YACnC,2BAA2B,EAAE,OAAO;YACpC,wCAAwC,EAAE,OAAO;YACjD,yBAAyB,EAAE,OAAO;YAClC,uBAAuB,EAAE,OAAO;SACjC;KACF;CACF,CAAC;AAEF,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,MAAM,EAAE,CAAC"}

package/dist/narrowing.d.ts

@@ -0,0 +1,36 @@
+import type { RuleContext } from "qualety";
+import { Node, SourceFile, type Type } from "ts-morph";
+import { type FunctionLike, isFunctionLike } from "./parse-flow.ts";
+export type CheckCandidate = {
+    node: Node;
+    subject: string;
+    kind: "predicate" | "typeof" | "instanceof" | "nullish" | "truthiness" | "nonempty" | "schema-parse";
+};
+export type ConstantHit = {
+    polarity: "true" | "false";
+    reason: "param-type" | "prior-guard" | "call-site" | "literal" | "prior-parse";
+    suggestion: string;
+    reportAt: Node;
+    message?: string;
+};
+export declare function unwrapParens(node: Node): Node;
+export declare function splitNegation(node: Node): {
+    inner: Node;
+    negated: boolean;
+};
+export declare function bindFunctionScan(scan: (fn: FunctionLike, file: string, sourceFile: SourceFile, context: Pick<RuleContext, "report">, reported: Set<string>) => void): (context: RuleContext) => void;
+export declare function classifyCondition(fn: FunctionLike, cond: Node): CheckCandidate | undefined;
+export declare function conditionLeaves(fn: FunctionLike, cond: Node): CheckCandidate[];
+export declare function diagnoseConstant(fn: FunctionLike, cond: Node, sourceFile: SourceFile): ConstantHit | undefined;
+export declare function mixedHitsForCondition(fn: FunctionLike, cond: Node, sourceFile: SourceFile): ConstantHit[];
+export declare function secondParseNodes(fn: FunctionLike): Node[];
+export declare function hasPriorParse(fn: FunctionLike, subject: string, before: number): boolean;
+export declare function isStrictRefinement(before: Type, after: Type): boolean;
+export declare function subjectIdentIn(root: Node, name: string): Node | undefined;
+export declare function conditionNodes(fn: FunctionLike): Node[];
+export declare function truePathRoot(cond: Node): Node | undefined;
+export declare function shouldReportUnchanged(cand: CheckCandidate, before: Type, after: Type): boolean;
+export declare function enclosingFunction(node: Node): FunctionLike | undefined;
+export type { FunctionLike };
+export { isFunctionLike };
+//# sourceMappingURL=narrowing.d.ts.map

package/dist/narrowing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing.d.ts","sourceRoot":"","sources":["../src/narrowing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAEL,IAAI,EACJ,UAAU,EAEV,KAAK,IAAI,EAEV,MAAM,UAAU,CAAC;AAClB,OAAO,EAEL,KAAK,YAAY,EAEjB,cAAc,EAGf,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EACA,WAAW,GACX,QAAQ,GACR,YAAY,GACZ,SAAS,GACT,YAAY,GACZ,UAAU,GACV,cAAc,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IAC3B,MAAM,EAAE,YAAY,GAAG,aAAa,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,CAAC;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAYF,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAM7C;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAW3E;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,CACJ,EAAE,EAAE,YAAY,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EACpC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,KAClB,IAAI,GACR,CAAC,OAAO,EAAE,WAAW,KAAK,IAAI,CAehC;AAED,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,cAAc,GAAG,SAAS,CAG1F;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,cAAc,EAAE,CAe9E;AAgHD,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,YAAY,EAChB,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,UAAU,GACrB,WAAW,GAAG,SAAS,CAgBzB;AAgED,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,YAAY,EAChB,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,UAAU,GACrB,WAAW,EAAE,CAkBf;AA2BD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,EAAE,CAsBzD;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAYxF;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,OAAO,CAKrE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAUzE;AAED,wBAAgB,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,EAAE,CAWvD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAgBzD;AA6FD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,OAAO,CAqB9F;AAkKD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,GAAG,SAAS,CAStE;AA0ND,YAAY,EAAE,YAAY,EAAE,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,CAAC"}