ramosedb 0.0.1 → 0.4.0

package/dist/db/query/fluent.js

@@ -0,0 +1,125 @@
+import { isComposer } from "../Composer.js";
+import { entities, ids as idsStage, is, limit as limitStage, offset as offsetStage, select as selectStage, } from "./lib.js";
+import {} from "./kernel.js";
+import { makeQueryObject, } from "./query.js";
+const entityId = (ns) => ns.id;
+const refTargetEntity = (field, source) => {
+    const schema = field.schema;
+    if (schema?._self === true)
+        return source;
+    const resolve = schema?._resolve;
+    if (typeof resolve !== "function")
+        return source;
+    const target = resolve();
+    if (isComposer(target))
+        return target;
+    return source;
+};
+export const entityShape = (ns) => {
+    const sourceId = entityId(ns);
+    const out = { id: sourceId };
+    for (const [key, field] of Object.entries(ns.fields)) {
+        const f = field;
+        if (f.valueType === "ref") {
+            const nested = f.select({ id: entityId(refTargetEntity(f, ns)) });
+            out[key] = f.cardinality === "many" ? nested : nested.optional;
+        }
+        else {
+            out[key] = f.cardinality === "many" ? field : f.optional;
+        }
+    }
+    return out;
+};
+const withDefaultShape = (pipe) => {
+    if (pipe.stages.some((s) => s.kind === "select" || s.kind === "ids"))
+        return pipe;
+    const idx = pipe.stages.findIndex((s) => s.kind === "orderBy" || s.kind === "limit" || s.kind === "offset");
+    const head = idx === -1 ? pipe : { ...pipe, stages: pipe.stages.slice(0, idx) };
+    const next = selectStage(entityShape(pipe.ns))(head);
+    return idx === -1 ? next : { ...next, stages: [...next.stages, ...pipe.stages.slice(idx)] };
+};
+const EQ_CLAUSE = new WeakMap();
+const applyEq = (pipe, ns, eq) => {
+    const kept = [...pipe.stages];
+    const prior = [];
+    while (kept.length > 0) {
+        const last = kept[kept.length - 1];
+        const clause = EQ_CLAUSE.get(last);
+        if (clause === undefined)
+            break;
+        kept.pop();
+        prior.unshift(clause);
+    }
+    const added = Object.keys(eq).map((key) => ({ key, value: eq[key] }));
+    const all = [...prior, ...added].sort((a, b) => a.key < b.key ? -1 : a.key > b.key ? 1 : 0);
+    let next = kept.length === pipe.stages.length ? pipe : { ...pipe, stages: kept };
+    for (const { key, value } of all) {
+        const attr = key === "id" ? entityId(ns) : ns.fields[key];
+        if (attr === undefined) {
+            throw new Error(`ramose/query: where({ ${key} }) — "${ns.ns}" has no field "${key}"`);
+        }
+        next = is(attr, value)(next);
+        EQ_CLAUSE.set(next.stages[next.stages.length - 1], { key, value });
+    }
+    return next;
+};
+const applyStages = (pipe, stages) => {
+    let next = pipe;
+    for (const stage of stages)
+        next = stage(next);
+    return next;
+};
+const makeFluent = (ns, pipe, stripCursor, take, seek, orders = [], limitN, offsetN) => {
+    const qv = makeQueryObject(() => withDefaultShape(pipe), stripCursor, take, seek, orders, limitN, offsetN);
+    const next = (nextPipe) => makeFluent(ns, nextPipe, stripCursor, take, seek, orders, limitN, offsetN);
+    const fluent = qv;
+    fluent.where = ((arg, ...rest) => {
+        if (arg === undefined && rest.length === 0) {
+            throw new Error("ramose/query: where() takes an equality object or one or more filter stages");
+        }
+        if (typeof arg === "function") {
+            return next(applyStages(pipe, [arg, ...rest]));
+        }
+        return next(applyEq(pipe, ns, arg));
+    });
+    fluent.select = ((shape, extra) => extra === undefined
+        ? next(selectStage(shape)(pipe))
+        : next(selectStage(shape, extra)(pipe)));
+    fluent.orderBy = (key, dir, opts) => makeFluent(ns, pipe, stripCursor, take, seek, [
+        ...orders,
+        { key, dir: dir ?? "asc", empty: opts?.empty ?? "last" },
+    ], limitN, offsetN);
+    fluent.limit = ((n) => next(limitStage(n)(pipe)));
+    fluent.offset = ((n) => next(offsetStage(n)(pipe)));
+    fluent.ids = () => makeFluent(ns, idsStage()(pipe), stripCursor, take, seek, orders, limitN, offsetN);
+    const baseOne = qv.one.bind(qv);
+    const baseFail = qv.oneOrFail.bind(qv);
+    const baseAfter = qv.after.bind(qv);
+    fluent.one = () => {
+        const taken = baseOne();
+        return makeFluent(ns, pipe, taken.stripCursor, taken.take, taken.seek, taken.orders, taken.limitN, taken.offsetN);
+    };
+    fluent.oneOrFail = () => {
+        const taken = baseFail();
+        return makeFluent(ns, pipe, taken.stripCursor, taken.take, taken.seek, taken.orders, taken.limitN, taken.offsetN);
+    };
+    fluent.after = (cursor) => {
+        const paged = baseAfter(cursor);
+        return makeFluent(ns, pipe, paged.stripCursor, paged.take, paged.seek, paged.orders, paged.limitN, paged.offsetN);
+    };
+    fluent.logic = () => makeFluent(ns, pipe, true);
+    return fluent;
+};
+/**
+ * Start a fluent query at an entity. Select-less, the row is the full
+ * entity (friendly keys); `.select` narrows, `.ids` keeps today's id-only
+ * cheap subscription. Put changing values in `.where` — two independently
+ * built queries with the same literals share a live subscription.
+ */
+export const from = (ns) => {
+    if (!isComposer(ns)) {
+        throw new Error("ramose/query: Query.from(...) takes an entity or trait");
+    }
+    return makeFluent(ns, entities(ns), false);
+};
+//# sourceMappingURL=fluent.js.map

package/dist/db/query/fluent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fluent.js","sourceRoot":"","sources":["../../../src/db/query/fluent.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAoB,MAAM,gBAAgB,CAAC;AAY9D,OAAO,EACL,QAAQ,EACR,GAAG,IAAI,QAAQ,EACf,EAAE,EACF,KAAK,IAAI,UAAU,EACnB,MAAM,IAAI,WAAW,EACrB,MAAM,IAAI,WAAW,GAEtB,MAAM,UAAU,CAAC;AAClB,OAAO,EAKN,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,GAMhB,MAAM,YAAY,CAAC;AAkDpB,MAAM,QAAQ,GAAG,CAAC,EAAe,EAAe,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEzD,MAAM,eAAe,GAAG,CACtB,KAAoC,EACpC,MAAmB,EACN,EAAE;IACf,MAAM,MAAM,GAAG,KAAK,CAAC,MAER,CAAC;IACd,IAAI,MAAM,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC1C,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,CAAC;IACjC,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;IACzB,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,EAAe,EAAS,EAAE;IACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,GAAG,GAA4B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,KAMT,CAAC;QACF,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjE,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,GAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAc,EAAY,EAAE;IACpD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzE,CAAC;IACF,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAChF,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAC9F,CAAC,CAAC;AAyBF,MAAM,SAAS,GAAG,IAAI,OAAO,EAA6D,CAAC;AAE3F,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,EAAe,EAAE,EAA2B,EAAY,EAAE;IACzF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAsC,EAAE,CAAC;IACpD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACpC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QAChC,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7C,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;IACF,IAAI,IAAI,GAAa,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC3F,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,yBAAyB,GAAG,UAAU,EAAE,CAAC,EAAE,mBAAmB,GAAG,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,GAAI,EAAE,CAAC,IAAI,EAAE,KAAc,CAA0C,CAAC,IAAI,CAAC,CAAC;QAChF,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAAc,EACd,MAAgD,EACtC,EAAE;IACZ,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAyCF,MAAM,UAAU,GAAG,CACjB,EAAK,EACL,IAAc,EACd,WAAoB,EACpB,IAA0B,EAC1B,IAAoB,EACpB,MAAM,GAA0B,EAAE,EAClC,MAAe,EACf,OAAgB,EACK,EAAE;IACvB,MAAM,EAAE,GAAG,eAAe,CACxB,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAC5B,WAAW,EACX,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,MAAM,EACN,OAAO,CACR,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,QAAkB,EAAuB,EAAE,CACvD,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAE7E,MAAM,MAAM,GAAG,EAAyB,CAAC;IACzC,MAAM,CAAC,KAAK,GAAG,CAAC,CACd,GAA6C,EAC7C,GAAG,IAAsC,EACzC,EAAE;QACF,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACb,6EAA6E,CAC9E,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,GAA8B,CAAC,CAAC,CAAC;IACjE,CAAC,CAAiC,CAAC;IACnC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,KAAgC,EAAE,KAAsD,EAAE,EAAE,CAC5G,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAa,CAAC,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAc,CAAC,CAAC,IAAa,CAAC,CAAC,CAAkC,CAAC;IAChG,MAAM,CAAC,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAClC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE;QAC5C,GAAG,MAAM;QACT,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,MAAM,EAAE;KACzD,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtB,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC;IAC1F,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAkC,CAAC;IAC7F,MAAM,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtG,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,CAAC,GAAG,GAAG,GAAG,EAAE;QAChB,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAU,CAAC;IAC7H,CAAC,CAAC;IACF,MAAM,CAAC,SAAS,GAAG,GAAG,EAAE;QACtB,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC;QACzB,OAAO,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAU,CAAC;IAC7H,CAAC,CAAC;IACF,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,OAAO,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAU,CAAC;IAC7H,CAAC,CAAC;IACF,MAAM,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAU,CAAC;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAwB,EAAK,EAAgC,EAAE;IACjF,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,UAAU,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/db/query/focus.d.ts

@@ -0,0 +1,42 @@
+import type { AnyComposer } from "../Composer.ts";
+import type { AnyEntity, Entity, FieldMap } from "../Entity.ts";
+import type { MutationRef } from "../refs.ts";
+export type EntityEq<N> = [N] extends [AnyEntity] ? MutationRef<N> : MutationRef;
+export type FocusIdents<N extends AnyComposer> = {
+    [K in keyof N["fields"]]: N["fields"][K] extends {
+        readonly ident: infer I;
+    } ? I : never;
+}[keyof N["fields"]] | ":db/id";
+export type AttrIdent<A> = A extends {
+    readonly ident: infer I;
+} ? I : never;
+export type InFocus<A, N extends AnyComposer> = [AttrIdent<A>] extends [
+    FocusIdents<N>
+] ? true : false;
+export type FocusAttr<N extends AnyComposer> = N["fields"][keyof N["fields"]] | FocusId<N>;
+type FocusId<N extends AnyComposer> = N extends {
+    readonly id: infer Id;
+} ? Id : never;
+export type OwnerOf<A> = A extends {
+    readonly ident: ":db/id";
+} ? A extends {
+    readonly _ns?: infer E;
+} ? E extends AnyEntity ? E : AnyEntity : AnyEntity : A extends {
+    readonly ident: `:${infer Ns}/${string}`;
+} ? Entity<Ns, FieldMap> : AnyEntity;
+export type FocusMismatch = {
+    readonly "ramose/query: this attribute is not a field of the focus entity": never;
+};
+export type RefTarget<A, Enclosing extends AnyComposer> = A extends {
+    readonly schema: {
+        readonly _target?: infer T;
+    };
+} ? Exclude<T, undefined> extends AnyComposer ? Exclude<T, undefined> : Enclosing : Enclosing;
+type OwnerNs<A> = A extends {
+    readonly ident: `:${infer Ns}/${string}`;
+} ? Ns : never;
+export type ReverseOk<A, N extends AnyComposer> = [RefTarget<A, AnyComposer>] extends [
+    AnyComposer
+] ? [AnyComposer] extends [RefTarget<A, AnyComposer>] ? [OwnerNs<A>] extends [N["ns"]] ? true : false : [RefTarget<A, N>] extends [N] ? true : false : [RefTarget<A, N>] extends [N] ? true : false;
+export {};
+//# sourceMappingURL=focus.d.ts.map

package/dist/db/query/focus.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus.d.ts","sourceRoot":"","sources":["../../../src/db/query/focus.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC;AAEjF,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IACzC;KACG,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;KACzB,GACG,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,GACpB,QAAQ,CAAC;AAEb,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AAE7E,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;IACrE,WAAW,CAAC,CAAC,CAAC;CACf,GACG,IAAI,GACJ,KAAK,CAAC;AAEV,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3F,KAAK,OAAO,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAEvF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IACjC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B,GACG,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAClC,CAAC,SAAS,SAAS,GACjB,CAAC,GACD,SAAS,GACX,SAAS,GACX,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,MAAM,EAAE,IAAI,MAAM,EAAE,CAAA;CAAE,GACpD,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,GACpB,SAAS,CAAC;AAEhB,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,iEAAiE,EAAE,KAAK,CAAC;CACnF,CAAC;AAEF,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IAAI,CAAC,SAAS;IAClE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;CACjD,GACG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,WAAW,GACvC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GACrB,SAAS,GACX,SAAS,CAAC;AAEd,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,MAAM,EAAE,IAAI,MAAM,EAAE,CAAA;CAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAEtF,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,SAAS;IACpF,WAAW;CACZ,GACG,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,GAC/C,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAC5B,IAAI,GACJ,KAAK,GACP,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAC3B,IAAI,GACJ,KAAK,GACT,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAC3B,IAAI,GACJ,KAAK,CAAC"}

package/dist/db/query/focus.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=focus.js.map

package/dist/db/query/focus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus.js","sourceRoot":"","sources":["../../../src/db/query/focus.ts"],"names":[],"mappings":""}

package/dist/db/query/index.d.ts

@@ -0,0 +1,7 @@
+export { Q, isVar, isValueSpec, mkVar, runBody, type AnyCommand, type AnyVar, type AttrLike, type BClause, type BuildCtx, type Cell, type CellRecord, type DistinctSpec, type FactHandle, type Fragment, type Projection, type PullSpec, type QueryGen, type RowOfProjection, type RowsSpec, type ValueSpec, type Var, } from "./kernel.ts";
+export { decodeCursor, encodeCursor } from "./cursor.ts";
+export { enrich, isCursor, isPipeline, isQueryObject, isRuleValue, lowerQueryAst, lowerQueryObject, tryLowerQueryObject, q, refine, rule, symbolicIdentityLowering, type AnyQueryObject, type Cursor, type LoweredKernelQuery, type OpenResult, type Page, type Pipeline, type PipeStage, type QueryBody, type QueryObject, type QueryOrder, type QueryOrderKey, type Row, type Rows, type RuleValue, type SelectExtra, } from "./query.ts";
+export { from } from "./fluent.ts";
+export type { EntityRow, FluentQuery, RefIdCell, WhereEq } from "./fluent.ts";
+export { any, assertedBy, backlink, byId, entities, every, follow, gt, gte, has, ids, includes, is, limit, lt, lte, matching, missing, none, not, offset, orderBy, select, some, stage, startsWith, updatedSince, type FilterStage, type FollowStage, type HatchIdRow, type IdRow, type ReverseFilter, type TraversalStage, } from "./lib.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/db/query/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/db/query/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,CAAC,EACD,KAAK,EACL,WAAW,EACX,KAAK,EACL,OAAO,EACP,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,GAAG,GACT,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EACL,MAAM,EACN,QAAQ,EACR,UAAU,EACV,aAAa,EACb,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,CAAC,EACD,MAAM,EACN,IAAI,EACJ,wBAAwB,EACxB,KAAK,cAAc,EACnB,KAAK,MAAM,EACX,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,GAAG,EACR,KAAK,IAAI,EACT,KAAK,SAAS,EACd,KAAK,WAAW,GACjB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACnC,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,GAAG,EACH,UAAU,EACV,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,MAAM,EACN,EAAE,EACF,GAAG,EACH,GAAG,EACH,GAAG,EACH,QAAQ,EACR,EAAE,EACF,KAAK,EACL,EAAE,EACF,GAAG,EACH,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,GAAG,EACH,MAAM,EACN,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,UAAU,EACV,YAAY,EACZ,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,cAAc,GACpB,MAAM,UAAU,CAAC"}

package/dist/db/query/index.js

@@ -0,0 +1,6 @@
+export { Q, isVar, isValueSpec, mkVar, runBody, } from "./kernel.js";
+export { decodeCursor, encodeCursor } from "./cursor.js";
+export { enrich, isCursor, isPipeline, isQueryObject, isRuleValue, lowerQueryAst, lowerQueryObject, tryLowerQueryObject, q, refine, rule, symbolicIdentityLowering, } from "./query.js";
+export { from } from "./fluent.js";
+export { any, assertedBy, backlink, byId, entities, every, follow, gt, gte, has, ids, includes, is, limit, lt, lte, matching, missing, none, not, offset, orderBy, select, some, stage, startsWith, updatedSince, } from "./lib.js";
+//# sourceMappingURL=index.js.map

package/dist/db/query/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/db/query/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,CAAC,EACD,KAAK,EACL,WAAW,EACX,KAAK,EACL,OAAO,GAkBR,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EACL,MAAM,EACN,QAAQ,EACR,UAAU,EACV,aAAa,EACb,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,CAAC,EACD,MAAM,EACN,IAAI,EACJ,wBAAwB,GAgBzB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGnC,OAAO,EACL,GAAG,EACH,UAAU,EACV,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,MAAM,EACN,EAAE,EACF,GAAG,EACH,GAAG,EACH,GAAG,EACH,QAAQ,EACR,EAAE,EACF,KAAK,EACL,EAAE,EACF,GAAG,EACH,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,GAAG,EACH,MAAM,EACN,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,UAAU,EACV,YAAY,GAOb,MAAM,UAAU,CAAC"}

package/dist/db/query/kernel.d.ts

@@ -0,0 +1,215 @@
+import type { Eid } from "../Eid.ts";
+import type { AnyComposer } from "../Composer.ts";
+import type { InFocus } from "./focus.ts";
+import type { FocusShape, Shape, ValidShape, SelectResult, AttrValue } from "../shapes.ts";
+export type VarKind = "entity" | "value" | "id" | "t" | "tx" | "op";
+export type VarNs<T> = T extends {
+    readonly _ns: infer E;
+} ? E extends AnyComposer ? E : AnyComposer : AnyComposer;
+/**
+ * A query variable — an *identity*, not a name. Two mentions of one `Var`
+ * are the same variable wherever they appear; a typo is a compile error
+ * because there is no string to mistype. `T` is the value the var binds
+ * (phantom); `N` is the focus namespace an entity var is branded with
+ * (the same brand {@link Eid} carries — not a fourth vocabulary).
+ */
+export interface Var<T = unknown, N extends AnyComposer = VarNs<T>> {
+    readonly _tag: "QVar";
+    readonly id: number;
+    kind: VarKind;
+    ns?: string | undefined;
+    readonly _type?: T;
+    readonly _ns?: N;
+}
+export type AnyVar = Var<any, any>;
+export type FocusOf<V> = V extends Var<any, infer N> ? N : AnyComposer;
+export declare const mkVar: <T = unknown, N extends AnyComposer = VarNs<T>>(kind?: VarKind, ns?: string) => Var<T, N>;
+export declare const isVar: (x: unknown) => x is AnyVar;
+export interface Blank {
+    readonly _tag: "QBlank";
+}
+export declare const isBlank: (x: unknown) => x is Blank;
+/**
+ * The body of a query, rule or fragment: a generator whose yields are
+ * kernel commands and whose return is the binding (a handle, a projection,
+ * or nothing). Fragments compose by native delegation — `yield* frag(e)` —
+ * typed by TS's own Generator types.
+ */
+export type QueryGen<R = void> = Generator<AnyCommand, R, any>;
+export type EidCell = {
+    readonly id: number;
+};
+/** A fragment: a rule with modes — bound vars are arguments, the free var
+ * is its return. `void` keeps the pipeline's focus; a handle refocuses. */
+export type Fragment<In = AnyVar, R = void> = (focus: In) => QueryGen<R>;
+interface Yieldable<R> {
+    [Symbol.iterator](): Iterator<AnyCommand, R, any>;
+}
+export interface AttrLike {
+    readonly ident: string;
+}
+export type Position = AnyVar | Blank | unknown;
+export interface FactHandle<T = unknown> {
+    readonly e: Var<EidCell>;
+    readonly v: Var<T>;
+    readonly t: Var<number>;
+    readonly tx: Var<EidCell>;
+    readonly op: Var<boolean>;
+}
+export interface FactCommand<T = unknown> extends Yieldable<FactHandle<T>> {
+    readonly _tag: "fact";
+    readonly e0: Position | undefined;
+    readonly attr: AttrLike | undefined;
+    readonly v0: Position | undefined;
+    eVar?: AnyVar;
+    vVar?: AnyVar;
+    txVar?: AnyVar;
+    txKind?: "t" | "tx";
+    opVar?: AnyVar;
+    readonly handle: FactHandle<T>;
+}
+export interface CmpCommand extends Yieldable<void> {
+    readonly _tag: "cmp";
+    readonly op: string;
+    readonly args: readonly Position[];
+    readonly ignoreCase?: boolean;
+}
+export interface FnBindCommand extends Yieldable<AnyVar> {
+    readonly _tag: "fnBind";
+    readonly fn: string;
+    readonly args: readonly Position[];
+    readonly ret: AnyVar;
+}
+export interface StringPredOpts {
+    readonly ignoreCase?: boolean;
+}
+export interface OrCommand extends Yieldable<void> {
+    readonly _tag: "or";
+    readonly branches: readonly SubBody[];
+}
+export interface NotCommand extends Yieldable<void> {
+    readonly _tag: "not";
+    readonly body: SubBody;
+}
+export type SubBody = QueryGen<unknown> | (() => QueryGen<unknown>) | CmpCommand | FactCommand<any> | OrCommand | NotCommand;
+export interface MemberCommand<N extends AnyComposer = AnyComposer> extends Yieldable<Var<Eid<N>>> {
+    readonly _tag: "member";
+    readonly ns: N;
+}
+export interface SpliceCommand extends Yieldable<any> {
+    readonly _tag: "splice";
+    splice(ctx: BuildCtx): unknown;
+}
+export type AnyCommand = FactCommand<any> | CmpCommand | FnBindCommand | OrCommand | NotCommand | MemberCommand | SpliceCommand;
+export interface MemberClause {
+    readonly _tag: "memberOf";
+    readonly ns: AnyComposer;
+    readonly v: AnyVar;
+}
+export interface OrClause {
+    readonly _tag: "orGroup";
+    readonly branches: readonly BClause[][];
+}
+export interface NotClause {
+    readonly _tag: "notGroup";
+    readonly clauses: readonly BClause[];
+}
+export interface CallClause {
+    readonly _tag: "ruleCall";
+    readonly rule: unknown;
+    readonly args: readonly Position[];
+    readonly ret: AnyVar;
+}
+export type BClause = FactCommand<any> | CmpCommand | FnBindCommand | MemberClause | OrClause | NotClause | CallClause;
+export interface BuildCtx {
+    readonly clauses: BClause[];
+}
+export declare const runBody: <R>(gen: QueryGen<R>, ctx: BuildCtx) => R;
+export declare const collectBody: (b: SubBody) => BClause[];
+export interface PullSpec<Row = unknown> {
+    readonly _tag: "pullSpec";
+    readonly focus: AnyVar;
+    readonly shape: Shape;
+    readonly _row?: Row;
+}
+export interface AggSpec<T = unknown> {
+    readonly _tag: "aggSpec";
+    readonly fn: "count" | "count-distinct" | "sum" | "avg" | "min" | "max";
+    readonly v: AnyVar;
+    readonly _out?: T;
+}
+export type Cell = AnyVar | PullSpec<any> | AggSpec<any> | CellRecord;
+export interface CellRecord {
+    readonly [key: string]: Cell;
+}
+export interface RowsSpec<Row = unknown> {
+    readonly _tag: "rowsSpec";
+    readonly cells: CellRecord;
+    readonly _row?: Row;
+}
+export interface ValueSpec<T = unknown> {
+    readonly _tag: "valueSpec";
+    readonly cell: AggSpec<T> | AnyVar | PullSpec<any>;
+    readonly _out?: T;
+}
+export interface DistinctSpec<Row = unknown> {
+    readonly _tag: "distinctSpec";
+    readonly inner: PullSpec<any> | RowsSpec<any> | CellRecord;
+    readonly _row?: Row;
+}
+export type Distinctable = PullSpec<any> | RowsSpec<any> | CellRecord | DistinctSpec<any>;
+export type Projection = PullSpec<any> | RowsSpec<any> | CellRecord | ValueSpec<any> | DistinctSpec<any>;
+export declare const isPullSpec: (x: unknown) => x is PullSpec;
+export declare const isRowsSpec: (x: unknown) => x is RowsSpec;
+export declare const isAggSpec: (x: unknown) => x is AggSpec;
+export declare const isValueSpec: (x: unknown) => x is ValueSpec;
+export declare const isDistinctSpec: (x: unknown) => x is DistinctSpec;
+export declare const FOCUS: AnyVar;
+export declare const isFocusSentinel: (v: unknown) => v is AnyVar;
+export type CellValue<C> = C extends Var<infer T> ? unknown extends T ? unknown : T : C extends PullSpec<infer R> ? R : C extends AggSpec<infer T> ? T : C extends CellRecord ? RecordRow<C> : never;
+export type RecordRow<R> = {
+    readonly [K in keyof R]: CellValue<R[K]>;
+};
+export type RowOfProjection<P> = P extends DistinctSpec<infer R> ? R : P extends ValueSpec<infer T> ? T : P extends PullSpec<infer R> ? R : P extends RowsSpec<infer R> ? R : P extends CellRecord ? RecordRow<P> : never;
+type FactAttr<E, A> = [E] extends [Var<any, infer N>] ? [AnyComposer] extends [N] ? A : [InFocus<A, N>] extends [true] ? A : {
+    readonly "ramose/query: this attribute is not a field of the focus entity": never;
+} : A;
+declare const fact: <E extends Position | undefined, A extends AttrLike = AttrLike>(e?: E, attr?: FactAttr<E, A> | Blank, v?: Position) => FactCommand<AttrValue<A>>;
+export type Operand<T = unknown> = Var<T> | AggSpec<T> | T;
+/**
+ * The kernel, as one namespace. Everything here is an inert description;
+ * `db.query` is where computation (and Effect) begins.
+ */
+export declare const Q: {
+    fact: typeof fact;
+    var: <T = unknown>() => Var<T>;
+    _: Blank;
+    eq: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    ne: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    lt: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    lte: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    gt: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    gte: <T>(a: Operand<T>, b: Operand<T>) => CmpCommand;
+    startsWith: (v: Operand<string>, needle: Operand<string>, opts?: StringPredOpts) => CmpCommand;
+    endsWith: (v: Operand<string>, needle: Operand<string>, opts?: StringPredOpts) => CmpCommand;
+    includes: (v: Operand<string>, needle: Operand<string>, opts?: StringPredOpts) => CmpCommand;
+    matches: (v: Operand<string>, re: RegExp | string) => CmpCommand;
+    in: <T>(v: Operand<T>, values: readonly T[]) => CmpCommand;
+    call: (fn: string, ...args: Position[]) => FnBindCommand;
+    or: (...branches: readonly SubBody[]) => OrCommand;
+    not: (body: SubBody) => NotCommand;
+    pull: <V extends AnyVar, const S extends Shape>(focus: V, shape: S & ValidShape<S> & FocusShape<FocusOf<V>, S>) => PullSpec<SelectResult<S>>;
+    rows: <const R extends CellRecord>(cells: R) => RowsSpec<RecordRow<R>>;
+    value: <C extends AggSpec<any> | AnyVar | PullSpec<any>>(cell: C) => ValueSpec<CellValue<C>>;
+    distinct: <const P extends Distinctable>(proj: P) => DistinctSpec<RowOfProjection<P>>;
+    focus: AnyVar;
+    row: <Base extends Projection, const Extra extends CellRecord>(base: Base, extra: Extra) => Base extends DistinctSpec<any> ? DistinctSpec<RowOfProjection<Base> & RecordRow<Extra>> : RowsSpec<RowOfProjection<Base> & RecordRow<Extra>>;
+    count: (v: AnyVar) => AggSpec<number>;
+    countDistinct: (v: AnyVar) => AggSpec<number>;
+    sum: (v: Var<number> | AnyVar) => AggSpec<number>;
+    avg: (v: Var<number> | AnyVar) => AggSpec<number | null>;
+    min: <T>(v: Var<T>) => AggSpec<T | null>;
+    max: <T>(v: Var<T>) => AggSpec<T | null>;
+};
+export {};
+//# sourceMappingURL=kernel.d.ts.map

package/dist/db/query/kernel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.d.ts","sourceRoot":"","sources":["../../../src/db/query/kernel.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAE3F,MAAM,MAAM,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;AAEpE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GACtD,CAAC,SAAS,WAAW,GACnB,CAAC,GACD,WAAW,GACb,WAAW,CAAC;AAEhB;;;;;;GAMG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;CAClB;AAED,MAAM,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAEnC,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAIvE,eAAO,MAAM,KAAK,GAAI,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,SAC3D,OAAO,OACR,MAAM,KACV,GAAG,CAAC,CAAC,EAAE,CAAC,CAA+D,CAAC;AAE3E,eAAO,MAAM,KAAK,MAAO,OAAO,KAAG,CAAC,IAAI,MAC0C,CAAC;AAEnF,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAGD,eAAO,MAAM,OAAO,MAAO,OAAO,KAAG,CAAC,IAAI,KAC0C,CAAC;AAErF;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,GAAG,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;AAE/D,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9C;2EAC2E;AAC3E,MAAM,MAAM,QAAQ,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEzE,UAAU,SAAS,CAAC,CAAC;IACnB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;CACnD;AAeD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,CAAC;AAEhD,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,OAAO;IACrC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,CAAC;IAClC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,UAAW,SAAQ,SAAS,CAAC,IAAI,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,aAAc,SAAQ,SAAS,CAAC,MAAM,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,SAAU,SAAQ,SAAS,CAAC,IAAI,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,UAAW,SAAQ,SAAS,CAAC,IAAI,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,MAAM,OAAO,GACf,QAAQ,CAAC,OAAO,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC,GACzB,UAAU,GACV,WAAW,CAAC,GAAG,CAAC,GAChB,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,CAAE,SAAQ,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;CAChB;AAED,MAAM,WAAW,aAAc,SAAQ,SAAS,CAAC,GAAG,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,MAAM,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,UAAU,GAClB,WAAW,CAAC,GAAG,CAAC,GAChB,UAAU,GACV,aAAa,GACb,SAAS,GACT,UAAU,GACV,aAAa,GACb,aAAa,CAAC;AAElB,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,OAAO,GACf,WAAW,CAAC,GAAG,CAAC,GAChB,UAAU,GACV,aAAa,GACb,YAAY,GACZ,QAAQ,GACR,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;CAC7B;AAUD,eAAO,MAAM,OAAO,GAAI,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,QAAQ,KAAG,CAM5D,CAAC;AAEF,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,OAAO,EAI/C,CAAC;AA6BF,MAAM,WAAW,QAAQ,CAAC,GAAG,GAAG,OAAO;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,OAAO;IAClC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,gBAAgB,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IACxE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;CACnB;AAED,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;AACtE,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,QAAQ,CAAC,GAAG,GAAG,OAAO;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,OAAO;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;CACnB;AAED,MAAM,WAAW,YAAY,CAAC,GAAG,GAAG,OAAO;IACzC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;AAE1F,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;AAEzG,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,QACyC,CAAC;AACvF,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,QACyC,CAAC;AACvF,eAAO,MAAM,SAAS,MAAO,OAAO,KAAG,CAAC,IAAI,OACyC,CAAC;AACtF,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,SACyC,CAAC;AACxF,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,YACyC,CAAC;AAE3F,eAAO,MAAM,KAAK,EAAE,MAIR,CAAC;AAEb,eAAO,MAAM,eAAe,MAAO,OAAO,KAAG,CAAC,IAAI,MAAiC,CAAC;AAEpF,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAC7C,OAAO,SAAS,CAAC,GACf,OAAO,GACP,CAAC,GACH,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACzB,CAAC,GACD,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACxB,CAAC,GACD,CAAC,SAAS,UAAU,GAClB,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,CAAC;AAEhB,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAExE,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAC5D,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,GACD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACzB,CAAC,GACD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACzB,CAAC,GACD,CAAC,SAAS,UAAU,GAClB,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,CAAC;AAwGlB,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACjD,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,GACvB,CAAC,GACD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5B,CAAC,GACD;IACE,QAAQ,CAAC,iEAAiE,EAAE,KAAK,CAAC;CACnF,GACL,CAAC,CAAC;AAyBN,QAAA,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,GAAG,SAAS,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ,MACrE,CAAC,SACE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,MACzB,QAAQ,KACX,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAkD,CAAC;AAE9E,MAAM,MAAM,OAAO,CAAC,CAAC,GAAG,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAyC3D;;;GAGG;AACH,eAAO,MAAM,CAAC;;UAGN,CAAC,GAAG,OAAO,OAAK,GAAG,CAAC,CAAC,CAAC;;SAIvB,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;SAC5C,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;SAC5C,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;UAC3C,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;SAC7C,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;UAC3C,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU;oBArH9C,OAAO,CAAC,MAAM,CAAC,UAAU,OAAO,CAAC,MAAM,CAAC,SAAS,cAAc,KAAG,UAAU;;;iBAyHnE,OAAO,CAAC,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,KAAG,UAAU;SAEzD,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,SAAS,CAAC,EAAE,KAAG,UAAU;eAG7C,MAAM,WAAW,QAAQ,EAAE,KAAG,aAAa;sBAEpC,SAAS,OAAO,EAAE,KAAG,SAAS;gBAQpC,OAAO,KAAG,UAAU;WAQzB,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,KAAK,SACrC,CAAC,SACD,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KACnD,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;WAOrB,KAAK,CAAC,CAAC,SAAS,UAAU,SAAS,CAAC,KAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAK5D,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAC/C,CAAC,KACN,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;eASf,KAAK,CAAC,CAAC,SAAS,YAAY,QAAQ,CAAC,KAAG,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;;UAO7E,IAAI,SAAS,UAAU,EAAE,KAAK,CAAC,KAAK,SAAS,UAAU,QACrD,IAAI,SACH,KAAK,KACX,IAAI,SAAS,YAAY,CAAC,GAAG,CAAC,GAC7B,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,GACtD,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;eAY3C,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;uBAChB,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;aAClC,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;aACtC,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,KAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;UAChD,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;UAChC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CACvC,CAAC"}