prostgles-types 4.0.311 → 4.0.313

package/dist/tableRowFromColumnDefinitions.d.ts

@@ -0,0 +1,79 @@
+import type { JSONB } from "./JSONBSchemaValidation/JSONBSchema";
+export type TableCheckValue = string | number | boolean | null;
+export type TableCheckBranch = Record<string, TableCheckValue | {
+    enum: readonly TableCheckValue[];
+} | {
+    $ne: null;
+} | Record<string, never>>;
+export type TableCheck = {
+    $or: readonly TableCheckBranch[];
+};
+export type ManagedTableColumnDefinition = string | {
+    enum: readonly (string | number)[];
+    nullable?: boolean;
+} | {
+    jsonbSchema: JSONB.JSONBSchema;
+    nullable?: boolean;
+};
+export type ManagedTableSchema = {
+    columns: Record<string, ManagedTableColumnDefinition>;
+    check?: TableCheck;
+};
+/** Row types for the column definitions used by managed tables. */
+export type TableRowFromColumnDefinitions<T extends Record<string, ManagedTableColumnDefinition>, Binary = ArrayBuffer | Uint8Array> = InsertRow<{
+    [K in keyof T]: T[K] extends string ? NormalizeSQL<Uppercase<T[K]>> : T[K];
+}, Binary>;
+/** Selected managed rows, narrowed by the same CHECK branches as the generated schema. */
+export type TableRowFromTableConfig<T extends ManagedTableSchema, ValueTypes extends Partial<Record<keyof T["columns"], unknown>> = {}, Binary = ArrayBuffer | Uint8Array> = CheckedRow<{
+    [K in keyof T["columns"]]: K extends keyof ValueTypes ? ValueTypes[K] : TableRowFromColumnDefinitions<T["columns"], Binary> extends infer Row ? K extends keyof Row ? Required<Row>[K] : never : never;
+}, T extends ({
+    check: {
+        $or: readonly (infer Branch extends TableCheckBranch)[];
+    };
+}) ? Branch : undefined>;
+/** Insert rows may omit nullable columns and columns supplied by database defaults. */
+export type TableInsertRowFromTableConfig<T extends ManagedTableSchema, ValueTypes extends Partial<Record<keyof T["columns"], unknown>> = {}, Binary = ArrayBuffer | Uint8Array> = CheckedInsertRow<TableRowFromTableConfig<T, ValueTypes, Binary>, GeneratedColumnNames<{
+    [K in keyof T["columns"]]: T["columns"][K] extends string ? NormalizeSQL<Uppercase<T["columns"][K]>> : T["columns"][K];
+}>>;
+type CheckedInsertRow<Row, Defaults> = Row extends unknown ? Omit<Row, OptionalInsertKeys<Row, Defaults>> & Partial<Pick<Row, OptionalInsertKeys<Row, Defaults>>> : never;
+type OptionalInsertKeys<Row, Defaults> = {
+    [K in keyof Row]: K extends Defaults ? K : null extends Row[K] ? K : never;
+}[keyof Row];
+type CheckedRow<Row, Branch> = Branch extends TableCheckBranch ? {
+    [K in keyof Row]: K extends keyof Branch ? Branch[K] extends {
+        $ne: null;
+    } ? NonNullable<Row[K]> : Branch[K] extends {
+        enum: readonly (infer V)[];
+    } ? V : Branch[K] extends Record<string, never> ? Row[K] : Branch[K] : null extends Row[K] ? null : Row[K];
+} : Row;
+type InsertRow<T extends Record<string, ManagedTableColumnDefinition>, Binary> = Omit<TableRow<T, Binary>, GeneratedColumnNames<T>> & Partial<Pick<TableRow<T, Binary>, GeneratedColumnNames<T>>>;
+type TableRow<T extends Record<string, ManagedTableColumnDefinition>, Binary> = {
+    [K in keyof T]: T[K] extends ({
+        jsonbSchema: infer S extends JSONB.JSONBSchema;
+    }) ? JSONB.GetType<S> | (T[K] extends {
+        nullable: true;
+    } ? null : never) : T[K] extends {
+        enum: readonly (infer V)[];
+    } ? V | (T[K] extends {
+        nullable: true;
+    } ? null : never) : ColumnValue<T[K], Binary> | (T[K] extends string ? ColumnIsRequired<T[K]> extends true ? never : null : never);
+};
+type ColumnIsRequired<T extends string> = ReadType<T>[0] extends SerialType ? true : ` ${Unquoted<T>} ` extends (`${string} NOT NULL ${string}` | `${string} PRIMARY KEY ${string}` | `${string} GENERATED ${string} AS IDENTITY ${string}`) ? true : false;
+type GeneratedColumnNames<T extends Record<string, ManagedTableColumnDefinition>> = {
+    [K in keyof T]: T[K] extends string ? ReadType<T[K]>[0] extends SerialType ? K : ` ${Unquoted<T[K]>} ` extends (`${string} DEFAULT ${string}` | `${string} GENERATED ${string}`) ? K : never : never;
+}[keyof T];
+type SerialType = "SMALLSERIAL" | "SERIAL2" | "SERIAL" | "SERIAL4" | "BIGSERIAL" | "SERIAL8";
+type ColumnValue<T, Binary> = T extends string ? T extends `DOUBLE PRECISION${infer Rest}` ? ColumnValue<`FLOAT8${Rest}`, Binary> : ReadType<T> extends ([
+    infer Name extends string,
+    infer Rest extends string
+]) ? ArrayValue<ScalarValue<Name, Binary>, Trim<Rest>> : never : never;
+type ScalarValue<T, Binary> = T extends "BYTEA" ? Binary : T extends "JSON" | "JSONB" ? Record<string, unknown> : T extends "BOOL" | "BOOLEAN" ? boolean : T extends ("SMALLINT" | "INT2" | "INT" | "INTEGER" | "INT4" | "SMALLSERIAL" | "SERIAL2" | "SERIAL" | "SERIAL4" | "REAL" | "FLOAT" | "FLOAT4" | "FLOAT8") ? number : T extends ("BIGINT" | "INT8" | "BIGSERIAL" | "SERIAL8" | "NUMERIC" | "DECIMAL" | "DEC") ? string | number : string;
+/** Only consume modifiers/array dimensions immediately following the type. */
+type ArrayValue<Value, Rest extends string> = Rest extends `(${string})${infer Tail}` ? ArrayValue<Value, Trim<Tail>> : Rest extends `[${string}]${infer Tail}` ? ArrayValue<(Value | null)[], Trim<Tail>> : Rest extends "ARRAY" | `ARRAY ${string}` | `ARRAY[${string}` ? Rest extends `ARRAY${infer Tail}` ? Trim<Tail> extends `[${string}` ? ArrayValue<Value, Trim<Tail>> : (Value | null)[] : never : Value;
+type ReadType<T extends string, Name extends string = ""> = T extends `${" " | "(" | "["}${string}` ? [Name, T] : T extends `${infer Char}${infer Rest}` ? ReadType<Rest, `${Name}${Char}`> : [Name, ""];
+type Trim<T extends string> = T extends ` ${infer Rest}` ? Trim<Rest> : T extends `${infer Rest} ` ? Trim<Rest> : T;
+type NormalizeSQL<T extends string> = T extends `${infer Start}\n${infer End}` ? NormalizeSQL<`${Start} ${End}`> : T extends `${infer Start}\r${infer End}` ? NormalizeSQL<`${Start} ${End}`> : T extends `${infer Start}\t${infer End}` ? NormalizeSQL<`${Start} ${End}`> : T extends `${infer Start}  ${infer End}` ? NormalizeSQL<`${Start} ${End}`> : Trim<T>;
+/** Quoted values and identifiers do not declare defaults or constraints. */
+type Unquoted<T extends string> = T extends `${infer Start}'${string}'${infer End}` ? Unquoted<`${Start}${End}`> : T extends `${infer Start}"${string}"${infer End}` ? Unquoted<`${Start}${End}`> : T;
+export {};
+//# sourceMappingURL=tableRowFromColumnDefinitions.d.ts.map

package/dist/tableRowFromColumnDefinitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableRowFromColumnDefinitions.d.ts","sourceRoot":"","sources":["../lib/tableRowFromColumnDefinitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AAEjE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAC/D,MAAM,MAAM,gBAAgB,GAAG,MAAM,CACnC,MAAM,EACJ,eAAe,GACf;IAAE,IAAI,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpC;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,GACb,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACxB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IAAE,GAAG,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,4BAA4B,GACpC,MAAM,GACN;IAAE,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAC1D;IAAE,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;IACtD,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,mEAAmE;AACnE,MAAM,MAAM,6BAA6B,CACvC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,EACtD,MAAM,GAAG,WAAW,GAAG,UAAU,IAC/B,SAAS,CACX;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC3E,EACD,MAAM,CACP,CAAC;AAEF,0FAA0F;AAC1F,MAAM,MAAM,uBAAuB,CACjC,CAAC,SAAS,kBAAkB,EAC5B,UAAU,SAAS,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,EACpE,MAAM,GAAG,WAAW,GAAG,UAAU,IAC/B,UAAU,CACZ;KACG,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,GACnE,6BAA6B,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,SAAS,MAAM,GAAG,GACrE,CAAC,SAAS,MAAM,GAAG,GACjB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAChB,KAAK,GACP,KAAK;CACR,EACD,CAAC,SAAS,CACR;IAAE,KAAK,EAAE;QAAE,GAAG,EAAE,SAAS,CAAC,MAAM,MAAM,SAAS,gBAAgB,CAAC,EAAE,CAAA;KAAE,CAAA;CAAE,CACvE,GACC,MAAM,GACN,SAAS,CACZ,CAAC;AAEF,uFAAuF;AACvF,MAAM,MAAM,6BAA6B,CACvC,CAAC,SAAS,kBAAkB,EAC5B,UAAU,SAAS,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,EACpE,MAAM,GAAG,WAAW,GAAG,UAAU,IAC/B,gBAAgB,CAClB,uBAAuB,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,EAC9C,oBAAoB,CAAC;KAClB,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACvD,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CAClB,CAAC,CACH,CAAC;AAEF,KAAK,gBAAgB,CAAC,GAAG,EAAE,QAAQ,IACjC,GAAG,SAAS,OAAO,GACjB,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAC1C,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GACvD,KAAK,CAAC;AAEV,KAAK,kBAAkB,CAAC,GAAG,EAAE,QAAQ,IAAI;KACtC,CAAC,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,QAAQ,GAAG,CAAC,GACtC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GACvB,KAAK;CACR,CAAC,MAAM,GAAG,CAAC,CAAC;AAEb,KAAK,UAAU,CAAC,GAAG,EAAE,MAAM,IACzB,MAAM,SAAS,gBAAgB,GAC7B;KACG,CAAC,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,MAAM,MAAM,GACtC,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,GAAG,EAAE,IAAI,CAAA;KAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACnD,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;KAAE,GAAG,CAAC,GACpD,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAChD,MAAM,CAAC,CAAC,CAAC,GACX,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,GAC1B,GAAG,CAAC,CAAC,CAAC;CACT,GACD,GAAG,CAAC;AAER,KAAK,SAAS,CACZ,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,EACtD,MAAM,IACJ,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GACpD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9D,KAAK,QAAQ,CACX,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,EACtD,MAAM,IACJ;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAC3B;QACE,WAAW,EAAE,MAAM,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC;KAChD,CACF,GACC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,GAAG,KAAK,CAAC,GACnE,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;KAAE,GAC3C,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,GAAG,KAAK,CAAC,GAClD,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GACzB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAClB,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACjC,KAAK,GACL,IAAI,GACN,KAAK,CAAC;CACb,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,IACpC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAAG,IAAI,GACtC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAEvB,GAAG,MAAM,aAAa,MAAM,EAAE,GAC9B,GAAG,MAAM,gBAAgB,MAAM,EAAE,GACjC,GAAG,MAAM,cAAc,MAAM,gBAAgB,MAAM,EAAE,CAC1D,GACC,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,oBAAoB,CACvB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,IACpD;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACjC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAAG,CAAC,GACtC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAC9B,GAAG,MAAM,YAAY,MAAM,EAAE,GAAG,GAAG,MAAM,cAAc,MAAM,EAAE,CAChE,GACC,CAAC,GACD,KAAK,GACP,KAAK;CACR,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,UAAU,GACb,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;AAE7E,KAAK,WAAW,CAAC,CAAC,EAAE,MAAM,IACxB,CAAC,SAAS,MAAM,GACd,CAAC,SAAS,mBAAmB,MAAM,IAAI,EAAE,GACvC,WAAW,CAAC,SAAS,IAAI,EAAE,EAAE,MAAM,CAAC,GACpC,QAAQ,CAAC,CAAC,CAAC,SAAS,CACpB;IAAC,MAAM,IAAI,SAAS,MAAM;IAAE,MAAM,IAAI,SAAS,MAAM;CAAC,CACvD,GACC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GACjD,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,WAAW,CAAC,CAAC,EAAE,MAAM,IACxB,CAAC,SAAS,OAAO,GAAG,MAAM,GACxB,CAAC,SAAS,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpD,CAAC,SAAS,MAAM,GAAG,SAAS,GAAG,OAAO,GACtC,CAAC,SAAS,CAEN,UAAU,GACV,MAAM,GACN,KAAK,GACL,SAAS,GACT,MAAM,GACN,aAAa,GACb,SAAS,GACT,QAAQ,GACR,SAAS,GACT,MAAM,GACN,OAAO,GACP,QAAQ,GACR,QAAQ,CACb,GACC,MAAM,GACN,CAAC,SAAS,CACV,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,KAAK,CAC5E,GACC,MAAM,GAAG,MAAM,GACf,MAAM,CAAC;AAEX,8EAA8E;AAC9E,KAAK,UAAU,CAAC,KAAK,EAAE,IAAI,SAAS,MAAM,IACxC,IAAI,SAAS,IAAI,MAAM,IAAI,MAAM,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GACrE,IAAI,SAAS,IAAI,MAAM,IAAI,MAAM,IAAI,EAAE,GACvC,UAAU,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GACxC,IAAI,SAAS,OAAO,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,GAC5D,IAAI,SAAS,QAAQ,MAAM,IAAI,EAAE,GAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,MAAM,EAAE,GAC7B,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAC7B,CAAC,KAAK,GAAG,IAAI,CAAC,EAAE,GAClB,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,GAAG,EAAE,IACtD,CAAC,SAAS,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GACjD,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC,GACzE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAEf,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,IACxB,CAAC,SAAS,IAAI,MAAM,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GACrC,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GACvC,CAAC,CAAC;AAEN,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,IAChC,CAAC,SAAS,GAAG,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,GAAG,YAAY,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,GACxE,CAAC,SAAS,GAAG,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,GAAG,YAAY,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,GAC1E,CAAC,SAAS,GAAG,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,GAAG,YAAY,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,GAC1E,CAAC,SAAS,GAAG,MAAM,KAAK,KAAK,MAAM,GAAG,EAAE,GAAG,YAAY,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,GAC1E,IAAI,CAAC,CAAC,CAAC,CAAC;AAEZ,4EAA4E;AAC5E,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAC5B,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,MAAM,GAAG,EAAE,GAAG,QAAQ,CAAC,GAAG,KAAK,GAAG,GAAG,EAAE,CAAC,GAC5E,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,MAAM,GAAG,EAAE,GACjD,QAAQ,CAAC,GAAG,KAAK,GAAG,GAAG,EAAE,CAAC,GAC1B,CAAC,CAAC"}

package/dist/tableRowFromColumnDefinitions.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=tableRowFromColumnDefinitions.js.map

package/dist/tableRowFromColumnDefinitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableRowFromColumnDefinitions.js","sourceRoot":"","sources":["../lib/tableRowFromColumnDefinitions.ts"],"names":[],"mappings":""}

package/lib/JSONBSchemaValidation/getJSONBSchemaTSTypes.ts

@@ -44,9 +44,10 @@ const getLookupTSType = (tables: TableSchema[], fieldType: JSONB.Lookup): string
     return `${nullType}${postgresToTsType(udtName ?? "text")}${arrayType}`;
   }
 
+  /* Row lookups filter by supplied columns; a primary key alone is sufficient. */
   const rowType =
     !cols ? "any" : (
-      `{ ${cols.map((column) => `${JSON.stringify(column.name)}: ${column.is_nullable ? "null | " : ""} ${postgresToTsType(column.udt_name)}; `).join(" ")} }`
+      `{ ${cols.map((column) => `${JSON.stringify(column.name)}?: ${column.is_nullable ? "null | " : ""} ${postgresToTsType(column.udt_name)}; `).join(" ")} }`
     );
   return `${nullType}${rowType}${arrayType}`;
 };

package/lib/auditTable.ts

@@ -0,0 +1,38 @@
+import type { TableRowFromColumnDefinitions } from "./tableRowFromColumnDefinitions";
+
+export const AUDIT_TABLE_COLUMN_DEFINITIONS = {
+  id: "BIGSERIAL PRIMARY KEY",
+  created_at: "TIMESTAMPTZ NOT NULL DEFAULT clock_timestamp()",
+  schema_name: "TEXT NOT NULL",
+  table_name: "TEXT NOT NULL",
+  operation: { enum: ["INSERT", "UPDATE", "DELETE"] },
+  old_id: "JSONB",
+  new_id: "JSONB",
+  old_row: "JSONB",
+  new_row: "JSONB",
+  actor: "JSONB",
+  db_context: {
+    jsonbSchema: {
+      type: {
+        transaction_id: "string",
+        transaction_started_at: "string",
+        statement_started_at: "string",
+        current_role: "string",
+        session_user: "string",
+        application_name: "string",
+      },
+    },
+  },
+} as const;
+
+export type AuditTableInsertRow = TableRowFromColumnDefinitions<
+  typeof AUDIT_TABLE_COLUMN_DEFINITIONS
+>;
+export type AuditTableRow = Required<AuditTableInsertRow>;
+export const AUDIT_TABLE_COLUMN_NAMES = Object.fromEntries(
+  Object.keys(AUDIT_TABLE_COLUMN_DEFINITIONS).map((columnName) => [
+    columnName,
+    columnName,
+  ]),
+) as { [K in keyof AuditTableRow]: K };
+export const AUDIT_TABLE_COLUMNS = Object.values(AUDIT_TABLE_COLUMN_NAMES);

package/lib/fileTable.ts

@@ -0,0 +1,62 @@
+import type { TableRowFromColumnDefinitions } from "./tableRowFromColumnDefinitions";
+import { omitKeys } from "./util";
+
+export const FILE_TABLE_COLUMN_DEFINITIONS = {
+  id: `UUID PRIMARY KEY DEFAULT gen_random_uuid()`,
+  /* NULL for legacy objects stored under their file ID. */
+  storage_key: `UUID UNIQUE`,
+  extension: `TEXT NOT NULL DEFAULT ''`,
+  content_type: `TEXT NOT NULL DEFAULT ''`,
+  content_length: `BIGINT NOT NULL DEFAULT 0`,
+  etag: `TEXT NOT NULL DEFAULT ''`,
+  original_name: `TEXT NOT NULL`,
+  original_last_modified: `TIMESTAMPTZ`,
+  description: `TEXT`,
+  url: `TEXT NOT NULL DEFAULT ''`,
+  cloud_url: `TEXT`,
+  local_file_path: `TEXT`,
+  signed_url: `TEXT`,
+  signed_url_expires: `BIGINT`,
+  added: `TIMESTAMP NOT NULL DEFAULT NOW()`,
+  updated: `TIMESTAMP NOT NULL DEFAULT NOW()`,
+  deleted: `TIMESTAMPTZ`,
+  deleted_from_storage: `TIMESTAMPTZ`,
+  /* Actual bytes live in storage; this column only holds a placeholder. */
+  data: `BYTEA NOT NULL CHECK (data = decode('01', 'hex'))`,
+} as const;
+
+export const FILE_TABLE_VERSION_COLUMN_DEFINITIONS = {
+  version: `INTEGER NOT NULL DEFAULT 1`,
+} as const;
+
+export const FILE_VERSION_TABLE_COLUMN_DEFINITIONS = {
+  ...omitKeys(FILE_TABLE_COLUMN_DEFINITIONS, ["data"]),
+  storage_key: `UUID NOT NULL`,
+  /* The server adds the foreign key constraint. */
+  file_id: `UUID NOT NULL`,
+  version: `INTEGER NOT NULL`,
+  created: `TIMESTAMP NOT NULL DEFAULT NOW()`,
+} as const;
+
+export type FileTableInsertRow<Binary = ArrayBuffer | Uint8Array> =
+  TableRowFromColumnDefinitions<typeof FILE_TABLE_COLUMN_DEFINITIONS, Binary> &
+    Partial<
+      TableRowFromColumnDefinitions<
+        typeof FILE_TABLE_VERSION_COLUMN_DEFINITIONS
+      >
+    >;
+export type FileTableRow<Binary = ArrayBuffer | Uint8Array> = Required<
+  TableRowFromColumnDefinitions<typeof FILE_TABLE_COLUMN_DEFINITIONS, Binary>
+> &
+  Partial<
+    Required<
+      TableRowFromColumnDefinitions<
+        typeof FILE_TABLE_VERSION_COLUMN_DEFINITIONS
+      >
+    >
+  >;
+
+export type FileVersionTableInsertRow = TableRowFromColumnDefinitions<
+  typeof FILE_VERSION_TABLE_COLUMN_DEFINITIONS
+>;
+export type FileVersionTableRow = Required<FileVersionTableInsertRow>;

package/lib/index.ts

@@ -1731,7 +1731,11 @@ export const getPossibleNestedInsert = (
 export * from "./auth";
 export * from "./authContract";
 export * from "./requestResponse";
+export * from "./auditTable";
+export * from "./jobTable";
+export * from "./tableRowFromColumnDefinitions";
 export { CONTENT_TYPE_TO_EXT } from "./files";
+export * from "./fileTable";
 export type {
   ALLOWED_CONTENT_TYPE,
   ALLOWED_EXTENSION,

package/lib/jobControl.ts

@@ -1,5 +1,6 @@
-export type JobStatus =
-  "pending" | "running" | "succeeded" | "failed" | "cancelled";
+import type { JobRecord } from "./jobTable";
+
+export type JobStatus = JobRecord["status"];
 
 /** Start new work or retry failed/cancelled work; rerun succeeded work; cancel pending/running work. */
 export type JobControlOperation = "startOrRetry" | "rerun" | "cancel";

package/lib/jobTable.ts

@@ -0,0 +1,95 @@
+import type {
+  ManagedTableSchema,
+  TableInsertRowFromTableConfig,
+  TableRowFromTableConfig,
+} from "./tableRowFromColumnDefinitions";
+
+const shared = {
+  target_table: {},
+  user_id: {},
+  occurrence: {},
+  checkpoint: {},
+  progress_message: {},
+  progress_numeric: {},
+  backoff: { enum: ["fixed", "exponential"] },
+  reason: { enum: ["trigger", "rerun"] },
+} as const;
+
+export const jobTableSchema = {
+  columns: {
+    id: "UUID PRIMARY KEY",
+    job_name: "TEXT NOT NULL",
+    target_table: "TEXT",
+    target_row_pkey: "JSONB NOT NULL",
+    params: "JSONB NOT NULL",
+    user_id: "TEXT",
+    /**
+     * Scheduled cron time, rounded to a minute (five fields) or second (six fields).
+     * Together with job_name, prevents duplicate scheduling across workers and restarts.
+     * Null for row-triggered jobs and manual reruns.
+     */
+    occurrence: "TIMESTAMPTZ",
+    reason: "TEXT NOT NULL DEFAULT 'trigger'",
+    status: "TEXT NOT NULL DEFAULT 'pending'",
+    attempts: "INTEGER NOT NULL DEFAULT 0",
+    max_attempts: "INTEGER NOT NULL",
+    delay_ms: "DOUBLE PRECISION NOT NULL",
+    backoff: "TEXT NOT NULL",
+    cancel_requested: "BOOLEAN NOT NULL DEFAULT FALSE",
+    checkpoint: "JSONB",
+    has_checkpoint: "BOOLEAN NOT NULL DEFAULT FALSE",
+    progress_message: "TEXT",
+    progress_numeric: {
+      nullable: true,
+      jsonbSchema: { type: { done: "number", total: "number" } },
+    },
+    error: "JSONB",
+    run_at: "TIMESTAMPTZ NOT NULL DEFAULT clock_timestamp()",
+    lease_token: "UUID",
+    locked_until: "TIMESTAMPTZ",
+    created_at: "TIMESTAMPTZ NOT NULL DEFAULT clock_timestamp()",
+    finished_at: "TIMESTAMPTZ",
+  },
+  check: {
+    $or: [
+      { ...shared, status: "pending", error: {} },
+      {
+        ...shared,
+        status: "running",
+        error: {},
+        lease_token: { $ne: null },
+        locked_until: { $ne: null },
+      },
+      { ...shared, status: "succeeded", finished_at: { $ne: null } },
+      {
+        ...shared,
+        status: "failed",
+        error: { $ne: null },
+        finished_at: { $ne: null },
+      },
+      { ...shared, status: "cancelled", error: {}, finished_at: { $ne: null } },
+    ],
+  },
+} as const satisfies ManagedTableSchema;
+
+export type JobValue =
+  | null
+  | string
+  | number
+  | boolean
+  | readonly JobValue[]
+  | { readonly [key: string]: JobValue };
+type JobValues = {
+  target_row_pkey: Record<string, JobValue>;
+  params: Record<string, JobValue>;
+  checkpoint: JobValue | null;
+  error: JobValue;
+};
+export type JobRecord = TableRowFromTableConfig<
+  typeof jobTableSchema,
+  JobValues
+>;
+export type JobInsertRecord = TableInsertRowFromTableConfig<
+  typeof jobTableSchema,
+  JobValues
+>;

package/lib/selectFunctions.ts

@@ -102,6 +102,7 @@ export type FunctionName =
   | "$jsonb_strip_nulls"
   | "$array_element"
   | "$array_search"
+  | "$jsonb_diff_text"
   | "$array_agg"
   | "$json_agg"
   | "$jsonb_agg";
@@ -119,6 +120,7 @@ export type FunctionReturnTypes<ColumnType = any> = {
     ColumnType extends readonly (infer ElementType)[] ? ElementType | null
     : null
   : Name extends "$array_search" ? { index: number; offset: number; match: string; snippet: string }[]
+  : Name extends "$jsonb_diff_text" ? string
   : Name extends "$column" | "$max" | "$min" | "$jsonb_set" | "$jsonb_strip_nulls" ? ColumnType
   : Name extends "$array_agg" | "$json_agg" | "$jsonb_agg" ? ColumnType[]
   : any;

package/lib/tableRowFromColumnDefinitions.ts

@@ -0,0 +1,220 @@
+import type { JSONB } from "./JSONBSchemaValidation/JSONBSchema";
+
+export type TableCheckValue = string | number | boolean | null;
+export type TableCheckBranch = Record<
+  string,
+  | TableCheckValue
+  | { enum: readonly TableCheckValue[] }
+  | { $ne: null }
+  | Record<string, never>
+>;
+export type TableCheck = { $or: readonly TableCheckBranch[] };
+
+export type ManagedTableColumnDefinition =
+  | string
+  | { enum: readonly (string | number)[]; nullable?: boolean }
+  | { jsonbSchema: JSONB.JSONBSchema; nullable?: boolean };
+
+export type ManagedTableSchema = {
+  columns: Record<string, ManagedTableColumnDefinition>;
+  check?: TableCheck;
+};
+
+/** Row types for the column definitions used by managed tables. */
+export type TableRowFromColumnDefinitions<
+  T extends Record<string, ManagedTableColumnDefinition>,
+  Binary = ArrayBuffer | Uint8Array,
+> = InsertRow<
+  {
+    [K in keyof T]: T[K] extends string ? NormalizeSQL<Uppercase<T[K]>> : T[K];
+  },
+  Binary
+>;
+
+/** Selected managed rows, narrowed by the same CHECK branches as the generated schema. */
+export type TableRowFromTableConfig<
+  T extends ManagedTableSchema,
+  ValueTypes extends Partial<Record<keyof T["columns"], unknown>> = {},
+  Binary = ArrayBuffer | Uint8Array,
+> = CheckedRow<
+  {
+    [K in keyof T["columns"]]: K extends keyof ValueTypes ? ValueTypes[K]
+    : TableRowFromColumnDefinitions<T["columns"], Binary> extends infer Row ?
+      K extends keyof Row ?
+        Required<Row>[K]
+      : never
+    : never;
+  },
+  T extends (
+    { check: { $or: readonly (infer Branch extends TableCheckBranch)[] } }
+  ) ?
+    Branch
+  : undefined
+>;
+
+/** Insert rows may omit nullable columns and columns supplied by database defaults. */
+export type TableInsertRowFromTableConfig<
+  T extends ManagedTableSchema,
+  ValueTypes extends Partial<Record<keyof T["columns"], unknown>> = {},
+  Binary = ArrayBuffer | Uint8Array,
+> = CheckedInsertRow<
+  TableRowFromTableConfig<T, ValueTypes, Binary>,
+  GeneratedColumnNames<{
+    [K in keyof T["columns"]]: T["columns"][K] extends string ?
+      NormalizeSQL<Uppercase<T["columns"][K]>>
+    : T["columns"][K];
+  }>
+>;
+
+type CheckedInsertRow<Row, Defaults> =
+  Row extends unknown ?
+    Omit<Row, OptionalInsertKeys<Row, Defaults>> &
+      Partial<Pick<Row, OptionalInsertKeys<Row, Defaults>>>
+  : never;
+
+type OptionalInsertKeys<Row, Defaults> = {
+  [K in keyof Row]: K extends Defaults ? K
+  : null extends Row[K] ? K
+  : never;
+}[keyof Row];
+
+type CheckedRow<Row, Branch> =
+  Branch extends TableCheckBranch ?
+    {
+      [K in keyof Row]: K extends keyof Branch ?
+        Branch[K] extends { $ne: null } ? NonNullable<Row[K]>
+        : Branch[K] extends { enum: readonly (infer V)[] } ? V
+        : Branch[K] extends Record<string, never> ? Row[K]
+        : Branch[K]
+      : null extends Row[K] ? null
+      : Row[K];
+    }
+  : Row;
+
+type InsertRow<
+  T extends Record<string, ManagedTableColumnDefinition>,
+  Binary,
+> = Omit<TableRow<T, Binary>, GeneratedColumnNames<T>> &
+  Partial<Pick<TableRow<T, Binary>, GeneratedColumnNames<T>>>;
+
+type TableRow<
+  T extends Record<string, ManagedTableColumnDefinition>,
+  Binary,
+> = {
+  [K in keyof T]: T[K] extends (
+    {
+      jsonbSchema: infer S extends JSONB.JSONBSchema;
+    }
+  ) ?
+    JSONB.GetType<S> | (T[K] extends { nullable: true } ? null : never)
+  : T[K] extends { enum: readonly (infer V)[] } ?
+    V | (T[K] extends { nullable: true } ? null : never)
+  : | ColumnValue<T[K], Binary>
+    | (T[K] extends string ?
+        ColumnIsRequired<T[K]> extends true ?
+          never
+        : null
+      : never);
+};
+
+type ColumnIsRequired<T extends string> =
+  ReadType<T>[0] extends SerialType ? true
+  : ` ${Unquoted<T>} ` extends (
+
+      | `${string} NOT NULL ${string}`
+      | `${string} PRIMARY KEY ${string}`
+      | `${string} GENERATED ${string} AS IDENTITY ${string}`
+  ) ?
+    true
+  : false;
+
+type GeneratedColumnNames<
+  T extends Record<string, ManagedTableColumnDefinition>,
+> = {
+  [K in keyof T]: T[K] extends string ?
+    ReadType<T[K]>[0] extends SerialType ? K
+    : ` ${Unquoted<T[K]>} ` extends (
+      `${string} DEFAULT ${string}` | `${string} GENERATED ${string}`
+    ) ?
+      K
+    : never
+  : never;
+}[keyof T];
+
+type SerialType =
+  "SMALLSERIAL" | "SERIAL2" | "SERIAL" | "SERIAL4" | "BIGSERIAL" | "SERIAL8";
+
+type ColumnValue<T, Binary> =
+  T extends string ?
+    T extends `DOUBLE PRECISION${infer Rest}` ?
+      ColumnValue<`FLOAT8${Rest}`, Binary>
+    : ReadType<T> extends (
+      [infer Name extends string, infer Rest extends string]
+    ) ?
+      ArrayValue<ScalarValue<Name, Binary>, Trim<Rest>>
+    : never
+  : never;
+
+type ScalarValue<T, Binary> =
+  T extends "BYTEA" ? Binary
+  : T extends "JSON" | "JSONB" ? Record<string, unknown>
+  : T extends "BOOL" | "BOOLEAN" ? boolean
+  : T extends (
+
+      | "SMALLINT"
+      | "INT2"
+      | "INT"
+      | "INTEGER"
+      | "INT4"
+      | "SMALLSERIAL"
+      | "SERIAL2"
+      | "SERIAL"
+      | "SERIAL4"
+      | "REAL"
+      | "FLOAT"
+      | "FLOAT4"
+      | "FLOAT8"
+  ) ?
+    number
+  : T extends (
+    "BIGINT" | "INT8" | "BIGSERIAL" | "SERIAL8" | "NUMERIC" | "DECIMAL" | "DEC"
+  ) ?
+    string | number
+  : string;
+
+/** Only consume modifiers/array dimensions immediately following the type. */
+type ArrayValue<Value, Rest extends string> =
+  Rest extends `(${string})${infer Tail}` ? ArrayValue<Value, Trim<Tail>>
+  : Rest extends `[${string}]${infer Tail}` ?
+    ArrayValue<(Value | null)[], Trim<Tail>>
+  : Rest extends "ARRAY" | `ARRAY ${string}` | `ARRAY[${string}` ?
+    Rest extends `ARRAY${infer Tail}` ?
+      Trim<Tail> extends `[${string}` ?
+        ArrayValue<Value, Trim<Tail>>
+      : (Value | null)[]
+    : never
+  : Value;
+
+type ReadType<T extends string, Name extends string = ""> =
+  T extends `${" " | "(" | "["}${string}` ? [Name, T]
+  : T extends `${infer Char}${infer Rest}` ? ReadType<Rest, `${Name}${Char}`>
+  : [Name, ""];
+
+type Trim<T extends string> =
+  T extends ` ${infer Rest}` ? Trim<Rest>
+  : T extends `${infer Rest} ` ? Trim<Rest>
+  : T;
+
+type NormalizeSQL<T extends string> =
+  T extends `${infer Start}\n${infer End}` ? NormalizeSQL<`${Start} ${End}`>
+  : T extends `${infer Start}\r${infer End}` ? NormalizeSQL<`${Start} ${End}`>
+  : T extends `${infer Start}\t${infer End}` ? NormalizeSQL<`${Start} ${End}`>
+  : T extends `${infer Start}  ${infer End}` ? NormalizeSQL<`${Start} ${End}`>
+  : Trim<T>;
+
+/** Quoted values and identifiers do not declare defaults or constraints. */
+type Unquoted<T extends string> =
+  T extends `${infer Start}'${string}'${infer End}` ? Unquoted<`${Start}${End}`>
+  : T extends `${infer Start}"${string}"${infer End}` ?
+    Unquoted<`${Start}${End}`>
+  : T;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "prostgles-types",
-  "version": "4.0.311",
+  "version": "4.0.313",
   "description": "",
   "main": "dist/index_umd.js",
   "types": "dist/index.d.ts",