@gjermundgaraba-designs/pixel-paper 0.20.1 → 0.22.0

package/dist/src/lineDiff/lineDiff.d.ts

@@ -11,7 +11,8 @@ export type ViewConfig = Readonly<{
 }>;
 /** Configuration for rendering a unified diff with `patchView`. */
 export type PatchViewConfig = Readonly<{
-    /** One file's unified diff, as `diff -u` or `git diff -- <path>` writes it. */
+    /** One file's unified diff, as `diff -u` or `git diff -- <path>` writes it, its git header
+     *  included. */
     patch: string;
     /** Names the two sides for screen readers: `"Version 3 against version 4"`. */
     label: string;
@@ -23,8 +24,11 @@ export declare const view: <Message>(config: ViewConfig, h: HtmlBuilder<Message>
 /** A unified diff the caller already has (from a server, or `git diff -- <path>`) as `view`'s
  *  table: its hunks' lines, numbered from their headers, and the unchanged lines between hunks
  *  folded into a counted row. Lines past the last hunk are not in the patch, so nothing counts
- *  them. An empty patch says there is no difference, as `view` does; anything but one file
- *  with a hunk (text that is not a diff, a binary change, several files) says it cannot be
- *  shown as lines. */
+ *  them. What git's header says beyond the lines prints as a note line above the table, or in
+ *  its place: a rename, a mode change, an empty or binary file (`describePatch` has the
+ *  sentences). A file whose type changed (a file that became a symlink) is two sections, each
+ *  its own table under one note, named for its side (`"<label>, as it was"`). An empty patch
+ *  says there is no difference, as `view` does; text that is not a diff, or holds several
+ *  files, says it cannot be shown as lines. */
 export declare const patchView: <Message>(config: PatchViewConfig, h: HtmlBuilder<Message>) => Html;
 //# sourceMappingURL=lineDiff.d.ts.map

package/dist/src/lineDiff/lineDiff.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lineDiff.d.ts","sourceRoot":"","sources":["../../../src/lineDiff/lineDiff.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAiBtD,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;IACd;mBACe;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AA2EH;;kFAEkF;AAClF,eAAO,MAAM,IAAI,GAAI,OAAO,UAAU,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAO3E,CAAC;AAEF;;;;;sBAKsB;AACtB,eAAO,MAAM,SAAS,GAAI,OAAO,UAAU,eAAe,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAWrF,CAAC"}
+{"version":3,"file":"lineDiff.d.ts","sourceRoot":"","sources":["../../../src/lineDiff/lineDiff.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAWtD,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;IACd;mBACe;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC;oBACgB;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AAyEH;;kFAEkF;AAClF,eAAO,MAAM,IAAI,GAAI,OAAO,UAAU,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAO3E,CAAC;AAEF;;;;;;;;+CAQ+C;AAC/C,eAAO,MAAM,SAAS,GAAI,OAAO,UAAU,eAAe,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAoBrF,CAAC"}

package/dist/src/lineDiff/lineDiff.js

@@ -1,7 +1,8 @@
 import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
-import { Array, Option, String } from "effect";
+import { Array, Option } from "effect";
 import { LOCALE } from "../locale/locale.js";
-import { DiffRow, diffRowsOf, diffRowsOfPatch, foldUnchanged, hasChanges, } from "./diff.js";
+import { DiffRow, diffRowsOf, foldUnchanged, hasChanges } from "./diff.js";
+import { SAME_NOTE, readPatch } from "./patch.js";
 // VIEW
 const DEFAULT_CONTEXT = 2;
 const COLUMN_COUNT = 4;
@@ -29,7 +30,6 @@ const rowView = (row, h) => __foldkitBrandViewResult((DiffRow.match(row, {
     Fold: ({ count, firstOldNumber }) => __foldkitBrandViewResult((foldView(count, firstOldNumber, h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#Fold"),
 })), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#rowView");
 const noteView = (note, h) => __foldkitBrandViewResult((h.p([h.Class("note-line")], [note])), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#noteView");
-const SAME_NOTE = "No difference: both sides hold the same text.";
 const tableView = (rows, label, h) => __foldkitBrandViewResult((h.div([h.Class("diff-wrap")], [
     h.table([h.AriaLabel(label), h.Class("diff")], [
         h.tbody([], Array.map(rows, (row) => __foldkitBrandViewResult((rowView(row, h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#anonymous"))),
@@ -48,18 +48,22 @@ export const view = (config, h) => {
 /** A unified diff the caller already has (from a server, or `git diff -- <path>`) as `view`'s
  *  table: its hunks' lines, numbered from their headers, and the unchanged lines between hunks
  *  folded into a counted row. Lines past the last hunk are not in the patch, so nothing counts
- *  them. An empty patch says there is no difference, as `view` does; anything but one file
- *  with a hunk (text that is not a diff, a binary change, several files) says it cannot be
- *  shown as lines. */
+ *  them. What git's header says beyond the lines prints as a note line above the table, or in
+ *  its place: a rename, a mode change, an empty or binary file (`describePatch` has the
+ *  sentences). A file whose type changed (a file that became a symlink) is two sections, each
+ *  its own table under one note, named for its side (`"<label>, as it was"`). An empty patch
+ *  says there is no difference, as `view` does; text that is not a diff, or holds several
+ *  files, says it cannot be shown as lines. */
 export const patchView = (config, h) => {
     const { patch, label } = config;
-    if (String.isEmpty(String.trim(patch))) {
-        return __foldkitBrandViewResult((noteView(SAME_NOTE, h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#patchView");
-    }
-    else {
-        return __foldkitBrandViewResult((Option.match(diffRowsOfPatch(patch), {
-            onNone: () => __foldkitBrandViewResult((noteView("This diff cannot be shown as lines.", h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onNone"),
-            onSome: (rows) => __foldkitBrandViewResult((tableView(rows, label, h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onSome"),
-        })), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#patchView");
-    }
+    const { notes, tables } = readPatch(patch);
+    const parts = [
+        ...(Array.isReadonlyArrayNonEmpty(notes) ? [noteView(Array.join(notes, " "), h)] : []),
+        ...Array.map(tables, ({ rows, maybeSide }) => __foldkitBrandViewResult((tableView(rows, Option.match(maybeSide, { onNone: () => __foldkitBrandViewResult((label), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onNone"), onSome: (side) => __foldkitBrandViewResult((`${label}, ${side}`), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onSome") }), h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#anonymous~2")),
+    ];
+    // a lone table or note is drawn bare, so a flush window's body still meets its table
+    return __foldkitBrandViewResult((Array.match(parts, {
+        onEmpty: () => __foldkitBrandViewResult((noteView(SAME_NOTE, h)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onEmpty"),
+        onNonEmpty: ([part, ...others]) => __foldkitBrandViewResult((Array.isArrayEmpty(others) ? part : h.div([h.Class("stack gap-s")], parts)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#onNonEmpty"),
+    })), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/lineDiff.js#patchView");
 };

package/dist/src/lineDiff/patch.d.ts

@@ -0,0 +1,35 @@
+import { Option } from "effect";
+import { type DiffRow } from "./diff.ts";
+/** The name a path in git's header stands for: git C-quotes a name with unusual bytes
+ *  (`"caf\303\251.txt"`), and leaves any other as it is. */
+export declare const unquoted: (path: string) => string;
+/** What a diff of two same texts says. */
+export declare const SAME_NOTE = "No difference: both sides hold the same text.";
+/** A table of the patch's lines; `maybeSide` says which side of a type change it is. */
+type Table = Readonly<{
+    rows: ReadonlyArray<DiffRow>;
+    maybeSide: Option.Option<string>;
+}>;
+/** What `patchView` draws: its notes as a line, then its tables. */
+export type PatchReading = Readonly<{
+    maybeRenamedFrom: Option.Option<string>;
+    notes: ReadonlyArray<string>;
+    tables: ReadonlyArray<Table>;
+}>;
+/** What `patchView` makes of a patch: the notes it prints and the tables it draws. */
+export declare const readPatch: (patch: string) => PatchReading;
+/** What a patch says beyond its lines, as `patchView` prints it. */
+export type PatchDescription = Readonly<{
+    /** The path a rename left, unquoted: for a heading such as `old.txt → new.txt`. */
+    maybeRenamedFrom: Option.Option<string>;
+    /** The sentences `patchView` prints above the patch's lines, or in their place: a rename,
+     *  a mode change, a type change, an empty or binary file, no difference, or a patch it
+     *  cannot show as lines. */
+    notes: ReadonlyArray<string>;
+}>;
+/** What `patchView` says about a patch from `git diff`, read from its header: the notes it
+ *  prints (`["Renamed from old.txt."]`), for a caller that prints them itself, and the path a
+ *  rename left. */
+export declare const describePatch: (patch: string) => PatchDescription;
+export {};
+//# sourceMappingURL=patch.d.ts.map

package/dist/src/lineDiff/patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.d.ts","sourceRoot":"","sources":["../../../src/lineDiff/patch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAErD,OAAO,EAAE,KAAK,OAAO,EAAmB,MAAM,WAAW,CAAC;AAgC1D;4DAC4D;AAC5D,eAAO,MAAM,QAAQ,SAAU,MAAM,KAAG,MAO9B,CAAC;AAsCX,0CAA0C;AAC1C,eAAO,MAAM,SAAS,kDAAkD,CAAC;AAIzE,wFAAwF;AACxF,KAAK,KAAK,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,CAAC;AAE1F,oEAAoE;AACpE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;CAC9B,CAAC,CAAC;AAoFH,sFAAsF;AACtF,eAAO,MAAM,SAAS,UAAW,MAAM,KAAG,YAiBzC,CAAC;AAIF,oEAAoE;AACpE,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,mFAAmF;IACnF,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC;;gCAE4B;IAC5B,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC9B,CAAC,CAAC;AAEH;;mBAEmB;AACnB,eAAO,MAAM,aAAa,UAAW,MAAM,KAAG,gBAI7C,CAAC"}

package/dist/src/lineDiff/patch.js

@@ -0,0 +1,146 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { Array, Option, String, pipe } from "effect";
+import { diffRowsOfPatch } from "./diff.js";
+// QUOTED PATHS
+const ESCAPED_BYTES = {
+    a: 7,
+    b: 8,
+    t: 9,
+    n: 10,
+    v: 11,
+    f: 12,
+    r: 13,
+};
+// an octal escape is one byte of the name's UTF-8, so the bytes are gathered before decoding
+const QUOTED_PART = /\\([0-7]{3})|\\(.)|[^\\]+/gu;
+const bytesOf = (text) => __foldkitBrandViewResult(([...new TextEncoder().encode(text)]), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#bytesOf");
+const bytesOfPart = ([part, octal, escaped]) => {
+    if (octal !== undefined) {
+        return __foldkitBrandViewResult(([Number.parseInt(octal, 8)]), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#bytesOfPart");
+    }
+    else if (escaped !== undefined) {
+        return __foldkitBrandViewResult((Option.match(Option.fromUndefinedOr(ESCAPED_BYTES[escaped]), {
+            onNone: () => __foldkitBrandViewResult((bytesOf(escaped)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#onNone"),
+            onSome: (byte) => __foldkitBrandViewResult(([byte]), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#onSome"),
+        })), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#bytesOfPart");
+    }
+    else {
+        return __foldkitBrandViewResult((bytesOf(part)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#bytesOfPart");
+    }
+};
+/** The name a path in git's header stands for: git C-quotes a name with unusual bytes
+ *  (`"caf\303\251.txt"`), and leaves any other as it is. */
+export const unquoted = (path) => __foldkitBrandViewResult((path.length >= 2 && path.startsWith('"') && path.endsWith('"')
+    ? new TextDecoder().decode(Uint8Array.from(Array.flatMap(Array.fromIterable(path.slice(1, -1).matchAll(QUOTED_PART)), bytesOfPart)))
+    : path), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#unquoted");
+// HEADER
+const GIT_SECTION = "diff --git ";
+// the header is what comes before the first hunk, so a changed line that reads like a header
+// line ("+rename from x") is never taken for one
+const headOf = (section) => __foldkitBrandViewResult((Array.takeWhile(section.split("\n"), (line) => __foldkitBrandViewResult((!line.startsWith("@@") && !line.startsWith("--- ")), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous"))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#headOf");
+const valueAfter = (head, prefix) => __foldkitBrandViewResult((pipe(Array.findFirst(head, String.startsWith(prefix)), Option.map((line) => __foldkitBrandViewResult((line.slice(prefix.length)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~2")))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#valueAfter");
+const hasLine = (head, prefix) => __foldkitBrandViewResult((Option.isSome(valueAfter(head, prefix))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#hasLine");
+const hasHunk = (section) => __foldkitBrandViewResult((Array.some(section.split("\n"), String.startsWith("@@ "))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#hasHunk");
+// git writes one section per file, after whatever precedes the first (a commit's message, a
+// mail's head); a patch without a git header is one section
+const sectionsOf = (patch) => {
+    const [first = "", ...others] = patch.split(/(?=^diff --git )/mu);
+    return __foldkitBrandViewResult((Array.isArrayNonEmpty(others) && !first.startsWith(GIT_SECTION)
+        ? others
+        : [first, ...others]), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#sectionsOf");
+};
+// READING
+/** What a diff of two same texts says. */
+export const SAME_NOTE = "No difference: both sides hold the same text.";
+const UNREADABLE_NOTE = "This diff cannot be shown as lines.";
+const BINARY_NOTE = "A binary file: its change has no lines.";
+const unreadable = {
+    maybeRenamedFrom: Option.none(),
+    notes: [UNREADABLE_NOTE],
+    tables: [],
+};
+const lineNote = (head, hasRows) => {
+    if (hasLine(head, "Binary files ") || hasLine(head, "GIT binary patch")) {
+        return __foldkitBrandViewResult((Option.some(BINARY_NOTE)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#lineNote");
+    }
+    else if (hasRows) {
+        return __foldkitBrandViewResult((Option.none()), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#lineNote");
+    }
+    else if (hasLine(head, "new file mode ")) {
+        return __foldkitBrandViewResult((Option.some("New empty file.")), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#lineNote");
+    }
+    else if (hasLine(head, "deleted file mode ")) {
+        return __foldkitBrandViewResult((Option.some("Deleted empty file.")), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#lineNote");
+    }
+    else {
+        return __foldkitBrandViewResult((Option.none()), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#lineNote");
+    }
+};
+const readSection = (section) => {
+    const head = headOf(section);
+    const maybeRows = diffRowsOfPatch(section);
+    const maybeRenamedFrom = Option.map(valueAfter(head, "rename from "), unquoted);
+    const notes = [
+        ...Option.toArray(Option.map(maybeRenamedFrom, (from) => __foldkitBrandViewResult((`Renamed from ${from}.`), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~3"))),
+        ...Option.toArray(Option.map(Option.all({ before: valueAfter(head, "old mode "), after: valueAfter(head, "new mode ") }), ({ before, after }) => __foldkitBrandViewResult((`Mode ${before} → ${after}.`), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~4"))),
+        ...Option.toArray(lineNote(head, Option.isSome(maybeRows))),
+    ];
+    const isUnread = Option.isNone(maybeRows) && (hasHunk(section) || Array.isArrayEmpty(notes));
+    return __foldkitBrandViewResult((isUnread
+        ? unreadable
+        : {
+            maybeRenamedFrom,
+            notes,
+            tables: Option.toArray(Option.map(maybeRows, (rows) => (__foldkitBrandViewResult(({ rows, maybeSide: Option.none() }), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~5")))),
+        }), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readSection");
+};
+const KINDS = {
+    "100644": "a file",
+    "100755": "an executable file",
+    "120000": "a symlink",
+    "160000": "a submodule",
+};
+const kindOf = (mode) => __foldkitBrandViewResult((KINDS[mode] ?? `mode ${mode}`), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#kindOf");
+const sideTable = (section, side) => __foldkitBrandViewResult((Option.toArray(Option.map(diffRowsOfPatch(section), (rows) => (__foldkitBrandViewResult(({ rows, maybeSide: Option.some(side) }), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~6"))))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#sideTable");
+// a file that became a symlink (or any other kind) is two sections for one path: the old
+// kind deleted, then the new one added
+const readTypeChange = (gone, added) => {
+    const [goneHead, addedHead] = [headOf(gone), headOf(added)];
+    return __foldkitBrandViewResult((Option.flatMap(Option.all({
+        before: valueAfter(goneHead, "deleted file mode "),
+        after: valueAfter(addedHead, "new file mode "),
+    }), ({ before, after }) => __foldkitBrandViewResult((goneHead[0] === addedHead[0]
+        ? Option.some({
+            maybeRenamedFrom: Option.none(),
+            notes: [`It was ${kindOf(before)} and is now ${kindOf(after)}.`],
+            tables: [...sideTable(gone, "as it was"), ...sideTable(added, "as it is")],
+        })
+        : Option.none()), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~7"))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readTypeChange");
+};
+/** What `patchView` makes of a patch: the notes it prints and the tables it draws. */
+export const readPatch = (patch) => {
+    const text = patch.replaceAll("\r\n", "\n");
+    if (String.isEmpty(String.trim(text))) {
+        return __foldkitBrandViewResult(({ maybeRenamedFrom: Option.none(), notes: [SAME_NOTE], tables: [] }), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readPatch");
+    }
+    else {
+        const sections = sectionsOf(text);
+        const [first, second, ...rest] = sections;
+        if (first !== undefined && second === undefined) {
+            return __foldkitBrandViewResult((readSection(first)), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readPatch");
+        }
+        else if (first !== undefined && second !== undefined && Array.isArrayEmpty(rest)) {
+            return __foldkitBrandViewResult((Option.getOrElse(readTypeChange(first, second), () => __foldkitBrandViewResult((unreadable), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#anonymous~8"))), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readPatch");
+        }
+        else {
+            return __foldkitBrandViewResult((unreadable), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#readPatch");
+        }
+    }
+};
+/** What `patchView` says about a patch from `git diff`, read from its header: the notes it
+ *  prints (`["Renamed from old.txt."]`), for a caller that prints them itself, and the path a
+ *  rename left. */
+export const describePatch = (patch) => {
+    const { maybeRenamedFrom, notes } = readPatch(patch);
+    return __foldkitBrandViewResult(({ maybeRenamedFrom, notes }), "@gjermundgaraba-designs/pixel-paper/src/lineDiff/patch.js#describePatch");
+};

package/dist/src/menu/menu.d.ts

@@ -76,6 +76,8 @@ export declare const update: (model: Model, message: Message) => Readonly<{
     };
     commands?: Update.Commands<{
         readonly _tag: "CompletedFocus";
+    } | {
+        readonly _tag: "PressedEscape";
     } | {
         readonly _tag: "ClickedToggle";
     } | {
@@ -84,8 +86,6 @@ export declare const update: (model: Model, message: Message) => Readonly<{
         readonly _tag: "CompletedPlaceSlip";
     } | {
         readonly _tag: "LeftSlip";
-    } | {
-        readonly _tag: "PressedEscape";
     } | {
         readonly _tag: "PressedTab";
     } | {
@@ -125,11 +125,11 @@ export declare const BindSlip: Mount.MountDefinitionWithArgs<"BindSlip", {
     isEnd: Schema.Boolean;
     edge: Schema.Literals<readonly ["First", "Last"]>;
 }, {
+    readonly _tag: "PressedEscape";
+} | {
     readonly _tag: "CompletedPlaceSlip";
 } | {
     readonly _tag: "LeftSlip";
-} | {
-    readonly _tag: "PressedEscape";
 } | {
     readonly _tag: "PressedTab";
 }>;
@@ -175,6 +175,8 @@ export declare const view: import("foldkit/submodel").View<{
     readonly edge: "First" | "Last";
 }, {
     readonly _tag: "CompletedFocus";
+} | {
+    readonly _tag: "PressedEscape";
 } | {
     readonly _tag: "ClickedToggle";
 } | {
@@ -183,8 +185,6 @@ export declare const view: import("foldkit/submodel").View<{
     readonly _tag: "CompletedPlaceSlip";
 } | {
     readonly _tag: "LeftSlip";
-} | {
-    readonly _tag: "PressedEscape";
 } | {
     readonly _tag: "PressedTab";
 } | {

package/dist/src/rail/index.d.ts

@@ -1,3 +1,3 @@
-export { FollowRailDrawer, HideRailDrawer, Message, Model, ShowRailDrawer, close, id, init, isOpen, update, view, } from "./rail.ts";
+export { FollowRailDrawer, HideRailDrawer, Message, Model, OutMessage, ShowRailDrawer, close, id, init, isOpen, subscriptions, update, view, } from "./rail.ts";
 export type { InitConfig, ViewInputs } from "./rail.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/rail/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rail/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,OAAO,EACP,KAAK,EACL,cAAc,EACd,KAAK,EACL,EAAE,EACF,IAAI,EACJ,MAAM,EACN,MAAM,EACN,IAAI,GACL,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rail/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,OAAO,EACP,KAAK,EACL,UAAU,EACV,cAAc,EACd,KAAK,EACL,EAAE,EACF,IAAI,EACJ,MAAM,EACN,aAAa,EACb,MAAM,EACN,IAAI,GACL,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}

package/dist/src/rail/index.js

@@ -1 +1 @@
-export { FollowRailDrawer, HideRailDrawer, Message, Model, ShowRailDrawer, close, id, init, isOpen, update, view, } from "./rail.js";
+export { FollowRailDrawer, HideRailDrawer, Message, Model, OutMessage, ShowRailDrawer, close, id, init, isOpen, subscriptions, update, view, } from "./rail.js";