@gaganref/confect-server 10.3.1-fork.3 → 10.3.1-fork.30

package/dist/DatabaseReader.js.map

@@ -1 +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\";\nimport type * as DataModel from \"./DataModel\";\nimport * as QueryInitializer from \"./QueryInitializer\";\nimport * as Table from \"./Table\";\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"}
+{"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

@@ -1,5 +1,5 @@
 import * as IdScope from "@confect/core/IdScope";
-import type * as Table from "./Table";
+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>;

package/dist/DatabaseSchema.d.ts.map

@@ -1 +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,SAAS,CAAC;;;;AAEtC,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"}
+{"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

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Data from "effect/Data";
 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 Result from "effect/Result";
 import * as IdScope from "@confect/core/IdScope";
 //#region src/DatabaseSchema.ts
 var DatabaseSchema_exports = /* @__PURE__ */ __exportAll({

package/dist/DatabaseSchema.js.map

@@ -1 +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\";\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"}
+{"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

@@ -2,11 +2,11 @@ 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";
-import type * as DataModel from "./DataModel";
-import type { DocumentByName as DocumentByName_ } from "./DataModel";
-import * as Document from "./Document";
-import * as QueryInitializer from "./QueryInitializer";
+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
@@ -37,8 +37,42 @@ export interface DatabaseWriterService<DatabaseSchema_ extends DatabaseSchema.An
  * 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_>;
+/**
+ * Decoded documents surrounding one successful write.
+ */
+export type Change<S extends DatabaseSchema.AnyWithProps> = {
+    [Name in DataModel.TableNames<DataModel.FromSchema<S>>]: {
+        readonly tableName: Name;
+    } & ({
+        readonly operation: "insert";
+        readonly oldDoc: null;
+        readonly newDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;
+    } | {
+        readonly operation: "update";
+        readonly oldDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;
+        readonly newDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;
+    } | {
+        readonly operation: "delete";
+        readonly oldDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;
+        readonly newDoc: null;
+    });
+}[DataModel.TableNames<DataModel.FromSchema<S>>];
+/**
+ * Runs after the write, in its transaction. A defect aborts the mutation.
+ *
+ * Only writes through this writer are observed. Raw `ctx.db`, `MutationCtx`
+ * writes and a second `DatabaseWriter.make` bypass the hook, so a host that
+ * relies on it keeps raw writers out of its functions. Component writers and
+ * nested `runMutation` calls each need their own hook installation.
+ *
+ * Concurrent writes to one document (for example under `Effect.all`) can
+ * interleave the read-write-read steps. Await them sequentially when the hook
+ * needs exact per-write snapshots. The writer takes no lock, because a hook
+ * that writes through the same writer would deadlock under one.
+ */
+export type Hook<S extends DatabaseSchema.AnyWithProps> = (change: Change<S>) => Effect.Effect<void>;
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseWriter: GenericDatabaseWriter<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>, hook?: Hook<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>;
+export declare const layer: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseWriter: GenericDatabaseWriter<DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>>, hook?: Hook<DatabaseSchema_>) => Layer.Layer<DatabaseWriterService<DatabaseSchema_, {}>, never, never>;
 //# sourceMappingURL=DatabaseWriter.d.ts.map

package/dist/DatabaseWriter.d.ts.map

@@ -1 +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,kBAAkB,CAAC;AACnD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,IAAI,eAAe,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AAGvD;;;;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"}
+{"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;AAItC,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;AAE1C,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;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,cAAc,CAAC,YAAY,IAAI;KACzD,IAAI,IAAI,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG;QACvD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;KAC1B,GAAG,CACA;QACE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC7B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;KACjE,GACD;QACE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC7B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;KACjE,GACD;QACE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC7B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;KACvB,CACJ;CACF,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,YAAY,IAAI,CACxD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAEzB,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,SACM,IAAI,CAAC,eAAe,CAAC,KAC3B,qBAAqB,CAAC,eAAe,CAsNvC,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,SACM,IAAI,CAAC,eAAe,CAAC,0EAK3B,CAAC"}

package/dist/DatabaseWriter.js

@@ -1,46 +1,93 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { tables } from "./DatabaseSchema.js";
-import { encode } from "./Document.js";
-import { getById } from "./QueryInitializer.js";
+import { DocumentEncodeError, decode, encode } from "./Document.js";
+import { GetByIdFailure, getById } from "./QueryInitializer.js";
+import { encoder } from "./internal/DocumentPatch.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 Layer from "effect/Layer";
+import * as Predicate from "effect/Predicate";
 import * as Record from "effect/Record";
+import { pipe } from "effect/Function";
+import * as Result from "effect/Result";
 //#region src/DatabaseWriter.ts
 var DatabaseWriter_exports = /* @__PURE__ */ __exportAll({
 	DatabaseWriter: () => DatabaseWriter,
 	layer: () => layer,
 	make: () => make
 });
-const make = (databaseSchema, convexDatabaseWriter) => {
+const make = (databaseSchema, convexDatabaseWriter, hook) => {
 	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 replacePatched = (id, patchedValues) => Effect.gen(function* () {
 			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 patch = Effect.fn("DatabaseWriter.patch")(function* (id, patchedValues) {
+			const encodePatch = encoder(tableDef);
+			if (encodePatch === void 0) return yield* replacePatched(id, patchedValues);
+			const storedDoc = yield* pipe(Effect.promise(() => convexDatabaseWriter.get(id)), Effect.andThen((value) => Effect.fromResult(Result.fromNullishOr(value, () => new GetByIdFailure({
+				tableName,
+				id
+			})))));
+			const encodedPatch = yield* pipe(encodePatch(patchedValues), Effect.mapError(({ message }) => message), Effect.tap((delta) => pipe({
+				...storedDoc,
+				...delta
+			}, Record.filter(Predicate.isNotUndefined), decode(tableDef), Effect.mapError(({ parseError }) => parseError))), Effect.catch((parseError) => pipe(decode(storedDoc, tableDef), Effect.andThen(Effect.fail(new DocumentEncodeError({
+				tableName,
+				id,
+				parseError
+			}))))));
+			yield* Effect.promise(() => convexDatabaseWriter.patch(id, encodedPatch));
+		});
 		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 {
+		const accessor = {
 			insert,
 			patch,
 			replace,
 			delete: delete_
 		};
+		if (hook === void 0) return accessor;
+		const read = (id) => getById(convexDatabaseWriter, tableDef)(id);
+		const notify = (operation, oldDoc, newDoc) => hook({
+			tableName,
+			operation,
+			oldDoc,
+			newDoc
+		});
+		const update = (before, write) => (id, ...args) => Effect.gen(function* () {
+			const oldDoc = yield* before(id);
+			yield* write(id, ...args);
+			yield* notify("update", oldDoc, yield* read(id).pipe(Effect.orDie));
+		});
+		return {
+			insert: (document) => Effect.gen(function* () {
+				const id = yield* insert(document);
+				yield* notify("insert", null, yield* read(id).pipe(Effect.orDie));
+				return id;
+			}),
+			patch: update(read, patch),
+			replace: update((id) => read(id).pipe(Effect.orDie), replace),
+			delete: (id) => Effect.gen(function* () {
+				const oldDoc = yield* read(id).pipe(Effect.orDie);
+				yield* delete_(id);
+				yield* notify("delete", oldDoc, null);
+			})
+		};
 	};
 	return { table };
 };
 const DatabaseWriter = () => Context.Service("@confect/server/DatabaseWriter");
-const layer = (databaseSchema, convexDatabaseWriter) => Layer.succeed(DatabaseWriter(), make(databaseSchema, convexDatabaseWriter));
+const layer = (databaseSchema, convexDatabaseWriter, hook) => Layer.succeed(DatabaseWriter(), make(databaseSchema, convexDatabaseWriter, hook));
 //#endregion
 export { DatabaseWriter, DatabaseWriter_exports, layer, make };
 

package/dist/DatabaseWriter.js.map

@@ -1 +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\";\nimport type * as DataModel from \"./DataModel\";\nimport type { DocumentByName as DocumentByName_ } from \"./DataModel\";\nimport * as Document from \"./Document\";\nimport * as QueryInitializer from \"./QueryInitializer\";\nimport type * as Table from \"./Table\";\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"}
+{"version":3,"file":"DatabaseWriter.js","names":["DatabaseSchema.tables","Document.encode","QueryInitializer.getById","DocumentPatch.encoder","QueryInitializer.GetByIdFailure","Document.decode","Document.DocumentEncodeError"],"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 Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Result from \"effect/Result\";\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 DocumentPatch from \"./internal/DocumentPatch.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\n/**\n * Decoded documents surrounding one successful write.\n */\nexport type Change<S extends DatabaseSchema.AnyWithProps> = {\n  [Name in DataModel.TableNames<DataModel.FromSchema<S>>]: {\n    readonly tableName: Name;\n  } & (\n    | {\n        readonly operation: \"insert\";\n        readonly oldDoc: null;\n        readonly newDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;\n      }\n    | {\n        readonly operation: \"update\";\n        readonly oldDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;\n        readonly newDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;\n      }\n    | {\n        readonly operation: \"delete\";\n        readonly oldDoc: DocumentByName_<DataModel.FromSchema<S>, Name>;\n        readonly newDoc: null;\n      }\n  );\n}[DataModel.TableNames<DataModel.FromSchema<S>>];\n\n/**\n * Runs after the write, in its transaction. A defect aborts the mutation.\n *\n * Only writes through this writer are observed. Raw `ctx.db`, `MutationCtx`\n * writes and a second `DatabaseWriter.make` bypass the hook, so a host that\n * relies on it keeps raw writers out of its functions. Component writers and\n * nested `runMutation` calls each need their own hook installation.\n *\n * Concurrent writes to one document (for example under `Effect.all`) can\n * interleave the read-write-read steps. Await them sequentially when the hook\n * needs exact per-write snapshots. The writer takes no lock, because a hook\n * that writes through the same writer would deadlock under one.\n */\nexport type Hook<S extends DatabaseSchema.AnyWithProps> = (\n  change: Change<S>,\n) => Effect.Effect<void>;\n\nexport const make = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseWriter: GenericDatabaseWriter<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n  hook?: Hook<DatabaseSchema_>,\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    // A codec whose encoding spans fields cannot encode a patch on its own, so\n    // the patch is merged into the decoded document and the result replaces it.\n    const replacePatched = (\n      id: DataModel.Id<DataModel_, TableName>,\n      patchedValues: PatchValue<\n        Document.WithoutSystemFields<DocumentByName_<DataModel_, TableName>>\n      >,\n    ) =>\n      Effect.gen(function* () {\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 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 encodePatch = DocumentPatch.encoder(tableDef);\n      if (encodePatch === undefined) {\n        return yield* replacePatched(id, patchedValues);\n      }\n\n      const storedDoc = yield* pipe(\n        Effect.promise(() =>\n          convexDatabaseWriter.get(id as unknown as GenericId<TableName>),\n        ),\n        Effect.andThen((value) =>\n          Effect.fromResult(\n            Result.fromNullishOr(\n              value,\n              () =>\n                new QueryInitializer.GetByIdFailure({\n                  tableName,\n                  id,\n                }),\n            ),\n          ),\n        ),\n      );\n      // The patch must encode and the patched document must decode. When\n      // either fails, the stored document decides whose fault that is.\n      const encodedPatch = yield* pipe(\n        encodePatch(patchedValues),\n        Effect.mapError(({ message }) => message),\n        Effect.tap((delta) =>\n          pipe(\n            { ...storedDoc, ...delta },\n            Record.filter(Predicate.isNotUndefined),\n            Document.decode(tableDef),\n            Effect.mapError(({ parseError }) => parseError),\n          ),\n        ),\n        Effect.catch((parseError) =>\n          pipe(\n            Document.decode(storedDoc, tableDef),\n            Effect.andThen(\n              Effect.fail(\n                new Document.DocumentEncodeError({\n                  tableName,\n                  id,\n                  parseError,\n                }),\n              ),\n            ),\n          ),\n        ),\n      );\n\n      yield* Effect.promise(() =>\n        convexDatabaseWriter.patch(\n          id as unknown as GenericId<TableName>,\n          encodedPatch as Partial<\n            DocumentByName<DataModel.ToConvex<DataModel_>, TableName>\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    const accessor = { insert, patch, replace, delete: delete_ };\n    if (hook === undefined) return accessor;\n\n    const read = (id: DataModel.Id<DataModel_, TableName>) =>\n      QueryInitializer.getById<Table.AnyWithProps, TableName>(\n        convexDatabaseWriter as any,\n        tableDef,\n      )(id as unknown as GenericId<TableName>);\n    const notify = (\n      operation: \"insert\" | \"update\" | \"delete\",\n      oldDoc: unknown,\n      newDoc: unknown,\n    ) =>\n      hook({ tableName, operation, oldDoc, newDoc } as Change<DatabaseSchema_>);\n    const update =\n      <A extends ReadonlyArray<unknown>, E, BeforeError>(\n        before: (\n          id: DataModel.Id<DataModel_, TableName>,\n        ) => Effect.Effect<unknown, BeforeError>,\n        write: (\n          id: DataModel.Id<DataModel_, TableName>,\n          ...args: A\n        ) => Effect.Effect<void, E>,\n      ) =>\n      (id: DataModel.Id<DataModel_, TableName>, ...args: A) =>\n        Effect.gen(function* () {\n          const oldDoc = yield* before(id);\n          yield* write(id, ...args);\n          yield* notify(\"update\", oldDoc, yield* read(id).pipe(Effect.orDie));\n        });\n\n    return {\n      insert: (document: Parameters<typeof insert>[0]) =>\n        Effect.gen(function* () {\n          const id = yield* insert(document);\n          yield* notify(\"insert\", null, yield* read(id).pipe(Effect.orDie));\n          return id;\n        }),\n      patch: update(read, patch),\n      replace: update((id) => read(id).pipe(Effect.orDie), replace),\n      delete: (id: DataModel.Id<DataModel_, TableName>) =>\n        Effect.gen(function* () {\n          const oldDoc = yield* read(id).pipe(Effect.orDie);\n          yield* delete_(id);\n          yield* notify(\"delete\", oldDoc, null);\n        }),\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  hook?: Hook<DatabaseSchema_>,\n) =>\n  Layer.succeed(\n    DatabaseWriter<DatabaseSchema_>(),\n    make(databaseSchema, convexDatabaseWriter, hook),\n  );\n"],"mappings":";;;;;;;;;;;;;;;;;;AAgJA,MAAa,QACX,gBACA,sBAGA,SAC2C;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;EAID,MAAM,kBACJ,IACA,kBAIA,OAAO,IAAI,aAAa;GACtB,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;EAEH,MAAM,QAAQ,OAAO,GAAG,sBAAsB,CAAC,CAAC,WAC9C,IACA,eAGA;GACA,MAAM,cAAcE,QAAsB,QAAQ;GAClD,IAAI,gBAAgB,KAAA,GAClB,OAAO,OAAO,eAAe,IAAI,aAAa;GAGhD,MAAM,YAAY,OAAO,KACvB,OAAO,cACL,qBAAqB,IAAI,EAAqC,CAChE,GACA,OAAO,SAAS,UACd,OAAO,WACL,OAAO,cACL,aAEE,IAAIC,eAAgC;IAClC;IACA;GACF,CAAC,CACL,CACF,CACF,CACF;GAGA,MAAM,eAAe,OAAO,KAC1B,YAAY,aAAa,GACzB,OAAO,UAAU,EAAE,cAAc,OAAO,GACxC,OAAO,KAAK,UACV,KACE;IAAE,GAAG;IAAW,GAAG;GAAM,GACzB,OAAO,OAAO,UAAU,cAAc,GACtCC,OAAgB,QAAQ,GACxB,OAAO,UAAU,EAAE,iBAAiB,UAAU,CAChD,CACF,GACA,OAAO,OAAO,eACZ,KACEA,OAAgB,WAAW,QAAQ,GACnC,OAAO,QACL,OAAO,KACL,IAAIC,oBAA6B;IAC/B;IACA;IACA;GACF,CAAC,CACH,CACF,CACF,CACF,CACF;GAEA,OAAO,OAAO,cACZ,qBAAqB,MACnB,IACA,YAGF,CACF;EACF,CAAC;EAED,MAAM,UAAU,OAAO,GAAG,wBAAwB,CAAC,CAAC,WAClD,IACA,OAGA;GACA,MAAM,oBAAoB,OAAOL,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,MAAM,WAAW;GAAE;GAAQ;GAAO;GAAS,QAAQ;EAAQ;EAC3D,IAAI,SAAS,KAAA,GAAW,OAAO;EAE/B,MAAM,QAAQ,OACZC,QACE,sBACA,QACF,CAAC,CAAC,EAAqC;EACzC,MAAM,UACJ,WACA,QACA,WAEA,KAAK;GAAE;GAAW;GAAW;GAAQ;EAAO,CAA4B;EAC1E,MAAM,UAEF,QAGA,WAKD,IAAyC,GAAG,SAC3C,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,OAAO,OAAO,EAAE;GAC/B,OAAO,MAAM,IAAI,GAAG,IAAI;GACxB,OAAO,OAAO,UAAU,QAAQ,OAAO,KAAK,EAAE,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;EACpE,CAAC;EAEL,OAAO;GACL,SAAS,aACP,OAAO,IAAI,aAAa;IACtB,MAAM,KAAK,OAAO,OAAO,QAAQ;IACjC,OAAO,OAAO,UAAU,MAAM,OAAO,KAAK,EAAE,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;IAChE,OAAO;GACT,CAAC;GACH,OAAO,OAAO,MAAM,KAAK;GACzB,SAAS,QAAQ,OAAO,KAAK,EAAE,CAAC,CAAC,KAAK,OAAO,KAAK,GAAG,OAAO;GAC5D,SAAS,OACP,OAAO,IAAI,aAAa;IACtB,MAAM,SAAS,OAAO,KAAK,EAAE,CAAC,CAAC,KAAK,OAAO,KAAK;IAChD,OAAO,QAAQ,EAAE;IACjB,OAAO,OAAO,UAAU,QAAQ,IAAI;GACtC,CAAC;EACL;CACF;CAEA,OAAO,EACL,MACF;AACF;AAEA,MAAa,uBAIX,QAAQ,QAGN,gCAAgC;AAMpC,MAAa,SACX,gBACA,sBAGA,SAEA,MAAM,QACJ,eAAgC,GAChC,KAAK,gBAAgB,sBAAsB,IAAI,CACjD"}

package/dist/Document.d.ts

@@ -2,10 +2,10 @@ 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";
-import type * as DataModel from "./DataModel";
-import type * as TableInfo from "./TableInfo";
-import type * as Table from "./Table";
+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;

package/dist/Document.d.ts.map

@@ -1 +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,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,KAAK,KAAK,MAAM,SAAS,CAAC;AAEtC,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"}
+{"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.map

@@ -1 +1 @@
-{"version":3,"file":"Document.js","names":[],"sources":["../src/Document.ts"],"sourcesContent":["import type { ReadonlyValue } from \"@confect/core/SchemaToValidator\";\nimport { pipe } from \"effect/Function\";\nimport * as Effect from \"effect/Effect\";\nimport * as Function from \"effect/Function\";\nimport * as Schema from \"effect/Schema\";\nimport type { ReadonlyRecord } from \"effect/Record\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as DataModel from \"./DataModel\";\nimport type * as TableInfo from \"./TableInfo\";\nimport type * as Table from \"./Table\";\n\nexport type Document<\n  Schema_ extends DatabaseSchema.AnyWithProps,\n  TableName extends DatabaseSchema.TableNames<Schema_>,\n> = DataModel.DocumentByName<DataModel.FromSchema<Schema_>, TableName>;\n\nexport type WithoutSystemFields<Doc> = Doc extends unknown\n  ? Omit<Doc, \"_creationTime\" | \"_id\">\n  : never;\n\nexport type Any = any;\nexport type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;\n\nexport const decode = Function.dual<\n  <Table_ extends Table.AnyWithProps>(\n    table: Table_,\n  ) => (\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n  ) => Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  >,\n  <Table_ extends Table.AnyWithProps>(\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n    table: Table_,\n  ) => Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  >\n>(\n  2,\n  <Table_ extends Table.AnyWithProps>(\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n    table: Table_,\n  ): Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  > =>\n    pipe(\n      self,\n      Schema.decodeUnknownEffect(table.Doc),\n      Effect.catchIf(Schema.isSchemaError, (schemaError) =>\n        Effect.fail(\n          new DocumentDecodeError({\n            tableName: table.tableName,\n            id: self._id,\n            parseError: schemaError.message,\n          }),\n        ),\n      ),\n    ),\n);\n\nexport const encode = Function.dual<\n  <Table_ extends Table.AnyWithProps>(\n    table: Table_,\n  ) => (\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n  ) => Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  >,\n  <Table_ extends Table.AnyWithProps>(\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n    table: Table_,\n  ) => Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  >\n>(\n  2,\n  <Table_ extends Table.AnyWithProps>(\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n    table: Table_,\n  ): Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  > =>\n    pipe(\n      self,\n      Schema.encodeEffect(table.Fields),\n      Effect.catchIf(Schema.isSchemaError, (schemaError) =>\n        Effect.fail(\n          new DocumentEncodeError({\n            tableName: table.tableName,\n            id: self._id,\n            parseError: schemaError.message,\n          }),\n        ),\n      ),\n    ),\n);\n\nexport class DocumentDecodeError extends Schema.TaggedError<DocumentDecodeError>()(\n  \"DocumentDecodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be decoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport class DocumentEncodeError extends Schema.TaggedError<DocumentEncodeError>()(\n  \"DocumentEncodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be encoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport const documentErrorMessage = ({\n  id,\n  tableName,\n  message,\n}: {\n  id: string;\n  tableName: string;\n  message: string;\n}) => `Document with ID '${id}' in table '${tableName}' ${message}`;\n"],"mappings":";;;;;;;;;;;;;AAuBA,MAAa,SAAS,SAAS,KAiB7B,IAEE,MACA,UAKA,KACE,MACA,OAAO,oBAAoB,MAAM,GAAG,GACpC,OAAO,QAAQ,OAAO,gBAAgB,gBACpC,OAAO,KACL,IAAI,oBAAoB;CACtB,WAAW,MAAM;CACjB,IAAI,KAAK;CACT,YAAY,YAAY;AAC1B,CAAC,CACH,CACF,CACF,CACJ;AAEA,MAAa,SAAS,SAAS,KAiB7B,IAEE,MACA,UAKA,KACE,MACA,OAAO,aAAa,MAAM,MAAM,GAChC,OAAO,QAAQ,OAAO,gBAAgB,gBACpC,OAAO,KACL,IAAI,oBAAoB;CACtB,WAAW,MAAM;CACjB,IAAI,KAAK;CACT,YAAY,YAAY;AAC1B,CAAC,CACH,CACF,CACF,CACJ;AAEA,IAAa,sBAAb,cAAyC,OAAO,YAAiC,CAAC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;AACrB,CACF,CAAC,CAAC;CACA,IAAa,UAAkB;EAC7B,OAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;EAC5C,CAAC;CACH;AACF;AAEA,IAAa,sBAAb,cAAyC,OAAO,YAAiC,CAAC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;AACrB,CACF,CAAC,CAAC;CACA,IAAa,UAAkB;EAC7B,OAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;EAC5C,CAAC;CACH;AACF;AAEA,MAAa,wBAAwB,EACnC,IACA,WACA,cAKI,qBAAqB,GAAG,cAAc,UAAU,IAAI"}
+{"version":3,"file":"Document.js","names":[],"sources":["../src/Document.ts"],"sourcesContent":["import type { ReadonlyValue } from \"@confect/core/SchemaToValidator\";\nimport { pipe } from \"effect/Function\";\nimport * as Effect from \"effect/Effect\";\nimport * as Function from \"effect/Function\";\nimport * as Schema from \"effect/Schema\";\nimport type { ReadonlyRecord } from \"effect/Record\";\nimport type * as DatabaseSchema from \"./DatabaseSchema.js\";\nimport type * as DataModel from \"./DataModel.js\";\nimport type * as TableInfo from \"./TableInfo.js\";\nimport type * as Table from \"./Table.js\";\n\nexport type Document<\n  Schema_ extends DatabaseSchema.AnyWithProps,\n  TableName extends DatabaseSchema.TableNames<Schema_>,\n> = DataModel.DocumentByName<DataModel.FromSchema<Schema_>, TableName>;\n\nexport type WithoutSystemFields<Doc> = Doc extends unknown\n  ? Omit<Doc, \"_creationTime\" | \"_id\">\n  : never;\n\nexport type Any = any;\nexport type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;\n\nexport const decode = Function.dual<\n  <Table_ extends Table.AnyWithProps>(\n    table: Table_,\n  ) => (\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n  ) => Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  >,\n  <Table_ extends Table.AnyWithProps>(\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n    table: Table_,\n  ) => Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  >\n>(\n  2,\n  <Table_ extends Table.AnyWithProps>(\n    self: TableInfo.TableInfo<Table_>[\"convexDocument\"],\n    table: Table_,\n  ): Effect.Effect<\n    TableInfo.TableInfo<Table_>[\"document\"],\n    DocumentDecodeError\n  > =>\n    pipe(\n      self,\n      Schema.decodeUnknownEffect(table.Doc),\n      Effect.catchIf(Schema.isSchemaError, (schemaError) =>\n        Effect.fail(\n          new DocumentDecodeError({\n            tableName: table.tableName,\n            id: self._id,\n            parseError: schemaError.message,\n          }),\n        ),\n      ),\n    ),\n);\n\nexport const encode = Function.dual<\n  <Table_ extends Table.AnyWithProps>(\n    table: Table_,\n  ) => (\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n  ) => Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  >,\n  <Table_ extends Table.AnyWithProps>(\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n    table: Table_,\n  ) => Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  >\n>(\n  2,\n  <Table_ extends Table.AnyWithProps>(\n    self: Schema.Schema.Type<Table.Fields<Table_>>,\n    table: Table_,\n  ): Effect.Effect<\n    Schema.Codec.Encoded<Table.Fields<Table_>>,\n    DocumentEncodeError\n  > =>\n    pipe(\n      self,\n      Schema.encodeEffect(table.Fields),\n      Effect.catchIf(Schema.isSchemaError, (schemaError) =>\n        Effect.fail(\n          new DocumentEncodeError({\n            tableName: table.tableName,\n            id: self._id,\n            parseError: schemaError.message,\n          }),\n        ),\n      ),\n    ),\n);\n\nexport class DocumentDecodeError extends Schema.TaggedError<DocumentDecodeError>()(\n  \"DocumentDecodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be decoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport class DocumentEncodeError extends Schema.TaggedError<DocumentEncodeError>()(\n  \"DocumentEncodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be encoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport const documentErrorMessage = ({\n  id,\n  tableName,\n  message,\n}: {\n  id: string;\n  tableName: string;\n  message: string;\n}) => `Document with ID '${id}' in table '${tableName}' ${message}`;\n"],"mappings":";;;;;;;;;;;;;AAuBA,MAAa,SAAS,SAAS,KAiB7B,IAEE,MACA,UAKA,KACE,MACA,OAAO,oBAAoB,MAAM,GAAG,GACpC,OAAO,QAAQ,OAAO,gBAAgB,gBACpC,OAAO,KACL,IAAI,oBAAoB;CACtB,WAAW,MAAM;CACjB,IAAI,KAAK;CACT,YAAY,YAAY;AAC1B,CAAC,CACH,CACF,CACF,CACJ;AAEA,MAAa,SAAS,SAAS,KAiB7B,IAEE,MACA,UAKA,KACE,MACA,OAAO,aAAa,MAAM,MAAM,GAChC,OAAO,QAAQ,OAAO,gBAAgB,gBACpC,OAAO,KACL,IAAI,oBAAoB;CACtB,WAAW,MAAM;CACjB,IAAI,KAAK;CACT,YAAY,YAAY;AAC1B,CAAC,CACH,CACF,CACF,CACJ;AAEA,IAAa,sBAAb,cAAyC,OAAO,YAAiC,CAAC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;AACrB,CACF,CAAC,CAAC;CACA,IAAa,UAAkB;EAC7B,OAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;EAC5C,CAAC;CACH;AACF;AAEA,IAAa,sBAAb,cAAyC,OAAO,YAAiC,CAAC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;AACrB,CACF,CAAC,CAAC;CACA,IAAa,UAAkB;EAC7B,OAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;EAC5C,CAAC;CACH;AACF;AAEA,MAAa,wBAAwB,EACnC,IACA,WACA,cAKI,qBAAqB,GAAG,cAAc,UAAU,IAAI"}

package/dist/ExecutionMetadata.js

@@ -1,7 +1,7 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import * as Context from "effect/Context";
-import * as Layer from "effect/Layer";
 import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
 //#region src/ExecutionMetadata.ts
 var ExecutionMetadata_exports = /* @__PURE__ */ __exportAll({
 	ExecutionMetadata: () => ExecutionMetadata,

package/dist/FunctionImpl.d.ts

@@ -3,8 +3,8 @@ import type * as GroupSpec from "@confect/core/GroupSpec";
 import type * as MiddlewareSpec from "@confect/core/MiddlewareSpec";
 import * as Context from "effect/Context";
 import * as Layer from "effect/Layer";
-import type * as DatabaseSchema from "./DatabaseSchema";
-import type * as Handler from "./Handler";
+import type * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as Handler from "./Handler.js";
 export interface FunctionImpl<Name_ extends string> {
     readonly name: Name_;
 }

package/dist/FunctionImpl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionImpl.d.ts","sourceRoot":"","sources":["../src/FunctionImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAI1C,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,MAAM;IAChD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB;AAED,eAAO,MAAM,YAAY,GAAI,KAAK,SAAS,MAAM,YAAY;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,8DACE,CAAC;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,KAAK,CAAC,KAAK,SAAS,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,mBAEhD,eAAe,SACzB,KAAK,QACN,KAAK,WACF,OAAO,CAAC,QAAQ,CACvB,eAAe,EACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,KAAK,EACL,cAAc,CAAC,QAAQ,CACnB,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,GAChC,YAAY,CAAC,eAAe,CAC1B,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CACzD,CACJ,CACF,KACA,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAuBjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS,MAAM,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;AAEpE;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC5D,YAAY,CAAC,IAAI,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAC3B,SAAS,MAAM,aAAa,SAAS,MAAM,GACxC,aAAa,SAAS,MAAM,GAC1B,YAAY,CAAC,aAAa,CAAC,GAC3B,KAAK,GACP,KAAK,CAAC"}
+{"version":3,"file":"FunctionImpl.d.ts","sourceRoot":"","sources":["../src/FunctionImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAI7C,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,MAAM;IAChD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB;AAED,eAAO,MAAM,YAAY,GAAI,KAAK,SAAS,MAAM,YAAY;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,8DACE,CAAC;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,KAAK,CAAC,KAAK,SAAS,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,mBAEhD,eAAe,SACzB,KAAK,QACN,KAAK,WACF,OAAO,CAAC,QAAQ,CACvB,eAAe,EACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,KAAK,EACL,cAAc,CAAC,QAAQ,CACnB,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,GAChC,YAAY,CAAC,eAAe,CAC1B,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CACzD,CACJ,CACF,KACA,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAuBjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS,MAAM,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;AAEpE;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC5D,YAAY,CAAC,IAAI,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAC3B,SAAS,MAAM,aAAa,SAAS,MAAM,GACxC,aAAa,SAAS,MAAM,GAC1B,YAAY,CAAC,aAAa,CAAC,GAC3B,KAAK,GACP,KAAK,CAAC"}

package/dist/FunctionImpl.js

@@ -1,10 +1,10 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { Registry } from "./Registry.js";
-import { make as make$1 } from "./FunctionRegistryItem.js";
 import { setNestedProperty } from "./internal/utils.js";
+import { make as make$1 } from "./FunctionRegistryItem.js";
 import * as Context from "effect/Context";
-import * as Layer from "effect/Layer";
 import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
 import * as Ref from "effect/Ref";
 //#region src/FunctionImpl.ts
 var FunctionImpl_exports = /* @__PURE__ */ __exportAll({

package/dist/FunctionImpl.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionImpl.js","names":["Registry.Registry","FunctionRegistryItem.make"],"sources":["../src/FunctionImpl.ts"],"sourcesContent":["import type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport type * as MiddlewareSpec from \"@confect/core/MiddlewareSpec\";\nimport * as Registry from \"./Registry\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Ref from \"effect/Ref\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as Handler from \"./Handler\";\nimport { setNestedProperty } from \"./internal/utils\";\nimport * as FunctionRegistryItem from \"./FunctionRegistryItem\";\n\nexport interface FunctionImpl<Name_ extends string> {\n  readonly name: Name_;\n}\n\nexport const FunctionImpl = <Name_ extends string>({ name }: { name: Name_ }) =>\n  Context.Service<FunctionImpl<Name_>>(`@confect/server/FunctionImpl/${name}`);\n\n/**\n * Register a single function's implementation into the group's `Registry`.\n *\n * The function is registered under a flat, single-segment key (its own `name`),\n * not a project-wide dot-path. Each group's impl layer is built in\n * isolation—`RegisteredFunctions.buildForGroup` (and the CLI's `validateImpl`)\n * provide a fresh `Registry` per group—so function names only need to be unique\n * within their own group.\n *\n * `databaseSchema` is retained purely as a type-level carrier: the handler's\n * ctx-service requirements (`DatabaseReader`, `QueryCtx<DataModel>`, …) are\n * derived from it via `Handler.WithName`. It is not read at runtime—the\n * generated per-group registry forwards the schema value to the function\n * builders—so impls depend on `_generated/schema` (table schemas) rather than\n * `_generated/api` (which transitively imports every function spec).\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n  const Name_ extends FunctionSpec.Name<GroupSpec.Functions<Group>>,\n>(\n  _databaseSchema: DatabaseSchema_,\n  group: Group,\n  name: Name_,\n  handler: Handler.WithName<\n    DatabaseSchema_,\n    GroupSpec.Functions<Group>,\n    Name_,\n    MiddlewareSpec.Provides<\n      | GroupSpec.MiddlewareSpecs<Group>\n      | FunctionSpec.MiddlewareSpecs<\n          FunctionSpec.WithName<GroupSpec.Functions<Group>, Name_>\n        >\n    >\n  >,\n): Layer.Layer<FunctionImpl<Name_>> => {\n  const functionSpec = group.functions[name]!;\n\n  return Layer.effect(\n    FunctionImpl<Name_>({ name }),\n    Effect.gen(function* () {\n      const registry = yield* Registry.Registry;\n\n      yield* Ref.update(registry, (registryItems) =>\n        setNestedProperty(\n          registryItems,\n          [name],\n          FunctionRegistryItem.make({\n            functionSpec,\n            groupMiddlewareAttachments: group.middlewareAttachments,\n            handler,\n          }),\n        ),\n      );\n\n      return { name };\n    }),\n  );\n};\n\n/**\n * Get the function implementation service type for a specific function name.\n */\nexport type ForFunction<Name_ extends string> = FunctionImpl<Name_>;\n\n/**\n * Get all function implementation services required for a group spec.\n */\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionSpec.Name<\n    GroupSpec.Functions<Group>\n  > extends infer FunctionNames extends string\n    ? FunctionNames extends string\n      ? FunctionImpl<FunctionNames>\n      : never\n    : never;\n"],"mappings":";;;;;;;;;;;;;AAiBA,MAAa,gBAAsC,EAAE,WACnD,QAAQ,QAA6B,gCAAgC,MAAM;;;;;;;;;;;;;;;;;AAkB7E,MAAa,QAKX,iBACA,OACA,MACA,YAWqC;CACrC,MAAM,eAAe,MAAM,UAAU;CAErC,OAAO,MAAM,OACX,aAAoB,EAAE,KAAK,CAAC,GAC5B,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAOA;EAExB,OAAO,IAAI,OAAO,WAAW,kBAC3B,kBACE,eACA,CAAC,IAAI,GACLC,OAA0B;GACxB;GACA,4BAA4B,MAAM;GAClC;EACF,CAAC,CACH,CACF;EAEA,OAAO,EAAE,KAAK;CAChB,CAAC,CACH;AACF"}
+{"version":3,"file":"FunctionImpl.js","names":["Registry.Registry","FunctionRegistryItem.make"],"sources":["../src/FunctionImpl.ts"],"sourcesContent":["import type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport type * as MiddlewareSpec from \"@confect/core/MiddlewareSpec\";\nimport * as Registry from \"./Registry.js\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Ref from \"effect/Ref\";\nimport type * as DatabaseSchema from \"./DatabaseSchema.js\";\nimport type * as Handler from \"./Handler.js\";\nimport { setNestedProperty } from \"./internal/utils.js\";\nimport * as FunctionRegistryItem from \"./FunctionRegistryItem.js\";\n\nexport interface FunctionImpl<Name_ extends string> {\n  readonly name: Name_;\n}\n\nexport const FunctionImpl = <Name_ extends string>({ name }: { name: Name_ }) =>\n  Context.Service<FunctionImpl<Name_>>(`@confect/server/FunctionImpl/${name}`);\n\n/**\n * Register a single function's implementation into the group's `Registry`.\n *\n * The function is registered under a flat, single-segment key (its own `name`),\n * not a project-wide dot-path. Each group's impl layer is built in\n * isolation—`RegisteredFunctions.buildForGroup` (and the CLI's `validateImpl`)\n * provide a fresh `Registry` per group—so function names only need to be unique\n * within their own group.\n *\n * `databaseSchema` is retained purely as a type-level carrier: the handler's\n * ctx-service requirements (`DatabaseReader`, `QueryCtx<DataModel>`, …) are\n * derived from it via `Handler.WithName`. It is not read at runtime—the\n * generated per-group registry forwards the schema value to the function\n * builders—so impls depend on `_generated/schema` (table schemas) rather than\n * `_generated/api` (which transitively imports every function spec).\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n  const Name_ extends FunctionSpec.Name<GroupSpec.Functions<Group>>,\n>(\n  _databaseSchema: DatabaseSchema_,\n  group: Group,\n  name: Name_,\n  handler: Handler.WithName<\n    DatabaseSchema_,\n    GroupSpec.Functions<Group>,\n    Name_,\n    MiddlewareSpec.Provides<\n      | GroupSpec.MiddlewareSpecs<Group>\n      | FunctionSpec.MiddlewareSpecs<\n          FunctionSpec.WithName<GroupSpec.Functions<Group>, Name_>\n        >\n    >\n  >,\n): Layer.Layer<FunctionImpl<Name_>> => {\n  const functionSpec = group.functions[name]!;\n\n  return Layer.effect(\n    FunctionImpl<Name_>({ name }),\n    Effect.gen(function* () {\n      const registry = yield* Registry.Registry;\n\n      yield* Ref.update(registry, (registryItems) =>\n        setNestedProperty(\n          registryItems,\n          [name],\n          FunctionRegistryItem.make({\n            functionSpec,\n            groupMiddlewareAttachments: group.middlewareAttachments,\n            handler,\n          }),\n        ),\n      );\n\n      return { name };\n    }),\n  );\n};\n\n/**\n * Get the function implementation service type for a specific function name.\n */\nexport type ForFunction<Name_ extends string> = FunctionImpl<Name_>;\n\n/**\n * Get all function implementation services required for a group spec.\n */\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionSpec.Name<\n    GroupSpec.Functions<Group>\n  > extends infer FunctionNames extends string\n    ? FunctionNames extends string\n      ? FunctionImpl<FunctionNames>\n      : never\n    : never;\n"],"mappings":";;;;;;;;;;;;;AAiBA,MAAa,gBAAsC,EAAE,WACnD,QAAQ,QAA6B,gCAAgC,MAAM;;;;;;;;;;;;;;;;;AAkB7E,MAAa,QAKX,iBACA,OACA,MACA,YAWqC;CACrC,MAAM,eAAe,MAAM,UAAU;CAErC,OAAO,MAAM,OACX,aAAoB,EAAE,KAAK,CAAC,GAC5B,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAOA;EAExB,OAAO,IAAI,OAAO,WAAW,kBAC3B,kBACE,eACA,CAAC,IAAI,GACLC,OAA0B;GACxB;GACA,4BAA4B,MAAM;GAClC;EACF,CAAC,CACH,CACF;EAEA,OAAO,EAAE,KAAK;CAChB,CAAC,CACH;AACF"}

package/dist/FunctionRegistryItem.d.ts

@@ -2,7 +2,7 @@ import type * as MiddlewareAttachment from "@confect/core/MiddlewareAttachment";
 import type * as FunctionSpec from "@confect/core/FunctionSpec";
 import type { FunctionType, FunctionVisibility } from "convex/server";
 import type * as Schema from "effect/Schema";
-import type * as Handler from "./Handler";
+import type * as Handler from "./Handler.js";
 export declare const TypeId = "~@confect/server/FunctionRegistryItem";
 export type TypeId = typeof TypeId;
 export declare const isFunctionRegistryItem: (value: unknown) => value is AnyWithProps;

package/dist/FunctionRegistryItem.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionRegistryItem.d.ts","sourceRoot":"","sources":["../src/FunctionRegistryItem.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,oCAAoC,CAAC;AAChF,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGtE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAE1C,eAAO,MAAM,MAAM,0CAA0C,CAAC;AAC9D,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,sBAAsB,UAAW,OAAO,KAAG,KAAK,IAAI,YAC3B,CAAC;AAMvC;;;GAGG;AACH,MAAM,MAAM,YAAY,GACpB,2BAA2B,GAC3B,0BAA0B,CAAC;AAE/B,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACzF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,oBAAoB,CAAC;CAChD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC;CAC/C;AAED,eAAO,MAAM,IAAI,2DAId;IACD,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC;IACxC,0BAA0B,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACrF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;CACtB,KAAG,YA8BD,CAAC"}
+{"version":3,"file":"FunctionRegistryItem.d.ts","sourceRoot":"","sources":["../src/FunctionRegistryItem.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,oCAAoC,CAAC;AAChF,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGtE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAE7C,eAAO,MAAM,MAAM,0CAA0C,CAAC;AAC9D,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,sBAAsB,UAAW,OAAO,KAAG,KAAK,IAAI,YAC3B,CAAC;AAMvC;;;GAGG;AACH,MAAM,MAAM,YAAY,GACpB,2BAA2B,GAC3B,0BAA0B,CAAC;AAE/B,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACzF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,oBAAoB,CAAC;CAChD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC;CAC/C;AAED,eAAO,MAAM,IAAI,2DAId;IACD,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC;IACxC,0BAA0B,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACrF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;CACtB,KAAG,YA8BD,CAAC"}

package/dist/FunctionRegistryItem.js

@@ -1,6 +1,6 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import * as Match from "effect/Match";
 import * as Predicate from "effect/Predicate";
+import * as Match from "effect/Match";
 import * as Lazy from "@confect/core/Lazy";
 //#region src/FunctionRegistryItem.ts
 var FunctionRegistryItem_exports = /* @__PURE__ */ __exportAll({

package/dist/FunctionRegistryItem.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionRegistryItem.js","names":[],"sources":["../src/FunctionRegistryItem.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"@confect/core/MiddlewareAttachment\";\nimport type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport * as Lazy from \"@confect/core/Lazy\";\nimport type { FunctionType, FunctionVisibility } from \"convex/server\";\nimport * as Match from \"effect/Match\";\nimport * as Predicate from \"effect/Predicate\";\nimport type * as Schema from \"effect/Schema\";\nimport type * as Handler from \"./Handler\";\n\nexport const TypeId = \"~@confect/server/FunctionRegistryItem\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionRegistryItem = (value: unknown): value is AnyWithProps =>\n  Predicate.hasProperty(value, TypeId);\n\nconst FunctionRegistryItemProto = {\n  [TypeId]: TypeId,\n};\n\n/**\n * A function registered by `FunctionImpl.make`, one of two shapes keyed by the\n * spec's provenance.\n */\nexport type AnyWithProps =\n  | ConfectFunctionRegistryItem\n  | ConvexFunctionRegistryItem;\n\nexport interface ConfectFunctionRegistryItem {\n  readonly [TypeId]: TypeId;\n  readonly _tag: \"Confect\";\n  readonly name: string;\n  readonly functionVisibility: FunctionVisibility;\n  readonly functionType: FunctionType;\n  readonly args: Schema.Codec<any, any>;\n  readonly returns: Schema.Codec<any, any>;\n  readonly error?: Schema.Codec<any, any>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly handler: Handler.AnyConfectProvenance;\n}\n\nexport interface ConvexFunctionRegistryItem {\n  readonly [TypeId]: TypeId;\n  readonly _tag: \"Convex\";\n  readonly handler: Handler.AnyConvexProvenance;\n}\n\nexport const make = ({\n  functionSpec,\n  groupMiddlewareAttachments,\n  handler,\n}: {\n  functionSpec: FunctionSpec.AnyWithProps;\n  groupMiddlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  handler: Handler.Any;\n}): AnyWithProps =>\n  Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\"Convex\", (): AnyWithProps =>\n      Object.assign(Object.create(FunctionRegistryItemProto), {\n        _tag: \"Convex\" as const,\n        handler: handler as Handler.AnyConvexProvenance,\n      }),\n    ),\n    Match.tag(\"Confect\", (provenance): AnyWithProps => {\n      const item = Object.assign(Object.create(FunctionRegistryItemProto), {\n        _tag: \"Confect\" as const,\n        name: functionSpec.name,\n        functionVisibility: functionSpec.functionVisibility,\n        functionType: functionSpec.runtimeAndFunctionType.functionType,\n        middlewareAttachments: [\n          ...groupMiddlewareAttachments,\n          ...functionSpec.middlewareAttachments,\n        ],\n        handler: handler as Handler.AnyConfectProvenance,\n      });\n\n      Lazy.defineProperty(item, \"args\", () => provenance.args);\n      Lazy.defineProperty(item, \"returns\", () => provenance.returns);\n      if (\"error\" in provenance) {\n        Lazy.defineProperty(item, \"error\", () => provenance.error);\n      }\n\n      return item as AnyWithProps;\n    }),\n    Match.exhaustive,\n  );\n"],"mappings":";;;;;;;;;;AASA,MAAa,SAAS;AAGtB,MAAa,0BAA0B,UACrC,UAAU,YAAY,OAAO,MAAM;AAErC,MAAM,4BAA4B,GAC/B,SAAS,OACZ;AA6BA,MAAa,QAAQ,EACnB,cACA,4BACA,cAMA,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAC3C,MAAM,IAAI,gBACR,OAAO,OAAO,OAAO,OAAO,yBAAyB,GAAG;CACtD,MAAM;CACG;AACX,CAAC,CACH,GACA,MAAM,IAAI,YAAY,eAA6B;CACjD,MAAM,OAAO,OAAO,OAAO,OAAO,OAAO,yBAAyB,GAAG;EACnE,MAAM;EACN,MAAM,aAAa;EACnB,oBAAoB,aAAa;EACjC,cAAc,aAAa,uBAAuB;EAClD,uBAAuB,CACrB,GAAG,4BACH,GAAG,aAAa,qBAClB;EACS;CACX,CAAC;CAED,KAAK,eAAe,MAAM,cAAc,WAAW,IAAI;CACvD,KAAK,eAAe,MAAM,iBAAiB,WAAW,OAAO;CAC7D,IAAI,WAAW,YACb,KAAK,eAAe,MAAM,eAAe,WAAW,KAAK;CAG3D,OAAO;AACT,CAAC,GACD,MAAM,UACR"}
+{"version":3,"file":"FunctionRegistryItem.js","names":[],"sources":["../src/FunctionRegistryItem.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"@confect/core/MiddlewareAttachment\";\nimport type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport * as Lazy from \"@confect/core/Lazy\";\nimport type { FunctionType, FunctionVisibility } from \"convex/server\";\nimport * as Match from \"effect/Match\";\nimport * as Predicate from \"effect/Predicate\";\nimport type * as Schema from \"effect/Schema\";\nimport type * as Handler from \"./Handler.js\";\n\nexport const TypeId = \"~@confect/server/FunctionRegistryItem\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionRegistryItem = (value: unknown): value is AnyWithProps =>\n  Predicate.hasProperty(value, TypeId);\n\nconst FunctionRegistryItemProto = {\n  [TypeId]: TypeId,\n};\n\n/**\n * A function registered by `FunctionImpl.make`, one of two shapes keyed by the\n * spec's provenance.\n */\nexport type AnyWithProps =\n  | ConfectFunctionRegistryItem\n  | ConvexFunctionRegistryItem;\n\nexport interface ConfectFunctionRegistryItem {\n  readonly [TypeId]: TypeId;\n  readonly _tag: \"Confect\";\n  readonly name: string;\n  readonly functionVisibility: FunctionVisibility;\n  readonly functionType: FunctionType;\n  readonly args: Schema.Codec<any, any>;\n  readonly returns: Schema.Codec<any, any>;\n  readonly error?: Schema.Codec<any, any>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly handler: Handler.AnyConfectProvenance;\n}\n\nexport interface ConvexFunctionRegistryItem {\n  readonly [TypeId]: TypeId;\n  readonly _tag: \"Convex\";\n  readonly handler: Handler.AnyConvexProvenance;\n}\n\nexport const make = ({\n  functionSpec,\n  groupMiddlewareAttachments,\n  handler,\n}: {\n  functionSpec: FunctionSpec.AnyWithProps;\n  groupMiddlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  handler: Handler.Any;\n}): AnyWithProps =>\n  Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\"Convex\", (): AnyWithProps =>\n      Object.assign(Object.create(FunctionRegistryItemProto), {\n        _tag: \"Convex\" as const,\n        handler: handler as Handler.AnyConvexProvenance,\n      }),\n    ),\n    Match.tag(\"Confect\", (provenance): AnyWithProps => {\n      const item = Object.assign(Object.create(FunctionRegistryItemProto), {\n        _tag: \"Confect\" as const,\n        name: functionSpec.name,\n        functionVisibility: functionSpec.functionVisibility,\n        functionType: functionSpec.runtimeAndFunctionType.functionType,\n        middlewareAttachments: [\n          ...groupMiddlewareAttachments,\n          ...functionSpec.middlewareAttachments,\n        ],\n        handler: handler as Handler.AnyConfectProvenance,\n      });\n\n      Lazy.defineProperty(item, \"args\", () => provenance.args);\n      Lazy.defineProperty(item, \"returns\", () => provenance.returns);\n      if (\"error\" in provenance) {\n        Lazy.defineProperty(item, \"error\", () => provenance.error);\n      }\n\n      return item as AnyWithProps;\n    }),\n    Match.exhaustive,\n  );\n"],"mappings":";;;;;;;;;;AASA,MAAa,SAAS;AAGtB,MAAa,0BAA0B,UACrC,UAAU,YAAY,OAAO,MAAM;AAErC,MAAM,4BAA4B,GAC/B,SAAS,OACZ;AA6BA,MAAa,QAAQ,EACnB,cACA,4BACA,cAMA,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAC3C,MAAM,IAAI,gBACR,OAAO,OAAO,OAAO,OAAO,yBAAyB,GAAG;CACtD,MAAM;CACG;AACX,CAAC,CACH,GACA,MAAM,IAAI,YAAY,eAA6B;CACjD,MAAM,OAAO,OAAO,OAAO,OAAO,OAAO,yBAAyB,GAAG;EACnE,MAAM;EACN,MAAM,aAAa;EACnB,oBAAoB,aAAa;EACjC,cAAc,aAAa,uBAAuB;EAClD,uBAAuB,CACrB,GAAG,4BACH,GAAG,aAAa,qBAClB;EACS;CACX,CAAC;CAED,KAAK,eAAe,MAAM,cAAc,WAAW,IAAI;CACvD,KAAK,eAAe,MAAM,iBAAiB,WAAW,OAAO;CAC7D,IAAI,WAAW,YACb,KAAK,eAAe,MAAM,eAAe,WAAW,KAAK;CAG3D,OAAO;AACT,CAAC,GACD,MAAM,UACR"}

package/dist/GroupImpl.d.ts

@@ -1,10 +1,11 @@
 import type * as GroupSpec from "@confect/core/GroupSpec";
 import type * as MiddlewareSpec from "@confect/core/MiddlewareSpec";
+import * as RegistryItems from "./RegistryItems.js";
 import * as Context from "effect/Context";
 import * as Layer from "effect/Layer";
-import type * as DatabaseSchema from "./DatabaseSchema";
-import type * as FunctionImpl from "./FunctionImpl";
-import type * as MiddlewareImpl from "./MiddlewareImpl";
+import type * as DatabaseSchema from "./DatabaseSchema.js";
+import type * as FunctionImpl from "./FunctionImpl.js";
+import type * as MiddlewareImpl from "./MiddlewareImpl.js";
 export declare const TypeId = "~@confect/server/GroupImpl";
 export type TypeId = typeof TypeId;
 export type FinalizationStatus = "Unfinalized" | "Finalized";
@@ -59,6 +60,15 @@ export declare const GroupImpl: <FinalizationStatus_ extends FinalizationStatus>
  * runtime.
  */
 export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Group extends GroupSpec.AnyWithProps>(_databaseSchema: DatabaseSchema_, _group: Group & MiddlewareSpec.ValidateImplRequires<GroupSpec.Functions<Group>, GroupSpec.MiddlewareSpecs<Group>>) => Layer.Layer<GroupImpl<"Unfinalized">, never, FunctionImpl.FromGroupSpec<Group> | MiddlewareImpl.FromGroupSpec<Group>>;
+declare const MissingRequiredMiddlewareError_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: "MissingRequiredMiddlewareError";
+} & Readonly<A>;
+export declare class MissingRequiredMiddlewareError extends MissingRequiredMiddlewareError_base<{
+    readonly missing: ReadonlyArray<RegistryItems.MissingMiddleware>;
+}> {
+    get message(): string;
+}
+type Finalizable = Layer.Layer<AnyUnfinalized> | Layer.Layer<AnyFinalized>;
 /**
  * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults
  * `RIn = never`, so passing a layer that still requires any `FunctionImpl`
@@ -70,8 +80,17 @@ export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps,
  * registered into this group's scope are snapshotted onto the produced service
  * value's `registeredFunctionNames` field, so consumers can verify impl
  * completeness against a `GroupSpec`'s expected functions without having to
- * inspect the `Registry` themselves.
+ * inspect the `Registry` themselves. Pass `{ required }` to check every
+ * registered function's middleware at layer build, including internal
+ * functions. This form also accepts a finalized layer so generated registration
+ * can enforce the backend declaration without changing authored impls. Pass
+ * `groupPath` to qualify uncovered function names in the diagnostic.
  */
-export declare const finalize: (group: Layer.Layer<GroupImpl<"Unfinalized">>) => Layer.Layer<GroupImpl<"Finalized">>;
+export declare function finalize(options: {
+    readonly groupPath?: string;
+    readonly required: ReadonlyArray<Pick<MiddlewareSpec.AnyMiddlewareSpec, "key">>;
+}): (group: Finalizable) => Layer.Layer<GroupImpl<"Finalized">>;
+export declare function finalize(group: Layer.Layer<GroupImpl<"Unfinalized">>): Layer.Layer<GroupImpl<"Finalized">>;
 export type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FunctionImpl.FromGroupSpec<Group> | MiddlewareImpl.FromGroupSpec<Group>;
+export {};
 //# sourceMappingURL=GroupImpl.d.ts.map

package/dist/GroupImpl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupImpl.d.ts","sourceRoot":"","sources":["../src/GroupImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAIpE,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAItC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AAExD,eAAO,MAAM,MAAM,+BAA+B,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,MAAM,kBAAkB,GAAG,aAAa,GAAG,WAAW,CAAC;AAE7D,MAAM,WAAW,SAAS,CACxB,mBAAmB,SAAS,kBAAkB,GAAG,aAAa;IAE9D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxD;;;;;;OAMG;IACH,QAAQ,CAAC,wBAAwB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,GAAI,SAAQ,SAAS,CAAC,kBAAkB,CAAC;CAAG;AAE7D,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,GACZ,CAAC;AAEnC,MAAM,WAAW,YAAa,SAAQ,SAAS,CAAC,WAAW,CAAC;CAAG;AAC/D,MAAM,WAAW,cAAe,SAAQ,SAAS,CAAC,aAAa,CAAC;CAAG;AAEnE,eAAO,MAAM,oBAAoB,MAAO,OAAO,KAAG,CAAC,IAAI,YACC,CAAC;AAEzD,eAAO,MAAM,sBAAsB,MAAO,OAAO,KAAG,CAAC,IAAI,cACC,CAAC;AAE3D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,GAAI,mBAAmB,SAAS,kBAAkB,2BAErE;IACD,kBAAkB,EAAE,mBAAmB,CAAC;CACzC,oFAGE,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,mBAEnB,eAAe,UACxB,KAAK,GACX,cAAc,CAAC,oBAAoB,CACjC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CACjC,KACF,KAAK,CAAC,KAAK,CACZ,SAAS,CAAC,aAAa,CAAC,EACxB,KAAK,EACL,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CActE,CAAC;AAOJ;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,UACZ,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CA6BlC,CAAC;AAEJ,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC1D,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,GACjC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC"}
+{"version":3,"file":"GroupImpl.d.ts","sourceRoot":"","sources":["../src/GroupImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAC;AAEpD,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAG1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAItC,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAE3D,eAAO,MAAM,MAAM,+BAA+B,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,MAAM,kBAAkB,GAAG,aAAa,GAAG,WAAW,CAAC;AAE7D,MAAM,WAAW,SAAS,CACxB,mBAAmB,SAAS,kBAAkB,GAAG,aAAa;IAE9D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxD;;;;;;OAMG;IACH,QAAQ,CAAC,wBAAwB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,GAAI,SAAQ,SAAS,CAAC,kBAAkB,CAAC;CAAG;AAE7D,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,GACZ,CAAC;AAEnC,MAAM,WAAW,YAAa,SAAQ,SAAS,CAAC,WAAW,CAAC;CAAG;AAC/D,MAAM,WAAW,cAAe,SAAQ,SAAS,CAAC,aAAa,CAAC;CAAG;AAEnE,eAAO,MAAM,oBAAoB,MAAO,OAAO,KAAG,CAAC,IAAI,YACC,CAAC;AAEzD,eAAO,MAAM,sBAAsB,MAAO,OAAO,KAAG,CAAC,IAAI,cACC,CAAC;AAE3D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,GAAI,mBAAmB,SAAS,kBAAkB,2BAErE;IACD,kBAAkB,EAAE,mBAAmB,CAAC;CACzC,oFAGE,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,mBAEnB,eAAe,UACxB,KAAK,GACX,cAAc,CAAC,oBAAoB,CACjC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CACjC,KACF,KAAK,CAAC,KAAK,CACZ,SAAS,CAAC,aAAa,CAAC,EACxB,KAAK,EACL,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CActE,CAAC;;;;AAKJ,qBAAa,8BAA+B,SAAQ,oCAElD;IACA,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;CAClE,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,KAAK,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAC9B,IAAI,CAAC,cAAc,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAC9C,CAAC;CACH,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;AAChE,wBAAgB,QAAQ,CACtB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,GAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;AA+DvC,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC1D,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,GACjC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC"}