@confect/core 10.0.0-next.8 → 10.0.0

package/dist/Table.d.ts

@@ -0,0 +1,75 @@
+import * as SystemFields from "./SystemFields";
+import type { TableSchemaToTableValidator } from "./SchemaToValidator";
+import type { SystemFields as ConvexSystemFields, Expand, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes, IndexTiebreakerField, SearchIndexConfig, VectorIndexConfig } from "convex/server";
+import type { GenericValidator, Validator } from "convex/values";
+import type * as Schema from "effect/Schema";
+export declare const TypeId = "~@confect/core/Table";
+export type TypeId = typeof TypeId;
+export declare const isTable: (u: unknown) => u is Any;
+export declare const isUnnamedTable: (u: unknown) => u is UnnamedAny;
+export interface Table<Name_ extends string, TableSchema_ extends Schema.Codec<any, any>, TableValidator_ extends GenericValidator = TableSchemaToTableValidator<TableSchema_>, Indexes_ extends GenericTableIndexes = {}, SearchIndexes_ extends GenericTableSearchIndexes = {}, VectorIndexes_ extends GenericTableVectorIndexes = {}> {
+    readonly [TypeId]: TypeId;
+    readonly tableName: Name_;
+    readonly Fields: TableSchema_;
+    readonly Doc: SystemFields.ExtendWithSystemFields<Name_, TableSchema_>;
+    readonly indexes: Indexes_;
+    readonly searchIndexes: SearchIndexes_;
+    readonly vectorIndexes: VectorIndexes_;
+    readonly "~TableValidator": TableValidator_;
+}
+export interface Any {
+    readonly [TypeId]: TypeId;
+    readonly tableName: string;
+}
+export type AnyWithProps = Table<any, Schema.Codec<any, any>, GenericValidator, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes>;
+export interface UnnamedTable<TableSchema_ extends Schema.Codec<any, any>, TableValidator_ extends GenericValidator = TableSchemaToTableValidator<TableSchema_>, Indexes_ extends GenericTableIndexes = {}, SearchIndexes_ extends GenericTableSearchIndexes = {}, VectorIndexes_ extends GenericTableVectorIndexes = {}> {
+    <const Name_ extends string>(tableName: Name_): Table<Name_, TableSchema_, TableValidator_, Indexes_, SearchIndexes_, VectorIndexes_>;
+    readonly [TypeId]: TypeId;
+    readonly indexes: Indexes_;
+    readonly searchIndexes: SearchIndexes_;
+    readonly vectorIndexes: VectorIndexes_;
+    readonly "~TableValidator": TableValidator_;
+    index<IndexName extends string, FirstFieldPath extends ExtractFieldPaths<TableValidator_>, RestFieldPaths extends ExtractFieldPaths<TableValidator_>[]>(name: IndexName, fields: [FirstFieldPath, ...RestFieldPaths]): UnnamedTable<TableSchema_, TableValidator_, Expand<Indexes_ & Record<IndexName, [
+        FirstFieldPath,
+        ...RestFieldPaths,
+        IndexTiebreakerField
+    ]>>, SearchIndexes_, VectorIndexes_>;
+    searchIndex<IndexName extends string, SearchField extends ExtractFieldPaths<TableValidator_>, FilterFields extends ExtractFieldPaths<TableValidator_> = never>(name: IndexName, indexConfig: Expand<SearchIndexConfig<SearchField, FilterFields>>): UnnamedTable<TableSchema_, TableValidator_, Indexes_, Expand<SearchIndexes_ & Record<IndexName, {
+        searchField: SearchField;
+        filterFields: FilterFields;
+    }>>, VectorIndexes_>;
+    vectorIndex<IndexName extends string, VectorField extends ExtractFieldPaths<TableValidator_>, FilterFields extends ExtractFieldPaths<TableValidator_> = never>(name: IndexName, indexConfig: Expand<VectorIndexConfig<VectorField, FilterFields>>): UnnamedTable<TableSchema_, TableValidator_, Indexes_, SearchIndexes_, Expand<VectorIndexes_ & Record<IndexName, {
+        vectorField: VectorField;
+        dimensions: number;
+        filterFields: FilterFields;
+    }>>>;
+}
+export interface UnnamedAny {
+    readonly [TypeId]: TypeId;
+}
+export type UnnamedAnyWithProps = UnnamedTable<Schema.Codec<any, any>, GenericValidator, GenericTableIndexes, GenericTableSearchIndexes, GenericTableVectorIndexes>;
+export type Name<TableDef extends AnyWithProps> = TableDef["tableName"] & string;
+export type TableSchema<TableDef extends AnyWithProps> = TableDef["Fields"];
+export type TableValidator<TableDef extends AnyWithProps> = TableDef["~TableValidator"];
+export type Indexes<TableDef extends AnyWithProps> = TableDef["indexes"];
+export type SearchIndexes<TableDef extends AnyWithProps> = TableDef["searchIndexes"];
+export type VectorIndexes<TableDef extends AnyWithProps> = TableDef["vectorIndexes"];
+export type Doc<TableDef extends AnyWithProps> = TableDef["Doc"];
+export type Fields<TableDef extends AnyWithProps> = TableDef["Fields"];
+export type WithName<TableDef extends AnyWithProps, Name_ extends string> = TableDef extends {
+    readonly tableName: Name_;
+} ? TableDef : never;
+export type TablesRecord<Tables extends AnyWithProps> = {
+    readonly [TableName_ in Name<Tables>]: WithName<Tables, TableName_>;
+};
+export declare const make: <const TableSchema_ extends Schema.Codec<any, any>>(lazyFields: () => TableSchema_) => UnnamedTable<TableSchema_, TableSchemaToTableValidator<TableSchema_>>;
+/**
+ * Extract all of the index field paths within a Convex `Validator`.
+ *
+ * This is used when declaring table indexes.
+ *
+ * @public
+ */
+type ExtractFieldPaths<T extends Validator<any, any, any>> = T["fieldPaths"] | keyof ConvexSystemFields;
+export {};
+//# sourceMappingURL=Table.d.ts.map

package/dist/Table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Table.d.ts","sourceRoot":"","sources":["../src/Table.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,KAAK,EACV,YAAY,IAAI,kBAAkB,EAClC,MAAM,EACN,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EAClB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,eAAO,MAAM,MAAM,yBAAyB,CAAC;AAC7C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAanC,eAAO,MAAM,OAAO,MAAO,OAAO,KAAG,CAAC,IAAI,GACiC,CAAC;AAE5E,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,UAC2B,CAAC;AAW7E,MAAM,WAAW,KAAK,CACpB,KAAK,SAAS,MAAM,EACpB,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE;IAErD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;CAC7C;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,YAAY,GAAG,KAAK,CAC9B,GAAG,EACH,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;AAeF,MAAM,WAAW,YAAY,CAC3B,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,eAAe,SAAS,gBAAgB,GACtC,2BAA2B,CAAC,YAAY,CAAC,EAC3C,QAAQ,SAAS,mBAAmB,GAAG,EAAE,EACzC,cAAc,SAAS,yBAAyB,GAAG,EAAE,EACrD,cAAc,SAAS,yBAAyB,GAAG,EAAE;IAErD,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,SAAS,EAAE,KAAK,GACf,KAAK,CACN,KAAK,EACL,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,cAAc,CACf,CAAC;IAEF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,cAAc,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAE5C,KAAK,CACH,SAAS,SAAS,MAAM,EACxB,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACzD,cAAc,SAAS,iBAAiB,CAAC,eAAe,CAAC,EAAE,EAE3D,IAAI,EAAE,SAAS,EACf,MAAM,EAAE,CAAC,cAAc,EAAE,GAAG,cAAc,CAAC,GAC1C,YAAY,CACb,YAAY,EACZ,eAAe,EACf,MAAM,CACJ,QAAQ,GACN,MAAM,CACJ,SAAS,EACT;QAAC,cAAc;QAAE,GAAG,cAAc;QAAE,oBAAoB;KAAC,CAC1D,CACJ,EACD,cAAc,EACd,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,EACD,cAAc,CACf,CAAC;IAEF,WAAW,CACT,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,iBAAiB,CAAC,eAAe,CAAC,EACtD,YAAY,SAAS,iBAAiB,CAAC,eAAe,CAAC,GAAG,KAAK,EAE/D,IAAI,EAAE,SAAS,EACf,WAAW,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,GAChE,YAAY,CACb,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,cAAc,EACd,MAAM,CACJ,cAAc,GACZ,MAAM,CACJ,SAAS,EACT;QACE,WAAW,EAAE,WAAW,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,YAAY,CAAC;KAC5B,CACF,CACJ,CACF,CAAC;CACH;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,mBAAmB,GAAG,YAAY,CAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;AAMF,MAAM,MAAM,IAAI,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,WAAW,CAAC,GACrE,MAAM,CAAC;AAET,MAAM,MAAM,WAAW,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAE5E,MAAM,MAAM,cAAc,CAAC,QAAQ,SAAS,YAAY,IACtD,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE9B,MAAM,MAAM,OAAO,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;AAEzE,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,YAAY,IACrD,QAAQ,CAAC,eAAe,CAAC,CAAC;AAE5B,MAAM,MAAM,GAAG,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEjE,MAAM,MAAM,MAAM,CAAC,QAAQ,SAAS,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEvE,MAAM,MAAM,QAAQ,CAClB,QAAQ,SAAS,YAAY,EAC7B,KAAK,SAAS,MAAM,IAClB,QAAQ,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GAAG,QAAQ,GAAG,KAAK,CAAC;AAEtE,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,YAAY,IAAI;IACtD,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CACpE,CAAC;AAwKF,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,cACxD,MAAM,YAAY,KAC7B,YAAY,CAAC,YAAY,EAAE,2BAA2B,CAAC,YAAY,CAAC,CAUtE,CAAC;AAIF;;;;;;GAMG;AACH,KAAK,iBAAiB,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAIvD,CAAC,CAAC,YAAY,CAAC,GAAG,MAAM,kBAAkB,CAAC"}

package/dist/Table.js

@@ -0,0 +1,77 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { defineProperty } from "./Lazy.js";
+import { extendWithSystemFields } from "./SystemFields.js";
+import * as Predicate from "effect/Predicate";
+//#region src/Table.ts
+var Table_exports = /* @__PURE__ */ __exportAll({
+	TypeId: () => TypeId,
+	isTable: () => isTable,
+	isUnnamedTable: () => isUnnamedTable,
+	make: () => make
+});
+const TypeId = "~@confect/core/Table";
+const isTable = (u) => Predicate.hasProperty(u, "~@confect/core/Table") && Predicate.hasProperty(u, "tableName");
+const isUnnamedTable = (u) => Predicate.hasProperty(u, "~@confect/core/Table") && !Predicate.hasProperty(u, "tableName");
+const makeBound = (tableName, state) => {
+	const bound = {
+		[TypeId]: TypeId,
+		tableName,
+		indexes: state.indexes,
+		searchIndexes: state.searchIndexes,
+		vectorIndexes: state.vectorIndexes
+	};
+	defineProperty(bound, "Fields", () => state.lazyFields());
+	defineProperty(bound, "Doc", () => extendWithSystemFields(tableName, bound.Fields));
+	return bound;
+};
+const makeUnnamed = (state) => {
+	const bind = (tableName) => makeBound(tableName, state);
+	const index = (name, fields) => makeUnnamed({
+		lazyFields: state.lazyFields,
+		indexes: {
+			...state.indexes,
+			[name]: fields
+		},
+		searchIndexes: state.searchIndexes,
+		vectorIndexes: state.vectorIndexes
+	});
+	const searchIndex = (name, indexConfig) => makeUnnamed({
+		lazyFields: state.lazyFields,
+		indexes: state.indexes,
+		searchIndexes: {
+			...state.searchIndexes,
+			[name]: indexConfig
+		},
+		vectorIndexes: state.vectorIndexes
+	});
+	const vectorIndex = (name, indexConfig) => makeUnnamed({
+		lazyFields: state.lazyFields,
+		indexes: state.indexes,
+		searchIndexes: state.searchIndexes,
+		vectorIndexes: {
+			...state.vectorIndexes,
+			[name]: indexConfig
+		}
+	});
+	return Object.assign(bind, {
+		[TypeId]: TypeId,
+		indexes: state.indexes,
+		searchIndexes: state.searchIndexes,
+		vectorIndexes: state.vectorIndexes,
+		index,
+		searchIndex,
+		vectorIndex
+	});
+};
+const make = (lazyFields) => {
+	return makeUnnamed({
+		lazyFields,
+		indexes: {},
+		searchIndexes: {},
+		vectorIndexes: {}
+	});
+};
+//#endregion
+export { Table_exports, TypeId, isTable, isUnnamedTable, make };
+
+//# sourceMappingURL=Table.js.map

package/dist/Table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Table.js","names":["SystemFields.extendWithSystemFields"],"sources":["../src/Table.ts"],"sourcesContent":["import * as Lazy from \"./Lazy\";\nimport * as SystemFields from \"./SystemFields\";\nimport type { TableSchemaToTableValidator } from \"./SchemaToValidator\";\nimport type {\n  SystemFields as ConvexSystemFields,\n  Expand,\n  GenericTableIndexes,\n  GenericTableSearchIndexes,\n  GenericTableVectorIndexes,\n  IndexTiebreakerField,\n  SearchIndexConfig,\n  VectorIndexConfig,\n} from \"convex/server\";\nimport type { GenericValidator, Validator } from \"convex/values\";\nimport * as Predicate from \"effect/Predicate\";\nimport type * as Schema from \"effect/Schema\";\n\nexport const TypeId = \"~@confect/core/Table\";\nexport type TypeId = typeof TypeId;\n\n// -----------------------------------------------------------------------------\n// Predicates\n// -----------------------------------------------------------------------------\n//\n// Both bound `Table`s and `UnnamedTable` callables share the same `[TypeId]`\n// brand. They disambiguate by whether a `tableName` property is set: bound\n// tables have one, unnamed callables do not.\n//\n// The discriminator is `tableName` (not `name`) so it does not collide with\n// the built-in `Function.prototype.name` that every JS function carries.\n\nexport const isTable = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId) && Predicate.hasProperty(u, \"tableName\");\n\nexport const isUnnamedTable = (u: unknown): u is UnnamedAny =>\n  Predicate.hasProperty(u, TypeId) && !Predicate.hasProperty(u, \"tableName\");\n\n// -----------------------------------------------------------------------------\n// Bound Table\n// -----------------------------------------------------------------------------\n//\n// A bound `Table` is the client-safe document schema: `Fields`, `Doc`, and\n// the index metadata records. The Convex deploy `tableDefinition` (which\n// value-imports `convex/server`) is produced separately by\n// `@confect/server/Table.tableDefinition`.\n\nexport interface Table<\n  Name_ extends string,\n  TableSchema_ extends Schema.Codec<any, any>,\n  TableValidator_ extends GenericValidator =\n    TableSchemaToTableValidator<TableSchema_>,\n  Indexes_ extends GenericTableIndexes = {},\n  SearchIndexes_ extends GenericTableSearchIndexes = {},\n  VectorIndexes_ extends GenericTableVectorIndexes = {},\n> {\n  readonly [TypeId]: TypeId;\n  readonly tableName: Name_;\n  readonly Fields: TableSchema_;\n  readonly Doc: SystemFields.ExtendWithSystemFields<Name_, TableSchema_>;\n  readonly indexes: Indexes_;\n  readonly searchIndexes: SearchIndexes_;\n  readonly vectorIndexes: VectorIndexes_;\n  readonly \"~TableValidator\": TableValidator_;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n  readonly tableName: string;\n}\n\nexport type AnyWithProps = Table<\n  any,\n  Schema.Codec<any, any>,\n  GenericValidator,\n  GenericTableIndexes,\n  GenericTableSearchIndexes,\n  GenericTableVectorIndexes\n>;\n\n// -----------------------------------------------------------------------------\n// UnnamedTable (callable)\n// -----------------------------------------------------------------------------\n//\n// `Table.make(lazyFields)` returns an `UnnamedTable`: a callable that\n// produces a fully bound `Table` when invoked with a name. Chaining methods\n// (`.index`, `.searchIndex`, `.vectorIndex`) live here and return new\n// `UnnamedTable`s, accumulating plain index metadata records. The\n// user-supplied `lazyFields` callback is just carried through until first\n// access of `Fields`/`Doc` on a bound table. The codegen pipeline emits a\n// wrapper file per user-authored table that simply invokes the unnamed\n// callable with the filename basename.\n\nexport interface UnnamedTable<\n  TableSchema_ extends Schema.Codec<any, any>,\n  TableValidator_ extends GenericValidator =\n    TableSchemaToTableValidator<TableSchema_>,\n  Indexes_ extends GenericTableIndexes = {},\n  SearchIndexes_ extends GenericTableSearchIndexes = {},\n  VectorIndexes_ extends GenericTableVectorIndexes = {},\n> {\n  <const Name_ extends string>(\n    tableName: Name_,\n  ): Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n\n  readonly [TypeId]: TypeId;\n  readonly indexes: Indexes_;\n  readonly searchIndexes: SearchIndexes_;\n  readonly vectorIndexes: VectorIndexes_;\n  readonly \"~TableValidator\": TableValidator_;\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  ): UnnamedTable<\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  ): UnnamedTable<\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  ): UnnamedTable<\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 UnnamedAny {\n  readonly [TypeId]: TypeId;\n}\n\nexport type UnnamedAnyWithProps = UnnamedTable<\n  Schema.Codec<any, any>,\n  GenericValidator,\n  GenericTableIndexes,\n  GenericTableSearchIndexes,\n  GenericTableVectorIndexes\n>;\n\n// -----------------------------------------------------------------------------\n// Type extractors\n// -----------------------------------------------------------------------------\n\nexport type Name<TableDef extends AnyWithProps> = TableDef[\"tableName\"] &\n  string;\n\nexport type TableSchema<TableDef extends AnyWithProps> = TableDef[\"Fields\"];\n\nexport type TableValidator<TableDef extends AnyWithProps> =\n  TableDef[\"~TableValidator\"];\n\nexport type Indexes<TableDef extends AnyWithProps> = TableDef[\"indexes\"];\n\nexport type SearchIndexes<TableDef extends AnyWithProps> =\n  TableDef[\"searchIndexes\"];\n\nexport type VectorIndexes<TableDef extends AnyWithProps> =\n  TableDef[\"vectorIndexes\"];\n\nexport type Doc<TableDef extends AnyWithProps> = TableDef[\"Doc\"];\n\nexport type Fields<TableDef extends AnyWithProps> = TableDef[\"Fields\"];\n\nexport type WithName<\n  TableDef extends AnyWithProps,\n  Name_ extends string,\n> = TableDef extends { readonly tableName: Name_ } ? TableDef : never;\n\nexport type TablesRecord<Tables extends AnyWithProps> = {\n  readonly [TableName_ in Name<Tables>]: WithName<Tables, TableName_>;\n};\n\n// -----------------------------------------------------------------------------\n// Construction\n// -----------------------------------------------------------------------------\n//\n// `make` only stores the user-supplied `lazyFields` callback alongside any\n// chained index metadata. Neither `Fields` nor `Doc` is constructed until\n// first access on a bound `Table`. Each chain step is O(1) (plain object\n// spread of the metadata records) and never invokes the callback. Binding\n// via `unnamed(tableName)` installs lazy memoised getters for `Fields` and\n// `Doc` via `Lazy.defineProperty`, so the first access materialises the\n// value and replaces the getter with a plain data property—second-and-\n// subsequent accesses are observably indistinguishable from a plain\n// property and avoid all function-call overhead.\n\ninterface UnnamedState<\n  TableSchema_ extends Schema.Codec<any, any>,\n  Indexes_ extends GenericTableIndexes,\n  SearchIndexes_ extends GenericTableSearchIndexes,\n  VectorIndexes_ extends GenericTableVectorIndexes,\n> {\n  readonly lazyFields: () => TableSchema_;\n  readonly indexes: Indexes_;\n  readonly searchIndexes: SearchIndexes_;\n  readonly vectorIndexes: VectorIndexes_;\n}\n\nconst makeBound = <\n  Name_ extends string,\n  TableSchema_ extends Schema.Codec<any, any>,\n  TableValidator_ extends Validator<any, any, any>,\n  Indexes_ extends GenericTableIndexes,\n  SearchIndexes_ extends GenericTableSearchIndexes,\n  VectorIndexes_ extends GenericTableVectorIndexes,\n>(\n  tableName: Name_,\n  state: UnnamedState<TableSchema_, Indexes_, SearchIndexes_, VectorIndexes_>,\n): Table<\n  Name_,\n  TableSchema_,\n  TableValidator_,\n  Indexes_,\n  SearchIndexes_,\n  VectorIndexes_\n> => {\n  const bound = {\n    [TypeId]: TypeId as TypeId,\n    tableName,\n    indexes: state.indexes,\n    searchIndexes: state.searchIndexes,\n    vectorIndexes: state.vectorIndexes,\n  } as Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n\n  Lazy.defineProperty(bound, \"Fields\", () => state.lazyFields());\n\n  Lazy.defineProperty(bound, \"Doc\", () =>\n    SystemFields.extendWithSystemFields(\n      tableName,\n      (bound as { Fields: TableSchema_ }).Fields,\n    ),\n  );\n\n  return bound;\n};\n\nconst makeUnnamed = <\n  TableSchema_ extends Schema.Codec<any, any>,\n  TableValidator_ extends Validator<any, any, any>,\n  Indexes_ extends GenericTableIndexes,\n  SearchIndexes_ extends GenericTableSearchIndexes,\n  VectorIndexes_ extends GenericTableVectorIndexes,\n>(\n  state: UnnamedState<TableSchema_, Indexes_, SearchIndexes_, VectorIndexes_>,\n): UnnamedTable<\n  TableSchema_,\n  TableValidator_,\n  Indexes_,\n  SearchIndexes_,\n  VectorIndexes_\n> => {\n  type UnnamedTable_ = UnnamedTable<\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  >;\n\n  type UnnamedTableFunction<FunctionName extends keyof UnnamedTable_> =\n    UnnamedTable_[FunctionName];\n\n  const bind = <const Name_ extends string>(\n    tableName: Name_,\n  ): Table<\n    Name_,\n    TableSchema_,\n    TableValidator_,\n    Indexes_,\n    SearchIndexes_,\n    VectorIndexes_\n  > =>\n    makeBound<\n      Name_,\n      TableSchema_,\n      TableValidator_,\n      Indexes_,\n      SearchIndexes_,\n      VectorIndexes_\n    >(tableName, state);\n\n  const index: UnnamedTableFunction<\"index\"> = (name, fields) =>\n    makeUnnamed({\n      lazyFields: state.lazyFields,\n      indexes: {\n        ...state.indexes,\n        [name]: fields,\n      } as any,\n      searchIndexes: state.searchIndexes,\n      vectorIndexes: state.vectorIndexes,\n    });\n\n  const searchIndex: UnnamedTableFunction<\"searchIndex\"> = (\n    name,\n    indexConfig,\n  ) =>\n    makeUnnamed({\n      lazyFields: state.lazyFields,\n      indexes: state.indexes,\n      searchIndexes: {\n        ...state.searchIndexes,\n        [name]: indexConfig,\n      } as any,\n      vectorIndexes: state.vectorIndexes,\n    });\n\n  const vectorIndex: UnnamedTableFunction<\"vectorIndex\"> = (\n    name,\n    indexConfig,\n  ) =>\n    makeUnnamed({\n      lazyFields: state.lazyFields,\n      indexes: state.indexes,\n      searchIndexes: state.searchIndexes,\n      vectorIndexes: {\n        ...state.vectorIndexes,\n        [name]: indexConfig,\n      } as any,\n    });\n\n  return Object.assign(bind, {\n    [TypeId]: TypeId as TypeId,\n    indexes: state.indexes,\n    searchIndexes: state.searchIndexes,\n    vectorIndexes: state.vectorIndexes,\n    index,\n    searchIndex,\n    vectorIndex,\n  }) as UnnamedTable_;\n};\n\nexport const make = <const TableSchema_ extends Schema.Codec<any, any>>(\n  lazyFields: () => TableSchema_,\n): UnnamedTable<TableSchema_, TableSchemaToTableValidator<TableSchema_>> => {\n  type TableValidator_ = TableSchemaToTableValidator<TableSchema_>;\n  type UnnamedTable_ = UnnamedTable<TableSchema_, TableValidator_>;\n\n  return makeUnnamed<TableSchema_, TableValidator_, {}, {}, {}>({\n    lazyFields,\n    indexes: {},\n    searchIndexes: {},\n    vectorIndexes: {},\n  }) as UnnamedTable_;\n};\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 Convex `Validator`.\n *\n * This is used when declaring table indexes.\n *\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":";;;;;;;;;;;AAiBA,MAAa,SAAS;AActB,MAAa,WAAW,MACtB,UAAU,YAAY,GAAA,sBAAS,KAAK,UAAU,YAAY,GAAG,WAAW;AAE1E,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAA,sBAAS,KAAK,CAAC,UAAU,YAAY,GAAG,WAAW;AAgO3E,MAAM,aAQJ,WACA,UAQG;CACH,MAAM,QAAQ;GACX,SAAS;EACV;EACA,SAAS,MAAM;EACf,eAAe,MAAM;EACrB,eAAe,MAAM;CACvB;CASA,eAAoB,OAAO,gBAAgB,MAAM,WAAW,CAAC;CAE7D,eAAoB,OAAO,aACzBA,uBACE,WACC,MAAmC,MACtC,CACF;CAEA,OAAO;AACT;AAEA,MAAM,eAOJ,UAOG;CAYH,MAAM,QACJ,cASA,UAOE,WAAW,KAAK;CAEpB,MAAM,SAAwC,MAAM,WAClD,YAAY;EACV,YAAY,MAAM;EAClB,SAAS;GACP,GAAG,MAAM;IACR,OAAO;EACV;EACA,eAAe,MAAM;EACrB,eAAe,MAAM;CACvB,CAAC;CAEH,MAAM,eACJ,MACA,gBAEA,YAAY;EACV,YAAY,MAAM;EAClB,SAAS,MAAM;EACf,eAAe;GACb,GAAG,MAAM;IACR,OAAO;EACV;EACA,eAAe,MAAM;CACvB,CAAC;CAEH,MAAM,eACJ,MACA,gBAEA,YAAY;EACV,YAAY,MAAM;EAClB,SAAS,MAAM;EACf,eAAe,MAAM;EACrB,eAAe;GACb,GAAG,MAAM;IACR,OAAO;EACV;CACF,CAAC;CAEH,OAAO,OAAO,OAAO,MAAM;GACxB,SAAS;EACV,SAAS,MAAM;EACf,eAAe,MAAM;EACrB,eAAe,MAAM;EACrB;EACA;EACA;CACF,CAAC;AACH;AAEA,MAAa,QACX,eAC0E;CAI1E,OAAO,YAAuD;EAC5D;EACA,SAAS,CAAC;EACV,eAAe,CAAC;EAChB,eAAe,CAAC;CAClB,CAAC;AACH"}

package/dist/Types.d.ts

@@ -12,8 +12,14 @@ export type IsRecord<T> = [T] extends [never] ? false : IsUnion<T> extends true
 export type DeepMutable<T> = IsAny<T> extends true ? any : T extends NonRecursiveLeaf ? T : T extends ReadonlyMap<infer K, infer V> ? Map<DeepMutable<K>, DeepMutable<V>> : T extends ReadonlySet<infer V> ? Set<DeepMutable<V>> : [keyof T] extends [never] ? T : {
     -readonly [K in keyof T]: IsOptional<T, K> extends true ? DeepMutable<Exclude<T[K], undefined>> : DeepMutable<T[K]>;
 };
-export type TypeError<Message extends string, T = never> = [Message, T];
-export type TypeDefect<Message extends string, T = never> = [Message, T];
+export interface TypeError<Message extends string, T = never> {
+    readonly "~@confect/core/Types/TypeError": Message;
+    readonly "~value"?: T;
+}
+export interface TypeDefect<Message extends string, T = never> {
+    readonly "~@confect/core/Types/TypeDefect": Message;
+    readonly "~value"?: T;
+}
 export type IsRecursive<T> = true extends DetectCycle<T> ? true : false;
 type NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;
 type DetectCycle<T, Cache extends any[] = []> = IsAny<T> extends true ? false : [T] extends [any] ? T extends NonRecursiveLeaf ? false : T extends Cache[number] ? true : T extends Array<infer U> ? DetectCycle<U, [...Cache, T]> : T extends Map<infer _U, infer V> ? DetectCycle<V, [...Cache, T]> : T extends Set<infer U> ? DetectCycle<U, [...Cache, T]> : T extends object ? true extends {

package/dist/Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEtD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GACvD,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAGV,MAAM,MAAM,cAAc,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,KAAK,GACL,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,KAAK,GACL,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAC/C,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,IAAI,GACZ,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC/B,MAAM,SAAS,MAAM,CAAC,GACpB,MAAM,CAAC,SAAS,MAAM,GACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GACzB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,GAAG,GACH,CAAC,SAAS,gBAAgB,GACxB,CAAC,GACD,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACrC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACnC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,CAAC,GACD;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACrC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtB,CAAC;AAEhB,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAExE,KAAK,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAExE,KAAK,WAAW,CAAC,CAAC,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,IAC1C,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,gBAAgB,GACxB,KAAK,GACL,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAC9B,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,MAAM,GACd,IAAI,SAAS;KACV,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAC,MAAM,CAAC,CAAC,GACR,IAAI,GACJ,KAAK,GACP,KAAK,GACjB,KAAK,CAAC;AAQd,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;AAE3E,KAAK,aAAa,CAAC,CAAC,EAAE,MAAM,SAAS,OAAO,EAAE,IAC5C,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,MAAM,GACN,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1D,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,CAAC,IAClB,cAAc,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACjE,CAAC,EAAE,MAAM,MAAM,KACZ,IAAI,GACL,MAAM,GACN,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAC5E,CAAC,EAAE,MAAM,YAAY,KAClB,IAAI,GACL,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;AAMlD,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,gBAAgB,EACxC,KAAK,SAAS,qBAAqB,CAAC,eAAe,CAAC,EACpD,CAAC,SAAS,MAAM,EAAE,IAChB,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,GACvC,IAAI,SAAS,SAAS,MAAM,EAAE,GAC5B;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,sBAAsB,CACvC,cAAc,CAAC,eAAe,EAAE,KAAK,CAAC,EACtC,IAAI,CAAC,CAAC,CAAC,CACR;CACF,GACD,KAAK,GACP,KAAK,CAAC;AAGV,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,gBAAgB,IAAI;IACnE,GAAG,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;CAClD,CAAC"}
+{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../src/Types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEtD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GACvD,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAGV,MAAM,MAAM,cAAc,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,KAAK,GACL,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,KAAK,GACL,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAC/C,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,KAAK,GACL,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,KAAK,GACL,IAAI,GACZ,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC/B,MAAM,SAAS,MAAM,CAAC,GACpB,MAAM,CAAC,SAAS,MAAM,GACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GACzB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,CAAC,IACvB,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,GAAG,GACH,CAAC,SAAS,gBAAgB,GACxB,CAAC,GACD,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACrC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACnC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACnB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,CAAC,GACD;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACrC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtB,CAAC;AAEhB,MAAM,WAAW,SAAS,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK;IAC1D,QAAQ,CAAC,gCAAgC,EAAE,OAAO,CAAC;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;CACvB;AAED,MAAM,WAAW,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK;IAC3D,QAAQ,CAAC,iCAAiC,EAAE,OAAO,CAAC;IACpD,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;CACvB;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,IAAI,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAExE,KAAK,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAExE,KAAK,WAAW,CAAC,CAAC,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,IAC1C,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,CAAC,SAAS,gBAAgB,GACxB,KAAK,GACL,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,GACrB,IAAI,GACJ,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAC9B,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,MAAM,GACd,IAAI,SAAS;KACV,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAC,MAAM,CAAC,CAAC,GACR,IAAI,GACJ,KAAK,GACP,KAAK,GACjB,KAAK,CAAC;AAQd,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;AAE3E,KAAK,aAAa,CAAC,CAAC,EAAE,MAAM,SAAS,OAAO,EAAE,IAC5C,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,MAAM,GACN,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GAC1D,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,CAAC,IAClB,cAAc,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACjE,CAAC,EAAE,MAAM,MAAM,KACZ,IAAI,GACL,MAAM,GACN,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAC5E,CAAC,EAAE,MAAM,YAAY,KAClB,IAAI,GACL,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;AAMlD,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,gBAAgB,EACxC,KAAK,SAAS,qBAAqB,CAAC,eAAe,CAAC,EACpD,CAAC,SAAS,MAAM,EAAE,IAChB,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,GACvC,IAAI,SAAS,SAAS,MAAM,EAAE,GAC5B;KACG,CAAC,IAAI,MAAM,IAAI,GAAG,sBAAsB,CACvC,cAAc,CAAC,eAAe,EAAE,KAAK,CAAC,EACtC,IAAI,CAAC,CAAC,CAAC,CACR;CACF,GACD,KAAK,GACP,KAAK,CAAC;AAGV,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,gBAAgB,IAAI;IACnE,GAAG,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;CAClD,CAAC"}

package/dist/Types.js.map

@@ -1 +1 @@
-{"version":3,"file":"Types.js","names":[],"sources":["../src/Types.ts"],"sourcesContent":["import type {\n  DocumentByName,\n  FieldTypeFromFieldPath,\n  GenericDatabaseReader,\n  GenericDataModel,\n  TableNamesInDataModel,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport type { Brand } from \"effect\";\n\nexport type IsOptional<T, K extends keyof T> =\n  {} extends Pick<T, K> ? true : false;\n\nexport type IsAny<T> = 0 extends 1 & T ? true : false;\n\nexport type IsUnion<T, U extends T = T> = T extends unknown\n  ? [U] extends [T]\n    ? false\n    : true\n  : never;\n\n// https://stackoverflow.com/a/52806744\nexport type IsValueLiteral<Vl> = [Vl] extends [never]\n  ? never\n  : IsUnion<Vl> extends true\n    ? false\n    : [Vl] extends [string | number | bigint | boolean]\n      ? [string] extends [Vl]\n        ? false\n        : [number] extends [Vl]\n          ? false\n          : [boolean] extends [Vl]\n            ? false\n            : [bigint] extends [Vl]\n              ? false\n              : true\n      : false;\n\n/**\n * Only checks for records with string keys.\n */\nexport type IsRecord<T> = [T] extends [never]\n  ? false\n  : IsUnion<T> extends true\n    ? false\n    : T extends Record<string, infer V>\n      ? string extends keyof T\n        ? keyof T extends string\n          ? T extends Record<string, V>\n            ? Record<string, V> extends T\n              ? true\n              : false\n            : false\n          : false\n        : false\n      : false;\n\nexport type DeepMutable<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends NonRecursiveLeaf\n      ? T\n      : T extends ReadonlyMap<infer K, infer V>\n        ? Map<DeepMutable<K>, DeepMutable<V>>\n        : T extends ReadonlySet<infer V>\n          ? Set<DeepMutable<V>>\n          : [keyof T] extends [never]\n            ? T\n            : {\n                -readonly [K in keyof T]: IsOptional<T, K> extends true\n                  ? DeepMutable<Exclude<T[K], undefined>>\n                  : DeepMutable<T[K]>;\n              };\n\nexport type TypeError<Message extends string, T = never> = [Message, T];\n\nexport type TypeDefect<Message extends string, T = never> = [Message, T];\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\n        : T extends Cache[number]\n          ? true\n          : T extends Array<infer U>\n            ? DetectCycle<U, [...Cache, T]>\n            : T extends Map<infer _U, infer V>\n              ? DetectCycle<V, [...Cache, T]>\n              : T extends Set<infer U>\n                ? DetectCycle<U, [...Cache, T]>\n                : T extends object\n                  ? true extends {\n                      [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;\n                    }[keyof T]\n                    ? true\n                    : false\n                  : false\n      : never;\n\n//////////////////////////////////\n// START: Vendored from Arktype //\n//////////////////////////////////\n\n// https://github.com/arktypeio/arktype/blob/2e911d01a741ccee7a17e31ee144049817fabbb8/ark/util/unionToTuple.ts#L9\n\nexport type UnionToTuple<t> =\n  _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;\n\ntype _unionToTuple<t, result extends unknown[]> =\n  getLastBranch<t> extends infer current\n    ? [t] extends [never]\n      ? result\n      : _unionToTuple<Exclude<t, current>, [current, ...result]>\n    : never;\n\ntype getLastBranch<t> =\n  intersectUnion<t extends unknown ? (x: t) => void : never> extends (\n    x: infer branch,\n  ) => void\n    ? branch\n    : never;\n\ntype intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (\n  _: infer intersection,\n) => void\n  ? intersection\n  : never;\n\ntype conform<t, base> = t extends base ? t : base;\n\n////////////////////////////////\n// END: Vendored from Arktype //\n////////////////////////////////\n\nexport type IndexFieldTypesForEq<\n  ConvexDataModel extends GenericDataModel,\n  Table extends TableNamesInDataModel<ConvexDataModel>,\n  T extends string[],\n> = T extends readonly [...infer Rest, any]\n  ? Rest extends readonly string[]\n    ? {\n        [K in keyof Rest]: FieldTypeFromFieldPath<\n          DocumentByName<ConvexDataModel, Table>,\n          Rest[K]\n        >;\n      }\n    : never\n  : never;\n\n// Would prefer to use `BaseDatabaseReader` from the `convex` package, but it's not exported.\nexport type BaseDatabaseReader<DataModel extends GenericDataModel> = {\n  get: GenericDatabaseReader<DataModel>[\"get\"];\n  query: GenericDatabaseReader<DataModel>[\"query\"];\n};\n"],"mappings":""}
+{"version":3,"file":"Types.js","names":[],"sources":["../src/Types.ts"],"sourcesContent":["import type {\n  DocumentByName,\n  FieldTypeFromFieldPath,\n  GenericDatabaseReader,\n  GenericDataModel,\n  TableNamesInDataModel,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport type { Brand } from \"effect\";\n\nexport type IsOptional<T, K extends keyof T> =\n  {} extends Pick<T, K> ? true : false;\n\nexport type IsAny<T> = 0 extends 1 & T ? true : false;\n\nexport type IsUnion<T, U extends T = T> = T extends unknown\n  ? [U] extends [T]\n    ? false\n    : true\n  : never;\n\n// https://stackoverflow.com/a/52806744\nexport type IsValueLiteral<Vl> = [Vl] extends [never]\n  ? never\n  : IsUnion<Vl> extends true\n    ? false\n    : [Vl] extends [string | number | bigint | boolean]\n      ? [string] extends [Vl]\n        ? false\n        : [number] extends [Vl]\n          ? false\n          : [boolean] extends [Vl]\n            ? false\n            : [bigint] extends [Vl]\n              ? false\n              : true\n      : false;\n\n/**\n * Only checks for records with string keys.\n */\nexport type IsRecord<T> = [T] extends [never]\n  ? false\n  : IsUnion<T> extends true\n    ? false\n    : T extends Record<string, infer V>\n      ? string extends keyof T\n        ? keyof T extends string\n          ? T extends Record<string, V>\n            ? Record<string, V> extends T\n              ? true\n              : false\n            : false\n          : false\n        : false\n      : false;\n\nexport type DeepMutable<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends NonRecursiveLeaf\n      ? T\n      : T extends ReadonlyMap<infer K, infer V>\n        ? Map<DeepMutable<K>, DeepMutable<V>>\n        : T extends ReadonlySet<infer V>\n          ? Set<DeepMutable<V>>\n          : [keyof T] extends [never]\n            ? T\n            : {\n                -readonly [K in keyof T]: IsOptional<T, K> extends true\n                  ? DeepMutable<Exclude<T[K], undefined>>\n                  : DeepMutable<T[K]>;\n              };\n\nexport interface TypeError<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeError\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport interface TypeDefect<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeDefect\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\n        : T extends Cache[number]\n          ? true\n          : T extends Array<infer U>\n            ? DetectCycle<U, [...Cache, T]>\n            : T extends Map<infer _U, infer V>\n              ? DetectCycle<V, [...Cache, T]>\n              : T extends Set<infer U>\n                ? DetectCycle<U, [...Cache, T]>\n                : T extends object\n                  ? true extends {\n                      [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;\n                    }[keyof T]\n                    ? true\n                    : false\n                  : false\n      : never;\n\n//////////////////////////////////\n// START: Vendored from Arktype //\n//////////////////////////////////\n\n// https://github.com/arktypeio/arktype/blob/2e911d01a741ccee7a17e31ee144049817fabbb8/ark/util/unionToTuple.ts#L9\n\nexport type UnionToTuple<t> =\n  _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;\n\ntype _unionToTuple<t, result extends unknown[]> =\n  getLastBranch<t> extends infer current\n    ? [t] extends [never]\n      ? result\n      : _unionToTuple<Exclude<t, current>, [current, ...result]>\n    : never;\n\ntype getLastBranch<t> =\n  intersectUnion<t extends unknown ? (x: t) => void : never> extends (\n    x: infer branch,\n  ) => void\n    ? branch\n    : never;\n\ntype intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (\n  _: infer intersection,\n) => void\n  ? intersection\n  : never;\n\ntype conform<t, base> = t extends base ? t : base;\n\n////////////////////////////////\n// END: Vendored from Arktype //\n////////////////////////////////\n\nexport type IndexFieldTypesForEq<\n  ConvexDataModel extends GenericDataModel,\n  Table extends TableNamesInDataModel<ConvexDataModel>,\n  T extends string[],\n> = T extends readonly [...infer Rest, any]\n  ? Rest extends readonly string[]\n    ? {\n        [K in keyof Rest]: FieldTypeFromFieldPath<\n          DocumentByName<ConvexDataModel, Table>,\n          Rest[K]\n        >;\n      }\n    : never\n  : never;\n\n// Would prefer to use `BaseDatabaseReader` from the `convex` package, but it's not exported.\nexport type BaseDatabaseReader<DataModel extends GenericDataModel> = {\n  get: GenericDatabaseReader<DataModel>[\"get\"];\n  query: GenericDatabaseReader<DataModel>[\"query\"];\n};\n"],"mappings":""}

package/dist/UserIdentity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UserIdentity.d.ts","sourceRoot":"","sources":["../src/UserIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,eAAO,MAAM,YAAY,GAAI,kBAAkB,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAC1E,oBAAoB,kBAAkB;;;;;;;;;;;;;;;;;;;;;EAwBpC,CAAC"}
+{"version":3,"file":"UserIdentity.d.ts","sourceRoot":"","sources":["../src/UserIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,eAAO,MAAM,YAAY,GAAI,kBAAkB,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,sBACtD,kBAAkB;;;;;;;;;;;;;;;;;;;;;EAwBpC,CAAC"}

package/dist/index.d.ts

@@ -5,13 +5,18 @@ export * as GroupPath from "./GroupPath";
 export * as GroupSpec from "./GroupSpec";
 export * as Identifier from "./Identifier";
 export * as Lazy from "./Lazy";
+export * as MiddlewareAttachment from "./MiddlewareAttachment";
+export * as MiddlewareSpec from "./MiddlewareSpec";
+export * as PaginationError from "./PaginationError";
+export * as PaginationOptions from "./PaginationOptions";
 export * as PaginationResult from "./PaginationResult";
 export * as Ref from "./Ref";
 export * as Refs from "./Refs";
-export * as Registry from "./Registry";
 export * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
+export * as SchemaToValidator from "./SchemaToValidator";
 export * as Spec from "./Spec";
 export * as SystemFields from "./SystemFields";
+export * as Table from "./Table";
 export * as Types from "./Types";
 export * as UserIdentity from "./UserIdentity";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,oBAAoB,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -1,17 +1,22 @@
 import { Lazy_exports } from "./Lazy.js";
+import { PaginationOptions_exports } from "./PaginationOptions.js";
+import { PaginationResult_exports } from "./PaginationResult.js";
 import { FunctionProvenance_exports } from "./FunctionProvenance.js";
 import { Identifier_exports } from "./Identifier.js";
 import { RuntimeAndFunctionType_exports } from "./RuntimeAndFunctionType.js";
 import { FunctionSpec_exports } from "./FunctionSpec.js";
 import { GenericId_exports } from "./GenericId.js";
 import { GroupPath_exports } from "./GroupPath.js";
+import { MiddlewareAttachment_exports } from "./MiddlewareAttachment.js";
 import { GroupSpec_exports } from "./GroupSpec.js";
-import { PaginationResult_exports } from "./PaginationResult.js";
+import { MiddlewareSpec_exports } from "./MiddlewareSpec.js";
+import { PaginationError_exports } from "./PaginationError.js";
 import { Ref_exports } from "./Ref.js";
-import { Refs_exports } from "./Refs.js";
-import { Registry_exports } from "./Registry.js";
 import { Spec_exports } from "./Spec.js";
+import { Refs_exports } from "./Refs.js";
+import { SchemaToValidator_exports } from "./SchemaToValidator.js";
 import { SystemFields_exports } from "./SystemFields.js";
+import { Table_exports } from "./Table.js";
 import { Types_exports } from "./Types.js";
 import { UserIdentity_exports } from "./UserIdentity.js";
-export { FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Identifier_exports as Identifier, Lazy_exports as Lazy, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, Registry_exports as Registry, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, Spec_exports as Spec, SystemFields_exports as SystemFields, Types_exports as Types, UserIdentity_exports as UserIdentity };
+export { FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Identifier_exports as Identifier, Lazy_exports as Lazy, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, SchemaToValidator_exports as SchemaToValidator, Spec_exports as Spec, SystemFields_exports as SystemFields, Table_exports as Table, Types_exports as Types, UserIdentity_exports as UserIdentity };

package/package.json

@@ -1,24 +1,24 @@
 {
   "name": "@confect/core",
   "description": "Shared specs and schemas used by all Confect packages",
-  "version": "10.0.0-next.8",
+  "version": "10.0.0",
   "author": "RJ Dellecese",
   "bugs": {
     "url": "https://github.com/rjdellecese/confect/issues"
   },
   "devDependencies": {
-    "@ark/attest": "0.56.3",
-    "@effect/vitest": "4.0.0-beta.101",
-    "@types/node": "26.1.1",
-    "effect": "4.0.0-beta.101",
-    "tsdown": "0.22.12",
-    "tsx": "4.23.1",
-    "typescript": "6.0.3",
+    "@effect/vitest": "4.0.0",
+    "@types/node": "24.13.3",
+    "confect-bench-harness": "0.0.0",
+    "effect": "4.0.0",
+    "tsdown": "0.23.0",
+    "tsx": "4.23.15",
+    "typescript": "7.0.2",
     "unrun": "0.3.1",
-    "vitest": "4.1.10"
+    "vitest": "5.0.2"
   },
   "engines": {
-    "node": ">=22"
+    "node": ">=24"
   },
   "exports": {
     ".": {
@@ -37,6 +37,7 @@
     "LICENSE",
     "README.md",
     "dist",
+    "!dist/*.tsbuildinfo",
     "package.json",
     "src"
   ],
@@ -50,20 +51,21 @@
   "module": "./dist/index.js",
   "peerDependencies": {
     "convex": "^1.32.0",
-    "effect": "^4.0.0-beta.101"
+    "effect": "^4.0.0"
   },
   "repository": {
     "type": "git",
-    "url": "https://github.com/rjdellecese/confect.git"
+    "url": "git+https://github.com/rjdellecese/confect.git"
   },
   "sideEffects": false,
   "type": "module",
   "types": "./dist/index.d.ts",
   "scripts": {
     "bench": "tsx test/Refs.bench.ts",
-    "clean": "rm -rf dist coverage node_modules",
-    "dev": "tsdown --watch --config-loader unrun",
+    "clean": "shx rm -rf dist coverage node_modules",
+    "dev": "tsdown --watch --no-clean --config-loader unrun",
     "test": "vitest run",
-    "typecheck": "tsc -b tsconfig.src.json"
+    "typecheck": "tsc -b tsconfig.src.json",
+    "typecheck:inexact": "tsc --noEmit --project tsconfig.json --exactOptionalPropertyTypes false"
   }
 }