@confect/server 1.0.0-next.0

package/CHANGELOG.md

@@ -0,0 +1,12 @@
+# @confect/server
+
+## 1.0.0-next.0
+
+### Major Changes
+
+- 2ff70a7: Initial release.
+
+### Patch Changes
+
+- Updated dependencies [2ff70a7]
+  - @confect/core@1.0.0-next.0

package/LICENSE

@@ -0,0 +1,7 @@
+ISC License
+
+Copyright 2024 RJ Dellecese
+
+Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

package/dist/ActionCtx.d.ts

@@ -0,0 +1,12 @@
+import { Context } from "effect";
+import { GenericActionCtx, GenericDataModel } from "convex/server";
+
+//#region src/ActionCtx.d.ts
+declare namespace ActionCtx_d_exports {
+  export { ActionCtx };
+}
+declare const ActionCtx: <DataModel extends GenericDataModel>() => Context.Tag<GenericActionCtx<DataModel>, GenericActionCtx<DataModel>>;
+type ActionCtx<DataModel extends GenericDataModel> = ReturnType<typeof ActionCtx<DataModel>>["Identifier"];
+//#endregion
+export { ActionCtx, ActionCtx_d_exports };
+//# sourceMappingURL=ActionCtx.d.ts.map

package/dist/ActionCtx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionCtx.d.ts","names":[],"sources":["../src/ActionCtx.ts"],"sourcesContent":[],"mappings":";;;;;;;cAGa,8BAA+B,uBAAgB,OAAA,CAAA,IAAA,iBAAA,YAAA,iBAAA;KAGhD,4BAA4B,oBAAoB,kBACnD,UAAU"}

package/dist/ActionCtx.js

@@ -0,0 +1,10 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Context } from "effect";
+
+//#region src/ActionCtx.ts
+var ActionCtx_exports = /* @__PURE__ */ __export({ ActionCtx: () => ActionCtx });
+const ActionCtx = () => Context.GenericTag("@confect/server/ActionCtx");
+
+//#endregion
+export { ActionCtx, ActionCtx_exports };
+//# sourceMappingURL=ActionCtx.js.map

package/dist/ActionCtx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionCtx.js","names":[],"sources":["../src/ActionCtx.ts"],"sourcesContent":["import type { GenericActionCtx, GenericDataModel } from \"convex/server\";\nimport { Context } from \"effect\";\n\nexport const ActionCtx = <DataModel extends GenericDataModel>() =>\n  Context.GenericTag<GenericActionCtx<DataModel>>(\"@confect/server/ActionCtx\");\n\nexport type ActionCtx<DataModel extends GenericDataModel> = ReturnType<\n  typeof ActionCtx<DataModel>\n>[\"Identifier\"];\n"],"mappings":";;;;;AAGA,MAAa,kBACX,QAAQ,WAAwC,4BAA4B"}

package/dist/ActionRunner.d.ts

@@ -0,0 +1,15 @@
+import { Context, Effect, Layer } from "effect";
+import * as Ref$1 from "@confect/core/Ref";
+import { GenericActionCtx } from "convex/server";
+import * as effect_ParseResult0 from "effect/ParseResult";
+
+//#region src/ActionRunner.d.ts
+declare namespace ActionRunner_d_exports {
+  export { ActionRunner, layer };
+}
+declare const ActionRunner: Context.Tag<(<Action extends Ref$1.AnyAction>(action: Action, args: Ref$1.Args<Action>["Type"]) => Effect.Effect<any, effect_ParseResult0.ParseError, never>), <Action extends Ref$1.AnyAction>(action: Action, args: Ref$1.Args<Action>["Type"]) => Effect.Effect<any, effect_ParseResult0.ParseError, never>>;
+type ActionRunner = typeof ActionRunner.Identifier;
+declare const layer: (runAction: GenericActionCtx<any>["runAction"]) => Layer.Layer<(<Action extends Ref$1.AnyAction>(action: Action, args: Ref$1.Args<Action>["Type"]) => Effect.Effect<any, effect_ParseResult0.ParseError, never>), never, never>;
+//#endregion
+export { ActionRunner, ActionRunner_d_exports, layer };
+//# sourceMappingURL=ActionRunner.d.ts.map

package/dist/ActionRunner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionRunner.d.ts","names":[],"sources":["../src/ActionRunner.ts"],"sourcesContent":[],"mappings":";;;;;;;;;cAqBa,cAAY,OAAA,CAAA,qBAfP,KAAA,CAAI,mBACV,cACF,KAAA,CAAI,KAAK,oBAAe,MAAA,CAAA,YAAhB,mBAAA,CAAgB,UAAA,2BAFhB,KAAA,CAAI,mBACV,cACF,KAAA,CAAI,KAAK,oBAAe,MAAA,CAAA,YAAhB,mBAAA,CAAgB,UAAA;KAgBtB,YAAA,UAAsB,YAAA,CAAa;cAElC,mBAAoB,uCAAkC,KAAA,CAAA,uBApBjD,KAAA,CAAI,mBACV,cACF,KAAA,CAAI,KAAK,oBAAe,MAAA,CAAA,YAAhB,mBAAA,CAAgB,UAAA"}

package/dist/ActionRunner.js

@@ -0,0 +1,23 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Context, Effect, Layer, Schema } from "effect";
+import * as Ref$1 from "@confect/core/Ref";
+import "convex/server";
+
+//#region src/ActionRunner.ts
+var ActionRunner_exports = /* @__PURE__ */ __export({
+	ActionRunner: () => ActionRunner,
+	layer: () => layer
+});
+const makeActionRunner = (runAction) => (action, args) => Effect.gen(function* () {
+	const function_ = Ref$1.getFunction(action);
+	const functionName = Ref$1.getConvexFunctionName(action);
+	const encodedArgs = yield* Schema.encode(function_.args)(args);
+	const encodedReturns = yield* Effect.promise(() => runAction(functionName, encodedArgs));
+	return yield* Schema.decode(function_.returns)(encodedReturns);
+});
+const ActionRunner = Context.GenericTag("@confect/server/ActionRunner");
+const layer = (runAction) => Layer.succeed(ActionRunner, makeActionRunner(runAction));
+
+//#endregion
+export { ActionRunner, ActionRunner_exports, layer };
+//# sourceMappingURL=ActionRunner.js.map

package/dist/ActionRunner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionRunner.js","names":["Ref"],"sources":["../src/ActionRunner.ts"],"sourcesContent":["import * as Ref from \"@confect/core/Ref\";\nimport { type GenericActionCtx } from \"convex/server\";\nimport { Context, Effect, Layer, Schema } from \"effect\";\n\nconst makeActionRunner =\n  (runAction: GenericActionCtx<any>[\"runAction\"]) =>\n  <Action extends Ref.AnyAction>(\n    action: Action,\n    args: Ref.Args<Action>[\"Type\"],\n  ) =>\n    Effect.gen(function* () {\n      const function_ = Ref.getFunction(action);\n      const functionName = Ref.getConvexFunctionName(action);\n\n      const encodedArgs = yield* Schema.encode(function_.args)(args);\n      const encodedReturns = yield* Effect.promise(() =>\n        runAction(functionName as any, encodedArgs),\n      );\n      return yield* Schema.decode(function_.returns)(encodedReturns);\n    });\n\nexport const ActionRunner = Context.GenericTag<\n  ReturnType<typeof makeActionRunner>\n>(\"@confect/server/ActionRunner\");\nexport type ActionRunner = typeof ActionRunner.Identifier;\n\nexport const layer = (runAction: GenericActionCtx<any>[\"runAction\"]) =>\n  Layer.succeed(ActionRunner, makeActionRunner(runAction));\n"],"mappings":";;;;;;;;;;AAIA,MAAM,oBACH,eAEC,QACA,SAEA,OAAO,IAAI,aAAa;CACtB,MAAM,YAAYA,MAAI,YAAY,OAAO;CACzC,MAAM,eAAeA,MAAI,sBAAsB,OAAO;CAEtD,MAAM,cAAc,OAAO,OAAO,OAAO,UAAU,KAAK,CAAC,KAAK;CAC9D,MAAM,iBAAiB,OAAO,OAAO,cACnC,UAAU,cAAqB,YAAY,CAC5C;AACD,QAAO,OAAO,OAAO,OAAO,UAAU,QAAQ,CAAC,eAAe;EAC9D;AAEN,MAAa,eAAe,QAAQ,WAElC,+BAA+B;AAGjC,MAAa,SAAS,cACpB,MAAM,QAAQ,cAAc,iBAAiB,UAAU,CAAC"}

package/dist/Api.d.ts

@@ -0,0 +1,27 @@
+import { AnyWithProps as AnyWithProps$1 } from "./DatabaseSchema.js";
+import { GenericSchema, SchemaDefinition } from "convex/server";
+import * as Spec from "@confect/core/Spec";
+
+//#region src/Api.d.ts
+declare namespace Api_d_exports {
+  export { Any, AnyWithProps, Api, Groups, Schema, TypeId, isApi, make };
+}
+declare const TypeId = "@confect/server/Api";
+type TypeId = typeof TypeId;
+declare const isApi: (u: unknown) => u is Any;
+interface Api<DatabaseSchema_ extends AnyWithProps$1, Spec_ extends Spec.AnyWithProps> {
+  readonly [TypeId]: TypeId;
+  readonly spec: Spec_;
+  readonly databaseSchema: DatabaseSchema_;
+  readonly convexSchemaDefinition: SchemaDefinition<GenericSchema, true>;
+}
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+interface AnyWithProps extends Api<AnyWithProps$1, Spec.AnyWithProps> {}
+type Schema<Api_ extends AnyWithProps> = Api_["databaseSchema"];
+type Groups<Api_ extends AnyWithProps> = Spec.Groups<Api_["spec"]>;
+declare const make: <DatabaseSchema_ extends AnyWithProps$1, Spec_ extends Spec.AnyWithProps>(databaseSchema: DatabaseSchema_, spec: Spec_) => Api<DatabaseSchema_, Spec_>;
+//#endregion
+export { Any, AnyWithProps, Api, Api_d_exports, Groups, Schema, TypeId, isApi, make };
+//# sourceMappingURL=Api.d.ts.map

package/dist/Api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Api.d.ts","names":[],"sources":["../src/Api.ts"],"sourcesContent":[],"mappings":";;;;;;;;cAMa,MAAA;KACD,MAAA,UAAgB;cAEf,4BAA2B;UAEvB,4BACS,8BACV,IAAA,CAAK;YAET,MAAA,GAAS;iBACJ;2BACU;mCACQ,iBAAiB;;UAGnC,GAAA;YACL,MAAA,GAAS;;UAGJ,YAAA,SACP,IAAI,gBAA6B,IAAA,CAAK,eApBhD;AACY,KAqBA,MArBM,CAAA,aAqBc,YArBE,CAAA,GAqBc,IArBd,CAAA,gBAAA,CAAA;AAErB,KAqBD,MArBmE,CAAA,aAqB/C,YArB+C,CAAA,GAqB/B,IAAA,CAAK,MArB0B,CAqBnB,IArBmB,CAAA,MAAA,CAAA,CAAA;AAE9D,cA6CJ,IA7CO,EAAA,CAAA,wBA8CM,cA9CN,EAAA,cA+CJ,IAAA,CAAK,YA/CD,CAAA,CAAA,cAAA,EAiDF,eAjDE,EAAA,IAAA,EAkDZ,KAlDY,EAAA,GAmDjB,GAnDiB,CAmDb,eAnDa,EAmDI,KAnDJ,CAAA"}

package/dist/Api.js

@@ -0,0 +1,26 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Predicate, Record, pipe } from "effect";
+import { defineSchema } from "convex/server";
+
+//#region src/Api.ts
+var Api_exports = /* @__PURE__ */ __export({
+	TypeId: () => TypeId,
+	isApi: () => isApi,
+	make: () => make
+});
+const TypeId = "@confect/server/Api";
+const isApi = (u) => Predicate.hasProperty(u, TypeId);
+const Proto = { [TypeId]: TypeId };
+const makeProto = ({ databaseSchema, spec }) => Object.assign(Object.create(Proto), {
+	databaseSchema,
+	spec,
+	convexSchemaDefinition: pipe(databaseSchema.tables, Record.map(({ tableDefinition }) => tableDefinition), defineSchema)
+});
+const make = (databaseSchema, spec) => makeProto({
+	databaseSchema,
+	spec
+});
+
+//#endregion
+export { Api_exports, TypeId, isApi, make };
+//# sourceMappingURL=Api.js.map

package/dist/Api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Api.js","names":["defineConvexSchema"],"sources":["../src/Api.ts"],"sourcesContent":["import type * as Spec from \"@confect/core/Spec\";\nimport type { GenericSchema, SchemaDefinition } from \"convex/server\";\nimport { defineSchema as defineConvexSchema } from \"convex/server\";\nimport { pipe, Predicate, Record } from \"effect\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\n\nexport const TypeId = \"@confect/server/Api\";\nexport type TypeId = typeof TypeId;\n\nexport const isApi = (u: unknown): u is Any => Predicate.hasProperty(u, TypeId);\n\nexport interface Api<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Spec_ extends Spec.AnyWithProps,\n> {\n  readonly [TypeId]: TypeId;\n  readonly spec: Spec_;\n  readonly databaseSchema: DatabaseSchema_;\n  readonly convexSchemaDefinition: SchemaDefinition<GenericSchema, true>;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps\n  extends Api<DatabaseSchema.AnyWithProps, Spec.AnyWithProps> {}\n\nexport type Schema<Api_ extends AnyWithProps> = Api_[\"databaseSchema\"];\n\nexport type Groups<Api_ extends AnyWithProps> = Spec.Groups<Api_[\"spec\"]>;\n\nconst Proto = {\n  [TypeId]: TypeId,\n};\n\nconst makeProto = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Spec_ extends Spec.AnyWithProps,\n>({\n  databaseSchema,\n  spec,\n}: {\n  databaseSchema: DatabaseSchema.AnyWithProps;\n  spec: Spec_;\n}): Api<DatabaseSchema_, Spec_> =>\n  Object.assign(Object.create(Proto), {\n    databaseSchema,\n    spec,\n    convexSchemaDefinition: pipe(\n      databaseSchema.tables,\n      Record.map(({ tableDefinition }) => tableDefinition),\n      defineConvexSchema,\n    ),\n  });\n\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Spec_ extends Spec.AnyWithProps,\n>(\n  databaseSchema: DatabaseSchema_,\n  spec: Spec_,\n): Api<DatabaseSchema_, Spec_> => makeProto({ databaseSchema, spec });\n"],"mappings":";;;;;;;;;;AAMA,MAAa,SAAS;AAGtB,MAAa,SAAS,MAAyB,UAAU,YAAY,GAAG,OAAO;AAuB/E,MAAM,QAAQ,GACX,SAAS,QACX;AAED,MAAM,aAGJ,EACA,gBACA,WAKA,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;CAClC;CACA;CACA,wBAAwB,KACtB,eAAe,QACf,OAAO,KAAK,EAAE,sBAAsB,gBAAgB,EACpDA,aACD;CACF,CAAC;AAEJ,MAAa,QAIX,gBACA,SACgC,UAAU;CAAE;CAAgB;CAAM,CAAC"}

package/dist/Auth.d.ts

@@ -0,0 +1,30 @@
+import { Effect, Layer, Schema } from "effect";
+import * as convex_server37 from "convex/server";
+import { Auth as Auth$1 } from "convex/server";
+import * as effect_Context2 from "effect/Context";
+import * as effect_Cause2 from "effect/Cause";
+
+//#region src/Auth.d.ts
+declare namespace Auth_d_exports {
+  export { Auth, NoUserIdentityFoundError, layer };
+}
+declare const Auth_base: effect_Context2.TagClass<Auth, "@confect/server/Auth", {
+  getUserIdentity: Effect.Effect<convex_server37.UserIdentity, NoUserIdentityFoundError, never>;
+}> & Effect.Tag.Proxy<Auth, {
+  getUserIdentity: Effect.Effect<convex_server37.UserIdentity, NoUserIdentityFoundError, never>;
+}> & {
+  use: <X>(body: (_: {
+    getUserIdentity: Effect.Effect<convex_server37.UserIdentity, NoUserIdentityFoundError, never>;
+  }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, Auth | R> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, effect_Cause2.UnknownException, Auth> : Effect.Effect<X, never, Auth>;
+};
+declare class Auth extends Auth_base {}
+declare const layer: (auth: Auth$1) => Layer.Layer<Auth, never, never>;
+declare const NoUserIdentityFoundError_base: Schema.TaggedErrorClass<NoUserIdentityFoundError, "NoUserIdentityFoundError", {
+  readonly _tag: Schema.tag<"NoUserIdentityFoundError">;
+}>;
+declare class NoUserIdentityFoundError extends NoUserIdentityFoundError_base {
+  get message(): string;
+}
+//#endregion
+export { Auth, Auth_d_exports, NoUserIdentityFoundError, layer };
+//# sourceMappingURL=Auth.d.ts.map

package/dist/Auth.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Auth.d.ts","names":[],"sources":["../src/Auth.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAC6D;;;;;;;;;cAgBhD,IAAA,SAAa,SAAA;AAhBmC,cAqBhD,KArBgD,EAAA,CAAA,IAAA,EAqBjC,MArBiC,EAAA,GAqBvB,KAAA,CAAA,KArBuB,CAqBvB,IArBuB,EAAA,KAAA,EAAA,KAAA,CAAA;cAqBc;;;cAE9D,wBAAA,SAAiC,6BAAA"}

package/dist/Auth.js

@@ -0,0 +1,24 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Effect, Layer, Option, Schema, flow } from "effect";
+
+//#region src/Auth.ts
+var Auth_exports = /* @__PURE__ */ __export({
+	Auth: () => Auth,
+	NoUserIdentityFoundError: () => NoUserIdentityFoundError,
+	layer: () => layer
+});
+const make = (auth) => ({ getUserIdentity: Effect.promise(() => auth.getUserIdentity()).pipe(Effect.andThen(flow(Option.fromNullable, Option.match({
+	onNone: () => Effect.fail(new NoUserIdentityFoundError()),
+	onSome: Effect.succeed
+})))) });
+var Auth = class extends Effect.Tag("@confect/server/Auth")() {};
+const layer = (auth) => Layer.succeed(Auth, make(auth));
+var NoUserIdentityFoundError = class extends Schema.TaggedError("NoUserIdentityFoundError")("NoUserIdentityFoundError", {}) {
+	get message() {
+		return "No user identity found";
+	}
+};
+
+//#endregion
+export { Auth, Auth_exports, NoUserIdentityFoundError, layer };
+//# sourceMappingURL=Auth.js.map

package/dist/Auth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Auth.js","names":[],"sources":["../src/Auth.ts"],"sourcesContent":["import type { Auth as ConvexAuth } from \"convex/server\";\nimport { Effect, flow, Layer, Option, Schema } from \"effect\";\n\nconst make = (auth: ConvexAuth) => ({\n  getUserIdentity: Effect.promise(() => auth.getUserIdentity()).pipe(\n    Effect.andThen(\n      flow(\n        Option.fromNullable,\n        Option.match({\n          onNone: () => Effect.fail(new NoUserIdentityFoundError()),\n          onSome: Effect.succeed,\n        }),\n      ),\n    ),\n  ),\n});\n\nexport class Auth extends Effect.Tag(\"@confect/server/Auth\")<\n  Auth,\n  ReturnType<typeof make>\n>() {}\n\nexport const layer = (auth: ConvexAuth) => Layer.succeed(Auth, make(auth));\n\nexport class NoUserIdentityFoundError extends Schema.TaggedError<NoUserIdentityFoundError>(\n  \"NoUserIdentityFoundError\",\n)(\"NoUserIdentityFoundError\", {}) {\n  override get message(): string {\n    return \"No user identity found\";\n  }\n}\n"],"mappings":";;;;;;;;;AAGA,MAAM,QAAQ,UAAsB,EAClC,iBAAiB,OAAO,cAAc,KAAK,iBAAiB,CAAC,CAAC,KAC5D,OAAO,QACL,KACE,OAAO,cACP,OAAO,MAAM;CACX,cAAc,OAAO,KAAK,IAAI,0BAA0B,CAAC;CACzD,QAAQ,OAAO;CAChB,CAAC,CACH,CACF,CACF,EACF;AAED,IAAa,OAAb,cAA0B,OAAO,IAAI,uBAAuB,EAGzD,CAAC;AAEJ,MAAa,SAAS,SAAqB,MAAM,QAAQ,MAAM,KAAK,KAAK,CAAC;AAE1E,IAAa,2BAAb,cAA8C,OAAO,YACnD,2BACD,CAAC,4BAA4B,EAAE,CAAC,CAAC;CAChC,IAAa,UAAkB;AAC7B,SAAO"}

package/dist/DataModel.d.ts

@@ -0,0 +1,33 @@
+import { AnyWithProps as AnyWithProps$1, Name, TablesRecord, WithName } from "./Table.js";
+import { AnyWithProps as AnyWithProps$2, Tables as Tables$1 } from "./DatabaseSchema.js";
+import { ConvexTableInfo, Document, TableInfo } from "./TableInfo.js";
+
+//#region src/DataModel.d.ts
+declare namespace DataModel_d_exports {
+  export { Any, AnyWithProps, DataModel, DocumentByName, DocumentWithName, FromSchema, FromTables, TableInfoWithName, TableInfoWithName_, TableNames, TableWithName, Tables, ToConvex, TypeId };
+}
+declare const TypeId: "@confect/server/DataModel";
+type TypeId = typeof TypeId;
+interface DataModel<Tables_$1 extends AnyWithProps$1> {
+  readonly [TypeId]: TypeId;
+  readonly tables: TablesRecord<Tables_$1>;
+}
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+interface AnyWithProps extends Any {
+  readonly tables: Record<string, AnyWithProps$1>;
+}
+type FromSchema<Schema extends AnyWithProps$2> = DataModel<Tables$1<Schema>>;
+type FromTables<Tables_$1 extends AnyWithProps$1> = DataModel<Tables_$1>;
+type ToConvex<DataModel_ extends AnyWithProps> = { [TableName_ in TableNames<DataModel_>]: TableInfoWithName<DataModel_, TableName_> };
+type Tables<DataModel_ extends AnyWithProps> = DataModel_ extends DataModel<infer Tables_> ? Tables_ : never;
+type TableNames<DataModel_ extends AnyWithProps> = Name<Tables<DataModel_>> & string;
+type TableWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = WithName<Tables<DataModel_>, TableName>;
+type TableInfoWithName_<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = TableInfo<WithName<Tables<DataModel_>, TableName>>;
+type TableInfoWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = ConvexTableInfo<TableInfo<WithName<Tables<DataModel_>, TableName>>>;
+type DocumentWithName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = Document<TableInfo<WithName<Tables<DataModel_>, TableName>>>;
+type DocumentByName<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>> = DocumentWithName<DataModel_, TableName>;
+//#endregion
+export { Any, AnyWithProps, DataModel, DataModel_d_exports, DocumentByName, DocumentWithName, FromSchema, FromTables, TableInfoWithName, TableInfoWithName_, TableNames, TableWithName, Tables, ToConvex, TypeId };
+//# sourceMappingURL=DataModel.d.ts.map

package/dist/DataModel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DataModel.d.ts","names":[],"sources":["../src/DataModel.ts"],"sourcesContent":[],"mappings":";;;;;;;;cAIqB;KACT,MAAA,UAAgB;UAEX,4BAA0B;YAC/B,MAAA,GAAS;mBACF,aAAmB;;UAGrB,GAAA;YACL,MAAA,GAAS;;UAGJ,YAAA,SAAqB;mBACnB,eAAe;;KAGtB,0BAA0B,kBAA+B,UACnE,SAAsB;KAGZ,6BAA2B,kBAAsB,UAAU;KAE3D,4BAA4B,iCACvB,WAAW,cAAc,kBACtC,YACA;KAIQ,0BAA0B,gBACpC,mBAAmB,2BAA2B;KAEpC,8BAA8B,gBAAgB,KACxD,OAAO;AAjCY,KAqCT,aArC4C,CAAA,mBAsCnC,YAtCmC,EAAA,kBAuCpC,UAvCoC,CAuCzB,UAvCyB,CAAA,CAAA,GAwCpD,QAxCoD,CAwCrC,MAxCqC,CAwC9B,UAxC8B,CAAA,EAwCjB,SAxCiB,CAAA;AAC5C,KAyCA,kBAzCgB,CAAA,mBA0CP,YA1Ca,EAAA,kBA2Cd,UA3Cc,CA2CH,UA3CG,CAAA,CAAA,GA4C9B,SA5C8B,CA4CV,QA5CU,CA4CK,MA5CL,CA4CY,UA5CZ,CAAA,EA4CyB,SA5CzB,CAAA,CAAA;AAEjB,KA4CL,iBA5Cc,CAAA,mBA6CL,YA7CK,EAAA,kBA8CN,UA9CM,CA8CK,UA9CL,CAAA,CAAA,GA+CtB,eA/CsB,CAgDxB,SAhDwB,CAgDJ,QAhDI,CAgDW,MAhDX,CAgDkB,UAhDlB,CAAA,EAgD+B,SAhD/B,CAAA,CAAA,CAAA;AAAiB,KAmD/B,gBAnD+B,CAAA,mBAoDtB,YApDsB,EAAA,kBAqDvB,UArDuB,CAqDZ,UArDY,CAAA,CAAA,GAsDvC,QAtDuC,CAuDzC,SAvDyC,CAuDrB,QAvDqB,CAuDN,MAvDM,CAuDC,UAvDD,CAAA,EAuDc,SAvDd,CAAA,CAAA,CAAA;AACtB,KAyDT,cAzDS,CAAA,mBA0DA,YA1DA,EAAA,kBA2DD,UA3DC,CA2DU,UA3DV,CAAA,CAAA,GA4DjB,gBA5DiB,CA4DA,UA5DA,EA4DY,SA5DZ,CAAA"}

package/dist/DataModel.js

@@ -0,0 +1,6 @@
+//#region src/DataModel.ts
+var DataModel_exports = {};
+
+//#endregion
+export { DataModel_exports };
+//# sourceMappingURL=DataModel.js.map

package/dist/DataModel.js.map

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

package/dist/DatabaseReader.d.ts

@@ -0,0 +1,73 @@
+import { Name, WithName } from "./Table.js";
+import { AnyWithProps, IncludeSystemTables, Tables } from "./DatabaseSchema.js";
+import { DocumentDecodeError } from "./Document.js";
+import { TableInfo } from "./TableInfo.js";
+import { DataModel, FromSchema, TableInfoWithName, ToConvex } from "./DataModel.js";
+import { OrderedQuery as OrderedQuery$1 } from "./OrderedQuery.js";
+import { GetByIdFailure, GetByIndexFailure } from "./QueryInitializer.js";
+import { Context, Layer } from "effect";
+import * as convex_server0 from "convex/server";
+import { GenericDatabaseReader } from "convex/server";
+import * as convex_values0 from "convex/values";
+import * as _confect_core_Types0 from "@confect/core/Types";
+import * as effect_Effect0 from "effect/Effect";
+
+//#region src/DatabaseReader.d.ts
+declare namespace DatabaseReader_d_exports {
+  export { DatabaseReader, layer, make };
+}
+declare const make: <DatabaseSchema_ extends AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseReader: GenericDatabaseReader<ToConvex<FromSchema<DatabaseSchema_>>>) => {
+  table: <const TableName extends Name<IncludeSystemTables<Tables<DatabaseSchema_>>>>(tableName: TableName) => {
+    readonly get: {
+      (id: convex_values0.GenericId<TableName>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], GetByIdFailure | DocumentDecodeError, never>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, ...indexFieldValues: _confect_core_Types0.IndexFieldTypesForEq<ToConvex<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>>, TableName, TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"][IndexName]>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], DocumentDecodeError | GetByIndexFailure, never>;
+    };
+    readonly index: {
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, indexRange?: ((q: convex_server0.IndexRangeBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>, 0>) => convex_server0.IndexRange) | undefined, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+    };
+    readonly search: <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["searchIndexes"]>(indexName: IndexName, searchFilter: (q: convex_server0.SearchFilterBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedSearchIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>>) => convex_server0.SearchFilter) => OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+  };
+};
+declare const DatabaseReader: <DatabaseSchema_ extends AnyWithProps>() => Context.Tag<{
+  table: <const TableName extends Name<IncludeSystemTables<Tables<DatabaseSchema_>>>>(tableName: TableName) => {
+    readonly get: {
+      (id: convex_values0.GenericId<TableName>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], GetByIdFailure | DocumentDecodeError, never>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, ...indexFieldValues: _confect_core_Types0.IndexFieldTypesForEq<ToConvex<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>>, TableName, TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"][IndexName]>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], DocumentDecodeError | GetByIndexFailure, never>;
+    };
+    readonly index: {
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, indexRange?: ((q: convex_server0.IndexRangeBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>, 0>) => convex_server0.IndexRange) | undefined, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+    };
+    readonly search: <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["searchIndexes"]>(indexName: IndexName, searchFilter: (q: convex_server0.SearchFilterBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedSearchIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>>) => convex_server0.SearchFilter) => OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+  };
+}, {
+  table: <const TableName extends Name<IncludeSystemTables<Tables<DatabaseSchema_>>>>(tableName: TableName) => {
+    readonly get: {
+      (id: convex_values0.GenericId<TableName>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], GetByIdFailure | DocumentDecodeError, never>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, ...indexFieldValues: _confect_core_Types0.IndexFieldTypesForEq<ToConvex<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>>, TableName, TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"][IndexName]>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], DocumentDecodeError | GetByIndexFailure, never>;
+    };
+    readonly index: {
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, indexRange?: ((q: convex_server0.IndexRangeBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>, 0>) => convex_server0.IndexRange) | undefined, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+    };
+    readonly search: <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["searchIndexes"]>(indexName: IndexName, searchFilter: (q: convex_server0.SearchFilterBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedSearchIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>>) => convex_server0.SearchFilter) => OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+  };
+}>;
+type DatabaseReader<DatabaseSchema_ extends AnyWithProps> = ReturnType<typeof DatabaseReader<DatabaseSchema_>>["Identifier"];
+declare const layer: <DatabaseSchema_ extends AnyWithProps>(databaseSchema: DatabaseSchema_, convexDatabaseReader: GenericDatabaseReader<ToConvex<FromSchema<DatabaseSchema_>>>) => Layer.Layer<{
+  table: <const TableName extends Name<IncludeSystemTables<Tables<DatabaseSchema_>>>>(tableName: TableName) => {
+    readonly get: {
+      (id: convex_values0.GenericId<TableName>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], GetByIdFailure | DocumentDecodeError, never>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, ...indexFieldValues: _confect_core_Types0.IndexFieldTypesForEq<ToConvex<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>>, TableName, TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"][IndexName]>): effect_Effect0.Effect<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["document"], DocumentDecodeError | GetByIndexFailure, never>;
+    };
+    readonly index: {
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, indexRange?: ((q: convex_server0.IndexRangeBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>, 0>) => convex_server0.IndexRange) | undefined, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+      <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["indexes"]>(indexName: IndexName, order?: "asc" | "desc"): OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+    };
+    readonly search: <IndexName extends keyof TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["searchIndexes"]>(indexName: IndexName, searchFilter: (q: convex_server0.SearchFilterBuilder<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>["convexDocument"], convex_server0.NamedSearchIndex<TableInfoWithName<DataModel<IncludeSystemTables<Tables<DatabaseSchema_>>>, TableName>, IndexName>>) => convex_server0.SearchFilter) => OrderedQuery$1<TableInfo<WithName<IncludeSystemTables<Tables<DatabaseSchema_>>, TableName>>, TableName>;
+  };
+}, never, never>;
+//#endregion
+export { DatabaseReader, DatabaseReader_d_exports, layer, make };
+//# sourceMappingURL=DatabaseReader.d.ts.map

package/dist/DatabaseReader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseReader.d.ts","names":[],"sources":["../src/DatabaseReader.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;;;;;;cAQa,+BAAgC,8BAC3B,uCACM,sBACpB,SAAmB,WAAqB;kCAUR,KAAU,oBAAA,OAAA,+BAC7B;;;;;;;;;;;;cAgCJ,yCACa,mBAA2B,OAAA,CAAA;kCAlC1B,KAAA,oBAAA,OAAA,+BAAA;IAbd,SA4CZ,GAAA,EAAA;MA5C4C,CAAA,EAAA,0BAAA,UAAA,CAAA,CAAA,uBAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,UAAA,CAAA,gBAAA,sBAAA,EAAA,KAAA,CAAA;MAC3B,CAAA,kBAAA,eAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,SAAA,CAAA,CAAA,CAAA,SAAA,WAAA,EAAA,GAAA,gBAAA,2CAAA,SAAA,UAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,CAAA,CAAA,WAAA,WAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,SAAA,CAAA,UAAA,CAAA,CAAA,CAAA,uBAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,UAAA,CAAA,yCAAA,EAAA,KAAA,CAAA;IAE0B,CAAA;IAArB,SAAA,KAAA,EAAA;MAAnB,CAAA,kBAAA,eAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,SAAA,CAAA,CAAA,CAAA,SAAA,WAAA,EAAA,UAAA,CAAA,EAAA,CAAA,CAAA,CAAA,kCAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,gBAAA,CAAA,2BAAA,kBAAA,UAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,CAAA,WAAA,CAAA,WAAA,CAAA,EAAA,CAAA,CAAA,EAAA,4BAAA,CAAA,GAAA,SAAA,EAAA,KAAA,CAAA,EAAA,KAAA,GAAA,MAAA,CAAA,gBAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,WAAA,CAAA;MADoB,CAAA,kBAAA,eAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,SAAA,CAAA,CAAA,CAAA,SAAA,WAAA,EAAA,KAAA,CAAA,EAAA,KAAA,GAAA,MAAA,CAAA,gBAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,WAAA,CAAA;IAWsB,CAAA;IAAA,SAAA,MAAA,EAAA,CAAA,kBAAA,eAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,eAAA,CAAA,CAAA,CAAA,SAAA,WAAA,EAAA,YAAA,EAAA,CAAA,CAAA,oCAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,CAAA,gBAAA,CAAA,iCAAA,kBAAA,UAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,CAAA,WAAA,CAAA,WAAA,CAAA,CAAA,EAAA,8BAAA,EAAA,iBAAA,UAAA,SAAA,oBAAA,OAAA,gBAAA,CAAA,CAAA,WAAA,CAAA,CAAA,WAAA,CAAA;EAAA,CAAA;CAAV,EAAA;EACnB,KAAA,EAAA,CAAA,wBADU,IACV,CADU,mBACV,CADU,MACV,CADU,eACV,CAAA,CAAA,CAAA,CAAA,CAAA,SAAA,EADU,SACV,EAAA,GAAA;;;;;;;;;;;;KAuCL,uCACc,gBACtB,kBAAkB,eAAe;cAExB,gCAAiC,8BAC5B,uCACM,sBACpB,SAAmB,WAAqB,uBACzC,KAAA,CAAA;kCAhDwB,KAAA,oBAAA,OAAA,+BAAA"}

package/dist/DatabaseReader.js

@@ -0,0 +1,32 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { systemTables } from "./Table.js";
+import { extendWithSystemTables } from "./DatabaseSchema.js";
+import { make as make$1 } from "./QueryInitializer.js";
+import { Array, Context, Layer } from "effect";
+
+//#region src/DatabaseReader.ts
+var DatabaseReader_exports = /* @__PURE__ */ __export({
+	DatabaseReader: () => DatabaseReader,
+	layer: () => layer,
+	make: () => make
+});
+const make = (databaseSchema, convexDatabaseReader) => {
+	const extendedTables = extendWithSystemTables(databaseSchema.tables);
+	return { table: (tableName) => {
+		const table = Object.values(extendedTables).find((def) => def.name === tableName);
+		const baseDatabaseReader = Array.some(Object.values(systemTables), (systemTableDef) => systemTableDef.name === tableName) ? {
+			get: convexDatabaseReader.system.get,
+			query: convexDatabaseReader.system.query
+		} : {
+			get: convexDatabaseReader.get,
+			query: convexDatabaseReader.query
+		};
+		return make$1(tableName, baseDatabaseReader, table);
+	} };
+};
+const DatabaseReader = () => Context.GenericTag("@confect/server/DatabaseReader");
+const layer = (databaseSchema, convexDatabaseReader) => Layer.succeed(DatabaseReader(), make(databaseSchema, convexDatabaseReader));
+
+//#endregion
+export { DatabaseReader, DatabaseReader_exports, layer, make };
+//# sourceMappingURL=DatabaseReader.js.map

package/dist/DatabaseReader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseReader.js","names":["DatabaseSchema.extendWithSystemTables","baseDatabaseReader: BaseDatabaseReader<any>","Table.systemTables","QueryInitializer.make"],"sources":["../src/DatabaseReader.ts"],"sourcesContent":["import type { GenericDatabaseReader } from \"convex/server\";\nimport { Array, Context, Layer } from \"effect\";\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\nexport const make = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(\n  databaseSchema: DatabaseSchema_,\n  convexDatabaseReader: GenericDatabaseReader<\n    DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n  >,\n) => {\n  type Tables = DatabaseSchema.Tables<DatabaseSchema_>;\n  type IncludedTables = DatabaseSchema.IncludeSystemTables<Tables>;\n  const extendedTables = DatabaseSchema.extendWithSystemTables(\n    databaseSchema.tables as Table.TablesRecord<Tables>,\n  );\n\n  return {\n    table: <const TableName extends Table.Name<IncludedTables>>(\n      tableName: TableName,\n    ) => {\n      const table = Object.values(extendedTables).find(\n        (def) => def.name === tableName,\n      ) as Table.WithName<IncludedTables, TableName>;\n\n      const baseDatabaseReader: BaseDatabaseReader<any> = Array.some(\n        Object.values(Table.systemTables),\n        (systemTableDef) => systemTableDef.name === tableName,\n      )\n        ? ({\n            get: convexDatabaseReader.system.get,\n            query: convexDatabaseReader.system.query,\n          } as BaseDatabaseReader<\n            DataModel.ToConvex<DataModel.FromTables<Table.SystemTables>>\n          >)\n        : ({\n            get: convexDatabaseReader.get,\n            query: convexDatabaseReader.query,\n          } as BaseDatabaseReader<\n            DataModel.ToConvex<DataModel.FromSchema<DatabaseSchema_>>\n          >);\n\n      return QueryInitializer.make<IncludedTables, TableName>(\n        tableName,\n        baseDatabaseReader,\n        table,\n      );\n    },\n  };\n};\n\nexport const DatabaseReader = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n>() =>\n  Context.GenericTag<ReturnType<typeof make<DatabaseSchema_>>>(\n    \"@confect/server/DatabaseReader\",\n  );\n\nexport type DatabaseReader<\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n> = ReturnType<typeof DatabaseReader<DatabaseSchema_>>[\"Identifier\"];\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":";;;;;;;;;;;;AAQA,MAAa,QACX,gBACA,yBAGG;CAGH,MAAM,iBAAiBA,uBACrB,eAAe,OAChB;AAED,QAAO,EACL,QACE,cACG;EACH,MAAM,QAAQ,OAAO,OAAO,eAAe,CAAC,MACzC,QAAQ,IAAI,SAAS,UACvB;EAED,MAAMC,qBAA8C,MAAM,KACxD,OAAO,OAAOC,aAAmB,GAChC,mBAAmB,eAAe,SAAS,UAC7C,GACI;GACC,KAAK,qBAAqB,OAAO;GACjC,OAAO,qBAAqB,OAAO;GACpC,GAGA;GACC,KAAK,qBAAqB;GAC1B,OAAO,qBAAqB;GAC7B;AAIL,SAAOC,OACL,WACA,oBACA,MACD;IAEJ;;AAGH,MAAa,uBAGX,QAAQ,WACN,iCACD;AAMH,MAAa,SACX,gBACA,yBAIA,MAAM,QACJ,gBAAiC,EACjC,KAAK,gBAAgB,qBAAqB,CAC3C"}

package/dist/DatabaseSchema.d.ts

@@ -0,0 +1,139 @@
+import { AnyWithProps as AnyWithProps$1, Name, SystemTables, Table, TablesRecord, WithName } from "./Table.js";
+import { Expand, GenericSchema, SchemaDefinition } from "convex/server";
+import * as convex_values60 from "convex/values";
+import * as effect_Schema0 from "effect/Schema";
+
+//#region src/DatabaseSchema.d.ts
+declare namespace DatabaseSchema_d_exports {
+  export { Any, AnyWithProps, ConvexDatabaseSchemaFromTables, DatabaseSchema, ExtendWithSystemTables, IncludeSystemTables, TableNames, TableWithName, Tables, TypeId, extendWithSystemTables, isSchema, make, systemSchema };
+}
+declare const TypeId = "@confect/server/DatabaseSchema";
+type TypeId = typeof TypeId;
+declare const isSchema: (u: unknown) => u is Any;
+/**
+ * A schema definition tracks the schema and its Convex schema definition.
+ */
+interface DatabaseSchema<Tables_$1 extends AnyWithProps$1 = never> {
+  readonly [TypeId]: TypeId;
+  readonly tables: TablesRecord<Tables_$1>;
+  readonly convexSchemaDefinition: SchemaDefinition<ConvexDatabaseSchemaFromTables<Tables_$1>, true>;
+  /**
+   * Add a table definition to the schema.
+   */
+  addTable<TableDef extends AnyWithProps$1>(table: TableDef): DatabaseSchema<Tables_$1 | TableDef>;
+}
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+interface AnyWithProps {
+  readonly [TypeId]: TypeId;
+  readonly tables: Record<string, AnyWithProps$1>;
+  readonly convexSchemaDefinition: SchemaDefinition<GenericSchema, true>;
+  addTable<TableDef extends AnyWithProps$1>(table: TableDef): AnyWithProps;
+}
+type Tables<DatabaseSchema_ extends AnyWithProps> = DatabaseSchema_ extends DatabaseSchema<infer Tables_> ? Tables_ : never;
+type TableNames<DatabaseSchema_ extends AnyWithProps> = Name<Tables<DatabaseSchema_>> & string;
+type TableWithName<DatabaseSchema_ extends AnyWithProps, TableName$1 extends TableNames<DatabaseSchema_>> = Extract<Tables<DatabaseSchema_>, {
+  readonly name: TableName$1;
+}>;
+/**
+ * Create an empty schema definition. Add tables incrementally via `addTable`.
+ */
+declare const make: () => DatabaseSchema<never>;
+type ConvexDatabaseSchemaFromTables<Tables_$1 extends AnyWithProps$1> = Expand<{ [TableName in Name<Tables_$1> & string]: WithName<Tables_$1, TableName>["tableDefinition"] }>;
+declare const systemSchema: DatabaseSchema<Table<"_scheduled_functions", effect_Schema0.Struct<{
+  name: typeof effect_Schema0.String;
+  args: effect_Schema0.Array$<typeof effect_Schema0.Any>;
+  scheduledTime: typeof effect_Schema0.Number;
+  completedTime: effect_Schema0.optionalWith<typeof effect_Schema0.Number, {
+    exact: true;
+  }>;
+  state: effect_Schema0.Union<[effect_Schema0.Struct<{
+    kind: effect_Schema0.Literal<["pending"]>;
+  }>, effect_Schema0.Struct<{
+    kind: effect_Schema0.Literal<["inProgress"]>;
+  }>, effect_Schema0.Struct<{
+    kind: effect_Schema0.Literal<["success"]>;
+  }>, effect_Schema0.Struct<{
+    kind: effect_Schema0.Literal<["failed"]>;
+    error: typeof effect_Schema0.String;
+  }>, effect_Schema0.Struct<{
+    kind: effect_Schema0.Literal<["canceled"]>;
+  }>]>;
+}>, convex_values60.VObject<{
+  name: string;
+  args: any[];
+  scheduledTime: number;
+  state: {
+    kind: "pending";
+  } | {
+    kind: "inProgress";
+  } | {
+    kind: "success";
+  } | {
+    kind: "failed";
+    error: string;
+  } | {
+    kind: "canceled";
+  };
+  completedTime?: number;
+}, {
+  name: convex_values60.VString<string, "required">;
+  args: convex_values60.VArray<any[], convex_values60.VAny<any, "required", string>, "required">;
+  scheduledTime: convex_values60.VFloat64<number, "required">;
+  state: convex_values60.VUnion<{
+    kind: "pending";
+  } | {
+    kind: "inProgress";
+  } | {
+    kind: "success";
+  } | {
+    kind: "failed";
+    error: string;
+  } | {
+    kind: "canceled";
+  }, [convex_values60.VObject<{
+    kind: "pending";
+  }, {
+    kind: convex_values60.VLiteral<"pending", "required">;
+  }, "required", "kind">, convex_values60.VObject<{
+    kind: "inProgress";
+  }, {
+    kind: convex_values60.VLiteral<"inProgress", "required">;
+  }, "required", "kind">, convex_values60.VObject<{
+    kind: "success";
+  }, {
+    kind: convex_values60.VLiteral<"success", "required">;
+  }, "required", "kind">, convex_values60.VObject<{
+    kind: "failed";
+    error: string;
+  }, {
+    kind: convex_values60.VLiteral<"failed", "required">;
+    error: convex_values60.VString<string, "required">;
+  }, "required", "kind" | "error">, convex_values60.VObject<{
+    kind: "canceled";
+  }, {
+    kind: convex_values60.VLiteral<"canceled", "required">;
+  }, "required", "kind">], "required", "kind" | "error">;
+  completedTime: convex_values60.VFloat64<number | undefined, "optional">;
+}, "required", "name" | "args" | "scheduledTime" | "completedTime" | "state" | "state.kind" | "state.error">, {}, {}, {}> | Table<"_storage", effect_Schema0.Struct<{
+  sha256: typeof effect_Schema0.String;
+  size: typeof effect_Schema0.Number;
+  contentType: effect_Schema0.optionalWith<typeof effect_Schema0.String, {
+    exact: true;
+  }>;
+}>, convex_values60.VObject<{
+  sha256: string;
+  size: number;
+  contentType?: string;
+}, {
+  sha256: convex_values60.VString<string, "required">;
+  size: convex_values60.VFloat64<number, "required">;
+  contentType: convex_values60.VString<string | undefined, "optional">;
+}, "required", "sha256" | "size" | "contentType">, {}, {}, {}>>;
+declare const extendWithSystemTables: <Tables_$1 extends AnyWithProps$1>(tables: TablesRecord<Tables_$1>) => ExtendWithSystemTables<Tables_$1>;
+type ExtendWithSystemTables<Tables_$1 extends AnyWithProps$1> = TablesRecord<Tables_$1 | SystemTables>;
+type IncludeSystemTables<Tables_$1 extends AnyWithProps$1> = Tables_$1 | SystemTables extends infer T ? T extends AnyWithProps$1 ? T : never : never;
+//#endregion
+export { Any, AnyWithProps, ConvexDatabaseSchemaFromTables, DatabaseSchema, DatabaseSchema_d_exports, ExtendWithSystemTables, IncludeSystemTables, TableNames, TableWithName, Tables, TypeId, extendWithSystemTables, isSchema, make, systemSchema };
+//# sourceMappingURL=DatabaseSchema.d.ts.map

package/dist/DatabaseSchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseSchema.d.ts","names":[],"sources":["../src/DatabaseSchema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;cAQa,MAAA;KACD,MAAA,UAAgB;cAEf,+BAA8B;;;;UAM1B,iCAA+B;YACpC,MAAA,GAAS;mBACF,aAAmB;mCACH,iBAC/B,+BAA+B;;;;4BAOP,uBACjB,WACN,eAAe,YAAU;;UAGb,GAAA;YACL,MAAA,GAAS;;UAGJ,YAAA;YACL,MAAA,GAAS;EA9BR,SAAM,MAAA,EA+BA,MA/BA,CAAA,MAAA,EA+Be,cA/Bf,CAAA;EACP,SAAM,sBAAgB,EA+BC,gBA/BD,CA+BkB,aA/BlB,EAAA,IAAA,CAAA;EAErB,QAAA,CAAA,iBA8Be,cA7BM,CAAA,CAAA,KAAA,EA6BqB,QA7BrB,CAAA,EA6BgC,YA7BhC;AAKlC;AAAgD,KA2BpC,MA3BoC,CAAA,wBA2BL,YA3BK,CAAA,GA4B9C,eA5B8C,SA4BtB,cA5BsB,CAAA,KAAA,QAAA,CAAA,GA4BU,OA5BV,GAAA,KAAA;AAC3B,KA6BT,UA7BS,CAAA,wBA6B0B,YA7B1B,CAAA,GA6B0C,IA7B1C,CA8BnB,MA9BmB,CA8BZ,eA9BY,CAAA,CAAA,GAAA,MAAA;AAAT,KAkCA,aAlCA,CAAA,wBAmCc,YAnCd,EAAA,oBAoCQ,UApCR,CAoCmB,eApCnB,CAAA,CAAA,GAqCR,OArCQ,CAqCA,MArCA,CAqCO,eArCP,CAAA,EAAA;EAC0B,SAAA,IAAA,EAoCgB,WApChB;CAAnB,CAAA;;;;AASS,cAoEf,IApEe,EAAA,GAAA,GAoEJ,cApEI,CAAA,KAAA,CAAA;AACjB,KAyEC,8BAzED,CAAA,kBAyEgD,cAzEhD,CAAA,GA0ET,MA1ES,CAAA,gBA2EO,IA1EE,CA0ES,SA1ET,CAAA,GAAA,MAAA,GA0E6B,QA1E7B,CA2Ed,SA3Ec,EA4Ed,SA5Ec,CAAA,CAAA,iBAAA,CAAA,EAAU,CAAA;AAAzB,cAkFQ,YAlFR,EAkFoB,cAlFpB,CAkFoB,KAlFpB,CAAA,sBAAA,iBAkFoB,MAlFpB,CAAA;EAAc,IAAA,EAAA,OAoFY,cAAA,CAAA,MApFZ;EAGF,IAAA,uBACC,CAAA,yBAAA,CAAA;EAGD,aAAA,EAAY,4BAAA;EACR,aAAA,6BAAA,CAAA,4BAAA,EAAA;IAAT,KAAA,EAAA,IAAA;EACsB,CAAA,CAAA;EAAf,KAAA,sBAAA,CAAA,sBAAA,CAAA;IACiC,IAAA,wBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;EAAjB,CAAA,CAAA,uBAAA,CAAA;IACP,IAAA,wBAAA,CAAA,CAAA,YAAA,CAAA,CAAA;EAA2B,CAAA,CAAA,uBAAA,CAAA;IAAW,IAAA,wBAAA,CAAA,CAAA,SAAA,CAAA,CAAA;EAAY,CAAA,CAAA,uBAAA,CAAA;IAGlE,IAAA,wBAAM,CAAA,CAAA,QAAA,CAAA,CAAA;IAAyB,KAAA,EAAA,4BAAA;EACzC,CAAA,CAAA,uBAAA,CAAA;IAAwB,IAAA,wBAAA,CAAA,CAAA,UAAA,CAAA,CAAA;EAAgC,CAAA,CAAA,CAAA,CAAA;CAAO,CAAA,yBAAA,CAAA;EAErD,IAAA,EAAA,MAAA;EAAmC,IAAA,EAAA,GAAA,EAAA;EACtC,aAAA,EAAA,MAAA;EAAP,KAAA,EAAA;IAD6D,IAAA,EAAA,SAAA;EAAU,CAAA,GAAA;IAK7D,IAAA,EAAA,YAAa;EACC,CAAA,GAAA;IACK,IAAA,EAAA,SAAA;EAAX,CAAA,GAAA;IACD,IAAA,EAAA,QAAA;IAAP,KAAA,EAAA,MAAA;EAA0C,CAAA,GAAA;IAAlD,IAAA,EAAA,UAAA;EAAO,CAAA;EAyCE,aAIT,CAAA,EAAA,MAJoB;AAMxB,CAAA,EAAA;EAA2D,IAAA,EAUlC,eAAA,CAAA,OAVkC,CAAA,MAAA,EAAA,UAAA,CAAA;EAE9B,IAAA,wBAAA,CAAA,GAAA,EAAA,sBAAA,CAAA,GAAA,EAAA,UAAA,EAAA,MAAA,CAAA,EAAA,UAAA,CAAA;EAAX,aAAA,0BAAA,CAAA,MAAA,EAAA,UAAA,CAAA;EACZ,KAAA,wBAAA,CAAA;IACA,IAAA,EAAA,SAAA;EAF2C,CAAA,GAAA;IAD/C,IAAA,EAAA,YAAA;EAAM,CAAA,GAAA;IASK,IAAA,EAAA,SAEkB;EAAA,CAAA,GAAA;;;;;;;;;;;;;;;;;;kBAFN;IAAA,KAAA,EAAA,MAAA;;;;;;;;;;;iBAAA,cAAA,CAAA;;;;;;;EAAA,IAAA,EAAA,MAAA;EAAA,WAAA,CAAA,EAAA,MAAA;;;;;;cAIZ,2CAA0C,wBAC7C,aAAmB,eAC1B,uBAAuB;KAMd,yCAAuC,kBACjD,aAAmB,YAAU;KAEnB,sCAAoC,kBAC5C,YACA,+BACA,UAAU,iBACR"}