@confect/server 1.0.0-next.0

package/dist/Table.js

@@ -0,0 +1,97 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { compileTableSchema } from "./SchemaToValidator.js";
+import { Predicate, Schema } from "effect";
+import { defineTable } from "convex/server";
+import * as SystemFields$1 from "@confect/core/SystemFields";
+
+//#region src/Table.ts
+var Table_exports = /* @__PURE__ */ __export({
+	TypeId: () => TypeId,
+	isTable: () => isTable,
+	make: () => make,
+	scheduledFunctionsTable: () => scheduledFunctionsTable,
+	storageTable: () => storageTable,
+	systemTables: () => systemTables
+});
+const TypeId = "@confect/server/Table";
+const isTable = (u) => Predicate.hasProperty(u, TypeId);
+const Proto = {
+	[TypeId]: TypeId,
+	index(name, fields) {
+		return makeProto({
+			name: this.name,
+			Fields: this.Fields,
+			Doc: this.Doc,
+			tableDefinition: this.tableDefinition.index(name, fields),
+			indexes: {
+				...this.indexes,
+				[name]: fields
+			}
+		});
+	},
+	searchIndex(name, indexConfig) {
+		return makeProto({
+			name: this.name,
+			Fields: this.Fields,
+			Doc: this.Doc,
+			tableDefinition: this.tableDefinition.searchIndex(name, indexConfig),
+			indexes: this.indexes
+		});
+	},
+	vectorIndex(name, indexConfig) {
+		return makeProto({
+			name: this.name,
+			Fields: this.Fields,
+			Doc: this.Doc,
+			tableDefinition: this.tableDefinition.vectorIndex(name, {
+				vectorField: indexConfig.vectorField,
+				dimensions: indexConfig.dimensions,
+				...indexConfig.filterFields ? { filterFields: indexConfig.filterFields } : {}
+			}),
+			indexes: this.indexes
+		});
+	}
+};
+const makeProto = ({ name, Fields, Doc, tableDefinition, indexes }) => Object.assign(Object.create(Proto), {
+	name,
+	Fields,
+	Doc,
+	tableDefinition,
+	indexes
+});
+/**
+* Create a table.
+*/
+const make = (name, fields) => {
+	const tableDefinition = defineTable(compileTableSchema(fields));
+	return makeProto({
+		name,
+		Fields: fields,
+		Doc: SystemFields$1.extendWithSystemFields(name, fields),
+		tableDefinition,
+		indexes: {}
+	});
+};
+const scheduledFunctionsTable = make("_scheduled_functions", Schema.Struct({
+	name: Schema.String,
+	args: Schema.Array(Schema.Any),
+	scheduledTime: Schema.Number,
+	completedTime: Schema.optionalWith(Schema.Number, { exact: true }),
+	state: Schema.Union(Schema.Struct({ kind: Schema.Literal("pending") }), Schema.Struct({ kind: Schema.Literal("inProgress") }), Schema.Struct({ kind: Schema.Literal("success") }), Schema.Struct({
+		kind: Schema.Literal("failed"),
+		error: Schema.String
+	}), Schema.Struct({ kind: Schema.Literal("canceled") }))
+}));
+const storageTable = make("_storage", Schema.Struct({
+	sha256: Schema.String,
+	size: Schema.Number,
+	contentType: Schema.optionalWith(Schema.String, { exact: true })
+}));
+const systemTables = {
+	_scheduled_functions: scheduledFunctionsTable,
+	_storage: storageTable
+};
+
+//#endregion
+export { Table_exports, TypeId, isTable, make, scheduledFunctionsTable, storageTable, systemTables };
+//# sourceMappingURL=Table.js.map

package/dist/Table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Table.js","names":["SystemFields"],"sources":["../src/Table.ts"],"sourcesContent":["import * as SystemFields from \"@confect/core/SystemFields\";\nimport {\n  defineTable,\n  type SystemFields as ConvexSystemFields,\n  type Expand,\n  type GenericTableIndexes,\n  type GenericTableSearchIndexes,\n  type GenericTableVectorIndexes,\n  type IndexTiebreakerField,\n  type SearchIndexConfig,\n  type TableDefinition,\n  type VectorIndexConfig,\n} from \"convex/server\";\nimport type { GenericValidator, Validator } from \"convex/values\";\nimport { Predicate, Schema } from \"effect\";\nimport {\n  compileTableSchema,\n  type TableSchemaToTableValidator,\n} from \"./SchemaToValidator\";\n\nexport const TypeId = \"@confect/server/Table\";\nexport type TypeId = typeof TypeId;\n\nexport const isTable = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface Table<\n  Name_ extends string,\n  TableSchema_ extends Schema.Schema.AnyNoContext,\n  TableValidator_ extends\n    GenericValidator = TableSchemaToTableValidator<TableSchema_>,\n  Indexes_ extends GenericTableIndexes = {},\n  SearchIndexes_ extends GenericTableSearchIndexes = {},\n  VectorIndexes_ extends GenericTableVectorIndexes = {},\n> {\n  readonly [TypeId]: TypeId;\n  readonly tableDefinition: TableDefinition<\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n\n  readonly name: Name_;\n\n  readonly Fields: TableSchema_;\n  readonly Doc: SystemFields.ExtendWithSystemFields<Name_, TableSchema_>;\n\n  readonly indexes: Indexes_;\n\n  index<\n    IndexName extends string,\n    FirstFieldPath extends ExtractFieldPaths<TableValidator_>,\n    RestFieldPaths extends ExtractFieldPaths<TableValidator_>[],\n  >(\n    name: IndexName,\n    fields: [FirstFieldPath, ...RestFieldPaths],\n  ): Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Expand<\n      Indexes_ &\n        Record<\n          IndexName,\n          [FirstFieldPath, ...RestFieldPaths, IndexTiebreakerField]\n        >\n    >,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n\n  searchIndex<\n    IndexName extends string,\n    SearchField extends ExtractFieldPaths<TableValidator_>,\n    FilterFields extends ExtractFieldPaths<TableValidator_> = never,\n  >(\n    name: IndexName,\n    indexConfig: Expand<SearchIndexConfig<SearchField, FilterFields>>,\n  ): Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    Expand<\n      SearchIndexes_ &\n        Record<\n          IndexName,\n          {\n            searchField: SearchField;\n            filterFields: FilterFields;\n          }\n        >\n    >,\n    VectorIndexes_\n  >;\n\n  vectorIndex<\n    IndexName extends string,\n    VectorField extends ExtractFieldPaths<TableValidator_>,\n    FilterFields extends ExtractFieldPaths<TableValidator_> = never,\n  >(\n    name: IndexName,\n    indexConfig: Expand<VectorIndexConfig<VectorField, FilterFields>>,\n  ): Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    Expand<\n      VectorIndexes_ &\n        Record<\n          IndexName,\n          {\n            vectorField: VectorField;\n            dimensions: number;\n            filterFields: FilterFields;\n          }\n        >\n    >\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport type AnyWithProps = Table<\n  any,\n  Schema.Schema.AnyNoContext,\n  GenericValidator,\n  GenericTableIndexes,\n  GenericTableSearchIndexes,\n  GenericTableVectorIndexes\n>;\n\nexport type Name<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer TableName,\n    infer _TableSchema,\n    infer _TableValidator,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? TableName & string\n    : never;\n\nexport type TableSchema<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer TableSchema_,\n    infer _TableValidator,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? TableSchema_\n    : never;\n\nexport type TableValidator<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer _TableSchema,\n    infer TableValidator_,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? TableValidator_\n    : never;\n\nexport type Indexes<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer _TableSchema,\n    infer _TableValidator,\n    infer Indexes_,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? Indexes_\n    : never;\n\nexport type SearchIndexes<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer _TableSchema,\n    infer _TableValidator,\n    infer _Indexes,\n    infer SearchIndexes_,\n    infer _VectorIndexes\n  >\n    ? SearchIndexes_\n    : never;\n\nexport type VectorIndexes<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer _TableSchema,\n    infer _TableValidator,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer VectorIndexes_\n  >\n    ? VectorIndexes_\n    : never;\n\nexport type Doc<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer TableName,\n    infer TableSchema_,\n    infer _TableValidator,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? SystemFields.ExtendWithSystemFields<TableName, TableSchema_>\n    : never;\n\nexport type Fields<TableDef extends AnyWithProps> =\n  TableDef extends Table<\n    infer _TableName,\n    infer TableSchema_,\n    infer _TableValidator,\n    infer _Indexes,\n    infer _SearchIndexes,\n    infer _VectorIndexes\n  >\n    ? TableSchema_\n    : never;\n\nexport type WithName<\n  TableDef extends AnyWithProps,\n  Name_ extends string,\n> = TableDef extends { readonly name: Name_ } ? TableDef : never;\n\nexport type TablesRecord<Tables extends AnyWithProps> = {\n  readonly [TableName_ in Name<Tables>]: WithName<Tables, TableName_>;\n};\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  index<\n    IndexName extends string,\n    FirstFieldPath extends string,\n    RestFieldPaths extends string[],\n  >(\n    this: AnyWithProps,\n    name: IndexName,\n    fields: [FirstFieldPath, ...RestFieldPaths],\n  ) {\n    return makeProto({\n      name: this.name,\n      Fields: this.Fields,\n      Doc: this.Doc,\n      tableDefinition: this.tableDefinition.index(name, fields as any),\n      indexes: {\n        ...this.indexes,\n        [name]: fields,\n      },\n    });\n  },\n\n  searchIndex<IndexName extends string, SearchField extends string>(\n    this: AnyWithProps,\n    name: IndexName,\n    indexConfig: SearchIndexConfig<SearchField, any>,\n  ) {\n    return makeProto({\n      name: this.name,\n      Fields: this.Fields,\n      Doc: this.Doc,\n      tableDefinition: this.tableDefinition.searchIndex(name, indexConfig),\n      indexes: this.indexes,\n    });\n  },\n\n  vectorIndex<IndexName extends string, VectorField extends string>(\n    this: AnyWithProps,\n    name: IndexName,\n    indexConfig: {\n      vectorField: VectorField;\n      dimensions: number;\n      filterFields?: string[] | undefined;\n    },\n  ) {\n    return makeProto({\n      name: this.name,\n      Fields: this.Fields,\n      Doc: this.Doc,\n      tableDefinition: this.tableDefinition.vectorIndex(name, {\n        vectorField: indexConfig.vectorField,\n        dimensions: indexConfig.dimensions,\n        ...(indexConfig.filterFields\n          ? { filterFields: indexConfig.filterFields }\n          : {}),\n      }),\n      indexes: this.indexes,\n    });\n  },\n};\n\nconst makeProto = <\n  Name_ extends string,\n  TableSchema_ extends Schema.Schema.AnyNoContext,\n  TableValidator_ extends Validator<any, any, any>,\n  Indexes_ extends GenericTableIndexes,\n  SearchIndexes_ extends GenericTableSearchIndexes,\n  VectorIndexes_ extends GenericTableVectorIndexes,\n>({\n  name,\n  Fields,\n  Doc,\n  tableDefinition,\n  indexes,\n}: {\n  name: Name_;\n  Fields: TableSchema_;\n  Doc: SystemFields.ExtendWithSystemFields<Name_, TableSchema_>;\n  tableDefinition: TableDefinition<\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n  indexes: Indexes_;\n}): Table<\n  Name_,\n  TableSchema_,\n  TableValidator_,\n  Indexes_,\n  SearchIndexes_,\n  VectorIndexes_\n> =>\n  Object.assign(Object.create(Proto), {\n    name,\n    Fields,\n    Doc,\n    tableDefinition,\n    indexes,\n  });\n\n/**\n * Create a table.\n */\nexport const make = <\n  const Name_ extends string,\n  TableSchema_ extends Schema.Schema.AnyNoContext,\n  TableValidator_ extends\n    GenericValidator = TableSchemaToTableValidator<TableSchema_>,\n  Indexes_ extends GenericTableIndexes = {},\n  SearchIndexes_ extends GenericTableSearchIndexes = {},\n  VectorIndexes_ extends GenericTableVectorIndexes = {},\n>(\n  name: Name_,\n  fields: TableSchema_,\n): Table<\n  Name_,\n  TableSchema_,\n  TableValidator_,\n  Indexes_,\n  SearchIndexes_,\n  VectorIndexes_\n> => {\n  const tableValidator = compileTableSchema(fields) as any;\n  const tableDefinition = defineTable(tableValidator) as any;\n\n  return makeProto<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >({\n    name,\n    Fields: fields,\n    Doc: SystemFields.extendWithSystemFields(name, fields),\n    tableDefinition,\n    indexes: {} as Indexes_,\n  });\n};\n\n// -----------------------------------------------------------------------------\n// System tables\n// -----------------------------------------------------------------------------\n\nexport const scheduledFunctionsTable = make(\n  \"_scheduled_functions\",\n  Schema.Struct({\n    name: Schema.String,\n    args: Schema.Array(Schema.Any),\n    scheduledTime: Schema.Number,\n    completedTime: Schema.optionalWith(Schema.Number, { exact: true }),\n    state: Schema.Union(\n      Schema.Struct({ kind: Schema.Literal(\"pending\") }),\n      Schema.Struct({ kind: Schema.Literal(\"inProgress\") }),\n      Schema.Struct({ kind: Schema.Literal(\"success\") }),\n      Schema.Struct({\n        kind: Schema.Literal(\"failed\"),\n        error: Schema.String,\n      }),\n      Schema.Struct({ kind: Schema.Literal(\"canceled\") }),\n    ),\n  }),\n);\n\nexport const storageTable = make(\n  \"_storage\",\n  Schema.Struct({\n    sha256: Schema.String,\n    size: Schema.Number,\n    contentType: Schema.optionalWith(Schema.String, { exact: true }),\n  }),\n);\n\nexport const systemTables = {\n  _scheduled_functions: scheduledFunctionsTable,\n  _storage: storageTable,\n} as const;\n\nexport type SystemTables = typeof scheduledFunctionsTable | typeof storageTable;\n\n// Vendored types from convex-js, partially modified. Ideally we could use these directly. See https://github.com/get-convex/convex-js/pull/14\n\n/**\n * Extract all of the index field paths within a {@link Validator}.\n *\n * This is used within {@link defineTable}.\n * @public\n */\ntype ExtractFieldPaths<T extends Validator<any, any, any>> =\n  // Add in the system fields available in index definitions.\n  // This should be everything except for `_id` because thats added to indexes\n  // automatically.\n  T[\"fieldPaths\"] | keyof ConvexSystemFields;\n"],"mappings":";;;;;;;;;;;;;;;AAoBA,MAAa,SAAS;AAGtB,MAAa,WAAW,MACtB,UAAU,YAAY,GAAG,OAAO;AA0NlC,MAAM,QAAQ;EACX,SAAS;CAEV,MAME,MACA,QACA;AACA,SAAO,UAAU;GACf,MAAM,KAAK;GACX,QAAQ,KAAK;GACb,KAAK,KAAK;GACV,iBAAiB,KAAK,gBAAgB,MAAM,MAAM,OAAc;GAChE,SAAS;IACP,GAAG,KAAK;KACP,OAAO;IACT;GACF,CAAC;;CAGJ,YAEE,MACA,aACA;AACA,SAAO,UAAU;GACf,MAAM,KAAK;GACX,QAAQ,KAAK;GACb,KAAK,KAAK;GACV,iBAAiB,KAAK,gBAAgB,YAAY,MAAM,YAAY;GACpE,SAAS,KAAK;GACf,CAAC;;CAGJ,YAEE,MACA,aAKA;AACA,SAAO,UAAU;GACf,MAAM,KAAK;GACX,QAAQ,KAAK;GACb,KAAK,KAAK;GACV,iBAAiB,KAAK,gBAAgB,YAAY,MAAM;IACtD,aAAa,YAAY;IACzB,YAAY,YAAY;IACxB,GAAI,YAAY,eACZ,EAAE,cAAc,YAAY,cAAc,GAC1C,EAAE;IACP,CAAC;GACF,SAAS,KAAK;GACf,CAAC;;CAEL;AAED,MAAM,aAOJ,EACA,MACA,QACA,KACA,iBACA,cAoBA,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;CAClC;CACA;CACA;CACA;CACA;CACD,CAAC;;;;AAKJ,MAAa,QASX,MACA,WAQG;CAEH,MAAM,kBAAkB,YADD,mBAAmB,OAAO,CACE;AAEnD,QAAO,UAOL;EACA;EACA,QAAQ;EACR,KAAKA,eAAa,uBAAuB,MAAM,OAAO;EACtD;EACA,SAAS,EAAE;EACZ,CAAC;;AAOJ,MAAa,0BAA0B,KACrC,wBACA,OAAO,OAAO;CACZ,MAAM,OAAO;CACb,MAAM,OAAO,MAAM,OAAO,IAAI;CAC9B,eAAe,OAAO;CACtB,eAAe,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CAClE,OAAO,OAAO,MACZ,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,UAAU,EAAE,CAAC,EAClD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,aAAa,EAAE,CAAC,EACrD,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,UAAU,EAAE,CAAC,EAClD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,SAAS;EAC9B,OAAO,OAAO;EACf,CAAC,EACF,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,WAAW,EAAE,CAAC,CACpD;CACF,CAAC,CACH;AAED,MAAa,eAAe,KAC1B,YACA,OAAO,OAAO;CACZ,QAAQ,OAAO;CACf,MAAM,OAAO;CACb,aAAa,OAAO,aAAa,OAAO,QAAQ,EAAE,OAAO,MAAM,CAAC;CACjE,CAAC,CACH;AAED,MAAa,eAAe;CAC1B,sBAAsB;CACtB,UAAU;CACX"}

package/dist/TableInfo.d.ts

@@ -0,0 +1,48 @@
+import { AnyWithProps as AnyWithProps$1, Table } from "./Table.js";
+import { Any as Any$1, AnyEncoded } from "./Document.js";
+import { Schema, Types } from "effect";
+import { Expand, GenericDocument, GenericFieldPaths, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes, IdField, SystemFields, SystemIndexes } from "convex/server";
+import { GenericValidator } from "convex/values";
+
+//#region src/TableInfo.d.ts
+declare namespace TableInfo_d_exports {
+  export { Any, AnyWithProps, ConvexTableInfo, Document, TableInfo, TableSchema, TypeId };
+}
+declare const TypeId: "@confect/server/TableInfo";
+type TypeId = typeof TypeId;
+type TableInfo<Table_ extends AnyWithProps$1> = Table_ extends Table<infer TableName, infer _TableSchema, infer TableValidator, infer Indexes, infer SearchIndexes, infer VectorIndexes> ? {
+  readonly [TypeId]: TypeId;
+  readonly document: Table_["Doc"]["Type"];
+  readonly encodedDocument: Table_["Doc"]["Encoded"];
+  readonly convexDocument: ExtractConvexDocument<TableName, TableValidator>;
+  readonly fieldPaths: keyof IdField<TableName> | ExtractFieldPaths<TableValidator>;
+  readonly indexes: Types.Simplify<Indexes & SystemIndexes>;
+  readonly searchIndexes: SearchIndexes;
+  readonly vectorIndexes: VectorIndexes;
+} : never;
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+interface AnyWithProps extends Any {
+  readonly document: Any$1;
+  readonly encodedDocument: AnyEncoded;
+  readonly convexDocument: GenericDocument;
+  readonly fieldPaths: GenericFieldPaths;
+  readonly indexes: GenericTableIndexes;
+  readonly searchIndexes: GenericTableSearchIndexes;
+  readonly vectorIndexes: GenericTableVectorIndexes;
+}
+type ConvexTableInfo<TableInfo_ extends AnyWithProps> = {
+  document: TableInfo_["convexDocument"];
+  fieldPaths: TableInfo_["fieldPaths"];
+  indexes: TableInfo_["indexes"];
+  searchIndexes: TableInfo_["searchIndexes"];
+  vectorIndexes: TableInfo_["vectorIndexes"];
+};
+type TableSchema<TableInfo_ extends AnyWithProps> = Schema.Schema<TableInfo_["document"], TableInfo_["encodedDocument"]>;
+type Document<TableInfo_ extends AnyWithProps> = TableInfo_["document"];
+type ExtractFieldPaths<T extends GenericValidator> = T["fieldPaths"] | keyof SystemFields;
+type ExtractConvexDocument<TableName$1 extends string, T extends GenericValidator> = Expand<IdField<TableName$1> & SystemFields & T["type"]> extends GenericDocument ? Expand<IdField<TableName$1> & SystemFields & T["type"]> : never;
+//#endregion
+export { Any, AnyWithProps, ConvexTableInfo, Document, TableInfo, TableInfo_d_exports, TableSchema, TypeId };
+//# sourceMappingURL=TableInfo.d.ts.map

package/dist/TableInfo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TableInfo.d.ts","names":[],"sources":["../src/TableInfo.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAgBqB;KACT,MAAA,UAAgB;KAEhB,yBAAyB,kBACnC,eAAe;YASC,MAAA,GAAS;qBACA;4BACO;2BAED,sBACvB,WACA;6BAGQ,QAAQ,aACd,kBAAkB;oBACJ,KAAA,CAAM,SAAS,UAAU;0BACnB;0BACA;;AA1BX,UA8BJ,GAAA,CA9BuC;EAC5C,UA8BA,MAAA,CA9BM,EA8BG,MA9BO;AAE5B;AAAqC,UA+BpB,YAAA,SAAqB,GA/BD,CAAA;EACnC,SAAA,QAAA,EA+BmB,KA/BnB;EAAe,SAAA,eAAA,EAgCW,UAhCX;EASU,SAAA,cAAA,EAwBA,eAxBA;EAAT,SAAA,UAAA,EAyBK,iBAzBL;EACS,SAAA,OAAA,EAyBP,mBAzBO;EACO,SAAA,aAAA,EAyBR,yBAzBQ;EAGxB,SAAA,aAAA,EAuBgB,yBAvBhB;;AADuB,KA2BrB,eA3BqB,CAAA,mBA2Bc,YA3Bd,CAAA,GAAA;EAKP,QAAA,EAuBd,UAvBc,CAAA,gBAAA,CAAA;EAAR,UAAA,EAwBJ,UAxBI,CAAA,YAAA,CAAA;EACY,OAAA,EAwBnB,UAxBmB,CAAA,SAAA,CAAA;EAAlB,aAAA,EAyBK,UAzBL,CAAA,eAAA,CAAA;EAC6B,aAAA,EAyBxB,UAzBwB,CAAA,eAAA,CAAA;CAAU;AAAnB,KA4BpB,WA5BoB,CAAA,mBA4BW,YA5BX,CAAA,GA4B2B,MAAA,CAAO,MA5BlC,CA6B9B,UA7B8B,CAAA,UAAA,CAAA,EA8B9B,UA9B8B,CAAA,iBAAA,CAAA,CAAA;AACA,KAgCpB,QAhCoB,CAAA,mBAgCQ,YAhCR,CAAA,GAgCwB,UAhCxB,CAAA,UAAA,CAAA;KAqC3B,iBApC2B,CAAA,UAoCC,gBApCD,CAAA,GAqC5B,CArC4B,CAAA,YAAA,CAAA,GAAA,MAsCtB,YAtCsB;KAwC3B,qBAxCwC,CAAA,oBAAA,MAAA,EAAA,UA0CjC,gBA1CiC,CAAA,GA4C3C,MA5C2C,CA4CpC,OA5CoC,CA4C5B,WA5C4B,CAAA,GA4Cf,YA5Ce,GA4CA,CA5CA,CAAA,MAAA,CAAA,CAAA,SA4CmB,eA5CnB,GA6CvC,MA7CuC,CA6ChC,OA7CgC,CA6CxB,WA7CwB,CAAA,GA6CX,YA7CW,GA6CI,CA7CJ,CAAA,MAAA,CAAA,CAAA,GAAA,KAAA"}

package/dist/TableInfo.js

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

package/dist/TableInfo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TableInfo.js","names":[],"sources":["../src/TableInfo.ts"],"sourcesContent":["import type {\n  Expand,\n  GenericDocument,\n  GenericFieldPaths,\n  GenericTableIndexes,\n  GenericTableSearchIndexes,\n  GenericTableVectorIndexes,\n  IdField,\n  SystemFields,\n  SystemIndexes,\n} from \"convex/server\";\nimport type { GenericValidator } from \"convex/values\";\nimport type { Schema, Types } from \"effect\";\nimport type * as Document_ from \"./Document\";\nimport type * as Table from \"./Table\";\n\nexport declare const TypeId: \"@confect/server/TableInfo\";\nexport type TypeId = typeof TypeId;\n\nexport type TableInfo<Table_ extends Table.AnyWithProps> =\n  Table_ extends Table.Table<\n    infer TableName,\n    infer _TableSchema,\n    infer TableValidator,\n    infer Indexes,\n    infer SearchIndexes,\n    infer VectorIndexes\n  >\n    ? {\n        readonly [TypeId]: TypeId;\n        readonly document: Table_[\"Doc\"][\"Type\"];\n        readonly encodedDocument: Table_[\"Doc\"][\"Encoded\"];\n        // TODO: Can we exclude this and derive the convex document type from the encoded document?\n        readonly convexDocument: ExtractConvexDocument<\n          TableName,\n          TableValidator\n        >;\n        readonly fieldPaths:\n          | keyof IdField<TableName>\n          | ExtractFieldPaths<TableValidator>;\n        readonly indexes: Types.Simplify<Indexes & SystemIndexes>;\n        readonly searchIndexes: SearchIndexes;\n        readonly vectorIndexes: VectorIndexes;\n      }\n    : never;\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends Any {\n  readonly document: Document_.Any;\n  readonly encodedDocument: Document_.AnyEncoded;\n  readonly convexDocument: GenericDocument;\n  readonly fieldPaths: GenericFieldPaths;\n  readonly indexes: GenericTableIndexes;\n  readonly searchIndexes: GenericTableSearchIndexes;\n  readonly vectorIndexes: GenericTableVectorIndexes;\n}\n\nexport type ConvexTableInfo<TableInfo_ extends AnyWithProps> = {\n  document: TableInfo_[\"convexDocument\"];\n  fieldPaths: TableInfo_[\"fieldPaths\"];\n  indexes: TableInfo_[\"indexes\"];\n  searchIndexes: TableInfo_[\"searchIndexes\"];\n  vectorIndexes: TableInfo_[\"vectorIndexes\"];\n};\n\nexport type TableSchema<TableInfo_ extends AnyWithProps> = Schema.Schema<\n  TableInfo_[\"document\"],\n  TableInfo_[\"encodedDocument\"]\n>;\n\nexport type Document<TableInfo_ extends AnyWithProps> = TableInfo_[\"document\"];\n\n// Vendored types from convex-js, partially modified.\n// See https://github.com/get-convex/convex-js/pull/14\n\ntype ExtractFieldPaths<T extends GenericValidator> =\n  | T[\"fieldPaths\"]\n  | keyof SystemFields;\n\ntype ExtractConvexDocument<\n  TableName extends string,\n  T extends GenericValidator,\n> =\n  Expand<IdField<TableName> & SystemFields & T[\"type\"]> extends GenericDocument\n    ? Expand<IdField<TableName> & SystemFields & T[\"type\"]>\n    : never;\n\n// End of vendored types from convex-js, partially modified.\n"],"mappings":""}

package/dist/VectorSearch.d.ts

@@ -0,0 +1,42 @@
+import { AnyWithProps, TableNames, ToConvex } from "./DataModel.js";
+import { Context, Effect, Layer } from "effect";
+import * as convex_server40 from "convex/server";
+import { Expand, GenericActionCtx, NamedTableInfo, VectorIndexNames, VectorSearchQuery } from "convex/server";
+import { GenericId } from "convex/values";
+
+//#region src/VectorSearch.d.ts
+declare namespace VectorSearch_d_exports {
+  export { VectorSearch, layer, make };
+}
+type ConvexVectorSearch<DataModel_ extends AnyWithProps> = GenericActionCtx<ToConvex<DataModel_>>["vectorSearch"];
+declare const make: <DataModel_ extends AnyWithProps>(vectorSearch: ConvexVectorSearch<DataModel_>) => <TableName extends TableNames<DataModel_>, IndexName extends VectorIndexNames<NamedTableInfo<ToConvex<DataModel_>, TableName>>>(tableName: TableName, indexName: IndexName, query: Expand<VectorSearchQuery<NamedTableInfo<ToConvex<DataModel_>, TableName>, IndexName>>) => Effect.Effect<Array<{
+  _id: GenericId<TableName>;
+  _score: number;
+}>>;
+declare const VectorSearch: <DataModel_ extends AnyWithProps>() => Context.Tag<(<TableName extends TableNames<DataModel_>, IndexName extends keyof convex_server40.VectorIndexes<NamedTableInfo<ToConvex<DataModel_>, TableName>>>(tableName: TableName, indexName: IndexName, query: {
+  vector: number[];
+  limit?: number;
+  filter?: (q: convex_server40.VectorFilterBuilder<convex_server40.DocumentByInfo<NamedTableInfo<ToConvex<DataModel_>, TableName>>, convex_server40.NamedVectorIndex<NamedTableInfo<ToConvex<DataModel_>, TableName>, IndexName>>) => convex_server40.FilterExpression<boolean>;
+}) => Effect.Effect<{
+  _id: GenericId<TableName>;
+  _score: number;
+}[], never, never>), <TableName extends TableNames<DataModel_>, IndexName extends keyof convex_server40.VectorIndexes<NamedTableInfo<ToConvex<DataModel_>, TableName>>>(tableName: TableName, indexName: IndexName, query: {
+  vector: number[];
+  limit?: number;
+  filter?: (q: convex_server40.VectorFilterBuilder<convex_server40.DocumentByInfo<NamedTableInfo<ToConvex<DataModel_>, TableName>>, convex_server40.NamedVectorIndex<NamedTableInfo<ToConvex<DataModel_>, TableName>, IndexName>>) => convex_server40.FilterExpression<boolean>;
+}) => Effect.Effect<{
+  _id: GenericId<TableName>;
+  _score: number;
+}[], never, never>>;
+type VectorSearch<DataModel_ extends AnyWithProps> = ReturnType<typeof VectorSearch<DataModel_>>["Identifier"];
+declare const layer: <DataModel_ extends AnyWithProps>(vectorSearch: ConvexVectorSearch<DataModel_>) => Layer.Layer<(<TableName extends TableNames<DataModel_>, IndexName extends keyof convex_server40.VectorIndexes<NamedTableInfo<ToConvex<DataModel_>, TableName>>>(tableName: TableName, indexName: IndexName, query: {
+  vector: number[];
+  limit?: number;
+  filter?: (q: convex_server40.VectorFilterBuilder<convex_server40.DocumentByInfo<NamedTableInfo<ToConvex<DataModel_>, TableName>>, convex_server40.NamedVectorIndex<NamedTableInfo<ToConvex<DataModel_>, TableName>, IndexName>>) => convex_server40.FilterExpression<boolean>;
+}) => Effect.Effect<{
+  _id: GenericId<TableName>;
+  _score: number;
+}[], never, never>), never, never>;
+//#endregion
+export { VectorSearch, VectorSearch_d_exports, layer, make };
+//# sourceMappingURL=VectorSearch.d.ts.map

package/dist/VectorSearch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"VectorSearch.d.ts","names":[],"sources":["../src/VectorSearch.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;KAWK,sCAAsC,gBACzC,iBAAiB,SAAmB;cAEzB,0BACS,4BACJ,mBAAmB,mCAGf,WAAqB,+BACrB,iBAChB,eAAe,SAAmB,aAAa,wBAGtC,sBACA,kBACJ,OACL,kBACE,eAAe,SAAmB,aAAa,YAC/C,gBAGH,MAAA,CAAO,OAAO;OAAa,UAAU;;;cAG7B,kCAAmC,mBAAsB,OAAA,CAAA,wBAhBzD,WAAA,qCACA,eAAA,CAAA,cAAA,eAAA,SAAA,aAAA,wBAAA,sBAAA;;;;AAXiC,CAAA,EAAA,gBAEzC,CAAA;EAAsC,GAAA,WAAA,UAAA,CAAA;EACL,MAAA,EAAA,MAAA;CAAnB,EAAA,EAAA,KAAA,EAAA,KAAA,CAAA,CAAA,EAAA,CAAA,kBAON,UAPM,CAON,UAPM,CAAA,EAAA,kBAAA,MAQN,eAAA,CAAA,aARM,CAQN,cARM,CAQN,QARM,CAQN,UARM,CAAA,EAQN,SARM,CAAA,CAAA,CAAA,CAAA,SAAA,EAQN,SARM,EAAA,SAAA,EAQN,SARM,EAAA,KAAA,EAAA;EAAjB,MAAA,EAAA,MAAA,EAAA;EAAgB,KAAA,CAAA,EAAA,MAAA;EAEL,MAAA,CAmBsD,EAAA,CAAA,CAAA,qCAAA,+BAAA,eAAA,SAAA,WAAA,CAAA,WAAA,CAAA,CAAA,kCAAA,eAAA,SAAA,WAAA,CAAA,WAAA,CAAA,WAAA,CAAA,CAAA,EAAA,mCAAA,CAAA,OAAA,CAAA;CAlB7C,EAAA,gBAAA,CAAA;EACe,GAAA,WAAA,UAAA,CAAA;EAAnB,MAAA,EAAA,MAAA;CAGyB,EAAA,EAAA,KAAA,EAAA,KAAA,CAAA,CAAA;AAArB,KAqBV,YArBU,CAAA,mBAqBsB,YArBtB,CAAA,GAsBpB,UAtBoB,CAAA,OAsBF,YAtBE,CAsBW,UAtBX,CAAA,CAAA,CAAA,YAAA,CAAA;AAEkB,cAsB3B,KAtB2B,EAAA,CAAA,mBAsBC,YAtBD,CAAA,CAAA,YAAA,EAuBxB,kBAvBwB,CAuBL,UAvBK,CAAA,EAAA,GAuBM,KAAA,CAAA,KAvBN,CAAA,CAAA,CAAA,kBAF3B,UAE2B,CAF3B,UAE2B,CAAA,EAAA,kBAAA,MAD3B,eAAA,CAAA,aAC2B,CAD3B,cAC2B,CAD3B,QAC2B,CAD3B,UAC2B,CAAA,EAD3B,SAC2B,CAAA,CAAA,CAAA,CAAA,SAAA,EAD3B,SAC2B,EAAA,SAAA,EAD3B,SAC2B,EAAA,KAAA,EAAA;EAAnB,MAAA,EAAA,MAAA,EAAA;EAAgC,KAAA,CAAA,EAAA,MAAA;EAA/C,MAAA,CAAA,EAAA,CAAA,CAAA,qCAAA,+BAAA,eAAA,SAAA,WAAA,CAAA,WAAA,CAAA,CAAA,kCAAA,eAAA,SAAA,WAAA,CAAA,WAAA,CAAA,WAAA,CAAA,CAAA,EAAA,mCAAA,CAAA,OAAA,CAAA;CADgB,EAAA,gBAAA,CAAA;EAIP,GAAA,WAAA,UAAA,CAAA;EACA,MAAA,EAAA,MAAA;CAG2B,EAAA,EAAA,KAAA,EAAA,KAAA,CAAA,CAAA,EAAA,KAAA,EAAA,KAAA,CAAA"}

package/dist/VectorSearch.js

@@ -0,0 +1,16 @@
+import { __export } from "./_virtual/rolldown_runtime.js";
+import { Context, Effect, Layer } from "effect";
+
+//#region src/VectorSearch.ts
+var VectorSearch_exports = /* @__PURE__ */ __export({
+	VectorSearch: () => VectorSearch,
+	layer: () => layer,
+	make: () => make
+});
+const make = (vectorSearch) => (tableName, indexName, query) => Effect.promise(() => vectorSearch(tableName, indexName, query));
+const VectorSearch = () => Context.GenericTag("@confect/server/VectorSearch");
+const layer = (vectorSearch) => Layer.succeed(VectorSearch(), make(vectorSearch));
+
+//#endregion
+export { VectorSearch, VectorSearch_exports, layer, make };
+//# sourceMappingURL=VectorSearch.js.map

package/dist/VectorSearch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"VectorSearch.js","names":[],"sources":["../src/VectorSearch.ts"],"sourcesContent":["import type {\n  Expand,\n  GenericActionCtx,\n  NamedTableInfo,\n  VectorIndexNames,\n  VectorSearchQuery,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport { Context, Effect, Layer } from \"effect\";\nimport type * as DataModel from \"./DataModel\";\n\ntype ConvexVectorSearch<DataModel_ extends DataModel.AnyWithProps> =\n  GenericActionCtx<DataModel.ToConvex<DataModel_>>[\"vectorSearch\"];\n\nexport const make =\n  <DataModel_ extends DataModel.AnyWithProps>(\n    vectorSearch: ConvexVectorSearch<DataModel_>,\n  ) =>\n  <\n    TableName extends DataModel.TableNames<DataModel_>,\n    IndexName extends VectorIndexNames<\n      NamedTableInfo<DataModel.ToConvex<DataModel_>, TableName>\n    >,\n  >(\n    tableName: TableName,\n    indexName: IndexName,\n    query: Expand<\n      VectorSearchQuery<\n        NamedTableInfo<DataModel.ToConvex<DataModel_>, TableName>,\n        IndexName\n      >\n    >,\n  ): Effect.Effect<Array<{ _id: GenericId<TableName>; _score: number }>> =>\n    Effect.promise(() => vectorSearch(tableName, indexName, query));\n\nexport const VectorSearch = <DataModel_ extends DataModel.AnyWithProps>() =>\n  Context.GenericTag<ReturnType<typeof make<DataModel_>>>(\n    \"@confect/server/VectorSearch\",\n  );\n\nexport type VectorSearch<DataModel_ extends DataModel.AnyWithProps> =\n  ReturnType<typeof VectorSearch<DataModel_>>[\"Identifier\"];\n\nexport const layer = <DataModel_ extends DataModel.AnyWithProps>(\n  vectorSearch: ConvexVectorSearch<DataModel_>,\n) => Layer.succeed(VectorSearch<DataModel_>(), make(vectorSearch));\n"],"mappings":";;;;;;;;;AAcA,MAAa,QAET,kBAQA,WACA,WACA,UAOA,OAAO,cAAc,aAAa,WAAW,WAAW,MAAM,CAAC;AAEnE,MAAa,qBACX,QAAQ,WACN,+BACD;AAKH,MAAa,SACX,iBACG,MAAM,QAAQ,cAA0B,EAAE,KAAK,aAAa,CAAC"}

package/dist/_virtual/rolldown_runtime.js

@@ -0,0 +1,13 @@
+//#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 };

package/dist/index.d.ts

@@ -0,0 +1,30 @@
+import { ActionCtx_d_exports } from "./ActionCtx.js";
+import { ActionRunner_d_exports } from "./ActionRunner.js";
+import { SchemaToValidator_d_exports } from "./SchemaToValidator.js";
+import { Table_d_exports } from "./Table.js";
+import { DatabaseSchema_d_exports } from "./DatabaseSchema.js";
+import { Api_d_exports } from "./Api.js";
+import { Auth_d_exports } from "./Auth.js";
+import { Document_d_exports } from "./Document.js";
+import { TableInfo_d_exports } from "./TableInfo.js";
+import { DataModel_d_exports } from "./DataModel.js";
+import { OrderedQuery_d_exports } from "./OrderedQuery.js";
+import { QueryInitializer_d_exports } from "./QueryInitializer.js";
+import { DatabaseReader_d_exports } from "./DatabaseReader.js";
+import { DatabaseWriter_d_exports } from "./DatabaseWriter.js";
+import { MutationCtx_d_exports } from "./MutationCtx.js";
+import { MutationRunner_d_exports } from "./MutationRunner.js";
+import { QueryCtx_d_exports } from "./QueryCtx.js";
+import { QueryRunner_d_exports } from "./QueryRunner.js";
+import { Scheduler_d_exports } from "./Scheduler.js";
+import { Storage_d_exports } from "./Storage.js";
+import { VectorSearch_d_exports } from "./VectorSearch.js";
+import { Handler_d_exports } from "./Handler.js";
+import { FunctionImpl_d_exports } from "./FunctionImpl.js";
+import { GroupImpl_d_exports } from "./GroupImpl.js";
+import { HttpApi_d_exports } from "./HttpApi.js";
+import { Impl_d_exports } from "./Impl.js";
+import { RegisteredFunctions_d_exports } from "./RegisteredFunctions.js";
+import { RegistryItem_d_exports } from "./RegistryItem.js";
+import { Registry_d_exports } from "./Registry.js";
+export { ActionCtx_d_exports as ActionCtx, ActionRunner_d_exports as ActionRunner, Api_d_exports as Api, Auth_d_exports as Auth, DataModel_d_exports as DataModel, DatabaseReader_d_exports as DatabaseReader, DatabaseSchema_d_exports as DatabaseSchema, DatabaseWriter_d_exports as DatabaseWriter, Document_d_exports as Document, FunctionImpl_d_exports as FunctionImpl, GroupImpl_d_exports as GroupImpl, Handler_d_exports as Handler, HttpApi_d_exports as HttpApi, Impl_d_exports as Impl, MutationCtx_d_exports as MutationCtx, MutationRunner_d_exports as MutationRunner, OrderedQuery_d_exports as OrderedQuery, QueryCtx_d_exports as QueryCtx, QueryInitializer_d_exports as QueryInitializer, QueryRunner_d_exports as QueryRunner, RegisteredFunctions_d_exports as RegisteredFunctions, Registry_d_exports as Registry, RegistryItem_d_exports as RegistryItem, Scheduler_d_exports as Scheduler, SchemaToValidator_d_exports as SchemaToValidator, Storage_d_exports as Storage, Table_d_exports as Table, TableInfo_d_exports as TableInfo, VectorSearch_d_exports as VectorSearch };

package/dist/index.js

@@ -0,0 +1,31 @@
+import { ActionCtx_exports } from "./ActionCtx.js";
+import { ActionRunner_exports } from "./ActionRunner.js";
+import { Api_exports } from "./Api.js";
+import { Auth_exports } from "./Auth.js";
+import { DataModel_exports } from "./DataModel.js";
+import { SchemaToValidator_exports } from "./SchemaToValidator.js";
+import { Table_exports } from "./Table.js";
+import { DatabaseSchema_exports } from "./DatabaseSchema.js";
+import { Document_exports } from "./Document.js";
+import { OrderedQuery_exports } from "./OrderedQuery.js";
+import { QueryInitializer_exports } from "./QueryInitializer.js";
+import { DatabaseReader_exports } from "./DatabaseReader.js";
+import { DatabaseWriter_exports } from "./DatabaseWriter.js";
+import { Registry_exports } from "./Registry.js";
+import { RegistryItem_exports } from "./RegistryItem.js";
+import { FunctionImpl_exports } from "./FunctionImpl.js";
+import { GroupImpl_exports } from "./GroupImpl.js";
+import { Handler_exports } from "./Handler.js";
+import { MutationRunner_exports } from "./MutationRunner.js";
+import { QueryRunner_exports } from "./QueryRunner.js";
+import { Scheduler_exports } from "./Scheduler.js";
+import { Storage_exports } from "./Storage.js";
+import { HttpApi_exports } from "./HttpApi.js";
+import { Impl_exports } from "./Impl.js";
+import { MutationCtx_exports } from "./MutationCtx.js";
+import { QueryCtx_exports } from "./QueryCtx.js";
+import { VectorSearch_exports } from "./VectorSearch.js";
+import { RegisteredFunctions_exports } from "./RegisteredFunctions.js";
+import { TableInfo_exports } from "./TableInfo.js";
+
+export { ActionCtx_exports as ActionCtx, ActionRunner_exports as ActionRunner, Api_exports as Api, Auth_exports as Auth, DataModel_exports as DataModel, DatabaseReader_exports as DatabaseReader, DatabaseSchema_exports as DatabaseSchema, DatabaseWriter_exports as DatabaseWriter, Document_exports as Document, FunctionImpl_exports as FunctionImpl, GroupImpl_exports as GroupImpl, Handler_exports as Handler, HttpApi_exports as HttpApi, Impl_exports as Impl, MutationCtx_exports as MutationCtx, MutationRunner_exports as MutationRunner, OrderedQuery_exports as OrderedQuery, QueryCtx_exports as QueryCtx, QueryInitializer_exports as QueryInitializer, QueryRunner_exports as QueryRunner, RegisteredFunctions_exports as RegisteredFunctions, Registry_exports as Registry, RegistryItem_exports as RegistryItem, Scheduler_exports as Scheduler, SchemaToValidator_exports as SchemaToValidator, Storage_exports as Storage, Table_exports as Table, TableInfo_exports as TableInfo, VectorSearch_exports as VectorSearch };

package/dist/internal/utils.d.ts

@@ -0,0 +1,15 @@
+import { Effect, Predicate } from "effect";
+
+//#region src/internal/utils.d.ts
+type NestedObject<T> = {
+  [key: string]: T | NestedObject<T>;
+};
+declare const mapLeaves: <T, U>(obj: NestedObject<T>, leafRefinement: Predicate.Refinement<unknown, T>, f: (value: T) => U) => NestedObject<U>;
+declare const forEachBranchLeaves: <T, A, E, R>(obj: NestedObject<T>, leafRefinement: Predicate.Refinement<unknown, T>, f: (branchLeaves: {
+  path: string[];
+  values: Record<string, T>;
+}) => Effect.Effect<A, E, R>) => Effect.Effect<void, E, R>;
+declare const setNestedProperty: <T extends object>(obj: T, path: PropertyKey[], value: any) => T;
+//#endregion
+export { forEachBranchLeaves, mapLeaves, setNestedProperty };
+//# sourceMappingURL=utils.d.ts.map

package/dist/internal/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","names":[],"sources":["../../src/internal/utils.ts"],"sourcesContent":[],"mappings":";;;KAGK;EAAA,CAAA,GAAA,EAAA,MAAA,CAAA,EACY,CADA,GACI,YADJ,CACiB,CADjB,CAAA;CACA;AAAiB,cAGrB,SAHqB,EAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,GAAA,EAI3B,YAJ2B,CAId,CAJc,CAAA,EAAA,cAAA,EAKhB,SAAA,CAAU,UALM,CAAA,OAAA,EAKc,CALd,CAAA,EAAA,CAAA,EAAA,CAAA,KAAA,EAMrB,CANqB,EAAA,GAMf,CANe,EAAA,GAO/B,YAP+B,CAOlB,CAPkB,CAAA;AAAb,cAgDR,mBAhDQ,EAAA,CAAA,CAAA,EAAA,CAAA,EAAA,CAAA,EAAA,CAAA,CAAA,CAAA,GAAA,EAiDd,YAjDc,CAiDD,CAjDC,CAAA,EAAA,cAAA,EAkDH,SAAA,CAAU,UAlDP,CAAA,OAAA,EAkD2B,CAlD3B,CAAA,EAAA,CAAA,EAAA,CAAA,YAAA,EAAA;EAAY,IAAA,EAAA,MAAA,EAAA;EAGpB,MAAA,EAkDD,MAhCX,CAAA,MAAA,EAgC0B,CAhC1B,CAAA;CAjBmB,EAAA,GAkDZ,MAAA,CAAO,MAlDK,CAkDE,CAlDF,EAkDK,CAlDL,EAkDQ,CAlDR,CAAA,EAAA,GAmDjB,MAAA,CAAO,MAnDU,CAAA,IAAA,EAmDG,CAnDH,EAmDM,CAnDN,CAAA;AAAb,cA0DM,iBA1DN,EAAA,CAAA,UAAA,MAAA,CAAA,CAAA,GAAA,EA2DA,CA3DA,EAAA,IAAA,EA4DC,WA5DD,EAAA,EAAA,KAAA,EAAA,GAAA,EAAA,GA8DJ,CA9DI"}

package/dist/internal/utils.js

@@ -0,0 +1,49 @@
+import { Array, Effect, Record } from "effect";
+
+//#region src/internal/utils.ts
+const mapLeaves = (obj, leafRefinement, f) => {
+	const result = {};
+	for (const key in obj) {
+		const value = obj[key];
+		if (leafRefinement(value)) result[key] = f(value);
+		else result[key] = mapLeaves(value, leafRefinement, f);
+	}
+	return result;
+};
+const collectBranchLeaves = (obj, leafRefinement, path = []) => {
+	const leaves = Record.filter(obj, leafRefinement);
+	const currentBranch = Record.keys(leaves).length > 0 ? [{
+		path,
+		values: leaves
+	}] : [];
+	const nestedBranches = Array.flatMap(Record.keys(obj), (key) => {
+		const value = obj[key];
+		if (!leafRefinement(value) && typeof value === "object") return collectBranchLeaves(value, leafRefinement, [...path, key]);
+		return [];
+	});
+	return [...currentBranch, ...nestedBranches];
+};
+const forEachBranchLeaves = (obj, leafRefinement, f) => {
+	const branchLeaves = collectBranchLeaves(obj, leafRefinement);
+	return Effect.forEach(branchLeaves, f, { discard: true });
+};
+const setNestedProperty = (obj, path, value) => {
+	if (path.length === 0) return obj;
+	if (path.length === 1) {
+		const key$1 = path[0];
+		return {
+			...obj,
+			[key$1]: value
+		};
+	}
+	const [head, ...tail] = path;
+	const key = head;
+	return {
+		...obj,
+		[key]: setNestedProperty(obj[key] ?? {}, tail, value)
+	};
+};
+
+//#endregion
+export { forEachBranchLeaves, mapLeaves, setNestedProperty };
+//# sourceMappingURL=utils.js.map

package/dist/internal/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","names":["result: any","key"],"sources":["../../src/internal/utils.ts"],"sourcesContent":["import type { Predicate } from \"effect\";\nimport { Array, Effect, Record } from \"effect\";\n\ntype NestedObject<T> = {\n  [key: string]: T | NestedObject<T>;\n};\n\nexport const mapLeaves = <T, U>(\n  obj: NestedObject<T>,\n  leafRefinement: Predicate.Refinement<unknown, T>,\n  f: (value: T) => U,\n): NestedObject<U> => {\n  const result: any = {};\n\n  for (const key in obj) {\n    const value = obj[key];\n\n    if (leafRefinement(value)) {\n      result[key] = f(value as T);\n    } else {\n      result[key] = mapLeaves(value as NestedObject<T>, leafRefinement, f);\n    }\n  }\n\n  return result;\n};\n\nconst collectBranchLeaves = <T>(\n  obj: NestedObject<T>,\n  leafRefinement: Predicate.Refinement<unknown, T>,\n  path: string[] = [],\n): { path: string[]; values: Record<string, T> }[] => {\n  const leaves = Record.filter(obj, leafRefinement) as Record<string, T>;\n  const hasLeaves = Record.keys(leaves).length > 0;\n\n  const currentBranch = hasLeaves ? [{ path, values: leaves }] : [];\n\n  const nestedBranches = Array.flatMap(Record.keys(obj), (key) => {\n    const value = obj[key];\n\n    if (!leafRefinement(value) && typeof value === \"object\") {\n      return collectBranchLeaves(value as NestedObject<T>, leafRefinement, [\n        ...path,\n        key,\n      ]);\n    }\n    return [];\n  });\n\n  return [...currentBranch, ...nestedBranches];\n};\n\nexport const forEachBranchLeaves = <T, A, E, R>(\n  obj: NestedObject<T>,\n  leafRefinement: Predicate.Refinement<unknown, T>,\n  f: (branchLeaves: {\n    path: string[];\n    values: Record<string, T>;\n  }) => Effect.Effect<A, E, R>,\n): Effect.Effect<void, E, R> => {\n  const branchLeaves = collectBranchLeaves(obj, leafRefinement);\n  return Effect.forEach(branchLeaves, f, {\n    discard: true,\n  });\n};\n\nexport const setNestedProperty = <T extends object>(\n  obj: T,\n  path: PropertyKey[],\n  value: any,\n): T => {\n  if (path.length === 0) {\n    return obj;\n  }\n\n  if (path.length === 1) {\n    const key = path[0] as keyof T;\n    return { ...obj, [key]: value };\n  }\n\n  const [head, ...tail] = path;\n  const key = head as keyof T;\n  return {\n    ...obj,\n    [key]: setNestedProperty((obj as any)[key] ?? {}, tail, value),\n  };\n};\n"],"mappings":";;;AAOA,MAAa,aACX,KACA,gBACA,MACoB;CACpB,MAAMA,SAAc,EAAE;AAEtB,MAAK,MAAM,OAAO,KAAK;EACrB,MAAM,QAAQ,IAAI;AAElB,MAAI,eAAe,MAAM,CACvB,QAAO,OAAO,EAAE,MAAW;MAE3B,QAAO,OAAO,UAAU,OAA0B,gBAAgB,EAAE;;AAIxE,QAAO;;AAGT,MAAM,uBACJ,KACA,gBACA,OAAiB,EAAE,KACiC;CACpD,MAAM,SAAS,OAAO,OAAO,KAAK,eAAe;CAGjD,MAAM,gBAFY,OAAO,KAAK,OAAO,CAAC,SAAS,IAEb,CAAC;EAAE;EAAM,QAAQ;EAAQ,CAAC,GAAG,EAAE;CAEjE,MAAM,iBAAiB,MAAM,QAAQ,OAAO,KAAK,IAAI,GAAG,QAAQ;EAC9D,MAAM,QAAQ,IAAI;AAElB,MAAI,CAAC,eAAe,MAAM,IAAI,OAAO,UAAU,SAC7C,QAAO,oBAAoB,OAA0B,gBAAgB,CACnE,GAAG,MACH,IACD,CAAC;AAEJ,SAAO,EAAE;GACT;AAEF,QAAO,CAAC,GAAG,eAAe,GAAG,eAAe;;AAG9C,MAAa,uBACX,KACA,gBACA,MAI8B;CAC9B,MAAM,eAAe,oBAAoB,KAAK,eAAe;AAC7D,QAAO,OAAO,QAAQ,cAAc,GAAG,EACrC,SAAS,MACV,CAAC;;AAGJ,MAAa,qBACX,KACA,MACA,UACM;AACN,KAAI,KAAK,WAAW,EAClB,QAAO;AAGT,KAAI,KAAK,WAAW,GAAG;EACrB,MAAMC,QAAM,KAAK;AACjB,SAAO;GAAE,GAAG;IAAMA,QAAM;GAAO;;CAGjC,MAAM,CAAC,MAAM,GAAG,QAAQ;CACxB,MAAM,MAAM;AACZ,QAAO;EACL,GAAG;GACF,MAAM,kBAAmB,IAAY,QAAQ,EAAE,EAAE,MAAM,MAAM;EAC/D"}

package/package.json

@@ -0,0 +1,90 @@
+{
+  "name": "@confect/server",
+  "version": "1.0.0-next.0",
+  "description": "Confect server",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/rjdellecese/confect.git"
+  },
+  "bugs": {
+    "url": "https://github.com/rjdellecese/confect/issues"
+  },
+  "homepage": "https://confect.rjdellecese.com",
+  "sideEffects": false,
+  "type": "module",
+  "files": [
+    "CHANGELOG.md",
+    "LICENSE",
+    "README.md",
+    "dist",
+    "package.json",
+    "src"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    },
+    "./package.json": "./package.json",
+    "./internal/*": null
+  },
+  "keywords": [
+    "effect",
+    "convex"
+  ],
+  "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/vitest": "0.27.0",
+    "@effect/workflow": "^0.12.5",
+    "@eslint/js": "9.39.1",
+    "@swc/jest": "0.2.39",
+    "@tsconfig/strictest": "2.0.8",
+    "@types/node": "24.10.1",
+    "@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",
+    "typescript": "5.9.3",
+    "typescript-eslint": "8.46.4",
+    "vite": "7.2.2",
+    "vite-tsconfig-paths": "5.1.4",
+    "vitest": "3.2.4",
+    "@confect/cli": "1.0.0-next.0",
+    "@confect/test": "1.0.0-next.0"
+  },
+  "peerDependencies": {
+    "@effect/platform": "^0.93.2",
+    "convex": "^1.30.0",
+    "effect": "^3.19.3",
+    "@confect/core": "1.0.0-next.0"
+  },
+  "engines": {
+    "node": ">=22",
+    "pnpm": ">=10"
+  },
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "scripts": {
+    "build": "tsdown --config-loader unrun",
+    "dev": "tsdown --watch",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit --project tsconfig.json",
+    "fix": "prettier --write . && eslint --fix . --max-warnings=0",
+    "lint": "prettier --check . && eslint . --max-warnings=0",
+    "clean": "rm -rf dist coverage node_modules"
+  }
+}

package/src/ActionCtx.ts

@@ -0,0 +1,9 @@
+import type { GenericActionCtx, GenericDataModel } from "convex/server";
+import { Context } from "effect";
+
+export const ActionCtx = <DataModel extends GenericDataModel>() =>
+  Context.GenericTag<GenericActionCtx<DataModel>>("@confect/server/ActionCtx");
+
+export type ActionCtx<DataModel extends GenericDataModel> = ReturnType<
+  typeof ActionCtx<DataModel>
+>["Identifier"];

package/src/ActionRunner.ts

@@ -0,0 +1,28 @@
+import * as Ref from "@confect/core/Ref";
+import { type GenericActionCtx } from "convex/server";
+import { Context, Effect, Layer, Schema } from "effect";
+
+const makeActionRunner =
+  (runAction: GenericActionCtx<any>["runAction"]) =>
+  <Action extends Ref.AnyAction>(
+    action: Action,
+    args: Ref.Args<Action>["Type"],
+  ) =>
+    Effect.gen(function* () {
+      const function_ = Ref.getFunction(action);
+      const functionName = Ref.getConvexFunctionName(action);
+
+      const encodedArgs = yield* Schema.encode(function_.args)(args);
+      const encodedReturns = yield* Effect.promise(() =>
+        runAction(functionName as any, encodedArgs),
+      );
+      return yield* Schema.decode(function_.returns)(encodedReturns);
+    });
+
+export const ActionRunner = Context.GenericTag<
+  ReturnType<typeof makeActionRunner>
+>("@confect/server/ActionRunner");
+export type ActionRunner = typeof ActionRunner.Identifier;
+
+export const layer = (runAction: GenericActionCtx<any>["runAction"]) =>
+  Layer.succeed(ActionRunner, makeActionRunner(runAction));

package/src/Api.ts

@@ -0,0 +1,63 @@
+import type * as Spec from "@confect/core/Spec";
+import type { GenericSchema, SchemaDefinition } from "convex/server";
+import { defineSchema as defineConvexSchema } from "convex/server";
+import { pipe, Predicate, Record } from "effect";
+import type * as DatabaseSchema from "./DatabaseSchema";
+
+export const TypeId = "@confect/server/Api";
+export type TypeId = typeof TypeId;
+
+export const isApi = (u: unknown): u is Any => Predicate.hasProperty(u, TypeId);
+
+export interface Api<
+  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,
+  Spec_ extends Spec.AnyWithProps,
+> {
+  readonly [TypeId]: TypeId;
+  readonly spec: Spec_;
+  readonly databaseSchema: DatabaseSchema_;
+  readonly convexSchemaDefinition: SchemaDefinition<GenericSchema, true>;
+}
+
+export interface Any {
+  readonly [TypeId]: TypeId;
+}
+
+export interface AnyWithProps
+  extends Api<DatabaseSchema.AnyWithProps, Spec.AnyWithProps> {}
+
+export type Schema<Api_ extends AnyWithProps> = Api_["databaseSchema"];
+
+export type Groups<Api_ extends AnyWithProps> = Spec.Groups<Api_["spec"]>;
+
+const Proto = {
+  [TypeId]: TypeId,
+};
+
+const makeProto = <
+  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,
+  Spec_ extends Spec.AnyWithProps,
+>({
+  databaseSchema,
+  spec,
+}: {
+  databaseSchema: DatabaseSchema.AnyWithProps;
+  spec: Spec_;
+}): Api<DatabaseSchema_, Spec_> =>
+  Object.assign(Object.create(Proto), {
+    databaseSchema,
+    spec,
+    convexSchemaDefinition: pipe(
+      databaseSchema.tables,
+      Record.map(({ tableDefinition }) => tableDefinition),
+      defineConvexSchema,
+    ),
+  });
+
+export const make = <
+  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,
+  Spec_ extends Spec.AnyWithProps,
+>(
+  databaseSchema: DatabaseSchema_,
+  spec: Spec_,
+): Api<DatabaseSchema_, Spec_> => makeProto({ databaseSchema, spec });