@elaraai/e3-ui 1.0.86 → 1.0.88

package/dist/src/sheet/library.d.ts

@@ -0,0 +1,284 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Sheet.library` — the sheet's library pane, the author's (#1186,
+ * `Sheet Builder Spec.md` §4.4, SB32, SB59, SB60). `library` lists the
+ * pane's tabs, in order, each built here: `Sheet.library.rows()` (the
+ * templates), `Sheet.library.columns()` (the columns a viewer shows and
+ * hides) and `Sheet.library.tab(data, { … })`, cards of the author's own.
+ * Left out, or empty, the sheet has no library pane.
+ *
+ * An author's tab reads its rows as `Sheet.register.members` does — an
+ * `Array<T>` or a `Dict<String, T>`, its accessors reified ONCE into a
+ * describe function the map then calls — and its `drop` returns what a
+ * dropped card sets, as a template's `values` do: `Sheet.patch` over the row
+ * type lands on a row, over the group type on a band. The patch crosses the
+ * closed payload as the cells it sets through the sheet's editable columns
+ * (or band cells), as a proposed row's does.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DictType, NullType, OptionType, StringType, StructType, VariantType, type EastType, type ExprType, type SubtypeExprOrValue } from "@elaraai/east";
+import { type SheetBridge } from "./bridge.js";
+/**
+ * One card of an author's tab on the wire.
+ *
+ * @property key - The card's key, unique within its tab
+ * @property label - Its name
+ * @property meta - The line under its name
+ * @property group - The tab's group the card sits under
+ * @property sets - What a drop writes: the tab's `drop` patch, through the sheet's editable columns (or a band's cells); empty without a `drop`
+ */
+export declare const SheetLibraryCardType: StructType<{
+    readonly key: StringType;
+    readonly label: StringType;
+    readonly meta: OptionType<StringType>;
+    readonly group: OptionType<StringType>;
+    readonly sets: DictType<StringType, VariantType<{
+        readonly Invalid: StringType;
+        readonly Null: NullType;
+        readonly Boolean: import("@elaraai/east").BooleanType;
+        readonly Integer: import("@elaraai/east").IntegerType;
+        readonly Float: import("@elaraai/east").FloatType;
+        readonly String: StringType;
+        readonly DateTime: import("@elaraai/east").DateTimeType;
+        readonly Link: StructType<{
+            readonly from: ArrayType<VariantType<{
+                readonly identified: StructType<{
+                    readonly key: StringType;
+                }>;
+                readonly range: StructType<{
+                    readonly from: StringType;
+                    readonly to: StringType;
+                }>;
+                readonly counted: StructType<{
+                    readonly n: import("@elaraai/east").IntegerType;
+                    readonly key: StringType;
+                }>;
+                readonly placeholder: NullType;
+                readonly text: StringType;
+            }>>;
+            readonly to: ArrayType<VariantType<{
+                readonly identified: StructType<{
+                    readonly key: StringType;
+                }>;
+                readonly range: StructType<{
+                    readonly from: StringType;
+                    readonly to: StringType;
+                }>;
+                readonly counted: StructType<{
+                    readonly n: import("@elaraai/east").IntegerType;
+                    readonly key: StringType;
+                }>;
+                readonly placeholder: NullType;
+                readonly text: StringType;
+            }>>;
+        }>;
+    }>>;
+}>;
+/** Type representing {@link SheetLibraryCardType}. */
+export type SheetLibraryCardType = typeof SheetLibraryCardType;
+/** Where an author's tab's cards land: on rows (a grouped sheet's lines), or on a grouped sheet's bands. */
+export declare const SheetLibraryDropType: VariantType<{
+    readonly row: NullType;
+    readonly group: NullType;
+}>;
+/** Type representing {@link SheetLibraryDropType}. */
+export type SheetLibraryDropType = typeof SheetLibraryDropType;
+/**
+ * One tab of the library pane on the wire, in the order `library` lists them.
+ *
+ * - `rows` — the templates (`templates`), by their group;
+ * - `columns` — the declared columns, each with an eye;
+ * - `tab` — the author's own: its name, its icon, where its cards land, and its cards.
+ */
+export declare const SheetLibraryTabType: VariantType<{
+    readonly rows: NullType;
+    readonly columns: NullType;
+    readonly tab: StructType<{
+        readonly name: StringType;
+        readonly icon: OptionType<StringType>;
+        readonly drop: OptionType<VariantType<{
+            readonly row: NullType;
+            readonly group: NullType;
+        }>>;
+        readonly cards: ArrayType<StructType<{
+            readonly key: StringType;
+            readonly label: StringType;
+            readonly meta: OptionType<StringType>;
+            readonly group: OptionType<StringType>;
+            readonly sets: DictType<StringType, VariantType<{
+                readonly Invalid: StringType;
+                readonly Null: NullType;
+                readonly Boolean: import("@elaraai/east").BooleanType;
+                readonly Integer: import("@elaraai/east").IntegerType;
+                readonly Float: import("@elaraai/east").FloatType;
+                readonly String: StringType;
+                readonly DateTime: import("@elaraai/east").DateTimeType;
+                readonly Link: StructType<{
+                    readonly from: ArrayType<VariantType<{
+                        readonly identified: StructType<{
+                            readonly key: StringType;
+                        }>;
+                        readonly range: StructType<{
+                            readonly from: StringType;
+                            readonly to: StringType;
+                        }>;
+                        readonly counted: StructType<{
+                            readonly n: import("@elaraai/east").IntegerType;
+                            readonly key: StringType;
+                        }>;
+                        readonly placeholder: NullType;
+                        readonly text: StringType;
+                    }>>;
+                    readonly to: ArrayType<VariantType<{
+                        readonly identified: StructType<{
+                            readonly key: StringType;
+                        }>;
+                        readonly range: StructType<{
+                            readonly from: StringType;
+                            readonly to: StringType;
+                        }>;
+                        readonly counted: StructType<{
+                            readonly n: import("@elaraai/east").IntegerType;
+                            readonly key: StringType;
+                        }>;
+                        readonly placeholder: NullType;
+                        readonly text: StringType;
+                    }>>;
+                }>;
+            }>>;
+        }>>;
+    }>;
+}>;
+/** Type representing {@link SheetLibraryTabType}. */
+export type SheetLibraryTabType = typeof SheetLibraryTabType;
+/**
+ * An author's tab: its name and icon, and the accessors over one entry of its
+ * data — its value and its key — as `Sheet.register.members` takes them
+ * (`(_v, k) => k` over a `Dict`; over an `Array` the key is the index,
+ * printed).
+ *
+ * @typeParam T - The data's element type
+ * @typeParam P - The patch `drop` returns: `Sheet.Types.Patch` of the row type, or of the group type
+ */
+export interface SheetLibraryTabConfig<T extends EastType, P extends EastType = EastType> {
+    /** The tab's name: its label in the tab row. */
+    name: string;
+    /** A Font Awesome solid icon name for the tab's cards. */
+    icon?: string;
+    /** The card's key — unique within the tab; a key that repeats keeps its first card. */
+    key: (value: ExprType<T>, key: ExprType<StringType>) => SubtypeExprOrValue<StringType>;
+    /** The card's name. */
+    label: (value: ExprType<T>, key: ExprType<StringType>) => SubtypeExprOrValue<StringType>;
+    /** The line under it — return the field's `Option`. */
+    meta?: (value: ExprType<T>, key: ExprType<StringType>) => SubtypeExprOrValue<OptionType<StringType>>;
+    /** The tab's group the card sits under. */
+    group?: (value: ExprType<T>, key: ExprType<StringType>) => SubtypeExprOrValue<StringType>;
+    /** What a dropped card sets: `Sheet.patch(RowType, …)` lands on a row, `Sheet.patch(GroupType, …)` on a grouped sheet's band. */
+    drop?: (value: ExprType<T>, key: ExprType<StringType>) => ExprType<P>;
+}
+/** One tab of the library pane — what each `Sheet.library.*` call returns, and `library` lists. */
+export type SheetLibraryTab = {
+    readonly kind: "rows";
+} | {
+    readonly kind: "columns";
+} | {
+    readonly kind: "tab";
+    readonly data: unknown;
+    readonly config: SheetLibraryTabConfig<EastType>;
+};
+/**
+ * The library's Rows tab — `Sheet.library.rows()`: the sheet's templates,
+ * by their group, each card saying what it sets (SB33).
+ *
+ * @returns The tab
+ */
+export declare function libraryRows(): SheetLibraryTab;
+/**
+ * The library's Columns tab — `Sheet.library.columns()`: the declared
+ * columns, each with its kind and an eye that hides it from the grid for the
+ * viewer (SB36).
+ *
+ * @returns The tab
+ */
+export declare function libraryColumns(): SheetLibraryTab;
+/**
+ * A tab of the author's own cards — `Sheet.library.tab(data, { … })` (SB60):
+ * one card per entry of `data`, read through accessors as
+ * `Sheet.register.members` reads a register, and a `drop` that says what a
+ * dropped card sets.
+ *
+ * @typeParam T - The data's element type
+ * @typeParam P - The patch `drop` returns
+ * @param data - The rows — an `Array<T>` or a `Dict<String, T>` value or expression, a record's `read()`
+ * @param config - The tab's name and icon, and the accessors ({@link SheetLibraryTabConfig})
+ * @returns The tab
+ *
+ * @example
+ * ```tsx
+ * // .tsx file with the `@jsxImportSource @elaraai/e3-ui` pragma
+ * import { ArrayType, DateTimeType, DictType, East, FloatType, OptionType, StringType, StructType, none, some } from "@elaraai/east";
+ * import { Box, Reactive, UIComponentType } from "@elaraai/east-ui";
+ * import { Record, Sheet } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * export const SheetJob = StructType({ task: StringType, start: OptionType(DateTimeType), qty: OptionType(FloatType) });
+ * export const sheetJobs = e3.record("sheet_jobs", DictType(StringType, SheetJob), new Map([
+ *     ["J-0001", { task: "Panel cutting", start: some(new Date("2026-10-12T00:00:00Z")), qty: some(48.0) }],
+ *     ["J-0002", { task: "Edge banding", start: some(new Date("2026-10-13T00:00:00Z")), qty: some(120.0) }],
+ *     ["J-0003", { task: "CNC routing", start: none, qty: some(48.0) }],
+ *     ["J-0004", { task: "Spray finish", start: none, qty: none }],
+ * ]));
+ * export const sheetJobsPatch = e3.mutation.patch(sheetJobs);
+ * export const LibraryTask = StructType({ name: StringType, stage: StringType });
+ *
+ * const sheet = East.function([], UIComponentType, (_$) => (
+ *     <Reactive>{$ => {
+ *         const jobs = $.let(Record.bind(sheetJobs, [sheetJobsPatch]));
+ *         const tasks = $.let([
+ *             { name: "Panel cutting", stage: "Cutting" },
+ *             { name: "Edge banding",  stage: "Cutting" },
+ *             { name: "CNC routing",   stage: "Machining" },
+ *             { name: "Sanding",       stage: "Finishing" },
+ *             { name: "Spray finish",  stage: "Finishing" },
+ *         ], ArrayType(LibraryTask));
+ *         return (
+ *             <Box height="560px">
+ *                 <Sheet
+ *                     record={jobs}
+ *                     name="library"
+ *                     columns={{
+ *                         task:  Sheet.column.text(SheetJob, { header: "Task", width: "240px" }),
+ *                         start: Sheet.column.date(SheetJob, { header: "Start", width: "96px" }),
+ *                         qty:   Sheet.column.quantity(SheetJob, { header: "Qty", width: "96px" }),
+ *                     }}
+ *                     library={[
+ *                         // The tasks a job takes, by their stage: a card dropped on a job sets its task.
+ *                         Sheet.library.tab(tasks, { name: "Tasks", icon: "hammer",
+ *                             key: t => t.name, label: t => t.name, group: t => t.stage,
+ *                             drop: t => Sheet.patch(SheetJob, { task: t.name }) }),
+ *                         Sheet.library.columns(),
+ *                     ]}
+ *                 />
+ *             </Box>
+ *         );
+ *     }}</Reactive>
+ * ));
+ * ```
+ */
+export declare function libraryTab<T extends EastType, P extends EastType = EastType>(data: SubtypeExprOrValue<ArrayType<T>> | SubtypeExprOrValue<DictType<StringType, T>>, config: SheetLibraryTabConfig<T, P>): SheetLibraryTab;
+/**
+ * Builds the library pane on the wire (SB59, SB60): its tabs in the
+ * order `library` lists them; none when it is left out.
+ *
+ * @param tabs - The tabs, each a `Sheet.library.*` call
+ * @param bridge - The sheet's bridge, as its root compiled it
+ * @returns The tabs on the wire
+ * @throws Error naming the tab: a tab listed twice (an author's tab by its name), and each of an author's tab's refusals
+ * @internal
+ */
+export declare function buildLibrary(tabs: readonly SheetLibraryTab[] | undefined, bridge: SheetBridge): ExprType<ArrayType<SheetLibraryTabType>>;
+//# sourceMappingURL=library.d.ts.map

package/dist/src/sheet/library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"library.d.ts","sourceRoot":"","sources":["../../../src/sheet/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACH,SAAS,EACT,QAAQ,EAGR,QAAQ,EACR,UAAU,EAEV,UAAU,EACV,UAAU,EACV,WAAW,EAKX,KAAK,QAAQ,EACb,KAAK,QAAQ,EAEb,KAAK,kBAAkB,EAC1B,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAmC,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAMhF;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D,4GAA4G;AAC5G,eAAO,MAAM,oBAAoB;;;EAAkD,CAAC;AAEpF,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAM7D;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ;IACpF,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uFAAuF;IACvF,GAAG,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACvF,uBAAuB;IACvB,KAAK,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACzF,uDAAuD;IACvD,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACrG,2CAA2C;IAC3C,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC1F,iIAAiI;IACjI,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;CACzE;AAED,mGAAmG;AACnG,MAAM,MAAM,eAAe,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAA;CAAE,CAAC;AAEzG;;;;;GAKG;AACH,wBAAgB,WAAW,IAAI,eAAe,CAE7C;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,IAAI,eAAe,CAEhD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,EACxE,IAAI,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EACpF,MAAM,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,GACpC,eAAe,CAEjB;AAyFD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAexI"}

package/dist/src/sheet/library.js

@@ -0,0 +1,259 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Sheet.library` — the sheet's library pane, the author's (#1186,
+ * `Sheet Builder Spec.md` §4.4, SB32, SB59, SB60). `library` lists the
+ * pane's tabs, in order, each built here: `Sheet.library.rows()` (the
+ * templates), `Sheet.library.columns()` (the columns a viewer shows and
+ * hides) and `Sheet.library.tab(data, { … })`, cards of the author's own.
+ * Left out, or empty, the sheet has no library pane.
+ *
+ * An author's tab reads its rows as `Sheet.register.members` does — an
+ * `Array<T>` or a `Dict<String, T>`, its accessors reified ONCE into a
+ * describe function the map then calls — and its `drop` returns what a
+ * dropped card sets, as a template's `values` do: `Sheet.patch` over the row
+ * type lands on a row, over the group type on a band. The patch crosses the
+ * closed payload as the cells it sets through the sheet's editable columns
+ * (or band cells), as a proposed row's does.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DictType, East, Expr, NullType, OptionType, SetType, StringType, StructType, VariantType, isTypeEqual, none, some, variant, } from "@elaraai/east";
+import { SheetCellType, SheetPatchTypeFor } from "./types.js";
+import { SheetCellsType, buildPatchCells } from "./bridge.js";
+// ============================================================================
+// The wire
+// ============================================================================
+/**
+ * One card of an author's tab on the wire.
+ *
+ * @property key - The card's key, unique within its tab
+ * @property label - Its name
+ * @property meta - The line under its name
+ * @property group - The tab's group the card sits under
+ * @property sets - What a drop writes: the tab's `drop` patch, through the sheet's editable columns (or a band's cells); empty without a `drop`
+ */
+export const SheetLibraryCardType = StructType({
+    key: StringType,
+    label: StringType,
+    meta: OptionType(StringType),
+    group: OptionType(StringType),
+    sets: DictType(StringType, SheetCellType),
+});
+/** Where an author's tab's cards land: on rows (a grouped sheet's lines), or on a grouped sheet's bands. */
+export const SheetLibraryDropType = VariantType({ row: NullType, group: NullType });
+/**
+ * One tab of the library pane on the wire, in the order `library` lists them.
+ *
+ * - `rows` — the templates (`templates`), by their group;
+ * - `columns` — the declared columns, each with an eye;
+ * - `tab` — the author's own: its name, its icon, where its cards land, and its cards.
+ */
+export const SheetLibraryTabType = VariantType({
+    rows: NullType,
+    columns: NullType,
+    tab: StructType({
+        name: StringType,
+        icon: OptionType(StringType),
+        drop: OptionType(SheetLibraryDropType),
+        cards: ArrayType(SheetLibraryCardType),
+    }),
+});
+/**
+ * The library's Rows tab — `Sheet.library.rows()`: the sheet's templates,
+ * by their group, each card saying what it sets (SB33).
+ *
+ * @returns The tab
+ */
+export function libraryRows() {
+    return { kind: "rows" };
+}
+/**
+ * The library's Columns tab — `Sheet.library.columns()`: the declared
+ * columns, each with its kind and an eye that hides it from the grid for the
+ * viewer (SB36).
+ *
+ * @returns The tab
+ */
+export function libraryColumns() {
+    return { kind: "columns" };
+}
+/**
+ * A tab of the author's own cards — `Sheet.library.tab(data, { … })` (SB60):
+ * one card per entry of `data`, read through accessors as
+ * `Sheet.register.members` reads a register, and a `drop` that says what a
+ * dropped card sets.
+ *
+ * @typeParam T - The data's element type
+ * @typeParam P - The patch `drop` returns
+ * @param data - The rows — an `Array<T>` or a `Dict<String, T>` value or expression, a record's `read()`
+ * @param config - The tab's name and icon, and the accessors ({@link SheetLibraryTabConfig})
+ * @returns The tab
+ *
+ * @example
+ * ```tsx
+ * // .tsx file with the `@jsxImportSource @elaraai/e3-ui` pragma
+ * import { ArrayType, DateTimeType, DictType, East, FloatType, OptionType, StringType, StructType, none, some } from "@elaraai/east";
+ * import { Box, Reactive, UIComponentType } from "@elaraai/east-ui";
+ * import { Record, Sheet } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * export const SheetJob = StructType({ task: StringType, start: OptionType(DateTimeType), qty: OptionType(FloatType) });
+ * export const sheetJobs = e3.record("sheet_jobs", DictType(StringType, SheetJob), new Map([
+ *     ["J-0001", { task: "Panel cutting", start: some(new Date("2026-10-12T00:00:00Z")), qty: some(48.0) }],
+ *     ["J-0002", { task: "Edge banding", start: some(new Date("2026-10-13T00:00:00Z")), qty: some(120.0) }],
+ *     ["J-0003", { task: "CNC routing", start: none, qty: some(48.0) }],
+ *     ["J-0004", { task: "Spray finish", start: none, qty: none }],
+ * ]));
+ * export const sheetJobsPatch = e3.mutation.patch(sheetJobs);
+ * export const LibraryTask = StructType({ name: StringType, stage: StringType });
+ *
+ * const sheet = East.function([], UIComponentType, (_$) => (
+ *     <Reactive>{$ => {
+ *         const jobs = $.let(Record.bind(sheetJobs, [sheetJobsPatch]));
+ *         const tasks = $.let([
+ *             { name: "Panel cutting", stage: "Cutting" },
+ *             { name: "Edge banding",  stage: "Cutting" },
+ *             { name: "CNC routing",   stage: "Machining" },
+ *             { name: "Sanding",       stage: "Finishing" },
+ *             { name: "Spray finish",  stage: "Finishing" },
+ *         ], ArrayType(LibraryTask));
+ *         return (
+ *             <Box height="560px">
+ *                 <Sheet
+ *                     record={jobs}
+ *                     name="library"
+ *                     columns={{
+ *                         task:  Sheet.column.text(SheetJob, { header: "Task", width: "240px" }),
+ *                         start: Sheet.column.date(SheetJob, { header: "Start", width: "96px" }),
+ *                         qty:   Sheet.column.quantity(SheetJob, { header: "Qty", width: "96px" }),
+ *                     }}
+ *                     library={[
+ *                         // The tasks a job takes, by their stage: a card dropped on a job sets its task.
+ *                         Sheet.library.tab(tasks, { name: "Tasks", icon: "hammer",
+ *                             key: t => t.name, label: t => t.name, group: t => t.stage,
+ *                             drop: t => Sheet.patch(SheetJob, { task: t.name }) }),
+ *                         Sheet.library.columns(),
+ *                     ]}
+ *                 />
+ *             </Box>
+ *         );
+ *     }}</Reactive>
+ * ));
+ * ```
+ */
+export function libraryTab(data, config) {
+    return { kind: "tab", data, config: config };
+}
+// ============================================================================
+// The build
+// ============================================================================
+/** Fold the cards a key repeats on, keeping the FIRST, in the data's order — as a register's members fold. */
+const dedupeCards = East.function([ArrayType(SheetLibraryCardType)], ArrayType(SheetLibraryCardType), ($, cards) => {
+    const out = $.let([], ArrayType(SheetLibraryCardType));
+    const seen = $.let(new Set(), SetType(StringType));
+    $.for(cards, ($2, card) => {
+        $2.if(seen.has(card.key).not(), ($3) => {
+            $3(seen.insert(card.key));
+            $3(out.pushLast(card));
+        });
+    });
+    return out;
+});
+/** How a tab names itself in a refusal. */
+function tabName(tab) {
+    return tab.kind === "tab" ? `the "${tab.config.name}" tab` : `Sheet.library.${tab.kind}()`;
+}
+/**
+ * An author's tab on the wire: its cards, read through its accessors, and
+ * where its `drop` patch lands, decided by the patch's type.
+ *
+ * @param tab - The tab
+ * @param bridge - The sheet's bridge, as its root compiled it
+ * @returns The tab's wire value
+ * @throws Error naming the tab: data that is not an Array or a `Dict<String, T>`, or a `drop` over neither the row type nor the group type
+ */
+function buildTab(tab, bridge) {
+    const cfg = tab.config;
+    const expr = East.value(tab.data);
+    // The data is an Array or a Dict whatever the cast above says: widen to read its real East type.
+    const t = Expr.type(expr);
+    if (t.type !== "Array" && t.type !== "Dict") {
+        throw new Error(`Sheet: ${tabName(tab)}'s data must be an Array or a Dict<String, T> — got a ${t.type}`);
+    }
+    if (t.type === "Dict" && t.key.type !== "String") {
+        throw new Error(`Sheet: ${tabName(tab)}'s data must be a Dict<String, T> — its keys ride to the accessors as the second argument`);
+    }
+    const elem = t.value;
+    // The drop: reified once, its patch's type deciding where a card lands.
+    let landing;
+    let dropFn;
+    let project;
+    if (cfg.drop !== undefined) {
+        const drop = cfg.drop;
+        dropFn = East.function([elem, StringType], undefined, (_$, v, k) => drop(v, k));
+        const out = Expr.type(dropFn).output;
+        const groupHalf = bridge.group;
+        if (isTypeEqual(out, bridge.patchType)) {
+            landing = "row";
+            project = bridge.encodePatch;
+        }
+        else if (groupHalf !== undefined && isTypeEqual(out, SheetPatchTypeFor(groupHalf.groupType))) {
+            landing = "group";
+            project = buildPatchCells(groupHalf.groupType, groupHalf.cellMetas, {});
+        }
+        else {
+            throw new Error(`Sheet: ${tabName(tab)}'s \`drop\` returns a patch over neither the row type nor the group type — build it with Sheet.patch(RowType, …)${bridge.group !== undefined ? ", or Sheet.patch(GroupType, …) for a band" : " over the sheet's row type"}`);
+        }
+    }
+    const describe = East.function([elem, StringType], SheetLibraryCardType, ($, v, k) => {
+        const sets = dropFn === undefined || project === undefined
+            ? $.const(new Map(), SheetCellsType)
+            : $.const(($.const(project))(($.const(dropFn))(v, k)), SheetCellsType);
+        return {
+            key: cfg.key(v, k),
+            label: cfg.label(v, k),
+            meta: cfg.meta !== undefined ? cfg.meta(v, k) : East.value(none, OptionType(StringType)),
+            group: cfg.group !== undefined ? some(cfg.group(v, k)) : East.value(none, OptionType(StringType)),
+            sets,
+        };
+    });
+    const list = t.type === "Dict"
+        ? expr.toArray((_$, v, k) => describe(v, k))
+        : expr.map((_$, v, i) => describe(v, East.print(i)));
+    return East.value(variant("tab", {
+        name: cfg.name,
+        icon: cfg.icon === undefined ? none : some(cfg.icon),
+        drop: landing === undefined ? none : some(variant(landing, null)),
+        cards: dedupeCards(list),
+    }), SheetLibraryTabType);
+}
+/**
+ * Builds the library pane on the wire (SB59, SB60): its tabs in the
+ * order `library` lists them; none when it is left out.
+ *
+ * @param tabs - The tabs, each a `Sheet.library.*` call
+ * @param bridge - The sheet's bridge, as its root compiled it
+ * @returns The tabs on the wire
+ * @throws Error naming the tab: a tab listed twice (an author's tab by its name), and each of an author's tab's refusals
+ * @internal
+ */
+export function buildLibrary(tabs, bridge) {
+    const seen = new Set();
+    for (const tab of tabs ?? []) {
+        const id = tab.kind === "tab" ? `tab:${tab.config.name}` : tab.kind;
+        if (seen.has(id)) {
+            throw new Error(tab.kind === "tab"
+                ? `Sheet: the library lists two tabs named "${tab.config.name}" — each tab's name is its own`
+                : `Sheet: the library lists ${tabName(tab)} twice — each tab once`);
+        }
+        seen.add(id);
+    }
+    const wires = (tabs ?? []).map((tab) => tab.kind === "tab"
+        ? buildTab(tab, bridge)
+        : East.value(variant(tab.kind, null), SheetLibraryTabType));
+    return East.value(wires, ArrayType(SheetLibraryTabType));
+}
+//# sourceMappingURL=library.js.map

package/dist/src/sheet/library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"library.js","sourceRoot":"","sources":["../../../src/sheet/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACH,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,OAAO,EACP,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW,EACX,IAAI,EACJ,IAAI,EACJ,OAAO,GAKV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,eAAe,EAAoB,MAAM,aAAa,CAAC;AAEhF,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;IAC3C,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC5B,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;CAC5C,CAAC,CAAC;AAKH,4GAA4G;AAC5G,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKpF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,QAAQ;IACjB,GAAG,EAAE,UAAU,CAAC;QACZ,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;QAC5B,IAAI,EAAE,UAAU,CAAC,oBAAoB,CAAC;QACtC,KAAK,EAAE,SAAS,CAAC,oBAAoB,CAAC;KACzC,CAAC;CACL,CAAC,CAAC;AAyCH;;;;;GAKG;AACH,MAAM,UAAU,WAAW;IACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc;IAC1B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AACH,MAAM,UAAU,UAAU,CACtB,IAAoF,EACpF,MAAmC;IAEnC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAoD,EAAE,CAAC;AAC/F,CAAC;AAED,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E,8GAA8G;AAC9G,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,EAAE,SAAS,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;IAC/G,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;QACtB,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;YACnC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,2CAA2C;AAC3C,SAAS,OAAO,CAAC,GAAoB;IACjC,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,iBAAiB,GAAG,CAAC,IAAI,IAAI,CAAC;AAC/F,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,GAA8C,EAAE,MAAmB;IACjF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAA+C,CAAkC,CAAC;IAC9G,iGAAiG;IACjG,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAa,CAAC;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,UAAU,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAK,CAAC,CAAC,GAAgB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,UAAU,OAAO,CAAC,GAAG,CAAC,2FAA2F,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,IAAI,GAAa,CAAC,CAAC,KAAK,CAAC;IAE/B,wEAAwE;IACxE,IAAI,OAAoC,CAAC;IACzC,IAAI,MAA8E,CAAC;IACnF,IAAI,OAA+C,CAAC;IACpD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAA0E,CAAC;QACzJ,MAAM,GAAG,GAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAkB,CAAC,MAAkB,CAAC;QACnE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,OAAO,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC;QACjC,CAAC;aAAM,IAAI,SAAS,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,EAAE,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YAC7F,OAAO,GAAG,OAAO,CAAC;YAClB,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5E,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,UAAU,OAAO,CAAC,GAAG,CAAC,mHAAmH,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,4BAA4B,EAAE,CAAC,CAAC;QACxQ,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QACjF,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YACtD,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,EAAE,cAAc,CAAC;YACpC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC3E,OAAO;YACH,GAAG,EAAI,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,IAAI,EAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YACzF,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YACjG,IAAI;SACP,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM;QAC1B,CAAC,CAAE,IAA4D,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE;QAC7B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpD,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjE,KAAK,EAAE,WAAW,CAAC,IAAiD,CAAC;KACxE,CAAC,EAAE,mBAAmB,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,IAA4C,EAAE,MAAmB;IAC1F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;QACpE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK;gBAC9B,CAAC,CAAC,4CAA4C,GAAG,CAAC,MAAM,CAAC,IAAI,gCAAgC;gBAC7F,CAAC,CAAC,4BAA4B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAiC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK;QACrF,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAChE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAC7D,CAAC"}