vastgrid 0.1.1 → 0.2.1

package/dist/core/conditions.js

@@ -0,0 +1,105 @@
+/**
+ * The conditions of a plan's `where` (§6.2.1 of the specification) as a tree that the conditions menu edits: groups
+ * whose items all hold (`and`) or one of which holds (`or`), conditions on one column in the column menu's terms
+ * (`ColumnFilter`), and expressions that it does not take apart, kept as they are.
+ */
+import { columnsOf, joinParts, partsOf } from "vastgrid-spec";
+import { FilterTextError, filterParts, readFilter } from "./filters.js";
+let nextId = 1;
+
+/** A new id for a node, for React's keys. */
+export function nodeId() {
+  return nextId++;
+}
+function nodeOf(expr) {
+  const names = columnsOf(expr);
+  if (names.size === 1) {
+    const [name] = names;
+    const filter = readFilter(partsOf(expr), name);
+    if (filter !== null && filter !== "other" && filter.kind === "condition") {
+      return {
+        kind: "condition",
+        id: nodeId(),
+        column: name,
+        filter
+      };
+    }
+  }
+  if ("fn" in expr && (expr.fn === "and" || expr.fn === "or")) {
+    return {
+      kind: "group",
+      id: nodeId(),
+      op: expr.fn,
+      items: expr.args.map(nodeOf)
+    };
+  }
+  return {
+    kind: "expression",
+    id: nodeId(),
+    expr
+  };
+}
+
+/**
+ * The conditions of `where` as a group of its parts that are not the search (`and`); a `where` that is one `or`
+ * is that group.
+ */
+export function readConditions(where) {
+  const parts = partsOf(where).filter(part => !("search" in part));
+  if (parts.length === 1) {
+    const only = nodeOf(parts[0]);
+    if (only.kind === "group") return only;
+  }
+  return {
+    kind: "group",
+    id: nodeId(),
+    op: "and",
+    items: parts.map(nodeOf)
+  };
+}
+
+/** A condition that does not compile: the node, and which of its texts. */
+export class ConditionError extends Error {
+  constructor(node, side) {
+    super("The text is not a value of the column.");
+    this.node = node;
+    this.side = side;
+  }
+}
+function exprOf(node, columns) {
+  switch (node.kind) {
+    case "expression":
+      return node.expr;
+    case "condition":
+      {
+        const column = columns.get(node.column);
+        if (!column) return undefined;
+        try {
+          return joinParts(filterParts(node.filter, column));
+        } catch (error) {
+          if (error instanceof FilterTextError) throw new ConditionError(node.id, error.side);
+          throw error;
+        }
+      }
+    case "group":
+      {
+        const items = node.items.flatMap(item => exprOf(item, columns) ?? []);
+        if (items.length <= 1) return items[0];
+        return {
+          fn: node.op,
+          args: items
+        };
+      }
+  }
+}
+
+/**
+ * The `where` of `filter.set` for a tree (the search is kept by the command): an `and` group gives its items as
+ * parts; conditions without text keep every row and are left out. Text that is not a value of its column throws a
+ * `ConditionError`.
+ */
+export function writeConditions(group, columns) {
+  const byName = new Map(columns.map(column => [column.name, column]));
+  return exprOf(group, byName) ?? null;
+}
+//# sourceMappingURL=conditions.js.map

package/dist/core/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["columnsOf","joinParts","partsOf","FilterTextError","filterParts","readFilter","nextId","nodeId","nodeOf","expr","names","size","name","filter","kind","id","column","fn","op","items","args","map","readConditions","where","parts","part","length","only","ConditionError","Error","constructor","node","side","exprOf","columns","get","undefined","error","flatMap","item","writeConditions","group","byName","Map"],"sources":["conditions.ts"],"sourcesContent":["/**\n * The conditions of a plan's `where` (§6.2.1 of the specification) as a tree that the conditions menu edits: groups\n * whose items all hold (`and`) or one of which holds (`or`), conditions on one column in the column menu's terms\n * (`ColumnFilter`), and expressions that it does not take apart, kept as they are.\n */\nimport { type Column, columnsOf, type Expr, type FunctionName, joinParts, partsOf } from \"vastgrid-spec\";\nimport { type ColumnFilter, FilterTextError, filterParts, readFilter } from \"./filters.js\";\n\nexport type ConditionNode =\n  | { kind: \"group\"; id: number; op: \"and\" | \"or\"; items: ConditionNode[] }\n  | { kind: \"condition\"; id: number; column: string; filter: ColumnFilter & { kind: \"condition\" } }\n  | { kind: \"expression\"; id: number; expr: Expr };\n\nlet nextId = 1;\n\n/** A new id for a node, for React's keys. */\nexport function nodeId() {\n  return nextId++;\n}\n\nfunction nodeOf(expr: Expr): ConditionNode {\n  const names = columnsOf(expr);\n  if (names.size === 1) {\n    const [name] = names;\n    const filter = readFilter(partsOf(expr), name);\n    if (filter !== null && filter !== \"other\" && filter.kind === \"condition\") {\n      return { kind: \"condition\", id: nodeId(), column: name, filter };\n    }\n  }\n  if (\"fn\" in expr && (expr.fn === \"and\" || expr.fn === \"or\")) {\n    return { kind: \"group\", id: nodeId(), op: expr.fn, items: expr.args.map(nodeOf) };\n  }\n  return { kind: \"expression\", id: nodeId(), expr };\n}\n\n/**\n * The conditions of `where` as a group of its parts that are not the search (`and`); a `where` that is one `or`\n * is that group.\n */\nexport function readConditions(where: Expr | undefined): ConditionNode & { kind: \"group\" } {\n  const parts = partsOf(where).filter((part) => !(\"search\" in part));\n  if (parts.length === 1) {\n    const only = nodeOf(parts[0]);\n    if (only.kind === \"group\") return only;\n  }\n  return { kind: \"group\", id: nodeId(), op: \"and\", items: parts.map(nodeOf) };\n}\n\n/** A condition that does not compile: the node, and which of its texts. */\nexport class ConditionError extends Error {\n  constructor(\n    readonly node: number,\n    readonly side: \"first\" | \"second\",\n  ) {\n    super(\"The text is not a value of the column.\");\n  }\n}\n\nfunction exprOf(node: ConditionNode, columns: ReadonlyMap<string, Column>): Expr | undefined {\n  switch (node.kind) {\n    case \"expression\":\n      return node.expr;\n    case \"condition\": {\n      const column = columns.get(node.column);\n      if (!column) return undefined;\n      try {\n        return joinParts(filterParts(node.filter, column));\n      } catch (error) {\n        if (error instanceof FilterTextError) throw new ConditionError(node.id, error.side);\n        throw error;\n      }\n    }\n    case \"group\": {\n      const items = node.items.flatMap((item) => exprOf(item, columns) ?? []);\n      if (items.length <= 1) return items[0];\n      return { fn: node.op as FunctionName, args: items };\n    }\n  }\n}\n\n/**\n * The `where` of `filter.set` for a tree (the search is kept by the command): an `and` group gives its items as\n * parts; conditions without text keep every row and are left out. Text that is not a value of its column throws a\n * `ConditionError`.\n */\nexport function writeConditions(group: ConditionNode & { kind: \"group\" }, columns: readonly Column[]): Expr | null {\n  const byName = new Map(columns.map((column) => [column.name, column]));\n  return exprOf(group, byName) ?? null;\n}\n"],"mappings":"AAAA;AACA;AACA;AACA;AACA;AACA,SAAsBA,SAAS,EAAgCC,SAAS,EAAEC,OAAO,QAAQ,eAAe;AACxG,SAA4BC,eAAe,EAAEC,WAAW,EAAEC,UAAU,QAAQ,cAAc;AAO1F,IAAIC,MAAM,GAAG,CAAC;;AAEd;AACA,OAAO,SAASC,MAAMA,CAAA,EAAG;EACvB,OAAOD,MAAM,EAAE;AACjB;AAEA,SAASE,MAAMA,CAACC,IAAU,EAAiB;EACzC,MAAMC,KAAK,GAAGV,SAAS,CAACS,IAAI,CAAC;EAC7B,IAAIC,KAAK,CAACC,IAAI,KAAK,CAAC,EAAE;IACpB,MAAM,CAACC,IAAI,CAAC,GAAGF,KAAK;IACpB,MAAMG,MAAM,GAAGR,UAAU,CAACH,OAAO,CAACO,IAAI,CAAC,EAAEG,IAAI,CAAC;IAC9C,IAAIC,MAAM,KAAK,IAAI,IAAIA,MAAM,KAAK,OAAO,IAAIA,MAAM,CAACC,IAAI,KAAK,WAAW,EAAE;MACxE,OAAO;QAAEA,IAAI,EAAE,WAAW;QAAEC,EAAE,EAAER,MAAM,CAAC,CAAC;QAAES,MAAM,EAAEJ,IAAI;QAAEC;MAAO,CAAC;IAClE;EACF;EACA,IAAI,IAAI,IAAIJ,IAAI,KAAKA,IAAI,CAACQ,EAAE,KAAK,KAAK,IAAIR,IAAI,CAACQ,EAAE,KAAK,IAAI,CAAC,EAAE;IAC3D,OAAO;MAAEH,IAAI,EAAE,OAAO;MAAEC,EAAE,EAAER,MAAM,CAAC,CAAC;MAAEW,EAAE,EAAET,IAAI,CAACQ,EAAE;MAAEE,KAAK,EAAEV,IAAI,CAACW,IAAI,CAACC,GAAG,CAACb,MAAM;IAAE,CAAC;EACnF;EACA,OAAO;IAAEM,IAAI,EAAE,YAAY;IAAEC,EAAE,EAAER,MAAM,CAAC,CAAC;IAAEE;EAAK,CAAC;AACnD;;AAEA;AACA;AACA;AACA;AACA,OAAO,SAASa,cAAcA,CAACC,KAAuB,EAAqC;EACzF,MAAMC,KAAK,GAAGtB,OAAO,CAACqB,KAAK,CAAC,CAACV,MAAM,CAAEY,IAAI,IAAK,EAAE,QAAQ,IAAIA,IAAI,CAAC,CAAC;EAClE,IAAID,KAAK,CAACE,MAAM,KAAK,CAAC,EAAE;IACtB,MAAMC,IAAI,GAAGnB,MAAM,CAACgB,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAIG,IAAI,CAACb,IAAI,KAAK,OAAO,EAAE,OAAOa,IAAI;EACxC;EACA,OAAO;IAAEb,IAAI,EAAE,OAAO;IAAEC,EAAE,EAAER,MAAM,CAAC,CAAC;IAAEW,EAAE,EAAE,KAAK;IAAEC,KAAK,EAAEK,KAAK,CAACH,GAAG,CAACb,MAAM;EAAE,CAAC;AAC7E;;AAEA;AACA,OAAO,MAAMoB,cAAc,SAASC,KAAK,CAAC;EACxCC,WAAWA,CACAC,IAAY,EACZC,IAAwB,EACjC;IACA,KAAK,CAAC,wCAAwC,CAAC;IAAC,KAHvCD,IAAY,GAAZA,IAAY;IAAA,KACZC,IAAwB,GAAxBA,IAAwB;EAGnC;AACF;AAEA,SAASC,MAAMA,CAACF,IAAmB,EAAEG,OAAoC,EAAoB;EAC3F,QAAQH,IAAI,CAACjB,IAAI;IACf,KAAK,YAAY;MACf,OAAOiB,IAAI,CAACtB,IAAI;IAClB,KAAK,WAAW;MAAE;QAChB,MAAMO,MAAM,GAAGkB,OAAO,CAACC,GAAG,CAACJ,IAAI,CAACf,MAAM,CAAC;QACvC,IAAI,CAACA,MAAM,EAAE,OAAOoB,SAAS;QAC7B,IAAI;UACF,OAAOnC,SAAS,CAACG,WAAW,CAAC2B,IAAI,CAAClB,MAAM,EAAEG,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,OAAOqB,KAAK,EAAE;UACd,IAAIA,KAAK,YAAYlC,eAAe,EAAE,MAAM,IAAIyB,cAAc,CAACG,IAAI,CAAChB,EAAE,EAAEsB,KAAK,CAACL,IAAI,CAAC;UACnF,MAAMK,KAAK;QACb;MACF;IACA,KAAK,OAAO;MAAE;QACZ,MAAMlB,KAAK,GAAGY,IAAI,CAACZ,KAAK,CAACmB,OAAO,CAAEC,IAAI,IAAKN,MAAM,CAACM,IAAI,EAAEL,OAAO,CAAC,IAAI,EAAE,CAAC;QACvE,IAAIf,KAAK,CAACO,MAAM,IAAI,CAAC,EAAE,OAAOP,KAAK,CAAC,CAAC,CAAC;QACtC,OAAO;UAAEF,EAAE,EAAEc,IAAI,CAACb,EAAkB;UAAEE,IAAI,EAAED;QAAM,CAAC;MACrD;EACF;AACF;;AAEA;AACA;AACA;AACA;AACA;AACA,OAAO,SAASqB,eAAeA,CAACC,KAAwC,EAAEP,OAA0B,EAAe;EACjH,MAAMQ,MAAM,GAAG,IAAIC,GAAG,CAACT,OAAO,CAACb,GAAG,CAAEL,MAAM,IAAK,CAACA,MAAM,CAACJ,IAAI,EAAEI,MAAM,CAAC,CAAC,CAAC;EACtE,OAAOiB,MAAM,CAACQ,KAAK,EAAEC,MAAM,CAAC,IAAI,IAAI;AACtC","ignoreList":[]}

package/dist/core/evaluate.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Evaluates the `when` of a style rule (§5.1 of the specification) over a row of the view on screen, in the grid:
+ * the logic and comparisons that the menus write (§4.4: `and`, `or`, `not`, `coalesce`, comparisons, `in`,
+ * `is_null`, `is_blank`, `contains`, `starts_with` and `ends_with` over `lower` and `text`), with nulls as §3.6 has
+ * them. Other expressions are not evaluated here, and their rules are skipped.
+ */
+import { type Column, type Expr, type JsonValue } from "vastgrid-spec";
+/** Reads the value of a column of the row; undefined while it is not read. */
+export type RowReader = (column: string) => JsonValue | undefined;
+/** A compiled `when`: true, false or null for a row, or undefined while a value it needs is not read. */
+export type Rule = (row: RowReader) => boolean | null | undefined;
+/**
+ * A rule's `when` compiled over the columns of the view, or null when it names a column the view does not have or a
+ * function that the grid does not evaluate. `columns` lists the columns it reads.
+ */
+export declare function compileRule(when: Expr, view: readonly Column[]): {
+    rule: Rule;
+    columns: string[];
+} | null;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/core/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/core/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,MAAM,EAAa,KAAK,IAAI,EAAW,KAAK,SAAS,EAAU,MAAM,eAAe,CAAC;AAQnG,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,GAAG,SAAS,CAAC;AAElE,yGAAyG;AACzG,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,SAAS,KAAK,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;AA0LlE;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAYzG"}

package/dist/core/evaluate.js

@@ -0,0 +1,210 @@
+/**
+ * Evaluates the `when` of a style rule (§5.1 of the specification) over a row of the view on screen, in the grid:
+ * the logic and comparisons that the menus write (§4.4: `and`, `or`, `not`, `coalesce`, comparisons, `in`,
+ * `is_null`, `is_blank`, `contains`, `starts_with` and `ends_with` over `lower` and `text`), with nulls as §3.6 has
+ * them. Other expressions are not evaluated here, and their rules are skipped.
+ */
+import { columnsOf, floatOf, textOf } from "vastgrid-spec";
+
+/** A value of an expression: a JSON value with its column's type, or a string or boolean that it made. */
+
+/** Reads the value of a column of the row; undefined while it is not read. */
+
+/** A compiled `when`: true, false or null for a row, or undefined while a value it needs is not read. */
+
+const NUMERIC = new Set(["integer", "bigint", "decimal", "float"]);
+
+/** Compares exact decimal texts (`-12.50`) by their digits. */
+function compareDecimal(a, b) {
+  const sign = text => text.startsWith("-") ? -1 : 1;
+  const [ai, af = ""] = a.replace(/^[+-]/, "").split(".");
+  const [bi, bf = ""] = b.replace(/^[+-]/, "").split(".");
+  const isZero = (i, f) => /^0*$/.test(i) && /^0*$/.test(f);
+  const as = isZero(ai, af) ? 0 : sign(a);
+  const bs = isZero(bi, bf) ? 0 : sign(b);
+  if (as !== bs) return as - bs;
+  const whole = x => x.replace(/^0+(?=\d)/, "");
+  const [x, y] = [whole(ai), whole(bi)];
+  const width = Math.max(af.length, bf.length);
+  const left = `${x.padStart(Math.max(x.length, y.length), "0")}${af.padEnd(width, "0")}`;
+  const right = `${y.padStart(Math.max(x.length, y.length), "0")}${bf.padEnd(width, "0")}`;
+  return (left < right ? -1 : left > right ? 1 : 0) * as;
+}
+
+/** Orders two values of one kind (§3.1), or null when they do not compare. */
+function compare(a, b) {
+  if (a.value === null || b.value === null) return null;
+  if (NUMERIC.has(a.type) || NUMERIC.has(b.type) || typeof a.value === "number" && typeof b.value === "number") {
+    const float = a.type === "float" || b.type === "float" || typeof a.value === "number" || typeof b.value === "number";
+    if (float && !(typeof a.value === "string" && typeof b.value === "string")) {
+      const x = floatOf(a.value);
+      const y = floatOf(b.value);
+      // NaN is the greatest number (§3.1).
+      if (Number.isNaN(x) || Number.isNaN(y)) return Number.isNaN(x) ? Number.isNaN(y) ? 0 : 1 : -1;
+      return x < y ? -1 : x > y ? 1 : 0;
+    }
+    return compareDecimal(String(a.value), String(b.value));
+  }
+  if (typeof a.value === "boolean" && typeof b.value === "boolean") return Number(a.value) - Number(b.value);
+  if (typeof a.value === "string" && typeof b.value === "string") {
+    // Code point order.
+    const x = [...a.value];
+    const y = [...b.value];
+    for (let index = 0; index < Math.min(x.length, y.length); index++) {
+      const difference = (x[index].codePointAt(0) ?? 0) - (y[index].codePointAt(0) ?? 0);
+      if (difference !== 0) return difference;
+    }
+    return x.length - y.length;
+  }
+  return null;
+}
+
+/** `lower` (§3.4): each code point by itself, kept when its lower case is not one code point. */
+function lower(text) {
+  let out = "";
+  for (const point of text) {
+    if (point === "İ") {
+      out += "i";
+      continue;
+    }
+    const mapped = point.toLowerCase();
+    out += [...mapped].length === 1 ? mapped : point;
+  }
+  return out;
+}
+const PENDING = Symbol("pending");
+function compile(expr, columns) {
+  if ("col" in expr) {
+    const column = columns.get(expr.col);
+    if (!column) return null;
+    return row => {
+      const value = row(column.name);
+      return value === undefined ? undefined : {
+        value,
+        type: column.type
+      };
+    };
+  }
+  if ("lit" in expr) {
+    const value = {
+      value: expr.lit,
+      type: expr.type ?? (typeof expr.lit === "number" ? Number.isInteger(expr.lit) ? "bigint" : "float" : "text")
+    };
+    return () => value;
+  }
+  if ("search" in expr) return null;
+  const args = expr.args.map(arg => compile(arg, columns));
+  if (args.some(arg => arg === null)) return null;
+  const parts = args;
+  const read = row => {
+    const values = [];
+    for (const part of parts) {
+      const value = part(row);
+      if (value === undefined) throw PENDING;
+      values.push(value);
+    }
+    return values;
+  };
+  const truth = value => ({
+    value,
+    type: "boolean"
+  });
+  const run = body => {
+    return row => {
+      try {
+        return body(read(row));
+      } catch (error) {
+        if (error === PENDING) return undefined;
+        throw error;
+      }
+    };
+  };
+  switch (expr.fn) {
+    case "and":
+    case "or":
+      {
+        const stop = expr.fn === "or";
+        return run(values => {
+          let unknown = false;
+          for (const {
+            value
+          } of values) {
+            if (value === stop) return truth(stop);
+            if (value === null) unknown = true;
+          }
+          return truth(unknown ? null : !stop);
+        });
+      }
+    case "not":
+      return run(([a]) => truth(a.value === null ? null : !a.value));
+    case "coalesce":
+      return run(values => values.find(item => item.value !== null) ?? values[values.length - 1]);
+    case "is_null":
+      return run(([a]) => truth(a.value === null));
+    case "is_blank":
+      return run(([a]) => truth(a.value === null || a.type === "string" && a.value === ""));
+    case "eq":
+    case "ne":
+    case "lt":
+    case "le":
+    case "gt":
+    case "ge":
+      {
+        const fn = expr.fn;
+        return run(([a, b]) => {
+          const order = compare(a, b);
+          if (order === null) return truth(null);
+          const result = fn === "eq" ? order === 0 : fn === "ne" ? order !== 0 : fn === "lt" ? order < 0 : fn === "le" ? order <= 0 : fn === "gt" ? order > 0 : order >= 0;
+          return truth(result);
+        });
+      }
+    case "in":
+      return run(([a, ...list]) => {
+        if (a.value === null) return truth(null);
+        return truth(list.some(item => compare(a, item) === 0));
+      });
+    case "text":
+      return run(([a]) => ({
+        value: a.type === "text" ? a.value : textOf(a.value, {
+          type: a.type
+        }),
+        type: "text"
+      }));
+    case "lower":
+      return run(([a]) => ({
+        value: typeof a.value === "string" ? lower(a.value) : null,
+        type: "text"
+      }));
+    case "contains":
+    case "starts_with":
+    case "ends_with":
+      {
+        const fn = expr.fn;
+        return run(([a, b]) => {
+          if (typeof a.value !== "string" || typeof b.value !== "string") return truth(null);
+          return truth(fn === "contains" ? a.value.includes(b.value) : fn === "starts_with" ? a.value.startsWith(b.value) : a.value.endsWith(b.value));
+        });
+      }
+    default:
+      return null;
+  }
+}
+
+/**
+ * A rule's `when` compiled over the columns of the view, or null when it names a column the view does not have or a
+ * function that the grid does not evaluate. `columns` lists the columns it reads.
+ */
+export function compileRule(when, view) {
+  const byName = new Map(view.map(column => [column.name, column]));
+  const compiled = compile(when, byName);
+  if (!compiled) return null;
+  return {
+    rule: row => {
+      const result = compiled(row);
+      if (result === undefined) return undefined;
+      return typeof result.value === "boolean" ? result.value : null;
+    },
+    columns: [...columnsOf(when)]
+  };
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/core/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["columnsOf","floatOf","textOf","NUMERIC","Set","compareDecimal","a","b","sign","text","startsWith","ai","af","replace","split","bi","bf","isZero","i","f","test","as","bs","whole","x","y","width","Math","max","length","left","padStart","padEnd","right","compare","value","has","type","float","Number","isNaN","String","index","min","difference","codePointAt","lower","out","point","mapped","toLowerCase","PENDING","Symbol","compile","expr","columns","column","get","col","row","name","undefined","lit","isInteger","args","map","arg","some","parts","read","values","part","push","truth","run","body","error","fn","stop","unknown","find","item","order","result","list","includes","endsWith","compileRule","when","view","byName","Map","compiled","rule"],"sources":["evaluate.ts"],"sourcesContent":["/**\n * Evaluates the `when` of a style rule (§5.1 of the specification) over a row of the view on screen, in the grid:\n * the logic and comparisons that the menus write (§4.4: `and`, `or`, `not`, `coalesce`, comparisons, `in`,\n * `is_null`, `is_blank`, `contains`, `starts_with` and `ends_with` over `lower` and `text`), with nulls as §3.6 has\n * them. Other expressions are not evaluated here, and their rules are skipped.\n */\nimport { type Column, columnsOf, type Expr, floatOf, type JsonValue, textOf } from \"vastgrid-spec\";\n\n/** A value of an expression: a JSON value with its column's type, or a string or boolean that it made. */\ninterface Value {\n  value: JsonValue;\n  type: Column[\"type\"] | \"text\";\n}\n\n/** Reads the value of a column of the row; undefined while it is not read. */\nexport type RowReader = (column: string) => JsonValue | undefined;\n\n/** A compiled `when`: true, false or null for a row, or undefined while a value it needs is not read. */\nexport type Rule = (row: RowReader) => boolean | null | undefined;\n\nconst NUMERIC = new Set([\"integer\", \"bigint\", \"decimal\", \"float\"]);\n\n/** Compares exact decimal texts (`-12.50`) by their digits. */\nfunction compareDecimal(a: string, b: string): number {\n  const sign = (text: string) => (text.startsWith(\"-\") ? -1 : 1);\n  const [ai, af = \"\"] = a.replace(/^[+-]/, \"\").split(\".\");\n  const [bi, bf = \"\"] = b.replace(/^[+-]/, \"\").split(\".\");\n  const isZero = (i: string, f: string) => /^0*$/.test(i) && /^0*$/.test(f);\n  const as = isZero(ai, af) ? 0 : sign(a);\n  const bs = isZero(bi, bf) ? 0 : sign(b);\n  if (as !== bs) return as - bs;\n  const whole = (x: string) => x.replace(/^0+(?=\\d)/, \"\");\n  const [x, y] = [whole(ai), whole(bi)];\n  const width = Math.max(af.length, bf.length);\n  const left = `${x.padStart(Math.max(x.length, y.length), \"0\")}${af.padEnd(width, \"0\")}`;\n  const right = `${y.padStart(Math.max(x.length, y.length), \"0\")}${bf.padEnd(width, \"0\")}`;\n  return (left < right ? -1 : left > right ? 1 : 0) * as;\n}\n\n/** Orders two values of one kind (§3.1), or null when they do not compare. */\nfunction compare(a: Value, b: Value): number | null {\n  if (a.value === null || b.value === null) return null;\n  if (NUMERIC.has(a.type) || NUMERIC.has(b.type) || (typeof a.value === \"number\" && typeof b.value === \"number\")) {\n    const float =\n      a.type === \"float\" || b.type === \"float\" || typeof a.value === \"number\" || typeof b.value === \"number\";\n    if (float && !(typeof a.value === \"string\" && typeof b.value === \"string\")) {\n      const x = floatOf(a.value);\n      const y = floatOf(b.value);\n      // NaN is the greatest number (§3.1).\n      if (Number.isNaN(x) || Number.isNaN(y)) return Number.isNaN(x) ? (Number.isNaN(y) ? 0 : 1) : -1;\n      return x < y ? -1 : x > y ? 1 : 0;\n    }\n    return compareDecimal(String(a.value), String(b.value));\n  }\n  if (typeof a.value === \"boolean\" && typeof b.value === \"boolean\") return Number(a.value) - Number(b.value);\n  if (typeof a.value === \"string\" && typeof b.value === \"string\") {\n    // Code point order.\n    const x = [...a.value];\n    const y = [...b.value];\n    for (let index = 0; index < Math.min(x.length, y.length); index++) {\n      const difference = (x[index].codePointAt(0) ?? 0) - (y[index].codePointAt(0) ?? 0);\n      if (difference !== 0) return difference;\n    }\n    return x.length - y.length;\n  }\n  return null;\n}\n\n/** `lower` (§3.4): each code point by itself, kept when its lower case is not one code point. */\nfunction lower(text: string): string {\n  let out = \"\";\n  for (const point of text) {\n    if (point === \"İ\") {\n      out += \"i\";\n      continue;\n    }\n    const mapped = point.toLowerCase();\n    out += [...mapped].length === 1 ? mapped : point;\n  }\n  return out;\n}\n\ntype Compiled = (row: RowReader) => Value | undefined;\n\nconst PENDING = Symbol(\"pending\");\n\nfunction compile(expr: Expr, columns: ReadonlyMap<string, Column>): Compiled | null {\n  if (\"col\" in expr) {\n    const column = columns.get(expr.col);\n    if (!column) return null;\n    return (row) => {\n      const value = row(column.name);\n      return value === undefined ? undefined : { value, type: column.type };\n    };\n  }\n  if (\"lit\" in expr) {\n    const value: Value = {\n      value: expr.lit,\n      type: expr.type ?? (typeof expr.lit === \"number\" ? (Number.isInteger(expr.lit) ? \"bigint\" : \"float\") : \"text\"),\n    };\n    return () => value;\n  }\n  if (\"search\" in expr) return null;\n  const args = expr.args.map((arg) => compile(arg, columns));\n  if (args.some((arg) => arg === null)) return null;\n  const parts = args as Compiled[];\n  const read = (row: RowReader) => {\n    const values: Value[] = [];\n    for (const part of parts) {\n      const value = part(row);\n      if (value === undefined) throw PENDING;\n      values.push(value);\n    }\n    return values;\n  };\n  const truth = (value: boolean | null): Value => ({ value, type: \"boolean\" });\n  const run = (body: (values: Value[]) => Value): Compiled => {\n    return (row) => {\n      try {\n        return body(read(row));\n      } catch (error) {\n        if (error === PENDING) return undefined;\n        throw error;\n      }\n    };\n  };\n  switch (expr.fn) {\n    case \"and\":\n    case \"or\": {\n      const stop = expr.fn === \"or\";\n      return run((values) => {\n        let unknown = false;\n        for (const { value } of values) {\n          if (value === stop) return truth(stop);\n          if (value === null) unknown = true;\n        }\n        return truth(unknown ? null : !stop);\n      });\n    }\n    case \"not\":\n      return run(([a]) => truth(a.value === null ? null : !a.value));\n    case \"coalesce\":\n      return run((values) => values.find((item) => item.value !== null) ?? values[values.length - 1]);\n    case \"is_null\":\n      return run(([a]) => truth(a.value === null));\n    case \"is_blank\":\n      return run(([a]) => truth(a.value === null || (a.type === \"string\" && a.value === \"\")));\n    case \"eq\":\n    case \"ne\":\n    case \"lt\":\n    case \"le\":\n    case \"gt\":\n    case \"ge\": {\n      const fn = expr.fn;\n      return run(([a, b]) => {\n        const order = compare(a, b);\n        if (order === null) return truth(null);\n        const result =\n          fn === \"eq\"\n            ? order === 0\n            : fn === \"ne\"\n              ? order !== 0\n              : fn === \"lt\"\n                ? order < 0\n                : fn === \"le\"\n                  ? order <= 0\n                  : fn === \"gt\"\n                    ? order > 0\n                    : order >= 0;\n        return truth(result);\n      });\n    }\n    case \"in\":\n      return run(([a, ...list]) => {\n        if (a.value === null) return truth(null);\n        return truth(list.some((item) => compare(a, item) === 0));\n      });\n    case \"text\":\n      return run(([a]) => ({\n        value: a.type === \"text\" ? a.value : textOf(a.value, { type: a.type } as Column),\n        type: \"text\",\n      }));\n    case \"lower\":\n      return run(([a]) => ({ value: typeof a.value === \"string\" ? lower(a.value) : null, type: \"text\" }));\n    case \"contains\":\n    case \"starts_with\":\n    case \"ends_with\": {\n      const fn = expr.fn;\n      return run(([a, b]) => {\n        if (typeof a.value !== \"string\" || typeof b.value !== \"string\") return truth(null);\n        return truth(\n          fn === \"contains\"\n            ? a.value.includes(b.value)\n            : fn === \"starts_with\"\n              ? a.value.startsWith(b.value)\n              : a.value.endsWith(b.value),\n        );\n      });\n    }\n    default:\n      return null;\n  }\n}\n\n/**\n * A rule's `when` compiled over the columns of the view, or null when it names a column the view does not have or a\n * function that the grid does not evaluate. `columns` lists the columns it reads.\n */\nexport function compileRule(when: Expr, view: readonly Column[]): { rule: Rule; columns: string[] } | null {\n  const byName = new Map(view.map((column) => [column.name, column]));\n  const compiled = compile(when, byName);\n  if (!compiled) return null;\n  return {\n    rule: (row) => {\n      const result = compiled(row);\n      if (result === undefined) return undefined;\n      return typeof result.value === \"boolean\" ? result.value : null;\n    },\n    columns: [...columnsOf(when)],\n  };\n}\n"],"mappings":"AAAA;AACA;AACA;AACA;AACA;AACA;AACA,SAAsBA,SAAS,EAAaC,OAAO,EAAkBC,MAAM,QAAQ,eAAe;;AAElG;;AAMA;;AAGA;;AAGA,MAAMC,OAAO,GAAG,IAAIC,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;;AAElE;AACA,SAASC,cAAcA,CAACC,CAAS,EAAEC,CAAS,EAAU;EACpD,MAAMC,IAAI,GAAIC,IAAY,IAAMA,IAAI,CAACC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAE;EAC9D,MAAM,CAACC,EAAE,EAAEC,EAAE,GAAG,EAAE,CAAC,GAAGN,CAAC,CAACO,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAACC,KAAK,CAAC,GAAG,CAAC;EACvD,MAAM,CAACC,EAAE,EAAEC,EAAE,GAAG,EAAE,CAAC,GAAGT,CAAC,CAACM,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAACC,KAAK,CAAC,GAAG,CAAC;EACvD,MAAMG,MAAM,GAAGA,CAACC,CAAS,EAAEC,CAAS,KAAK,MAAM,CAACC,IAAI,CAACF,CAAC,CAAC,IAAI,MAAM,CAACE,IAAI,CAACD,CAAC,CAAC;EACzE,MAAME,EAAE,GAAGJ,MAAM,CAACN,EAAE,EAAEC,EAAE,CAAC,GAAG,CAAC,GAAGJ,IAAI,CAACF,CAAC,CAAC;EACvC,MAAMgB,EAAE,GAAGL,MAAM,CAACF,EAAE,EAAEC,EAAE,CAAC,GAAG,CAAC,GAAGR,IAAI,CAACD,CAAC,CAAC;EACvC,IAAIc,EAAE,KAAKC,EAAE,EAAE,OAAOD,EAAE,GAAGC,EAAE;EAC7B,MAAMC,KAAK,GAAIC,CAAS,IAAKA,CAAC,CAACX,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;EACvD,MAAM,CAACW,CAAC,EAAEC,CAAC,CAAC,GAAG,CAACF,KAAK,CAACZ,EAAE,CAAC,EAAEY,KAAK,CAACR,EAAE,CAAC,CAAC;EACrC,MAAMW,KAAK,GAAGC,IAAI,CAACC,GAAG,CAAChB,EAAE,CAACiB,MAAM,EAAEb,EAAE,CAACa,MAAM,CAAC;EAC5C,MAAMC,IAAI,GAAG,GAAGN,CAAC,CAACO,QAAQ,CAACJ,IAAI,CAACC,GAAG,CAACJ,CAAC,CAACK,MAAM,EAAEJ,CAAC,CAACI,MAAM,CAAC,EAAE,GAAG,CAAC,GAAGjB,EAAE,CAACoB,MAAM,CAACN,KAAK,EAAE,GAAG,CAAC,EAAE;EACvF,MAAMO,KAAK,GAAG,GAAGR,CAAC,CAACM,QAAQ,CAACJ,IAAI,CAACC,GAAG,CAACJ,CAAC,CAACK,MAAM,EAAEJ,CAAC,CAACI,MAAM,CAAC,EAAE,GAAG,CAAC,GAAGb,EAAE,CAACgB,MAAM,CAACN,KAAK,EAAE,GAAG,CAAC,EAAE;EACxF,OAAO,CAACI,IAAI,GAAGG,KAAK,GAAG,CAAC,CAAC,GAAGH,IAAI,GAAGG,KAAK,GAAG,CAAC,GAAG,CAAC,IAAIZ,EAAE;AACxD;;AAEA;AACA,SAASa,OAAOA,CAAC5B,CAAQ,EAAEC,CAAQ,EAAiB;EAClD,IAAID,CAAC,CAAC6B,KAAK,KAAK,IAAI,IAAI5B,CAAC,CAAC4B,KAAK,KAAK,IAAI,EAAE,OAAO,IAAI;EACrD,IAAIhC,OAAO,CAACiC,GAAG,CAAC9B,CAAC,CAAC+B,IAAI,CAAC,IAAIlC,OAAO,CAACiC,GAAG,CAAC7B,CAAC,CAAC8B,IAAI,CAAC,IAAK,OAAO/B,CAAC,CAAC6B,KAAK,KAAK,QAAQ,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,QAAS,EAAE;IAC9G,MAAMG,KAAK,GACThC,CAAC,CAAC+B,IAAI,KAAK,OAAO,IAAI9B,CAAC,CAAC8B,IAAI,KAAK,OAAO,IAAI,OAAO/B,CAAC,CAAC6B,KAAK,KAAK,QAAQ,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,QAAQ;IACxG,IAAIG,KAAK,IAAI,EAAE,OAAOhC,CAAC,CAAC6B,KAAK,KAAK,QAAQ,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,QAAQ,CAAC,EAAE;MAC1E,MAAMX,CAAC,GAAGvB,OAAO,CAACK,CAAC,CAAC6B,KAAK,CAAC;MAC1B,MAAMV,CAAC,GAAGxB,OAAO,CAACM,CAAC,CAAC4B,KAAK,CAAC;MAC1B;MACA,IAAII,MAAM,CAACC,KAAK,CAAChB,CAAC,CAAC,IAAIe,MAAM,CAACC,KAAK,CAACf,CAAC,CAAC,EAAE,OAAOc,MAAM,CAACC,KAAK,CAAChB,CAAC,CAAC,GAAIe,MAAM,CAACC,KAAK,CAACf,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAI,CAAC,CAAC;MAC/F,OAAOD,CAAC,GAAGC,CAAC,GAAG,CAAC,CAAC,GAAGD,CAAC,GAAGC,CAAC,GAAG,CAAC,GAAG,CAAC;IACnC;IACA,OAAOpB,cAAc,CAACoC,MAAM,CAACnC,CAAC,CAAC6B,KAAK,CAAC,EAAEM,MAAM,CAAClC,CAAC,CAAC4B,KAAK,CAAC,CAAC;EACzD;EACA,IAAI,OAAO7B,CAAC,CAAC6B,KAAK,KAAK,SAAS,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,SAAS,EAAE,OAAOI,MAAM,CAACjC,CAAC,CAAC6B,KAAK,CAAC,GAAGI,MAAM,CAAChC,CAAC,CAAC4B,KAAK,CAAC;EAC1G,IAAI,OAAO7B,CAAC,CAAC6B,KAAK,KAAK,QAAQ,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,QAAQ,EAAE;IAC9D;IACA,MAAMX,CAAC,GAAG,CAAC,GAAGlB,CAAC,CAAC6B,KAAK,CAAC;IACtB,MAAMV,CAAC,GAAG,CAAC,GAAGlB,CAAC,CAAC4B,KAAK,CAAC;IACtB,KAAK,IAAIO,KAAK,GAAG,CAAC,EAAEA,KAAK,GAAGf,IAAI,CAACgB,GAAG,CAACnB,CAAC,CAACK,MAAM,EAAEJ,CAAC,CAACI,MAAM,CAAC,EAAEa,KAAK,EAAE,EAAE;MACjE,MAAME,UAAU,GAAG,CAACpB,CAAC,CAACkB,KAAK,CAAC,CAACG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAKpB,CAAC,CAACiB,KAAK,CAAC,CAACG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;MAClF,IAAID,UAAU,KAAK,CAAC,EAAE,OAAOA,UAAU;IACzC;IACA,OAAOpB,CAAC,CAACK,MAAM,GAAGJ,CAAC,CAACI,MAAM;EAC5B;EACA,OAAO,IAAI;AACb;;AAEA;AACA,SAASiB,KAAKA,CAACrC,IAAY,EAAU;EACnC,IAAIsC,GAAG,GAAG,EAAE;EACZ,KAAK,MAAMC,KAAK,IAAIvC,IAAI,EAAE;IACxB,IAAIuC,KAAK,KAAK,GAAG,EAAE;MACjBD,GAAG,IAAI,GAAG;MACV;IACF;IACA,MAAME,MAAM,GAAGD,KAAK,CAACE,WAAW,CAAC,CAAC;IAClCH,GAAG,IAAI,CAAC,GAAGE,MAAM,CAAC,CAACpB,MAAM,KAAK,CAAC,GAAGoB,MAAM,GAAGD,KAAK;EAClD;EACA,OAAOD,GAAG;AACZ;AAIA,MAAMI,OAAO,GAAGC,MAAM,CAAC,SAAS,CAAC;AAEjC,SAASC,OAAOA,CAACC,IAAU,EAAEC,OAAoC,EAAmB;EAClF,IAAI,KAAK,IAAID,IAAI,EAAE;IACjB,MAAME,MAAM,GAAGD,OAAO,CAACE,GAAG,CAACH,IAAI,CAACI,GAAG,CAAC;IACpC,IAAI,CAACF,MAAM,EAAE,OAAO,IAAI;IACxB,OAAQG,GAAG,IAAK;MACd,MAAMxB,KAAK,GAAGwB,GAAG,CAACH,MAAM,CAACI,IAAI,CAAC;MAC9B,OAAOzB,KAAK,KAAK0B,SAAS,GAAGA,SAAS,GAAG;QAAE1B,KAAK;QAAEE,IAAI,EAAEmB,MAAM,CAACnB;MAAK,CAAC;IACvE,CAAC;EACH;EACA,IAAI,KAAK,IAAIiB,IAAI,EAAE;IACjB,MAAMnB,KAAY,GAAG;MACnBA,KAAK,EAAEmB,IAAI,CAACQ,GAAG;MACfzB,IAAI,EAAEiB,IAAI,CAACjB,IAAI,KAAK,OAAOiB,IAAI,CAACQ,GAAG,KAAK,QAAQ,GAAIvB,MAAM,CAACwB,SAAS,CAACT,IAAI,CAACQ,GAAG,CAAC,GAAG,QAAQ,GAAG,OAAO,GAAI,MAAM;IAC/G,CAAC;IACD,OAAO,MAAM3B,KAAK;EACpB;EACA,IAAI,QAAQ,IAAImB,IAAI,EAAE,OAAO,IAAI;EACjC,MAAMU,IAAI,GAAGV,IAAI,CAACU,IAAI,CAACC,GAAG,CAAEC,GAAG,IAAKb,OAAO,CAACa,GAAG,EAAEX,OAAO,CAAC,CAAC;EAC1D,IAAIS,IAAI,CAACG,IAAI,CAAED,GAAG,IAAKA,GAAG,KAAK,IAAI,CAAC,EAAE,OAAO,IAAI;EACjD,MAAME,KAAK,GAAGJ,IAAkB;EAChC,MAAMK,IAAI,GAAIV,GAAc,IAAK;IAC/B,MAAMW,MAAe,GAAG,EAAE;IAC1B,KAAK,MAAMC,IAAI,IAAIH,KAAK,EAAE;MACxB,MAAMjC,KAAK,GAAGoC,IAAI,CAACZ,GAAG,CAAC;MACvB,IAAIxB,KAAK,KAAK0B,SAAS,EAAE,MAAMV,OAAO;MACtCmB,MAAM,CAACE,IAAI,CAACrC,KAAK,CAAC;IACpB;IACA,OAAOmC,MAAM;EACf,CAAC;EACD,MAAMG,KAAK,GAAItC,KAAqB,KAAa;IAAEA,KAAK;IAAEE,IAAI,EAAE;EAAU,CAAC,CAAC;EAC5E,MAAMqC,GAAG,GAAIC,IAAgC,IAAe;IAC1D,OAAQhB,GAAG,IAAK;MACd,IAAI;QACF,OAAOgB,IAAI,CAACN,IAAI,CAACV,GAAG,CAAC,CAAC;MACxB,CAAC,CAAC,OAAOiB,KAAK,EAAE;QACd,IAAIA,KAAK,KAAKzB,OAAO,EAAE,OAAOU,SAAS;QACvC,MAAMe,KAAK;MACb;IACF,CAAC;EACH,CAAC;EACD,QAAQtB,IAAI,CAACuB,EAAE;IACb,KAAK,KAAK;IACV,KAAK,IAAI;MAAE;QACT,MAAMC,IAAI,GAAGxB,IAAI,CAACuB,EAAE,KAAK,IAAI;QAC7B,OAAOH,GAAG,CAAEJ,MAAM,IAAK;UACrB,IAAIS,OAAO,GAAG,KAAK;UACnB,KAAK,MAAM;YAAE5C;UAAM,CAAC,IAAImC,MAAM,EAAE;YAC9B,IAAInC,KAAK,KAAK2C,IAAI,EAAE,OAAOL,KAAK,CAACK,IAAI,CAAC;YACtC,IAAI3C,KAAK,KAAK,IAAI,EAAE4C,OAAO,GAAG,IAAI;UACpC;UACA,OAAON,KAAK,CAACM,OAAO,GAAG,IAAI,GAAG,CAACD,IAAI,CAAC;QACtC,CAAC,CAAC;MACJ;IACA,KAAK,KAAK;MACR,OAAOJ,GAAG,CAAC,CAAC,CAACpE,CAAC,CAAC,KAAKmE,KAAK,CAACnE,CAAC,CAAC6B,KAAK,KAAK,IAAI,GAAG,IAAI,GAAG,CAAC7B,CAAC,CAAC6B,KAAK,CAAC,CAAC;IAChE,KAAK,UAAU;MACb,OAAOuC,GAAG,CAAEJ,MAAM,IAAKA,MAAM,CAACU,IAAI,CAAEC,IAAI,IAAKA,IAAI,CAAC9C,KAAK,KAAK,IAAI,CAAC,IAAImC,MAAM,CAACA,MAAM,CAACzC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjG,KAAK,SAAS;MACZ,OAAO6C,GAAG,CAAC,CAAC,CAACpE,CAAC,CAAC,KAAKmE,KAAK,CAACnE,CAAC,CAAC6B,KAAK,KAAK,IAAI,CAAC,CAAC;IAC9C,KAAK,UAAU;MACb,OAAOuC,GAAG,CAAC,CAAC,CAACpE,CAAC,CAAC,KAAKmE,KAAK,CAACnE,CAAC,CAAC6B,KAAK,KAAK,IAAI,IAAK7B,CAAC,CAAC+B,IAAI,KAAK,QAAQ,IAAI/B,CAAC,CAAC6B,KAAK,KAAK,EAAG,CAAC,CAAC;IACzF,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;MAAE;QACT,MAAM0C,EAAE,GAAGvB,IAAI,CAACuB,EAAE;QAClB,OAAOH,GAAG,CAAC,CAAC,CAACpE,CAAC,EAAEC,CAAC,CAAC,KAAK;UACrB,MAAM2E,KAAK,GAAGhD,OAAO,CAAC5B,CAAC,EAAEC,CAAC,CAAC;UAC3B,IAAI2E,KAAK,KAAK,IAAI,EAAE,OAAOT,KAAK,CAAC,IAAI,CAAC;UACtC,MAAMU,MAAM,GACVN,EAAE,KAAK,IAAI,GACPK,KAAK,KAAK,CAAC,GACXL,EAAE,KAAK,IAAI,GACTK,KAAK,KAAK,CAAC,GACXL,EAAE,KAAK,IAAI,GACTK,KAAK,GAAG,CAAC,GACTL,EAAE,KAAK,IAAI,GACTK,KAAK,IAAI,CAAC,GACVL,EAAE,KAAK,IAAI,GACTK,KAAK,GAAG,CAAC,GACTA,KAAK,IAAI,CAAC;UACxB,OAAOT,KAAK,CAACU,MAAM,CAAC;QACtB,CAAC,CAAC;MACJ;IACA,KAAK,IAAI;MACP,OAAOT,GAAG,CAAC,CAAC,CAACpE,CAAC,EAAE,GAAG8E,IAAI,CAAC,KAAK;QAC3B,IAAI9E,CAAC,CAAC6B,KAAK,KAAK,IAAI,EAAE,OAAOsC,KAAK,CAAC,IAAI,CAAC;QACxC,OAAOA,KAAK,CAACW,IAAI,CAACjB,IAAI,CAAEc,IAAI,IAAK/C,OAAO,CAAC5B,CAAC,EAAE2E,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;MAC3D,CAAC,CAAC;IACJ,KAAK,MAAM;MACT,OAAOP,GAAG,CAAC,CAAC,CAACpE,CAAC,CAAC,MAAM;QACnB6B,KAAK,EAAE7B,CAAC,CAAC+B,IAAI,KAAK,MAAM,GAAG/B,CAAC,CAAC6B,KAAK,GAAGjC,MAAM,CAACI,CAAC,CAAC6B,KAAK,EAAE;UAAEE,IAAI,EAAE/B,CAAC,CAAC+B;QAAK,CAAW,CAAC;QAChFA,IAAI,EAAE;MACR,CAAC,CAAC,CAAC;IACL,KAAK,OAAO;MACV,OAAOqC,GAAG,CAAC,CAAC,CAACpE,CAAC,CAAC,MAAM;QAAE6B,KAAK,EAAE,OAAO7B,CAAC,CAAC6B,KAAK,KAAK,QAAQ,GAAGW,KAAK,CAACxC,CAAC,CAAC6B,KAAK,CAAC,GAAG,IAAI;QAAEE,IAAI,EAAE;MAAO,CAAC,CAAC,CAAC;IACrG,KAAK,UAAU;IACf,KAAK,aAAa;IAClB,KAAK,WAAW;MAAE;QAChB,MAAMwC,EAAE,GAAGvB,IAAI,CAACuB,EAAE;QAClB,OAAOH,GAAG,CAAC,CAAC,CAACpE,CAAC,EAAEC,CAAC,CAAC,KAAK;UACrB,IAAI,OAAOD,CAAC,CAAC6B,KAAK,KAAK,QAAQ,IAAI,OAAO5B,CAAC,CAAC4B,KAAK,KAAK,QAAQ,EAAE,OAAOsC,KAAK,CAAC,IAAI,CAAC;UAClF,OAAOA,KAAK,CACVI,EAAE,KAAK,UAAU,GACbvE,CAAC,CAAC6B,KAAK,CAACkD,QAAQ,CAAC9E,CAAC,CAAC4B,KAAK,CAAC,GACzB0C,EAAE,KAAK,aAAa,GAClBvE,CAAC,CAAC6B,KAAK,CAACzB,UAAU,CAACH,CAAC,CAAC4B,KAAK,CAAC,GAC3B7B,CAAC,CAAC6B,KAAK,CAACmD,QAAQ,CAAC/E,CAAC,CAAC4B,KAAK,CAChC,CAAC;QACH,CAAC,CAAC;MACJ;IACA;MACE,OAAO,IAAI;EACf;AACF;;AAEA;AACA;AACA;AACA;AACA,OAAO,SAASoD,WAAWA,CAACC,IAAU,EAAEC,IAAuB,EAA4C;EACzG,MAAMC,MAAM,GAAG,IAAIC,GAAG,CAACF,IAAI,CAACxB,GAAG,CAAET,MAAM,IAAK,CAACA,MAAM,CAACI,IAAI,EAAEJ,MAAM,CAAC,CAAC,CAAC;EACnE,MAAMoC,QAAQ,GAAGvC,OAAO,CAACmC,IAAI,EAAEE,MAAM,CAAC;EACtC,IAAI,CAACE,QAAQ,EAAE,OAAO,IAAI;EAC1B,OAAO;IACLC,IAAI,EAAGlC,GAAG,IAAK;MACb,MAAMwB,MAAM,GAAGS,QAAQ,CAACjC,GAAG,CAAC;MAC5B,IAAIwB,MAAM,KAAKtB,SAAS,EAAE,OAAOA,SAAS;MAC1C,OAAO,OAAOsB,MAAM,CAAChD,KAAK,KAAK,SAAS,GAAGgD,MAAM,CAAChD,KAAK,GAAG,IAAI;IAChE,CAAC;IACDoB,OAAO,EAAE,CAAC,GAAGvD,SAAS,CAACwF,IAAI,CAAC;EAC9B,CAAC;AACH","ignoreList":[]}

package/dist/core/filters.d.ts

@@ -0,0 +1,51 @@
+/**
+ * The filter of one column as the column menu edits it: values ticked in a list, or a condition. Each is written
+ * as the parts of `where` that `filter.column` sets (§6.2.1 of the specification), and read back from them.
+ */
+import { type Column, type Expr, type JsonValue, type LogicalType, type Plan } from "vastgrid-spec";
+export type FilterOperator = "eq" | "ne" | "lt" | "le" | "gt" | "ge" | "between" | "contains" | "notContains" | "startsWith" | "endsWith" | "blank" | "notBlank";
+export type ColumnFilter = 
+/** Rows with one of `values`, or blank (§3.2) with `blank`; with `exclude`, the other rows. */
+{
+    kind: "values";
+    values: JsonValue[];
+    blank: boolean;
+    exclude: boolean;
+}
+/** A condition on typed text: `first`, and `second` for `between`; an empty text leaves that side out. */
+ | {
+    kind: "condition";
+    operator: FilterOperator;
+    first: string;
+    second: string;
+};
+/** The operators offered for a column's type. */
+export declare function operatorsFor(type: LogicalType): FilterOperator[];
+/** Whether an operator takes no text. */
+export declare function takesNoValue(operator: FilterOperator): operator is "blank" | "notBlank";
+export declare class FilterTextError extends Error {
+    readonly side: "first" | "second";
+    constructor(side: "first" | "second");
+}
+/**
+ * The parts of `where` for a column's filter; none when it keeps every row. Text that is not a value of the column
+ * throws a `FilterTextError` (§7.3 reads it as a cell's text is read).
+ */
+export declare function filterParts(filter: ColumnFilter, column: Column): Expr[];
+/**
+ * The filter that the conditions of a column (§6.2.1) make, when the menu wrote them or they have the same shape;
+ * null when there are none, and `"other"` for conditions written otherwise (an agent, a saved view).
+ */
+export declare function readFilter(parts: readonly Expr[], name: string): ColumnFilter | "other" | null;
+/** The conditions of a column (§6.2.1): the parts of `where` that are not the search and refer to it and no other. */
+export declare function conditionsOf(where: Expr | undefined, name: string): Expr[];
+/**
+ * The plan whose rows are a column's values and how many rows have each, the most common first: the rows of
+ * `plan` without its conditions on the column (so that the list holds the values that other filters leave), and
+ * with those whose text contains `search`, ignoring letter case. Null when the plan groups rows.
+ */
+export declare function valuesPlan(plan: Plan, name: string, search: string): {
+    plan: Plan;
+    count: string;
+} | null;
+//# sourceMappingURL=filters.d.ts.map

package/dist/core/filters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filters.d.ts","sourceRoot":"","sources":["../../src/core/filters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,KAAK,MAAM,EAEX,KAAK,IAAI,EAET,KAAK,SAAS,EAGd,KAAK,WAAW,EAChB,KAAK,IAAI,EAGV,MAAM,eAAe,CAAC;AAEvB,MAAM,MAAM,cAAc,GACtB,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,SAAS,GACT,UAAU,GACV,aAAa,GACb,YAAY,GACZ,UAAU,GACV,OAAO,GACP,UAAU,CAAC;AAEf,MAAM,MAAM,YAAY;AACtB,+FAA+F;AAC7F;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE;AAC3E,0GAA0G;GACxG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAKnF,iDAAiD;AACjD,wBAAgB,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,cAAc,EAAE,CAKhE;AAED,yCAAyC;AACzC,wBAAgB,YAAY,CAAC,QAAQ,EAAE,cAAc,oCAEpD;AAwBD,qBAAa,eAAgB,SAAQ,KAAK;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ;IAA7C,YAAqB,IAAI,EAAE,OAAO,GAAG,QAAQ,EAE5C;CACF;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,CAgCxE;AAiDD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,OAAO,GAAG,IAAI,CAyD9F;AAED,sHAAsH;AACtH,wBAAgB,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,CAM1E;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAsBzG"}