typhex 0.1.0-alpha.0

package/dist/schema/index.js

@@ -0,0 +1,2 @@
+export * from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/schema/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC"}

package/dist/schema/types.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Schema and table definition types.
+ */
+export interface ColumnDef {
+    type: string;
+    primaryKey?: boolean;
+    autoIncrement?: boolean;
+    nullable?: boolean;
+    default?: string | number;
+}
+export type TableDefinition = Record<string, string | ColumnDef>;
+/** Normalize to ColumnDef */
+export declare function normalizeCol(def: string | ColumnDef): ColumnDef;
+export declare function getColumnNames(def: TableDefinition): string[];
+export declare function sqlType(def: TableDefinition, col: string): string;
+//# sourceMappingURL=types.d.ts.map

package/dist/schema/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;AAMjE,6BAA6B;AAC7B,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAW/D;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,EAAE,CAE7D;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAajE"}

package/dist/schema/types.js

@@ -0,0 +1,40 @@
+/**
+ * Schema and table definition types.
+ */
+function stripForConstraintCheck(def) {
+    return def.replaceAll(/'[^']*'/g, "").replaceAll(/--[^\n]*/g, "");
+}
+/** Normalize to ColumnDef */
+export function normalizeCol(def) {
+    if (typeof def === "string") {
+        const stripped = stripForConstraintCheck(def);
+        return {
+            type: def,
+            primaryKey: /\bprimary\s+key\b/i.test(stripped),
+            autoIncrement: /\bautoincrement\b/i.test(stripped),
+            nullable: !/\bnot\s+null\b/i.test(stripped),
+        };
+    }
+    return def;
+}
+export function getColumnNames(def) {
+    return Object.keys(def);
+}
+export function sqlType(def, col) {
+    const d = def[col];
+    const c = normalizeCol(d);
+    const lower = c.type.toLowerCase();
+    let out = c.type;
+    if (c.primaryKey && !lower.includes("primary key"))
+        out += " PRIMARY KEY";
+    if (c.autoIncrement && !lower.includes("autoincrement"))
+        out += " AUTOINCREMENT";
+    if (c.nullable === false && !lower.includes("not null"))
+        out += " NOT NULL";
+    if (c.default !== undefined)
+        out +=
+            " DEFAULT " +
+                (typeof c.default === "number" ? c.default : `'${String(c.default).replaceAll("'", "''")}'`);
+    return out;
+}
+//# sourceMappingURL=types.js.map

package/dist/schema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAYH,SAAS,uBAAuB,CAAC,GAAW;IAC1C,OAAO,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,YAAY,CAAC,GAAuB;IAClD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC/C,aAAa,EAAE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAClD,QAAQ,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;SAC5C,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAoB;IACjD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAoB,EAAE,GAAW;IACvD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,GAAG,IAAI,cAAc,CAAC;IAC1E,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC;QAAE,GAAG,IAAI,gBAAgB,CAAC;IACjF,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,GAAG,IAAI,WAAW,CAAC;IAC5E,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QACzB,GAAG;YACD,WAAW;gBACX,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjG,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/sqlite/aggregates.d.ts

@@ -0,0 +1,8 @@
+/**
+ * SQLite-specific aggregate function stubs.
+ * Import from "typhex/sqlite" to use these inside .select() and .having() lambdas.
+ * These are never executed — the transformer/parser reads source text instead.
+ */
+/** Concatenates grouped strings with optional separator. Compiles to GROUP_CONCAT. */
+export declare function groupConcat(_field: unknown, _separator?: string): string;
+//# sourceMappingURL=aggregates.d.ts.map

package/dist/sqlite/aggregates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregates.d.ts","sourceRoot":"","sources":["../../src/sqlite/aggregates.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,sFAAsF;AACtF,wBAAgB,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAExE"}

package/dist/sqlite/aggregates.js

@@ -0,0 +1,11 @@
+/**
+ * SQLite-specific aggregate function stubs.
+ * Import from "typhex/sqlite" to use these inside .select() and .having() lambdas.
+ * These are never executed — the transformer/parser reads source text instead.
+ */
+const msg = (n) => `${n}() can only be used inside a .select() or .having() lambda`;
+/** Concatenates grouped strings with optional separator. Compiles to GROUP_CONCAT. */
+export function groupConcat(_field, _separator) {
+    throw new Error(msg("groupConcat"));
+}
+//# sourceMappingURL=aggregates.js.map

package/dist/sqlite/aggregates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregates.js","sourceRoot":"","sources":["../../src/sqlite/aggregates.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,4DAA4D,CAAC;AAE5F,sFAAsF;AACtF,MAAM,UAAU,WAAW,CAAC,MAAe,EAAE,UAAmB;IAC9D,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;AACtC,CAAC"}

package/dist/sqlite.d.ts

@@ -0,0 +1,6 @@
+/**
+ * typhex/sqlite — SQLite-specific aggregate functions.
+ * Import from "typhex/sqlite" to use SQLite-only aggregates in query lambdas.
+ */
+export { groupConcat } from "./sqlite/aggregates.js";
+//# sourceMappingURL=sqlite.d.ts.map

package/dist/sqlite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/sqlite.js

@@ -0,0 +1,6 @@
+/**
+ * typhex/sqlite — SQLite-specific aggregate functions.
+ * Import from "typhex/sqlite" to use SQLite-only aggregates in query lambdas.
+ */
+export { groupConcat } from "./sqlite/aggregates.js";
+//# sourceMappingURL=sqlite.js.map

package/dist/sqlite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/transformer/bindings.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Arrow parameter binding extraction for the compile-time transformer:
+ * simple identifiers, object destructuring, and scope frames for correlated
+ * subqueries in nested lambdas.
+ */
+import ts from "typescript";
+export interface ParamBindings {
+    paramName: string;
+    bindings: Map<string, string[]> | null;
+    restName: string | null;
+}
+export declare function getParamBindings(param: ts.BindingName | undefined): ParamBindings;
+export interface ScopeFrame {
+    paramName: string;
+    bindings?: Map<string, string[]>;
+}
+export declare function frameFromBindingName(name: ts.BindingName | undefined): ScopeFrame | null;
+//# sourceMappingURL=bindings.d.ts.map

package/dist/transformer/bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.d.ts","sourceRoot":"","sources":["../../src/transformer/bindings.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC;IACvC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAQD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,GAAG,SAAS,GAAG,aAAa,CA2BjF;AAED,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CAClC;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,IAAI,CAMxF"}

package/dist/transformer/bindings.js

@@ -0,0 +1,52 @@
+/**
+ * Arrow parameter binding extraction for the compile-time transformer:
+ * simple identifiers, object destructuring, and scope frames for correlated
+ * subqueries in nested lambdas.
+ */
+import ts from "typescript";
+import { DEFAULT_ROW_PARAM } from "../arrow/constants.js";
+const NO_BINDINGS = {
+    paramName: DEFAULT_ROW_PARAM,
+    bindings: null,
+    restName: null,
+};
+export function getParamBindings(param) {
+    if (!param)
+        return NO_BINDINGS;
+    if (ts.isIdentifier(param)) {
+        return { paramName: param.text, bindings: null, restName: null };
+    }
+    if (!ts.isObjectBindingPattern(param))
+        return NO_BINDINGS;
+    const bindings = new Map();
+    let restName = null;
+    for (const el of param.elements) {
+        if (el.dotDotDotToken) {
+            if (ts.isIdentifier(el.name))
+                restName = el.name.text;
+            continue;
+        }
+        if (!ts.isIdentifier(el.name))
+            continue;
+        const localName = el.name.text;
+        const sourceKey = el.propertyName && ts.isIdentifier(el.propertyName) ? el.propertyName.text : localName;
+        bindings.set(localName, [sourceKey]);
+    }
+    if (bindings.size === 0 && !restName)
+        return NO_BINDINGS;
+    return {
+        paramName: DEFAULT_ROW_PARAM,
+        bindings: bindings.size > 0 ? bindings : null,
+        restName,
+    };
+}
+export function frameFromBindingName(name) {
+    const pb = getParamBindings(name);
+    if (pb === NO_BINDINGS)
+        return null;
+    const frame = { paramName: pb.paramName };
+    if (pb.bindings)
+        frame.bindings = pb.bindings;
+    return frame;
+}
+//# sourceMappingURL=bindings.js.map

package/dist/transformer/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sourceRoot":"","sources":["../../src/transformer/bindings.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAQ1D,MAAM,WAAW,GAAkB;IACjC,SAAS,EAAE,iBAAiB;IAC5B,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,KAAiC;IAChE,IAAI,CAAC,KAAK;QAAE,OAAO,WAAW,CAAC;IAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAE1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/B,MAAM,SAAS,GACb,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO,WAAW,CAAC;IACzD,OAAO;QACL,SAAS,EAAE,iBAAiB;QAC5B,QAAQ,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAC7C,QAAQ;KACT,CAAC;AACJ,CAAC;AAOD,MAAM,UAAU,oBAAoB,CAAC,IAAgC;IACnE,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,EAAE,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAe,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC;IACtD,IAAI,EAAE,CAAC,QAAQ;QAAE,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC9C,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/transformer/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * TypeScript transformer for typhex: compiles .where(arrow) and .select(arrow) to IR.
+ * Use with ttypescript (ttsc) or ts-patch.
+ *
+ * tsconfig.json:
+ *   "compilerOptions": { "plugins": [{ "transform": "typhex/transformer" }] }
+ *
+ * Or with ts-patch: add "ts-patch" and run with tsc (patched).
+ */
+import * as ts from "typescript";
+/** Create the main Typhex transformer. */
+export declare function createTyphexTransformer(program: ts.Program): (ctx: ts.TransformationContext) => ts.Transformer<ts.SourceFile>;
+/** ttsc/ts-patch plugin entry point — wires the transformer into the `before` phase. */
+export default function (program: ts.Program): {
+    before: (ctx: ts.TransformationContext) => ts.Transformer<ts.SourceFile>;
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/transformer/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transformer/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAkEjC,0CAA0C;AAC1C,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,IAGjD,KAAK,EAAE,CAAC,qBAAqB,KAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,CAGtE;AAED,wFAAwF;AACxF,MAAM,CAAC,OAAO,WAAW,OAAO,EAAE,EAAE,CAAC,OAAO;kBAN7B,EAAE,CAAC,qBAAqB,KAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC;EAUtE"}

package/dist/transformer/index.js

@@ -0,0 +1,75 @@
+/**
+ * TypeScript transformer for typhex: compiles .where(arrow) and .select(arrow) to IR.
+ * Use with ttypescript (ttsc) or ts-patch.
+ *
+ * tsconfig.json:
+ *   "compilerOptions": { "plugins": [{ "transform": "typhex/transformer" }] }
+ *
+ * Or with ts-patch: add "ts-patch" and run with tsc (patched).
+ */
+import * as ts from "typescript";
+import { transformWhereCall, transformHavingCall } from "./where-transformer.js";
+import { transformSelectCall } from "./select-transformer.js";
+import { transformOrderByCall } from "./orderby-transformer.js";
+import { transformJoinCall } from "./join-transformer.js";
+import { frameFromBindingName } from "./shared.js";
+/**
+ * Recursive visitor: for every CallExpression, visit children first (so
+ * nested chains are rewritten inside-out) and then try each per-method
+ * transformer in turn. Non-call nodes are walked through unchanged.
+ *
+ * `scope` is a stack of `ScopeFrame`s from enclosing arrow functions — each
+ * frame carries the row-param name and any destructured bindings. Per-method
+ * transformers consult it so a bare identifier that matches an outer arrow's
+ * param resolves as an `IrMember` reference (rather than a closure capture).
+ * This is what lets correlated subqueries like `p.userId === u.id` and
+ * destructured-outer cases like `({ id }) => p.userId === id` work without
+ * any per-call rethreading.
+ */
+function visit(node, ctx, checker, scope) {
+    if (ts.isArrowFunction(node) || ts.isFunctionExpression(node)) {
+        const frames = [];
+        for (const p of node.parameters) {
+            const frame = frameFromBindingName(p.name);
+            if (frame)
+                frames.push(frame);
+        }
+        const innerScope = frames.length > 0 ? [...scope, ...frames] : scope;
+        return ts.visitEachChild(node, (n) => visit(n, ctx, checker, innerScope), ctx);
+    }
+    if (ts.isCallExpression(node)) {
+        // Visit children first so nested calls get transformed inside-out.
+        // Inner `.where(arrow)` and `.select(arrow)` are rewritten to IR
+        // object-literal expressions before this outer call is matched, so the
+        // chain walker for inline subqueries consumes already-transformed IR
+        // literals rather than re-parsing the inner arrows.
+        const visited = ts.visitEachChild(node, (n) => visit(n, ctx, checker, scope), ctx);
+        const rewritten = transformSelectCall(visited, checker) ||
+            transformWhereCall(visited, checker, scope) ||
+            transformOrderByCall(visited, checker) ||
+            transformJoinCall(visited, checker) ||
+            transformHavingCall(visited, checker, scope);
+        if (rewritten)
+            return rewritten;
+        return visited;
+    }
+    return ts.visitEachChild(node, (n) => visit(n, ctx, checker, scope), ctx);
+}
+/** Entry point for a single source file — walks its top-level children through `visit`. */
+function visitSourceFile(node, ctx, checker) {
+    return ts.visitEachChild(node, (n) => visit(n, ctx, checker, []), ctx);
+}
+/** Create the main Typhex transformer. */
+export function createTyphexTransformer(program) {
+    const checker = program.getTypeChecker();
+    return (ctx) => {
+        return (sf) => visitSourceFile(sf, ctx, checker);
+    };
+}
+/** ttsc/ts-patch plugin entry point — wires the transformer into the `before` phase. */
+export default function (program) {
+    return {
+        before: createTyphexTransformer(program),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/transformer/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/transformer/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAmB,MAAM,aAAa,CAAC;AAEpE;;;;;;;;;;;;GAYG;AACH,SAAS,KAAK,CACZ,IAAa,EACb,GAA6B,EAC7B,OAAuB,EACvB,KAAmB;IAEnB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACrE,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,mEAAmE;QACnE,iEAAiE;QACjE,uEAAuE;QACvE,qEAAqE;QACrE,oDAAoD;QACpD,MAAM,OAAO,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAEnF,MAAM,SAAS,GACb,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC;YACrC,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;YAC3C,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC;YACtC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC;YACnC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAE/C,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,2FAA2F;AAC3F,SAAS,eAAe,CACtB,IAAmB,EACnB,GAA6B,EAC7B,OAAuB;IAEvB,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,uBAAuB,CAAC,OAAmB;IACzD,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,OAAO,CAAC,GAA6B,EAAiC,EAAE;QACtE,OAAO,CAAC,EAAiB,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,OAAO,WAAW,OAAmB;IAC1C,OAAO;QACL,MAAM,EAAE,uBAAuB,CAAC,OAAO,CAAC;KACzC,CAAC;AACJ,CAAC"}

package/dist/transformer/ir-emit.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Serialize IR structures into TypeScript object-literal expression nodes so
+ * the transformer can emit pre-built IR as the first argument of rewritten calls.
+ */
+import ts from "typescript";
+import type { IrNode, IrSelect, IrWhere, IrOrderBy, IrAggregate } from "../ir/types.js";
+export declare function irNodeToTsLiteral(ir: IrNode): ts.ObjectLiteralExpression;
+export declare function irWhereToTsLiteral(where: IrWhere): ts.ObjectLiteralExpression;
+export declare function irOrderByToTsLiteral(ir: IrOrderBy): ts.ObjectLiteralExpression;
+export declare function irAggregateToTsLiteral(agg: IrAggregate): ts.ObjectLiteralExpression;
+export declare function irSelectToTsLiteral(sel: IrSelect): ts.ObjectLiteralExpression;
+//# sourceMappingURL=ir-emit.d.ts.map

package/dist/transformer/ir-emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-emit.d.ts","sourceRoot":"","sources":["../../src/transformer/ir-emit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAwBxF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC,uBAAuB,CAoFxE;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,EAAE,CAAC,uBAAuB,CAY7E;AAED,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,SAAS,GAAG,EAAE,CAAC,uBAAuB,CAM9E;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,WAAW,GAAG,EAAE,CAAC,uBAAuB,CAYnF;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,QAAQ,GAAG,EAAE,CAAC,uBAAuB,CA0D7E"}

package/dist/transformer/ir-emit.js

@@ -0,0 +1,144 @@
+/**
+ * Serialize IR structures into TypeScript object-literal expression nodes so
+ * the transformer can emit pre-built IR as the first argument of rewritten calls.
+ */
+import ts from "typescript";
+function valueToTsExpression(value, f) {
+    if (value === null)
+        return f.createNull();
+    switch (typeof value) {
+        case "string":
+            return f.createStringLiteral(value);
+        case "number":
+            return f.createNumericLiteral(value);
+        case "boolean":
+            return value ? f.createTrue() : f.createFalse();
+    }
+    if (Array.isArray(value)) {
+        return f.createArrayLiteralExpression(value.map((v) => valueToTsExpression(v, f)));
+    }
+    return f.createStringLiteral(JSON.stringify(value) ?? String(value));
+}
+function stringArrayLiteral(items, f) {
+    return f.createArrayLiteralExpression(items.map((p) => f.createStringLiteral(p)));
+}
+export function irNodeToTsLiteral(ir) {
+    const f = ts.factory;
+    const props = [
+        f.createPropertyAssignment("kind", f.createStringLiteral(ir.kind)),
+    ];
+    switch (ir.kind) {
+        case "aggregate":
+            return irAggregateToTsLiteral(ir);
+        case "binary":
+            props.push(f.createPropertyAssignment("op", f.createStringLiteral(ir.op)), f.createPropertyAssignment("left", irNodeToTsLiteral(ir.left)), f.createPropertyAssignment("right", irNodeToTsLiteral(ir.right)));
+            break;
+        case "unary":
+            props.push(f.createPropertyAssignment("op", f.createStringLiteral(ir.op)), f.createPropertyAssignment("operand", irNodeToTsLiteral(ir.operand)));
+            break;
+        case "member":
+            props.push(f.createPropertyAssignment("param", f.createStringLiteral(ir.param)), f.createPropertyAssignment("path", stringArrayLiteral(ir.path, f)));
+            break;
+        case "const":
+            props.push(f.createPropertyAssignment("value", valueToTsExpression(ir.value, f)));
+            break;
+        case "param":
+            props.push(f.createPropertyAssignment("key", f.createStringLiteral(ir.key)));
+            break;
+        case "in":
+            props.push(f.createPropertyAssignment("left", irNodeToTsLiteral(ir.left)), f.createPropertyAssignment("right", irNodeToTsLiteral(ir.right)));
+            if (ir.negated)
+                props.push(f.createPropertyAssignment("negated", f.createTrue()));
+            break;
+        case "call":
+            props.push(f.createPropertyAssignment("method", f.createStringLiteral(ir.method)), f.createPropertyAssignment("receiver", irNodeToTsLiteral(ir.receiver)), f.createPropertyAssignment("args", f.createArrayLiteralExpression(ir.args.map((a) => irNodeToTsLiteral(a)))));
+            break;
+        case "exists":
+            props.push(f.createPropertyAssignment("rootParam", f.createStringLiteral(ir.rootParam)), f.createPropertyAssignment("relationKey", f.createStringLiteral(ir.relationKey)), f.createPropertyAssignment("innerParam", f.createStringLiteral(ir.innerParam)), f.createPropertyAssignment("innerWhere", irNodeToTsLiteral(ir.innerWhere)));
+            if (ir.negated)
+                props.push(f.createPropertyAssignment("negated", f.createTrue()));
+            break;
+        case "subqueryRef":
+            props.push(f.createPropertyAssignment("key", f.createStringLiteral(ir.key)));
+            break;
+        case "case":
+            props.push(f.createPropertyAssignment("branches", f.createArrayLiteralExpression(ir.branches.map((b) => f.createObjectLiteralExpression([
+                f.createPropertyAssignment("when", irNodeToTsLiteral(b.when)),
+                f.createPropertyAssignment("then", irNodeToTsLiteral(b.then)),
+            ])))));
+            if (ir.else !== undefined) {
+                props.push(f.createPropertyAssignment("else", irNodeToTsLiteral(ir.else)));
+            }
+            break;
+    }
+    return f.createObjectLiteralExpression(props);
+}
+export function irWhereToTsLiteral(where) {
+    const f = ts.factory;
+    const props = [
+        f.createPropertyAssignment("node", irNodeToTsLiteral(where.node)),
+        f.createPropertyAssignment("rootParam", f.createStringLiteral(where.rootParam)),
+    ];
+    if (where.localParamNames && where.localParamNames.length > 0) {
+        props.push(f.createPropertyAssignment("localParamNames", stringArrayLiteral(where.localParamNames, f)));
+    }
+    return f.createObjectLiteralExpression(props);
+}
+export function irOrderByToTsLiteral(ir) {
+    const f = ts.factory;
+    return f.createObjectLiteralExpression([
+        f.createPropertyAssignment("expr", irNodeToTsLiteral(ir.expr)),
+        f.createPropertyAssignment("direction", f.createStringLiteral(ir.direction)),
+    ]);
+}
+export function irAggregateToTsLiteral(agg) {
+    const f = ts.factory;
+    const props = [
+        f.createPropertyAssignment("kind", f.createStringLiteral("aggregate")),
+        f.createPropertyAssignment("func", f.createStringLiteral(agg.func)),
+        f.createPropertyAssignment("arg", agg.arg ? irNodeToTsLiteral(agg.arg) : f.createNull()),
+    ];
+    if (agg.alias)
+        props.push(f.createPropertyAssignment("alias", f.createStringLiteral(agg.alias)));
+    if (agg.distinct)
+        props.push(f.createPropertyAssignment("distinct", f.createTrue()));
+    if (agg.separator !== undefined)
+        props.push(f.createPropertyAssignment("separator", f.createStringLiteral(agg.separator)));
+    return f.createObjectLiteralExpression(props);
+}
+export function irSelectToTsLiteral(sel) {
+    const f = ts.factory;
+    const props = [
+        f.createPropertyAssignment("param", f.createStringLiteral(sel.param)),
+        f.createPropertyAssignment("paths", f.createArrayLiteralExpression(sel.paths.map((path) => stringArrayLiteral(path, f)))),
+    ];
+    if (sel.aliases && sel.aliases.length > 0) {
+        props.push(f.createPropertyAssignment("aliases", stringArrayLiteral(sel.aliases, f)));
+    }
+    if (sel.rest) {
+        props.push(f.createPropertyAssignment("rest", f.createTrue()));
+    }
+    if (sel.aggregates && sel.aggregates.length > 0) {
+        props.push(f.createPropertyAssignment("aggregates", f.createArrayLiteralExpression(sel.aggregates.map(irAggregateToTsLiteral))));
+    }
+    if (sel.groupBy && sel.groupBy.length > 0) {
+        props.push(f.createPropertyAssignment("groupBy", groupByToTsLiteral(sel.groupBy, f)));
+    }
+    if (sel.subqueries && sel.subqueries.length > 0) {
+        props.push(f.createPropertyAssignment("subqueries", f.createArrayLiteralExpression(sel.subqueries.map((entry) => f.createObjectLiteralExpression([
+            f.createPropertyAssignment("alias", f.createStringLiteral(entry.alias)),
+            f.createPropertyAssignment("subquery", irNodeToTsLiteral(entry.subquery)),
+        ])))));
+    }
+    if (sel.expressions && sel.expressions.length > 0) {
+        props.push(f.createPropertyAssignment("expressions", f.createArrayLiteralExpression(sel.expressions.map((e) => f.createObjectLiteralExpression([
+            f.createPropertyAssignment("expr", irNodeToTsLiteral(e.expr)),
+            f.createPropertyAssignment("alias", f.createStringLiteral(e.alias)),
+        ])))));
+    }
+    return f.createObjectLiteralExpression(props);
+}
+function groupByToTsLiteral(groupBy, f) {
+    return f.createArrayLiteralExpression(groupBy.map((entry) => typeof entry === "number" ? f.createNumericLiteral(entry) : stringArrayLiteral(entry, f)));
+}
+//# sourceMappingURL=ir-emit.js.map

package/dist/transformer/ir-emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-emit.js","sourceRoot":"","sources":["../../src/transformer/ir-emit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,SAAS,mBAAmB,CAAC,KAAc,EAAE,CAAiB;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC;IAC1C,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,CAAC,4BAA4B,CAClC,KAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC3D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAe,EAAE,CAAiB;IAC5D,OAAO,CAAC,CAAC,4BAA4B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,EAAU;IAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IAErB,MAAM,KAAK,GAAkC;QAC3C,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;KACnE,CAAC;IAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACpC,KAAK,QAAQ;YACX,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9D,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAC9D,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CACjE,CAAC;YACF,MAAM;QACR,KAAK,OAAO;YACV,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9D,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CACrE,CAAC;YACF,MAAM;QACR,KAAK,QAAQ;YACX,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EACpE,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CACnE,CAAC;YACF,MAAM;QACR,KAAK,OAAO;YACV,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,MAAM;QACR,KAAK,OAAO;YACV,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAC9D,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CACjE,CAAC;YACF,IAAI,EAAE,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAClF,MAAM;QACR,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,QAAQ,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACtE,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EACtE,CAAC,CAAC,wBAAwB,CACxB,MAAM,EACN,CAAC,CAAC,4BAA4B,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CACzE,CACF,CAAC;YACF,MAAM;QACR,KAAK,QAAQ;YACX,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAC5E,CAAC,CAAC,wBAAwB,CAAC,aAAa,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAChF,CAAC,CAAC,wBAAwB,CAAC,YAAY,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAC9E,CAAC,CAAC,wBAAwB,CAAC,YAAY,EAAE,iBAAiB,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAC3E,CAAC;YACF,IAAI,EAAE,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAClF,MAAM;QACR,KAAK,aAAa;YAChB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM;QACR,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CACxB,UAAU,EACV,CAAC,CAAC,4BAA4B,CAC5B,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpB,CAAC,CAAC,6BAA6B,CAAC;gBAC9B,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC7D,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aAC9D,CAAC,CACH,CACF,CACF,CACF,CAAC;YACF,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7E,CAAC;YACD,MAAM;IACV,CAAC;IACD,OAAO,CAAC,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,KAAK,GAAkC;QAC3C,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;KAChF,CAAC;IACF,IAAI,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CAAC,iBAAiB,EAAE,kBAAkB,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,EAAa;IAChD,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,OAAO,CAAC,CAAC,6BAA6B,CAAC;QACrC,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;KAC7E,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAAgB;IACrD,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,KAAK,GAAkC;QAC3C,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QACtE,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;KACzF,CAAC;IACF,IAAI,GAAG,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjG,IAAI,GAAG,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACrF,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5F,OAAO,CAAC,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,GAAa;IAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,KAAK,GAAkC;QAC3C,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC,CAAC,wBAAwB,CACxB,OAAO,EACP,CAAC,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CACrF;KACF,CAAC;IAEF,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CACxB,YAAY,EACZ,CAAC,CAAC,4BAA4B,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAC3E,CACF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CACxB,YAAY,EACZ,CAAC,CAAC,4BAA4B,CAC5B,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,CAAC,CAAC,6BAA6B,CAAC;YAC9B,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvE,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SAC1E,CAAC,CACH,CACF,CACF,CACF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,wBAAwB,CACxB,aAAa,EACb,CAAC,CAAC,4BAA4B,CAC5B,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,6BAA6B,CAAC;YAC9B,CAAC,CAAC,wBAAwB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7D,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACpE,CAAC,CACH,CACF,CACF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAiC,EACjC,CAAiB;IAEjB,OAAO,CAAC,CAAC,4BAA4B,CACnC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,CACzF,CACF,CAAC;AACJ,CAAC"}

package/dist/transformer/join-transformer.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Transformer for join calls (innerJoin, leftJoin, rightJoin, crossJoin,
+ * fullJoin): converts relation lambdas into a string-array of relation keys.
+ */
+import * as ts from "typescript";
+/**
+ * Rewrite `innerJoin`/`leftJoin`/`rightJoin`/`crossJoin`/`fullJoin` calls into
+ * a simple `[...relationKeys]` string-array argument. Returns null when the
+ * call shape isn't recognized — falls back to runtime parsing.
+ */
+export declare function transformJoinCall(call: ts.CallExpression, checker: ts.TypeChecker): ts.CallExpression | null;
+//# sourceMappingURL=join-transformer.d.ts.map

package/dist/transformer/join-transformer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"join-transformer.d.ts","sourceRoot":"","sources":["../../src/transformer/join-transformer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAKjC;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,cAAc,GAAG,IAAI,CAc1B"}

package/dist/transformer/join-transformer.js

@@ -0,0 +1,102 @@
+/**
+ * Transformer for join calls (innerJoin, leftJoin, rightJoin, crossJoin,
+ * fullJoin): converts relation lambdas into a string-array of relation keys.
+ */
+import * as ts from "typescript";
+import { isTyphexType, memberPath, unwrapObjectLiteral } from "./shared.js";
+const JOIN_METHOD_NAMES = new Set(["innerJoin", "leftJoin", "rightJoin", "crossJoin", "fullJoin"]);
+/**
+ * Rewrite `innerJoin`/`leftJoin`/`rightJoin`/`crossJoin`/`fullJoin` calls into
+ * a simple `[...relationKeys]` string-array argument. Returns null when the
+ * call shape isn't recognized — falls back to runtime parsing.
+ */
+export function transformJoinCall(call, checker) {
+    const fn = matchJoinCall(call, checker);
+    if (!fn)
+        return null;
+    const paramName = getSingleIdentifierParam(fn);
+    if (!paramName)
+        return null;
+    const keys = extractRelationKeys(fn.body, paramName);
+    if (!keys || keys.length === 0)
+        return null;
+    const f = ts.factory;
+    return f.updateCallExpression(call, call.expression, call.typeArguments, [
+        f.createArrayLiteralExpression(keys.map((k) => f.createStringLiteral(k))),
+    ]);
+}
+// ---------------------------------------------------------------------------
+// Call shape validation
+// ---------------------------------------------------------------------------
+/**
+ * Validate that `call` is `<typhexExpr>.<joinMethod>(arrow)` — returns the
+ * arrow when it matches, or null when it doesn't.
+ */
+function matchJoinCall(call, checker) {
+    const expr = call.expression;
+    if (!ts.isPropertyAccessExpression(expr))
+        return null;
+    if (!JOIN_METHOD_NAMES.has(expr.name.text))
+        return null;
+    if (!isTyphexType(expr.expression, checker))
+        return null;
+    if (call.arguments.length !== 1)
+        return null;
+    const first = call.arguments[0];
+    if (!ts.isArrowFunction(first) && !ts.isFunctionExpression(first))
+        return null;
+    return first;
+}
+/** Return the first parameter name if it's a plain identifier; null otherwise. */
+function getSingleIdentifierParam(fn) {
+    const param = fn.parameters[0]?.name;
+    if (!param || !ts.isIdentifier(param))
+        return null;
+    return param.text;
+}
+// ---------------------------------------------------------------------------
+// Body shapes: p => ({ author: p.author }) or p => p.author
+// ---------------------------------------------------------------------------
+/**
+ * Parse the arrow body into a list of relation keys. Supports both
+ * `p => ({ author: p.author })` (object literal) and `p => p.author`
+ * (single member access) forms.
+ */
+function extractRelationKeys(body, paramName) {
+    if (ts.isBlock(body))
+        return null;
+    // Form 1: p => ({ author: p.author }) — object literal body
+    const objLit = unwrapObjectLiteral(ts.isParenthesizedExpression(body) ? body.expression : body);
+    if (objLit)
+        return extractKeysFromObjectLiteral(objLit);
+    // Form 2: p => p.author — single member access
+    if (ts.isPropertyAccessExpression(body)) {
+        const path = memberPath(body, paramName);
+        if (!path || path.length === 0)
+            return null;
+        return [path[0]];
+    }
+    return null;
+}
+/** Collect the property key names from an object literal; null if any entry is unsupported. */
+function extractKeysFromObjectLiteral(objLit) {
+    const keys = [];
+    for (const prop of objLit.properties) {
+        if (!ts.isPropertyAssignment(prop))
+            return null;
+        const keyName = getObjectLiteralKeyName(prop.name);
+        if (!keyName)
+            return null;
+        keys.push(keyName);
+    }
+    return keys;
+}
+/** Extract the key text of an object literal property name (identifier or string literal). */
+function getObjectLiteralKeyName(name) {
+    if (ts.isIdentifier(name))
+        return name.text;
+    if (ts.isStringLiteral(name))
+        return name.text;
+    return null;
+}
+//# sourceMappingURL=join-transformer.js.map

package/dist/transformer/join-transformer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"join-transformer.js","sourceRoot":"","sources":["../../src/transformer/join-transformer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;AAEnG;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAuB,EACvB,OAAuB;IAEvB,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAErB,MAAM,SAAS,GAAG,wBAAwB,CAAC,EAAE,CAAC,CAAC;IAC/C,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5C,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,OAAO,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE;QACvE,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,aAAa,CACpB,IAAuB,EACvB,OAAuB;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,wBAAwB,CAAC,EAA4C;IAC5E,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACrC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,IAAoB,EAAE,SAAiB;IAClE,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAElC,4DAA4D;IAC5D,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChG,IAAI,MAAM;QAAE,OAAO,4BAA4B,CAAC,MAAM,CAAC,CAAC;IAExD,+CAA+C;IAC/C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+FAA+F;AAC/F,SAAS,4BAA4B,CAAC,MAAkC;IACtE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,SAAS,uBAAuB,CAAC,IAAqB;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC"}