Function makePathFilter

packages/computer/src/git/diff.ts:264–277

(paths: string[] | undefined)

}

function makePathFilter(paths: string[] | undefined): (p: string) => boolean {
  if (paths === undefined || paths.length === 0) return () => true;
  // Match either an exact path or a directory prefix. Globs are
  // not supported on this surface; the docs call this out
  // explicitly under the `diff` command reference.
  const exact = new Set(paths.map((p) => normalizePath(p)));
  const prefixes = [...exact].map((p) => `${p}/`);
  return (candidate) => {
    const c = normalizePath(candidate);
    if (exact.has(c)) return true;
    for (const prefix of prefixes) if (c.startsWith(prefix)) return true;
    return false;
  };
}

function normalizePath(p: string): string {
  // Drop leading './' and trailing '/'.