@gaganref/confect-server 0.0.0-stage → 10.3.1-fork.10

package/dist/CronJobs.js

@@ -0,0 +1,83 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { cronJobs } from "convex/server";
+import { pipe } from "effect/Function";
+import * as Match from "effect/Match";
+import * as Option from "effect/Option";
+import * as Array from "effect/Array";
+import * as Order from "effect/Order";
+import * as Predicate from "effect/Predicate";
+import * as Record from "effect/Record";
+import * as Duration from "effect/Duration";
+import { Ref } from "@confect/core";
+import * as DateTime from "effect/DateTime";
+import * as Cron from "effect/Cron";
+//#region src/CronJobs.ts
+var CronJobs_exports = /* @__PURE__ */ __exportAll({
+	TypeId: () => TypeId,
+	cronToConvexCronString: () => cronToConvexCronString,
+	durationToConvexIntervalSchedule: () => durationToConvexIntervalSchedule,
+	isCronJobs: () => isCronJobs,
+	make: () => make
+});
+const TypeId = "~@confect/server/CronJobs";
+const isCronJobs = (u) => Predicate.hasProperty(u, TypeId);
+const Proto = {
+	[TypeId]: TypeId,
+	add(cronJob) {
+		const newConvexCrons = Object.assign(cronJobs(), { crons: { ...this.convexCronJobs.crons } });
+		const functionReference = Ref.getFunctionReference(cronJob.ref);
+		const encodedArgs = Ref.encodeArgsSync(cronJob.ref, cronJob.args);
+		Match.value(cronJob.schedule).pipe(Match.when(Cron.isCron, (cron) => {
+			newConvexCrons.cron(cronJob.identifier, cronToConvexCronString(cron), functionReference, encodedArgs);
+		}), Match.when(Duration.isDuration, (duration) => {
+			newConvexCrons.interval(cronJob.identifier, durationToConvexIntervalSchedule(duration), functionReference, encodedArgs);
+		}), Match.exhaustive);
+		return makeProto(Record.set(this.cronJobs, cronJob.identifier, cronJob), newConvexCrons);
+	}
+};
+const makeProto = (cronJobs, convexCronJobs) => Object.assign(Object.create(Proto), {
+	cronJobs,
+	convexCronJobs
+});
+const make = () => makeProto({}, cronJobs());
+const cronToConvexCronString = (cron) => {
+	pipe(cron.tz, Option.filter((tz) => pipe(tz, Match.value, Match.tag("Offset", ({ offset }) => offset !== 0), Match.tag("Named", ({ id }) => id !== "UTC" && id !== "Etc/UTC"), Match.exhaustive)), Option.map((tz) => {
+		throw new Error(`Convex cron expressions are always evaluated in UTC, but this cron specifies the time zone "${DateTime.zoneToString(tz)}". Either omit the timezone or specify UTC.`);
+	}));
+	if (cron.seconds.size !== 1 || !cron.seconds.has(0)) throw new Error("Convex cron expressions do not support a seconds field. The seconds field must be the default {0}. Sub-minute scheduling is supported only by interval schedules defined using a Duration.");
+	return Array.join([
+		setToField(cron.minutes),
+		setToField(cron.hours),
+		setToField(cron.days),
+		setToField(cron.months),
+		setToField(cron.weekdays)
+	], " ");
+};
+const setToField = (set) => {
+	if (set.size === 0) return "*";
+	return pipe(set, Array.sort(Order.Number), Array.map((n) => n.toString()), Array.join(","));
+};
+const durationToConvexIntervalSchedule = (duration) => {
+	const millis = Duration.toMillis(duration);
+	if (millis <= 0) throw new Error("Interval must be a positive duration.");
+	const hours = millis / Duration.hours(1).pipe(Duration.toMillis);
+	if (Number.isInteger(hours)) return {
+		type: "interval",
+		hours
+	};
+	const minutes = millis / Duration.minutes(1).pipe(Duration.toMillis);
+	if (Number.isInteger(minutes)) return {
+		type: "interval",
+		minutes
+	};
+	const seconds = millis / Duration.seconds(1).pipe(Duration.toMillis);
+	if (Number.isInteger(seconds)) return {
+		type: "interval",
+		seconds
+	};
+	throw new Error("Interval must be a whole number of seconds, minutes, or hours.");
+};
+//#endregion
+export { CronJobs_exports, TypeId, cronToConvexCronString, durationToConvexIntervalSchedule, isCronJobs, make };
+
+//# sourceMappingURL=CronJobs.js.map

package/dist/CronJobs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CronJobs.js","names":["makeConvexCrons"],"sources":["../src/CronJobs.ts"],"sourcesContent":["import { Ref } from \"@confect/core\";\nimport type { CronJob as ConvexCronJob } from \"convex/server\";\nimport { cronJobs as makeConvexCrons, type Crons } from \"convex/server\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Cron from \"effect/Cron\";\nimport * as DateTime from \"effect/DateTime\";\nimport * as Duration from \"effect/Duration\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Order from \"effect/Order\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport type * as CronJob from \"./CronJob.js\";\n\nexport const TypeId = \"~@confect/server/CronJobs\";\nexport type TypeId = typeof TypeId;\n\nexport interface CronJobs {\n  readonly [TypeId]: TypeId;\n  readonly cronJobs: Record<string, CronJob.CronJob>;\n  readonly convexCronJobs: Crons;\n\n  add(cron: CronJob.CronJob): CronJobs;\n}\n\nexport const isCronJobs = (u: unknown): u is CronJobs =>\n  Predicate.hasProperty(u, TypeId);\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  add(this: CronJobs, cronJob: CronJob.CronJob) {\n    const newConvexCrons = Object.assign(makeConvexCrons(), {\n      crons: { ...this.convexCronJobs.crons },\n    });\n\n    const functionReference = Ref.getFunctionReference(cronJob.ref);\n    const encodedArgs = Ref.encodeArgsSync(cronJob.ref, cronJob.args);\n\n    Match.value(cronJob.schedule).pipe(\n      Match.when(Cron.isCron, (cron) => {\n        newConvexCrons.cron(\n          cronJob.identifier,\n          cronToConvexCronString(cron),\n          functionReference,\n          encodedArgs,\n        );\n      }),\n      Match.when(Duration.isDuration, (duration) => {\n        newConvexCrons.interval(\n          cronJob.identifier,\n          durationToConvexIntervalSchedule(duration),\n          functionReference,\n          encodedArgs,\n        );\n      }),\n      Match.exhaustive,\n    );\n\n    return makeProto(\n      Record.set(this.cronJobs, cronJob.identifier, cronJob),\n      newConvexCrons,\n    );\n  },\n};\n\nconst makeProto = (\n  cronJobs: Record<string, CronJob.CronJob>,\n  convexCronJobs: Crons,\n): CronJobs =>\n  Object.assign(Object.create(Proto), {\n    cronJobs,\n    convexCronJobs,\n  });\n\nexport const make = (): CronJobs => makeProto({}, makeConvexCrons());\n\nexport const cronToConvexCronString = (cron: Cron.Cron): string => {\n  pipe(\n    cron.tz,\n    Option.filter((tz) =>\n      pipe(\n        tz,\n        Match.value,\n        Match.tag(\"Offset\", ({ offset }) => offset !== 0),\n        Match.tag(\"Named\", ({ id }) => id !== \"UTC\" && id !== \"Etc/UTC\"),\n        Match.exhaustive,\n      ),\n    ),\n    Option.map((tz) => {\n      throw new Error(\n        `Convex cron expressions are always evaluated in UTC, but this cron ` +\n          `specifies the time zone \"${DateTime.zoneToString(tz)}\". ` +\n          `Either omit the timezone or specify UTC.`,\n      );\n    }),\n  );\n\n  const hasNonDefaultSeconds = cron.seconds.size !== 1 || !cron.seconds.has(0);\n  if (hasNonDefaultSeconds) {\n    throw new Error(\n      \"Convex cron expressions do not support a seconds field. \" +\n        \"The seconds field must be the default {0}. \" +\n        \"Sub-minute scheduling is supported only by interval schedules defined using a Duration.\",\n    );\n  }\n\n  return Array.join(\n    [\n      setToField(cron.minutes),\n      setToField(cron.hours),\n      setToField(cron.days),\n      setToField(cron.months),\n      setToField(cron.weekdays),\n    ],\n    \" \",\n  );\n};\n\nconst setToField = (set: ReadonlySet<number>): string => {\n  if (set.size === 0) return \"*\";\n  return pipe(\n    set,\n    Array.sort(Order.Number),\n    Array.map((n) => n.toString()),\n    Array.join(\",\"),\n  );\n};\n\nexport const durationToConvexIntervalSchedule = (\n  duration: Duration.Duration,\n): IntervalSchedule => {\n  const millis = Duration.toMillis(duration);\n  if (millis <= 0) {\n    throw new Error(\"Interval must be a positive duration.\");\n  }\n\n  const oneHourInMillis = Duration.hours(1).pipe(Duration.toMillis);\n  const hours = millis / oneHourInMillis;\n  if (Number.isInteger(hours)) {\n    return { type: \"interval\", hours };\n  }\n\n  const oneMinuteInMillis = Duration.minutes(1).pipe(Duration.toMillis);\n  const minutes = millis / oneMinuteInMillis;\n  if (Number.isInteger(minutes)) {\n    return { type: \"interval\", minutes };\n  }\n\n  const oneSecondInMillis = Duration.seconds(1).pipe(Duration.toMillis);\n  const seconds = millis / oneSecondInMillis;\n  if (Number.isInteger(seconds)) {\n    return { type: \"interval\", seconds };\n  }\n\n  throw new Error(\n    \"Interval must be a whole number of seconds, minutes, or hours.\",\n  );\n};\n\ntype IntervalSchedule = Extract<\n  ConvexCronJob[\"schedule\"],\n  { type: \"interval\" }\n>;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAeA,MAAa,SAAS;AAWtB,MAAa,cAAc,MACzB,UAAU,YAAY,GAAG,MAAM;AAEjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAAoB,SAA0B;EAC5C,MAAM,iBAAiB,OAAO,OAAOA,SAAgB,GAAG,EACtD,OAAO,EAAE,GAAG,KAAK,eAAe,MAAM,EACxC,CAAC;EAED,MAAM,oBAAoB,IAAI,qBAAqB,QAAQ,GAAG;EAC9D,MAAM,cAAc,IAAI,eAAe,QAAQ,KAAK,QAAQ,IAAI;EAEhE,MAAM,MAAM,QAAQ,QAAQ,CAAC,CAAC,KAC5B,MAAM,KAAK,KAAK,SAAS,SAAS;GAChC,eAAe,KACb,QAAQ,YACR,uBAAuB,IAAI,GAC3B,mBACA,WACF;EACF,CAAC,GACD,MAAM,KAAK,SAAS,aAAa,aAAa;GAC5C,eAAe,SACb,QAAQ,YACR,iCAAiC,QAAQ,GACzC,mBACA,WACF;EACF,CAAC,GACD,MAAM,UACR;EAEA,OAAO,UACL,OAAO,IAAI,KAAK,UAAU,QAAQ,YAAY,OAAO,GACrD,cACF;CACF;AACF;AAEA,MAAM,aACJ,UACA,mBAEA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;CAClC;CACA;AACF,CAAC;AAEH,MAAa,aAAuB,UAAU,CAAC,GAAGA,SAAgB,CAAC;AAEnE,MAAa,0BAA0B,SAA4B;CACjE,KACE,KAAK,IACL,OAAO,QAAQ,OACb,KACE,IACA,MAAM,OACN,MAAM,IAAI,WAAW,EAAE,aAAa,WAAW,CAAC,GAChD,MAAM,IAAI,UAAU,EAAE,SAAS,OAAO,SAAS,OAAO,SAAS,GAC/D,MAAM,UACR,CACF,GACA,OAAO,KAAK,OAAO;EACjB,MAAM,IAAI,MACR,+FAC8B,SAAS,aAAa,EAAE,EAAE,4CAE1D;CACF,CAAC,CACH;CAGA,IAD6B,KAAK,QAAQ,SAAS,KAAK,CAAC,KAAK,QAAQ,IAAI,CAAC,GAEzE,MAAM,IAAI,MACR,4LAGF;CAGF,OAAO,MAAM,KACX;EACE,WAAW,KAAK,OAAO;EACvB,WAAW,KAAK,KAAK;EACrB,WAAW,KAAK,IAAI;EACpB,WAAW,KAAK,MAAM;EACtB,WAAW,KAAK,QAAQ;CAC1B,GACA,GACF;AACF;AAEA,MAAM,cAAc,QAAqC;CACvD,IAAI,IAAI,SAAS,GAAG,OAAO;CAC3B,OAAO,KACL,KACA,MAAM,KAAK,MAAM,MAAM,GACvB,MAAM,KAAK,MAAM,EAAE,SAAS,CAAC,GAC7B,MAAM,KAAK,GAAG,CAChB;AACF;AAEA,MAAa,oCACX,aACqB;CACrB,MAAM,SAAS,SAAS,SAAS,QAAQ;CACzC,IAAI,UAAU,GACZ,MAAM,IAAI,MAAM,uCAAuC;CAIzD,MAAM,QAAQ,SADU,SAAS,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,QACnB;CACrC,IAAI,OAAO,UAAU,KAAK,GACxB,OAAO;EAAE,MAAM;EAAY;CAAM;CAInC,MAAM,UAAU,SADU,SAAS,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,QACnB;CACzC,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO;EAAE,MAAM;EAAY;CAAQ;CAIrC,MAAM,UAAU,SADU,SAAS,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,QACnB;CACzC,IAAI,OAAO,UAAU,OAAO,GAC1B,OAAO;EAAE,MAAM;EAAY;CAAQ;CAGrC,MAAM,IAAI,MACR,gEACF;AACF"}

package/dist/DataModel.d.ts

@@ -0,0 +1,28 @@
+import type * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as Table from "./Table.js";
+import type * as TableInfo from "./TableInfo.js";
+import type * as GenericId from "@confect/core/GenericId";
+export declare const TypeId: "~@confect/server/DataModel";
+export type TypeId = typeof TypeId;
+export interface DataModel<Tables_ extends Readonly<Record<string, Table.AnyWithProps>>> {
+    readonly [TypeId]: Readonly<Tables_>;
+}
+export interface Any {
+    readonly [TypeId]: unknown;
+}
+export interface AnyWithProps extends DataModel<Readonly<Record<string, Table.AnyWithProps>>> {
+}
+export type FromSchema<Schema extends DatabaseSchema.AnyWithProps> = DataModel<Schema[DatabaseSchema.TypeId]>;
+export type FromTables<Tables_ extends Table.AnyWithProps> = DataModel<Table.TablesRecord<Tables_>>;
+export type ToConvex<DataModel_ extends AnyWithProps> = {
+    [TableName_ in TableNames<DataModel_>]: TableInfoWithName<DataModel_, TableName_>;
+};
+export type Tables<DataModel_ extends AnyWithProps> = DataModel_[TypeId][keyof DataModel_[TypeId]];
+export type TableNames<DataModel_ extends AnyWithProps> = Table.Name<Tables<DataModel_>> & string;
+export type TableWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = Table.WithName<Tables<DataModel_>, TableName>;
+export type TableInfoWithName_<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>;
+export type TableInfoWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = TableInfo.ConvexTableInfo<TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>>;
+export type DocumentWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = TableInfo.Document<TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>>;
+export type DocumentByName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = DocumentWithName<DataModel_, TableName>;
+export type Id<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = GenericId.GenericId<TableName, Table.Scope<TableWithName<DataModel_, TableName>>>;
+//# sourceMappingURL=DataModel.d.ts.map

package/dist/DataModel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DataModel.d.ts","sourceRoot":"","sources":["../src/DataModel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,MAAM,EAAE,4BAA4B,CAAC;AAC1D,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAE5D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS,CAC7C,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAC7C;CAAG;AAEJ,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,cAAc,CAAC,YAAY,IAAI,SAAS,CAC5E,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,KAAK,CAAC,YAAY,IAAI,SAAS,CACpE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAC5B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,UAAU,SAAS,YAAY,IAAI;KACrD,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,iBAAiB,CACvD,UAAU,EACV,UAAU,CACX;CACF,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,UAAU,SAAS,YAAY,IAChD,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AAE/C,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,YAAY,IAAI,KAAK,CAAC,IAAI,CAClE,MAAM,CAAC,UAAU,CAAC,CACnB,GACC,MAAM,CAAC;AAET,MAAM,MAAM,aAAa,CACvB,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;AAElD,MAAM,MAAM,kBAAkB,CAC5B,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,MAAM,iBAAiB,CAC3B,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,SAAS,CAAC,eAAe,CAC3B,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CACnE,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAC1B,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,SAAS,CAAC,QAAQ,CACpB,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CACnE,CAAC;AAEF,MAAM,MAAM,cAAc,CACxB,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAE5C,MAAM,MAAM,EAAE,CACZ,UAAU,SAAS,YAAY,EAC/B,SAAS,SAAS,UAAU,CAAC,UAAU,CAAC,IACtC,SAAS,CAAC,SAAS,CACrB,SAAS,EACT,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAClD,CAAC"}

package/dist/DataModel.js

@@ -0,0 +1,7 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+//#region src/DataModel.ts
+var DataModel_exports = /* @__PURE__ */ __exportAll({});
+//#endregion
+export { DataModel_exports };
+
+//# sourceMappingURL=DataModel.js.map

package/dist/DataModel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DataModel.js","names":[],"sources":["../src/DataModel.ts"],"sourcesContent":["import type * as DatabaseSchema from \"./DatabaseSchema.js\";\nimport type * as Table from \"./Table.js\";\nimport type * as TableInfo from \"./TableInfo.js\";\nimport type * as GenericId from \"@confect/core/GenericId\";\n\nexport declare const TypeId: \"~@confect/server/DataModel\";\nexport type TypeId = typeof TypeId;\n\nexport interface DataModel<\n  Tables_ extends Readonly<Record<string, Table.AnyWithProps>>,\n> {\n  readonly [TypeId]: Readonly<Tables_>;\n}\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport interface AnyWithProps extends DataModel<\n  Readonly<Record<string, Table.AnyWithProps>>\n> {}\n\nexport type FromSchema<Schema extends DatabaseSchema.AnyWithProps> = DataModel<\n  Schema[DatabaseSchema.TypeId]\n>;\n\nexport type FromTables<Tables_ extends Table.AnyWithProps> = DataModel<\n  Table.TablesRecord<Tables_>\n>;\n\nexport type ToConvex<DataModel_ extends AnyWithProps> = {\n  [TableName_ in TableNames<DataModel_>]: TableInfoWithName<\n    DataModel_,\n    TableName_\n  >;\n};\n\nexport type Tables<DataModel_ extends AnyWithProps> =\n  DataModel_[TypeId][keyof DataModel_[TypeId]];\n\nexport type TableNames<DataModel_ extends AnyWithProps> = Table.Name<\n  Tables<DataModel_>\n> &\n  string;\n\nexport type TableWithName<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = Table.WithName<Tables<DataModel_>, TableName>;\n\nexport type TableInfoWithName_<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>;\n\nexport type TableInfoWithName<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = TableInfo.ConvexTableInfo<\n  TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>\n>;\n\nexport type DocumentWithName<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = TableInfo.Document<\n  TableInfo.TableInfo<Table.WithName<Tables<DataModel_>, TableName>>\n>;\n\nexport type DocumentByName<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = DocumentWithName<DataModel_, TableName>;\n\nexport type Id<\n  DataModel_ extends AnyWithProps,\n  TableName extends TableNames<DataModel_>,\n> = GenericId.GenericId<\n  TableName,\n  Table.Scope<TableWithName<DataModel_, TableName>>\n>;\n"],"mappings":""}

package/dist/DatabaseReader.d.ts

@@ -0,0 +1,26 @@
+import type { GenericDatabaseReader } from "convex/server";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as DataModel from "./DataModel.js";
+import * as QueryInitializer from "./QueryInitializer.js";
+import * as Table from "./Table.js";
+type IncludedTables<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> = DatabaseSchema.Tables<DatabaseSchema_> | Table.SystemTables<DatabaseSchema.Scope<DatabaseSchema_>>;
+type IncludedDataModel<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> = DataModel.FromTables<IncludedTables<DatabaseSchema_>>;
+export interface DatabaseReaderService<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}> {
+    readonly table: <const TableName extends Table.Name<IncludedTables<DatabaseSchema_>>>(tableName: TableName) => QueryInitializer.QueryInitializer<IncludedDataModel<DatabaseSchema_>, TableName, TableName extends keyof Docs ? Docs[TableName] : DataModel.DocumentWithName<IncludedDataModel<DatabaseSchema_>, TableName>, DatabaseSchema_["target"]["kind"]>;
+}
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseReader: GenericDatabaseReader<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>) => DatabaseReaderService<DatabaseSchema_>;
+/**
+ * The tag's _Identifier_ (the Effect requirements-channel type) is
+ * `Docs`-independent so a helper's `R` channel is the same whether or not a
+ * codegen document registry is supplied—this keeps it identical to what
+ * `Handler`/runtime provisioning provide. The tag's _Service_ (what `yield*`
+ * produces) carries `Docs`, so queries resolve to the named doc interfaces.
+ */
+export type DatabaseReaderTag<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}> = Context.Service<DatabaseReaderService<DatabaseSchema_>, DatabaseReaderService<DatabaseSchema_, Docs>>;
+export declare const DatabaseReader: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}>() => DatabaseReaderTag<DatabaseSchema_, Docs>;
+export type DatabaseReader<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> = DatabaseReaderService<DatabaseSchema_>;
+export declare const layer: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseReader: GenericDatabaseReader<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>) => Layer.Layer<DatabaseReaderService<DatabaseSchema_, {}>, never, never>;
+export {};
+//# sourceMappingURL=DatabaseReader.d.ts.map

package/dist/DatabaseReader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseReader.d.ts","sourceRoot":"","sources":["../src/DatabaseReader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC,KAAK,cAAc,CAAC,eAAe,SAAS,cAAc,CAAC,YAAY,IACnE,cAAc,CAAC,MAAM,CAAC,eAAe,CAAC,GACtC,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;AAE9D,KAAK,iBAAiB,CAAC,eAAe,SAAS,cAAc,CAAC,YAAY,IACxE,SAAS,CAAC,UAAU,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC;AAExD,MAAM,WAAW,qBAAqB,CACpC,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE;IAET,QAAQ,CAAC,KAAK,EAAE,CACd,KAAK,CAAC,SAAS,SAAS,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,EAEnE,SAAS,EAAE,SAAS,KACjB,gBAAgB,CAAC,gBAAgB,CACpC,iBAAiB,CAAC,eAAe,CAAC,EAClC,SAAS,EACT,SAAS,SAAS,MAAM,IAAI,GACxB,IAAI,CAAC,SAAS,CAAC,GACf,SAAS,CAAC,gBAAgB,CACxB,iBAAiB,CAAC,eAAe,CAAC,EAClC,SAAS,CACV,EACL,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAClC,CAAC;CACH;AAED,eAAO,MAAM,IAAI,GAAI,eAAe,SAAS,cAAc,CAAC,YAAY,kBACtD,eAAe,wBACT,qBAAqB,CACzC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAC1D,KACA,qBAAqB,CAAC,eAAe,CAoCvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAC3B,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE,IACP,OAAO,CAAC,OAAO,CACjB,qBAAqB,CAAC,eAAe,CAAC,EACtC,qBAAqB,CAAC,eAAe,EAAE,IAAI,CAAC,CAC7C,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE,OACN,iBAAiB,CAAC,eAAe,EAAE,IAAI,CAIP,CAAC;AAEtC,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,cAAc,CAAC,YAAY,IACjD,qBAAqB,CAAC,eAAe,CAAC,CAAC;AAE3C,eAAO,MAAM,KAAK,GAAI,eAAe,SAAS,cAAc,CAAC,YAAY,kBACvD,eAAe,wBACT,qBAAqB,CACzC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAC1D,0EAKA,CAAC"}

package/dist/DatabaseReader.js

@@ -0,0 +1,33 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { tables } from "./DatabaseSchema.js";
+import { make as make$1 } from "./QueryInitializer.js";
+import { systemTablesForScope } from "./Table.js";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+//#region src/DatabaseReader.ts
+var DatabaseReader_exports = /* @__PURE__ */ __exportAll({
+	DatabaseReader: () => DatabaseReader,
+	layer: () => layer,
+	make: () => make
+});
+const make = (databaseSchema, convexDatabaseReader) => {
+	const systemTables = systemTablesForScope(databaseSchema.target.scope);
+	return { table: (tableName) => {
+		const isSystem = Object.hasOwn(systemTables, tableName);
+		const baseDatabaseReader = isSystem ? {
+			get: convexDatabaseReader.system.get.bind(convexDatabaseReader.system),
+			query: convexDatabaseReader.system.query.bind(convexDatabaseReader.system)
+		} : {
+			get: convexDatabaseReader.get.bind(convexDatabaseReader),
+			query: convexDatabaseReader.query.bind(convexDatabaseReader)
+		};
+		const table = isSystem ? systemTables[tableName] : tables(databaseSchema)[tableName];
+		return make$1(baseDatabaseReader, table);
+	} };
+};
+const DatabaseReader = () => Context.Service("@confect/server/DatabaseReader");
+const layer = (databaseSchema, convexDatabaseReader) => Layer.succeed(DatabaseReader(), make(databaseSchema, convexDatabaseReader));
+//#endregion
+export { DatabaseReader, DatabaseReader_exports, layer, make };
+
+//# sourceMappingURL=DatabaseReader.js.map

package/dist/DatabaseReader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseReader.js","names":["Table.systemTablesForScope","DatabaseSchema.tables","QueryInitializer.make"],"sources":["../src/DatabaseReader.ts"],"sourcesContent":["import type { GenericDatabaseReader } from \"convex/server\";\nimport * as Context from \"effect/Context\";\nimport * as Layer from \"effect/Layer\";\nimport type { BaseDatabaseReader } from \"@confect/core/Types\";\nimport * as DatabaseSchema from \"./DatabaseSchema.js\";\nimport type * as DataModel from \"./DataModel.js\";\nimport * as QueryInitializer from \"./QueryInitializer.js\";\nimport * as Table from \"./Table.js\";\n\ntype IncludedTables<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> =\n  | DatabaseSchema.Tables<DatabaseSchema_>\n  | Table.SystemTables<DatabaseSchema.Scope<DatabaseSchema_>>;\n\ntype IncludedDataModel<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> =\n  DataModel.FromTables<IncludedTables<DatabaseSchema_>>;\n\nexport interface DatabaseReaderService<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n> {\n  readonly table: <\n    const TableName extends Table.Name<IncludedTables<DatabaseSchema_>>,\n  >(\n    tableName: TableName,\n  ) => QueryInitializer.QueryInitializer<\n    IncludedDataModel<DatabaseSchema_>,\n    TableName,\n    TableName extends keyof Docs\n      ? Docs[TableName]\n      : DataModel.DocumentWithName<\n          IncludedDataModel<DatabaseSchema_>,\n          TableName\n        >,\n    DatabaseSchema_[\"target\"][\"kind\"]\n  >;\n}\n\nexport const make = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseReader: GenericDatabaseReader<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n): DatabaseReaderService<DatabaseSchema_> => {\n  const systemTables = Table.systemTablesForScope(databaseSchema.target.scope);\n  return {\n    table: <\n      const TableName extends Table.Name<IncludedTables<DatabaseSchema_>>,\n    >(\n      tableName: TableName,\n    ) => {\n      const isSystem = Object.hasOwn(systemTables, tableName);\n\n      const baseDatabaseReader: BaseDatabaseReader<any> = isSystem\n        ? {\n            get: convexDatabaseReader.system.get.bind(\n              convexDatabaseReader.system,\n            ),\n            query: convexDatabaseReader.system.query.bind(\n              convexDatabaseReader.system,\n            ),\n          }\n        : {\n            get: convexDatabaseReader.get.bind(convexDatabaseReader),\n            query: convexDatabaseReader.query.bind(convexDatabaseReader),\n          };\n\n      const table = (\n        isSystem\n          ? (systemTables as Record<string, Table.AnyWithProps>)[tableName]\n          : DatabaseSchema.tables(databaseSchema)[tableName]\n      ) as Table.WithName<IncludedTables<DatabaseSchema_>, TableName>;\n\n      return QueryInitializer.make<IncludedTables<DatabaseSchema_>, TableName>(\n        baseDatabaseReader,\n        table,\n      );\n    },\n  } as DatabaseReaderService<DatabaseSchema_>;\n};\n\n/**\n * The tag's _Identifier_ (the Effect requirements-channel type) is\n * `Docs`-independent so a helper's `R` channel is the same whether or not a\n * codegen document registry is supplied—this keeps it identical to what\n * `Handler`/runtime provisioning provide. The tag's _Service_ (what `yield*`\n * produces) carries `Docs`, so queries resolve to the named doc interfaces.\n */\nexport type DatabaseReaderTag<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n> = Context.Service<\n  DatabaseReaderService<DatabaseSchema_>,\n  DatabaseReaderService<DatabaseSchema_, Docs>\n>;\n\nexport const DatabaseReader = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n>(): DatabaseReaderTag<DatabaseSchema_, Docs> =>\n  Context.Service<\n    DatabaseReaderService<DatabaseSchema_>,\n    DatabaseReaderService<DatabaseSchema_, Docs>\n  >(\"@confect/server/DatabaseReader\");\n\nexport type DatabaseReader<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n> = DatabaseReaderService<DatabaseSchema_>;\n\nexport const layer = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseReader: GenericDatabaseReader<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n) =>\n  Layer.succeed(\n    DatabaseReader<DatabaseSchema_>(),\n    make(databaseSchema, convexDatabaseReader),\n  );\n"],"mappings":";;;;;;;;;;;;AAqCA,MAAa,QACX,gBACA,yBAG2C;CAC3C,MAAM,eAAeA,qBAA2B,eAAe,OAAO,KAAK;CAC3E,OAAO,EACL,QAGE,cACG;EACH,MAAM,WAAW,OAAO,OAAO,cAAc,SAAS;EAEtD,MAAM,qBAA8C,WAChD;GACE,KAAK,qBAAqB,OAAO,IAAI,KACnC,qBAAqB,MACvB;GACA,OAAO,qBAAqB,OAAO,MAAM,KACvC,qBAAqB,MACvB;EACF,IACA;GACE,KAAK,qBAAqB,IAAI,KAAK,oBAAoB;GACvD,OAAO,qBAAqB,MAAM,KAAK,oBAAoB;EAC7D;EAEJ,MAAM,QACJ,WACK,aAAoD,aACrDC,OAAsB,cAAc,CAAC,CAAC;EAG5C,OAAOC,OACL,oBACA,KACF;CACF,EACF;AACF;AAiBA,MAAa,uBAIX,QAAQ,QAGN,gCAAgC;AAMpC,MAAa,SACX,gBACA,yBAIA,MAAM,QACJ,eAAgC,GAChC,KAAK,gBAAgB,oBAAoB,CAC3C"}

package/dist/DatabaseSchema.d.ts

@@ -0,0 +1,67 @@
+import * as IdScope from "@confect/core/IdScope";
+import type * as Table from "./Table.js";
+declare const EmptyDatabaseScopeError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "EmptyDatabaseScopeError";
+} & Readonly<A>;
+export declare class EmptyDatabaseScopeError extends EmptyDatabaseScopeError_base<{
+    readonly databaseScope: IdScope.IdScope;
+}> {
+    get message(): string;
+}
+declare const TableBindingMismatchError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "TableBindingMismatchError";
+} & Readonly<A>;
+export declare class TableBindingMismatchError extends TableBindingMismatchError_base<{
+    readonly bindingName: string;
+    readonly tableName: string;
+    readonly tableScope: IdScope.IdScope;
+    readonly databaseScope: IdScope.IdScope;
+}> {
+    get message(): string;
+}
+export declare const TypeId = "~@confect/server/DatabaseSchema";
+export type TypeId = typeof TypeId;
+export interface AppTarget {
+    readonly kind: "app";
+    readonly scope: IdScope.App;
+}
+export interface ComponentTarget<Scope_ extends IdScope.IdScope = IdScope.IdScope> {
+    readonly kind: "component";
+    readonly scope: Scope_;
+}
+export type Target = AppTarget | ComponentTarget;
+export interface Any {
+    readonly [TypeId]: unknown;
+}
+export declare const isDatabaseSchema: (u: unknown) => u is Any;
+/**
+ * A schema definition holding a record of bound `Table`s keyed by table name.
+ * Codegen emits a single static `DatabaseSchema.make({ ... })` call; laziness
+ * lives entirely on each `Table` (its `Fields` and `Doc` are lazy memoised
+ * getters), so this layer is a plain record indirection with no module-loading
+ * or async machinery.
+ */
+export interface DatabaseSchema<Tables_ extends Readonly<Record<string, Table.AnyWithProps>> = {}, Target_ extends Target = AppTarget> {
+    readonly [TypeId]: Readonly<Tables_>;
+    readonly target: Target_;
+}
+export interface AnyWithProps extends DatabaseSchema<Readonly<Record<string, Table.AnyWithProps>>, Target> {
+}
+export type Scope<Schema extends AnyWithProps> = Schema["target"]["scope"];
+export type Tables<DatabaseSchema_ extends AnyWithProps> = DatabaseSchema_[TypeId][keyof DatabaseSchema_[TypeId]];
+/**
+ * The bound table record, without evaluating any table schemas.
+ */
+export declare const tables: <Schema extends AnyWithProps>(self: Schema) => Schema[TypeId];
+export type TableNames<DatabaseSchema_ extends AnyWithProps> = Table.Name<Tables<DatabaseSchema_>> & string;
+export type TableWithName<DatabaseSchema_ extends AnyWithProps, TableName extends TableNames<DatabaseSchema_>> = Extract<Tables<DatabaseSchema_>, {
+    readonly tableName: TableName;
+}>;
+/**
+ * Construct a database schema from its bound table record. The record's keys
+ * must match their tables' names. Table schemas remain lazy; construction only
+ * stores the record. The empty case is `make({})`.
+ */
+export declare const make: <const TablesRecord extends Readonly<Record<string, Table.AnyWithProps>>, const Target_ extends Target = AppTarget>(tableRecord: TablesRecord, target?: Target_) => DatabaseSchema<TablesRecord, Target_>;
+export {};
+//# sourceMappingURL=DatabaseSchema.d.ts.map

package/dist/DatabaseSchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseSchema.d.ts","sourceRoot":"","sources":["../src/DatabaseSchema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,uBAAuB,CAAC;AAKjD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAC;;;;AAEzC,qBAAa,uBAAwB,SAAQ,6BAE3C;IACA,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC;CACzC,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,qBAAa,yBAA0B,SAAQ,+BAE7C;IACA,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC;CACzC,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,eAAO,MAAM,MAAM,oCAAoC,CAAC;AACxD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe,CAC9B,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO;IAEhD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,MAAM,GAAG,SAAS,GAAG,eAAe,CAAC;AAEjD,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,eAAO,MAAM,gBAAgB,MAAO,OAAO,KAAG,CAAC,IAAI,GACjB,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,WAAW,cAAc,CAC7B,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,EACjE,OAAO,SAAS,MAAM,GAAG,SAAS;IAElC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,YAAa,SAAQ,cAAc,CAClD,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,EAC5C,MAAM,CACP;CAAG;AAEJ,MAAM,MAAM,KAAK,CAAC,MAAM,SAAS,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC;AAE3E,MAAM,MAAM,MAAM,CAAC,eAAe,SAAS,YAAY,IACrD,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,YAAY,QAC1C,MAAM,KACX,MAAM,CAAC,MAAM,CAAiB,CAAC;AAElC,MAAM,MAAM,UAAU,CAAC,eAAe,SAAS,YAAY,IAAI,KAAK,CAAC,IAAI,CACvE,MAAM,CAAC,eAAe,CAAC,CACxB,GACC,MAAM,CAAC;AAET,MAAM,MAAM,aAAa,CACvB,eAAe,SAAS,YAAY,EACpC,SAAS,SAAS,UAAU,CAAC,eAAe,CAAC,IAC3C,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE;IAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AA0BxE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,YAAY,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,EACvE,KAAK,CAAC,OAAO,SAAS,MAAM,GAAG,SAAS,eAE3B,YAAY,WAChB,OAAO,KACf,cAAc,CAAC,YAAY,EAAE,OAAO,CAOtC,CAAC"}

package/dist/DatabaseSchema.js

@@ -0,0 +1,61 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Predicate from "effect/Predicate";
+import * as Result from "effect/Result";
+import * as Record from "effect/Record";
+import * as Data from "effect/Data";
+import * as IdScope from "@confect/core/IdScope";
+//#region src/DatabaseSchema.ts
+var DatabaseSchema_exports = /* @__PURE__ */ __exportAll({
+	EmptyDatabaseScopeError: () => EmptyDatabaseScopeError,
+	TableBindingMismatchError: () => TableBindingMismatchError,
+	TypeId: () => TypeId,
+	isDatabaseSchema: () => isDatabaseSchema,
+	make: () => make,
+	tables: () => tables
+});
+var EmptyDatabaseScopeError = class extends Data.TaggedError("EmptyDatabaseScopeError") {
+	get message() {
+		return "A component database schema requires a nonempty ID scope.";
+	}
+};
+var TableBindingMismatchError = class extends Data.TaggedError("TableBindingMismatchError") {
+	get message() {
+		return `Table '${this.bindingName}' must be bound to its database schema's name and ID scope.`;
+	}
+};
+const TypeId = "~@confect/server/DatabaseSchema";
+const isDatabaseSchema = (u) => Predicate.hasProperty(u, TypeId);
+/**
+* The bound table record, without evaluating any table schemas.
+*/
+const tables = (self) => self[TypeId];
+const validateBindings = (tableRecord, target) => {
+	if (target.kind === "component" && target.scope === "") return Result.fail(new EmptyDatabaseScopeError({ databaseScope: target.scope }));
+	for (const [name, table] of Record.toEntries(tableRecord)) if (name !== table.tableName || table.scope !== target.scope) return Result.fail(new TableBindingMismatchError({
+		bindingName: name,
+		tableName: table.tableName,
+		tableScope: table.scope,
+		databaseScope: target.scope
+	}));
+	return Result.succeed(void 0);
+};
+/**
+* Construct a database schema from its bound table record. The record's keys
+* must match their tables' names. Table schemas remain lazy; construction only
+* stores the record. The empty case is `make({})`.
+*/
+const make = (tableRecord, target) => {
+	const resolvedTarget = target ?? {
+		kind: "app",
+		scope: IdScope.app
+	};
+	Result.getOrThrow(validateBindings(tableRecord, resolvedTarget));
+	return {
+		[TypeId]: tableRecord,
+		target: resolvedTarget
+	};
+};
+//#endregion
+export { DatabaseSchema_exports, EmptyDatabaseScopeError, TableBindingMismatchError, TypeId, isDatabaseSchema, make, tables };
+
+//# sourceMappingURL=DatabaseSchema.js.map

package/dist/DatabaseSchema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseSchema.js","names":[],"sources":["../src/DatabaseSchema.ts"],"sourcesContent":["import * as IdScope from \"@confect/core/IdScope\";\nimport * as Data from \"effect/Data\";\nimport * as Result from \"effect/Result\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport type * as Table from \"./Table.js\";\n\nexport class EmptyDatabaseScopeError extends Data.TaggedError(\n  \"EmptyDatabaseScopeError\",\n)<{\n  readonly databaseScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return \"A component database schema requires a nonempty ID scope.\";\n  }\n}\n\nexport class TableBindingMismatchError extends Data.TaggedError(\n  \"TableBindingMismatchError\",\n)<{\n  readonly bindingName: string;\n  readonly tableName: string;\n  readonly tableScope: IdScope.IdScope;\n  readonly databaseScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return `Table '${this.bindingName}' must be bound to its database schema's name and ID scope.`;\n  }\n}\n\nexport const TypeId = \"~@confect/server/DatabaseSchema\";\nexport type TypeId = typeof TypeId;\n\nexport interface AppTarget {\n  readonly kind: \"app\";\n  readonly scope: IdScope.App;\n}\n\nexport interface ComponentTarget<\n  Scope_ extends IdScope.IdScope = IdScope.IdScope,\n> {\n  readonly kind: \"component\";\n  readonly scope: Scope_;\n}\n\nexport type Target = AppTarget | ComponentTarget;\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport const isDatabaseSchema = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A schema definition holding a record of bound `Table`s keyed by table name.\n * Codegen emits a single static `DatabaseSchema.make({ ... })` call; laziness\n * lives entirely on each `Table` (its `Fields` and `Doc` are lazy memoised\n * getters), so this layer is a plain record indirection with no module-loading\n * or async machinery.\n */\nexport interface DatabaseSchema<\n  Tables_ extends Readonly<Record<string, Table.AnyWithProps>> = {},\n  Target_ extends Target = AppTarget,\n> {\n  readonly [TypeId]: Readonly<Tables_>;\n  readonly target: Target_;\n}\n\nexport interface AnyWithProps extends DatabaseSchema<\n  Readonly<Record<string, Table.AnyWithProps>>,\n  Target\n> {}\n\nexport type Scope<Schema extends AnyWithProps> = Schema[\"target\"][\"scope\"];\n\nexport type Tables<DatabaseSchema_ extends AnyWithProps> =\n  DatabaseSchema_[TypeId][keyof DatabaseSchema_[TypeId]];\n\n/**\n * The bound table record, without evaluating any table schemas.\n */\nexport const tables = <Schema extends AnyWithProps>(\n  self: Schema,\n): Schema[TypeId] => self[TypeId];\n\nexport type TableNames<DatabaseSchema_ extends AnyWithProps> = Table.Name<\n  Tables<DatabaseSchema_>\n> &\n  string;\n\nexport type TableWithName<\n  DatabaseSchema_ extends AnyWithProps,\n  TableName extends TableNames<DatabaseSchema_>,\n> = Extract<Tables<DatabaseSchema_>, { readonly tableName: TableName }>;\n\nconst validateBindings = (\n  tableRecord: Readonly<Record<string, Table.AnyWithProps>>,\n  target: Target,\n): Result.Result<void, EmptyDatabaseScopeError | TableBindingMismatchError> => {\n  if (target.kind === \"component\" && target.scope === \"\") {\n    return Result.fail(\n      new EmptyDatabaseScopeError({ databaseScope: target.scope }),\n    );\n  }\n  for (const [name, table] of Record.toEntries(tableRecord)) {\n    if (name !== table.tableName || table.scope !== target.scope) {\n      return Result.fail(\n        new TableBindingMismatchError({\n          bindingName: name,\n          tableName: table.tableName,\n          tableScope: table.scope,\n          databaseScope: target.scope,\n        }),\n      );\n    }\n  }\n  return Result.succeed(undefined);\n};\n\n/**\n * Construct a database schema from its bound table record. The record's keys\n * must match their tables' names. Table schemas remain lazy; construction only\n * stores the record. The empty case is `make({})`.\n */\nexport const make = <\n  const TablesRecord extends Readonly<Record<string, Table.AnyWithProps>>,\n  const Target_ extends Target = AppTarget,\n>(\n  tableRecord: TablesRecord,\n  target?: Target_,\n): DatabaseSchema<TablesRecord, Target_> => {\n  const resolvedTarget = target ?? { kind: \"app\", scope: IdScope.app };\n  Result.getOrThrow(validateBindings(tableRecord, resolvedTarget));\n  return {\n    [TypeId]: tableRecord,\n    target: resolvedTarget,\n  } as DatabaseSchema<TablesRecord, Target_>;\n};\n"],"mappings":";;;;;;;;;;;;;;;AAOA,IAAa,0BAAb,cAA6C,KAAK,YAChD,yBACF,CAAC,CAEE;CACD,IAAa,UAAkB;EAC7B,OAAO;CACT;AACF;AAEA,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAKE;CACD,IAAa,UAAkB;EAC7B,OAAO,UAAU,KAAK,YAAY;CACpC;AACF;AAEA,MAAa,SAAS;AAqBtB,MAAa,oBAAoB,MAC/B,UAAU,YAAY,GAAG,MAAM;;;;AA8BjC,MAAa,UACX,SACmB,KAAK;AAY1B,MAAM,oBACJ,aACA,WAC6E;CAC7E,IAAI,OAAO,SAAS,eAAe,OAAO,UAAU,IAClD,OAAO,OAAO,KACZ,IAAI,wBAAwB,EAAE,eAAe,OAAO,MAAM,CAAC,CAC7D;CAEF,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,UAAU,WAAW,GACtD,IAAI,SAAS,MAAM,aAAa,MAAM,UAAU,OAAO,OACrD,OAAO,OAAO,KACZ,IAAI,0BAA0B;EAC5B,aAAa;EACb,WAAW,MAAM;EACjB,YAAY,MAAM;EAClB,eAAe,OAAO;CACxB,CAAC,CACH;CAGJ,OAAO,OAAO,QAAQ,KAAA,CAAS;AACjC;;;;;;AAOA,MAAa,QAIX,aACA,WAC0C;CAC1C,MAAM,iBAAiB,UAAU;EAAE,MAAM;EAAO,OAAO,QAAQ;CAAI;CACnE,OAAO,WAAW,iBAAiB,aAAa,cAAc,CAAC;CAC/D,OAAO;GACJ,SAAS;EACV,QAAQ;CACV;AACF"}

package/dist/DatabaseWriter.d.ts

@@ -0,0 +1,44 @@
+import type { GenericDatabaseWriter } from "convex/server";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as DataModel from "./DataModel.js";
+import type { DocumentByName as DocumentByName_ } from "./DataModel.js";
+import * as Document from "./Document.js";
+import * as QueryInitializer from "./QueryInitializer.js";
+/**
+ * The argument accepted by `patch`: like `Partial<Doc>` without system fields,
+ * but the fields that are already optional also accept `undefined`, since
+ * setting a field to `undefined` unsets it.
+ */
+export type PatchValue<Doc> = {
+    [K in keyof Doc as K extends "_id" | "_creationTime" ? never : K]?: undefined extends Doc[K] ? Doc[K] | undefined : Doc[K];
+};
+export interface DatabaseWriterTableAccessor<DataModel_ extends DataModel.AnyWithProps, TableName extends DataModel.TableNames<DataModel_>, Doc = DocumentByName_<DataModel_, TableName>> {
+    readonly insert: (document: Document.WithoutSystemFields<Doc>) => Effect.Effect<DataModel.Id<DataModel_, TableName>, Document.DocumentEncodeError>;
+    readonly patch: (id: DataModel.Id<DataModel_, TableName>, patchedValues: PatchValue<Doc>) => Effect.Effect<void, QueryInitializer.GetByIdFailure | Document.DocumentDecodeError | Document.DocumentEncodeError>;
+    readonly replace: (id: DataModel.Id<DataModel_, TableName>, value: Document.WithoutSystemFields<Doc>) => Effect.Effect<void, Document.DocumentEncodeError>;
+    readonly delete: (id: DataModel.Id<DataModel_, TableName>) => Effect.Effect<void>;
+}
+/**
+ * The service shape backing the `DatabaseWriter` tag. Named (rather than an
+ * inferred anonymous object) so declaration emit prints
+ * `DatabaseWriterService<…>` by reference instead of expanding the data model.
+ * `Docs` is the optional named document registry (see
+ * `DatabaseReaderService`).
+ */
+export interface DatabaseWriterService<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}> {
+    readonly table: <const TableName extends DataModel.TableNames<DataModel.FromSchema<DatabaseSchema_>>>(tableName: TableName) => DatabaseWriterTableAccessor<DataModel.FromSchema<DatabaseSchema_>, TableName, TableName extends keyof Docs ? Docs[TableName] : DocumentByName_<DataModel.FromSchema<DatabaseSchema_>, TableName>>;
+}
+/**
+ * The tag's _Identifier_ is `Docs`-independent (see `DatabaseReaderTag`); only
+ * the _Service_ carries `Docs` so writer inputs print the named doc
+ * interfaces.
+ */
+export type DatabaseWriterTag<DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}> = Context.Service<DatabaseWriterService<DatabaseSchema_>, DatabaseWriterService<DatabaseSchema_, Docs>>;
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseWriter: GenericDatabaseWriter<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>) => DatabaseWriterService<DatabaseSchema_>;
+export declare const DatabaseWriter: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Docs = {}>() => DatabaseWriterTag<DatabaseSchema_, Docs>;
+export type DatabaseWriter<DatabaseSchema_ extends DatabaseSchema.AnyWithProps> = DatabaseWriterService<DatabaseSchema_>;
+export declare const layer: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseWriter: GenericDatabaseWriter<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>) => Layer.Layer<DatabaseWriterService<DatabaseSchema_, {}>, never, never>;
+//# sourceMappingURL=DatabaseWriter.d.ts.map

package/dist/DatabaseWriter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseWriter.d.ts","sourceRoot":"","sources":["../src/DatabaseWriter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,qBAAqB,EAEtB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAG1D;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,GAAG,IAAI;KAE1B,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,KAAK,GAAG,eAAe,GAAG,KAAK,GAAG,CAAC,CAChE,CAAC,EAAE,SAAS,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;CAC3D,CAAC;AAEF,MAAM,WAAW,2BAA2B,CAC1C,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,SAAS,SAAS,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,EAClD,GAAG,GAAG,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC;IAE5C,QAAQ,CAAC,MAAM,EAAE,CACf,QAAQ,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,KACxC,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EACnC,QAAQ,CAAC,mBAAmB,CAC7B,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,CACd,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EACvC,aAAa,EAAE,UAAU,CAAC,GAAG,CAAC,KAC3B,MAAM,CAAC,MAAM,CAChB,IAAI,EACF,gBAAgB,CAAC,cAAc,GAC/B,QAAQ,CAAC,mBAAmB,GAC5B,QAAQ,CAAC,mBAAmB,CAC/B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,CAChB,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EACvC,KAAK,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,KACrC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,KACpC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CACpC,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE;IAET,QAAQ,CAAC,KAAK,EAAE,CACd,KAAK,CAAC,SAAS,SAAS,SAAS,CAAC,UAAU,CAC1C,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CACtC,EAED,SAAS,EAAE,SAAS,KACjB,2BAA2B,CAC9B,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,EACrC,SAAS,EACT,SAAS,SAAS,MAAM,IAAI,GACxB,IAAI,CAAC,SAAS,CAAC,GACf,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,CACtE,CAAC;CACH;AAED;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAC3B,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE,IACP,OAAO,CAAC,OAAO,CACjB,qBAAqB,CAAC,eAAe,CAAC,EACtC,qBAAqB,CAAC,eAAe,EAAE,IAAI,CAAC,CAC7C,CAAC;AAEF,eAAO,MAAM,IAAI,GAAI,eAAe,SAAS,cAAc,CAAC,YAAY,kBACtD,eAAe,wBACT,qBAAqB,CACzC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAC1D,KACA,qBAAqB,CAAC,eAAe,CAuGvC,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,IAAI,GAAG,EAAE,OACN,iBAAiB,CAAC,eAAe,EAAE,IAAI,CAIP,CAAC;AAEtC,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,cAAc,CAAC,YAAY,IACjD,qBAAqB,CAAC,eAAe,CAAC,CAAC;AAE3C,eAAO,MAAM,KAAK,GAAI,eAAe,SAAS,cAAc,CAAC,YAAY,kBACvD,eAAe,wBACT,qBAAqB,CACzC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAC1D,0EAKA,CAAC"}

package/dist/DatabaseWriter.js

@@ -0,0 +1,47 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { tables } from "./DatabaseSchema.js";
+import { encode } from "./Document.js";
+import { getById } from "./QueryInitializer.js";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import * as Effect from "effect/Effect";
+import { pipe } from "effect/Function";
+import * as Record from "effect/Record";
+//#region src/DatabaseWriter.ts
+var DatabaseWriter_exports = /* @__PURE__ */ __exportAll({
+	DatabaseWriter: () => DatabaseWriter,
+	layer: () => layer,
+	make: () => make
+});
+const make = (databaseSchema, convexDatabaseWriter) => {
+	const table = (tableName) => {
+		const tableDef = tables(databaseSchema)[tableName];
+		const insert = Effect.fn("DatabaseWriter.insert")(function* (document) {
+			const encodedDocument = yield* encode(document, tableDef);
+			return yield* Effect.promise(() => convexDatabaseWriter.insert(tableName, encodedDocument));
+		});
+		const patch = Effect.fn("DatabaseWriter.patch")(function* (id, patchedValues) {
+			const originalDecodedDoc = yield* getById(convexDatabaseWriter, tableDef)(id);
+			const updatedEncodedDoc = yield* pipe(patchedValues, Record.reduce(originalDecodedDoc, (acc, value, key) => value === void 0 ? Record.remove(acc, key) : Record.set(acc, key, value)), encode(tableDef));
+			yield* Effect.promise(() => convexDatabaseWriter.replace(id, updatedEncodedDoc));
+		});
+		const replace = Effect.fn("DatabaseWriter.replace")(function* (id, value) {
+			const updatedEncodedDoc = yield* encode(value, tableDef);
+			yield* Effect.promise(() => convexDatabaseWriter.replace(id, updatedEncodedDoc));
+		});
+		const delete_ = (id) => Effect.promise(() => convexDatabaseWriter.delete(id));
+		return {
+			insert,
+			patch,
+			replace,
+			delete: delete_
+		};
+	};
+	return { table };
+};
+const DatabaseWriter = () => Context.Service("@confect/server/DatabaseWriter");
+const layer = (databaseSchema, convexDatabaseWriter) => Layer.succeed(DatabaseWriter(), make(databaseSchema, convexDatabaseWriter));
+//#endregion
+export { DatabaseWriter, DatabaseWriter_exports, layer, make };
+
+//# sourceMappingURL=DatabaseWriter.js.map

package/dist/DatabaseWriter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseWriter.js","names":["DatabaseSchema.tables","Document.encode","QueryInitializer.getById"],"sources":["../src/DatabaseWriter.ts"],"sourcesContent":["import type {\n  BetterOmit,\n  DocumentByName,\n  Expand,\n  GenericDatabaseWriter,\n  WithoutSystemFields,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport { pipe } from \"effect/Function\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Record from \"effect/Record\";\nimport * as DatabaseSchema from \"./DatabaseSchema.js\";\nimport type * as DataModel from \"./DataModel.js\";\nimport type { DocumentByName as DocumentByName_ } from \"./DataModel.js\";\nimport * as Document from \"./Document.js\";\nimport * as QueryInitializer from \"./QueryInitializer.js\";\nimport type * as Table from \"./Table.js\";\n\n/**\n * The argument accepted by `patch`: like `Partial<Doc>` without system fields,\n * but the fields that are already optional also accept `undefined`, since\n * setting a field to `undefined` unsets it.\n */\nexport type PatchValue<Doc> = {\n  [\n    K in keyof Doc as K extends \"_id\" | \"_creationTime\" ? never : K\n  ]?: undefined extends Doc[K] ? Doc[K] | undefined : Doc[K];\n};\n\nexport interface DatabaseWriterTableAccessor<\n  DataModel_ extends DataModel.AnyWithProps,\n  TableName extends DataModel.TableNames<DataModel_>,\n  Doc = DocumentByName_<DataModel_, TableName>,\n> {\n  readonly insert: (\n    document: Document.WithoutSystemFields<Doc>,\n  ) => Effect.Effect<\n    DataModel.Id<DataModel_, TableName>,\n    Document.DocumentEncodeError\n  >;\n  readonly patch: (\n    id: DataModel.Id<DataModel_, TableName>,\n    patchedValues: PatchValue<Doc>,\n  ) => Effect.Effect<\n    void,\n    | QueryInitializer.GetByIdFailure\n    | Document.DocumentDecodeError\n    | Document.DocumentEncodeError\n  >;\n  readonly replace: (\n    id: DataModel.Id<DataModel_, TableName>,\n    value: Document.WithoutSystemFields<Doc>,\n  ) => Effect.Effect<void, Document.DocumentEncodeError>;\n  readonly delete: (\n    id: DataModel.Id<DataModel_, TableName>,\n  ) => Effect.Effect<void>;\n}\n\n/**\n * The service shape backing the `DatabaseWriter` tag. Named (rather than an\n * inferred anonymous object) so declaration emit prints\n * `DatabaseWriterService<…>` by reference instead of expanding the data model.\n * `Docs` is the optional named document registry (see\n * `DatabaseReaderService`).\n */\nexport interface DatabaseWriterService<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n> {\n  readonly table: <\n    const TableName extends DataModel.TableNames<\n      DataModel.FromSchema<DatabaseSchema_>\n    >,\n  >(\n    tableName: TableName,\n  ) => DatabaseWriterTableAccessor<\n    DataModel.FromSchema<DatabaseSchema_>,\n    TableName,\n    TableName extends keyof Docs\n      ? Docs[TableName]\n      : DocumentByName_<DataModel.FromSchema<DatabaseSchema_>, TableName>\n  >;\n}\n\n/**\n * The tag's _Identifier_ is `Docs`-independent (see `DatabaseReaderTag`); only\n * the _Service_ carries `Docs` so writer inputs print the named doc\n * interfaces.\n */\nexport type DatabaseWriterTag<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n> = Context.Service<\n  DatabaseWriterService<DatabaseSchema_>,\n  DatabaseWriterService<DatabaseSchema_, Docs>\n>;\n\nexport const make = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseWriter: GenericDatabaseWriter<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n): DatabaseWriterService<DatabaseSchema_> => {\n  type DataModel_ = DataModel.FromSchema<DatabaseSchema_>;\n\n  const table = <const TableName extends DataModel.TableNames<DataModel_>>(\n    tableName: TableName,\n  ) => {\n    const tableDef = DatabaseSchema.tables(databaseSchema)[tableName];\n\n    const insert = Effect.fn(\"DatabaseWriter.insert\")(function* (\n      document: Document.WithoutSystemFields<\n        DocumentByName_<DataModel_, TableName>\n      >,\n    ) {\n      const encodedDocument = yield* Document.encode(document, tableDef);\n\n      const id = yield* Effect.promise(() =>\n        convexDatabaseWriter.insert(\n          tableName,\n          encodedDocument as WithoutSystemFields<\n            DocumentByName<DataModel.ToConvex<DataModel_>, TableName>\n          >,\n        ),\n      );\n\n      // The database supplies the ID in this table's execution scope. Its\n      // scope brand is erased at the Convex syscall boundary.\n      return id as unknown as DataModel.Id<DataModel_, TableName>;\n    });\n\n    const patch = Effect.fn(\"DatabaseWriter.patch\")(function* (\n      id: DataModel.Id<DataModel_, TableName>,\n      patchedValues: PatchValue<\n        Document.WithoutSystemFields<DocumentByName_<DataModel_, TableName>>\n      >,\n    ) {\n      const originalDecodedDoc = yield* QueryInitializer.getById<\n        Table.AnyWithProps,\n        TableName\n      >(\n        convexDatabaseWriter as any,\n        tableDef,\n      )(id as unknown as GenericId<TableName>);\n\n      const updatedEncodedDoc = yield* pipe(\n        patchedValues,\n        Record.reduce(originalDecodedDoc, (acc, value, key) =>\n          value === undefined\n            ? Record.remove(acc, key)\n            : Record.set(acc, key, value),\n        ),\n        Document.encode(tableDef),\n      );\n\n      yield* Effect.promise(() =>\n        convexDatabaseWriter.replace(\n          id as unknown as GenericId<TableName>,\n          updatedEncodedDoc as Expand<\n            BetterOmit<\n              DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,\n              \"_creationTime\" | \"_id\"\n            >\n          >,\n        ),\n      );\n    });\n\n    const replace = Effect.fn(\"DatabaseWriter.replace\")(function* (\n      id: DataModel.Id<DataModel_, TableName>,\n      value: Document.WithoutSystemFields<\n        DocumentByName_<DataModel_, TableName>\n      >,\n    ) {\n      const updatedEncodedDoc = yield* Document.encode(value, tableDef);\n\n      yield* Effect.promise(() =>\n        convexDatabaseWriter.replace(\n          id as unknown as GenericId<TableName>,\n          updatedEncodedDoc as Expand<\n            BetterOmit<\n              DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,\n              \"_creationTime\" | \"_id\"\n            >\n          >,\n        ),\n      );\n    });\n\n    const delete_ = (id: DataModel.Id<DataModel_, TableName>) =>\n      Effect.promise(() =>\n        convexDatabaseWriter.delete(id as unknown as GenericId<TableName>),\n      );\n\n    return {\n      insert,\n      patch,\n      replace,\n      delete: delete_,\n    };\n  };\n\n  return {\n    table,\n  } as DatabaseWriterService<DatabaseSchema_>;\n};\n\nexport const DatabaseWriter = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Docs = {},\n>(): DatabaseWriterTag<DatabaseSchema_, Docs> =>\n  Context.Service<\n    DatabaseWriterService<DatabaseSchema_>,\n    DatabaseWriterService<DatabaseSchema_, Docs>\n  >(\"@confect/server/DatabaseWriter\");\n\nexport type DatabaseWriter<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n> = DatabaseWriterService<DatabaseSchema_>;\n\nexport const layer = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseWriter: GenericDatabaseWriter<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n) =>\n  Layer.succeed(\n    DatabaseWriter<DatabaseSchema_>(),\n    make(databaseSchema, convexDatabaseWriter),\n  );\n"],"mappings":";;;;;;;;;;;;;;;AAmGA,MAAa,QACX,gBACA,yBAG2C;CAG3C,MAAM,SACJ,cACG;EACH,MAAM,WAAWA,OAAsB,cAAc,CAAC,CAAC;EAEvD,MAAM,SAAS,OAAO,GAAG,uBAAuB,CAAC,CAAC,WAChD,UAGA;GACA,MAAM,kBAAkB,OAAOC,OAAgB,UAAU,QAAQ;GAajE,OAAO,OAXW,OAAO,cACvB,qBAAqB,OACnB,WACA,eAGF,CACF;EAKF,CAAC;EAED,MAAM,QAAQ,OAAO,GAAG,sBAAsB,CAAC,CAAC,WAC9C,IACA,eAGA;GACA,MAAM,qBAAqB,OAAOC,QAIhC,sBACA,QACF,CAAC,CAAC,EAAqC;GAEvC,MAAM,oBAAoB,OAAO,KAC/B,eACA,OAAO,OAAO,qBAAqB,KAAK,OAAO,QAC7C,UAAU,KAAA,IACN,OAAO,OAAO,KAAK,GAAG,IACtB,OAAO,IAAI,KAAK,KAAK,KAAK,CAChC,GACAD,OAAgB,QAAQ,CAC1B;GAEA,OAAO,OAAO,cACZ,qBAAqB,QACnB,IACA,iBAMF,CACF;EACF,CAAC;EAED,MAAM,UAAU,OAAO,GAAG,wBAAwB,CAAC,CAAC,WAClD,IACA,OAGA;GACA,MAAM,oBAAoB,OAAOA,OAAgB,OAAO,QAAQ;GAEhE,OAAO,OAAO,cACZ,qBAAqB,QACnB,IACA,iBAMF,CACF;EACF,CAAC;EAED,MAAM,WAAW,OACf,OAAO,cACL,qBAAqB,OAAO,EAAqC,CACnE;EAEF,OAAO;GACL;GACA;GACA;GACA,QAAQ;EACV;CACF;CAEA,OAAO,EACL,MACF;AACF;AAEA,MAAa,uBAIX,QAAQ,QAGN,gCAAgC;AAMpC,MAAa,SACX,gBACA,yBAIA,MAAM,QACJ,eAAgC,GAChC,KAAK,gBAAgB,oBAAoB,CAC3C"}

package/dist/Document.d.ts

@@ -0,0 +1,37 @@
+import type { ReadonlyValue } from "@confect/core/SchemaToValidator";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { ReadonlyRecord } from "effect/Record";
+import type * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as DataModel from "./DataModel.js";
+import type * as TableInfo from "./TableInfo.js";
+import type * as Table from "./Table.js";
+export type Document<Schema_ extends DatabaseSchema.AnyWithProps, TableName extends DatabaseSchema.TableNames<Schema_>> = DataModel.DocumentByName<DataModel.FromSchema<Schema_>, TableName>;
+export type WithoutSystemFields<Doc> = Doc extends unknown ? Omit<Doc, "_creationTime" | "_id"> : never;
+export type Any = any;
+export type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;
+export declare const decode: (<Table_ extends Table.AnyWithProps>(table: Table_) => (self: TableInfo.TableInfo<Table_>["convexDocument"]) => Effect.Effect<TableInfo.TableInfo<Table_>["document"], DocumentDecodeError>) & (<Table_ extends Table.AnyWithProps>(self: TableInfo.TableInfo<Table_>["convexDocument"], table: Table_) => Effect.Effect<TableInfo.TableInfo<Table_>["document"], DocumentDecodeError>);
+export declare const encode: (<Table_ extends Table.AnyWithProps>(table: Table_) => (self: Schema.Schema.Type<Table.Fields<Table_>>) => Effect.Effect<Schema.Codec.Encoded<Table.Fields<Table_>>, DocumentEncodeError>) & (<Table_ extends Table.AnyWithProps>(self: Schema.Schema.Type<Table.Fields<Table_>>, table: Table_) => Effect.Effect<Schema.Codec.Encoded<Table.Fields<Table_>>, DocumentEncodeError>);
+declare const DocumentDecodeError_base: Schema.Class<DocumentDecodeError, Schema.TaggedStruct<"DocumentDecodeError", {
+    readonly tableName: Schema.String;
+    readonly id: Schema.String;
+    readonly parseError: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class DocumentDecodeError extends DocumentDecodeError_base {
+    get message(): string;
+}
+declare const DocumentEncodeError_base: Schema.Class<DocumentEncodeError, Schema.TaggedStruct<"DocumentEncodeError", {
+    readonly tableName: Schema.String;
+    readonly id: Schema.String;
+    readonly parseError: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class DocumentEncodeError extends DocumentEncodeError_base {
+    get message(): string;
+}
+export declare const documentErrorMessage: ({ id, tableName, message, }: {
+    id: string;
+    tableName: string;
+    message: string;
+}) => string;
+export {};
+//# sourceMappingURL=Document.d.ts.map

package/dist/Document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Document.d.ts","sourceRoot":"","sources":["../src/Document.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAErE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,QAAQ,CAClB,OAAO,SAAS,cAAc,CAAC,YAAY,EAC3C,SAAS,SAAS,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,IAClD,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;AAEvE,MAAM,MAAM,mBAAmB,CAAC,GAAG,IAAI,GAAG,SAAS,OAAO,GACtD,IAAI,CAAC,GAAG,EAAE,eAAe,GAAG,KAAK,CAAC,GAClC,KAAK,CAAC;AAEV,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC;AACtB,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAE/D,eAAO,MAAM,MAAM,IAChB,MAAM,SAAS,KAAK,CAAC,YAAY,SACzB,MAAM,KACV,CACH,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,gBAAgB,CAAC,KAChD,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,EACvC,mBAAmB,CACpB,MACA,MAAM,SAAS,KAAK,CAAC,YAAY,QAC1B,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,gBAAgB,CAAC,SAC5C,MAAM,KACV,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,EACvC,mBAAmB,CACpB,CAuBF,CAAC;AAEF,eAAO,MAAM,MAAM,IAChB,MAAM,SAAS,KAAK,CAAC,YAAY,SACzB,MAAM,KACV,CACH,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAC3C,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAC1C,mBAAmB,CACpB,MACA,MAAM,SAAS,KAAK,CAAC,YAAY,QAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SACvC,MAAM,KACV,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAC1C,mBAAmB,CACpB,CAuBF,CAAC;;;;;;AAEF,qBAAa,mBAAoB,SAAQ,wBAOxC;IACC,IAAa,OAAO,IAAI,MAAM,CAM7B;CACF;;;;;;AAED,qBAAa,mBAAoB,SAAQ,wBAOxC;IACC,IAAa,OAAO,IAAI,MAAM,CAM7B;CACF;AAED,eAAO,MAAM,oBAAoB,gCAI9B;IACD,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB,WAAkE,CAAC"}

package/dist/Document.js

@@ -0,0 +1,54 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import * as Function from "effect/Function";
+import { pipe } from "effect/Function";
+//#region src/Document.ts
+var Document_exports = /* @__PURE__ */ __exportAll({
+	DocumentDecodeError: () => DocumentDecodeError,
+	DocumentEncodeError: () => DocumentEncodeError,
+	decode: () => decode,
+	documentErrorMessage: () => documentErrorMessage,
+	encode: () => encode
+});
+const decode = Function.dual(2, (self, table) => pipe(self, Schema.decodeUnknownEffect(table.Doc), Effect.catchIf(Schema.isSchemaError, (schemaError) => Effect.fail(new DocumentDecodeError({
+	tableName: table.tableName,
+	id: self._id,
+	parseError: schemaError.message
+})))));
+const encode = Function.dual(2, (self, table) => pipe(self, Schema.encodeEffect(table.Fields), Effect.catchIf(Schema.isSchemaError, (schemaError) => Effect.fail(new DocumentEncodeError({
+	tableName: table.tableName,
+	id: self._id,
+	parseError: schemaError.message
+})))));
+var DocumentDecodeError = class extends Schema.TaggedError()("DocumentDecodeError", {
+	tableName: Schema.String,
+	id: Schema.String,
+	parseError: Schema.String
+}) {
+	get message() {
+		return documentErrorMessage({
+			id: this.id,
+			tableName: this.tableName,
+			message: `could not be decoded:\n\n${this.parseError}`
+		});
+	}
+};
+var DocumentEncodeError = class extends Schema.TaggedError()("DocumentEncodeError", {
+	tableName: Schema.String,
+	id: Schema.String,
+	parseError: Schema.String
+}) {
+	get message() {
+		return documentErrorMessage({
+			id: this.id,
+			tableName: this.tableName,
+			message: `could not be encoded:\n\n${this.parseError}`
+		});
+	}
+};
+const documentErrorMessage = ({ id, tableName, message }) => `Document with ID '${id}' in table '${tableName}' ${message}`;
+//#endregion
+export { DocumentDecodeError, DocumentEncodeError, Document_exports, decode, documentErrorMessage, encode };
+
+//# sourceMappingURL=Document.js.map