@sunfall/arc-db 0.1.0-alpha.0

package/dist/query-builder.js

@@ -0,0 +1,373 @@
+import { isEffectLike, isPromiseLikeValue, } from "@sunfall/arc-core";
+import { Data, Effect } from "effect";
+import { makeLiveQueryState } from "./live-query-state.js";
+import { QueryEvaluationError as QueryEvaluationErrorConstructor, UnsupportedLiveQuery as UnsupportedLiveQueryConstructor, evaluateQueryOperation, toQueryEvaluationError, } from "./query-plan.js";
+import { executeQueryPlan, preloadQueryExecutionPlanEffect, queryExecutionPlanDiagnostics, } from "./query-execution-plan.js";
+import { makeQuerySourceAdapter } from "./query-source-adapter.js";
+import { collectionStoreEffect, runWithCollectionStore } from "./runtime-collection-store.js";
+const QueryBuilderTypeId = Symbol.for("@sunfall/arc-db/QueryBuilder");
+export class QueryBuilder {
+    sources;
+    filters;
+    projector;
+    orders;
+    offsetCount;
+    limitCount;
+    joins;
+    grouping;
+    constructor(sources, filters = [], projector = undefined, orders = [], offsetCount = 0, limitCount = undefined, joins = [], grouping = undefined) {
+        this.sources = sources;
+        this.filters = filters;
+        this.projector = projector;
+        this.orders = orders;
+        this.offsetCount = offsetCount;
+        this.limitCount = limitCount;
+        this.joins = joins;
+        this.grouping = grouping;
+    }
+    filtersFor() {
+        return this.filters;
+    }
+    projectorFor() {
+        return this.projector;
+    }
+    ordersFor() {
+        return this.orders;
+    }
+    /** Returns a new query with an additional boolean filter. */
+    where(predicate) {
+        return new QueryBuilder(this.sources, [...this.filters, predicate], this.projector, this.orders, this.offsetCount, this.limitCount, this.joins, this.grouping);
+    }
+    /** Returns a new query that projects each matching context to a result value. */
+    select(projector) {
+        return new QueryBuilder(this.sources, this.filters, projector, this.orders, this.offsetCount, this.limitCount, this.joins, this.grouping);
+    }
+    /** Inner-joins another collection by comparing keys from the left context and right rows. */
+    join(alias, collection, leftKey, rightKey) {
+        return new QueryBuilder([...this.sources, [alias, collection]], this.filtersFor(), this.projectorFor(), this.ordersFor(), this.offsetCount, this.limitCount, [
+            ...this.joins,
+            {
+                alias,
+                collection,
+                leftKey: leftKey,
+                rightKeys: (row) => [
+                    rightKey(row),
+                ],
+            },
+        ], this.grouping);
+    }
+    /** Inner-joins another collection through one of its declared secondary indexes. */
+    joinIndexed(alias, collection, leftKey, index) {
+        const source = makeQuerySourceAdapter(collection);
+        return new QueryBuilder([...this.sources, [alias, collection]], this.filtersFor(), this.projectorFor(), this.ordersFor(), this.offsetCount, this.limitCount, [
+            ...this.joins,
+            {
+                alias,
+                collection,
+                leftKey: leftKey,
+                rightKeys: (row) => source.indexJoinKeys(index, row),
+                rightIndex: index,
+            },
+        ], this.grouping);
+    }
+    /** Alias for `join`. */
+    innerJoin(alias, collection, leftKey, rightKey) {
+        return this.join(alias, collection, leftKey, rightKey);
+    }
+    /** Alias for `joinIndexed`. */
+    innerJoinIndexed(alias, collection, leftKey, index) {
+        return this.joinIndexed(alias, collection, leftKey, index);
+    }
+    /** Groups filtered source rows by a key object and evaluates aggregate selectors. */
+    groupBy(key, aggregates) {
+        return new QueryBuilder(this.sources, [], undefined, [], 0, undefined, this.joins, {
+            key: key,
+            aggregates: aggregates,
+            sourceFilters: this.filters,
+        });
+    }
+    /**
+     * Adds a stable sort. Multiple `orderBy` calls are evaluated in order.
+     *
+     * Selectors must return comparable scalar values. Invalid Dates and `NaN`
+     * fail as `QueryEvaluationError` with operation `"order"`.
+     */
+    orderBy(selector, direction = "asc") {
+        return new QueryBuilder(this.sources, this.filters, this.projector, [...this.orders, { selector, direction }], this.offsetCount, this.limitCount, this.joins, this.grouping);
+    }
+    /**
+     * Skips the first `count` results after filtering and sorting.
+     *
+     * `count` must be a finite, non-negative safe integer. Invalid windows are
+     * rejected when the query is executed or inspected with diagnostics.
+     */
+    offset(count) {
+        return new QueryBuilder(this.sources, this.filters, this.projector, this.orders, count, this.limitCount, this.joins, this.grouping);
+    }
+    /**
+     * Limits the number of results after filtering, sorting, and offset.
+     *
+     * `count` must be a finite, non-negative safe integer. Invalid windows are
+     * rejected when the query is executed or inspected with diagnostics.
+     */
+    limit(count) {
+        return new QueryBuilder(this.sources, this.filters, this.projector, this.orders, this.offsetCount, count, this.joins, this.grouping);
+    }
+    /**
+     * Synchronously evaluates the query against the current collection state.
+     *
+     * Plan-validation and callback failures are thrown as `QueryEvaluationError`.
+     */
+    execute() {
+        try {
+            return executeQueryPlan(this);
+        }
+        catch (cause) {
+            throw toQueryEvaluationError("evaluate", cause);
+        }
+    }
+}
+class QueryFactoryResultRejected extends Data.TaggedError("QueryFactoryResultRejected") {
+}
+const queryFactoryResultRejected = (reason) => new QueryFactoryResultRejected({
+    reason,
+    guidance: reason === "promise"
+        ? "Query factories must return a QueryBuilder synchronously. Move async work into collection Effects before building the query."
+        : reason === "effect"
+            ? "Query factories must return a QueryBuilder, not an Effect. Move Effect work into collection sources and keep the factory synchronous."
+            : "Query factories must return the QueryBuilder produced by Query.from(...).",
+});
+const validateQueryFactoryResult = (value) => {
+    if (value instanceof QueryBuilder) {
+        return value;
+    }
+    if (isPromiseLikeValue(value)) {
+        throw queryFactoryResultRejected("promise");
+    }
+    if (!(value instanceof Error) && isEffectLike(value)) {
+        throw queryFactoryResultRejected("effect");
+    }
+    throw queryFactoryResultRejected("builder");
+};
+const queryRoot = {
+    from: (sources) => new QueryBuilder(Object.entries(sources)),
+};
+const queryPredicateEq = (left, right) => Object.is(left, right);
+const queryPredicateNeq = (left, right) => !Object.is(left, right);
+const queryPredicateGt = (left, right) => left > right;
+const queryPredicateGte = (left, right) => left >= right;
+const queryPredicateLt = (left, right) => left < right;
+const queryPredicateLte = (left, right) => left <= right;
+const queryPredicateAnd = (...values) => values.every(Boolean);
+const queryPredicateOr = (...values) => values.some(Boolean);
+const queryPredicateNot = (value) => !value;
+const queryPredicateIncludes = (values, value) => values.includes(value);
+/** Equality predicate using `Object.is`, matching signal and collection change checks. Prefer `Query.eq(...)` in new code. */
+export const eq = queryPredicateEq;
+/** Negated `Object.is` equality predicate. Prefer `Query.neq(...)` in new code. */
+export const neq = queryPredicateNeq;
+/** Greater-than predicate for sortable scalar values. Prefer `Query.gt(...)` in new code. */
+export const gt = queryPredicateGt;
+/** Greater-than-or-equal predicate for sortable scalar values. Prefer `Query.gte(...)` in new code. */
+export const gte = queryPredicateGte;
+/** Less-than predicate for sortable scalar values. Prefer `Query.lt(...)` in new code. */
+export const lt = queryPredicateLt;
+/** Less-than-or-equal predicate for sortable scalar values. Prefer `Query.lte(...)` in new code. */
+export const lte = queryPredicateLte;
+/** Boolean conjunction helper for composing filters. Prefer `Query.and(...)` in new code. */
+export const and = queryPredicateAnd;
+/** Boolean disjunction helper for composing filters. Prefer `Query.or(...)` in new code. */
+export const or = queryPredicateOr;
+/** Boolean negation helper for composing filters. Prefer `Query.not(...)` in new code. */
+export const not = queryPredicateNot;
+/** Array membership predicate using JavaScript `includes` semantics. Prefer `Query.includes(...)` in new code. */
+export const includes = queryPredicateIncludes;
+const aggregateCount = (value = (row) => row) => ({
+    preMap: (row) => (evaluateQueryOperation("aggregate", () => value(row)) == null ? 0 : 1),
+    reduce: (values) => {
+        let total = 0;
+        for (const [present, multiplicity] of values) {
+            total += present * multiplicity;
+        }
+        return total;
+    },
+});
+const aggregateSum = (value) => ({
+    preMap: (row) => evaluateQueryOperation("aggregate", () => value(row)),
+    reduce: (values) => {
+        let total = 0;
+        for (const [amount, multiplicity] of values) {
+            total += amount * multiplicity;
+        }
+        return total;
+    },
+});
+const aggregateAvg = (value) => ({
+    preMap: (row) => ({
+        sum: evaluateQueryOperation("aggregate", () => value(row)),
+        count: 1,
+    }),
+    reduce: (values) => {
+        let sum = 0;
+        let count = 0;
+        for (const [entry, multiplicity] of values) {
+            sum += entry.sum * multiplicity;
+            count += entry.count * multiplicity;
+        }
+        return { sum, count };
+    },
+    postMap: ({ sum, count }) => (count === 0 ? 0 : sum / count),
+});
+const aggregateMin = (value) => ({
+    preMap: (row) => evaluateQueryOperation("aggregate", () => value(row)),
+    reduce: (values) => {
+        let min;
+        for (const [candidate, multiplicity] of values) {
+            if (multiplicity <= 0 || candidate === undefined) {
+                continue;
+            }
+            if (min === undefined || candidate < min) {
+                min = candidate;
+            }
+        }
+        return min;
+    },
+});
+const aggregateMax = (value) => ({
+    preMap: (row) => evaluateQueryOperation("aggregate", () => value(row)),
+    reduce: (values) => {
+        let max;
+        for (const [candidate, multiplicity] of values) {
+            if (multiplicity <= 0 || candidate === undefined) {
+                continue;
+            }
+            if (max === undefined || candidate > max) {
+                max = candidate;
+            }
+        }
+        return max;
+    },
+});
+/**
+ * Query API for composing derived views over collections.
+ *
+ * Query factories receive `Query.from`/`query.from` and return an immutable
+ * builder. Use `onceEffect` for one-shot reads and `live` for reactive data.
+ */
+export var Query;
+(function (Query) {
+    /** Error raised when query factory, callback, plan, or order comparable evaluation fails. */
+    Query.EvaluationError = QueryEvaluationErrorConstructor;
+    /** Error raised when a query builder cannot be represented as a live query. */
+    Query.UnsupportedLiveQuery = UnsupportedLiveQueryConstructor;
+    /** Start a query from one or more named collection sources. */
+    Query.from = queryRoot.from;
+    /** Equality predicate using `Object.is`, matching signal and collection change checks. */
+    Query.eq = queryPredicateEq;
+    /** Negated `Object.is` equality predicate. */
+    Query.neq = queryPredicateNeq;
+    /** Greater-than predicate for sortable scalar values. */
+    Query.gt = queryPredicateGt;
+    /** Greater-than-or-equal predicate for sortable scalar values. */
+    Query.gte = queryPredicateGte;
+    /** Less-than predicate for sortable scalar values. */
+    Query.lt = queryPredicateLt;
+    /** Less-than-or-equal predicate for sortable scalar values. */
+    Query.lte = queryPredicateLte;
+    /** Boolean conjunction helper for composing filters. */
+    Query.and = queryPredicateAnd;
+    /** Boolean disjunction helper for composing filters. */
+    Query.or = queryPredicateOr;
+    /** Boolean negation helper for composing filters. */
+    Query.not = queryPredicateNot;
+    /** Array membership predicate using JavaScript `includes` semantics. */
+    Query.includes = queryPredicateIncludes;
+    /** Count non-null aggregate values in `groupBy`. */
+    Query.count = aggregateCount;
+    /** Sum numeric aggregate values in `groupBy`. */
+    Query.sum = aggregateSum;
+    /** Average numeric aggregate values in `groupBy`. */
+    Query.avg = aggregateAvg;
+    /** Minimum aggregate value in `groupBy`. */
+    Query.min = aggregateMin;
+    /** Maximum aggregate value in `groupBy`. */
+    Query.max = aggregateMax;
+    /**
+     * Build a query without executing or preloading it.
+     *
+     * Synchronous factory throws, Promise-shaped factory results, Effect-shaped
+     * factory results, and other non-builder factory results are normalized and
+     * thrown as `QueryEvaluationError` with operation `"evaluate"`.
+     */
+    Query.build = (factory) => {
+        try {
+            return validateQueryFactoryResult(factory(queryRoot));
+        }
+        catch (cause) {
+            throw toQueryEvaluationError("evaluate", cause);
+        }
+    };
+    const buildOrThrowQueryEvaluationError = (factory) => {
+        try {
+            return validateQueryFactoryResult(factory(queryRoot));
+        }
+        catch (cause) {
+            throw toQueryEvaluationError("evaluate", cause);
+        }
+    };
+    /**
+     * Return query plan diagnostics for joins, filters, ordering, and row counts.
+     *
+     * Synchronous factory failures, Promise-shaped factory results, Effect-shaped
+     * factory results, other non-builder factory results, and plan-validation
+     * throws are normalized and thrown as `QueryEvaluationError` with operation
+     * `"evaluate"`.
+     */
+    Query.diagnostics = (factory) => {
+        const builder = buildOrThrowQueryEvaluationError(factory);
+        try {
+            return queryExecutionPlanDiagnostics(builder);
+        }
+        catch (cause) {
+            throw toQueryEvaluationError("evaluate", cause);
+        }
+    };
+    /**
+     * Preload source collections once, then execute the query.
+     *
+     * Source collection errors and requirements are preserved in the returned
+     * Effect. Synchronous factory failures, Promise-shaped factory results,
+     * Effect-shaped factory results, and other non-builder factory results are
+     * normalized as `QueryEvaluationError` with operation `"evaluate"` in the
+     * Effect error channel.
+     */
+    Query.onceEffect = (factory) => Effect.gen(function* () {
+        const builder = yield* Effect.try({
+            try: () => buildOrThrowQueryEvaluationError(factory),
+            catch: (cause) => toQueryEvaluationError("evaluate", cause),
+        });
+        yield* preloadQueryExecutionPlanEffect(builder, false);
+        const store = yield* collectionStoreEffect;
+        return yield* Effect.try({
+            try: () => runWithCollectionStore(store, () => builder.execute()),
+            catch: (cause) => toQueryEvaluationError("evaluate", cause),
+        });
+    });
+    /**
+     * Create a reactive live query over collection rows.
+     *
+     * The returned signals update when source collection versions change.
+     * Synchronous factory failures, Promise-shaped factory results, Effect-shaped
+     * factory results, and other non-builder factory results are normalized and
+     * thrown as `QueryEvaluationError` with operation `"evaluate"`.
+     *
+     * @example
+     * const openTodos = Query.live((query) =>
+     *   query.from({ todo: todos })
+     *     .where(({ todo }) => !todo.done)
+     *     .select(({ todo }) => todo)
+     * )
+     */
+    Query.live = (factory) => makeLiveQueryState(buildOrThrowQueryEvaluationError(factory));
+})(Query || (Query = {}));
+//# sourceMappingURL=query-builder.js.map

package/dist/query-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-builder.js","sourceRoot":"","sources":["../src/query-builder.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAgBL,oBAAoB,IAAI,+BAA+B,EACvD,oBAAoB,IAAI,+BAA+B,EAYvD,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,gBAAgB,EAChB,+BAA+B,EAC/B,6BAA6B,GAC9B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAS9F,MAAM,kBAAkB,GAAkB,MAAM,CAAC,GAAG,CAClD,8BAA8B,CACF,CAAC;AAgG/B,MAAM,OAAO,YAAY;IAQZ,OAAO;IACP,OAAO;IACP,SAAS;IACT,MAAM;IACN,WAAW;IACX,UAAU;IACV,KAAK;IACL,QAAQ;IARnB,YACW,OAAwD,EACxD,OAAO,GAA8C,EAAE,EACvD,SAAS,GAA6C,SAAS,EAC/D,MAAM,GAAwC,EAAE,EAChD,WAAW,GAAG,CAAC,EACf,UAAU,GAAuB,SAAS,EAC1C,KAAK,GAA6B,EAAE,EACpC,QAAQ,GAAiC,SAAS;uBAPlD,OAAO;uBACP,OAAO;yBACP,SAAS;sBACT,MAAM;2BACN,WAAW;0BACX,UAAU;qBACV,KAAK;wBACL,QAAQ;IAChB,CAAC;IAEI,UAAU;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAEO,YAAY;QAGlB,OAAO,IAAI,CAAC,SAA2D,CAAC;IAC1E,CAAC;IAEO,SAAS;QACf,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,6DAA6D;IAC7D,KAAK,CAAC,SAAqC;QACzC,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAC5B,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,MAAM,CACJ,SAAiE;QAEjE,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED,6FAA6F;IAC7F,IAAI,CACF,KAAY,EACZ,UAAa,EACb,OAAwC,EACxC,QAAsD;QAStD,OAAO,IAAI,YAAY,CAMrB,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,CAAU,CAAC,EAC/C,IAAI,CAAC,UAAU,EAAe,EAC9B,IAAI,CAAC,YAAY,EAA2B,EAC5C,IAAI,CAAC,SAAS,EAAe,EAC7B,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf;YACE,GAAG,IAAI,CAAC,KAAK;YACb;gBACE,KAAK;gBACL,UAAU;gBACV,OAAO,EAAE,OAAiD;gBAC1D,SAAS,EAAE,CAAC,GAAqB,EAAE,EAAE,CAAC;oBACnC,QAAoD,CAAC,GAAG,CAAC;iBAC3D;aACF;SACF,EACD,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED,oFAAoF;IACpF,WAAW,CACT,KAAY,EACZ,UAAa,EACb,OAAwC,EACxC,KAAa;QASb,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAClD,OAAO,IAAI,YAAY,CAMrB,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,CAAU,CAAC,EAC/C,IAAI,CAAC,UAAU,EAAe,EAC9B,IAAI,CAAC,YAAY,EAA2B,EAC5C,IAAI,CAAC,SAAS,EAAe,EAC7B,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf;YACE,GAAG,IAAI,CAAC,KAAK;YACb;gBACE,KAAK;gBACL,UAAU;gBACV,OAAO,EAAE,OAAiD;gBAC1D,SAAS,EAAE,CAAC,GAAqB,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC;gBACtE,UAAU,EAAE,KAAK;aAClB;SACF,EACD,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED,wBAAwB;IACxB,SAAS,CACP,KAAY,EACZ,UAAa,EACb,OAAwC,EACxC,QAAsD;QAOtD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAED,+BAA+B;IAC/B,gBAAgB,CACd,KAAY,EACZ,UAAa,EACb,OAAwC,EACxC,KAAa;QAOb,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IAED,qFAAqF;IACrF,OAAO,CACL,GAA2C,EAC3C,UAAsB;QAQtB,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,EAAE,EACF,SAAS,EACT,EAAE,EACF,CAAC,EACD,SAAS,EACT,IAAI,CAAC,KAAK,EACV;YACE,GAAG,EAAE,GAAwD;YAC7D,UAAU,EAAE,UAAqC;YACjD,aAAa,EAAE,IAAI,CAAC,OAA2D;SAChF,CACF,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,OAAO,CACL,QAA2C,EAC3C,SAAS,GAAuB,KAAK;QAErC,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,SAAS,EACd,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EACzC,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,KAAa;QAClB,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,MAAM,EACX,KAAK,EACL,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,KAAa;QACjB,OAAO,IAAI,YAAY,CACrB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,WAAW,EAChB,KAAK,EACL,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,OAAO;QACL,IAAI,CAAC;YACH,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF;AAQD,MAAM,0BAA2B,SAAQ,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAGpF;CAAG;AAEL,MAAM,0BAA0B,GAAG,CACjC,MAAwC,EACZ,EAAE,CAC9B,IAAI,0BAA0B,CAAC;IAC7B,MAAM;IACN,QAAQ,EACN,MAAM,KAAK,SAAS;QAClB,CAAC,CAAC,8HAA8H;QAChI,CAAC,CAAC,MAAM,KAAK,QAAQ;YACnB,CAAC,CAAC,uIAAuI;YACzI,CAAC,CAAC,2EAA2E;CACpF,CAAC,CAAC;AAEL,MAAM,0BAA0B,GAAG,CAAU,KAAc,EAA4B,EAAE;IACvF,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;QAClC,OAAO,KAAiC,CAAC;IAC3C,CAAC;IACD,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,0BAA0B,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,0BAA0B,CAAC,SAAS,CAAC,CAAC;AAC9C,CAAC,CAAC;AAmDF,MAAM,SAAS,GAAc;IAC3B,IAAI,EAAE,CACJ,OAAgB,EAMhB,EAAE,CACF,IAAI,YAAY,CAMd,MAAM,CAAC,OAAO,CAAC,OAAO,CAAoD,CAM3E;CACJ,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAI,IAAO,EAAE,KAAQ,EAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACnF,MAAM,iBAAiB,GAAG,CAAI,IAAO,EAAE,KAAQ,EAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACrF,MAAM,gBAAgB,GAAG,CAAmC,IAAO,EAAE,KAAQ,EAAW,EAAE,CACxF,IAAI,GAAG,KAAK,CAAC;AACf,MAAM,iBAAiB,GAAG,CAAmC,IAAO,EAAE,KAAQ,EAAW,EAAE,CACzF,IAAI,IAAI,KAAK,CAAC;AAChB,MAAM,gBAAgB,GAAG,CAAmC,IAAO,EAAE,KAAQ,EAAW,EAAE,CACxF,IAAI,GAAG,KAAK,CAAC;AACf,MAAM,iBAAiB,GAAG,CAAmC,IAAO,EAAE,KAAQ,EAAW,EAAE,CACzF,IAAI,IAAI,KAAK,CAAC;AAChB,MAAM,iBAAiB,GAAG,CAAC,GAAG,MAA8B,EAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAChG,MAAM,gBAAgB,GAAG,CAAC,GAAG,MAA8B,EAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9F,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,CAAC,KAAK,CAAC;AAC9D,MAAM,sBAAsB,GAAG,CAAI,MAAwB,EAAE,KAAQ,EAAW,EAAE,CAChF,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEzB,8HAA8H;AAC9H,MAAM,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC;AACnC,mFAAmF;AACnF,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AACrC,6FAA6F;AAC7F,MAAM,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC;AACnC,uGAAuG;AACvG,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AACrC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC;AACnC,oGAAoG;AACpG,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AACrC,6FAA6F;AAC7F,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AACrC,4FAA4F;AAC5F,MAAM,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC;AACnC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AACrC,kHAAkH;AAClH,MAAM,CAAC,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AAE/C,MAAM,cAAc,GAAG,CACrB,KAAK,GAAyC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAwB,EACrC,EAAE,CAAC,CAAC;IAC9C,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;YAC7C,KAAK,IAAI,OAAO,GAAG,YAAY,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAAgC,EACU,EAAE,CAAC,CAAC;IAC9C,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;YAC5C,KAAK,IAAI,MAAM,GAAG,YAAY,CAAC;QACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAAgC,EACoD,EAAE,CAAC,CAAC;IACxF,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,EAAE,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1D,KAAK,EAAE,CAAC;KACT,CAAC;IACF,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;YAC3C,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,YAAY,CAAC;YAChC,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,YAAY,CAAC;QACtC,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC;CAC7D,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAA2B,EAC6B,EAAE,CAAC,CAAC;IAC5D,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CACb;IACzC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,IAAI,GAAkB,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;YAC/C,IAAI,YAAY,IAAI,CAAC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACjD,SAAS;YACX,CAAC;YACD,IAAI,GAAG,KAAK,SAAS,IAAI,SAAS,GAAG,GAAG,EAAE,CAAC;gBACzC,GAAG,GAAG,SAAS,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,GAA8D,CAAC;IACxE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,KAA2B,EAC6B,EAAE,CAAC,CAAC;IAC5D,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CACb;IACzC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,IAAI,GAAkB,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;YAC/C,IAAI,YAAY,IAAI,CAAC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACjD,SAAS;YACX,CAAC;YACD,IAAI,GAAG,KAAK,SAAS,IAAI,SAAS,GAAG,GAAG,EAAE,CAAC;gBACzC,GAAG,GAAG,SAAS,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,GAA8D,CAAC;IACxE,CAAC;CACF,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,KAAW,KAAK,CA+KrB;AA/KD,WAAiB,KAAK;IA+CpB,6FAA6F;IAChF,qBAAe,GAAG,+BAA+B,CAAC;IAC/D,+EAA+E;IAClE,0BAAoB,GAAG,+BAA+B,CAAC;IACpE,+DAA+D;IAClD,UAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IACnC,0FAA0F;IAC7E,QAAE,GAAG,gBAAgB,CAAC;IACnC,8CAA8C;IACjC,SAAG,GAAG,iBAAiB,CAAC;IACrC,yDAAyD;IAC5C,QAAE,GAAG,gBAAgB,CAAC;IACnC,kEAAkE;IACrD,SAAG,GAAG,iBAAiB,CAAC;IACrC,sDAAsD;IACzC,QAAE,GAAG,gBAAgB,CAAC;IACnC,+DAA+D;IAClD,SAAG,GAAG,iBAAiB,CAAC;IACrC,wDAAwD;IAC3C,SAAG,GAAG,iBAAiB,CAAC;IACrC,wDAAwD;IAC3C,QAAE,GAAG,gBAAgB,CAAC;IACnC,qDAAqD;IACxC,SAAG,GAAG,iBAAiB,CAAC;IACrC,wEAAwE;IAC3D,cAAQ,GAAG,sBAAsB,CAAC;IAC/C,oDAAoD;IACvC,WAAK,GAAG,cAAc,CAAC;IACpC,iDAAiD;IACpC,SAAG,GAAG,YAAY,CAAC;IAChC,qDAAqD;IACxC,SAAG,GAAG,YAAY,CAAC;IAChC,4CAA4C;IAC/B,SAAG,GAAG,YAAY,CAAC;IAChC,4CAA4C;IAC/B,SAAG,GAAG,YAAY,CAAC;IAEhC;;;;;;OAMG;IACU,WAAK,GAAG,CACnB,OAA8B,EACO,EAAE;QACvC,IAAI,CAAC;YACH,OAAO,0BAA0B,CAC/B,OAAO,CAAC,SAAS,CAAC,CAC+B,CAAC;QACtD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,gCAAgC,GAAG,CACvC,OAA8B,EACJ,EAAE;QAC5B,IAAI,CAAC;YACH,OAAO,0BAA0B,CAAU,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IAEF;;;;;;;OAOG;IACU,iBAAW,GAAG,CACzB,OAA8B,EACR,EAAE;QACxB,MAAM,OAAO,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC;YACH,OAAO,6BAA6B,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IAEF;;;;;;;;OAQG;IACU,gBAAU,GAAG,CACxB,OAA8B,EACgC,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAChC,GAAG,EAAE,GAAG,EAAE,CAAC,gCAAgC,CAAC,OAAO,CAAC;YACpD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC;SAC5D,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,+BAA+B,CAAO,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QAC3C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACjE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC;SAC5D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEL;;;;;;;;;;;;;;OAcG;IACU,UAAI,GAAG,CAClB,OAA8B,EACV,EAAE,CAAC,kBAAkB,CAAC,gCAAgC,CAAC,OAAO,CAAC,CAAC,CAAC;AACzF,CAAC,EA/KgB,KAAK,KAAL,KAAK,QA+KrB"}

package/dist/query-context-identity.d.ts

@@ -0,0 +1,19 @@
+import type { CollectionKey } from "./collection-contract.js";
+import type { AnyCollectionRow, AnyQueryContext } from "./query-plan.js";
+declare const QueryContextIdentityBrand: unique symbol;
+export type QueryContextIdentity = string & {
+    readonly [QueryContextIdentityBrand]: typeof QueryContextIdentityBrand;
+};
+export interface QueryContextIdentityRecord {
+    readonly [queryContextIdentitySymbol]: QueryContextIdentity;
+}
+export declare const queryContextIdentitySymbol: unique symbol;
+export declare const querySourceContextIdentity: (alias: string, key: CollectionKey) => QueryContextIdentity;
+export declare const queryCollectionRowIdentity: (key: CollectionKey) => QueryContextIdentity;
+export declare const mergeQueryContextIdentities: (left: QueryContextIdentity | string, right: QueryContextIdentity | string) => QueryContextIdentity;
+export declare const queryContextOrderIdentity: (aliases: ReadonlyArray<string>, context: AnyQueryContext) => QueryContextIdentity | undefined;
+export declare const queryContextIdentityOf: (context: unknown) => QueryContextIdentity | undefined;
+export declare const querySourceContext: (alias: string, row: AnyCollectionRow) => AnyQueryContext & QueryContextIdentityRecord;
+export declare const mergeQueryContextRecords: (left: (AnyQueryContext & Partial<QueryContextIdentityRecord>) | null, right: (AnyQueryContext & Partial<QueryContextIdentityRecord>) | null) => AnyQueryContext & QueryContextIdentityRecord;
+export {};
+//# sourceMappingURL=query-context-identity.d.ts.map

package/dist/query-context-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-context-identity.d.ts","sourceRoot":"","sources":["../src/query-context-identity.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEzE,OAAO,CAAC,MAAM,yBAAyB,EAAE,OAAO,MAAM,CAAC;AAEvD,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG;IAC1C,QAAQ,CAAC,CAAC,yBAAyB,CAAC,EAAE,OAAO,yBAAyB,CAAC;CACxE,CAAC;AAEF,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,CAAC,0BAA0B,CAAC,EAAE,oBAAoB,CAAC;CAC7D;AAED,eAAO,MAAM,0BAA0B,EAAE,OAAO,MAEV,CAAC;AAKvC,eAAO,MAAM,0BAA0B,UAC9B,MAAM,OACR,aAAa,KACjB,oBAA0E,CAAC;AAE9E,eAAO,MAAM,0BAA0B,QAAS,aAAa,KAAG,oBACnB,CAAC;AAE9C,eAAO,MAAM,2BAA2B,SAChC,oBAAoB,GAAG,MAAM,SAC5B,oBAAoB,GAAG,MAAM,KACnC,oBAA+D,CAAC;AAOnE,eAAO,MAAM,yBAAyB,YAC3B,aAAa,CAAC,MAAM,CAAC,WACrB,eAAe,KACvB,oBAAoB,GAAG,SAgBzB,CAAC;AAEF,eAAO,MAAM,sBAAsB,YAAa,OAAO,KAAG,oBAAoB,GAAG,SAGlE,CAAC;AAEhB,eAAO,MAAM,kBAAkB,UACtB,MAAM,OACR,gBAAgB,KACpB,eAAe,GAAG,0BAGnB,CAAC;AAEH,eAAO,MAAM,wBAAwB,SAC7B,CAAC,eAAe,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,IAAI,SAC7D,CAAC,eAAe,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,IAAI,KACpE,eAAe,GAAG,0BAQpB,CAAC"}

package/dist/query-context-identity.js

@@ -0,0 +1,41 @@
+import { stableStringify } from "@sunfall/arc-core";
+export const queryContextIdentitySymbol = Symbol.for("@sunfall/arc-db/QueryContextKey");
+const makeQueryContextIdentity = (value) => stableStringify(value);
+export const querySourceContextIdentity = (alias, key) => makeQueryContextIdentity([alias, typeof key, key]);
+export const queryCollectionRowIdentity = (key) => makeQueryContextIdentity([typeof key, key]);
+export const mergeQueryContextIdentities = (left, right) => makeQueryContextIdentity([left, right]);
+const rowKey = (value) => typeof value === "object" && value !== null && "$key" in value
+    ? value.$key
+    : undefined;
+export const queryContextOrderIdentity = (aliases, context) => {
+    let identity;
+    for (const alias of aliases) {
+        const key = rowKey(context[alias]);
+        if (key === undefined) {
+            continue;
+        }
+        const sourceIdentity = querySourceContextIdentity(alias, key);
+        identity =
+            identity === undefined
+                ? sourceIdentity
+                : mergeQueryContextIdentities(identity, sourceIdentity);
+    }
+    return identity;
+};
+export const queryContextIdentityOf = (context) => typeof context === "object" && context !== null && queryContextIdentitySymbol in context
+    ? context[queryContextIdentitySymbol]
+    : undefined;
+export const querySourceContext = (alias, row) => ({
+    [alias]: row,
+    [queryContextIdentitySymbol]: querySourceContextIdentity(alias, row.$key),
+});
+export const mergeQueryContextRecords = (left, right) => {
+    const leftKey = queryContextIdentityOf(left) ?? "";
+    const rightKey = queryContextIdentityOf(right) ?? "";
+    return {
+        ...left,
+        ...right,
+        [queryContextIdentitySymbol]: mergeQueryContextIdentities(leftKey, rightKey),
+    };
+};
+//# sourceMappingURL=query-context-identity.js.map

package/dist/query-context-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-context-identity.js","sourceRoot":"","sources":["../src/query-context-identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAcpD,MAAM,CAAC,MAAM,0BAA0B,GAAkB,MAAM,CAAC,GAAG,CACjE,iCAAiC,CACG,CAAC;AAEvC,MAAM,wBAAwB,GAAG,CAAC,KAAc,EAAwB,EAAE,CACxE,eAAe,CAAC,KAAK,CAAyB,CAAC;AAEjD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAa,EACb,GAAkB,EACI,EAAE,CAAC,wBAAwB,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,GAAkB,EAAwB,EAAE,CACrF,wBAAwB,CAAC,CAAC,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAmC,EACnC,KAAoC,EACd,EAAE,CAAC,wBAAwB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAEnE,MAAM,MAAM,GAAG,CAAC,KAAc,EAA6B,EAAE,CAC3D,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK;IAC5D,CAAC,CAAE,KAA0C,CAAC,IAAI;IAClD,CAAC,CAAC,SAAS,CAAC;AAEhB,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA8B,EAC9B,OAAwB,EACU,EAAE;IACpC,IAAI,QAA0C,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9D,QAAQ;YACN,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,2BAA2B,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,OAAgB,EAAoC,EAAE,CAC3F,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,0BAA0B,IAAI,OAAO;IACtF,CAAC,CAAE,OAAsC,CAAC,0BAA0B,CAAC;IACrE,CAAC,CAAC,SAAS,CAAC;AAEhB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAa,EACb,GAAqB,EACyB,EAAE,CAAC,CAAC;IAClD,CAAC,KAAK,CAAC,EAAE,GAAG;IACZ,CAAC,0BAA0B,CAAC,EAAE,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAoE,EACpE,KAAqE,EACvB,EAAE;IAChD,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO;QACL,GAAG,IAAI;QACP,GAAG,KAAK;QACR,CAAC,0BAA0B,CAAC,EAAE,2BAA2B,CAAC,OAAO,EAAE,QAAQ,CAAC;KAC7E,CAAC;AACJ,CAAC,CAAC"}

package/dist/query-execution-plan.d.ts

@@ -0,0 +1,27 @@
+import { Effect } from "effect";
+import { type AnyQueryContext, type QueryEvaluationError, type QueryPlanBuilder, type QueryPlanDiagnostics, type QueryProjectOptions, type QueryStagePlan } from "./query-plan.js";
+import { type QueryContextIdentity } from "./query-context-identity.js";
+export { mergeQueryContextIdentities, queryCollectionRowIdentity, queryContextIdentityOf, queryContextIdentitySymbol, queryContextOrderIdentity, querySourceContextIdentity, } from "./query-context-identity.js";
+import type { QueryCollectionSourceAdapter } from "./query-source-adapter.js";
+export interface QueryExecutionPlanBuilder<TContext extends AnyQueryContext, TResult> extends QueryPlanBuilder<TContext> {
+    readonly projector: ((row: TContext) => TResult) | undefined;
+}
+export interface QueryOrderedContext<TContext extends AnyQueryContext> {
+    readonly row: TContext;
+    readonly index: number;
+    readonly identity?: QueryContextIdentity;
+}
+export declare const compareQueryOrderedContexts: <TContext extends AnyQueryContext>(left: QueryOrderedContext<TContext>, right: QueryOrderedContext<TContext>, orders: ReadonlyArray<QueryPlanBuilder<TContext>["orders"][number]>) => number;
+interface ProjectQueryContextsOptions<TContext extends AnyQueryContext> extends QueryProjectOptions {
+    readonly stagePlan?: QueryStagePlan<TContext>;
+}
+/** Projects already-built query contexts through the plan's remaining stages. */
+export declare const projectQueryContexts: <TContext extends AnyQueryContext, TResult>(builder: QueryExecutionPlanBuilder<TContext, TResult>, contexts: ReadonlyArray<TContext>, options?: ProjectQueryContextsOptions<TContext>) => ReadonlyArray<TResult>;
+/** Executes a query snapshot through the full execution plan. */
+export declare const executeQueryPlan: <TContext extends AnyQueryContext, TResult>(builder: QueryExecutionPlanBuilder<TContext, TResult>) => ReadonlyArray<TResult>;
+/** Builds diagnostics for the query execution plan. */
+export declare const queryExecutionPlanDiagnostics: (builder: QueryPlanBuilder<any>) => QueryPlanDiagnostics;
+export declare const preloadQueryExecutionPlanSourcesEffect: <E, R>(sources: ReadonlyArray<QueryCollectionSourceAdapter>, force: boolean) => Effect.Effect<void, E, R>;
+/** Validates and preloads the source collections for a query execution plan. */
+export declare const preloadQueryExecutionPlanEffect: <E, R>(builder: QueryPlanBuilder<any>, force: boolean) => Effect.Effect<void, E | QueryEvaluationError, R>;
+//# sourceMappingURL=query-execution-plan.d.ts.map

package/dist/query-execution-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-execution-plan.d.ts","sourceRoot":"","sources":["../src/query-execution-plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EASL,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,KAAK,cAAc,EACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAA6B,KAAK,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnG,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAE9E,MAAM,WAAW,yBAAyB,CACxC,QAAQ,SAAS,eAAe,EAChC,OAAO,CACP,SAAQ,gBAAgB,CAAC,QAAQ,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;CAC9D;AAED,MAAM,WAAW,mBAAmB,CAAC,QAAQ,SAAS,eAAe;IACnE,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,oBAAoB,CAAC;CAC1C;AAED,eAAO,MAAM,2BAA2B,GAAI,QAAQ,SAAS,eAAe,QACpE,mBAAmB,CAAC,QAAQ,CAAC,SAC5B,mBAAmB,CAAC,QAAQ,CAAC,UAC5B,aAAa,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAClE,MAcF,CAAC;AAEF,UAAU,2BAA2B,CACnC,QAAQ,SAAS,eAAe,CAChC,SAAQ,mBAAmB;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;CAC/C;AAED,iFAAiF;AACjF,eAAO,MAAM,oBAAoB,GAAI,QAAQ,SAAS,eAAe,EAAE,OAAO,WACnE,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,YAC3C,aAAa,CAAC,QAAQ,CAAC,YACxB,2BAA2B,CAAC,QAAQ,CAAC,KAC7C,aAAa,CAAC,OAAO,CAiCvB,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,gBAAgB,GAAI,QAAQ,SAAS,eAAe,EAAE,OAAO,WAC/D,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,KACpD,aAAa,CAAC,OAAO,CAKvB,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,6BAA6B,YAC/B,gBAAgB,CAAC,GAAG,CAAC,KAC7B,oBAEF,CAAC;AAEF,eAAO,MAAM,sCAAsC,GAAI,CAAC,EAAE,CAAC,WAChD,aAAa,CAAC,4BAA4B,CAAC,SAC7C,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAKvB,CAAC;AAEL,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,GAAI,CAAC,EAAE,CAAC,WACzC,gBAAgB,CAAC,GAAG,CAAC,SACvB,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,CAO9C,CAAC"}

package/dist/query-execution-plan.js

@@ -0,0 +1,69 @@
+import { Effect } from "effect";
+import { buildQueryExecutionFromStagePlan, compareRows, compareValue, compileQueryStagePlan, evaluateQueryOperation, evaluateQueryStructuredOperation, projectCurrentContext, toQueryEvaluationError, } from "./query-plan.js";
+import { queryContextOrderIdentity } from "./query-context-identity.js";
+export { mergeQueryContextIdentities, queryCollectionRowIdentity, queryContextIdentityOf, queryContextIdentitySymbol, queryContextOrderIdentity, querySourceContextIdentity, } from "./query-context-identity.js";
+export const compareQueryOrderedContexts = (left, right, orders) => {
+    const ordered = compareRows(left.row, right.row, 0, 0, orders);
+    if (ordered !== 0) {
+        return ordered;
+    }
+    if (left.identity !== undefined && right.identity !== undefined) {
+        const identity = compareValue(left.identity, right.identity);
+        if (identity !== 0) {
+            return identity;
+        }
+    }
+    return left.index - right.index;
+};
+/** Projects already-built query contexts through the plan's remaining stages. */
+export const projectQueryContexts = (builder, contexts, options = {}) => {
+    const stagePlan = options.stagePlan ?? compileQueryStagePlan(builder);
+    const shouldFilter = options.filter ?? true;
+    const shouldOrder = options.order ?? true;
+    const shouldWindow = options.window ?? true;
+    let filtered = shouldFilter
+        ? contexts.filter((row) => stagePlan.filters.every((filter) => evaluateQueryOperation("filter", () => filter(row))))
+        : [...contexts];
+    if (shouldOrder && stagePlan.orders.length > 0) {
+        filtered = filtered
+            .map((row, index) => {
+            const identity = queryContextOrderIdentity(stagePlan.identityAliases, row);
+            return identity === undefined ? { row, index } : { row, index, identity };
+        })
+            .sort((left, right) => compareQueryOrderedContexts(left, right, stagePlan.orders))
+            .map(({ row }) => row);
+    }
+    if (shouldWindow && stagePlan.window.offset > 0) {
+        filtered = filtered.slice(stagePlan.window.offset);
+    }
+    if (shouldWindow && stagePlan.window.limit !== undefined) {
+        filtered = filtered.slice(0, stagePlan.window.limit);
+    }
+    const projector = builder.projector ?? projectCurrentContext;
+    return filtered.map((row) => evaluateQueryStructuredOperation("projection", () => projector(row)));
+};
+/** Executes a query snapshot through the full execution plan. */
+export const executeQueryPlan = (builder) => {
+    const stagePlan = compileQueryStagePlan(builder);
+    return projectQueryContexts(builder, buildQueryExecutionFromStagePlan(stagePlan).contexts, {
+        stagePlan,
+    });
+};
+/** Builds diagnostics for the query execution plan. */
+export const queryExecutionPlanDiagnostics = (builder) => {
+    return buildQueryExecutionFromStagePlan(compileQueryStagePlan(builder)).diagnostics;
+};
+export const preloadQueryExecutionPlanSourcesEffect = (sources, force) => Effect.gen(function* () {
+    for (const source of sources) {
+        yield* source.preloadEffect(force);
+    }
+});
+/** Validates and preloads the source collections for a query execution plan. */
+export const preloadQueryExecutionPlanEffect = (builder, force) => Effect.gen(function* () {
+    const stagePlan = yield* Effect.try({
+        try: () => compileQueryStagePlan(builder),
+        catch: (cause) => toQueryEvaluationError("evaluate", cause),
+    });
+    yield* preloadQueryExecutionPlanSourcesEffect(stagePlan.sourceAdapters, force);
+});
+//# sourceMappingURL=query-execution-plan.js.map

package/dist/query-execution-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-execution-plan.js","sourceRoot":"","sources":["../src/query-execution-plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EACL,gCAAgC,EAChC,WAAW,EACX,YAAY,EACZ,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,GAOvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,yBAAyB,EAA6B,MAAM,6BAA6B,CAAC;AACnG,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAgBrC,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAmC,EACnC,KAAoC,EACpC,MAAmE,EAC3D,EAAE;IACV,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;AAClC,CAAC,CAAC;AAQF,iFAAiF;AACjF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAqD,EACrD,QAAiC,EACjC,OAAO,GAA0C,EAAE,EAC3B,EAAE;IAC1B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC;IAC5C,IAAI,QAAQ,GAAG,YAAY;QACzB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACtB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CACzF;QACH,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;IAElB,IAAI,WAAW,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,QAAQ,GAAG,QAAQ;aAChB,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAClB,MAAM,QAAQ,GAAG,yBAAyB,CAAC,SAAS,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;YAC3E,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAC5E,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;aACjF,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,YAAY,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,YAAY,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACzD,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,qBAAwC,CAAC;IAChF,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1B,gCAAgC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAqD,EAC7B,EAAE;IAC1B,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,oBAAoB,CAAC,OAAO,EAAE,gCAAgC,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;QACzF,SAAS;KACV,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,uDAAuD;AACvD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAA8B,EACR,EAAE;IACxB,OAAO,gCAAgC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,OAAoD,EACpD,KAAc,EACa,EAAE,CAC7B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,OAA8B,EAC9B,KAAc,EACoC,EAAE,CACpD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAClC,GAAG,EAAE,GAAG,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACzC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC;KAC5D,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,sCAAsC,CAAO,SAAS,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;AACvF,CAAC,CAAC,CAAC"}