@gjermundgaraba-designs/simple-rat 0.0.0-stage → 0.7.0

package/dist/highlight/vite.d.ts

@@ -0,0 +1,19 @@
+type Plugin = ReturnType<typeof import("@foldkit/vite-plugin").foldkitViewIdentity>;
+/**
+ * Colours code while the site is built, so no page loads the highlighter. An import with the
+ * query `?lines=<lang>` (one of `LANGUAGES`) is the file's text and its coloured lines,
+ * which `CodeBlock` takes as `code` and `lines`:
+ *
+ * ```ts
+ * import retry from "./code/retry.txt?lines=ts";
+ *
+ * CodeBlock.view({ lang: "ts", ...retry, toParentMessage }, h);
+ * ```
+ *
+ * Add it to the build's plugins, beside `foldkit()`. The file is watched, so a change to it
+ * colours it again. A `.txt` holds code the toolchain should leave alone; a source file can
+ * be imported twice, to run and to show.
+ */
+export declare const codeLines: () => Plugin;
+export {};
+//# sourceMappingURL=vite.d.ts.map

package/dist/highlight/vite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vite.d.ts","sourceRoot":"","sources":["../../highlight/vite.ts"],"names":[],"mappings":"AAKA,KAAK,MAAM,GAAG,UAAU,CAAC,cAAc,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;AAOpF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,SAAS,QAAO,MAc3B,CAAC"}

package/dist/highlight/vite.js

@@ -0,0 +1,38 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { readFile } from "node:fs/promises";
+import { LANGUAGES } from "../src/code/code.js";
+import { highlight } from "./highlight.js";
+// A file's path, then `lines=<lang>` anywhere in its query.
+const LINES_IMPORT = /^([^?]+)\?(?:.*&)?lines=([^&]*)/;
+const isLanguage = (lang) => __foldkitBrandViewResult((LANGUAGES.some((known) => __foldkitBrandViewResult((known === lang), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#anonymous"))), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#isLanguage");
+/**
+ * Colours code while the site is built, so no page loads the highlighter. An import with the
+ * query `?lines=<lang>` (one of `LANGUAGES`) is the file's text and its coloured lines,
+ * which `CodeBlock` takes as `code` and `lines`:
+ *
+ * ```ts
+ * import retry from "./code/retry.txt?lines=ts";
+ *
+ * CodeBlock.view({ lang: "ts", ...retry, toParentMessage }, h);
+ * ```
+ *
+ * Add it to the build's plugins, beside `foldkit()`. The file is watched, so a change to it
+ * colours it again. A `.txt` holds code the toolchain should leave alone; a source file can
+ * be imported twice, to run and to show.
+ */
+export const codeLines = () => (__foldkitBrandViewResult(({
+    name: "simple-rat:code-lines",
+    // Before Vite's own loaders, which would take a .txt for an asset.
+    enforce: "pre",
+    async load(id) {
+        const [, file, lang] = LINES_IMPORT.exec(id) ?? [];
+        if (file === undefined || lang === undefined)
+            return __foldkitBrandViewResult((null), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#load");
+        if (!isLanguage(lang)) {
+            return __foldkitBrandViewResult((this.error(`simple-rat: ?lines=${lang} is none of ${LANGUAGES.join(", ")}`)), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#load");
+        }
+        this.addWatchFile(file);
+        const code = await readFile(file, "utf8");
+        return __foldkitBrandViewResult((`export default ${JSON.stringify({ code, lines: highlight(code, lang) })};`), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#load");
+    },
+}), "@gjermundgaraba-designs/simple-rat/highlight/vite.js#codeLines"));

package/dist/src/code/code.d.ts

@@ -0,0 +1,20 @@
+/** The languages a block can be coloured in. */
+export declare const LANGUAGES: readonly ["ts", "tsx", "sh", "json", "css", "html", "diff"];
+export type Language = (typeof LANGUAGES)[number];
+/** One coloured run of a line: its text, the `--t-*` colour Shiki gave it, and whether it
+    is italic. */
+type Run = Readonly<{
+    content: string;
+    color: string | undefined;
+    isItalic: boolean;
+}>;
+/** A block's runs, line by line. A run in the plain code ink, upright, has no colour. */
+export type Lines = ReadonlyArray<ReadonlyArray<Run>>;
+/** A file's text and its coloured lines: what an import with `?lines=<lang>` gives (see
+    lines.d.ts). */
+export type Highlighted = Readonly<{
+    code: string;
+    lines: Lines;
+}>;
+export {};
+//# sourceMappingURL=code.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"code.d.ts","sourceRoot":"","sources":["../../../src/code/code.ts"],"names":[],"mappings":"AASA,gDAAgD;AAChD,eAAO,MAAM,SAAS,YAAI,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AACrF,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAElD;iBACiB;AACjB,KAAK,GAAG,GAAG,QAAQ,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAEvF,yFAAyF;AACzF,MAAM,MAAM,KAAK,GAAG,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEtD;mBACmB;AACnB,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC"}

package/dist/src/code/code.js

@@ -0,0 +1,9 @@
+// The `?lines=<lang>` imports are declared for every program that reaches this file, which
+// is every one that imports the package: an ambient declaration has no import to travel by.
+// oxlint-disable-next-line typescript/triple-slash-reference
+/// <reference path="./lines.d.ts" />
+// A code block's colours as data, with no highlighter: what `CodeBlock` renders and what a
+// build makes with `highlight` (highlight/highlight.ts), so a page carries the colours and
+// not Shiki.
+/** The languages a block can be coloured in. */
+export const LANGUAGES = ["ts", "tsx", "sh", "json", "css", "html", "diff"];

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

@@ -0,0 +1,3 @@
+export { LANGUAGES } from "./code.ts";
+export type { Highlighted, Language, Lines } from "./code.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/code/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC"}

package/dist/src/code/index.js

@@ -0,0 +1 @@
+export { LANGUAGES } from "./code.js";

package/dist/src/codeBlock/codeBlock.d.ts

@@ -0,0 +1,32 @@
+import type { Html, HtmlBuilder } from "foldkit/html";
+import type { Language, Lines } from "../code/code.ts";
+import type { ViewInputs as CopyInputs } from "../copyTab/copyTab.ts";
+import * as Scrolls from "../scrolls/scrolls.ts";
+/** Configuration for rendering a code block with `view`. */
+export type ViewConfig<ParentMessage> = Readonly<{
+    code: string;
+    /** The code's language, named on the `code` element. A block without one, with a copy
+        tab, is a prose block that wraps at text size, like a prompt. */
+    lang?: Language;
+    /** The code's coloured lines, made at build: an import with `?lines=<lang>` gives them
+        with the `code` (the package's `./highlight/vite`), or `highlight` makes them (its
+        `./highlight`). Without them the block is plain. */
+    lines?: Lines;
+    /** A file name, shown in a tab on the block's top-left edge. */
+    file?: string;
+    /** A `copy` tab on the block's top-right edge: the page's `CopyTab`, rendered with
+        `copyInputs`. The tab wraps the block, so it is given the block's view to render as its
+        `toBlockView`. */
+    copy?: ((toBlockView: () => Html) => Html) | undefined;
+    /** The overflow Mount's report, lifted into the page's Messages, which may ignore it. */
+    toParentMessage: (message: Scrolls.Message) => ParentMessage;
+}>;
+/** The block's name for assistive technology: its file, or its first line. */
+export declare const nameOf: (code: string, file?: string) => string;
+/** What a block's `CopyTab` is given: the block's name and its code, without a trailing
+    newline. */
+export declare const copyInputs: (code: string, file?: string) => Omit<CopyInputs, "toBlockView">;
+/** A code block: coloured where it is given its lines, optionally with a file tab and a
+    copy tab. Only a block that overflows takes focus, through `Scrolls.WatchOverflow`. */
+export declare const view: <ParentMessage>(config: ViewConfig<ParentMessage>, h: HtmlBuilder<ParentMessage>) => Html;
+//# sourceMappingURL=codeBlock.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"codeBlock.d.ts","sourceRoot":"","sources":["../../../src/codeBlock/codeBlock.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGtD,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,IAAI,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,KAAK,OAAO,MAAM,uBAAuB,CAAC;AAEjD,4DAA4D;AAC5D,MAAM,MAAM,UAAU,CAAC,aAAa,IAAI,QAAQ,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb;wEACoE;IACpE,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB;;2DAEuD;IACvD,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,gEAAgE;IAChE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;yBAEqB;IACrB,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IACvD,yFAAyF;IACzF,eAAe,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,aAAa,CAAC;CAC9D,CAAC,CAAC;AAEH,8EAA8E;AAC9E,eAAO,MAAM,MAAM,SAAU,MAAM,SAAS,MAAM,KAAG,MAGpD,CAAC;AAEF;eACe;AACf,eAAO,MAAM,UAAU,SAAU,MAAM,SAAS,MAAM,KAAG,IAAI,CAAC,UAAU,EAAE,aAAa,CAGrF,CAAC;AAeH;0FAC0F;AAC1F,eAAO,MAAM,IAAI,GAAI,aAAa,UACxB,UAAU,CAAC,aAAa,CAAC,KAC9B,WAAW,CAAC,aAAa,CAAC,KAC5B,IAuBF,CAAC"}

package/dist/src/codeBlock/codeBlock.js

@@ -0,0 +1,35 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { Option } from "effect";
+import * as Mount from "foldkit/mount";
+import * as Scrolls from "../scrolls/scrolls.js";
+/** The block's name for assistive technology: its file, or its first line. */
+export const nameOf = (code, file) => {
+    const firstLine = code.trim().split("\n")[0] ?? "";
+    return __foldkitBrandViewResult((file ?? (firstLine.length > 40 ? `${firstLine.slice(0, 40)}…` : firstLine)), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#nameOf");
+};
+/** What a block's `CopyTab` is given: the block's name and its code, without a trailing
+    newline. */
+export const copyInputs = (code, file) => (__foldkitBrandViewResult(({
+    name: nameOf(code, file),
+    text: code.trimEnd(),
+}), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#copyInputs"));
+const linesView = (lines, h) => __foldkitBrandViewResult((lines.flatMap((line, index) => __foldkitBrandViewResult(([
+    ...(index > 0 ? ["\n"] : []),
+    ...line.map((run) => __foldkitBrandViewResult((run.color === undefined
+        ? run.content
+        : h.span([h.Style({ color: run.color, ...(run.isItalic ? { fontStyle: "italic" } : {}) })], [run.content])), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#anonymous~2")),
+]), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#anonymous"))), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#linesView");
+/** A code block: coloured where it is given its lines, optionally with a file tab and a
+    copy tab. Only a block that overflows takes focus, through `Scrolls.WatchOverflow`. */
+export const view = (config, h) => {
+    const { code, lang, lines, file, copy, toParentMessage } = config;
+    const name = nameOf(code, file);
+    const toBlockView = () => __foldkitBrandViewResult((h.pre([
+        ...(copy === undefined ? [] : [h.DataAttribute("copy", "")]),
+        h.OnMount(Mount.mapMessage(Scrolls.WatchOverflow({ maybeName: Option.some(name) }), toParentMessage)),
+    ], [
+        h.code(lang === undefined ? [] : [h.Class(`language-${lang}`)], lines === undefined ? [code] : linesView(lines, h)),
+    ])), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#toBlockView");
+    const body = copy === undefined ? toBlockView() : copy(toBlockView);
+    return __foldkitBrandViewResult((file === undefined ? body : h.figure([h.Class("file")], [h.figcaption([], [file]), body])), "@gjermundgaraba-designs/simple-rat/src/codeBlock/codeBlock.js#view");
+};

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

@@ -0,0 +1,3 @@
+export { copyInputs, view } from "./codeBlock.ts";
+export type { ViewConfig } from "./codeBlock.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codeBlock/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAClD,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/codeBlock/index.js

@@ -0,0 +1 @@
+export { copyInputs, view } from "./codeBlock.js";

package/dist/src/copy/copy.d.ts

@@ -0,0 +1,83 @@
+import { Clipboard } from "@effect/platform-browser";
+import { Effect, Schema } from "effect";
+import * as Command from "foldkit/command";
+import type * as Update from "foldkit/update";
+/** Where a copy is: nothing yet, writing to the clipboard, just copied, or just refused. */
+export declare const CopyState: import("foldkit/schema").TaggedUnion<{
+    readonly Idle: {};
+    readonly Copying: {};
+    readonly Copied: {};
+    readonly Failed: {};
+}>;
+export type CopyState = typeof CopyState.Type;
+/** Schema for a copy control: what it says it just did. */
+export declare const Model: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly state: import("foldkit/schema").TaggedUnion<{
+        readonly Idle: {};
+        readonly Copying: {};
+        readonly Copied: {};
+        readonly Failed: {};
+    }>;
+}>;
+export type Model = typeof Model.Type;
+/** Union of all Messages a copy control can produce. */
+export declare const Message: import("foldkit/message").MessageUnion<{
+    readonly ClickedCopy: {
+        text: Schema.String;
+    };
+    readonly SucceededCopyText: {};
+    readonly FailedCopyText: {};
+    readonly CompletedWaitBeforeSettling: {};
+}>;
+export type Message = typeof Message.Type;
+/** Configuration for creating a copy control with `init`: its id, unique in the document. */
+export type InitConfig = Readonly<{
+    id: string;
+}>;
+/** Creates a copy control that has copied nothing. */
+export declare const init: (config: InitConfig) => Model;
+/** The control's id, unique in the document. */
+export declare const id: (model: Model) => string;
+/** Writes the text to the clipboard through Effect's `Clipboard` port. Provide
+    `Clipboard.layer` from `@effect/platform-browser` in the application's `resources`. */
+export declare const CopyText: Command.CommandDefinitionWithArgs<"CopyText", {
+    text: Schema.String;
+}, Effect.Effect<{
+    readonly _tag: "SucceededCopyText";
+} | {
+    readonly _tag: "FailedCopyText";
+}, never, Clipboard.Clipboard>>;
+/** Waits out the beat the answer shows for. */
+export declare const WaitBeforeSettling: Command.CommandDefinitionNoArgs<"WaitBeforeSettling", Effect.Effect<{
+    readonly _tag: "CompletedWaitBeforeSettling";
+}, never, never>>;
+/** Processes a copy control Message and returns the next Model and Commands. Its copy needs
+    the `Clipboard` service. A press counts only while the control is Idle, so one beat ends
+    before the next copy starts. */
+export declare const update: (model: Model, message: Message) => Readonly<{
+    model: {
+        readonly id: string;
+        readonly state: {
+            readonly _tag: "Copied";
+        } | {
+            readonly _tag: "Copying";
+        } | {
+            readonly _tag: "Failed";
+        } | {
+            readonly _tag: "Idle";
+        };
+    };
+    commands?: Update.Commands<{
+        readonly _tag: "ClickedCopy";
+        readonly text: string;
+    } | {
+        readonly _tag: "CompletedWaitBeforeSettling";
+    } | {
+        readonly _tag: "FailedCopyText";
+    } | {
+        readonly _tag: "SucceededCopyText";
+    }, Clipboard.Clipboard>;
+    outMessage?: never;
+}>;
+//# sourceMappingURL=copy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"copy.d.ts","sourceRoot":"","sources":["../../../src/copy/copy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAY,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAC;AAI3C,OAAO,KAAK,KAAK,MAAM,MAAM,gBAAgB,CAAC;AAM9C,4FAA4F;AAC5F,eAAO,MAAM,SAAS;;;;;EAKpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,2DAA2D;AAC3D,eAAO,MAAM,KAAK;;;;;;;;EAGhB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC;AAItC,wDAAwD;AACxD,eAAO,MAAM,OAAO;;QACH,IAAI;;;;;EAInB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAI1C,6FAA6F;AAC7F,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAElD,sDAAsD;AACtD,eAAO,MAAM,IAAI,WAAY,UAAU,KAAG,KAGxC,CAAC;AAIH,gDAAgD;AAChD,eAAO,MAAM,EAAE,UAAW,KAAK,KAAG,MAAkB,CAAC;AAOrD;0FAC0F;AAC1F,eAAO,MAAM,QAAQ;;;;;;+BASnB,CAAC;AAEH,+CAA+C;AAC/C,eAAO,MAAM,kBAAkB;;iBAG7B,CAAC;AAWH;;mCAEmC;AACnC,eAAO,MAAM,MAAM,UAAW,KAAK,WAAW,OAAO;;;;;;;;;;;;;;;;;;;;;;;;EAcjD,CAAC"}

package/dist/src/copy/copy.js

@@ -0,0 +1,76 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { Clipboard } from "@effect/platform-browser";
+import { Duration, Effect, Schema } from "effect";
+import * as Command from "foldkit/command";
+import { defineMessageUnion } from "foldkit/message";
+import { defineTaggedUnion } from "foldkit/schema";
+import { modifyFields } from "foldkit/struct";
+// A copy to the clipboard, without its view: the system's own control renders it.
+// MODEL
+/** Where a copy is: nothing yet, writing to the clipboard, just copied, or just refused. */
+export const CopyState = defineTaggedUnion({
+    Idle: {},
+    Copying: {},
+    Copied: {},
+    Failed: {},
+});
+/** Schema for a copy control: what it says it just did. */
+export const Model = Schema.Struct({
+    id: Schema.String,
+    state: CopyState,
+});
+// MESSAGE
+/** Union of all Messages a copy control can produce. */
+export const Message = defineMessageUnion({
+    ClickedCopy: { text: Schema.String },
+    SucceededCopyText: {},
+    FailedCopyText: {},
+    CompletedWaitBeforeSettling: {},
+});
+/** Creates a copy control that has copied nothing. */
+export const init = (config) => (__foldkitBrandViewResult(({
+    id: config.id,
+    state: CopyState.Idle(),
+}), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#init"));
+// ACCESSORS
+/** The control's id, unique in the document. */
+export const id = (model) => __foldkitBrandViewResult((model.id), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#id");
+// COMMAND
+/** How long the control answers for: that it copied, or that the copy failed. */
+const WORD_BEAT = Duration.millis(1600);
+/** Writes the text to the clipboard through Effect's `Clipboard` port. Provide
+    `Clipboard.layer` from `@effect/platform-browser` in the application's `resources`. */
+export const CopyText = Command.define("CopyText", {
+    args: { text: Schema.String },
+    messages: [Message.SucceededCopyText, Message.FailedCopyText],
+    execute: ({ text }) => __foldkitBrandViewResult((Effect.gen(function* () {
+        const clipboard = yield* Clipboard.Clipboard;
+        yield* clipboard.writeString(text);
+        return __foldkitBrandViewResult((Message.SucceededCopyText()), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#anonymous");
+    }).pipe(Effect.catch(() => __foldkitBrandViewResult((Effect.succeed(Message.FailedCopyText())), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#anonymous~2")))), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#execute"),
+});
+/** Waits out the beat the answer shows for. */
+export const WaitBeforeSettling = Command.define("WaitBeforeSettling", {
+    messages: [Message.CompletedWaitBeforeSettling],
+    execute: Effect.sleep(WORD_BEAT).pipe(Effect.as(Message.CompletedWaitBeforeSettling())),
+});
+const holdAnswer = (model, state) => (__foldkitBrandViewResult(({
+    model: modifyFields(model, { state: () => __foldkitBrandViewResult((state), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#state") }),
+    commands: [WaitBeforeSettling()],
+}), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#holdAnswer"));
+/** Processes a copy control Message and returns the next Model and Commands. Its copy needs
+    the `Clipboard` service. A press counts only while the control is Idle, so one beat ends
+    before the next copy starts. */
+export const update = (model, message) => __foldkitBrandViewResult((Message.match(message, {
+    ClickedCopy: ({ text }) => __foldkitBrandViewResult((CopyState.guards.Idle(model.state)
+        ? {
+            model: modifyFields(model, { state: () => __foldkitBrandViewResult((CopyState.Copying()), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#state~2") }),
+            commands: [CopyText({ text })],
+        }
+        : { model }), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#ClickedCopy"),
+    SucceededCopyText: () => __foldkitBrandViewResult((holdAnswer(model, CopyState.Copied())), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#SucceededCopyText"),
+    FailedCopyText: () => __foldkitBrandViewResult((holdAnswer(model, CopyState.Failed())), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#FailedCopyText"),
+    CompletedWaitBeforeSettling: () => (__foldkitBrandViewResult(({
+        model: modifyFields(model, { state: () => __foldkitBrandViewResult((CopyState.Idle()), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#state~3") }),
+    }), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#CompletedWaitBeforeSettling")),
+})), "@gjermundgaraba-designs/simple-rat/src/copy/copy.js#update");

package/dist/src/copyTab/copyTab.d.ts

@@ -0,0 +1,47 @@
+import type { Html } from "foldkit/html";
+export * from "../copy/copy.ts";
+/** Per-render inputs passed to `view` through `h.submodel`'s `viewInputs`. */
+export type ViewInputs = Readonly<{
+    /** What is copied, for the tab's accessible name: the block's file or first line. */
+    name: string;
+    /** What goes on the clipboard. */
+    text: string;
+    /** The block the tab sits on, built where it is called (in the page's own Message
+        boundary, so its Mount reports to the page). */
+    toBlockView: () => Html;
+}>;
+/** `div.copyable`: the block, a `copy` tab on its top-right edge, built on `@foldkit/ui`'s
+    Button, that answers `copied` (or `select and copy` when the browser refuses) for a beat
+    and says so to screen readers through a visually hidden status. The tab takes a press only
+    while it reads `copy`, and is held (`aria-disabled`) while it answers. Its `CopyText`
+    Command needs `Clipboard.layer` in the application's resources. */
+export declare const view: import("foldkit/submodel").View<{
+    readonly id: string;
+    readonly state: {
+        readonly _tag: "Copied";
+    } | {
+        readonly _tag: "Copying";
+    } | {
+        readonly _tag: "Failed";
+    } | {
+        readonly _tag: "Idle";
+    };
+}, {
+    readonly _tag: "ClickedCopy";
+    readonly text: string;
+} | {
+    readonly _tag: "CompletedWaitBeforeSettling";
+} | {
+    readonly _tag: "FailedCopyText";
+} | {
+    readonly _tag: "SucceededCopyText";
+}, Readonly<{
+    /** What is copied, for the tab's accessible name: the block's file or first line. */
+    name: string;
+    /** What goes on the clipboard. */
+    text: string;
+    /** The block the tab sits on, built where it is called (in the page's own Message
+        boundary, so its Mount reports to the page). */
+    toBlockView: () => Html;
+}>>;
+//# sourceMappingURL=copyTab.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"copyTab.d.ts","sourceRoot":"","sources":["../../../src/copyTab/copyTab.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAKzC,cAAc,iBAAiB,CAAC;AAIhC,8EAA8E;AAC9E,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,qFAAqF;IACrF,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;uDACmD;IACnD,WAAW,EAAE,MAAM,IAAI,CAAC;CACzB,CAAC,CAAC;AAkBH;;;;sEAIsE;AACtE,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;IA9Bf,qFAAqF;UAC/E,MAAM;IACZ,kCAAkC;UAC5B,MAAM;IACZ;uDACmD;iBACtC,MAAM,IAAI;GA0CxB,CAAC"}

package/dist/src/copyTab/copyTab.js

@@ -0,0 +1,31 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { Button as UiButton } from "@foldkit/ui";
+import { defineView } from "foldkit/submodel";
+import { CopyState, Message } from "../copy/copy.js";
+export * from "../copy/copy.js";
+const word = (state) => __foldkitBrandViewResult((CopyState.match(state, {
+    Idle: () => __foldkitBrandViewResult(("copy"), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Idle"),
+    Copying: () => __foldkitBrandViewResult(("copy"), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Copying"),
+    Copied: () => __foldkitBrandViewResult(("copied"), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Copied"),
+    Failed: () => __foldkitBrandViewResult(("select and copy"), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Failed"),
+})), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#word");
+const said = (state) => __foldkitBrandViewResult((CopyState.match(state, {
+    Idle: () => __foldkitBrandViewResult((""), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Idle~2"),
+    Copying: () => __foldkitBrandViewResult((""), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Copying~2"),
+    Copied: () => __foldkitBrandViewResult(("Copied"), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Copied~2"),
+    Failed: () => __foldkitBrandViewResult(("Copy failed. Select the text and copy it by hand."), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#Failed~2"),
+})), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#said");
+/** `div.copyable`: the block, a `copy` tab on its top-right edge, built on `@foldkit/ui`'s
+    Button, that answers `copied` (or `select and copy` when the browser refuses) for a beat
+    and says so to screen readers through a visually hidden status. The tab takes a press only
+    while it reads `copy`, and is held (`aria-disabled`) while it answers. Its `CopyText`
+    Command needs `Clipboard.layer` in the application's resources. */
+export const view = defineView((model, { name, text, toBlockView }, h) => __foldkitBrandViewResult((h.div([h.Class("copyable")], [
+    toBlockView(),
+    UiButton.view({
+        isDisabled: !CopyState.guards.Idle(model.state),
+        onClick: Message.ClickedCopy({ text }),
+        toView: ({ button }) => __foldkitBrandViewResult((h.button([...button, h.AriaLabel(`Copy ${name}`)], [word(model.state)])), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#toView"),
+    }, h),
+    h.span([h.Class("visually-hidden"), h.Role("status")], [said(model.state)]),
+])), "@gjermundgaraba-designs/simple-rat/src/copyTab/copyTab.js#anonymous"));

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

@@ -0,0 +1,3 @@
+export { CopyText, Message, Model, WaitBeforeSettling, id, init, update, view } from "./copyTab.ts";
+export type { InitConfig, ViewInputs } from "./copyTab.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/copyTab/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpG,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/copyTab/index.js

@@ -0,0 +1 @@
+export { CopyText, Message, Model, WaitBeforeSettling, id, init, update, view } from "./copyTab.js";

package/dist/src/diagram/diagram.d.ts

@@ -0,0 +1,18 @@
+import type { Html, HtmlBuilder } from "foldkit/html";
+import * as Scrolls from "../scrolls/scrolls.ts";
+/** Configuration for rendering a diagram with `view`. */
+export type ViewConfig<ParentMessage> = Readonly<{
+    /** The drawing, in box-drawing characters. */
+    drawing: string;
+    /** What the diagram shows, for screen readers. */
+    label: string;
+    /** What the diagram shows, for everyone. Defaults to the label. */
+    caption?: ReadonlyArray<Html | string>;
+    /** The overflow Mount's report, lifted into the page's Messages, which may ignore it. */
+    toParentMessage: (message: Scrolls.Message) => ParentMessage;
+}>;
+/** A box-drawing diagram: an image to assistive technology, with a visible caption. The
+    role sits on the `pre`, so a diagram too wide for the screen can still take focus
+    (through `Scrolls.WatchOverflow`) and scroll. */
+export declare const view: <ParentMessage>(config: ViewConfig<ParentMessage>, h: HtmlBuilder<ParentMessage>) => Html;
+//# sourceMappingURL=diagram.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagram.d.ts","sourceRoot":"","sources":["../../../src/diagram/diagram.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGtD,OAAO,KAAK,OAAO,MAAM,uBAAuB,CAAC;AAEjD,yDAAyD;AACzD,MAAM,MAAM,UAAU,CAAC,aAAa,IAAI,QAAQ,CAAC;IAC/C,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,CAAC,EAAE,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;IACvC,yFAAyF;IACzF,eAAe,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,aAAa,CAAC;CAC9D,CAAC,CAAC;AAEH;;oDAEoD;AACpD,eAAO,MAAM,IAAI,GAAI,aAAa,UACxB,UAAU,CAAC,aAAa,CAAC,KAC9B,WAAW,CAAC,aAAa,CAAC,KAC5B,IAkBF,CAAC"}

package/dist/src/diagram/diagram.js

@@ -0,0 +1,18 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+import { Option } from "effect";
+import * as Mount from "foldkit/mount";
+import * as Scrolls from "../scrolls/scrolls.js";
+/** A box-drawing diagram: an image to assistive technology, with a visible caption. The
+    role sits on the `pre`, so a diagram too wide for the screen can still take focus
+    (through `Scrolls.WatchOverflow`) and scroll. */
+export const view = (config, h) => {
+    const { drawing, label, caption = [label], toParentMessage } = config;
+    return __foldkitBrandViewResult((h.figure([], [
+        h.pre([
+            h.Role("img"),
+            h.AriaLabel(label),
+            h.OnMount(Mount.mapMessage(Scrolls.WatchOverflow({ maybeName: Option.none() }), toParentMessage)),
+        ], [h.code([], [drawing])]),
+        h.figcaption([], caption),
+    ])), "@gjermundgaraba-designs/simple-rat/src/diagram/diagram.js#view");
+};

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

@@ -0,0 +1,3 @@
+export { view } from "./diagram.ts";
+export type { ViewConfig } from "./diagram.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/diagram/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/diagram/index.js

@@ -0,0 +1 @@
+export { view } from "./diagram.js";

package/dist/src/footer/footer.d.ts

@@ -0,0 +1,9 @@
+import type { Html, HtmlBuilder } from "foldkit/html";
+/** Configuration for rendering the footer with `view`. */
+export type ViewConfig = Readonly<{
+    /** The one line. */
+    body: ReadonlyArray<Html | string>;
+}>;
+/** A rule and one line. */
+export declare const view: <Message>(config: ViewConfig, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=footer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"footer.d.ts","sourceRoot":"","sources":["../../../src/footer/footer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtD,0DAA0D;AAC1D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,oBAAoB;IACpB,IAAI,EAAE,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;CACpC,CAAC,CAAC;AAEH,2BAA2B;AAC3B,eAAO,MAAM,IAAI,GAAI,OAAO,UAAU,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAC5B,CAAC"}

package/dist/src/footer/footer.js

@@ -0,0 +1,3 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+/** A rule and one line. */
+export const view = (config, h) => __foldkitBrandViewResult((h.footer([], [h.hr([]), h.p([], config.body)])), "@gjermundgaraba-designs/simple-rat/src/footer/footer.js#view");

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

@@ -0,0 +1,3 @@
+export { view } from "./footer.ts";
+export type { ViewConfig } from "./footer.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/footer/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACnC,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}

package/dist/src/footer/index.js

@@ -0,0 +1 @@
+export { view } from "./footer.js";

package/dist/src/footnotes/footnotes.d.ts

@@ -0,0 +1,12 @@
+import type { Html, HtmlBuilder } from "foldkit/html";
+/** A superscript number that jumps to the note numbered `noteNumber`; the note links back. */
+export declare const refView: <Message>(noteNumber: number, h: HtmlBuilder<Message>) => Html;
+/** Configuration for rendering the notes with `view`. */
+export type ViewConfig = Readonly<{
+    /** The notes, numbered from 1. */
+    notes: ReadonlyArray<ReadonlyArray<Html | string>>;
+}>;
+/** The notes, numbered from 1, at the end of the page under a rule. Each ends in a `Back`
+    link named for the reference it returns to. */
+export declare const view: <Message>(config: ViewConfig, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=footnotes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"footnotes.d.ts","sourceRoot":"","sources":["../../../src/footnotes/footnotes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtD,8FAA8F;AAC9F,eAAO,MAAM,OAAO,GAAI,OAAO,cAAc,MAAM,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IACgB,CAAC;AAEhG,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,kCAAkC;IAClC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;CACpD,CAAC,CAAC;AAEH;kDACkD;AAClD,eAAO,MAAM,IAAI,GAAI,OAAO,UAAU,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAuBzE,CAAC"}

package/dist/src/footnotes/footnotes.js

@@ -0,0 +1,16 @@
+import { brandViewResult as __foldkitBrandViewResult } from 'foldkit/brand'
+/** A superscript number that jumps to the note numbered `noteNumber`; the note links back. */
+export const refView = (noteNumber, h) => __foldkitBrandViewResult((h.sup([], [h.a([h.Href(`#fn-${noteNumber}`), h.Id(`ref-${noteNumber}`)], [`${noteNumber}`])])), "@gjermundgaraba-designs/simple-rat/src/footnotes/footnotes.js#refView");
+/** The notes, numbered from 1, at the end of the page under a rule. Each ends in a `Back`
+    link named for the reference it returns to. */
+export const view = (config, h) => __foldkitBrandViewResult((h.section([h.Class("footnotes"), h.AriaLabel("Footnotes")], [
+    h.hr([]),
+    h.ol([], config.notes.map((note, index) => {
+        const noteNumber = index + 1;
+        return __foldkitBrandViewResult((h.li([h.Id(`fn-${noteNumber}`)], [
+            ...note,
+            " ",
+            h.a([h.Href(`#ref-${noteNumber}`), h.AriaLabel(`Back to reference ${noteNumber}`)], ["Back"]),
+        ])), "@gjermundgaraba-designs/simple-rat/src/footnotes/footnotes.js#anonymous");
+    })),
+])), "@gjermundgaraba-designs/simple-rat/src/footnotes/footnotes.js#view");

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

@@ -0,0 +1,3 @@
+export { refView, view } from "./footnotes.ts";
+export type { ViewConfig } from "./footnotes.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/footnotes/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC/C,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/footnotes/index.js

@@ -0,0 +1 @@
+export { refView, view } from "./footnotes.js";

package/dist/src/header/header.d.ts

@@ -0,0 +1,11 @@
+import type { Html, HtmlBuilder } from "foldkit/html";
+/** Configuration for rendering the header with `view`. */
+export type ViewConfig = Readonly<{
+    /** `NavLink`s, and optionally a `SchemeSwitch` last. */
+    items: ReadonlyArray<Html>;
+}>;
+/** The page's header: a nav named "Primary navigation", a line of lowercase links separated
+    by middots, then a rule. Each item after the first sits in a `span` with its middot, so a
+    wrapped line starts with the middot instead of ending on one. */
+export declare const view: <Message>(config: ViewConfig, h: HtmlBuilder<Message>) => Html;
+//# sourceMappingURL=header.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"header.d.ts","sourceRoot":"","sources":["../../../src/header/header.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtD,0DAA0D;AAC1D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,wDAAwD;IACxD,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;CAC5B,CAAC,CAAC;AAEH;;oEAEoE;AACpE,eAAO,MAAM,IAAI,GAAI,OAAO,UAAU,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,KAAG,IAYzE,CAAC"}