@_linked/core 1.0.0-next.20260224083238 → 1.1.0

package/lib/esm/queries/IRDesugar.d.ts

@@ -1,98 +0,0 @@
-import { JSNonNullPrimitive, SelectPath, SortByPath, WhereMethods, WherePath } from './SelectQuery.js';
-import { NodeReferenceValue, ShapeReferenceValue } from './QueryFactory.js';
-/**
- * Internal pipeline input type — captures exactly what the desugar pass
- * needs from a select query factory. Replaces the old LegacySelectQuery
- * as the pipeline entry point.
- */
-export type RawSelectInput = {
-    select: SelectPath;
-    where?: WherePath;
-    sortBy?: SortByPath;
-    subject?: unknown;
-    shape?: unknown;
-    limit?: number;
-    offset?: number;
-    singleResult?: boolean;
-};
-export type DesugaredPropertyStep = {
-    kind: 'property_step';
-    propertyShapeId: string;
-    where?: DesugaredWhere;
-};
-export type DesugaredCountStep = {
-    kind: 'count_step';
-    path: DesugaredPropertyStep[];
-    label?: string;
-};
-export type DesugaredTypeCastStep = {
-    kind: 'type_cast_step';
-    shapeId: string;
-};
-export type DesugaredStep = DesugaredPropertyStep | DesugaredCountStep | DesugaredTypeCastStep;
-export type DesugaredSelectionPath = {
-    kind: 'selection_path';
-    steps: DesugaredStep[];
-};
-export type DesugaredSubSelect = {
-    kind: 'sub_select';
-    parentPath: DesugaredStep[];
-    selections: DesugaredSelection;
-};
-export type DesugaredCustomObjectSelect = {
-    kind: 'custom_object_select';
-    entries: DesugaredCustomObjectEntry[];
-};
-export type DesugaredCustomObjectEntry = {
-    key: string;
-    value: DesugaredSelection;
-};
-export type DesugaredEvaluationSelect = {
-    kind: 'evaluation_select';
-    where: DesugaredWhere;
-};
-export type DesugaredMultiSelection = {
-    kind: 'multi_selection';
-    selections: DesugaredSelectionPath[];
-};
-export type DesugaredSelection = DesugaredSelectionPath | DesugaredSubSelect | DesugaredCustomObjectSelect | DesugaredEvaluationSelect | DesugaredMultiSelection;
-export type DesugaredWhereComparison = {
-    kind: 'where_comparison';
-    operator: WhereMethods;
-    left: DesugaredSelectionPath;
-    right: DesugaredWhereArg[];
-};
-export type DesugaredWhereBoolean = {
-    kind: 'where_boolean';
-    first: DesugaredWhereComparison;
-    andOr: Array<{
-        and?: DesugaredWhere;
-        or?: DesugaredWhere;
-    }>;
-};
-export type DesugaredWhere = DesugaredWhereComparison | DesugaredWhereBoolean;
-export type DesugaredSortBy = {
-    direction: 'ASC' | 'DESC';
-    paths: DesugaredSelectionPath[];
-};
-export type DesugaredWhereArg = JSNonNullPrimitive | NodeReferenceValue | ShapeReferenceValue | {
-    kind: 'arg_path';
-    subject?: ShapeReferenceValue;
-    path: DesugaredSelectionPath;
-} | DesugaredWhere;
-export type DesugaredSelectQuery = {
-    kind: 'desugared_select';
-    shapeId?: string;
-    subjectId?: string;
-    singleResult?: boolean;
-    limit?: number;
-    offset?: number;
-    selections: DesugaredSelection[];
-    sortBy?: DesugaredSortBy;
-    where?: DesugaredWhere;
-};
-/**
- * Converts a RawSelectInput (DSL-level query) into a flat DesugaredSelectQuery
- * by walking proxy-traced select/where/sortBy paths and extracting property steps.
- */
-export declare const desugarSelectQuery: (query: RawSelectInput) => DesugaredSelectQuery;

package/lib/esm/queries/IRDesugar.js

@@ -1,240 +0,0 @@
-import { isWhereEvaluationPath, } from './SelectQuery.js';
-const isPropertyQueryStep = (step) => {
-    var _a;
-    return !!step && typeof step === 'object' && 'property' in step &&
-        !!((_a = step.property) === null || _a === void 0 ? void 0 : _a.id);
-};
-const isSizeStep = (step) => {
-    return !!step && typeof step === 'object' && 'count' in step;
-};
-const isShapeRef = (value) => !!value && typeof value === 'object' && 'id' in value && 'shape' in value;
-const isNodeRef = (value) => typeof value === 'object' && value !== null && 'id' in value;
-const isCustomQueryObject = (value) => !!value && typeof value === 'object' && !Array.isArray(value) &&
-    !('property' in value) && !('count' in value) && !('id' in value) &&
-    !('args' in value) && !('firstPath' in value) && !('method' in value);
-const toStep = (step) => {
-    if (isSizeStep(step)) {
-        return {
-            kind: 'count_step',
-            path: step.count.map((s) => toPropertyStepOnly(s)),
-            label: step.label,
-        };
-    }
-    if (isShapeRef(step)) {
-        return {
-            kind: 'type_cast_step',
-            shapeId: step.id,
-        };
-    }
-    if (isPropertyQueryStep(step)) {
-        const result = {
-            kind: 'property_step',
-            propertyShapeId: step.property.id,
-        };
-        if (step.where) {
-            result.where = toWhere(step.where);
-        }
-        return result;
-    }
-    // CustomQueryObject step — this appears in preload and sub-select paths
-    if (isCustomQueryObject(step)) {
-        // Return a property_step placeholder; the parent path handler will pick up sub-selects
-        // This is an edge case for preload where the sub-query object is pushed into the path
-        return {
-            kind: 'property_step',
-            propertyShapeId: '__sub_query',
-        };
-    }
-    throw new Error('Unsupported query step in desugar pass: ' + JSON.stringify(step));
-};
-const toPropertyStepOnly = (step) => {
-    if (isPropertyQueryStep(step)) {
-        return {
-            kind: 'property_step',
-            propertyShapeId: step.property.id,
-        };
-    }
-    throw new Error('Expected property step in count path');
-};
-/**
- * Converts a SelectPath (QueryPath[] or CustomQueryObject) to desugared selections.
- */
-const toSelections = (select) => {
-    if (Array.isArray(select)) {
-        return select.map((path) => toSelection(path));
-    }
-    // CustomQueryObject at top level
-    return [toCustomObjectSelect(select)];
-};
-/**
- * Converts a single QueryPath to a DesugaredSelection.
- * A QueryPath can be:
- * - (QueryStep | SubQueryPaths)[] — a flat or nested array of steps
- * - WherePath — a where evaluation used as a selection (e.g. p.bestFriend.equals(...))
- */
-const toSelection = (path) => {
-    // WherePath used as a selection (e.g. customResultEqualsBoolean)
-    if (!Array.isArray(path)) {
-        if (isWhereEvaluationPath(path) || 'firstPath' in path) {
-            return {
-                kind: 'evaluation_select',
-                where: toWhere(path),
-            };
-        }
-        throw new Error('Unsupported non-array path in desugar selection pass');
-    }
-    // Check if the last element is a sub-query (nested array or custom object)
-    const lastElement = path[path.length - 1];
-    if (Array.isArray(lastElement)) {
-        // Sub-select: parent path steps + nested selections
-        const parentSteps = path.slice(0, -1).map((step) => toStep(step));
-        const nestedSelect = lastElement;
-        return {
-            kind: 'sub_select',
-            parentPath: parentSteps,
-            selections: toSubSelections(nestedSelect),
-        };
-    }
-    if (lastElement && typeof lastElement === 'object' && isCustomQueryObject(lastElement)) {
-        // Sub-select with custom object: parent path steps + custom object selections
-        const parentSteps = path.slice(0, -1).map((step) => toStep(step));
-        return {
-            kind: 'sub_select',
-            parentPath: parentSteps,
-            selections: toCustomObjectSelect(lastElement),
-        };
-    }
-    // Flat selection path
-    return {
-        kind: 'selection_path',
-        steps: path.map((step) => toStep(step)),
-    };
-};
-/**
- * Converts sub-select contents (which can be QueryPath[] or CustomQueryObject).
- */
-const toSubSelections = (select) => {
-    if (Array.isArray(select)) {
-        // Array of paths — could be a single path or multiple paths
-        if (select.length === 0) {
-            return { kind: 'selection_path', steps: [] };
-        }
-        const selections = select.map((path) => toSelection(path));
-        if (selections.length === 1) {
-            return selections[0];
-        }
-        // Multiple selections in a sub-select
-        return {
-            kind: 'multi_selection',
-            selections: selections.filter((s) => s.kind === 'selection_path'),
-        };
-    }
-    return toCustomObjectSelect(select);
-};
-/**
- * Converts a CustomQueryObject to a DesugaredCustomObjectSelect.
- */
-const toCustomObjectSelect = (obj) => {
-    const entries = Object.keys(obj).map((key) => ({
-        key,
-        value: toSelection(obj[key]),
-    }));
-    return {
-        kind: 'custom_object_select',
-        entries,
-    };
-};
-const toSelectionPath = (path) => {
-    if (!Array.isArray(path)) {
-        throw new Error('Unsupported non-array path in desugar selection pass');
-    }
-    return {
-        kind: 'selection_path',
-        steps: path.map((step) => toStep(step)),
-    };
-};
-const toWhereArg = (arg) => {
-    if (typeof arg === 'string' ||
-        typeof arg === 'number' ||
-        typeof arg === 'boolean' ||
-        arg instanceof Date) {
-        return arg;
-    }
-    if (isShapeRef(arg)) {
-        return arg;
-    }
-    if (isNodeRef(arg)) {
-        return arg;
-    }
-    if (arg && typeof arg === 'object') {
-        if (isWhereEvaluationPath(arg) || 'firstPath' in arg) {
-            return toWhere(arg);
-        }
-        if ('path' in arg) {
-            const pathArg = arg;
-            return {
-                kind: 'arg_path',
-                subject: pathArg.subject,
-                path: toSelectionPath(pathArg.path),
-            };
-        }
-    }
-    throw new Error('Unsupported where argument in desugar pass');
-};
-const toWhereComparison = (path) => {
-    if (!isWhereEvaluationPath(path)) {
-        throw new Error('Expected where evaluation path');
-    }
-    return {
-        kind: 'where_comparison',
-        operator: path.method,
-        left: toSelectionPath(path.path),
-        right: (path.args || []).map(toWhereArg),
-    };
-};
-const toWhere = (path) => {
-    if (path.firstPath) {
-        const grouped = path;
-        return {
-            kind: 'where_boolean',
-            first: toWhereComparison(grouped.firstPath),
-            andOr: grouped.andOr.map((token) => ({
-                and: token.and ? toWhere(token.and) : undefined,
-                or: token.or ? toWhere(token.or) : undefined,
-            })),
-        };
-    }
-    return toWhereComparison(path);
-};
-const toSortBy = (query) => {
-    if (!query.sortBy) {
-        return undefined;
-    }
-    return {
-        direction: query.sortBy.direction,
-        paths: query.sortBy.paths.map((path) => toSelectionPath(path)),
-    };
-};
-/**
- * Converts a RawSelectInput (DSL-level query) into a flat DesugaredSelectQuery
- * by walking proxy-traced select/where/sortBy paths and extracting property steps.
- */
-export const desugarSelectQuery = (query) => {
-    var _a, _b, _c;
-    const selections = toSelections(query.select);
-    const subjectId = query.subject && typeof query.subject === 'object' && 'id' in query.subject
-        ? query.subject.id
-        : undefined;
-    return {
-        kind: 'desugared_select',
-        shapeId: ((_b = (_a = query.shape) === null || _a === void 0 ? void 0 : _a.shape) === null || _b === void 0 ? void 0 : _b.id) || ((_c = query.shape) === null || _c === void 0 ? void 0 : _c.id),
-        subjectId,
-        singleResult: query.singleResult,
-        limit: query.limit,
-        offset: query.offset,
-        selections,
-        sortBy: toSortBy(query),
-        where: query.where ? toWhere(query.where) : undefined,
-    };
-};
-//# sourceMappingURL=IRDesugar.js.map

package/lib/esm/queries/IRDesugar.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"IRDesugar.js","sourceRoot":"","sources":["../../../src/queries/IRDesugar.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,qBAAqB,GAUtB,MAAM,kBAAkB,CAAC;AA6H1B,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAuD,EAAE;;IACjG,OAAO,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,UAAU,IAAI,IAAI;QAC7D,CAAC,CAAC,CAAA,MAAC,IAAyB,CAAC,QAAQ,0CAAE,EAAE,CAAA,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAoB,EAAE;IACrD,OAAO,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,IAAI,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAc,EAAgC,EAAE,CAClE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC;AAE5E,MAAM,SAAS,GAAG,CAAC,KAAc,EAA+B,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC;AAE/D,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAA8B,EAAE,CACzE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAC7D,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC;IACjE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC;AAExE,MAAM,MAAM,GAAG,CAAC,IAAe,EAAiB,EAAE;IAChD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAClD,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAG,IAA4B,CAAC,EAAE;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAA0B;YACpC,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;SAClC,CAAC;QACF,IAAK,IAAY,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,GAAG,OAAO,CAAE,IAAY,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wEAAwE;IACxE,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,uFAAuF;QACvF,sFAAsF;QACtF,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,aAAa;SAC/B,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAe,EAAyB,EAAE;IACpE,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,MAAkB,EAAwB,EAAE;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAiB,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,iCAAiC;IACjC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,IAAe,EAAsB,EAAE;IAC1D,iEAAiE;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,WAAW,IAAK,IAAgC,EAAE,CAAC;YACpF,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC;aACrB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IAED,2EAA2E;IAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,oDAAoD;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAG,WAAoC,CAAC;QAC1D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,eAAe,CAAC,YAAY,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;QACvF,8EAA8E;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC,CAAC;QAC/E,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,MAAkB,EAAsB,EAAE;IACjE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,4DAA4D;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,EAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,EAAC,CAAC;QAC7C,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAiB,CAAC,CAAC,CAAC;QACxE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,sCAAsC;QACtC,OAAO;YACL,IAAI,EAAE,iBAA0B;YAChC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;SAC/F,CAAC;IACJ,CAAC;IACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,GAAsB,EAA+B,EAAE;IACnF,MAAM,OAAO,GAAiC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3E,GAAG;QACH,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;KAC7B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAe,EAA0B,EAAE;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,GAAY,EAAqB,EAAE;IACrD,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,OAAO,GAAG,KAAK,QAAQ;QACvB,OAAO,GAAG,KAAK,SAAS;QACxB,GAAG,YAAY,IAAI,EACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,qBAAqB,CAAC,GAAgB,CAAC,IAAI,WAAW,IAAK,GAA+B,EAAE,CAAC;YAC/F,OAAO,OAAO,CAAC,GAAgB,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,MAAM,IAAK,GAAe,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,GAAc,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,IAA4B,CAAC;aAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAe,EAA4B,EAAE;IACtE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,QAAQ,EAAE,IAAI,CAAC,MAAM;QACrB,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAA4B,CAAC;QACxD,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAe,EAAkB,EAAE;IAClD,IAAK,IAAmB,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAkB,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACnC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC/C,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;aAC7C,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC;AAGF,MAAM,QAAQ,GAAG,CAAC,KAAqB,EAA+B,EAAE;IACtE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;QACjC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAiB,CAAC,CAAC;KAC5E,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAqB,EAAwB,EAAE;;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE9C,MAAM,SAAS,GACb,KAAK,CAAC,OAAO,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO;QACzE,CAAC,CAAE,KAAK,CAAC,OAA8B,CAAC,EAAE;QAC1C,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAA,MAAA,MAAC,KAAK,CAAC,KAAa,0CAAE,KAAK,0CAAE,EAAE,MAAI,MAAC,KAAK,CAAC,KAAa,0CAAE,EAAE,CAAA;QACpE,SAAS;QACT,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU;QACV,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;QACvB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;KACtD,CAAC;AACJ,CAAC,CAAC"}

package/lib/esm/queries/IRLower.d.ts

@@ -1,8 +0,0 @@
-import { CanonicalDesugaredSelectQuery } from './IRCanonicalize.js';
-import { IRSelectQuery } from './IntermediateRepresentation.js';
-/**
- * Lowers a canonical desugared select query into the final IRSelectQuery.
- * Introduces aliases, graph patterns (shape scans, traversals), and
- * converts selection paths and where-clauses into IR expressions.
- */
-export declare const lowerSelectQuery: (canonical: CanonicalDesugaredSelectQuery) => IRSelectQuery;

package/lib/esm/queries/IRLower.js

@@ -1,234 +0,0 @@
-import { canonicalizeWhere } from './IRCanonicalize.js';
-import { lowerSelectionPathExpression, projectionKeyFromPath } from './IRProjection.js';
-import { IRAliasScope } from './IRAliasScope.js';
-class LoweringContext {
-    constructor() {
-        this.counter = 0;
-        this.patterns = [];
-        this.traverseMap = new Map();
-        this.rootAlias = this.nextAlias();
-    }
-    nextAlias() {
-        return `a${this.counter++}`;
-    }
-    getOrCreateTraversal(fromAlias, propertyShapeId) {
-        const key = `${fromAlias}:${propertyShapeId}`;
-        const existing = this.traverseMap.get(key);
-        if (existing)
-            return existing;
-        const toAlias = this.nextAlias();
-        this.patterns.push({
-            kind: 'traverse',
-            from: fromAlias,
-            to: toAlias,
-            property: propertyShapeId,
-        });
-        this.traverseMap.set(key, toAlias);
-        return toAlias;
-    }
-    generateAlias() {
-        return this.nextAlias();
-    }
-    getPatterns() {
-        return [...this.patterns];
-    }
-}
-const isShapeRef = (value) => !!value && typeof value === 'object' && 'id' in value && 'shape' in value;
-const isNodeRef = (value) => typeof value === 'object' && value !== null && 'id' in value;
-const lowerPath = (path, options) => lowerSelectionPathExpression(path, options);
-const lowerWhereArg = (arg, ctx, options) => {
-    if (typeof arg === 'string' || typeof arg === 'number' || typeof arg === 'boolean') {
-        return { kind: 'literal_expr', value: arg };
-    }
-    if (arg instanceof Date) {
-        return { kind: 'literal_expr', value: arg.toISOString() };
-    }
-    if (arg && typeof arg === 'object') {
-        if ('kind' in arg && arg.kind === 'arg_path') {
-            const argPath = arg;
-            return lowerPath(argPath.path, options);
-        }
-        if (isShapeRef(arg)) {
-            return { kind: 'literal_expr', value: arg.id };
-        }
-        if (isNodeRef(arg)) {
-            return { kind: 'literal_expr', value: arg.id };
-        }
-    }
-    return { kind: 'literal_expr', value: null };
-};
-const lowerWhere = (where, ctx, options) => {
-    switch (where.kind) {
-        case 'where_binary': {
-            const comp = where;
-            return {
-                kind: 'binary_expr',
-                operator: comp.operator,
-                left: lowerPath(comp.left, options),
-                right: comp.right.length > 0
-                    ? lowerWhereArg(comp.right[0], ctx, options)
-                    : { kind: 'literal_expr', value: null },
-            };
-        }
-        case 'where_logical': {
-            const logical = where;
-            return {
-                kind: 'logical_expr',
-                operator: logical.operator,
-                expressions: logical.expressions.map((expr) => lowerWhere(expr, ctx, options)),
-            };
-        }
-        case 'where_exists': {
-            const exists = where;
-            const traversals = [];
-            const localTraversalMap = new Map();
-            const existsResolveTraversal = (fromAlias, propertyShapeId) => {
-                const key = `${fromAlias}:${propertyShapeId}`;
-                const existing = localTraversalMap.get(key);
-                if (existing)
-                    return existing;
-                const toAlias = ctx.generateAlias();
-                traversals.push({
-                    kind: 'traverse',
-                    from: fromAlias,
-                    to: toAlias,
-                    property: propertyShapeId,
-                });
-                localTraversalMap.set(key, toAlias);
-                return toAlias;
-            };
-            let existsRootAlias = options.rootAlias;
-            for (const step of exists.path.steps) {
-                if (step.kind === 'property_step') {
-                    existsRootAlias = existsResolveTraversal(existsRootAlias, step.propertyShapeId);
-                }
-            }
-            const filter = lowerWhere(exists.predicate, ctx, {
-                rootAlias: existsRootAlias,
-                resolveTraversal: existsResolveTraversal,
-            });
-            return {
-                kind: 'exists_expr',
-                pattern: traversals.length === 1
-                    ? traversals[0]
-                    : { kind: 'join', patterns: traversals },
-                filter,
-            };
-        }
-        case 'where_not': {
-            const not = where;
-            return {
-                kind: 'not_expr',
-                expression: lowerWhere(not.expression, ctx, options),
-            };
-        }
-        default:
-            throw new Error(`Unknown canonical where kind: ${where.kind}`);
-    }
-};
-const combineWithParentPath = (parentPath, path) => ({
-    kind: 'selection_path',
-    steps: [...parentPath, ...path.steps],
-});
-/**
- * Lowers a canonical desugared select query into the final IRSelectQuery.
- * Introduces aliases, graph patterns (shape scans, traversals), and
- * converts selection paths and where-clauses into IR expressions.
- */
-export const lowerSelectQuery = (canonical) => {
-    const ctx = new LoweringContext();
-    const pathOptions = {
-        rootAlias: ctx.rootAlias,
-        resolveTraversal: (fromAlias, propertyShapeId) => ctx.getOrCreateTraversal(fromAlias, propertyShapeId),
-    };
-    const root = {
-        kind: 'shape_scan',
-        shape: canonical.shapeId || '',
-        alias: ctx.rootAlias,
-    };
-    const aliasAfterPath = (steps) => {
-        let currentAlias = pathOptions.rootAlias;
-        for (const step of steps) {
-            if (step.kind === 'property_step') {
-                currentAlias = pathOptions.resolveTraversal(currentAlias, step.propertyShapeId);
-            }
-        }
-        return currentAlias;
-    };
-    const collectProjectionSeeds = (selection, key, parentPath = []) => {
-        if (selection.kind === 'selection_path') {
-            return [{
-                    kind: 'path',
-                    path: combineWithParentPath(parentPath, selection),
-                    key,
-                }];
-        }
-        if (selection.kind === 'sub_select') {
-            return collectProjectionSeeds(selection.selections, key, [...parentPath, ...selection.parentPath]);
-        }
-        if (selection.kind === 'custom_object_select') {
-            return selection.entries.flatMap((entry) => collectProjectionSeeds(entry.value, entry.key, parentPath));
-        }
-        if (selection.kind === 'multi_selection') {
-            return selection.selections.map((path) => ({
-                kind: 'path',
-                path: combineWithParentPath(parentPath, path),
-                key,
-            }));
-        }
-        if (selection.kind === 'evaluation_select') {
-            const canonicalWhere = canonicalizeWhere(selection.where);
-            return [{
-                    kind: 'expression',
-                    key: key || 'value',
-                    expression: lowerWhere(canonicalWhere, ctx, {
-                        rootAlias: aliasAfterPath(parentPath),
-                        resolveTraversal: pathOptions.resolveTraversal,
-                    }),
-                }];
-        }
-        return [];
-    };
-    const projectionSeeds = canonical.selections.flatMap((selection) => collectProjectionSeeds(selection));
-    const projectionScope = new IRAliasScope('projection');
-    projectionScope.registerAlias(ctx.rootAlias, 'root');
-    const projection = [];
-    const resultMapEntries = [];
-    for (const seed of projectionSeeds) {
-        const key = seed.kind === 'path'
-            ? (seed.key || projectionKeyFromPath(seed.path))
-            : seed.key;
-        const alias = projectionScope.generateAlias(key).alias;
-        projection.push({
-            alias,
-            expression: seed.kind === 'path'
-                ? lowerSelectionPathExpression(seed.path, pathOptions)
-                : seed.expression,
-        });
-        resultMapEntries.push({
-            key,
-            alias,
-        });
-    }
-    const where = canonical.where ? lowerWhere(canonical.where, ctx, pathOptions) : undefined;
-    const orderBy = canonical.sortBy
-        ? canonical.sortBy.paths.map((path) => ({
-            expression: lowerPath(path, pathOptions),
-            direction: canonical.sortBy.direction,
-        }))
-        : undefined;
-    return {
-        kind: 'select',
-        root,
-        patterns: ctx.getPatterns(),
-        projection,
-        where,
-        orderBy,
-        limit: canonical.limit,
-        offset: canonical.offset,
-        subjectId: canonical.subjectId,
-        singleResult: canonical.singleResult,
-        resultMap: resultMapEntries,
-    };
-};
-//# sourceMappingURL=IRLower.js.map

package/lib/esm/queries/IRLower.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"IRLower.js","sourceRoot":"","sources":["../../../src/queries/IRLower.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAC,iBAAiB,EAAC,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAC,4BAA4B,EAAE,qBAAqB,EAAC,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAG/C,MAAM,eAAe;IAMnB;QALQ,YAAO,GAAG,CAAC,CAAC;QACZ,aAAQ,GAAqB,EAAE,CAAC;QAChC,gBAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAI9C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IACpC,CAAC;IAEO,SAAS;QACf,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IAC9B,CAAC;IAED,oBAAoB,CAAC,SAAiB,EAAE,eAAuB;QAC7D,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,eAAe,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAE9B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO;YACX,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;IAED,WAAW;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;CACF;AAOD,MAAM,UAAU,GAAG,CAAC,KAAc,EAAgC,EAAE,CAClE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC;AAE5E,MAAM,SAAS,GAAG,CAAC,KAAc,EAA+B,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC;AAE/D,MAAM,SAAS,GAAG,CAChB,IAA4B,EAC5B,OAA4B,EACd,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAE/D,MAAM,aAAa,GAAG,CACpB,GAAsB,EACtB,GAAoB,EACpB,OAA4B,EACd,EAAE;IAChB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QACnF,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAC,CAAC;IAC5C,CAAC;IACD,IAAI,GAAG,YAAY,IAAI,EAAE,CAAC;QACxB,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAC,CAAC;IAC1D,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,GAAuD,CAAC;YACxE,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAC,CAAC;QAC/C,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAG,GAA0B,CAAC,EAAE,EAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA+B,EAC/B,GAAoB,EACpB,OAA4B,EACd,EAAE;IAChB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,KAAiC,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,QAAQ,EAAE,IAAI,CAAC,QAAgD;gBAC/D,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;oBAC1B,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC;oBAC5C,CAAC,CAAC,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAC;aACxC,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,OAAO,GAAG,KAA8B,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;aAC/E,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,KAA6B,CAAC;YAC7C,MAAM,UAAU,GAAwB,EAAE,CAAC;YAC3C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;YAEpD,MAAM,sBAAsB,GAAG,CAAC,SAAiB,EAAE,eAAuB,EAAU,EAAE;gBACpF,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,eAAe,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBAE9B,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO;oBACX,QAAQ,EAAE,eAAe;iBAC1B,CAAC,CAAC;gBACH,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACpC,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC;YAEF,IAAI,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAClC,eAAe,GAAG,sBAAsB,CAAC,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE;gBAC/C,SAAS,EAAE,eAAe;gBAC1B,gBAAgB,EAAE,sBAAsB;aACzC,CAAC,CAAC;YAEH,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;oBAC9B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,EAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAC;gBACxC,MAAM;aACP,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,KAA0B,CAAC;YACvC,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC;aACrD,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,iCAAkC,KAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC,CAAC;AAcF,MAAM,qBAAqB,GAAG,CAC5B,UAA2B,EAC3B,IAA4B,EACJ,EAAE,CAAC,CAAC;IAC5B,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;CACtC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,SAAwC,EACzB,EAAE;IACjB,MAAM,GAAG,GAAG,IAAI,eAAe,EAAE,CAAC;IAClC,MAAM,WAAW,GAAwB;QACvC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,gBAAgB,EAAE,CAAC,SAAiB,EAAE,eAAuB,EAAE,EAAE,CAC/D,GAAG,CAAC,oBAAoB,CAAC,SAAS,EAAE,eAAe,CAAC;KACvD,CAAC;IAEF,MAAM,IAAI,GAAuB;QAC/B,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE;QAC9B,KAAK,EAAE,GAAG,CAAC,SAAS;KACrB,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,KAAsB,EAAU,EAAE;QACxD,IAAI,YAAY,GAAG,WAAW,CAAC,SAAS,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAClC,YAAY,GAAG,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,CAC7B,SAA6B,EAC7B,GAAY,EACZ,aAA8B,EAAE,EACd,EAAE;QACpB,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACxC,OAAO,CAAC;oBACN,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC;oBAClD,GAAG;iBACJ,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,OAAO,sBAAsB,CAC3B,SAAS,CAAC,UAAU,EACpB,GAAG,EACH,CAAC,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CACzC,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC9C,OAAO,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACzC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAC3D,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzC,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,GAAG;aACJ,CAAC,CAAC,CAAC;QACN,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,MAAM,cAAc,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,CAAC;oBACN,IAAI,EAAE,YAAY;oBAClB,GAAG,EAAE,GAAG,IAAI,OAAO;oBACnB,UAAU,EAAE,UAAU,CAAC,cAAc,EAAE,GAAG,EAAE;wBAC1C,SAAS,EAAE,cAAc,CAAC,UAAU,CAAC;wBACrC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;qBAC/C,CAAC;iBACH,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACjE,sBAAsB,CAAC,SAAS,CAAC,CAClC,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,YAAY,CAAC,YAAY,CAAC,CAAC;IACvD,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAEhD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM;YAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACb,MAAM,KAAK,GAAG,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC;YACd,KAAK;YACL,UAAU,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC9B,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;gBACtD,CAAC,CAAC,IAAI,CAAC,UAAU;SACpB,CAAC,CAAC;QACH,gBAAgB,CAAC,IAAI,CAAC;YACpB,GAAG;YACH,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE1F,MAAM,OAAO,GAAgC,SAAS,CAAC,MAAM;QAC3D,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACpC,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC;YACxC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS;SACtC,CAAC,CAAC;QACL,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,QAAQ,EAAE,GAAG,CAAC,WAAW,EAAE;QAC3B,UAAU;QACV,KAAK;QACL,OAAO;QACP,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,SAAS,EAAE,gBAAgB;KAC5B,CAAC;AACJ,CAAC,CAAC"}

package/lib/esm/queries/IRMutation.d.ts

@@ -1,23 +0,0 @@
-import { NodeShape } from '../shapes/SHACL.js';
-import { NodeDescriptionValue, NodeReferenceValue } from './QueryFactory.js';
-import { IRCreateMutation, IRDeleteMutation, IRUpdateMutation } from './IntermediateRepresentation.js';
-type CreateMutationInput = {
-    shape: NodeShape;
-    description: NodeDescriptionValue;
-};
-type UpdateMutationInput = {
-    id: string;
-    shape: NodeShape;
-    updates: NodeDescriptionValue;
-};
-type DeleteMutationInput = {
-    shape: NodeShape;
-    ids: NodeReferenceValue[];
-};
-/** Builds an IRCreateMutation from a create factory's internal description. */
-export declare const buildCanonicalCreateMutationIR: (query: CreateMutationInput) => IRCreateMutation;
-/** Builds an IRUpdateMutation from an update factory's internal description. */
-export declare const buildCanonicalUpdateMutationIR: (query: UpdateMutationInput) => IRUpdateMutation;
-/** Builds an IRDeleteMutation from a delete factory's internal description. */
-export declare const buildCanonicalDeleteMutationIR: (query: DeleteMutationInput) => IRDeleteMutation;
-export {};