orez-lite 0.12.21 → 0.13.0

package/README.md

@@ -9,7 +9,7 @@
   Zero schema, SQLite initializer, and HTTP policy callbacks.
 - `orez-lite/local` prepares SQLite and owns the local native process.
 - `orez-lite/vite` starts the local host only while Vite is serving.
-- `orez-lite/rollup` generates count and sum migrations and projects their
+- `orez-lite/aggregate` generates count and sum migrations and projects their
   optimistic client updates.
 - `orez-lite/cloudflare` provides the Cloudflare runtime and data-worker factory.
 - `orez-lite/cloudflare/build` provides Node-side worker build and deployment tools.

package/dist/aggregate.d.ts

@@ -0,0 +1,85 @@
+import type { Schema } from '@rocicorp/zero';
+export type AggregateMode = 'existing' | 'materialized';
+export type CountColumn = {
+    readonly kind: 'count';
+};
+export type SumColumn<SourceColumn extends string = string> = {
+    readonly kind: 'sum';
+    readonly source: SourceColumn;
+};
+type TableName<S extends Schema> = Extract<keyof S['tables'], string>;
+type ColumnName<S extends Schema, TTable extends TableName<S>> = Extract<keyof S['tables'][TTable]['columns'], string>;
+type NumericColumnName<S extends Schema, TTable extends TableName<S>> = Extract<{
+    [TColumn in ColumnName<S, TTable>]: S['tables'][TTable]['columns'][TColumn] extends {
+        readonly type: 'number';
+    } ? TColumn : never;
+}[ColumnName<S, TTable>], string>;
+export type AggregateDefinition<S extends Schema> = {
+    [TSource in TableName<S>]: {
+        [TTarget in TableName<S>]: {
+            readonly source: TSource;
+            readonly target: TTarget;
+            readonly mode: AggregateMode;
+            readonly groupBy: Readonly<Partial<Record<ColumnName<S, TSource>, ColumnName<S, TTarget>>>>;
+            readonly columns: Readonly<Partial<Record<NumericColumnName<S, TTarget>, CountColumn | SumColumn<NumericColumnName<S, TSource>>>>>;
+        };
+    }[TableName<S>];
+}[TableName<S>];
+type ColumnRef = {
+    readonly logical: string;
+    readonly physical: string;
+};
+type CompiledGroup = {
+    readonly source: ColumnRef;
+    readonly target: ColumnRef;
+};
+type CompiledColumn = {
+    readonly kind: 'count';
+    readonly target: ColumnRef;
+} | {
+    readonly kind: 'sum';
+    readonly source: ColumnRef;
+    readonly target: ColumnRef;
+};
+type CompiledAggregate = {
+    readonly name: string;
+    readonly source: {
+        readonly logical: string;
+        readonly physical: string;
+        readonly primaryKey: readonly string[];
+    };
+    readonly target: {
+        readonly logical: string;
+        readonly physical: string;
+        readonly primaryKey: readonly string[];
+    };
+    readonly mode: AggregateMode;
+    readonly groups: readonly CompiledGroup[];
+    readonly columns: readonly CompiledColumn[];
+};
+type AggregateRuntime<S extends Schema> = {
+    readonly schema: S;
+    readonly definitions: readonly CompiledAggregate[];
+    readonly queryBuilder: object;
+    readonly bySource: ReadonlyMap<string, readonly CompiledAggregate[]>;
+};
+declare const AGGREGATE_RUNTIME: unique symbol;
+export type AggregateSet<S extends Schema = Schema> = {
+    readonly [AGGREGATE_RUNTIME]: AggregateRuntime<S>;
+};
+export declare function count(): CountColumn;
+export declare function sum<const SourceColumn extends string>(source: SourceColumn): SumColumn<SourceColumn>;
+export type AggregateDefinitions<S extends Schema> = Readonly<Record<string, AggregateDefinition<S>>>;
+type UnionToIntersection<U> = (U extends unknown ? (arg: U) => void : never) extends (arg: infer I) => void ? I : never;
+export declare function mergeAggregateDefinitions<const Records extends ReadonlyArray<Readonly<Record<string, object>>>>(...records: Records): UnionToIntersection<Records[number]>;
+export declare function defineAggregates<S extends Schema, const Definitions extends Readonly<Record<string, AggregateDefinition<S>>>>(schema: S, definitions: Definitions): AggregateSet<S>;
+export declare function aggregateMigrationStatements(aggregates: AggregateSet): readonly string[];
+export declare function aggregateMigrationSQL(aggregates: AggregateSet): string;
+/**
+ * Wrap a Zero client transaction so source-table CRUD also projects its
+ * declared aggregates. Server transactions are returned unchanged because SQLite
+ * triggers own the authoritative write.
+ */
+export declare function withOptimisticAggregates<T extends object>(tx: T, aggregates: AggregateSet): T;
+export {};
+//# sourceMappingURL=aggregate.d.ts.map

package/dist/aggregate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate.d.ts","sourceRoot":"","sources":["../src/aggregate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAE5C,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,cAAc,CAAA;AAEvD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,SAAS,CAAC,YAAY,SAAS,MAAM,GAAG,MAAM,IAAI;IAC5D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC9B,CAAA;AAED,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAA;AACrE,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CACtE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EACpC,MAAM,CACP,CAAA;AACD,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CAC7E;KACG,OAAO,IAAI,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS;QAClF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KACxB,GACG,OAAO,GACP,KAAK;CACV,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACxB,MAAM,CACP,CAAA;AAED,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,IAAI;KACjD,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG;SACxB,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG;YACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;YACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;YACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;YAC5B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAChE,CAAA;YACD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,OAAO,CACL,MAAM,CACJ,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,EAC7B,WAAW,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACvD,CACF,CACF,CAAA;SACF;KACF,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CAChB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AAEf,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,KAAK,aAAa,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAA;AAED,KAAK,cAAc,GACf;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAA;AAEL,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;KACvC,CAAA;IACD,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;KACvC,CAAA;IACD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAA;CAC5C,CAAA;AAED,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAAI;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC,CAAA;CACrE,CAAA;AAED,QAAA,MAAM,iBAAiB,EAAE,OAAO,MAAkD,CAAA;AAElF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IACpD,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAA;CAClD,CAAA;AAED,wBAAgB,KAAK,IAAI,WAAW,CAEnC;AAED,wBAAgB,GAAG,CAAC,KAAK,CAAC,YAAY,SAAS,MAAM,EACnD,MAAM,EAAE,YAAY,GACnB,SAAS,CAAC,YAAY,CAAC,CAEzB;AA0CD,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,IAAI,QAAQ,CAC3D,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CACvC,CAAA;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACnF,GAAG,EAAE,MAAM,CAAC,KACT,IAAI,GACL,CAAC,GACD,KAAK,CAAA;AAWT,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACrE,GAAG,OAAO,EAAE,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAW3D;AAED,wBAAgB,gBAAgB,CAC9B,CAAC,SAAS,MAAM,EAChB,KAAK,CAAC,WAAW,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1E,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CA8OtD;AA4MD,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,YAAY,GACvB,SAAS,MAAM,EAAE,CAWnB;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,YAAY,GAAG,MAAM,CAEtE;AAiPD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,CAAC,EACL,UAAU,EAAE,YAAY,GACvB,CAAC,CAkFH"}