ramosedb 0.0.0-stage → 0.4.0

package/dist/internal/core/novelty.js

@@ -0,0 +1,300 @@
+import { ALL_INDEXES, COMPARATORS, comparePrefix, valueEquals, } from "./datom.js";
+import { lowerBound, sortedUnion, upperBound } from "./tree.js";
+export class SortedNovelty {
+    index;
+    readOnly = false;
+    base = [];
+    pending = [];
+    cmp;
+    constructor(index) {
+        this.index = index;
+        this.cmp = COMPARATORS[index];
+    }
+    fork() {
+        const copy = new SortedNovelty(this.index);
+        copy.base = this.flush();
+        return copy;
+    }
+    snapshot() {
+        if (this.readOnly)
+            return this;
+        const value = this.fork();
+        value.readOnly = true;
+        return value;
+    }
+    get size() {
+        return this.base.length + this.pending.length;
+    }
+    add(datoms) {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        for (const d of datoms)
+            this.pending.push(d);
+    }
+    flush() {
+        if (this.pending.length > 0) {
+            const p = this.pending;
+            this.pending = [];
+            p.sort(this.cmp);
+            const dp = [];
+            for (let i = 0; i < p.length; i++) {
+                if (i === 0 || this.cmp(p[i - 1], p[i]) !== 0)
+                    dp.push(p[i]);
+            }
+            this.base = this.base.length === 0 ? dp : sortedUnion(this.cmp, this.base, dp);
+        }
+        return this.base;
+    }
+    all() {
+        return this.flush();
+    }
+    range(prefix) {
+        const ds = this.flush();
+        if (ds.length === 0)
+            return undefined;
+        const s = lowerBound(this.index, ds, prefix);
+        if (s >= ds.length)
+            return undefined;
+        const e = upperBound(this.index, ds, prefix);
+        if (s >= e)
+            return undefined;
+        return { datoms: ds, start: s, end: e };
+    }
+    dropThrough(maxT) {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        const ds = this.flush();
+        this.base = ds.filter((d) => d.t > maxT);
+    }
+    clear() {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        this.base = [];
+        this.pending = [];
+    }
+}
+export class Novelty {
+    readOnly = false;
+    byIndex = {
+        0: new SortedNovelty(0),
+        1: new SortedNovelty(1),
+        2: new SortedNovelty(2),
+        3: new SortedNovelty(3),
+    };
+    _maxT = 0;
+    fork() {
+        const copy = new Novelty();
+        for (const index of ALL_INDEXES)
+            copy.byIndex[index] = this.byIndex[index].fork();
+        copy._maxT = this._maxT;
+        return copy;
+    }
+    snapshot() {
+        if (this.readOnly)
+            return this;
+        const value = new Novelty();
+        for (const index of ALL_INDEXES)
+            value.byIndex[index] = this.byIndex[index].snapshot();
+        value._maxT = this._maxT;
+        value.readOnly = true;
+        return value;
+    }
+    add(datoms, avet, vaet) {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        if (datoms.length === 0)
+            return;
+        this.byIndex[0].add(datoms);
+        this.byIndex[1].add(datoms);
+        const av = [];
+        const va = [];
+        for (const d of datoms) {
+            if (avet(d.a))
+                av.push(d);
+            if (vaet(d.a))
+                va.push(d);
+            if (d.t > this._maxT)
+                this._maxT = d.t;
+        }
+        if (av.length)
+            this.byIndex[2].add(av);
+        if (va.length)
+            this.byIndex[3].add(va);
+    }
+    get count() {
+        return this.byIndex[0].size;
+    }
+    get maxT() {
+        return this._maxT;
+    }
+    dropThrough(maxT) {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        for (const i of ALL_INDEXES)
+            this.byIndex[i].dropThrough(maxT);
+    }
+    clear() {
+        if (this.readOnly)
+            throw new Error("cannot mutate a database snapshot");
+        for (const i of ALL_INDEXES)
+            this.byIndex[i].clear();
+        this._maxT = 0;
+    }
+}
+export async function* mergeChunks(cmp, tree, nov) {
+    if (nov === undefined) {
+        yield* tree;
+        return;
+    }
+    const nds = nov.datoms;
+    let j = nov.start;
+    const jEnd = nov.end;
+    for await (const c of tree) {
+        const ds = c.datoms;
+        if (j >= jEnd || cmp(ds[c.end - 1], nds[j]) < 0) {
+            yield c;
+            continue;
+        }
+        const out = [];
+        let i = c.start;
+        const last = ds[c.end - 1];
+        while (i < c.end && j < jEnd) {
+            const x = cmp(ds[i], nds[j]);
+            if (x < 0)
+                out.push(ds[i++]);
+            else if (x > 0)
+                out.push(nds[j++]);
+            else {
+                out.push(ds[i++]);
+                j++;
+            }
+        }
+        while (i < c.end)
+            out.push(ds[i++]);
+        while (j < jEnd && cmp(nds[j], last) <= 0)
+            out.push(nds[j++]);
+        yield { datoms: out, start: 0, end: out.length };
+    }
+    if (j < jEnd)
+        yield { datoms: nds, start: j, end: jEnd };
+}
+export async function* currentView(chunks, asOf) {
+    let pending;
+    let held;
+    for await (const c of chunks) {
+        const ds = c.datoms;
+        const start = c.start, end = c.end;
+        if (start >= end)
+            continue;
+        if (held !== undefined) {
+            const last = held[held.length - 1], first = ds[start];
+            if (last.e === first.e && last.a === first.a && valueEquals(last.vt, last.v, first.vt, first.v)) {
+                if (held.length > 1)
+                    yield held.slice(0, held.length - 1);
+                pending = last;
+            }
+            else {
+                yield held;
+                pending = undefined;
+            }
+            held = undefined;
+        }
+        if (pending !== undefined) {
+            const first = ds[start];
+            if (!(pending.e === first.e && pending.a === first.a && valueEquals(pending.vt, pending.v, first.vt, first.v))) {
+                if (pending.op)
+                    yield [pending];
+                pending = undefined;
+            }
+        }
+        if (pending === undefined && isPlainChunk(ds, start, end, asOf)) {
+            if (start === 0 && end === ds.length) {
+                held = ds;
+            }
+            else {
+                if (end - 1 > start)
+                    yield ds.slice(start, end - 1);
+                pending = ds[end - 1];
+            }
+            continue;
+        }
+        const out = [];
+        for (let i = start; i < end; i++) {
+            const d = ds[i];
+            if (asOf !== undefined && d.t > asOf)
+                continue;
+            if (pending !== undefined && pending.e === d.e && pending.a === d.a && valueEquals(pending.vt, pending.v, d.vt, d.v)) {
+                pending = d;
+            }
+            else {
+                if (pending !== undefined && pending.op)
+                    out.push(pending);
+                pending = d;
+            }
+        }
+        if (out.length)
+            yield out;
+    }
+    if (held !== undefined)
+        yield held;
+    else if (pending !== undefined && pending.op)
+        yield [pending];
+}
+function isPlainChunk(ds, start, end, asOf) {
+    let prev = ds[start];
+    if (!prev.op || (asOf !== undefined && prev.t > asOf))
+        return false;
+    for (let i = start + 1; i < end; i++) {
+        const d = ds[i];
+        if (!d.op || (asOf !== undefined && d.t > asOf))
+            return false;
+        if (prev.e === d.e && prev.a === d.a && valueEquals(prev.vt, prev.v, d.vt, d.v))
+            return false;
+        prev = d;
+    }
+    return true;
+}
+export function collapseCurrent(ds, asOf) {
+    if (ds.length === 0 || isPlainChunk(ds, 0, ds.length, asOf))
+        return ds;
+    const out = [];
+    let pending;
+    for (let i = 0; i < ds.length; i++) {
+        const d = ds[i];
+        if (asOf !== undefined && d.t > asOf)
+            continue;
+        if (pending !== undefined && pending.e === d.e && pending.a === d.a && valueEquals(pending.vt, pending.v, d.vt, d.v)) {
+            pending = d;
+        }
+        else {
+            if (pending !== undefined && pending.op)
+                out.push(pending);
+            pending = d;
+        }
+    }
+    if (pending !== undefined && pending.op)
+        out.push(pending);
+    return out;
+}
+export async function* filterAsOf(chunks, asOf) {
+    for await (const c of chunks) {
+        const out = [];
+        for (let i = c.start; i < c.end; i++)
+            if (c.datoms[i].t <= asOf)
+                out.push(c.datoms[i]);
+        if (out.length)
+            yield out;
+    }
+}
+export async function* rawView(chunks) {
+    for await (const c of chunks) {
+        if (c.start === 0 && c.end === c.datoms.length)
+            yield c.datoms;
+        else
+            yield c.datoms.slice(c.start, c.end);
+    }
+}
+export function matchesPrefix(index, d, p) {
+    return comparePrefix(index, d, p) === 0;
+}
+//# sourceMappingURL=novelty.js.map

package/dist/internal/core/novelty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"novelty.js","sourceRoot":"","sources":["../../../src/internal/core/novelty.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,WAAW,EACX,WAAW,EACX,aAAa,EACb,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAc,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5E,MAAM,OAAO,aAAa;IAMH,KAAK;IALlB,QAAQ,GAAG,KAAK,CAAC;IACjB,IAAI,GAAY,EAAE,CAAC;IACnB,OAAO,GAAY,EAAE,CAAC;IACrB,GAAG,CAAkB;IAE9B,YAAqB,KAAc;qBAAd,KAAK;QACxB,IAAI,CAAC,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ;QACN,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAChD,CAAC;IAED,GAAG,CAAC,MAAwB;QAC1B,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IAEO,KAAK;QACX,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;YACvB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjB,MAAM,EAAE,GAAY,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,MAAc;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACtC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QACrC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC1C,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;IACpB,CAAC;CACF;AAED,MAAM,OAAO,OAAO;IACV,QAAQ,GAAG,KAAK,CAAC;IAChB,OAAO,GAAmC;QACjD,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC;QACvB,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC;QACvB,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC;QACvB,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC;KACxB,CAAC;IACM,KAAK,GAAG,CAAC,CAAC;IAElB,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,WAAW;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QAClF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ;QACN,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,WAAW;YAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvF,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,GAAG,CAAC,MAAwB,EAAE,IAA4B,EAAE,IAA4B;QACtF,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAY,EAAE,CAAC;QACvB,MAAM,EAAE,GAAY,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,EAAE,CAAC,MAAM;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,MAAM;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,WAAW;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,WAAW;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACjB,CAAC;CACF;AAED,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,WAAW,CAChC,GAAoB,EACpB,IAA0B,EAC1B,GAAsB;IAEtB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,KAAK,CAAC,CAAC,IAAI,CAAC;QACZ,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC;IACrB,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,CAAC;YACR,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAY,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAChB,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;iBACxB,IAAI,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC9B,CAAC;gBACJ,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,OAAO,CAAC,GAAG,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,CAAC,GAAG,IAAI;QAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,WAAW,CAChC,MAA4B,EAC5B,IAAa;IAEb,IAAI,OAA0B,CAAC;IAC/B,IAAI,IAAyB,CAAC;IAC9B,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC;QACpB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QACnC,IAAI,KAAK,IAAI,GAAG;YAAE,SAAS;QAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACtD,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC1D,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,CAAC;gBACX,OAAO,GAAG,SAAS,CAAC;YACtB,CAAC;YACD,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/G,IAAI,OAAO,CAAC,EAAE;oBAAE,MAAM,CAAC,OAAO,CAAC,CAAC;gBAChC,OAAO,GAAG,SAAS,CAAC;YACtB,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,IAAI,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;gBACrC,IAAI,GAAG,EAAa,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,GAAG,CAAC,GAAG,KAAK;oBAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;gBACpD,OAAO,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACxB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAY,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI;gBAAE,SAAS;YAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrH,OAAO,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,EAAE;oBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC3D,OAAO,GAAG,CAAC,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,GAAG,CAAC;IAC5B,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,CAAC;SAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,YAAY,CAAC,EAAoB,EAAE,KAAa,EAAE,GAAW,EAAE,IAAwB;IAC9F,IAAI,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9D,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9F,IAAI,GAAG,CAAC,CAAC;IACX,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAoB,EAAE,IAAa;IACjE,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,EAAa,CAAC;IAClF,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,IAAI,OAA0B,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI;YAAE,SAAS;QAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrH,OAAO,GAAG,CAAC,CAAC;QACd,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO,GAAG,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,UAAU,CAC/B,MAA4B,EAC5B,IAAY;IAEZ,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAY,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,GAAG,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,MAA4B;IACzD,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,CAAC,CAAC,MAAiB,CAAC;;YACrE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,CAAQ,EAAE,CAAS;IAC/D,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AAC1C,CAAC"}

package/dist/internal/core/query/ast.d.ts

@@ -0,0 +1,174 @@
+export interface Var {
+    kind: "var";
+    name: string;
+}
+export interface Const {
+    kind: "const";
+    value: unknown;
+}
+export interface Blank {
+    kind: "blank";
+}
+export type Term = Var | Const | Blank;
+export type ClauseOrigin = "caller" | "rule";
+export interface PatternClause {
+    kind: "pattern";
+    src?: string;
+    e: Term;
+    a: Term;
+    v: Term;
+    tx?: Term;
+    op?: Term;
+    origin?: ClauseOrigin;
+}
+export interface PredClause {
+    kind: "pred";
+    fn: string;
+    args: Term[];
+    origin?: ClauseOrigin;
+}
+export interface FnClause {
+    kind: "fn";
+    fn: string;
+    args: Term[];
+    binding: Binding;
+    origin?: ClauseOrigin;
+}
+export interface NotClause {
+    kind: "not";
+    join?: string[];
+    clauses: Clause[];
+    origin?: ClauseOrigin;
+}
+export interface OrClause {
+    kind: "or";
+    join?: string[];
+    branches: Clause[][];
+    origin?: ClauseOrigin;
+}
+export interface RuleCallClause {
+    kind: "rule-call";
+    name: string;
+    args: Term[];
+    origin?: ClauseOrigin;
+}
+export type Clause = PatternClause | PredClause | FnClause | NotClause | OrClause | RuleCallClause;
+export type Binding = {
+    kind: "scalar";
+    var: string;
+} | {
+    kind: "tuple";
+    vars: (string | null)[];
+} | {
+    kind: "coll";
+    var: string;
+} | {
+    kind: "rel";
+    vars: (string | null)[];
+};
+export interface AggregateElem {
+    kind: "agg";
+    fn: string;
+    args: Term[];
+    as?: string;
+}
+export interface PullElem {
+    kind: "pull";
+    var: string;
+    pattern: PullPattern | Var;
+}
+export type FindElem = Var | AggregateElem | PullElem;
+export type FindSpec = {
+    kind: "rel";
+    elems: FindElem[];
+} | {
+    kind: "tuple";
+    elems: FindElem[];
+} | {
+    kind: "coll";
+    elem: FindElem;
+} | {
+    kind: "scalar";
+    elem: FindElem;
+};
+export type InputSpec = {
+    kind: "src";
+    name: string;
+} | Binding;
+export interface OrderSpec {
+    var: string;
+    dir: "asc" | "desc";
+    empty?: "first" | "last";
+}
+export interface RuleDef {
+    name: string;
+    args: string[];
+    clauses: Clause[];
+}
+export interface Query {
+    find: FindSpec;
+    keys?: string[];
+    with: string[];
+    in: InputSpec[];
+    where: Clause[];
+    rules?: RuleDef[];
+    having?: Clause[];
+    order?: OrderSpec[];
+    after?: unknown[];
+    offset?: number;
+    limit?: number;
+}
+export declare const PULL_ELEM_OPS: readonly ["=", "!=", "<", "<=", ">", ">=", "in", "starts-with?", "ends-with?", "includes?", "re-find?", "re-matches?", "exists", "missing"];
+export type PullElemOp = (typeof PULL_ELEM_OPS)[number];
+export interface PullElemCmp {
+    path: string[];
+    reverse?: boolean[];
+    op: PullElemOp;
+    value?: unknown;
+}
+export interface PullElemQuant {
+    path: string[];
+    reverse?: boolean[];
+    pred: PullElemPred;
+}
+export type PullElemPred = PullElemCmp | {
+    and: PullElemPred[];
+} | {
+    or: PullElemPred[];
+} | {
+    not: PullElemPred;
+} | {
+    every: PullElemQuant;
+} | {
+    some: PullElemQuant;
+};
+export interface PullElemOrder {
+    path: string[];
+    reverse?: boolean[];
+    dir: "asc" | "desc";
+    empty?: "first" | "last";
+}
+export interface PullAttrSpec {
+    kind: "attr";
+    attr: string;
+    reverse: boolean;
+    as?: string;
+    limit?: number | null;
+    offset?: number;
+    where?: PullElemPred[];
+    order?: PullElemOrder[];
+    default?: unknown;
+    sub?: PullPattern;
+    recursion?: number | "...";
+}
+export interface PullWildcard {
+    kind: "wildcard";
+}
+export type PullSpec = PullAttrSpec | PullWildcard;
+export type PullPattern = PullSpec[];
+export declare function stampOrigin(c: Clause, origin: ClauseOrigin): Clause;
+export declare function isVar(t: Term): t is Var;
+export declare function v(name: string): Var;
+export declare function c(value: unknown): Const;
+export declare const blank: Blank;
+//# sourceMappingURL=ast.d.ts.map

package/dist/internal/core/query/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../../src/internal/core/query/ast.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,GAAG;IAClB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AACD,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AACD,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,OAAO,CAAC;CACf;AACD,MAAM,MAAM,IAAI,GAAG,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC;AAEvC,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,MAAM,CAAC;AAE7C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,CAAC,EAAE,IAAI,CAAC;IACR,CAAC,EAAE,IAAI,CAAC;IACR,CAAC,EAAE,IAAI,CAAC;IACR,EAAE,CAAC,EAAE,IAAI,CAAC;IACV,EAAE,CAAC,EAAE,IAAI,CAAC;IACV,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC;IACrB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AACD,MAAM,MAAM,MAAM,GACd,aAAa,GACb,UAAU,GACV,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,cAAc,CAAC;AAEnB,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAA;CAAE,CAAC;AAE7C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,WAAW,GAAG,GAAG,CAAC;CAC5B;AACD,MAAM,MAAM,QAAQ,GAAG,GAAG,GAAG,aAAa,GAAG,QAAQ,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEvC,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC;AAEhE,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,KAAK,GAAG,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,EAAE,EAAE,SAAS,EAAE,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,aAAa,YACxB,GAAG,EACH,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,WAAW,EACX,UAAU,EACV,aAAa,EACb,QAAQ,EACR,SAAS,CACD,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAExD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACpB,EAAE,EAAE,UAAU,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AACD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,MAAM,YAAY,GACpB,WAAW,GACX;IAAE,GAAG,EAAE,YAAY,EAAE,CAAA;CAAE,GACvB;IAAE,EAAE,EAAE,YAAY,EAAE,CAAA;CAAE,GACtB;IAAE,GAAG,EAAE,YAAY,CAAA;CAAE,GACrB;IAAE,KAAK,EAAE,aAAa,CAAA;CAAE,GACxB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC;AAE5B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACpB,GAAG,EAAE,KAAK,GAAG,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;IACxB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;CAC5B;AACD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,UAAU,CAAC;CAClB;AACD,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AACnD,MAAM,MAAM,WAAW,GAAG,QAAQ,EAAE,CAAC;AAErC,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,MAAM,CASnE;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,GAAG,CAEvC;AACD,wBAAgB,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAEnC;AACD,wBAAgB,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,CAEvC;AACD,eAAO,MAAM,KAAK,EAAE,KAAyB,CAAC"}

package/dist/internal/core/query/ast.js

@@ -0,0 +1,37 @@
+export const PULL_ELEM_OPS = [
+    "=",
+    "!=",
+    "<",
+    "<=",
+    ">",
+    ">=",
+    "in",
+    "starts-with?",
+    "ends-with?",
+    "includes?",
+    "re-find?",
+    "re-matches?",
+    "exists",
+    "missing",
+];
+export function stampOrigin(c, origin) {
+    switch (c.kind) {
+        case "not":
+            return { ...c, origin, clauses: c.clauses.map((x) => stampOrigin(x, origin)) };
+        case "or":
+            return { ...c, origin, branches: c.branches.map((b) => b.map((x) => stampOrigin(x, origin))) };
+        default:
+            return c.origin === origin ? c : { ...c, origin };
+    }
+}
+export function isVar(t) {
+    return t.kind === "var";
+}
+export function v(name) {
+    return { kind: "var", name };
+}
+export function c(value) {
+    return { kind: "const", value };
+}
+export const blank = { kind: "blank" };
+//# sourceMappingURL=ast.js.map

package/dist/internal/core/query/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../../src/internal/core/query/ast.ts"],"names":[],"mappings":"AAqHA,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,GAAG;IACH,IAAI;IACJ,GAAG;IACH,IAAI;IACJ,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,cAAc;IACd,YAAY;IACZ,WAAW;IACX,UAAU;IACV,aAAa;IACb,QAAQ;IACR,SAAS;CACD,CAAC;AAiDX,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,MAAoB;IACzD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACjF,KAAK,IAAI;YACP,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACjG;YACE,OAAO,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,CAAO;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,CAAC,CAAC,IAAY;IAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AACD,MAAM,UAAU,CAAC,CAAC,KAAc;IAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AACD,MAAM,CAAC,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC"}

package/dist/internal/core/query/builtins.d.ts

@@ -0,0 +1,19 @@
+export type QueryFn = (...args: any[]) => unknown;
+export declare function vkey(v: unknown): string;
+export declare function compareJs(a: unknown, b: unknown): number;
+export interface SortKey {
+    col: number;
+    dir: 1 | -1;
+    emptyLast: boolean;
+}
+export declare function sortKeys<T extends {
+    dir: "asc" | "desc";
+    empty?: "first" | "last";
+}>(order: readonly T[], col: (o: T) => number): SortKey[];
+export declare function compareCells(x: unknown, y: unknown, k: SortKey): number;
+export declare function sortRows(rows: unknown[][], keys: readonly SortKey[]): void;
+export declare const PREDICATES: Record<string, QueryFn>;
+export declare const FUNCTIONS: Record<string, QueryFn>;
+export type AggFn = (values: unknown[], ...consts: unknown[]) => unknown;
+export declare const AGGREGATES: Record<string, AggFn>;
+//# sourceMappingURL=builtins.d.ts.map

package/dist/internal/core/query/builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../../../../src/internal/core/query/builtins.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC;AAElD,wBAAgB,IAAI,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CA4BvC;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAuBxD;AAmBD,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,QAAQ,CAAC,CAAC,SAAS;IAAE,GAAG,EAAE,KAAK,GAAG,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CAAE,EAClF,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,GACpB,OAAO,EAAE,CAEX;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAIvE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,IAAI,CAQ1E;AAUD,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CA8B9C,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CA0C7C,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;AASzE,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CA6B5C,CAAC"}