@assemora/data 0.1.0

package/dist/pivot.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Pivot operations (SPEC.md §24).
+ *
+ * `belongsToMany` is the one relation that stores nothing on either table it links, so
+ * `user.roles` is the only handle there is on the join table. It is an array carrying
+ * three verbs: the array is what a read loaded, the verbs write to the join table
+ * whether or not anything was loaded, and both are true of the same value at once.
+ *
+ * The verbs are non-enumerable, so `Object.keys(user)`, `{ ...user }` and
+ * `JSON.stringify(user)` see exactly what they saw before there were any. Every write is
+ * an ordinary insert, delete or select through the Query AST, against the table
+ * `@assemora/database` derives — no adapter method and no operation is added for a
+ * pivot, because a link table is a table (ADR-0001, ADR-0013).
+ */
+import type { RelationDescriptor, TableDescriptor } from '@assemora/database';
+import type { Fields } from './query.js';
+/**
+ * What a key column holds.
+ *
+ * A relation's target type is erased so that two models may reference each other
+ * (ADR-0010), so an id cannot be typed as the target's primary key. This is as narrow
+ * as it can honestly be — every column type a primary key is declared with — and it
+ * still refuses `null`, `undefined` and an object that was meant to be its own id.
+ */
+export type RelatedKey = string | number | bigint;
+/**
+ * One side of a many-to-many, as SPEC.md §24 writes it:
+ *
+ * ```ts
+ * await user.roles.attach(roleId)
+ * await user.roles.detach(roleId)
+ * await user.roles.sync([adminId, editorId])
+ * ```
+ *
+ * The rows are what `.with('roles')` returned — rows, not instances, because the type
+ * of the other side is erased (ADR-0010). `readonly` on purpose: pushing into this
+ * array would look like attaching and would write nothing.
+ */
+export type PivotRelation<Row = Record<string, unknown>> = readonly Row[] & {
+    /**
+     * Whether these rows came from a read that nothing has moved since.
+     *
+     * Without it an empty array would mean both "this row is linked to nothing" and
+     * "nobody asked", which are different facts. A write puts it back to `false` — on
+     * every array this relation has handed out, the ones a caller is still holding
+     * included — because what was read is no longer what is stored, and a stale view
+     * that still called itself loaded would be the same lie one step later.
+     */
+    readonly isLoaded: boolean;
+    /** Links these, ignoring the ones already linked. */
+    attach(ids: RelatedKey | readonly RelatedKey[]): Promise<void>;
+    /** Unlinks these. Unlinking something that was never linked is not an error. */
+    detach(ids: RelatedKey | readonly RelatedKey[]): Promise<void>;
+    /** The links become exactly these and nothing else, in one transaction. */
+    sync(ids: readonly RelatedKey[]): Promise<void>;
+};
+/**
+ * The relations a join table stores, which are the only ones with pivot verbs.
+ *
+ * Matched on `kind` rather than on `Relation<'belongsToMany'>` so that a column, which
+ * has no `kind` at all, is excluded by the same test.
+ */
+export type PivotFields<F extends Fields> = {
+    readonly [K in keyof F as F[K] extends {
+        readonly kind: 'belongsToMany';
+    } ? K : never]: PivotRelation;
+};
+/** What a pivot needs to reach its join table, resolved at the moment it is used. */
+export type PivotContext = {
+    readonly owner: TableDescriptor;
+    readonly relation: RelationDescriptor;
+    /**
+     * The row the links belong to. The live instance, not a copy: `create()` builds one
+     * before it has an id, and the address has to be taken against what it holds now.
+     */
+    readonly row: Readonly<Record<string, unknown>>;
+    readonly related: () => Readonly<Record<string, TableDescriptor>>;
+};
+/**
+ * Puts `user.roles` on a model instance (SPEC.md §24).
+ *
+ * Takes over whatever a read left under the relation's name, so the loaded rows and the
+ * verbs are one value rather than two ways of spelling the same relation.
+ */
+export declare const definePivot: (target: object, context: PivotContext) => void;
+//# sourceMappingURL=pivot.d.ts.map

package/dist/pivot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pivot.d.ts","sourceRoot":"","sources":["../src/pivot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAgB,kBAAkB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAG3F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAGxC;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,SAAS,GAAG,EAAE,GAAG;IAC1E;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,qDAAqD;IACrD,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC9D,gFAAgF;IAChF,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC9D,2EAA2E;IAC3E,IAAI,CAAC,GAAG,EAAE,SAAS,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAChD,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI;IAC1C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;KAAE,GACrE,CAAC,GACD,KAAK,GAAG,aAAa;CAC1B,CAAA;AAED,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAA;IACrC;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;CAClE,CAAA;AA0BD;;;;;GAKG;AACH,eAAO,MAAM,WAAW,WAAY,MAAM,WAAW,YAAY,KAAG,IA6JnE,CAAA"}

package/dist/pivot.js

@@ -0,0 +1,145 @@
+import { comparison, emptyQuery, pivotAddress } from '@assemora/database';
+import { execute, transaction } from './runtime.js';
+/**
+ * Compared as text, because a key that came back from the database may be a number
+ * where the caller wrote a string, and two links to the same record are one link.
+ */
+const keyOf = (value) => String(value);
+/** The same id twice is one link, so it is asked for once. */
+const distinct = (ids) => [
+    ...new Map(ids.map((id) => [keyOf(id), id])).values(),
+];
+/** One id or several: a key is a primitive, so anything else is the list of them. */
+const asKeys = (ids) => typeof ids === 'object' ? distinct(ids) : [ids];
+/**
+ * What a read left on the row for this relation.
+ *
+ * Cast rather than inferred: an adapter answers with rows of the target table, and
+ * naming that type here would need the target's type, which ADR-0010 erases.
+ */
+const loadedRows = (value) => Array.isArray(value) ? value : undefined;
+/**
+ * Puts `user.roles` on a model instance (SPEC.md §24).
+ *
+ * Takes over whatever a read left under the relation's name, so the loaded rows and the
+ * verbs are one value rather than two ways of spelling the same relation.
+ */
+export const definePivot = (target, context) => {
+    const name = context.relation.name;
+    const initial = loadedRows(target[name]);
+    let loaded = initial !== undefined;
+    /**
+     * Puts one array — the rows, carrying the three verbs — under the relation's name.
+     *
+     * Every array it ever publishes keeps the verbs and reads `isLoaded` off the same
+     * flag, so a caller holding an older one can still write through it and is still
+     * told that what it holds has been overtaken.
+     */
+    const publish = (rows) => {
+        const items = [...rows];
+        Object.defineProperties(items, {
+            isLoaded: { enumerable: false, configurable: true, get: () => loaded },
+            attach: { enumerable: false, configurable: true, value: verbs.attach },
+            detach: { enumerable: false, configurable: true, value: verbs.detach },
+            sync: { enumerable: false, configurable: true, value: verbs.sync },
+        });
+        Object.defineProperty(target, name, {
+            // Enumerable exactly when it holds what a read returned, so `Object.keys(user)`
+            // and `{ ...user }` show a loaded relation and nothing more — which is what they
+            // showed before this relation had verbs to carry.
+            enumerable: loaded,
+            configurable: true,
+            writable: false,
+            value: items,
+        });
+    };
+    /**
+     * A write makes the loaded view a claim about a state the database has left.
+     *
+     * The rows are replaced rather than emptied where they lie. `user.roles` is an array
+     * the caller may already be holding — `for (const role of user.roles) await
+     * user.roles.detach(role.id)` binds it once — and truncating it mid-iteration ended
+     * that loop after its first row with the rest still linked and nothing thrown. A
+     * value handed out is the caller's; what a write invalidates is the answer to the
+     * next read of `user.roles`, and `isLoaded`, which goes false on every array at once.
+     *
+     * Unconditional, even where the write turned out to change nothing: whether a delete
+     * matched a row is not part of the adapter contract, and a view that is sometimes
+     * still loaded after `attach` would be a rule nobody could state.
+     */
+    const invalidate = () => {
+        loaded = false;
+        publish([]);
+    };
+    const address = () => pivotAddress(context.owner, context.relation, context.row, context.related()[context.relation.target]);
+    /** The keys this row is already linked to, narrowed to `only` when one is given. */
+    const linked = async (pivot, only) => {
+        const rows = await execute({
+            ...emptyQuery(pivot.table.name),
+            where: [
+                comparison(pivot.ownerColumn, '=', pivot.ownerValue),
+                ...(only === undefined ? [] : [comparison(pivot.relatedColumn, 'in', only)]),
+            ],
+        }, { table: pivot.table });
+        return new Map(rows.map((row) => [keyOf(row[pivot.relatedColumn]), row[pivot.relatedColumn]]));
+    };
+    const link = (pivot, id) => execute({
+        ...emptyQuery(pivot.table.name, 'insert'),
+        data: { [pivot.ownerColumn]: pivot.ownerValue, [pivot.relatedColumn]: id },
+    }, { table: pivot.table });
+    const unlink = (pivot, ids) => execute({
+        ...emptyQuery(pivot.table.name, 'delete'),
+        where: [
+            comparison(pivot.ownerColumn, '=', pivot.ownerValue),
+            comparison(pivot.relatedColumn, 'in', ids),
+        ],
+    }, { table: pivot.table });
+    const verbs = {
+        async attach(ids) {
+            const wanted = asKeys(ids);
+            if (wanted.length === 0)
+                return;
+            // Read first rather than let the unique constraint refuse the second row: only
+            // one adapter holds constraints, and both have to answer the same way (ADR-0013).
+            // The transaction is for the writes that follow, not for the read — two callers
+            // attaching at once still race, and the constraint is what settles that.
+            await transaction(async () => {
+                const pivot = address();
+                const held = await linked(pivot, wanted);
+                for (const id of wanted) {
+                    if (!held.has(keyOf(id)))
+                        await link(pivot, id);
+                }
+            });
+            invalidate();
+        },
+        async detach(ids) {
+            const going = asKeys(ids);
+            if (going.length === 0)
+                return;
+            // One statement, so it is already one act. Deleting rows that are not there
+            // deletes nothing, which is what detaching something unattached should mean.
+            await unlink(address(), going);
+            invalidate();
+        },
+        async sync(ids) {
+            const wanted = distinct(ids);
+            // No early return on an empty list: `sync([])` says the links are now none.
+            await transaction(async () => {
+                const pivot = address();
+                const held = await linked(pivot);
+                const keep = new Set(wanted.map(keyOf));
+                const going = [...held].filter(([key]) => !keep.has(key)).map(([, value]) => value);
+                if (going.length > 0)
+                    await unlink(pivot, going);
+                for (const id of wanted) {
+                    if (!held.has(keyOf(id)))
+                        await link(pivot, id);
+                }
+            });
+            invalidate();
+        },
+    };
+    publish(initial ?? []);
+};
+//# sourceMappingURL=pivot.js.map

package/dist/pivot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pivot.js","sourceRoot":"","sources":["../src/pivot.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGzE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAoEnD;;;GAGG;AACH,MAAM,KAAK,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAEvD,8DAA8D;AAC9D,MAAM,QAAQ,GAAG,CAAC,GAA0B,EAAyB,EAAE,CAAC;IACtE,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE;CACtD,CAAA;AAED,qFAAqF;AACrF,MAAM,MAAM,GAAG,CAAC,GAAuC,EAAyB,EAAE,CAChF,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,KAAc,EAAkD,EAAE,CACpF,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAA4C,CAAC,CAAC,CAAC,SAAS,CAAA;AAElF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,OAAqB,EAAQ,EAAE;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA;IAClC,MAAM,OAAO,GAAG,UAAU,CAAE,MAAkC,CAAC,IAAI,CAAC,CAAC,CAAA;IAErE,IAAI,MAAM,GAAG,OAAO,KAAK,SAAS,CAAA;IAElC;;;;;;OAMG;IACH,MAAM,OAAO,GAAG,CAAC,IAAwC,EAAQ,EAAE;QACjE,MAAM,KAAK,GAA8B,CAAC,GAAG,IAAI,CAAC,CAAA;QAElD,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE;YAC7B,QAAQ,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE;YACtE,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE;YACtE,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE;YACtE,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;SACnE,CAAC,CAAA;QAEF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE;YAClC,gFAAgF;YAChF,iFAAiF;YACjF,kDAAkD;YAClD,UAAU,EAAE,MAAM;YAClB,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,KAAK;SACb,CAAC,CAAA;IACJ,CAAC,CAAA;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,UAAU,GAAG,GAAS,EAAE;QAC5B,MAAM,GAAG,KAAK,CAAA;QACd,OAAO,CAAC,EAAE,CAAC,CAAA;IACb,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,GAAiB,EAAE,CACjC,YAAY,CACV,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,GAAG,EACX,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC3C,CAAA;IAEH,oFAAoF;IACpF,MAAM,MAAM,GAAG,KAAK,EAClB,KAAmB,EACnB,IAA4B,EACG,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,OAAO,CACxB;YACE,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YAC/B,KAAK,EAAE;gBACL,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC;gBACpD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;aAC7E;SACF,EACD,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CACvB,CAAA;QAED,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;IAChG,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,CAAC,KAAmB,EAAE,EAAc,EAAoB,EAAE,CACrE,OAAO,CACL;QACE,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC;QACzC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE;KAC3E,EACD,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CACvB,CAAA;IAEH,MAAM,MAAM,GAAG,CAAC,KAAmB,EAAE,GAAuB,EAAoB,EAAE,CAChF,OAAO,CACL;QACE,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC;QACzC,KAAK,EAAE;YACL,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC;YACpD,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC;SAC3C;KACF,EACD,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CACvB,CAAA;IAEH,MAAM,KAAK,GAAG;QACZ,KAAK,CAAC,MAAM,CAAC,GAAuC;YAClD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;YAE1B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAM;YAE/B,+EAA+E;YAC/E,kFAAkF;YAClF,gFAAgF;YAChF,yEAAyE;YACzE,MAAM,WAAW,CAAC,KAAK,IAAI,EAAE;gBAC3B,MAAM,KAAK,GAAG,OAAO,EAAE,CAAA;gBACvB,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;gBAExC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;wBAAE,MAAM,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC,CAAC,CAAA;YAEF,UAAU,EAAE,CAAA;QACd,CAAC;QAED,KAAK,CAAC,MAAM,CAAC,GAAuC;YAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;YAEzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAM;YAE9B,4EAA4E;YAC5E,6EAA6E;YAC7E,MAAM,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,CAAA;YAE9B,UAAU,EAAE,CAAA;QACd,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAA0B;YACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;YAE5B,4EAA4E;YAC5E,MAAM,WAAW,CAAC,KAAK,IAAI,EAAE;gBAC3B,MAAM,KAAK,GAAG,OAAO,EAAE,CAAA;gBACvB,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAA;gBAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;gBACvC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;gBAEnF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,MAAM,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBAEhD,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;wBAAE,MAAM,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC,CAAC,CAAA;YAEF,UAAU,EAAE,CAAA;QACd,CAAC;KACF,CAAA;IAED,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAA;AACxB,CAAC,CAAA"}

package/dist/query.d.ts

@@ -0,0 +1,170 @@
+import type { ComparisonOperator, Condition, Order, QueryAst, RelationLoad, SortDirection, TableDescriptor } from '@assemora/database';
+import type { AnyColumn, ColumnValue } from './columns.js';
+import type { Relation } from './relations.js';
+export type Fields = Readonly<Record<string, AnyColumn | Relation>>;
+type ColumnFields<F extends Fields> = {
+    [K in keyof F as F[K] extends {
+        readonly node: 'column';
+    } ? K : never]: F[K];
+};
+type RelationFields<F extends Fields> = {
+    [K in keyof F as F[K] extends {
+        readonly node: 'relation';
+    } ? K : never]: F[K];
+};
+/** The names a `where` may address. */
+export type FieldName<F extends Fields> = keyof ColumnFields<F> & string;
+/** The names a `with` may load. */
+export type RelationName<F extends Fields> = keyof RelationFields<F> & string;
+export type FieldValue<F extends Fields, K extends FieldName<F>> = ColumnValue<ColumnFields<F>[K]>;
+/** The names a pattern match may address: `like` is meaningless off a string. */
+export type TextFieldName<F extends Fields> = keyof {
+    [K in keyof ColumnFields<F> as ColumnFields<F>[K] extends {
+        readonly schema: {
+            parse(value: unknown): {
+                ok: true;
+                value: string;
+            } | {
+                ok: false;
+            };
+        };
+    } ? K : never]: true;
+} & string;
+/** The names a JSON operator may address (SPEC.md §38). */
+export type JsonFieldName<F extends Fields> = keyof {
+    [K in keyof ColumnFields<F> as ColumnFields<F>[K] extends {
+        readonly isJson: true;
+    } ? K : never]: true;
+} & string;
+/** The record a model produces (SPEC.md §18). */
+export type InferRecord<F extends Fields> = {
+    [K in keyof ColumnFields<F>]: ColumnValue<ColumnFields<F>[K]>;
+};
+/** A relation to load: a declared name, optionally followed by a nested path. */
+export type RelationPath<F extends Fields> = RelationName<F> | `${RelationName<F>}.${string}`;
+export type Cursor<T> = {
+    readonly data: readonly T[];
+    /** Pass back as `after` to fetch the next page; `null` at the end. */
+    readonly nextCursor: unknown;
+};
+export type Page<T> = {
+    readonly data: readonly T[];
+    readonly total: number;
+    readonly page: number;
+    readonly perPage: number;
+    readonly lastPage: number;
+};
+export type QueryState = {
+    /**
+     * Resolved lazily: two models may reference each other, so a relation's target
+     * must not be touched while the models are still being declared.
+     */
+    readonly table: () => TableDescriptor;
+    readonly where: readonly Condition[];
+    readonly order: readonly Order[];
+    readonly load: readonly RelationLoad[];
+    readonly limit: number | undefined;
+    readonly offset: number | undefined;
+    readonly trashed: 'without' | 'with' | 'only';
+    /**
+     * Which language this reads in (SPEC.md §131).
+     *
+     * `'context'` is the language of the operation, which is the default and the whole
+     * point: an application whose every query had to name a language is one where
+     * forgetting to is a page in the wrong one. Ignored entirely on a model that is not
+     * translatable.
+     */
+    readonly locale: 'context' | 'all' | {
+        readonly code: string;
+    };
+    /**
+     * Whether a row with no translation is answered in the default language instead.
+     *
+     * On, because a catalogue that showed a hundred dishes in Ukrainian and twenty in
+     * Russian is not a Russian catalogue. The row that comes back carries its own
+     * `locale`, so the answer already says which language it is actually in.
+     */
+    readonly fallback: boolean;
+};
+export type QueryRuntime<Row> = {
+    readonly related: () => Readonly<Record<string, TableDescriptor>>;
+    readonly hydrate: (row: Record<string, unknown>) => Row;
+    readonly scopes: Readonly<Record<string, (query: never) => unknown>>;
+};
+export interface Query<F extends Fields, SN extends string = never, Row = InferRecord<F>> extends PromiseLike<Row[]> {
+    where<K extends FieldName<F>>(field: K, value: FieldValue<F, K>): ScopedQuery<F, SN, Row>;
+    where<K extends FieldName<F>>(field: K, operator: ComparisonOperator, value: FieldValue<F, K>): ScopedQuery<F, SN, Row>;
+    where(filters: Partial<InferRecord<F>>): ScopedQuery<F, SN, Row>;
+    where(build: (query: ScopedQuery<F, SN, Row>) => ScopedQuery<F, SN, Row>): ScopedQuery<F, SN, Row>;
+    orWhere<K extends FieldName<F>>(field: K, value: FieldValue<F, K>): ScopedQuery<F, SN, Row>;
+    orWhere<K extends FieldName<F>>(field: K, operator: ComparisonOperator, value: FieldValue<F, K>): ScopedQuery<F, SN, Row>;
+    orWhere(build: (query: ScopedQuery<F, SN, Row>) => ScopedQuery<F, SN, Row>): ScopedQuery<F, SN, Row>;
+    whereIn<K extends FieldName<F>>(field: K, values: readonly FieldValue<F, K>[]): ScopedQuery<F, SN, Row>;
+    whereNotIn<K extends FieldName<F>>(field: K, values: readonly FieldValue<F, K>[]): ScopedQuery<F, SN, Row>;
+    whereNull<K extends FieldName<F>>(field: K): ScopedQuery<F, SN, Row>;
+    whereNotNull<K extends FieldName<F>>(field: K): ScopedQuery<F, SN, Row>;
+    whereBetween<K extends FieldName<F>>(field: K, range: readonly [FieldValue<F, K>, FieldValue<F, K>]): ScopedQuery<F, SN, Row>;
+    whereLike(field: TextFieldName<F>, pattern: string): ScopedQuery<F, SN, Row>;
+    /**
+     * Compares a key inside a JSON document: `whereJson('metadata', 'source', 'import')`.
+     *
+     * A dotted path reaches deeper — `'origin.system'`. An empty path compares the
+     * whole document, which is occasionally what you want and is why it is spelled out
+     * here rather than left to be discovered.
+     */
+    whereJson(field: JsonFieldName<F>, path: string, value: unknown): ScopedQuery<F, SN, Row>;
+    /** Asks whether a JSON document includes the given fragment. */
+    whereJsonContains(field: JsonFieldName<F>, fragment: unknown): ScopedQuery<F, SN, Row>;
+    /** Pattern-matches a key inside a JSON document, which is how search reaches it. */
+    whereJsonLike(field: JsonFieldName<F>, path: string, pattern: string): ScopedQuery<F, SN, Row>;
+    orWhereJsonLike(field: JsonFieldName<F>, path: string, pattern: string): ScopedQuery<F, SN, Row>;
+    orderBy<K extends FieldName<F>>(field: K, direction?: SortDirection): ScopedQuery<F, SN, Row>;
+    /**
+     * Newest first, by `createdAt` unless another column is named — the Eloquent
+     * shorthand SPEC.md §19 and §128 ask for. A model without `createdAt` has to name
+     * one, and says so.
+     */
+    latest(field?: FieldName<F>): ScopedQuery<F, SN, Row>;
+    oldest(field?: FieldName<F>): ScopedQuery<F, SN, Row>;
+    limit(count: number): ScopedQuery<F, SN, Row>;
+    offset(count: number): ScopedQuery<F, SN, Row>;
+    take(count: number): ScopedQuery<F, SN, Row>;
+    with(...relations: RelationPath<F>[]): ScopedQuery<F, SN, Row>;
+    withTrashed(): ScopedQuery<F, SN, Row>;
+    onlyTrashed(): ScopedQuery<F, SN, Row>;
+    /**
+     * Reads in a named language instead of the one the operation is in (SPEC.md §131).
+     *
+     * ```ts
+     * await Article.published().get()          // the language of the request
+     * await Article.inLocale('de').get()       // German, whatever the request is in
+     * ```
+     */
+    inLocale(code: string): ScopedQuery<F, SN, Row>;
+    /** Every translation of every row, in every language. */
+    allLocales(): ScopedQuery<F, SN, Row>;
+    /**
+     * Answers only what is written in this language, rather than falling back.
+     *
+     * What a translator's screen asks: "which of these has not been done yet" is a
+     * question the fallback exists to hide from everybody else.
+     */
+    withoutFallback(): ScopedQuery<F, SN, Row>;
+    get(): Promise<Row[]>;
+    first(): Promise<Row | null>;
+    firstOrFail(): Promise<Row>;
+    count(): Promise<number>;
+    exists(): Promise<boolean>;
+    paginate(page?: number, perPage?: number): Promise<Page<Row>>;
+    /** Keyset pagination over the primary key — stable while rows are inserted. */
+    cursorPaginate(perPage?: number, after?: unknown): Promise<Cursor<Row>>;
+    /** The query as data. The stable contract of SPEC.md §30. */
+    toAst(): QueryAst;
+}
+export type ScopeMethods<F extends Fields, SN extends string, Row> = {
+    [K in SN]: () => ScopedQuery<F, SN, Row>;
+};
+export type ScopedQuery<F extends Fields, SN extends string = never, Row = InferRecord<F>> = Query<F, SN, Row> & ScopeMethods<F, SN, Row>;
+export declare const createQuery: <F extends Fields, SN extends string, Row>(state: QueryState, runtime: QueryRuntime<Row>) => ScopedQuery<F, SN, Row>;
+export {};
+//# sourceMappingURL=query.d.ts.map

package/dist/query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,kBAAkB,EAClB,SAAS,EACT,KAAK,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,eAAe,EAChB,MAAM,oBAAoB,CAAA;AAW3B,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAG9C,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAA;AAEnE,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI;KACnC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CAC7E,CAAA;AAED,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI;KACrC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CAC/E,CAAA;AAED,uCAAuC;AACvC,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAA;AAExE,mCAAmC;AACnC,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAA;AAE7E,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAElG,iFAAiF;AACjF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM;KACjD,CAAC,IAAI,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QACxD,QAAQ,CAAC,MAAM,EAAE;YAAE,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG;gBAAE,EAAE,EAAE,IAAI,CAAC;gBAAC,KAAK,EAAE,MAAM,CAAA;aAAE,GAAG;gBAAE,EAAE,EAAE,KAAK,CAAA;aAAE,CAAA;SAAE,CAAA;KACxF,GACG,CAAC,GACD,KAAK,GAAG,IAAI;CACjB,GACC,MAAM,CAAA;AAER,2DAA2D;AAC3D,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM;KACjD,CAAC,IAAI,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;KAAE,GAC/E,CAAC,GACD,KAAK,GAAG,IAAI;CACjB,GACC,MAAM,CAAA;AAER,iDAAiD;AACjD,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI;KACzC,CAAC,IAAI,MAAM,YAAY,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9D,CAAA;AAED,iFAAiF;AACjF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAA;AAE7F,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAA;IAC3B,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,eAAe,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,YAAY,EAAE,CAAA;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,GAAG,MAAM,CAAA;IAC7C;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,KAAK,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9D;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;IACjE,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,CAAA;IACvD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC,CAAA;CACrE,CAAA;AAED,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,GAAG,KAAK,EAAE,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CACtF,SAAQ,WAAW,CAAC,GAAG,EAAE,CAAC;IAC1B,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACzF,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAC1B,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,kBAAkB,EAC5B,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC1B,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAChE,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAElG,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC3F,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAC5B,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,kBAAkB,EAC5B,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC1B,OAAO,CACL,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GACjE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAE1B,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAC5B,KAAK,EAAE,CAAC,EACR,MAAM,EAAE,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAClC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC1B,UAAU,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAC/B,KAAK,EAAE,CAAC,EACR,MAAM,EAAE,SAAS,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAClC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC1B,SAAS,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACpE,YAAY,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACvE,YAAY,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EACjC,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACnD,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC1B,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAE5E;;;;;;OAMG;IACH,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACzF,gEAAgE;IAChE,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACtF,oFAAoF;IACpF,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC9F,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAEhG,OAAO,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,aAAa,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC7F;;;;OAIG;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACrD,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAErD,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC7C,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC9C,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAE5C,IAAI,CAAC,GAAG,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAE9D,WAAW,IAAI,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACtC,WAAW,IAAI,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAEtC;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAC/C,yDAAyD;IACzD,UAAU,IAAI,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IACrC;;;;;OAKG;IACH,eAAe,IAAI,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;IAE1C,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAA;IACrB,KAAK,IAAI,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,CAAA;IAC5B,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,CAAA;IAC3B,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,CAAA;IACxB,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IAC7D,+EAA+E;IAC/E,cAAc,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAEvE,6DAA6D;IAC7D,KAAK,IAAI,QAAQ,CAAA;CAClB;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;KAClE,CAAC,IAAI,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,GAAG,KAAK,EAAE,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,CAChG,CAAC,EACD,EAAE,EACF,GAAG,CACJ,GACC,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;AA0D1B,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,EAAE,GAAG,SAC3D,UAAU,WACR,YAAY,CAAC,GAAG,CAAC,KACzB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAiWxB,CAAA"}