@metreeca/keep-sparql 0.10.0

package/dist/select/decode.js

@@ -0,0 +1,229 @@
+/*
+ * Copyright © 2025-2026 Metreeca srl
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+/**
+ * Select-pass result decoder.
+ *
+ * Materialises each queued {@link Select}'s collection value from the batched SELECT's solution tuples,
+ * one member per row: the element column (the outer `order by` fixes its order) read tuple by tuple, its
+ * distinct members in returned order. A scalar or coalesced localised member carries its own value in the
+ * row (a plain string, cartesian-fanned for an array-per-tag property); a structured member (resource,
+ * reference, or union) is expanded through the supplied {@link Broker}, its own content re-fetched by the
+ * lookup pass rather than reconstructed here. A union member is classified by the variant discriminator
+ * column that bound (union.md §Model), with no term inspection.
+ *
+ * @module
+ */
+import { getShapeTarget } from "@metreeca/blue/reference";
+import { isObject } from "@metreeca/core";
+import { getFlakeEntries, getFlakeProjection, getFlakeVariant, isBranch, isDrainedFlake, isPropertyBranch } from "@metreeca/keep-flake";
+import { isProjection, isTemplate } from "@metreeca/qest/template";
+import { termToValue } from "../_/_decode.js";
+import { getUnionPlaceholders } from "../_/_union.js";
+/**
+ * Settles each batched select request against the SELECT solution.
+ *
+ * @param scope The variable scope shared with the encoder, recovering per-request tuple slots
+ * @param batch The queued select requests to settle, each paired with its {@link Flake | query plan} and deferred
+ * @param broker The cross-pass channel expanding localised properties through the resources pass
+ * @param tuples The solution tuples returned by the batched SELECT round
+ */
+export function decode(scope, batch, broker, tuples) {
+    const guard = scope.resolve(batch);
+    batch.forEach(({ request, flake, resolve, reject }, index) => {
+        const placeholder = request.query[0];
+        const locale = request.locale;
+        collection(flake, placeholder, locale, index)
+            .then(resolve)
+            .catch(reject);
+    });
+    /**
+     * Reads one request's collection: the flake root's bound members in the returned order,
+     * each decoded from its own tuple, omitting any that resolve to no value.
+     */
+    function collection(flake, placeholder, locale, index) {
+        const projected = isProjection(placeholder);
+        function stamped(tuple) {
+            const block = tuple[guard];
+            return block?.kind === "typed" && block.text === String(index);
+        }
+        return Promise.all(tuples.filter(stamped).map(tuple => projected
+            ? row(flake, tuple, locale)
+            : element(flake, placeholder, tuple[scope.resolve(flake)], tuple, locale))).then(values => 
+        // members always decode to a value (only requested variants are retrieved); the filter only narrows
+        // `decodeElement`'s type, which admits `undefined` for its nested / projection-cell callers
+        values.filter(value => value !== undefined));
+    }
+    /**
+     * Decodes one projection row: every binding the query projects (`getFlakeProjection`), keyed by its
+     * alias, read from its computed cell, omitting a binding that resolves to no value (§5.6). The row is
+     * always surfaced — a filtered-out item contributes no row-group, so a present group is a present row.
+     */
+    function row(flake, tuple, locale) {
+        return Promise.all(Object.entries(getFlakeProjection(flake))
+            .map(([alias, node]) => cell(flake.range, node)
+            .then(value => [alias, value])))
+            .then(slots => slots.reduce((row, [alias, value]) => value === undefined ? row : { ...row, [alias]: value }, {}));
+        /**
+         * Decodes one projection cell: a structurally-addressed localised binding (a tag-range map placeholder)
+         * carries the owning resource's reference, whose localised property the broker then expands into a
+         * tag-preserving cell (§6); any other binding coerces its single computed term (embedded-resource cells
+         * to follow).
+         */
+        function cell(host, flake) {
+            const placeholder = flake.drain?.mould;
+            const branch = isBranch(flake) && isPropertyBranch(flake) ? flake : undefined;
+            // the cell's effective resolved range (never empty), the same source the encoder projects and binds by
+            const variants = flake.range.variants;
+            const single = variants.length === 1 ? variants[0] : undefined;
+            const [enclosing] = host.variants;
+            if (branch !== undefined && single?.kind === "dictionary"
+                && isObject(placeholder)
+                && host.variants.length === 1
+                && (enclosing.kind === "resource" || enclosing.kind === "reference")) {
+                const owner = tuple[scope.resolve(branch)];
+                const owning = getShapeTarget(enclosing);
+                return owner === undefined || owning === undefined
+                    ? Promise.resolve(undefined)
+                    : text(owning, branch, branch.path[branch.path.length - 1], owner);
+            }
+            else if (branch !== undefined && variants.length > 1) {
+                // a union binding classifies on its populated variant column, which carries the term itself, so it
+                // delegates straight to the element decoder without a separate value column to read
+                return element(branch, placeholder, undefined, tuple, locale);
+            }
+            else if (branch !== undefined && (single?.kind === "resource"
+                || (single?.kind === "reference" && (isTemplate(placeholder) || getFlakeEntries(branch).some(isDrainedFlake))))) {
+                const nested = tuple[scope.resolve(branch)];
+                if (nested === undefined) {
+                    return Promise.resolve(undefined);
+                }
+                else if (isTemplate(placeholder) || getFlakeEntries(branch).some(isDrainedFlake)) {
+                    // a structured reference/resource binding delegates its folded sub-structure (§5.6) straight to
+                    // the lookup pass, keyed on the bound member reference
+                    const target = getShapeTarget(variants[0]);
+                    return nested.kind === "named" && target !== undefined
+                        ? expand(nested.iri, target, getFlakeEntries(branch), locale)
+                        : Promise.resolve(undefined);
+                }
+                else {
+                    // an unstructured resource binding has no sub-structure to expand, so its term decodes as an id
+                    return Promise.resolve(termToValue(nested));
+                }
+            }
+            else {
+                const bound = tuple[scope.resolve(flake)];
+                return Promise.resolve(bound !== undefined ? termToValue(bound) : undefined);
+            }
+        }
+        /**
+         * Expands a localised property by delegating to the resources pass: looks up the owning `subject`
+         * restricted to this property under its requested placeholder, then plucks the decoded value back.
+         */
+        function text(shape, branch, field, subject) {
+            // a localised entry resolves as one structured value, so its drain is a Model, never a multi-valued Query
+            const model = branch.drain?.mould;
+            const placeholder = isObject(model) ? model : "";
+            return subject.kind === "named"
+                ? broker.lookup({ entry: subject.iri, shape, model: { [field]: placeholder }, locale })
+                    .then(resource => resource[field])
+                : Promise.resolve(undefined);
+        }
+    }
+    /**
+     * Decodes one member from its solution tuple: a union by the variant guard that bound, a
+     * resource or expanded reference by delegating its expansion to the lookup pass, any other shape by
+     * coercing the element term. Resolves to `undefined` when a union member matches no requested variant.
+     */
+    function element(flake, placeholder, element, tuple, locale) {
+        const variants = flake.range.variants;
+        const single = variants[0];
+        if (variants.length > 1) {
+            // a union projects one column per variant — text included (§5.8.1) — each carrying the value behind
+            // its membership gate (union.md §Model): the populated column is both the term and its variant
+            // classifier, so the term rides the bound column rather than a separate value column
+            const present = [...getUnionPlaceholders(variants, placeholder)].flatMap(([variant, mould]) => {
+                const term = tuple[scope.resolve(flake, variant)];
+                return term !== undefined ? [{ variant, mould, term }] : [];
+            })[0];
+            return present === undefined
+                ? Promise.resolve(undefined)
+                : variant(present.variant, flake, present.mould, present.term);
+        }
+        else if (element === undefined) {
+            return Promise.resolve(undefined);
+        }
+        else if ((single.kind === "resource" || single.kind === "reference")
+            && (isTemplate(placeholder) || getFlakeEntries(flake).some(isDrainedFlake))) {
+            // range dereferences a reference to its target resource, so resource and reference coincide here; the
+            // expansion is gated on the drain (a nested template or folded branches, §5.6), so a leaf reference —
+            // no structure to expand — falls through and is decoded as an id by `termToValue`
+            const target = single.kind === "reference" ? getShapeTarget(single) : single;
+            return element.kind === "named" && target !== undefined
+                ? expand(element.iri, target, getFlakeEntries(flake), locale)
+                : Promise.resolve(undefined);
+        }
+        else {
+            return Promise.resolve(termToValue(element));
+        }
+        /**
+         * Decodes a member under its fixed variant: a literal variant coerces the element term, a node variant
+         * delegates its expansion to the lookup pass, and a bare (non-template) reference variant keeps the
+         * element reference.
+         */
+        function variant(variant, flake, placeholder, element) {
+            if (variant.kind === "dictionary") {
+                // a dictionary variant's cell is its language-tagged literal (§6): a structural request (a tag-map
+                // mould) surfaces it as a single-tag map, a coalesced one (a plain-string mould) as the plain string
+                return Promise.resolve(element.kind === "tagged"
+                    ? isObject(placeholder) ? { [element.language]: element.text } : element.text
+                    : undefined);
+            }
+            else if (variant.kind === "reference" && !isTemplate(placeholder) && !getFlakeVariant(flake, variant).some(isDrainedFlake)) {
+                return Promise.resolve(element.kind === "named" ? element.iri : undefined);
+            }
+            else if (variant.kind === "reference" || variant.kind === "resource") {
+                const target = getShapeTarget(variant);
+                return element.kind === "named" && target !== undefined
+                    ? expand(element.iri, target, getFlakeVariant(flake, variant), locale)
+                    : Promise.resolve(undefined);
+            }
+            else {
+                return Promise.resolve(termToValue(element));
+            }
+        }
+    }
+    /**
+     * Expands a structured member through the lookup pass: reassembles its retrieval template from the
+     * requested branches and hands it to the broker, keyed on the member entry. The read-side dual of
+     * the resources pass's set-valued delegation, so the member's own content — its scalars, localised text,
+     * and nested collections alike — is the lookup handler's responsibility and the select decoder never
+     * reconstructs it from the returned tuples.
+     */
+    function expand(entry, shape, branches, locale) {
+        return broker.lookup({
+            entry,
+            shape,
+            model: branches
+                .filter(branch => branch.drain !== undefined)
+                .reduce((model, branch) => ({
+                ...model,
+                [branch.path[branch.path.length - 1]]: branch.drain?.mould ?? ""
+            }), {}),
+            locale
+        });
+    }
+}
+//# sourceMappingURL=decode.js.map

package/dist/select/decode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decode.js","sourceRoot":"","sources":["../../src/select/decode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG1D,OAAO,EAAmB,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAGN,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAc,MAAM,yBAAyB,CAAC;AAG/E,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGtD;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CACrB,KAAsB,EACtB,KAAiE,EACjE,MAAc,EACd,MAAwB;IAGxB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAEnC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE;QAE5D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAE9B,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC;aAC3C,IAAI,CAAC,OAAO,CAAC;aACb,KAAK,CAAC,MAAM,CAAC,CAAC;IAEjB,CAAC,CAAC,CAAC;IAGH;;;OAGG;IACH,SAAS,UAAU,CAClB,KAAY,EACZ,WAAoB,EACpB,MAAsB,EACtB,KAAa;QAGb,MAAM,SAAS,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;QAE5C,SAAS,OAAO,CAAC,KAAY;YAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,OAAO,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS;YAC/D,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CACzE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;QAChB,oGAAoG;QACpG,4FAA4F;QAC5F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAC3C,CAAC;IAEH,CAAC;IAED;;;;OAIG;IACH,SAAS,GAAG,CACX,KAAY,EACZ,KAAY,EACZ,MAAsB;QAGtB,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;aACzD,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;aAC7C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAU,CAAC,CACvC,CACD;aACA,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAC1B,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,EAC/E,EAAE,CACF,CAAC,CAAC;QAEJ;;;;;WAKG;QACH,SAAS,IAAI,CACZ,IAAgB,EAChB,KAAY;YAGZ,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;YACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YAE9E,uGAAuG;YAEvG,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;YACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAE/D,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;YAElC,IAAK,MAAM,KAAK,SAAS,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;mBACtD,QAAQ,CAAC,WAAW,CAAC;mBACrB,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;mBAC1B,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,EAAG,CAAC;gBAExE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC3C,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;gBAEzC,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;oBACjD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;oBAC5B,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAEnE,CAAC;iBAAM,IAAK,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;gBAE1D,mGAAmG;gBACnG,oFAAoF;gBAEpF,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAE/D,CAAC;iBAAM,IAAK,MAAM,KAAK,SAAS,IAAI,CACnC,MAAM,EAAE,IAAI,KAAK,UAAU;mBACxB,CAAC,MAAM,EAAE,IAAI,KAAK,WAAW,IAAI,CACnC,UAAU,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CACvE,CAAC,CACF,EAAG,CAAC;gBAEJ,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gBAE5C,IAAK,MAAM,KAAK,SAAS,EAAG,CAAC;oBAE5B,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAEnC,CAAC;qBAAM,IAAK,UAAU,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAG,CAAC;oBAEtF,gGAAgG;oBAChG,uDAAuD;oBAEvD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAE3C,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,SAAS;wBACrD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;wBAC7D,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAE/B,CAAC;qBAAM,CAAC;oBAEP,gGAAgG;oBAEhG,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;gBAE7C,CAAC;YAEF,CAAC;iBAAM,CAAC;gBAEP,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBAE1C,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAE9E,CAAC;QAEF,CAAC;QAED;;;WAGG;QACH,SAAS,IAAI,CACZ,KAAoB,EACpB,MAAc,EACd,KAAiB,EACjB,OAAa;YAGb,0GAA0G;YAE1G,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;YAClC,MAAM,WAAW,GAAU,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAExD,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO;gBAC9B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC;qBACrF,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACnC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE/B,CAAC;IAEF,CAAC;IAED;;;;OAIG;IACH,SAAS,OAAO,CACf,KAAY,EACZ,WAAoB,EACpB,OAAyB,EACzB,KAAY,EACZ,MAAsB;QAGtB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAE3B,IAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;YAE3B,oGAAoG;YACpG,+FAA+F;YAC/F,qFAAqF;YAErF,MAAM,OAAO,GAAG,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE;gBAC7F,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;gBAClD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAEN,OAAO,OAAO,KAAK,SAAS;gBAC3B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;gBAC5B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAEjE,CAAC;aAAM,IAAK,OAAO,KAAK,SAAS,EAAG,CAAC;YAEpC,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAEnC,CAAC;aAAM,IAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;eACnE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAG,CAAC;YAE/E,sGAAsG;YACtG,sGAAsG;YACtG,kFAAkF;YAElF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAE7E,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,SAAS;gBACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;gBAC7D,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE/B,CAAC;aAAM,CAAC;YAEP,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;QAE9C,CAAC;QAGD;;;;WAIG;QACH,SAAS,OAAO,CACf,OAAoB,EACpB,KAAY,EACZ,WAAoB,EACpB,OAAa;YAGb,IAAK,OAAO,CAAC,IAAI,KAAK,YAAY,EAAG,CAAC;gBAErC,mGAAmG;gBACnG,qGAAqG;gBAErG,OAAO,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;oBAC/C,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI;oBAC7E,CAAC,CAAC,SAAS,CAAC,CAAC;YAEf,CAAC;iBAAM,IAAK,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAG,CAAC;gBAEhI,OAAO,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAE5E,CAAC;iBAAM,IAAK,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAG,CAAC;gBAE1E,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;gBAEvC,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,KAAK,SAAS;oBACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC;oBACtE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE/B,CAAC;iBAAM,CAAC;gBAEP,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YAE9C,CAAC;QAEF,CAAC;IAEF,CAAC;IAGD;;;;;;OAMG;IACH,SAAS,MAAM,CACd,KAAgB,EAChB,KAAoB,EACpB,QAA2B,EAC3B,MAAsB;QAGtB,OAAO,MAAM,CAAC,MAAM,CAAC;YAEpB,KAAK;YACL,KAAK;YAEL,KAAK,EAAE,QAAQ;iBACb,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC;iBAC5C,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;gBAC3B,GAAG,KAAK;gBACR,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;aAC9D,CAAC,EAAE,EAAE,CAAC;YAER,MAAM;SAEN,CAAC,CAAC;IAEJ,CAAC;AAEF,CAAC"}

package/dist/select/encode.d.ts

@@ -0,0 +1,16 @@
+import type { Scope } from "@metreeca/core/scope";
+import { type Flake } from "@metreeca/keep-flake";
+import type { Deferred, Select } from "@metreeca/keep/batching";
+import { type SPARQL, type Variable } from "@metreeca/wire-sparql";
+/**
+ * Folds every queued select request into one batched SPARQL SELECT.
+ *
+ * @param scope The variable scope shared with the decoder, allocating per-request solution slots
+ * @param batch The queued select requests to encode, each paired with its {@link Flake | query plan} and deferred
+ *
+ * @returns The batched SELECT query covering every request in `batch`
+ */
+export declare function encode(scope: Scope<Variable>, batch: readonly (Deferred<Select> & {
+    readonly flake: Flake;
+})[]): SPARQL;
+//# sourceMappingURL=encode.d.ts.map

package/dist/select/encode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"encode.d.ts","sourceRoot":"","sources":["../../src/select/encode.ts"],"names":[],"mappings":"AAqCA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAEN,KAAK,KAAK,EAkBV,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAIhE,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAqDnE;;;;;;;GAOG;AACH,wBAAgB,MAAM,CACrB,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CAAE,CAAC,EAAE,GAC/D,MAAM,CAiqBR"}