@elaraai/e3-ui 1.0.103 → 1.0.105

package/dist/src/utils/record-kind.js

@@ -0,0 +1,450 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * A kind over the app's own record: what the Schematic's kinds (#1386) and the
+ * Flowchart's (#1500) share. A kind maps the fields of the app's row to the
+ * builder's roles and closes the record behind East functions over beast2
+ * bytes — its stored rows a read holds, each one's roles beside its bytes; a
+ * drafted row's roles; the fields an author's card sets, any field at any
+ * depth; the shared editing session over the record with its patch door; the
+ * record read by key; its history, its form, its own Details and the app's
+ * check — so a builder's payload is one type whatever the rows hold, and its
+ * renderer needs no row type.
+ *
+ * A kind's record is bound three ways, as each builder's binding check tells
+ * them apart: `Record.bind(record)` with its patch door, editable — read
+ * whole, or through its source of the builder's slice with `entries:
+ * Data.bindPaged(record)` beside it; `Data.bind(record)`, read only and whole;
+ * or `Data.bindPaged(record)`, read only, through its source. Each builder
+ * keeps its own check and its own words; what this module holds is the same
+ * for every builder.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BlobType, BooleanType, DictType, East, EastTypeType, Expr, FunctionType, IntegerType, OptionType, StringType, StructType, isSubtype, isTypeEqual, none, some, toEastTypeValue, variant, } from "@elaraai/east";
+import { RecordCommitInfoType } from "@elaraai/e3-types";
+import { EditingReadinessType, EditingType, Fields, FieldSpecType, RecordSliceBindType, RecordSliceReadType, recordSliceReadPlatform, } from "@elaraai/east-ui/internal";
+import { scheduleAccessor } from "../schedule/accessor.js";
+import { fieldOf, fieldSetters } from "../schedule/fields.js";
+import { scheduleEntriesSeam, scheduleRecordSession } from "../schedule/session.js";
+import { ScheduleEntriesType, ScheduleFieldWriteType, ScheduleReadyEntryType } from "../schedule/types.js";
+import { optionOf, scheduleEntryByKey, scheduleLastKey, typeText } from "../schedule/window.js";
+import { RowInspectorType, rowInspector } from "./row-inspector.js";
+// ============================================================================
+// The wire
+// ============================================================================
+/** A record's commits, newest first, as its handle reads them. */
+export const KindHistoryType = FunctionType([], OptionType(ArrayType(RecordCommitInfoType)));
+/** The author's check over drafted entries, one result each. */
+export const KindReadyType = FunctionType([ArrayType(ScheduleReadyEntryType)], ArrayType(EditingReadinessType));
+/**
+ * What every kind over the app's record carries: how the record is read and
+ * written, and the inspector's form.
+ *
+ * @property editable - Whether the record is bound with its patch door: what its gestures, drops and edits write
+ * @property editing - The shared session over the record, with its patch door; `none` for a record bound read only
+ * @property entries - The record read by key, for a record read through its source or bound with `Data.bindPaged`; `none` for one read whole
+ * @property history - The record's commits, newest first; `none` for a record bound with `Data.bind` or `Data.bindPaged`
+ * @property fields - The inspector's form over the fields no role writes (`Fields`)
+ * @property inspector - The kind's own Details in place of its form, over bytes
+ * @property ready - The app's check on drafted rows, one result each
+ * @property set - The row with each field write applied in order — a field at any depth, its value as bytes at the field's type — and every other field as it was: what an author's card dropped on a row sets (#1390); `none` for a write naming no field of the row
+ * @property rowType - The record's row type
+ */
+export const KindSideFields = {
+    editable: BooleanType,
+    editing: OptionType(EditingType),
+    entries: OptionType(ScheduleEntriesType),
+    history: OptionType(KindHistoryType),
+    fields: ArrayType(FieldSpecType),
+    inspector: OptionType(RowInspectorType),
+    ready: OptionType(KindReadyType),
+    set: FunctionType([BlobType, ArrayType(ScheduleFieldWriteType)], OptionType(BlobType)),
+    rowType: EastTypeType,
+};
+/**
+ * A kind's record read whole: its binding's `read()` — `Record.bind`'s or
+ * `Data.bind`'s — by key.
+ *
+ * @param handle - The record's binding
+ * @param rowType - Its row type
+ * @returns `()` → the record's rows, by key
+ */
+export function kindWholeRows(handle, rowType) {
+    const Held = DictType(StringType, rowType);
+    const read = handle.read;
+    return East.function([], OptionType(Held), (_$) => East.value(some(read()), OptionType(Held)));
+}
+/**
+ * A kind's narrowing read complete through its source of the builder's slice
+ * — the record slice's `PagedScan`, over `recordSliceReadPlatform` — answering
+ * `none` while a search or a page is in flight.
+ *
+ * Through its source a kind reads what its narrowing holds and nothing else:
+ * the source's choices, each as the rail holds it. Read with `every`, it reads
+ * every row through its source instead, and never the narrowing, so a choice
+ * reads none of its rows again: the renderer draws the rows the narrowing
+ * leaves out as context, from the source's shown keys. An entry's row is its
+ * `row` — the source joins it — or its `value`, for an index that carries the
+ * whole row.
+ *
+ * @param part - The kind's source of the slice, bound once in the builder's payload (`recordSources(…).bind($)`)
+ * @param source - The source's name
+ * @param rowType - The kind's record's row type
+ * @param where - The kind, as a refusal names it
+ * @param every - Whether it reads every row, the narrowing read nowhere: what the narrowing leaves out draws as context
+ * @param remedy - How the refusal of a source over another record names the source to give
+ * @returns `()` → the rows the narrowing holds — or every row — by key; `none` while a search or a page is in flight
+ * @throws {Error} When the source narrows another record, or reads neither its rows nor an index carrying them
+ */
+export function kindSourceRows(part, source, rowType, where, every, remedy) {
+    const type = Expr.type(part);
+    const fields = type.type === "Struct" ? type.fields : {};
+    const data = fields["data"];
+    const page = fields["pageWhere"];
+    const output = page?.type === "Function" ? page.output : undefined;
+    const collection = output === undefined ? undefined : optionOf(output);
+    const entry = collection?.type === "Array" ? collection.value : undefined;
+    const entryFields = entry?.type === "Struct" ? entry.fields : undefined;
+    const keyed = entryFields?.["key"] !== undefined && isTypeEqual(entryFields["key"], StringType);
+    // An entry's row: its `row`, which a joined read fills, or its `value`, when the index carries the whole row.
+    const joined = entryFields?.["row"] !== undefined && isTypeEqual(entryFields["row"], OptionType(rowType));
+    const carried = entryFields?.["value"] !== undefined && isTypeEqual(entryFields["value"], rowType);
+    const pages = page?.type === "Function" && page.inputs.length === 3 && isTypeEqual(page.inputs[0], RecordSliceReadType)
+        && isTypeEqual(page.inputs[1], IntegerType) && isTypeEqual(page.inputs[2], IntegerType);
+    const identified = data?.type === "Struct" && data.fields["id"] !== undefined && isTypeEqual(data.fields["id"], StringType)
+        && data.fields["revision"] !== undefined && data.fields["revision"].type === "Function";
+    const sliced = Object.entries(RecordSliceBindType.fields).every(([name, expected]) => fields[name] !== undefined && isSubtype(fields[name], expected));
+    if (!pages || !keyed || !(joined || carried) || !identified || !sliced) {
+        throw new Error(`${where}: the slice's source "${source}" narrows another record — ${remedy}: ` +
+            `Data.bindPaged(record, { indexes }), its rows joined or carried by its indexes`);
+    }
+    const Held = DictType(StringType, rowType);
+    const Entries = collection;
+    const noRows = `${where}: the slice's source "${source}" reads no rows — bind it with Data.bindPaged(record, { indexes, join: true })`;
+    return East.function([], OptionType(Held), ($) => {
+        // The source as the payload bound it, its members read here: the read captures the source alone.
+        const bound = $.const(part);
+        const countWhere = $.const(bound.countWhere);
+        const pageWhere = $.const(bound.pageWhere);
+        const id = $.const(bound.data.id);
+        const revision = $.const(bound.data.revision);
+        // The read: no narrowing with `every` — every row, the source's state read nowhere, so a choice reads nothing
+        // again and the renderer dims what it leaves out — else the rail's, each of the source's choices. Never a
+        // read by area.
+        let taken;
+        if (every) {
+            taken = $.const({ where: new Map(), area: none }, RecordSliceReadType);
+        }
+        else {
+            const read = $.const(bound.read);
+            const state = $.const(read());
+            taken = $.let({ where: state.where, area: none }, RecordSliceReadType);
+        }
+        const result = $.let(none, OptionType(Held));
+        $.match(recordSliceReadPlatform([Entries], id, revision, countWhere, pageWhere, taken), {
+            some: ($2, entries) => {
+                const held = $2.let(new Map(), Held);
+                $2.for(entries, ($3, e) => {
+                    if (joined) {
+                        $3.match(e.row, {
+                            some: ($4, row) => { $4(held.insert(e.key, row)); },
+                            none: ($4) => {
+                                if (carried)
+                                    $4(held.insert(e.key, e.value));
+                                else
+                                    $4.error(noRows);
+                            },
+                        });
+                    }
+                    else {
+                        $3(held.insert(e.key, e.value));
+                    }
+                });
+                $2.assign(result, some(held));
+            },
+        });
+        return result;
+    });
+}
+// ============================================================================
+// The roles
+// ============================================================================
+/**
+ * A field's type by name, refused naming the role when the row lacks it.
+ *
+ * @param rowType - The kind's row type
+ * @param where - The kind, as a refusal names it
+ * @returns `(role, name)` → the field's type
+ */
+export function fieldTypeOf(rowType, where) {
+    const fields = rowType.fields;
+    return (role, name) => {
+        const type = fields[name];
+        if (type === undefined)
+            throw new Error(`${where}: \`${role}\` names "${name}", a field the row does not have (${Object.keys(fields).join(", ")})`);
+        return type;
+    };
+}
+/**
+ * A role naming a field of one type: the field's name, refused naming the
+ * role, the field and its type.
+ *
+ * @param rowType - The kind's row type
+ * @param where - The kind, as a refusal names it
+ * @returns `(role, name, type, what)` → the field's name; `undefined` for a role not given
+ */
+export function roleField(rowType, where) {
+    const typeOf = fieldTypeOf(rowType, where);
+    return (role, name, type, what) => {
+        if (name === undefined)
+            return undefined;
+        const held = typeOf(role, name);
+        if (!isTypeEqual(held, type))
+            throw new Error(`${where}: \`${role}\` names ${what} — "${name}" holds ${typeText(held)}`);
+        return name;
+    };
+}
+/**
+ * An accessor role, reified once and held to the type it returns, naming the
+ * role and what it returns.
+ *
+ * @typeParam T - The type it returns
+ * @param rowType - The kind's row type
+ * @param where - The kind, as a refusal names it
+ * @param role - The role, as the refusal names it
+ * @param out - The type it returns
+ * @param what - What it returns, as the refusal says it
+ * @param fn - What the kind was given
+ * @returns The accessor, reified; `undefined` when not given
+ * @throws {Error} When it is no function, or returns another type
+ */
+export function accessorRole(rowType, where, role, out, what, fn) {
+    if (fn === undefined)
+        return undefined;
+    if (typeof fn !== "function")
+        throw new Error(`${where}: \`${role}\` is an accessor, (row, key) => ${what}`);
+    return scheduleAccessor(rowType, StringType, out, fn, (returns) => `${where}: \`${role}\` returns ${what} — and this one returns ${returns}`);
+}
+/**
+ * A row of the record's type, field by field: each field `set` names from it,
+ * every other from `source`.
+ *
+ * @param rowType - The record's row type
+ * @param source - The row, or a card's values, the other fields are read from
+ * @param set - The fields written, by name
+ * @returns The row
+ */
+export function rowWith(rowType, source, set) {
+    return East.value(Object.fromEntries(Object.keys(rowType.fields).map((f) => [f, set[f] ?? fieldOf(source, f)])), rowType);
+}
+/**
+ * The row's fields less those its roles write on a drop: what a card's values
+ * give.
+ *
+ * @param rowType - The record's row type
+ * @param placed - The fields a drop writes
+ * @returns The values' type
+ */
+export function valuesTypeOf(rowType, placed) {
+    return StructType(Object.fromEntries(Object.entries(rowType.fields).filter(([name]) => !placed.includes(name))));
+}
+/**
+ * An accessor's value for a row, bound in the block; `otherwise` for a kind
+ * with no such accessor.
+ *
+ * @typeParam T - The type the accessor returns
+ * @param $ - The block
+ * @param fn - The accessor, reified; `undefined` for none
+ * @param row - The row
+ * @param key - Its key
+ * @param wrap - What the value becomes
+ * @param otherwise - The value without the accessor
+ * @returns The value
+ */
+export function called($, fn, row, key, wrap, otherwise) {
+    if (fn === undefined)
+        return otherwise;
+    const bound = $.const(fn);
+    return wrap(bound(row, key));
+}
+// ============================================================================
+// The rows
+// ============================================================================
+/**
+ * A kind's stored rows a read holds, by key: each one's roles, read in the
+ * pass that reads the row, beside its bytes. The renderer puts its drafts in
+ * place itself.
+ *
+ * @param read - The kind's read: whole, or through its source
+ * @param rolesOf - A row's roles, from it and its key
+ * @param EntryType - A stored row's type: its roles beside its bytes
+ * @returns `()` → the rows, by key; `none` while the read is in flight
+ */
+export function storedRows(read, rolesOf, EntryType) {
+    const Rows = DictType(StringType, EntryType);
+    return East.function([], OptionType(Rows), ($) => {
+        const readRows = $.const(read);
+        const roles = $.const(rolesOf);
+        const result = $.let(East.value(none, OptionType(Rows)), OptionType(Rows));
+        $.match(readRows(), {
+            some: ($2, held) => {
+                const out = $2.let(new Map(), Rows);
+                $2.for(held, ($3, row, key) => {
+                    $3(out.insert(key, East.value({ roles: roles(row, key), row: East.Blob.encodeBeast(row, "v2") }, EntryType)));
+                });
+                $2.assign(result, some(out));
+            },
+        });
+        return result;
+    });
+}
+/**
+ * The rows a reader read of a record by area or by key, made its stored rows
+ * (#1393): each row's roles, read in the pass that reads it, beside its bytes,
+ * as `rows` gives them — from the rows as beast2 bytes of an `Array` of
+ * `{ key, row }` at the record's row type, which the reader encodes from what
+ * it read.
+ *
+ * @param rowType - The record's row type
+ * @param rolesOf - A row's roles, from it and its key
+ * @param EntryType - A stored row's type: its roles beside its bytes
+ * @returns `(bytes)` → the rows, by key
+ */
+export function rowsReadOf(rowType, rolesOf, EntryType) {
+    const Read = ArrayType(StructType({ key: StringType, row: rowType }));
+    const Rows = DictType(StringType, EntryType);
+    return East.function([BlobType], Rows, ($, bytes) => {
+        const roles = $.const(rolesOf);
+        const read = $.const(bytes.decodeBeast(Read, "v2"));
+        const out = $.let(new Map(), Rows);
+        $.for(read, ($2, entry) => {
+            $2(out.insert(entry.key, East.value({ roles: roles(entry.row, entry.key), row: East.Blob.encodeBeast(entry.row, "v2") }, EntryType)));
+        });
+        return out;
+    });
+}
+/**
+ * A drafted row's roles, from its bytes and its key: what `rows` gives a
+ * stored one.
+ *
+ * @param rowType - The record's row type
+ * @param rolesOf - A row's roles, from it and its key
+ * @param RolesType - The roles' type
+ * @returns `(bytes, key)` → the roles
+ */
+export function readOf(rowType, rolesOf, RolesType) {
+    return East.function([BlobType, StringType], RolesType, ($, bytes, key) => {
+        const roles = $.const(rolesOf);
+        return roles(bytes.decodeBeast(rowType, "v2"), key);
+    });
+}
+/**
+ * The app's check over drafted rows, one result each; a check that throws
+ * refuses its own row alone.
+ *
+ * @param rowType - The record's row type
+ * @param ready - The app's check over a row and its key
+ * @returns The check over bytes; `undefined` for none
+ */
+export function readyOf(rowType, ready) {
+    if (ready === undefined)
+        return undefined;
+    const author = East.function([rowType, StringType], EditingReadinessType, ($, row, key) => $.const(ready(row, key), EditingReadinessType));
+    return East.function([ArrayType(ScheduleReadyEntryType)], ArrayType(EditingReadinessType), ($, batch) => {
+        const check = $.const(author);
+        return batch.map(($2, item) => {
+            const result = $2.let(variant("ready", null), EditingReadinessType);
+            $2.try(($3) => {
+                $3.assign(result, check(item.entry.decodeBeast(rowType, "v2"), item.id));
+            }).catch(($3, message) => {
+                $3.assign(result, variant("invalid", [{ field: "", message: East.str `Readiness check failed: ${message}` }]));
+            });
+            return result;
+        });
+    });
+}
+/**
+ * The row with each of a card's field writes applied in order, and every other
+ * field as it was (#1390): what an author's card dropped on a row sets — the
+ * fields its patch sets, each a field at any depth, its value as bytes at the
+ * field's type — through the setter Schedule's kinds write an inspector's edit
+ * with (`fieldSetters`).
+ *
+ * @param rowType - The record's row type
+ * @returns `(bytes, writes)` → the row written; `none` when a write names no field of the row
+ */
+export function rowSetter(rowType) {
+    const setters = fieldSetters(rowType);
+    return East.function([BlobType, ArrayType(ScheduleFieldWriteType)], OptionType(BlobType), ($, bytes, writes) => {
+        // Each setter's path as East holds it: a field is named by its steps, never by text a dotted name could mimic.
+        const fns = setters.map((setter) => ({ path: $.const([...setter.path], ArrayType(StringType)), set: $.const(setter.set) }));
+        const row = $.let(bytes.decodeBeast(rowType, "v2"), rowType);
+        const named = $.let(true);
+        $.for(writes, ($2, write) => {
+            const found = $2.let(false);
+            for (const fn of fns) {
+                $2.if(East.equal(write.path, fn.path), ($3) => {
+                    $3.assign(row, fn.set(row, write.value));
+                    $3.assign(found, true);
+                });
+            }
+            $2.if(found.not(), ($3) => { $3.assign(named, false); });
+        });
+        return named.ifElse((_$2) => East.value(some(East.Blob.encodeBeast(row, "v2")), OptionType(BlobType)), (_$2) => East.value(none, OptionType(BlobType)));
+    });
+}
+/**
+ * A record's side of a kind on the wire ({@link KindSideFields}): whether it
+ * is editable, its session and its read by key, its history, its form, its
+ * own Details, the app's check, and the setter an author's card writes its
+ * fields through.
+ *
+ * @typeParam R - The record's row type
+ * @param bound - The record's binding
+ * @param entries - Its `entries`, checked
+ * @param byKey - The paged read its rows are read by key through, if any
+ * @param config - Its form's hints, its check and its own Details
+ * @param omitted - The fields its roles write, which its form leaves out
+ * @param where - The kind, as a refusal names it
+ * @returns The fields every kind carries
+ * @throws {Error} As `Fields.specs`, `rowInspector` and the patch door's check refuse
+ */
+export function recordSide(bound, entries, byKey, config, omitted, where) {
+    const rowType = bound.rowType;
+    const form = Fields.specs(rowType, (config.fields ?? {}), [...new Set(omitted.filter((name) => name !== undefined))]);
+    const inspector = config.inspector === undefined ? undefined : rowInspector(config.inspector, rowType, `${where}: \`inspector\` is the kind's own Details — an East.function over the row and its writer: ` +
+        "East.function([RowType, FunctionType([RowType], NullType)], UIComponentType, ($, row, update) => …), RowType the record's row");
+    // Typed over the kind's row, as its author wrote it: called over the row the check decodes.
+    const ready = readyOf(rowType, config.ready);
+    let editing = none;
+    let seam;
+    let history = none;
+    if (bound.form === "record") {
+        // The shared session over the record (Schedule's `session.ts`): whole-entry drafts, keyed batches, Save through
+        // its patch door — its base the record's snapshot, or, read through a source, its revision.
+        const session = scheduleRecordSession(bound.handle, StringType, rowType, byKey === undefined ? undefined : entries);
+        const built = session.build();
+        editing = some(built.editing);
+        seam = built.entries;
+        history = some(session.history);
+    }
+    else if (byKey !== undefined) {
+        // Read only through `Data.bindPaged`: the record read by key through that binding itself.
+        seam = scheduleEntriesSeam(byKey, scheduleEntryByKey(byKey, StringType, rowType), scheduleLastKey(byKey, StringType));
+    }
+    return {
+        editable: bound.form === "record",
+        editing,
+        entries: seam ?? East.value(none, OptionType(ScheduleEntriesType)),
+        history,
+        fields: East.value(form, ArrayType(FieldSpecType)),
+        inspector: inspector === undefined ? East.value(none, OptionType(RowInspectorType)) : some(inspector),
+        ready: ready === undefined ? none : some(ready),
+        set: rowSetter(rowType),
+        rowType: toEastTypeValue(rowType),
+    };
+}
+//# sourceMappingURL=record-kind.js.map

package/dist/src/utils/record-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-kind.js","sourceRoot":"","sources":["../../../src/utils/record-kind.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EACnI,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,GAE/D,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD,OAAO,EACH,oBAAoB,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,uBAAuB,GAE9H,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC3G,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEpE,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;AAK7F,gEAAgE;AAChE,MAAM,CAAC,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAKhH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC1B,QAAQ,EAAE,WAAW;IACrB,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC;IAChC,OAAO,EAAE,UAAU,CAAC,mBAAmB,CAAC;IACxC,OAAO,EAAE,UAAU,CAAC,eAAe,CAAC;IACpC,MAAM,EAAE,SAAS,CAAC,aAAa,CAAC;IAChC,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC;IACvC,KAAK,EAAE,UAAU,CAAC,aAAa,CAAC;IAChC,GAAG,EAAE,YAAY,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtF,OAAO,EAAE,YAAY;CACf,CAAC;AA6BX;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,MAA0B,EAAE,OAAmB;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAI,MAAgF,CAAC,IAAI,CAAC;IACpG,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAA4B,CAAC;AAC9H,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,cAAc,CAAC,IAA0B,EAAE,MAAc,EAAE,OAAmB,EAAE,KAAa,EAAE,KAAc,EAAE,MAAc;IACzI,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAuB,CAAa,CAAC;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAkC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,UAAU,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,WAAW,GAAG,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAkC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpG,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;IAChG,8GAA8G;IAC9G,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1G,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACnG,MAAM,KAAK,GAAG,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,mBAAmB,CAAC;WACjH,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,WAAW,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;WACpH,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;IAC5F,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxJ,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,MAAM,8BAA8B,MAAM,IAAI;YAC3F,gFAAgF,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,UAAoG,CAAC;IACrH,MAAM,MAAM,GAAG,GAAG,KAAK,yBAAyB,MAAM,gFAAgF,CAAC;IACvI,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;QAC7C,iGAAiG;QACjG,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAMnB,CAAC,CAAC;QACL,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9C,8GAA8G;QAC9G,0GAA0G;QAC1G,gBAAgB;QAChB,IAAI,KAA2C,CAAC;QAChD,IAAI,KAAK,EAAE,CAAC;YACR,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,mBAAmB,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9B,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,mBAAmB,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE;YACpF,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE;gBAClB,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;gBACrC,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBACtB,IAAI,MAAM,EAAE,CAAC;wBACT,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE;4BACZ,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAY,CAAC,CAAC,CAAC,CAAC,CAAC;4BAC5D,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE;gCACT,IAAI,OAAO;oCAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAc,CAAC,CAAC,CAAC;;oCACjD,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;4BAC1B,CAAC;yBACJ,CAAC,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACJ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAc,CAAC,CAAC,CAAC;oBAC7C,CAAC;gBACL,CAAC,CAAC,CAAC;gBACH,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAClC,CAAC;SACJ,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC,CAA4B,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,OAAmB,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAkC,CAAC;IAC1D,OAAO,CAAC,IAAY,EAAE,IAAY,EAAY,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,aAAa,IAAI,qCAAqC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpJ,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,OAAmB,EAAE,KAAa;IACxD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,CAAC,IAAY,EAAE,IAAwB,EAAE,IAAc,EAAE,IAAY,EAAsB,EAAE;QAChG,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,YAAY,IAAI,OAAO,IAAI,WAAW,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzH,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,YAAY,CAAqB,OAAmB,EAAE,KAAa,EAAE,IAAY,EAAE,GAAM,EAAE,IAAY,EAAE,EAAW;IAChI,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,oCAAoC,IAAI,EAAE,CAAC,CAAC;IAC7G,OAAO,gBAAgB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,EAAiF,EAC/H,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,KAAK,OAAO,IAAI,cAAc,IAAI,2BAA2B,OAAO,EAAE,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAC,OAAmB,EAAE,MAAe,EAAE,GAAsC;IAChG,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAU,EAAE,OAAO,CAAuB,CAAC;AAC7J,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,OAAmB,EAAE,MAAyB;IACvE,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAkC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACjJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,MAAM,CAClB,CAAyC,EAAE,EAA+D,EAAE,GAAY,EAAE,GAAY,EACtI,IAAqC,EAAE,SAAkB;IAEzD,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAgD,CAAC;IACzE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,+EAA+E;AAC/E,WAAW;AACX,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACtB,IAA4E,EAC5E,OAAiE,EAAE,SAAqB;IAExF,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;QAC7C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE;YAChB,IAAI,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;gBACf,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;gBACpC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;oBAC1B,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAY,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAyB,EAAE,IAAI,CAAC,EAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC1J,CAAC,CAAC,CAAC;gBACH,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,CAAC;SACJ,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,OAAiE,EAAE,SAAqB;IACpI,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACtB,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAY,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,GAAyB,EAAE,IAAI,CAAC,EAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QAClL,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACf,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM,CAAC,OAAmB,EAAE,OAAiE,EAAE,SAAqB;IAChI,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QACtE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAU,EAAE,GAAG,CAAU,CAAC;IAC1E,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CAAC,OAAmB,EAAE,KAAsF;IAC/H,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CACtF,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAoD,EAAE,oBAAoB,CAAC,CAAC,CAAC;IACvG,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACpG,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;YAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;YACpE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;gBACV,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE;gBACrB,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAA,2BAA2B,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAClH,CAAC,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAClB,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,OAAmB;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;QAC3G,+GAA+G;QAC/G,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5H,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAuB,EAAE,OAAO,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACxB,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACnB,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;oBAC1C,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAU,CAAC,CAAC;oBAClD,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC3B,CAAC,CAAC,CAAC;YACP,CAAC;YACD,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,MAAM,CACf,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,EACjF,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAClD,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAuBD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CAAuB,KAAkB,EAAE,OAAuC,EAAE,KAAqC,EAAE,MAAqB,EACtK,OAAwC,EAAE,KAAa;IACvD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAU,EAC7D,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAU,CAAC,CAAC;IACzF,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,EACjG,GAAG,KAAK,4FAA4F;QACpG,+HAA+H,CAAC,CAAC;IACrI,4FAA4F;IAC5F,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,KAAc,CAAC,CAAC;IACtD,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,IAAI,IAAa,CAAC;IAClB,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,gHAAgH;QAChH,4FAA4F;QAC5F,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpH,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;QACrB,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,0FAA0F;QAC1F,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO;QACH,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,QAAQ;QACjC,OAAO;QACP,OAAO,EAAE,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,mBAAmB,CAAC,CAAC;QAClE,OAAO;QACP,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QAClD,SAAS,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QACrG,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/C,GAAG,EAAE,SAAS,CAAC,OAAO,CAAC;QACvB,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;KACpC,CAAC;AACN,CAAC"}

package/dist/src/utils/views.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The `views` prop of a component that switches between views: which of them an
+ * instance offers. Each entry is a literal tag (`"people"`) or a value or an
+ * expression of the component's view variant, or the whole list is an expression
+ * of an array of it, so a page's own state can choose them as it runs. The list
+ * chooses and the component orders: its switch shows in its own order, whatever
+ * order the entries come in. One view left, no switch shows at all.
+ *
+ * Nothing is left out by an empty list. Written in the code, one is refused, as
+ * saying nothing; read as a page runs — a multi-select with nothing chosen — it
+ * means every view, as leaving the prop out does.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, type SubtypeExprOrValue, type VariantType } from "@elaraai/east";
+/**
+ * Which views an instance offers: literal tags or variants, or an expression of an array of the variant.
+ *
+ * @typeParam V - The component's view variant
+ * @typeParam L - Its tags, as literals
+ */
+export type ViewsProp<V extends VariantType, L extends string> = readonly (L | SubtypeExprOrValue<V>)[] | SubtypeExprOrValue<ArrayType<V>>;
+/**
+ * The tags a `views` prop lists, where the code spells every one.
+ *
+ * @param given - The prop
+ * @returns Its tags; `undefined` for a prop left out, or one holding anything read as the page runs
+ */
+export declare function literalViews(given: unknown): readonly string[] | undefined;
+/**
+ * The first view a component opens on, where its author named none: the first of its own order the code's `views` lists.
+ *
+ * @param order - The component's views, in its switch's order
+ * @param given - The `views` prop
+ * @returns The view; the component's first where the prop lists no literal tags
+ */
+export declare function firstView<L extends string>(order: readonly L[], given: unknown): L;
+/**
+ * The `views` prop as the payload holds it: every entry a case of the variant, an empty array meaning every view.
+ *
+ * @param builder - The component's name, for what a refusal says
+ * @param type - The component's view variant
+ * @param given - The prop
+ * @param opening - The view the author opens the component on, when the code names one
+ * @param prop - The prop's name, for what a refusal says
+ * @returns The array of the variant
+ * @throws {Error} Naming the change to make: an empty list written in the code, a literal tag that is no view of the
+ *   component, or an `opening` view the code's list leaves out
+ */
+export declare function viewsProp<V extends VariantType, L extends string>(builder: string, type: V, given: ViewsProp<V, L> | undefined, opening?: L, prop?: string): SubtypeExprOrValue<ArrayType<V>>;
+//# sourceMappingURL=views.d.ts.map

package/dist/src/utils/views.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.d.ts","sourceRoot":"","sources":["../../../src/utils/views.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,SAAS,EAAgC,KAAK,kBAAkB,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAEnH;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3I;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAE1E;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,CAGlF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,GAAE,MAAgB,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAetM"}

package/dist/src/utils/views.js

@@ -0,0 +1,72 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The `views` prop of a component that switches between views: which of them an
+ * instance offers. Each entry is a literal tag (`"people"`) or a value or an
+ * expression of the component's view variant, or the whole list is an expression
+ * of an array of it, so a page's own state can choose them as it runs. The list
+ * chooses and the component orders: its switch shows in its own order, whatever
+ * order the entries come in. One view left, no switch shows at all.
+ *
+ * Nothing is left out by an empty list. Written in the code, one is refused, as
+ * saying nothing; read as a page runs — a multi-select with nothing chosen — it
+ * means every view, as leaving the prop out does.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, East, variant } from "@elaraai/east";
+/**
+ * The tags a `views` prop lists, where the code spells every one.
+ *
+ * @param given - The prop
+ * @returns Its tags; `undefined` for a prop left out, or one holding anything read as the page runs
+ */
+export function literalViews(given) {
+    return Array.isArray(given) && given.every(entry => typeof entry === "string") ? given : undefined;
+}
+/**
+ * The first view a component opens on, where its author named none: the first of its own order the code's `views` lists.
+ *
+ * @param order - The component's views, in its switch's order
+ * @param given - The `views` prop
+ * @returns The view; the component's first where the prop lists no literal tags
+ */
+export function firstView(order, given) {
+    const listed = literalViews(given);
+    return order.find(view => listed === undefined || listed.includes(view)) ?? order[0];
+}
+/**
+ * The `views` prop as the payload holds it: every entry a case of the variant, an empty array meaning every view.
+ *
+ * @param builder - The component's name, for what a refusal says
+ * @param type - The component's view variant
+ * @param given - The prop
+ * @param opening - The view the author opens the component on, when the code names one
+ * @param prop - The prop's name, for what a refusal says
+ * @returns The array of the variant
+ * @throws {Error} Naming the change to make: an empty list written in the code, a literal tag that is no view of the
+ *   component, or an `opening` view the code's list leaves out
+ */
+export function viewsProp(builder, type, given, opening, prop = "views") {
+    const arrayType = ArrayType(type);
+    if (given === undefined)
+        return East.value([], arrayType);
+    if (!Array.isArray(given))
+        return East.value(given, arrayType);
+    const cases = Object.keys(type.cases).map(tag => `"${tag}"`).join(", ");
+    if (given.length === 0)
+        throw new Error(`${builder}: \`${prop}\` lists at least one of ${cases} — leave it out to offer every view`);
+    for (const entry of given) {
+        if (typeof entry === "string" && !Object.hasOwn(type.cases, entry))
+            throw new Error(`${builder}: \`${prop}\` holds "${entry}", which is none of ${cases}`);
+    }
+    const listed = literalViews(given);
+    if (opening !== undefined && listed !== undefined && !listed.includes(opening)) {
+        throw new Error(`${builder}: it opens on "${opening}", and \`${prop}\` leaves it out — list it, or open on one of ${listed.map(tag => `"${tag}"`).join(", ")}`);
+    }
+    const entries = given.map(entry => typeof entry === "string" ? variant(entry, null) : entry);
+    return East.value(entries, arrayType);
+}
+//# sourceMappingURL=views.js.map

package/dist/src/utils/views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.js","sourceRoot":"","sources":["../../../src/utils/views.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAA4D,MAAM,eAAe,CAAC;AAUnH;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5H,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAmB,KAAmB,EAAE,KAAc;IAC3E,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC;AAC1F,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CAA0C,OAAe,EAAE,IAAO,EAAE,KAAkC,EAAE,OAAW,EAAE,IAAI,GAAW,OAAO;IAChK,MAAM,SAAS,GAAG,SAAS,CAAC,IAAgB,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAgD,CAAC;IACzG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAc,EAAE,SAAS,CAAgD,CAAC;IACvH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,OAAO,IAAI,4BAA4B,KAAK,qCAAqC,CAAC,CAAC;IACrI,KAAK,MAAM,KAAK,IAAI,KAA2B,EAAE,CAAC;QAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,OAAO,IAAI,aAAa,KAAK,uBAAuB,KAAK,EAAE,CAAC,CAAC;IAC/J,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,kBAAkB,OAAO,YAAY,IAAI,iDAAiD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpK,CAAC;IACD,MAAM,OAAO,GAAI,KAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAgB,EAAE,SAAS,CAAgD,CAAC;AAClG,CAAC"}