@confect/server 1.0.0-next.0 → 1.0.0-next.2

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@confect/server",
-  "version": "1.0.0-next.0",
-  "description": "Confect server",
+  "version": "1.0.0-next.2",
+  "description": "Backend bindings to the Convex platform",
   "repository": {
     "type": "git",
     "url": "https://github.com/rjdellecese/confect.git"
@@ -9,7 +9,7 @@
   "bugs": {
     "url": "https://github.com/rjdellecese/confect/issues"
   },
-  "homepage": "https://confect.rjdellecese.com",
+  "homepage": "https://confect.dev",
   "sideEffects": false,
   "type": "module",
   "files": [
@@ -39,37 +39,38 @@
   "author": "RJ Dellecese",
   "license": "ISC",
   "devDependencies": {
-    "@effect/cluster": "0.52.9",
-    "@effect/experimental": "0.57.1",
-    "@effect/language-service": "0.56.0",
-    "@effect/platform-node": "0.100.0",
-    "@effect/rpc": "0.72.1",
-    "@effect/sql": "0.48.0",
+    "@effect/cluster": "0.56.3",
+    "@effect/experimental": "0.58.0",
+    "@effect/language-service": "0.73.1",
+    "@effect/platform": "0.94.4",
+    "@effect/platform-node": "0.104.1",
+    "@effect/rpc": "0.73.0",
+    "@effect/sql": "0.49.0",
     "@effect/vitest": "0.27.0",
-    "@effect/workflow": "^0.12.5",
-    "@eslint/js": "9.39.1",
+    "@effect/workflow": "0.16.0",
+    "@eslint/js": "9.39.2",
     "@swc/jest": "0.2.39",
-    "@tsconfig/strictest": "2.0.8",
-    "@types/node": "24.10.1",
+    "@types/node": "25.2.3",
     "@vitest/coverage-v8": "3.2.4",
-    "convex-test": "0.0.38",
-    "dotenv": "17.2.3",
-    "eslint": "9.39.1",
-    "prettier": "3.6.2",
-    "tsdown": "0.16.4",
+    "convex-test": "0.0.41",
+    "dotenv": "17.3.1",
+    "effect": "3.19.16",
+    "eslint": "9.39.2",
+    "prettier": "3.8.1",
+    "tsdown": "0.20.3",
     "typescript": "5.9.3",
-    "typescript-eslint": "8.46.4",
-    "vite": "7.2.2",
-    "vite-tsconfig-paths": "5.1.4",
+    "typescript-eslint": "8.55.0",
+    "vite": "7.3.1",
+    "vite-tsconfig-paths": "6.1.1",
     "vitest": "3.2.4",
-    "@confect/cli": "1.0.0-next.0",
-    "@confect/test": "1.0.0-next.0"
+    "@confect/cli": "1.0.0-next.2",
+    "@confect/test": "1.0.0-next.2"
   },
   "peerDependencies": {
-    "@effect/platform": "^0.93.2",
+    "@effect/platform": "^0.94.4",
     "convex": "^1.30.0",
-    "effect": "^3.19.3",
-    "@confect/core": "1.0.0-next.0"
+    "effect": "^3.19.16",
+    "@confect/core": "1.0.0-next.2"
   },
   "engines": {
     "node": ">=22",
@@ -84,7 +85,8 @@
     "test": "vitest run",
     "typecheck": "tsc --noEmit --project tsconfig.json",
     "fix": "prettier --write . && eslint --fix . --max-warnings=0",
-    "lint": "prettier --check . && eslint . --max-warnings=0",
+    "format": "prettier --check .",
+    "lint": "eslint . --max-warnings=0",
     "clean": "rm -rf dist coverage node_modules"
   }
 }

package/src/Api.ts

@@ -23,8 +23,10 @@ export interface Any {
   readonly [TypeId]: TypeId;
 }
 
-export interface AnyWithProps
-  extends Api<DatabaseSchema.AnyWithProps, Spec.AnyWithProps> {}
+export interface AnyWithProps extends Api<
+  DatabaseSchema.AnyWithProps,
+  Spec.AnyWithProps
+> {}
 
 export type Schema<Api_ extends AnyWithProps> = Api_["databaseSchema"];
 

package/src/DatabaseWriter.ts

@@ -22,124 +22,113 @@ export const make = <DatabaseSchema_ extends DatabaseSchema.AnyWithProps>(
   >,
 ) => {
   type DataModel_ = DataModel.FromSchema<DatabaseSchema_>;
+  const tables = databaseSchema.tables as Record<string, Table.AnyWithProps>;
 
-  const insert = <TableName extends DataModel.TableNames<DataModel_>>(
+  const table = <const TableName extends DataModel.TableNames<DataModel_>>(
     tableName: TableName,
-    document: Document.WithoutSystemFields<
-      DocumentByName_<DataModel_, TableName>
-    >,
-  ) =>
-    Effect.gen(function* () {
-      const table = (
-        databaseSchema.tables as Record<string, Table.AnyWithProps>
-      )[tableName]!;
-
-      const encodedDocument = yield* Document.encode(
-        document,
-        tableName,
-        table.Fields,
-      );
-
-      const id = yield* Effect.promise(() =>
-        convexDatabaseWriter.insert(
+  ) => {
+    const tableDef = tables[tableName]!;
+    const tableSchema = tableDef.Fields as TableInfo.TableSchema<
+      DataModel.TableInfoWithName_<DataModel_, TableName>
+    >;
+
+    const insert = (
+      document: Document.WithoutSystemFields<
+        DocumentByName_<DataModel_, TableName>
+      >,
+    ) =>
+      Effect.gen(function* () {
+        const encodedDocument = yield* Document.encode(
+          document,
           tableName,
-          encodedDocument as WithoutSystemFields<
-            DocumentByName<DataModel.ToConvex<DataModel_>, TableName>
-          >,
-        ),
-      );
-
-      return id;
-    });
-
-  const patch = <TableName extends DataModel.TableNames<DataModel_>>(
-    tableName: TableName,
-    id: GenericId<TableName>,
-    patchedValues: Partial<
-      WithoutSystemFields<DocumentByName_<DataModel_, TableName>>
-    >,
-  ) =>
-    Effect.gen(function* () {
-      const table = (
-        databaseSchema.tables as Record<string, Table.AnyWithProps>
-      )[tableName]!;
-
-      const tableSchema = table.Fields as TableInfo.TableSchema<
-        DataModel.TableInfoWithName_<DataModel_, TableName>
-      >;
-
-      const originalDecodedDoc = yield* QueryInitializer.getById(
-        tableName,
-        convexDatabaseWriter as any,
-        table,
-      )(id);
-
-      const updatedEncodedDoc = yield* pipe(
-        patchedValues,
-        Record.reduce(originalDecodedDoc, (acc, value, key) =>
-          value === undefined
-            ? Record.remove(acc, key)
-            : Record.set(acc, key, value),
-        ),
-        Document.encode(tableName, tableSchema),
-      );
-
-      yield* Effect.promise(() =>
-        convexDatabaseWriter.replace(
-          id,
-          updatedEncodedDoc as Expand<
-            BetterOmit<
-              DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,
-              "_creationTime" | "_id"
-            >
-          >,
-        ),
-      );
-    });
-
-  const replace = <TableName extends DataModel.TableNames<DataModel_>>(
-    tableName: TableName,
-    id: GenericId<TableName>,
-    value: WithoutSystemFields<DocumentByName_<DataModel_, TableName>>,
-  ) =>
-    Effect.gen(function* () {
-      const table = (
-        databaseSchema.tables as Record<string, Table.AnyWithProps>
-      )[tableName]!;
-
-      const tableSchema = table.Fields as TableInfo.TableSchema<
-        DataModel.TableInfoWithName_<DataModel_, TableName>
-      >;
-
-      const updatedEncodedDoc = yield* Document.encode(
-        value,
-        tableName,
-        tableSchema,
-      );
-
-      yield* Effect.promise(() =>
-        convexDatabaseWriter.replace(
-          id,
-          updatedEncodedDoc as Expand<
-            BetterOmit<
-              DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,
-              "_creationTime" | "_id"
-            >
-          >,
-        ),
-      );
-    });
-
-  const delete_ = <TableName extends DataModel.TableNames<DataModel_>>(
-    _tableName: TableName,
-    id: GenericId<TableName>,
-  ) => Effect.promise(() => convexDatabaseWriter.delete(id));
+          tableDef.Fields,
+        );
+
+        const id = yield* Effect.promise(() =>
+          convexDatabaseWriter.insert(
+            tableName,
+            encodedDocument as WithoutSystemFields<
+              DocumentByName<DataModel.ToConvex<DataModel_>, TableName>
+            >,
+          ),
+        );
+
+        return id;
+      });
+
+    const patch = (
+      id: GenericId<TableName>,
+      patchedValues: Partial<
+        WithoutSystemFields<DocumentByName_<DataModel_, TableName>>
+      >,
+    ) =>
+      Effect.gen(function* () {
+        const originalDecodedDoc = yield* QueryInitializer.getById(
+          tableName,
+          convexDatabaseWriter as any,
+          tableDef,
+        )(id);
+
+        const updatedEncodedDoc = yield* pipe(
+          patchedValues,
+          Record.reduce(originalDecodedDoc, (acc, value, key) =>
+            value === undefined
+              ? Record.remove(acc, key)
+              : Record.set(acc, key, value),
+          ),
+          Document.encode(tableName, tableSchema),
+        );
+
+        yield* Effect.promise(() =>
+          convexDatabaseWriter.replace(
+            id,
+            updatedEncodedDoc as Expand<
+              BetterOmit<
+                DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,
+                "_creationTime" | "_id"
+              >
+            >,
+          ),
+        );
+      });
+
+    const replace = (
+      id: GenericId<TableName>,
+      value: WithoutSystemFields<DocumentByName_<DataModel_, TableName>>,
+    ) =>
+      Effect.gen(function* () {
+        const updatedEncodedDoc = yield* Document.encode(
+          value,
+          tableName,
+          tableSchema,
+        );
+
+        yield* Effect.promise(() =>
+          convexDatabaseWriter.replace(
+            id,
+            updatedEncodedDoc as Expand<
+              BetterOmit<
+                DocumentByName<DataModel.ToConvex<DataModel_>, TableName>,
+                "_creationTime" | "_id"
+              >
+            >,
+          ),
+        );
+      });
+
+    const delete_ = (id: GenericId<TableName>) =>
+      Effect.promise(() => convexDatabaseWriter.delete(id));
+
+    return {
+      insert,
+      patch,
+      replace,
+      delete: delete_,
+    };
+  };
 
   return {
-    insert,
-    patch,
-    replace,
-    delete: delete_,
+    table,
   };
 };
 

package/src/Impl.ts

@@ -20,8 +20,10 @@ export interface Impl<
 
 export type FinalizationStatus = "Unfinalized" | "Finalized";
 
-export interface AnyWithProps
-  extends Impl<Api.AnyWithProps, FinalizationStatus> {}
+export interface AnyWithProps extends Impl<
+  Api.AnyWithProps,
+  FinalizationStatus
+> {}
 
 export const Impl = <
   Api_ extends Api.AnyWithProps,

package/src/RegisteredFunctions.ts

@@ -17,15 +17,7 @@ import {
   type RegisteredMutation,
   type RegisteredQuery,
 } from "convex/server";
-import {
-  Effect,
-  Layer,
-  Match,
-  pipe,
-  Ref,
-  Schema,
-  type Types,
-} from "effect";
+import { Effect, Layer, Match, pipe, Ref, Schema, type Types } from "effect";
 import * as ActionCtx from "./ActionCtx";
 import * as ActionRunner from "./ActionRunner";
 import type * as Api from "./Api";

package/src/SchemaToValidator.ts

@@ -86,8 +86,7 @@ export type TableSchemaToTableValidator<
     | VObject<any, any, any, any>
     | VUnion<any, any, any, any>
     ? Vd
-    : // TODO: Add type error message
-      never;
+    : never;
 
 export const compileTableSchema = <
   TableSchema extends Schema.Schema.AnyNoContext,
@@ -244,7 +243,6 @@ type ValueTupleToValidatorTuple<VlTuple extends ReadonlyArray<ReadonlyValue>> =
 
 export const compileSchema = <T, E>(
   schema: Schema.Schema<T, E>,
-  // TODO: Can `ValueToValidator` here just accept `E` directly?
 ): ValueToValidator<(typeof schema)["Encoded"]> =>
   runSyncThrow(compileAst(schema.ast)) as any;
 

package/src/Table.ts

@@ -27,8 +27,8 @@ export const isTable = (u: unknown): u is Any =>
 export interface Table<
   Name_ extends string,
   TableSchema_ extends Schema.Schema.AnyNoContext,
-  TableValidator_ extends
-    GenericValidator = TableSchemaToTableValidator<TableSchema_>,
+  TableValidator_ extends GenericValidator =
+    TableSchemaToTableValidator<TableSchema_>,
   Indexes_ extends GenericTableIndexes = {},
   SearchIndexes_ extends GenericTableSearchIndexes = {},
   VectorIndexes_ extends GenericTableVectorIndexes = {},
@@ -349,8 +349,8 @@ const makeProto = <
 export const make = <
   const Name_ extends string,
   TableSchema_ extends Schema.Schema.AnyNoContext,
-  TableValidator_ extends
-    GenericValidator = TableSchemaToTableValidator<TableSchema_>,
+  TableValidator_ extends GenericValidator =
+    TableSchemaToTableValidator<TableSchema_>,
   Indexes_ extends GenericTableIndexes = {},
   SearchIndexes_ extends GenericTableSearchIndexes = {},
   VectorIndexes_ extends GenericTableVectorIndexes = {},

package/src/TableInfo.ts

@@ -30,7 +30,6 @@ export type TableInfo<Table_ extends Table.AnyWithProps> =
         readonly [TypeId]: TypeId;
         readonly document: Table_["Doc"]["Type"];
         readonly encodedDocument: Table_["Doc"]["Encoded"];
-        // TODO: Can we exclude this and derive the convex document type from the encoded document?
         readonly convexDocument: ExtractConvexDocument<
           TableName,
           TableValidator

package/dist/_virtual/rolldown_runtime.js

@@ -1,13 +0,0 @@
-//#region rolldown:runtime
-var __defProp = Object.defineProperty;
-var __export = (all) => {
-	let target = {};
-	for (var name in all) __defProp(target, name, {
-		get: all[name],
-		enumerable: true
-	});
-	return target;
-};
-
-//#endregion
-export { __export };