@inixiative/json-rules 3.7.0 → 3.9.0

package/dist/index.d.cts

@@ -1089,6 +1089,9 @@ type LensWhereSqlOptions = {
      *  `'name'` at the root and `'<relation path>.<field>'` below it; a model default reads
      *  `'<Model>.<field>'`. */
     columns: Record<string, string>;
+    /** To-many relation path → the caller's SQL for its table, as `toWhereSql` reads it: by its path
+     *  from the lens model in a path `where`, `'<Model>.<relation>'` in a model default. */
+    tables?: Record<string, string>;
 };
 /** A lens's `where`s as SQL, each where the lens wrote it. */
 type LensWhereSql = {
@@ -1102,7 +1105,7 @@ type LensWhereSql = {
         models: Record<string, string>;
     }>;
 };
-declare const toLensWhereSql: (lens: Lens | LensNarrowing, { columns }: LensWhereSqlOptions) => LensWhereSql;
+declare const toLensWhereSql: (lens: Lens | LensNarrowing, { columns, tables }: LensWhereSqlOptions) => LensWhereSql;
 
 /** Gate a rule against a lens: every field and value-side ref resolves through it, and every
  *  operator, value and amount fits the field it reaches. */
@@ -1223,8 +1226,13 @@ type ToSqlOptions = CompileOptions & {
 
 type WhereSqlOptions = {
     /** Field path → the caller's SQL for that column, used as written. A to-one relation's
-     *  existence reads `'<relation>.<key>'`. */
+     *  existence reads `'<relation>.<key>'`; a to-many relation's rows read
+     *  `'<relation>.<field>'`. */
     columns: Record<string, string>;
+    /** To-many relation path → the caller's SQL for its table, written after `FROM` as given, with
+     *  the alias its `columns` read (`{ affiliations: 'FanUserAffiliation AS a' }`). An array rule
+     *  on that relation reads it. */
+    tables?: Record<string, string>;
     /** The schema the condition reads: it types each literal by its column, finds a relation's key,
      *  and refuses what has no form here (a date, Json or list value, a bridge, a to-many hop). */
     map: FieldMap | FieldMapSet;
@@ -1234,9 +1242,10 @@ type WhereSqlOptions = {
 /**
  * A condition as a SQL predicate in the engine's `sql.dialect`, with every value written inline
  * and every field read from `columns` — no parameters to fill, no joins. Negations keep NULL rows,
- * as on every rail. Throws for any operator but equals / notEquals / in / notIn / exists /
- * notExists inside all / any, and for binds, bridges, column-to-column `path`s, a Json value or
- * existence, and a date or list value (their existence is fine: `IS NULL` compares no value).
+ * as on every rail. An array rule (any / all / none / empty / notEmpty) on a to-many relation of
+ * the model is an `EXISTS` subquery on its table from `tables`. Throws for any other operator or
+ * node, for binds, bridges, column-to-column `path`s, a Json value or existence, and a date or
+ * list value (their existence is fine: `IS NULL` compares no value).
  */
 declare const toWhereSql: (condition: Condition, options: WhereSqlOptions) => string;
 

package/dist/index.d.ts

@@ -1089,6 +1089,9 @@ type LensWhereSqlOptions = {
      *  `'name'` at the root and `'<relation path>.<field>'` below it; a model default reads
      *  `'<Model>.<field>'`. */
     columns: Record<string, string>;
+    /** To-many relation path → the caller's SQL for its table, as `toWhereSql` reads it: by its path
+     *  from the lens model in a path `where`, `'<Model>.<relation>'` in a model default. */
+    tables?: Record<string, string>;
 };
 /** A lens's `where`s as SQL, each where the lens wrote it. */
 type LensWhereSql = {
@@ -1102,7 +1105,7 @@ type LensWhereSql = {
         models: Record<string, string>;
     }>;
 };
-declare const toLensWhereSql: (lens: Lens | LensNarrowing, { columns }: LensWhereSqlOptions) => LensWhereSql;
+declare const toLensWhereSql: (lens: Lens | LensNarrowing, { columns, tables }: LensWhereSqlOptions) => LensWhereSql;
 
 /** Gate a rule against a lens: every field and value-side ref resolves through it, and every
  *  operator, value and amount fits the field it reaches. */
@@ -1223,8 +1226,13 @@ type ToSqlOptions = CompileOptions & {
 
 type WhereSqlOptions = {
     /** Field path → the caller's SQL for that column, used as written. A to-one relation's
-     *  existence reads `'<relation>.<key>'`. */
+     *  existence reads `'<relation>.<key>'`; a to-many relation's rows read
+     *  `'<relation>.<field>'`. */
     columns: Record<string, string>;
+    /** To-many relation path → the caller's SQL for its table, written after `FROM` as given, with
+     *  the alias its `columns` read (`{ affiliations: 'FanUserAffiliation AS a' }`). An array rule
+     *  on that relation reads it. */
+    tables?: Record<string, string>;
     /** The schema the condition reads: it types each literal by its column, finds a relation's key,
      *  and refuses what has no form here (a date, Json or list value, a bridge, a to-many hop). */
     map: FieldMap | FieldMapSet;
@@ -1234,9 +1242,10 @@ type WhereSqlOptions = {
 /**
  * A condition as a SQL predicate in the engine's `sql.dialect`, with every value written inline
  * and every field read from `columns` — no parameters to fill, no joins. Negations keep NULL rows,
- * as on every rail. Throws for any operator but equals / notEquals / in / notIn / exists /
- * notExists inside all / any, and for binds, bridges, column-to-column `path`s, a Json value or
- * existence, and a date or list value (their existence is fine: `IS NULL` compares no value).
+ * as on every rail. An array rule (any / all / none / empty / notEmpty) on a to-many relation of
+ * the model is an `EXISTS` subquery on its table from `tables`. Throws for any other operator or
+ * node, for binds, bridges, column-to-column `path`s, a Json value or existence, and a date or
+ * list value (their existence is fine: `IS NULL` compares no value).
  */
 declare const toWhereSql: (condition: Condition, options: WhereSqlOptions) => string;