@kronor/dtv 4.1.0 → 5.1.0

package/dist/types/dsl/filterExpr.d.ts

@@ -2,79 +2,163 @@ import type { ConditionOnlyTransform, FilterControl, FilterExpr as FilterExprTyp
 export type { ConditionOnlyTransform, FilterField, FilterTransform };
 export type FilterExpr = FilterExprType;
 export declare const FilterExpr: {
-    equals: (args: {
-        field: FilterField;
+    equals: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    notEquals: (args: {
-        field: FilterField;
+    }) => {
+        type: "equals";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    notEquals: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    greaterThan: (args: {
-        field: FilterField;
+    }) => {
+        type: "notEquals";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    greaterThan: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    lessThan: (args: {
-        field: FilterField;
+    }) => {
+        type: "greaterThan";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    lessThan: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    greaterThanOrEqual: (args: {
-        field: FilterField;
+    }) => {
+        type: "lessThan";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    greaterThanOrEqual: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    lessThanOrEqual: (args: {
-        field: FilterField;
+    }) => {
+        type: "greaterThanOrEqual";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    lessThanOrEqual: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    in: (args: {
-        field: FilterField;
+    }) => {
+        type: "lessThanOrEqual";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    in: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    notIn: (args: {
-        field: FilterField;
+    }) => {
+        type: "in";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    notIn: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    like: (args: {
-        field: FilterField;
+    }) => {
+        type: "notIn";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    like: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    iLike: (args: {
-        field: FilterField;
+    }) => {
+        type: "like";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    iLike: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
-    isNull: (args: {
-        field: FilterField;
+    }) => {
+        type: "iLike";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
+    isNull: <const Field extends FilterField>(args: {
+        field: Field;
         control: FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
+    }) => {
+        type: "isNull";
+        field: Field;
+        value: FilterControl;
+        transform?: FilterTransform;
+    };
     computedCondition: (args: {
         control: FilterControl;
         transform: ConditionOnlyTransform;
-    }) => FilterExprType;
-    and: (args: {
-        filters: FilterExprType[];
-    }) => FilterExprType;
-    or: (args: {
-        filters: FilterExprType[];
-    }) => FilterExprType;
-    not: (args: {
-        filter: FilterExprType;
-    }) => FilterExprType;
-    range: (args: {
-        field: FilterField;
+    }) => {
+        type: "equals";
+        field: {
+            or: [];
+        };
+        value: FilterControl;
+        transform: ConditionOnlyTransform;
+    };
+    and: <const Filters extends readonly FilterExprType[]>(args: {
+        filters: Filters;
+    }) => {
+        type: "and";
+        filters: [...Filters];
+    };
+    or: <const Filters extends readonly FilterExprType[]>(args: {
+        filters: Filters;
+    }) => {
+        type: "or";
+        filters: [...Filters];
+    };
+    not: <const Filter extends FilterExprType>(args: {
+        filter: Filter;
+    }) => {
+        type: "not";
+        filter: Filter;
+    };
+    range: <const Field extends FilterField>(args: {
+        field: Field;
         control: (options: any) => FilterControl;
         transform?: FilterTransform;
-    }) => FilterExprType;
+    }) => {
+        type: "and";
+        filters: [{
+            type: "greaterThanOrEqual";
+            field: Field;
+            value: FilterControl;
+            transform?: FilterTransform;
+        }, {
+            type: "lessThanOrEqual";
+            field: Field;
+            value: FilterControl;
+            transform?: FilterTransform;
+        }];
+    };
     allOperators: {
         label: string;
         value: string;

package/dist/types/dsl/filterExpr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filterExpr.d.ts","sourceRoot":"","sources":["../../../src/dsl/filterExpr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,sBAAsB,EACtB,aAAa,EACb,UAAU,IAAI,cAAc,EAC5B,WAAW,EACX,eAAe,EAClB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EAAE,sBAAsB,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACrE,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC;AAGxC,eAAO,MAAM,UAAU;mBACJ;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;sBAQzF;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;wBAQ1F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;qBAQ/F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;+BAQlF;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;4BAQ/F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;eAQzG;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;kBAQzF;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;iBAQ7F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;kBAQ3F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;mBAQ3F;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;8BAUjF;QAAE,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,EAAE,sBAAsB,CAAA;KAAE,KAAG,cAAc;gBAQ5F;QAAE,OAAO,EAAE,cAAc,EAAE,CAAA;KAAE,KAAG,cAAc;eAC/C;QAAE,OAAO,EAAE,cAAc,EAAE,CAAA;KAAE,KAAG,cAAc;gBAC7C;QAAE,MAAM,EAAE,cAAc,CAAA;KAAE,KAAG,cAAc;kBACzC;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG,cAAc;;;;;CAS/H,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"filterExpr.d.ts","sourceRoot":"","sources":["../../../src/dsl/filterExpr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,sBAAsB,EACtB,aAAa,EACb,UAAU,IAAI,cAAc,EAC5B,WAAW,EACX,eAAe,EAClB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EAAE,sBAAsB,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACrE,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC;AAGxC,eAAO,MAAM,UAAU;mBACJ,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACpH,IAAI,EAAE,QAAQ,CAAC;QACf,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;sBAQiB,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACvH,IAAI,EAAE,WAAW,CAAC;QAClB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;wBAQmB,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACzH,IAAI,EAAE,aAAa,CAAC;QACpB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;qBAQgB,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACtH,IAAI,EAAE,UAAU,CAAC;QACjB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;+BAQ0B,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QAChI,IAAI,EAAE,oBAAoB,CAAC;QAC3B,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;4BAQuB,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QAC7H,IAAI,EAAE,iBAAiB,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;eAQU,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QAChH,IAAI,EAAE,IAAI,CAAC;QACX,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;kBAQa,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACnH,IAAI,EAAE,OAAO,CAAC;QACd,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;iBAQY,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QAClH,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;kBAQa,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACnH,IAAI,EAAE,OAAO,CAAC;QACd,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;mBAQc,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACpH,IAAI,EAAE,QAAQ,CAAC;QACf,KAAK,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC/B;8BAUyB;QAAE,OAAO,EAAE,aAAa,CAAC;QAAC,SAAS,EAAE,sBAAsB,CAAA;KAAE,KAAG;QACtF,IAAI,EAAE,QAAQ,CAAC;QACf,KAAK,EAAE;YAAE,EAAE,EAAE,EAAE,CAAA;SAAE,CAAC;QAClB,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,EAAE,sBAAsB,CAAC;KACrC;gBAQW,OAAO,SAAS,SAAS,cAAc,EAAE,QAAQ;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,KAAG;QAChF,IAAI,EAAE,KAAK,CAAC;QACZ,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC;KACzB;eACU,OAAO,SAAS,SAAS,cAAc,EAAE,QAAQ;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,KAAG;QAC/E,IAAI,EAAE,IAAI,CAAC;QACX,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC;KACzB;gBACW,MAAM,SAAS,cAAc,QAAQ;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAG;QAClE,IAAI,EAAE,KAAK,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC;KAClB;kBACa,KAAK,SAAS,WAAW,QAAQ;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,aAAa,CAAC;QAAC,SAAS,CAAC,EAAE,eAAe,CAAA;KAAE,KAAG;QACrI,IAAI,EAAE,KAAK,CAAC;QACZ,OAAO,EAAE,CACL;YACI,IAAI,EAAE,oBAAoB,CAAC;YAC3B,KAAK,EAAE,KAAK,CAAC;YACb,KAAK,EAAE,aAAa,CAAC;YACrB,SAAS,CAAC,EAAE,eAAe,CAAC;SAC/B,EACD;YACI,IAAI,EAAE,iBAAiB,CAAC;YACxB,KAAK,EAAE,KAAK,CAAC;YACb,KAAK,EAAE,aAAa,CAAC;YACrB,SAAS,CAAC,EAAE,eAAe,CAAC;SAC/B,CACJ,CAAC;KACL;;;;;CASJ,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/types/dsl/filters.d.ts

@@ -1,8 +1,70 @@
 import type { FilterExpr, FilterField, FilterSchema, FilterGroup, FilterGroups, FilterTransform } from '../framework/filters';
+import type { FilterControl } from '../framework/filters';
 export type { FilterField, FilterSchema, FilterGroup, FilterGroups, FilterTransform };
+type StringKeyOf<Row> = Extract<keyof Row, string>;
+type MutableTuple<T extends readonly unknown[]> = [...T];
+type UnwrapArray<T> = T extends readonly (infer E)[] ? E : T;
+type NextPathTarget<T> = UnwrapArray<NonNullable<T>>;
+type PrevDepth = {
+    0: never;
+    1: 0;
+    2: 1;
+    3: 2;
+    4: 3;
+    5: 4;
+    6: 5;
+    7: 6;
+    8: 7;
+    9: 8;
+    10: 9;
+};
+type ShouldRecurse<T> = T extends object ? T extends (...args: never[]) => unknown ? false : T extends Date ? false : true : false;
+/**
+ * All valid dotted field paths for a given row type.
+ *
+ * Examples:
+ * - "id"
+ * - "customer.email"
+ * - "lines.sku" (arrays are traversed via their element type)
+ */
+export type FilterFieldPath<Row, Depth extends keyof PrevDepth = 10> = string extends keyof Row ? string : {
+    [K in StringKeyOf<Row>]: ShouldRecurse<NextPathTarget<Row[K]>> extends true ? Depth extends 0 ? K : K | `${K}.${FilterFieldPath<NextPathTarget<Row[K]>, PrevDepth[Depth]>}` : K;
+}[StringKeyOf<Row>];
+export type FilterFieldForRow<Row> = FilterFieldPath<Row> | {
+    and: FilterFieldPath<Row>[];
+} | {
+    or: FilterFieldPath<Row>[];
+} | {
+    or: [];
+};
+export type FilterExprForRow<Row> = ({
+    type: 'and';
+    filters: FilterExprForRow<Row>[];
+} & Omit<Extract<FilterExpr, {
+    type: 'and';
+}>, 'filters'>) | ({
+    type: 'or';
+    filters: FilterExprForRow<Row>[];
+} & Omit<Extract<FilterExpr, {
+    type: 'or';
+}>, 'filters'>) | ({
+    type: 'not';
+    filter: FilterExprForRow<Row>;
+} & Omit<Extract<FilterExpr, {
+    type: 'not';
+}>, 'filter'>) | (Omit<Extract<FilterExpr, {
+    field: FilterField;
+    value: FilterControl;
+}>, 'field'> & {
+    field: FilterFieldForRow<Row>;
+});
 export declare const filterField: {
-    and: (...fields: string[]) => FilterField;
-    or: (...fields: string[]) => FilterField;
+    and: <const Fields extends readonly string[]>(...fields: Fields) => FilterField & {
+        and: MutableTuple<Fields>;
+    };
+    or: <const Fields extends readonly string[]>(...fields: Fields) => FilterField & {
+        or: MutableTuple<Fields>;
+    };
 };
 export declare function filterGroup(args: {
     name: string;
@@ -10,9 +72,17 @@ export declare function filterGroup(args: {
     filters: FilterSchema[];
 }): FilterGroup;
 export declare function filter(args: {
+    rowType?: never;
     id: string;
     label: string;
     expression: FilterExpr;
     aiGenerated?: boolean;
 }): FilterSchema;
+export declare function filter<Row, const Expr extends FilterExpr>(args: {
+    rowType: Row;
+    id: string;
+    label: string;
+    expression: Expr & FilterExprForRow<Row>;
+    aiGenerated?: boolean;
+}): FilterSchema;
 //# sourceMappingURL=filters.d.ts.map

package/dist/types/dsl/filters.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filters.d.ts","sourceRoot":"","sources":["../../../src/dsl/filters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,UAAU,EACV,WAAW,EACX,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,eAAe,EAClB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;AAEtF,eAAO,MAAM,WAAW;qBACH,MAAM,EAAE,KAAG,WAAW;oBACvB,MAAM,EAAE,KAAG,WAAW;CACzC,CAAC;AAEF,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;CAC3B,GAAG,WAAW,CAMd;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;CACzB,GAAG,YAAY,CAOf"}
+{"version":3,"file":"filters.d.ts","sourceRoot":"","sources":["../../../src/dsl/filters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,UAAU,EACV,WAAW,EACX,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,eAAe,EAClB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;AAEtF,KAAK,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC;AACnD,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACzD,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7D,KAAK,cAAc,CAAC,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAErD,KAAK,SAAS,GAAG;IACb,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,CAAC,EAAE,CAAC,CAAC;IACL,EAAE,EAAE,CAAC,CAAC;CACT,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,IAChB,CAAC,SAAS,MAAM,GACV,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GACnC,KAAK,GACL,CAAC,SAAS,IAAI,GACV,KAAK,GACL,IAAI,GACZ,KAAK,CAAC;AAEhB;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,CAAC,GAAG,EAAE,KAAK,SAAS,MAAM,SAAS,GAAG,EAAE,IAE/D,MAAM,SAAS,MAAM,GAAG,GAClB,MAAM,GACN;KACK,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,GAClB,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5C,KAAK,SAAS,CAAC,GACX,CAAC,GACD,CAAC,GAAG,GAAG,CAAC,IAAI,eAAe,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAC3E,CAAC;CACd,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;AAE9B,MAAM,MAAM,iBAAiB,CAAC,GAAG,IAC3B,eAAe,CAAC,GAAG,CAAC,GACpB;IAAE,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAA;CAAE,GAC/B;IAAE,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAA;CAAE,GAE9B;IAAE,EAAE,EAAE,EAAE,CAAA;CAAE,CAAC;AAEjB,MAAM,MAAM,gBAAgB,CAAC,GAAG,IAC1B,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAAE,SAAS,CAAC,CAAC,GAC3G,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,EAAE,SAAS,CAAC,CAAC,GACzG,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,GACvG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,CAAC,EAAE,OAAO,CAAC,GAAG;IAChF,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC;CACjC,CAAC,CAAC;AAET,eAAO,MAAM,WAAW;gBACR,MAAM,SAAS,SAAS,MAAM,EAAE,aAAa,MAAM,KAAG,WAAW,GAAG;QAAE,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;KAAE;eAElG,MAAM,SAAS,SAAS,MAAM,EAAE,aAAa,MAAM,KAAG,WAAW,GAAG;QAAE,EAAE,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;KAAE;CAE9G,CAAC;AAEF,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;CAC3B,GAAG,WAAW,CAMd;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE;IACzB,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;CACzB,GAAG,YAAY,CAAC;AACjB,wBAAgB,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,SAAS,UAAU,EAAE,IAAI,EAAE;IAC7D,OAAO,EAAE,GAAG,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACzC,WAAW,CAAC,EAAE,OAAO,CAAC;CACzB,GAAG,YAAY,CAAC"}

package/dist/types/dsl/internal/queryForRow.d.ts

@@ -0,0 +1,42 @@
+import type { ArrayQuery, ArrayQueryForRow, ObjectQueryForRow, QueryForRowSafe, ValueQueryForRow } from '../../framework/column-definition';
+type NonNullish<T> = Exclude<T, null | undefined>;
+type ElemOf<T> = T extends ReadonlyArray<infer E> ? E : never;
+type ArrayFieldKey<Row> = ArrayQueryForRow<Row> extends {
+    field: infer F;
+} ? Extract<F, string> : never;
+type ObjectFieldKey<Row> = ObjectQueryForRow<Row> extends {
+    field: infer F;
+} ? Extract<F, string> : never;
+export type QueryBuilder<Row> = {
+    value: <K extends keyof Row & string>(field: K, args?: {
+        path?: string;
+    }) => ValueQueryForRow<Row> & {
+        field: K;
+    };
+    object: <K extends ObjectFieldKey<Row> & keyof Row & string, const SelectionSet extends readonly QueryForRowSafe<NonNullish<Row[K]>>[]>(field: K, buildSelection: (q: QueryBuilder<NonNullish<Row[K]>>) => SelectionSet, args?: {
+        path?: string;
+    }) => ObjectQueryForRow<Row> & {
+        field: K;
+        selectionSet: SelectionSet;
+    };
+    array: <K extends ArrayFieldKey<Row> & keyof Row & string, const SelectionSet extends readonly QueryForRowSafe<NonNullish<ElemOf<NonNullish<Row[K]>>>>[]>(field: K, buildSelection: (q: QueryBuilder<NonNullish<ElemOf<NonNullish<Row[K]>>>>) => SelectionSet, args?: {
+        path?: string;
+        orderBy?: ArrayQuery['orderBy'];
+        distinctOn?: ArrayQuery['distinctOn'];
+        limit?: number;
+        where?: ArrayQuery['where'];
+    }) => ArrayQueryForRow<Row> & {
+        field: K;
+        selectionSet: SelectionSet;
+    };
+    selection: <SelectionRow>() => QueryBuilder<SelectionRow>;
+    __row: Row;
+};
+/**
+ * Internal typed query builder scoped to a Row type.
+ *
+ * Not exported via the public DSL surface (yet).
+ */
+export declare function queryForRow<Row>(): QueryBuilder<Row>;
+export {};
+//# sourceMappingURL=queryForRow.d.ts.map

package/dist/types/dsl/internal/queryForRow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queryForRow.d.ts","sourceRoot":"","sources":["../../../../src/dsl/internal/queryForRow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EACnB,MAAM,mCAAmC,CAAC;AAI3C,KAAK,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC;AAClD,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE9D,KAAK,aAAa,CAAC,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACpE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAClB,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAClB,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI;IAC5B,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,gBAAgB,CAAC,GAAG,CAAC,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAElH,MAAM,EAAE,CAAC,CAAC,SAAS,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,KAAK,CAAC,YAAY,SAAS,SAAS,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAClI,KAAK,EAAE,CAAC,EACR,cAAc,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,EACrE,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,KACvB,iBAAiB,CAAC,GAAG,CAAC,GAAG;QAAE,KAAK,EAAE,CAAC,CAAC;QAAC,YAAY,EAAE,YAAY,CAAA;KAAE,CAAC;IAEvE,KAAK,EAAE,CAAC,CAAC,SAAS,aAAa,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,KAAK,CAAC,YAAY,SAAS,SAAS,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EACpJ,KAAK,EAAE,CAAC,EACR,cAAc,EAAE,CACZ,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KACtD,YAAY,EACjB,IAAI,CAAC,EAAE;QACH,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,OAAO,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC;QAChC,UAAU,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC;QACtC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;KAC/B,KACA,gBAAgB,CAAC,GAAG,CAAC,GAAG;QAAE,KAAK,EAAE,CAAC,CAAC;QAAC,YAAY,EAAE,YAAY,CAAA;KAAE,CAAC;IAEtE,SAAS,EAAE,CAAC,YAAY,OAAO,YAAY,CAAC,YAAY,CAAC,CAAC;IAE1D,KAAK,EAAE,GAAG,CAAC;CACd,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,KAAK,YAAY,CAAC,GAAG,CAAC,CAmCpD"}

package/dist/types/framework/column-definition.d.ts

@@ -1,15 +1,16 @@
 import { ReactNode, createElement } from "react";
-import type { HasuraCondition } from './graphql';
+import type { HasuraCondition } from "./graphql";
 import { FlexRow, FlexColumn, DateTime } from "./cell-renderer-components/LayoutHelpers";
-import { CurrencyAmount } from './cell-renderer-components/CurrencyAmount';
-import { majorToMinor, minorToMajor } from './currency';
+import { CurrencyAmount } from "./cell-renderer-components/CurrencyAmount";
+import { majorToMinor, minorToMajor } from "./currency";
 import { Mapping } from "./cell-renderer-components/Mapping";
 import { Link } from "./cell-renderer-components/Link";
-import { Tag } from 'primereact/tag';
-import { FilterState } from "./state";
-import { FilterId } from "./filters";
-export type CellRendererProps = {
-    data: Record<string, any>;
+import { Tag } from "primereact/tag";
+import type { FilterState } from "./state";
+import type { FilterId } from "./filters";
+import type { EmptyObject, Simplify, UnionToIntersection } from "./typelevel";
+export type CellRendererProps<Data extends Record<string, any> = Record<string, any>> = {
+    data: Data;
     setFilterState: (updater: (currentState: FilterState) => FilterState) => void;
     applyFilters: () => void;
     updateFilterById: (filterId: FilterId, updater: (currentValue: any) => any) => void;
@@ -33,52 +34,232 @@ export type CellRendererProps = {
      */
     columnDefinition: TableColumnDefinition;
 };
-export type CellRenderer = (props: CellRendererProps) => ReactNode;
+export type CellRenderer<Data extends Record<string, any> = Record<string, any>> = {
+    bivarianceHack(props: CellRendererProps<Data>): ReactNode;
+}["bivarianceHack"];
 export type ColumnId = string;
 export type OrderByConfig = {
     key: string;
-    direction: 'ASC' | 'DESC';
+    direction: "ASC" | "DESC";
 };
 export type FieldAlias = {
-    type: 'fieldAlias';
+    type: "fieldAlias";
     alias: string;
     field: FieldQuery;
 };
 export type ValueQuery = {
-    type: 'valueQuery';
+    type: "valueQuery";
     field: string;
     path?: string;
 };
 export type ObjectQuery = {
-    type: 'objectQuery';
+    type: "objectQuery";
     field: string;
     path?: string;
-    selectionSet: Query[];
+    selectionSet: readonly Query[];
 };
 export type ArrayQuery = {
-    type: 'arrayQuery';
+    type: "arrayQuery";
     field: string;
     path?: string;
     orderBy?: OrderByConfig | OrderByConfig[];
     distinctOn?: string[];
     limit?: number;
     where?: HasuraCondition;
-    selectionSet: Query[];
+    selectionSet: readonly Query[];
 };
 export type Query = ValueQuery | ObjectQuery | ArrayQuery;
 export type FieldQuery = Query | FieldAlias;
-export declare function fieldAlias(alias: string, fieldQuery: FieldQuery): FieldQuery;
-export type TableColumnDefinition = {
-    type: 'tableColumn';
+type ValueFromObjectQuery<Q extends Query> = Q extends {
+    type: "objectQuery";
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? DataFromSelectionSet<SelectionSet> : unknown;
+type ValueFromArrayQuery<Q extends Query> = Q extends {
+    type: "arrayQuery";
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? Array<DataFromSelectionSet<SelectionSet>> : unknown;
+type ValueFromQuery<Q extends Query> = Q extends {
+    type: "valueQuery";
+} ? unknown : Q extends {
+    type: "objectQuery";
+} ? ValueFromObjectQuery<Q> : Q extends {
+    type: "arrayQuery";
+} ? ValueFromArrayQuery<Q> : unknown;
+type ValueFromFieldQuery<FQ extends FieldQuery> = FQ extends FieldAlias ? ValueFromFieldQuery<FQ["field"]> : FQ extends Query ? ValueFromQuery<FQ> : unknown;
+type DataFromValueQuery<Q extends Query> = Q extends {
+    type: "valueQuery";
+    field: infer Field extends string;
+} ? {
+    [K in Field]: unknown;
+} : EmptyObject;
+type DataFromObjectQuery<Q extends Query> = Q extends {
+    type: "objectQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? {
+    [K in Field]: DataFromSelectionSet<SelectionSet>;
+} : EmptyObject;
+type DataFromArrayQuery<Q extends Query> = Q extends {
+    type: "arrayQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? {
+    [K in Field]: Array<DataFromSelectionSet<SelectionSet>>;
+} : EmptyObject;
+export type DataFromQuery<Q extends Query> = Q extends {
+    type: "valueQuery";
+} ? DataFromValueQuery<Q> : Q extends {
+    type: "objectQuery";
+} ? DataFromObjectQuery<Q> : Q extends {
+    type: "arrayQuery";
+} ? DataFromArrayQuery<Q> : EmptyObject;
+export type DataFromFieldQuery<FQ extends FieldQuery> = FQ extends FieldAlias ? {
+    [K in FQ["alias"]]: ValueFromFieldQuery<FQ["field"]>;
+} : FQ extends Query ? DataFromQuery<FQ> : EmptyObject;
+export type DataFromSelectionSet<SelectionSet extends readonly Query[]> = Simplify<UnionToIntersection<DataFromQuery<SelectionSet[number]>>>;
+export type DataFromFieldQueries<FieldQueries extends readonly FieldQuery[]> = Simplify<UnionToIntersection<DataFromFieldQuery<FieldQueries[number]>>>;
+type PreserveNull<TOriginal, TMapped> = null extends TOriginal ? TMapped | null : TMapped;
+type PreserveUndefined<TOriginal, TMapped> = undefined extends TOriginal ? TMapped | undefined : TMapped;
+type PreserveNullish<TOriginal, TMapped> = PreserveUndefined<TOriginal, PreserveNull<TOriginal, TMapped>>;
+type ValueFromObjectQueryForRow<Row, Q extends Query> = Q extends {
+    type: "objectQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? Field extends keyof Row ? PreserveNullish<Row[Field], NonNullable<Row[Field]> extends object ? DataFromSelectionSetForRow<NonNullable<Row[Field]>, SelectionSet> : unknown> : unknown : unknown;
+type ValueFromArrayQueryForRow<Row, Q extends Query> = Q extends {
+    type: "arrayQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? Field extends keyof Row ? PreserveNullish<Row[Field], NonNullable<Row[Field]> extends ReadonlyArray<infer Elem> ? Array<PreserveNullish<Elem, DataFromSelectionSetForRow<NonNullable<Elem> extends object ? NonNullable<Elem> : Record<string, unknown>, SelectionSet>>> : unknown> : unknown : unknown;
+type ValueFromQueryForRow<Row, Q extends Query> = Q extends {
+    type: "valueQuery";
+    field: infer Field extends string;
+} ? Row[Field & keyof Row] : Q extends {
+    type: "objectQuery";
+} ? ValueFromObjectQueryForRow<Row, Q> : Q extends {
+    type: "arrayQuery";
+} ? ValueFromArrayQueryForRow<Row, Q> : unknown;
+type ValueFromFieldQueryForRow<Row, FQ extends FieldQuery> = FQ extends FieldAlias ? ValueFromFieldQueryForRow<Row, FQ["field"]> : FQ extends Query ? ValueFromQueryForRow<Row, FQ> : unknown;
+type DataFromValueQueryForRow<Row, Q extends Query> = Q extends {
+    type: "valueQuery";
+    field: infer Field extends string;
+} ? {
+    [K in Field]: Row[K & keyof Row];
+} : EmptyObject;
+type DataFromObjectQueryForRow<Row, Q extends Query> = Q extends {
+    type: "objectQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? {
+    [K in Field]: PreserveNullish<Row[Field & keyof Row], NonNullable<Row[Field & keyof Row]> extends object ? DataFromSelectionSetForRow<NonNullable<Row[Field & keyof Row]>, SelectionSet> : unknown>;
+} : EmptyObject;
+type DataFromArrayQueryForRow<Row, Q extends Query> = Q extends {
+    type: "arrayQuery";
+    field: infer Field extends string;
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? {
+    [K in Field]: PreserveNullish<Row[Field & keyof Row], NonNullable<Row[Field & keyof Row]> extends ReadonlyArray<infer Elem> ? Array<PreserveNullish<Elem, DataFromSelectionSetForRow<NonNullable<Elem> extends object ? NonNullable<Elem> : Record<string, unknown>, SelectionSet>>> : unknown>;
+} : EmptyObject;
+export type DataFromQueryForRow<Row, Q extends Query> = Q extends {
+    type: "valueQuery";
+} ? DataFromValueQueryForRow<Row, Q> : Q extends {
+    type: "objectQuery";
+} ? DataFromObjectQueryForRow<Row, Q> : Q extends {
+    type: "arrayQuery";
+} ? DataFromArrayQueryForRow<Row, Q> : EmptyObject;
+export type DataFromFieldQueryForRow<Row, FQ extends FieldQuery> = FQ extends FieldAlias ? {
+    [K in FQ["alias"]]: ValueFromFieldQueryForRow<Row, FQ["field"]>;
+} : FQ extends Query ? DataFromQueryForRow<Row, FQ> : EmptyObject;
+export type DataFromSelectionSetForRow<Row, SelectionSet extends readonly Query[]> = Simplify<UnionToIntersection<DataFromQueryForRow<Row, SelectionSet[number]>>>;
+export type DataFromFieldQueriesForRow<Row, FieldQueries extends readonly FieldQuery[]> = Simplify<UnionToIntersection<DataFromFieldQueryForRow<Row, FieldQueries[number]>>>;
+type ExtractTopLevelKey<FQ extends FieldQuery> = FQ extends {
+    type: "fieldAlias";
+    alias: infer Alias extends string;
+} ? Alias : FQ extends {
+    field: infer Field extends string;
+} ? Field : never;
+type HasWideTopLevelKeys<FieldQueries extends readonly FieldQuery[]> = string extends ExtractTopLevelKey<FieldQueries[number]> ? true : false;
+/**
+ * Safe variant that avoids deep conditional-type expansion when the column's
+ * FieldQuery[] has been widened to generic `string` keys.
+ */
+export type DataFromFieldQueriesSafe<FieldQueries extends readonly FieldQuery[]> = HasWideTopLevelKeys<FieldQueries> extends true ? Record<string, any> : DataFromFieldQueries<FieldQueries>;
+export type DataFromFieldQueriesForRowSafe<Row, FieldQueries extends readonly FieldQuery[]> = HasWideTopLevelKeys<FieldQueries> extends true ? Record<string, any> : DataFromFieldQueriesForRow<Row, FieldQueries>;
+type HasWideKeys<Row> = string extends keyof Row ? true : false;
+type StringKeyOf<Row> = keyof Row & string;
+type NonNullish<T> = Exclude<T, null | undefined>;
+type ElemOf<T> = T extends ReadonlyArray<infer E> ? E : never;
+type KeysMatching<Row, Constraint> = {
+    [K in keyof Row]-?: NonNullish<Row[K]> extends Constraint ? K : never;
+}[keyof Row];
+type ArrayKeys<Row> = KeysMatching<Row, ReadonlyArray<any>>;
+type ObjectKeys<Row> = {
+    [K in keyof Row]-?: NonNullish<Row[K]> extends ReadonlyArray<any> ? never : NonNullish<Row[K]> extends object ? K : never;
+}[keyof Row];
+export type ValueQueryForRow<Row> = ValueQuery & {
+    field: StringKeyOf<Row>;
+};
+export type ObjectQueryForRow<Row> = {
+    [K in Extract<ObjectKeys<Row>, string>]: ObjectQuery & {
+        field: K;
+        selectionSet: readonly QueryForRowSafe<NonNullish<Row[K]>>[];
+    };
+}[Extract<ObjectKeys<Row>, string>];
+export type ArrayQueryForRow<Row> = {
+    [K in Extract<ArrayKeys<Row>, string>]: ArrayQuery & {
+        field: K;
+        selectionSet: readonly QueryForRowSafe<NonNullish<ElemOf<NonNullish<Row[K]>>>>[];
+    };
+}[Extract<ArrayKeys<Row>, string>];
+export type QueryForRow<Row> = ValueQueryForRow<Row> | ObjectQueryForRow<Row> | ArrayQueryForRow<Row>;
+export type QueryForRowSafe<Row> = HasWideKeys<Row> extends true ? Query : QueryForRow<Row>;
+export type FieldAliasForRow<Row> = FieldAlias & {
+    field: FieldQueryForRowSafe<Row>;
+};
+export type FieldQueryForRow<Row> = QueryForRow<Row> | FieldAliasForRow<Row>;
+export type FieldQueryForRowSafe<Row> = HasWideKeys<Row> extends true ? FieldQuery : FieldQueryForRow<Row>;
+type IsTuple<T extends readonly unknown[]> = number extends T["length"] ? false : true;
+type FieldOfQuery<Q extends Query> = Q extends {
+    field: infer Field;
+} ? Field : never;
+type SelectionSetOfQuery<Q extends Query> = Q extends {
+    selectionSet: infer SelectionSet extends readonly Query[];
+} ? SelectionSet : never;
+type ValidateQueryForRow<Row, Q extends Query> = Q extends {
+    type: "valueQuery";
+} ? FieldOfQuery<Q> extends StringKeyOf<Row> ? Q : never : Q extends {
+    type: "objectQuery";
+} ? FieldOfQuery<Q> extends Extract<ObjectKeys<Row>, string> ? ValidateSelectionSetForRow<NonNullish<Row[FieldOfQuery<Q>]>, SelectionSetOfQuery<Q>> extends never ? never : Q : never : Q extends {
+    type: "arrayQuery";
+} ? FieldOfQuery<Q> extends Extract<ArrayKeys<Row>, string> ? ValidateSelectionSetForRow<NonNullish<ElemOf<NonNullish<Row[FieldOfQuery<Q>]>>>, SelectionSetOfQuery<Q>> extends never ? never : Q : never : never;
+type ValidateSelectionSetForRow<Row, SelectionSet extends readonly Query[]> = IsTuple<SelectionSet> extends true ? SelectionSet extends readonly [] ? SelectionSet : SelectionSet extends readonly [infer Head, ...infer Tail] ? Head extends Query ? ValidateQueryForRow<Row, Head> extends never ? never : Tail extends readonly Query[] ? ValidateSelectionSetForRow<Row, Tail> : never : never : never : SelectionSet;
+type ValidateFieldQueryForRow<Row, FQ extends FieldQuery> = FQ extends FieldAlias ? ValidateFieldQueryForRow<Row, FQ["field"]> extends never ? never : FQ : FQ extends Query ? ValidateQueryForRow<Row, FQ> : never;
+type ValidateFieldQueriesTupleForRow<Row, FieldQueries extends readonly FieldQuery[]> = FieldQueries extends readonly [] ? FieldQueries : FieldQueries extends readonly [infer Head, ...infer Tail] ? Head extends FieldQuery ? ValidateFieldQueryForRow<Row, Head> extends never ? never : Tail extends readonly FieldQuery[] ? ValidateFieldQueriesTupleForRow<Row, Tail> : never : never : never;
+/**
+ * Validates that every FieldQuery in FieldQueries only refers to keys present
+ * on Row (recursively for nested selection sets).
+ *
+ * When FieldQueries is a tuple (typical inline literals), validation is strict.
+ * When FieldQueries is a widened array type, validation is best-effort and
+ * requires the element type to be compatible with row-aware query types.
+ */
+export type ValidateFieldQueriesForRow<Row, FieldQueries extends readonly FieldQuery[]> = IsTuple<FieldQueries> extends true ? ValidateFieldQueriesTupleForRow<Row, FieldQueries> : FieldQueries;
+export declare function fieldAlias<const Alias extends string, const FQ extends FieldQuery>(alias: Alias, fieldQuery: FQ): FieldAlias & {
+    alias: Alias;
+    field: FQ;
+};
+export type TableColumnDefinition<FieldQueries extends readonly FieldQuery[] = readonly FieldQuery[], CellData extends Record<string, any> = DataFromFieldQueriesSafe<FieldQueries>> = {
+    type: "tableColumn";
     id: ColumnId;
-    data: FieldQuery[];
+    data: FieldQueries;
     name: string;
-    cellRenderer: CellRenderer;
+    cellRenderer: CellRenderer<CellData>;
 };
-export type VirtualColumnDefinition = {
-    type: 'virtualColumn';
+export type VirtualColumnDefinition<FieldQueries extends readonly FieldQuery[] = readonly FieldQuery[]> = {
+    type: "virtualColumn";
     id: ColumnId;
-    data: FieldQuery[];
+    data: FieldQueries;
 };
 export type ColumnDefinition = TableColumnDefinition | VirtualColumnDefinition;
+export {};
 //# sourceMappingURL=column-definition.d.ts.map