tcmts.cli.semver_checks

Types

Finding type
Level type
Lint type
LintId type
Pair type: A changed definition to check: what its name pointed at before, and now.
Param type

checkPairs (cb: Codebase, pairs: Pair[]) => Finding[]: Check changed definitions: old and new versions of each in one program, compared lint by lint.

FLAGS number
LINTS { definition_removed: { level: "major"; summary: string; why: string; }; definition_renamed: { leve…: Every lint, by id.
callable (checker: Checker, ot: Type, nt: Type, kind: SignatureKind, add: (l: "bin_added" | "bin_removed" | …: How call (or construct) signatures changed, from the side of a caller.
change (lead: string, before: string, after: string) => string: `x: number → bigint`; or, where both read the same, the change is in a type it names.
compare (checker: Checker, p: Pair, o: Symbol, n: Symbol) => Finding[]
fits (checker: Checker, next: Signature, old: Signature) => boolean: Whether every call that fits `old` fits `next` too: arguments it takes, a result old callers can use.
highest (findings: Finding[]) => Level | undefined: The highest level of a set of findings.
levelOf (f: Finding) => Level
params (checker: Checker, s: Signature) => Param[]
properties (checker: Checker, ot: Type, nt: Type, add: (l: "bin_added" | "bin_removed" | "constructor_incompat…: Properties gained, lost and changed, for an object type (or a value of one).
sig (checker: Checker, s: Signature) => string: A signature as it reads: `(xs: number[], n?: number) => string` (type parameters by name, as declared).
typeChanges (checker: Checker, ot: Type, nt: Type, o: Symbol, n: Symbol, add: (l: "bin_added" | "bin_removed" |…: How a type changed: its cases, its properties, or as a whole.