@gaganref/confect-core 10.3.1-fork.81 → 10.3.1-fork.83

package/dist/CommitTs.d.ts

@@ -0,0 +1,18 @@
+import { CommitTsPlaceholder } from "convex/values";
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+/**
+ * A commit timestamp as Convex types it. A mutation writes the database
+ * writer's `vars.commitTs` placeholder, which resolves to an int64 when the
+ * mutation commits. Reading the field back inside that mutation still yields
+ * the placeholder, so a reader narrows with `typeof value === "bigint"` before
+ * using it as a number.
+ */
+export type CommitTs = bigint | CommitTsPlaceholder;
+/**
+ * A field Convex stores as `v.commitTs()`. An index on it orders documents by
+ * commit order.
+ */
+export declare const CommitTs: Schema.Codec<CommitTs>;
+export declare const isCommitTs: (ast: SchemaAST.AST) => boolean;
+//# sourceMappingURL=CommitTs.d.ts.map

package/dist/CommitTs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommitTs.d.ts","sourceRoot":"","sources":["../src/CommitTs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAI9C;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,mBAAmB,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAGL,CAAC;AAExC,eAAO,MAAM,UAAU,QAAS,SAAS,CAAC,GAAG,KAAG,OACY,CAAC"}

package/dist/CommitTs.js

@@ -0,0 +1,20 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+import { CommitTsPlaceholder } from "convex/values";
+//#region src/CommitTs.ts
+var CommitTs_exports = /* @__PURE__ */ __exportAll({
+	CommitTs: () => CommitTs,
+	isCommitTs: () => isCommitTs
+});
+const ConvexCommitTs = "~@confect/core/ConvexCommitTs";
+/**
+* A field Convex stores as `v.commitTs()`. An index on it orders documents by
+* commit order.
+*/
+const CommitTs = Schema.Union([Schema.BigInt, Schema.instanceOf(CommitTsPlaceholder)]).annotate({ [ConvexCommitTs]: true });
+const isCommitTs = (ast) => SchemaAST.resolveAt(ConvexCommitTs)(ast) === true;
+//#endregion
+export { CommitTs, CommitTs_exports, isCommitTs };
+
+//# sourceMappingURL=CommitTs.js.map

package/dist/CommitTs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommitTs.js","names":[],"sources":["../src/CommitTs.ts"],"sourcesContent":["import { CommitTsPlaceholder } from \"convex/values\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\n\nconst ConvexCommitTs = \"~@confect/core/ConvexCommitTs\";\n\n/**\n * A commit timestamp as Convex types it. A mutation writes the database\n * writer's `vars.commitTs` placeholder, which resolves to an int64 when the\n * mutation commits. Reading the field back inside that mutation still yields\n * the placeholder, so a reader narrows with `typeof value === \"bigint\"` before\n * using it as a number.\n */\nexport type CommitTs = bigint | CommitTsPlaceholder;\n\n/**\n * A field Convex stores as `v.commitTs()`. An index on it orders documents by\n * commit order.\n */\nexport const CommitTs: Schema.Codec<CommitTs> = Schema.Union([\n  Schema.BigInt,\n  Schema.instanceOf(CommitTsPlaceholder),\n]).annotate({ [ConvexCommitTs]: true });\n\nexport const isCommitTs = (ast: SchemaAST.AST): boolean =>\n  SchemaAST.resolveAt<boolean>(ConvexCommitTs)(ast) === true;\n"],"mappings":";;;;;;;;;AAIA,MAAM,iBAAiB;;;;;AAevB,MAAa,WAAmC,OAAO,MAAM,CAC3D,OAAO,QACP,OAAO,WAAW,mBAAmB,CACvC,CAAC,CAAC,CAAC,SAAS,GAAG,iBAAiB,KAAK,CAAC;AAEtC,MAAa,cAAc,QACzB,UAAU,UAAmB,cAAc,CAAC,CAAC,GAAG,MAAM"}

package/dist/ManifestSection.d.ts

@@ -4,11 +4,21 @@ export interface Data<Value = unknown> {
     readonly format: number;
     readonly functions: Readonly<Record<string, Value>>;
 }
+/**
+ * The backend codegen generates: the app, or a component under the name its
+ * `defineComponent` gives it.
+ */
+export type Target = {
+    readonly kind: "app";
+} | {
+    readonly kind: "component";
+    readonly name: string;
+};
 /**
  * What codegen hands a section's `render`: the exports of each `confect/` file
  * it matched, every registered function with the spec file declaring it, each
- * mounted component with the specifier of its definition, and every file
- * `match` was offered.
+ * mounted component with the specifier of its definition, every file `match`
+ * was offered, the backend it generates and the absolute path of `confect/`.
  */
 export interface GenerateInput {
     readonly modules: ReadonlyArray<{
@@ -24,6 +34,8 @@ export interface GenerateInput {
         readonly definition: string;
     }>;
     readonly files: ReadonlyArray<string>;
+    readonly target: Target;
+    readonly confectDirectory: string;
 }
 export interface Generate {
     readonly file: string;

package/dist/ManifestSection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ManifestSection.d.ts","sourceRoot":"","sources":["../src/ManifestSection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAE3D,MAAM,WAAW,IAAI,CAAC,KAAK,GAAG,OAAO;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;CACrD;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;KACrD,CAAC,CAAC;IACH,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;QAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC,CAAC;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;IACrC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK,GAAG,OAAO;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,eAAe,CAC9B,KAAK,GAAG,OAAO,EACf,KAAK,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC,KAAK,CAAC;IAEvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;QACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;KACtE,GAAG,KAAK,CAAC;IACV,SAAS,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAChD,KAAK,CAAC,CACJ,IAAI,EAAE,KAAK,EACX,QAAQ,EAAE,OAAO,GAChB;QACD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACvC,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;CACvB"}
+{"version":3,"file":"ManifestSection.d.ts","sourceRoot":"","sources":["../src/ManifestSection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAE3D,MAAM,WAAW,IAAI,CAAC,KAAK,GAAG,OAAO;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;CACrD;AAED;;;GAGG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;KACrD,CAAC,CAAC;IACH,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;QAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC,CAAC;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;IACrC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK,GAAG,OAAO;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,eAAe,CAC9B,KAAK,GAAG,OAAO,EACf,KAAK,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC,KAAK,CAAC;IAEvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;QACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;KACtE,GAAG,KAAK,CAAC;IACV,SAAS,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAChD,KAAK,CAAC,CACJ,IAAI,EAAE,KAAK,EACX,QAAQ,EAAE,OAAO,GAChB;QACD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACvC,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;CACvB"}

package/dist/ManifestSection.js.map

@@ -1 +1 @@
-{"version":3,"file":"ManifestSection.js","names":[],"sources":["../src/ManifestSection.ts"],"sourcesContent":["import type * as FunctionSpec from \"./FunctionSpec.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\n\nexport interface Data<Value = unknown> {\n  readonly format: number;\n  readonly functions: Readonly<Record<string, Value>>;\n}\n\n/**\n * What codegen hands a section's `render`: the exports of each `confect/` file\n * it matched, every registered function with the spec file declaring it, each\n * mounted component with the specifier of its definition, and every file\n * `match` was offered.\n */\nexport interface GenerateInput {\n  readonly modules: ReadonlyArray<{\n    readonly relativePath: string;\n    readonly exports: Readonly<Record<string, unknown>>;\n  }>;\n  readonly functions: ReadonlyArray<{\n    readonly path: string;\n    readonly source: string;\n  }>;\n  readonly mounts: ReadonlyArray<{\n    readonly name: string;\n    readonly definition: string;\n  }>;\n  readonly files: ReadonlyArray<string>;\n}\n\nexport interface Generate {\n  readonly file: string;\n  match(relativePath: string): boolean;\n  render(input: GenerateInput): {\n    readonly contents: string;\n    readonly errors: ReadonlyArray<string>;\n  };\n}\n\n/**\n * What codegen hands a section's `summarize`: the `confect/` files its\n * `generate` matched, each function's description by path, and the spec file\n * declaring each function by path, relative to `confect/`.\n */\nexport interface SummarizeInput<Value = unknown> {\n  readonly modules: GenerateInput[\"modules\"];\n  readonly functions: Readonly<Record<string, Value>>;\n  readonly sources: Readonly<Record<string, string>>;\n}\n\nexport interface ManifestSection<\n  Value = unknown,\n  Data_ extends { readonly format: number } = Data<Value>,\n> {\n  readonly owner: string;\n  readonly format: number;\n  describe(input: {\n    readonly path: string;\n    readonly spec: FunctionSpec.AnyWithProps;\n    readonly middleware: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  }): Value;\n  summarize?(input: SummarizeInput<Value>): Data_;\n  check?(\n    next: Data_,\n    previous: unknown,\n  ): {\n    readonly errors: ReadonlyArray<string>;\n    readonly notes: ReadonlyArray<string>;\n  };\n  readonly generate?: Generate;\n}\n\nexport type Any = ManifestSection<unknown, { readonly format: number }>;\n\nexport interface Entry {\n  readonly key: string;\n  readonly section: Any;\n}\n"],"mappings":""}
+{"version":3,"file":"ManifestSection.js","names":[],"sources":["../src/ManifestSection.ts"],"sourcesContent":["import type * as FunctionSpec from \"./FunctionSpec.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\n\nexport interface Data<Value = unknown> {\n  readonly format: number;\n  readonly functions: Readonly<Record<string, Value>>;\n}\n\n/**\n * The backend codegen generates: the app, or a component under the name its\n * `defineComponent` gives it.\n */\nexport type Target =\n  | { readonly kind: \"app\" }\n  | { readonly kind: \"component\"; readonly name: string };\n\n/**\n * What codegen hands a section's `render`: the exports of each `confect/` file\n * it matched, every registered function with the spec file declaring it, each\n * mounted component with the specifier of its definition, every file `match`\n * was offered, the backend it generates and the absolute path of `confect/`.\n */\nexport interface GenerateInput {\n  readonly modules: ReadonlyArray<{\n    readonly relativePath: string;\n    readonly exports: Readonly<Record<string, unknown>>;\n  }>;\n  readonly functions: ReadonlyArray<{\n    readonly path: string;\n    readonly source: string;\n  }>;\n  readonly mounts: ReadonlyArray<{\n    readonly name: string;\n    readonly definition: string;\n  }>;\n  readonly files: ReadonlyArray<string>;\n  readonly target: Target;\n  readonly confectDirectory: string;\n}\n\nexport interface Generate {\n  readonly file: string;\n  match(relativePath: string): boolean;\n  render(input: GenerateInput): {\n    readonly contents: string;\n    readonly errors: ReadonlyArray<string>;\n  };\n}\n\n/**\n * What codegen hands a section's `summarize`: the `confect/` files its\n * `generate` matched, each function's description by path, and the spec file\n * declaring each function by path, relative to `confect/`.\n */\nexport interface SummarizeInput<Value = unknown> {\n  readonly modules: GenerateInput[\"modules\"];\n  readonly functions: Readonly<Record<string, Value>>;\n  readonly sources: Readonly<Record<string, string>>;\n}\n\nexport interface ManifestSection<\n  Value = unknown,\n  Data_ extends { readonly format: number } = Data<Value>,\n> {\n  readonly owner: string;\n  readonly format: number;\n  describe(input: {\n    readonly path: string;\n    readonly spec: FunctionSpec.AnyWithProps;\n    readonly middleware: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  }): Value;\n  summarize?(input: SummarizeInput<Value>): Data_;\n  check?(\n    next: Data_,\n    previous: unknown,\n  ): {\n    readonly errors: ReadonlyArray<string>;\n    readonly notes: ReadonlyArray<string>;\n  };\n  readonly generate?: Generate;\n}\n\nexport type Any = ManifestSection<unknown, { readonly format: number }>;\n\nexport interface Entry {\n  readonly key: string;\n  readonly section: Any;\n}\n"],"mappings":""}

package/dist/SchemaToValidator.d.ts

@@ -1,5 +1,5 @@
 import * as IdScope from "./IdScope.js";
-import type { GenericId as ConvexGenericId, PropertyValidators, Validator, VAny, VArray, VBoolean, VBytes, VFloat64, VId, VInt64, VLiteral, VNull, VObject, VRecord, VString, VUnion } from "convex/values";
+import type { CommitTsPlaceholder, GenericId as ConvexGenericId, PropertyValidators, Validator, VAny, VArray, VBoolean, VBytes, VCommitTs, VFloat64, VId, VInt64, VLiteral, VNull, VObject, VRecord, VString, VUnion } from "convex/values";
 import * as Effect from "effect/Effect";
 import * as Schema from "effect/Schema";
 import * as SchemaAST from "effect/SchemaAST";
@@ -20,7 +20,7 @@ export declare const compileReturnsSchema: <ConfectValue, ConvexValue>(schema: S
  */
 export type TableSchemaToTableValidator<TableSchema extends Schema.Codec<any, any>> = ValueToValidator<TableSchema["Encoded"]> extends infer Vd extends VObject<any, any, any, any> | VUnion<any, any, any, any> ? Vd : never;
 export declare const compileTableSchema: <TableSchema extends Schema.Codec<any, any>>(schema: TableSchema, scope?: IdScope.IdScope) => TableSchemaToTableValidator<TableSchema>;
-export type ReadonlyValue = string | number | bigint | boolean | ArrayBuffer | ReadonlyArrayValue | ReadonlyRecordValue | null;
+export type ReadonlyValue = string | number | bigint | boolean | ArrayBuffer | CommitTsPlaceholder | ReadonlyArrayValue | ReadonlyRecordValue | null;
 type ReadonlyArrayValue = readonly ReadonlyValue[];
 export type ReadonlyRecordValue = {
     readonly [key: string]: ReadonlyValue | undefined;
@@ -30,14 +30,19 @@ type MutableValue<T> = T extends ReadonlyArray<infer El> ? MutableValue<El>[] :
 } : T;
 export type ValueToValidator<Vl> = [Vl] extends [never] ? never : IsAny<Vl> extends true ? VAny : [Vl] extends [string | number | bigint | boolean | null | ArrayBuffer] ? ConvertValueToValidator<Vl> : IsRecursive<Vl> extends true ? VAny : [Vl] extends [ReadonlyValue] ? ConvertValueToValidator<Vl> : TypeError<"Provided value is not a valid Convex value", Vl>;
 type OptionalValue<Vl, Optionality> = Optionality extends "optional" ? Vl | undefined : Vl;
-type ConvertValueToValidator<Vl, Optionality extends "required" | "optional" = "required"> = [Vl] extends [never] ? never : IsAny<Vl> extends true ? VAny<any, Optionality> : [Vl] extends [null] ? VNull<OptionalValue<null, Optionality>, Optionality> : [Vl] extends [boolean] ? [boolean] extends [Vl] ? VBoolean<OptionalValue<boolean, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : IsUnion<Vl> extends true ? UnionValueToValidator<Vl, Optionality> : [Vl] extends [number] ? [number] extends [Vl] ? VFloat64<OptionalValue<number, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : [Vl] extends [bigint] ? [bigint] extends [Vl] ? VInt64<OptionalValue<bigint, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : [Vl] extends [string] ? StringValueToValidator<Vl, Optionality> : [Vl] extends [ArrayBuffer] ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality> : IsRecursive<Vl> extends true ? VAny<any, Optionality> : Vl extends ReadonlyArray<infer El> ? VArray<OptionalValue<MutableValue<El[]>, Optionality>, ConvertValueToValidator<El>, Optionality> : Vl extends object ? ObjectValueToValidator<Vl, Optionality> : never;
+type ConvertValueToValidator<Vl, Optionality extends "required" | "optional" = "required"> = [Vl] extends [never] ? never : IsAny<Vl> extends true ? VAny<any, Optionality> : [Vl] extends [null] ? VNull<OptionalValue<null, Optionality>, Optionality> : [Vl] extends [boolean] ? [boolean] extends [Vl] ? VBoolean<OptionalValue<boolean, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : IsUnion<Vl> extends true ? IsCommitTs<Vl> extends true ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality> : UnionValueToValidator<Vl, Optionality> : [Vl] extends [number] ? [number] extends [Vl] ? VFloat64<OptionalValue<number, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : [Vl] extends [bigint] ? [bigint] extends [Vl] ? VInt64<OptionalValue<bigint, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality> : [Vl] extends [string] ? StringValueToValidator<Vl, Optionality> : [Vl] extends [ArrayBuffer] ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality> : IsCommitTs<Vl> extends true ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality> : IsRecursive<Vl> extends true ? VAny<any, Optionality> : Vl extends ReadonlyArray<infer El> ? VArray<OptionalValue<MutableValue<El[]>, Optionality>, ConvertValueToValidator<El>, Optionality> : Vl extends object ? ObjectValueToValidator<Vl, Optionality> : never;
+type IsCommitTs<Vl> = [Vl] extends [bigint | CommitTsPlaceholder] ? [CommitTsPlaceholder] extends [Vl] ? true : false : false;
 type StringValueToValidator<Vl, Optionality extends "required" | "optional"> = Vl extends ConvexGenericId<string> ? VId<OptionalValue<Vl, Optionality>, Optionality> : [string] extends [Vl] ? VString<OptionalValue<string, Optionality>, Optionality> : VLiteral<OptionalValue<Vl, Optionality>, Optionality>;
 type ObjectValueToValidator<Vl, Optionality extends "required" | "optional"> = IsRecord<MutableValue<Vl>> extends true ? ValueToValidator<Vl[keyof Vl]> extends infer VdValue extends Validator<any, "required", any> ? VRecord<OptionalValue<MutableValue<Vl>, Optionality>, VString, VdValue, Optionality> : never : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<string, any> ? VObject<OptionalValue<MutableValue<Vl>, Optionality>, VdFields, Optionality> : never;
 type ObjectFieldsToValidators<Vl> = {
     -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true ? IsOptional<Vl, K> extends true ? VAny<any, "optional"> : VAny : undefined extends Vl[K] ? OptionalValueToValidator<Vl[K]> : [Vl[K]] extends [ReadonlyValue] ? ConvertValueToValidator<Vl[K]> : never;
 };
 export type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> = undefined extends Vl ? OptionalValueToValidator<Vl> : [Vl] extends [ReadonlyValue] ? ValueToValidator<Vl> : never;
-type UnionValueToValidator<Vl, Optionality extends "required" | "optional"> = IsRecursive<Vl> extends true ? VAny<any, Optionality> : VUnion<OptionalValue<MutableValue<Vl>, Optionality>, ValueTupleToValidatorTuple<UnionToTuple<Vl>>, Optionality>;
+type UnionValueToValidator<Vl, Optionality extends "required" | "optional"> = IsRecursive<Vl> extends true ? VAny<any, Optionality> : [Extract<Vl, CommitTsPlaceholder>] extends [never] ? VUnion<OptionalValue<MutableValue<Vl>, Optionality>, ValueTupleToValidatorTuple<UnionToTuple<Vl>>, Optionality> : CommitTsUnionValueToValidator<Vl, Optionality>;
+type CommitTsUnionValueToValidator<Vl, Optionality extends "required" | "optional"> = [
+    VCommitTs,
+    ...ValueTupleToValidatorTuple<UnionToTuple<Exclude<Vl, bigint | CommitTsPlaceholder>>>
+] extends infer VdMembers extends Validator<any, "required", any>[] ? VUnion<OptionalValue<MutableValue<Vl>, Optionality>, VdMembers, Optionality> : never;
 type ValueTupleToValidatorTuple<VlTuple extends readonly unknown[], Acc extends Validator<any, "required", any>[] = []> = VlTuple extends [true, false, ...infer VlRest] | [false, true, ...infer VlRest] ? ValueTupleToValidatorTuple<VlRest, [...Acc, VBoolean]> : VlTuple extends [infer Vl, ...infer VlRest] ? ValueTupleToValidatorTuple<VlRest, [...Acc, ConvertValueToValidator<Vl>]> : Acc;
 type OptionalValueToValidator<Vl> = [Vl] extends [
     (infer Val extends ReadonlyValue) | undefined

package/dist/SchemaToValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.d.ts","sourceRoot":"","sources":["../src/SchemaToValidator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAGxC,OAAO,KAAK,EACV,SAAS,IAAI,eAAe,EAC5B,kBAAkB,EAClB,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,MAAM,EACP,MAAM,eAAe,CAAC;AAKvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAI9C,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UAC5C,OAAO,CAAC,OAAO,qBACH,MAAM,iBACV,MAAM,KACpB,kBAYF,CAAC;;;;AAcF,qBAAa,yBAA0B,SAAQ,+BAE7C;IACA,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;IACA,IAAa,OAAO,WAEnB;CACF;AAID,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UACxC,OAAO,CAAC,OAAO,KACrB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAC8C,CAAC;AAIzE;;GAEG;AACH,MAAM,MAAM,2BAA2B,CACrC,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAE1C,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,SACrD,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3B,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1B,EAAE,GACF,KAAK,CAAC;AAEZ,eAAO,MAAM,kBAAkB,GAAI,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACnE,WAAW,UACZ,OAAO,CAAC,OAAO,KACrB,2BAA2B,CAAC,WAAW,CAgBzC,CAAC;AAIF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,WAAW,GACX,kBAAkB,GAClB,mBAAmB,GACnB,IAAI,CAAC;AAET,KAAK,kBAAkB,GAAG,SAAS,aAAa,EAAE,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;CACnD,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAC7B,YAAY,CAAC,EAAE,CAAC,EAAE,GAClB,CAAC,SAAS,mBAAmB,GAC3B;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,GACpE,CAAC,CAAC;AAEV,MAAM,MAAM,gBAAgB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACnD,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,WAAW,CAAC,GACpE,uBAAuB,CAAC,EAAE,CAAC,GAC3B,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,uBAAuB,CAAC,EAAE,CAAC,GAC3B,SAAS,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;AAExE,KAAK,aAAa,CAAC,EAAE,EAAE,WAAW,IAAI,WAAW,SAAS,UAAU,GAChE,EAAE,GAAG,SAAS,GACd,EAAE,CAAC;AAEP,KAAK,uBAAuB,CAC1B,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACtD,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACpD,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GACpB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC1D,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,GACtC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,GACxB,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC5D,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,EAAE,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAChC,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,EAC9C,uBAAuB,CAAC,EAAE,CAAC,EAC3B,WAAW,CACZ,GACD,EAAE,SAAS,MAAM,GACf,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,KAAK,CAAC;AAEhC,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,EAAE,SAAS,eAAe,CAAC,MAAM,CAAC,GAC9B,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAChD,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9D,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,SAAS,CACpE,GAAG,EACH,UAAU,EACV,GAAG,CACJ,GACC,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,WAAW,CACZ,GACD,KAAK,GACP,wBAAwB,CAAC,EAAE,CAAC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAC9D,MAAM,EACN,GAAG,CACJ,GACD,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,QAAQ,EACR,WAAW,CACZ,GACD,KAAK,CAAC;AAEd,KAAK,wBAAwB,CAAC,EAAE,IAAI;IAClC,CAAC,UAAU,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,GACrB,IAAI,GACN,SAAS,SAAS,EAAE,CAAC,CAAC,CAAC,GACrB,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAC7B,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC9B,KAAK;CACd,CAAC;AAEF,MAAM,MAAM,2BAA2B,CAAC,EAAE,SAAS,aAAa,GAAG,SAAS,IAC1E,SAAS,SAAS,EAAE,GAChB,wBAAwB,CAAC,EAAE,CAAC,GAC5B,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,gBAAgB,CAAC,EAAE,CAAC,GACpB,KAAK,CAAC;AAEd,KAAK,qBAAqB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACxE,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,0BAA0B,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAC5C,WAAW,CACZ,CAAC;AAER,KAAK,0BAA0B,CAC7B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAChD,OAAO,SACP,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,QAAQ,CAAC,CAAC,GACtD,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,GACzC,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,GACzE,GAAG,CAAC;AAEV,KAAK,wBAAwB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS;IAC/C,CAAC,MAAM,GAAG,SAAS,aAAa,CAAC,GAAG,SAAS;CAC9C,GACG,uBAAuB,CAAC,GAAG,EAAE,UAAU,CAAC,GACxC,KAAK,CAAC;AAEV,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,UACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACzB,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CACC,CAAC;AAEhD,eAAO,MAAM,WAAW,QAAS,SAAS,CAAC,GAAG,KAAG,OAsC9C,CAAC;AAEJ,eAAO,MAAM,UAAU,QAChB,SAAS,CAAC,GAAG,qDAEX,OAAO,CAAC,OAAO,KACrB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,yBAAyB,GACzB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CAgGhC,CAAC;;;;AAqJF,qBAAa,yBAA0B,SAAQ,8BAE9C;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,gCAAiC,SAAQ,qCAErD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,wCAAyC,SAAQ,8CAE5D;IACA,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CACvC,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,0BAA2B,SAAQ,gCAE9C;IACA,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5C,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mCAAoC,SAAQ,wCAExD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mDAAoD,SAAQ,wDAExE;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,yCAA0C,SAAQ,8CAE9D;IAEC,IAAa,OAAO,WAEnB;CAEF"}
+{"version":3,"file":"SchemaToValidator.d.ts","sourceRoot":"","sources":["../src/SchemaToValidator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAGxC,OAAO,KAAK,EACV,mBAAmB,EACnB,SAAS,IAAI,eAAe,EAC5B,kBAAkB,EAClB,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,EACN,SAAS,EACT,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,MAAM,EACP,MAAM,eAAe,CAAC;AAKvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAK9C,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UAC5C,OAAO,CAAC,OAAO,qBACH,MAAM,iBACV,MAAM,KACpB,kBAYF,CAAC;;;;AAcF,qBAAa,yBAA0B,SAAQ,+BAE7C;IACA,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;IACA,IAAa,OAAO,WAEnB;CACF;AAID,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,UACxC,OAAO,CAAC,OAAO,KACrB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAC8C,CAAC;AAIzE;;GAEG;AACH,MAAM,MAAM,2BAA2B,CACrC,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAE1C,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,SACrD,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC3B,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1B,EAAE,GACF,KAAK,CAAC;AAEZ,eAAO,MAAM,kBAAkB,GAAI,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACnE,WAAW,UACZ,OAAO,CAAC,OAAO,KACrB,2BAA2B,CAAC,WAAW,CAgBzC,CAAC;AAIF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,WAAW,GACX,mBAAmB,GACnB,kBAAkB,GAClB,mBAAmB,GACnB,IAAI,CAAC;AAET,KAAK,kBAAkB,GAAG,SAAS,aAAa,EAAE,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;CACnD,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAC7B,YAAY,CAAC,EAAE,CAAC,EAAE,GAClB,CAAC,SAAS,mBAAmB,GAC3B;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,GACpE,CAAC,CAAC;AAEV,MAAM,MAAM,gBAAgB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACnD,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,WAAW,CAAC,GACpE,uBAAuB,CAAC,EAAE,CAAC,GAC3B,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,uBAAuB,CAAC,EAAE,CAAC,GAC3B,SAAS,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;AAExE,KAAK,aAAa,CAAC,EAAE,EAAE,WAAW,IAAI,WAAW,SAAS,UAAU,GAChE,EAAE,GAAG,SAAS,GACd,EAAE,CAAC;AAEP,KAAK,uBAAuB,CAC1B,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,GAAG,UAAU,IACtD,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GACpB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACpD,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GACpB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC1D,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACtD,qBAAqB,CAAC,EAAE,EAAE,WAAW,CAAC,GACxC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACvD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,GACxB,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC5D,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACtD,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,EAAE,SAAS,aAAa,CAAC,MAAM,EAAE,CAAC,GAChC,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,WAAW,CAAC,EAC9C,uBAAuB,CAAC,EAAE,CAAC,EAC3B,WAAW,CACZ,GACD,EAAE,SAAS,MAAM,GACf,sBAAsB,CAAC,EAAE,EAAE,WAAW,CAAC,GACvC,KAAK,CAAC;AAElC,KAAK,UAAU,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,mBAAmB,CAAC,GAC7D,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC,GAChC,IAAI,GACJ,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,EAAE,SAAS,eAAe,CAAC,MAAM,CAAC,GAC9B,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAChD,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9D,KAAK,sBAAsB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,SAAS,CACpE,GAAG,EACH,UAAU,EACV,GAAG,CACJ,GACC,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,WAAW,CACZ,GACD,KAAK,GACP,wBAAwB,CAAC,EAAE,CAAC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAC9D,MAAM,EACN,GAAG,CACJ,GACD,OAAO,CACL,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,QAAQ,EACR,WAAW,CACZ,GACD,KAAK,CAAC;AAEd,KAAK,wBAAwB,CAAC,EAAE,IAAI;IAClC,CAAC,UAAU,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,GACrB,IAAI,GACN,SAAS,SAAS,EAAE,CAAC,CAAC,CAAC,GACrB,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAC7B,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC9B,KAAK;CACd,CAAC;AAEF,MAAM,MAAM,2BAA2B,CAAC,EAAE,SAAS,aAAa,GAAG,SAAS,IAC1E,SAAS,SAAS,EAAE,GAChB,wBAAwB,CAAC,EAAE,CAAC,GAC5B,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,gBAAgB,CAAC,EAAE,CAAC,GACpB,KAAK,CAAC;AAEd,KAAK,qBAAqB,CAAC,EAAE,EAAE,WAAW,SAAS,UAAU,GAAG,UAAU,IACxE,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,GACtB,CAAC,OAAO,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAChD,MAAM,CACJ,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAC5C,0BAA0B,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAC5C,WAAW,CACZ,GACD,6BAA6B,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;AAMvD,KAAK,6BAA6B,CAChC,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,IACzC;IACF,SAAS;IACT,GAAG,0BAA0B,CAC3B,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,mBAAmB,CAAC,CAAC,CACxD;CACF,SAAS,MAAM,SAAS,SAAS,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAC/D,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,GAC5E,KAAK,CAAC;AAEV,KAAK,0BAA0B,CAC7B,OAAO,SAAS,SAAS,OAAO,EAAE,EAClC,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAChD,OAAO,SACP,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,QAAQ,CAAC,CAAC,GACtD,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,GACzC,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,GACzE,GAAG,CAAC;AAEV,KAAK,wBAAwB,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS;IAC/C,CAAC,MAAM,GAAG,SAAS,aAAa,CAAC,GAAG,SAAS;CAC9C,GACG,uBAAuB,CAAC,GAAG,EAAE,UAAU,CAAC,GACxC,KAAK,CAAC;AAEV,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,UACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACzB,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CACC,CAAC;AAEhD,eAAO,MAAM,WAAW,QAAS,SAAS,CAAC,GAAG,KAAG,OAsC9C,CAAC;AAEJ,eAAO,MAAM,UAAU,QAChB,SAAS,CAAC,GAAG,qDAEX,OAAO,CAAC,OAAO,KACrB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,yBAAyB,GACzB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CAiGhC,CAAC;;;;AAqJF,qBAAa,yBAA0B,SAAQ,8BAE9C;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,gCAAiC,SAAQ,qCAErD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,wCAAyC,SAAQ,8CAE5D;IACA,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CACvC,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,6BAA8B,SAAQ,kCAElD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,0BAA2B,SAAQ,gCAE9C;IACA,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5C,CAAC;IAEA,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mCAAoC,SAAQ,wCAExD;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,mDAAoD,SAAQ,wDAExE;IAEC,IAAa,OAAO,WAEnB;CAEF;;;;AAED,qBAAa,yCAA0C,SAAQ,8CAE9D;IAEC,IAAa,OAAO,WAEnB;CAEF"}

package/dist/SchemaToValidator.js

@@ -2,6 +2,7 @@ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { CallbackContract } from "./internal/annotations.js";
 import { app } from "./IdScope.js";
 import { scope, tableName } from "./GenericId.js";
+import { isCommitTs } from "./CommitTs.js";
 import * as Schema from "effect/Schema";
 import * as Predicate from "effect/Predicate";
 import * as Data from "effect/Data";
@@ -70,6 +71,7 @@ const compileAst = (ast, isOptionalPropertyOfTypeLiteral = false, scope$1 = app)
 			returns
 		});
 	});
+	if (isCommitTs(ast)) return Effect.succeed(v.commitTs());
 	return isRecursive(ast) ? Effect.succeed(v.any()) : pipe(ast, Match.value, Match.tag("Literal", ({ literal }) => pipe(literal, Match.value, Match.whenOr(Match.string, Match.number, Match.bigint, Match.boolean, (l) => v.literal(l)), Match.exhaustive, Effect.succeed)), Match.tag("Null", () => Effect.succeed(v.null())), Match.tag("Boolean", () => Effect.succeed(v.boolean())), Match.tag("String", (stringAst) => tableName(stringAst).pipe(Option.match({
 		onNone: () => Effect.succeed(v.string()),
 		onSome: (tableName) => Effect.succeed(scope(stringAst) === scope$1 ? v.id(tableName) : v.string())

package/dist/SchemaToValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.js","names":["IdScope.app","scope","GenericId.tableName","GenericId.scope"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import * as IdScope from \"./IdScope.js\";\nimport type * as Callback from \"./Callback.js\";\nimport { CallbackContract } from \"./internal/annotations.js\";\nimport type {\n  GenericId as ConvexGenericId,\n  PropertyValidators,\n  Validator,\n  VAny,\n  VArray,\n  VBoolean,\n  VBytes,\n  VFloat64,\n  VId,\n  VInt64,\n  VLiteral,\n  VNull,\n  VObject,\n  VRecord,\n  VString,\n  VUnion,\n} from \"convex/values\";\nimport { v } from \"convex/values\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Number from \"effect/Number\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as String from \"effect/String\";\n\nimport * as GenericId from \"./GenericId.js\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types.js\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n  reservedArgument?: string,\n  functionName?: string,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  const validators = Effect.runSync(compileArgsAst(ast, scope));\n  if (reservedArgument === undefined) return validators;\n  if (Object.hasOwn(validators, reservedArgument)) {\n    throw new ReservedArgumentCollision({\n      functionName,\n      argument: reservedArgument,\n    });\n  }\n  return { ...validators, [reservedArgument]: v.optional(v.any()) };\n};\n\nconst compileArgsAst = (ast: SchemaAST.AST, scope: IdScope.IdScope) =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst, scope)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n  );\n\nexport class ReservedArgumentCollision extends Data.TaggedError(\n  \"ReservedArgumentCollision\",\n)<{\n  readonly functionName: string | undefined;\n  readonly argument: string;\n}> {\n  override get message() {\n    return `${this.functionName} declares the argument \"${this.argument}\", which its profile reserves. Rename the argument.`;\n  }\n}\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast, false, scope));\n\n// Table\n\n/**\n * Convert a table `Schema` to a table `Validator`.\n */\nexport type TableSchemaToTableValidator<\n  TableSchema extends Schema.Codec<any, any>,\n> =\n  ValueToValidator<TableSchema[\"Encoded\"]> extends infer Vd extends\n    | VObject<any, any, any, any>\n    | VUnion<any, any, any, any>\n    ? Vd\n    : never;\n\nexport const compileTableSchema = <TableSchema extends Schema.Codec<any, any>>(\n  schema: TableSchema,\n  scope: IdScope.IdScope = IdScope.app,\n): TableSchemaToTableValidator<TableSchema> => {\n  const ast = Schema.toEncoded(schema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", ({ indexSignatures }) =>\n      Array.isReadonlyArrayEmpty(indexSignatures)\n        ? // oxlint-disable-next-line effecttsgo/unsafe-effect-type-assertion -- The return type is derived from the input schema and cannot be recovered from the runtime AST.\n          (compileAst(ast, false, scope) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst, false, scope)),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())),\n    Effect.runSync,\n  );\n};\n\n// Compiler\n\nexport type ReadonlyValue =\n  | string\n  | number\n  | bigint\n  | boolean\n  | ArrayBuffer\n  | ReadonlyArrayValue\n  | ReadonlyRecordValue\n  | null;\n\ntype ReadonlyArrayValue = readonly ReadonlyValue[];\n\nexport type ReadonlyRecordValue = {\n  readonly [key: string]: ReadonlyValue | undefined;\n};\n\ntype MutableValue<T> =\n  T extends ReadonlyArray<infer El>\n    ? MutableValue<El>[]\n    : T extends ReadonlyRecordValue\n      ? { -readonly [K in keyof T]: MutableValue<Exclude<T[K], undefined>> }\n      : T;\n\nexport type ValueToValidator<Vl> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny\n    : [Vl] extends [string | number | bigint | boolean | null | ArrayBuffer]\n      ? ConvertValueToValidator<Vl>\n      : IsRecursive<Vl> extends true\n        ? VAny\n        : [Vl] extends [ReadonlyValue]\n          ? ConvertValueToValidator<Vl>\n          : TypeError<\"Provided value is not a valid Convex value\", Vl>;\n\ntype OptionalValue<Vl, Optionality> = Optionality extends \"optional\"\n  ? Vl | undefined\n  : Vl;\n\ntype ConvertValueToValidator<\n  Vl,\n  Optionality extends \"required\" | \"optional\" = \"required\",\n> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny<any, Optionality>\n    : [Vl] extends [null]\n      ? VNull<OptionalValue<null, Optionality>, Optionality>\n      : [Vl] extends [boolean]\n        ? [boolean] extends [Vl]\n          ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>\n          : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n        : IsUnion<Vl> extends true\n          ? UnionValueToValidator<Vl, Optionality>\n          : [Vl] extends [number]\n            ? [number] extends [Vl]\n              ? VFloat64<OptionalValue<number, Optionality>, Optionality>\n              : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n            : [Vl] extends [bigint]\n              ? [bigint] extends [Vl]\n                ? VInt64<OptionalValue<bigint, Optionality>, Optionality>\n                : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n              : [Vl] extends [string]\n                ? StringValueToValidator<Vl, Optionality>\n                : [Vl] extends [ArrayBuffer]\n                  ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>\n                  : IsRecursive<Vl> extends true\n                    ? VAny<any, Optionality>\n                    : Vl extends ReadonlyArray<infer El>\n                      ? VArray<\n                          OptionalValue<MutableValue<El[]>, Optionality>,\n                          ConvertValueToValidator<El>,\n                          Optionality\n                        >\n                      : Vl extends object\n                        ? ObjectValueToValidator<Vl, Optionality>\n                        : never;\n\ntype StringValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  Vl extends ConvexGenericId<string>\n    ? VId<OptionalValue<Vl, Optionality>, Optionality>\n    : [string] extends [Vl]\n      ? VString<OptionalValue<string, Optionality>, Optionality>\n      : VLiteral<OptionalValue<Vl, Optionality>, Optionality>;\n\ntype ObjectValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecord<MutableValue<Vl>> extends true\n    ? ValueToValidator<Vl[keyof Vl]> extends infer VdValue extends Validator<\n        any,\n        \"required\",\n        any\n      >\n      ? VRecord<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VString,\n          VdValue,\n          Optionality\n        >\n      : never\n    : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<\n          string,\n          any\n        >\n      ? VObject<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VdFields,\n          Optionality\n        >\n      : never;\n\ntype ObjectFieldsToValidators<Vl> = {\n  -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n    ? IsOptional<Vl, K> extends true\n      ? VAny<any, \"optional\">\n      : VAny\n    : undefined extends Vl[K]\n      ? OptionalValueToValidator<Vl[K]>\n      : [Vl[K]] extends [ReadonlyValue]\n        ? ConvertValueToValidator<Vl[K]>\n        : never;\n};\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? OptionalValueToValidator<Vl>\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecursive<Vl> extends true\n    ? VAny<any, Optionality>\n    : VUnion<\n        OptionalValue<MutableValue<Vl>, Optionality>,\n        ValueTupleToValidatorTuple<UnionToTuple<Vl>>,\n        Optionality\n      >;\n\ntype ValueTupleToValidatorTuple<\n  VlTuple extends readonly unknown[],\n  Acc extends Validator<any, \"required\", any>[] = [],\n> = VlTuple extends\n  | [true, false, ...infer VlRest]\n  | [false, true, ...infer VlRest]\n  ? ValueTupleToValidatorTuple<VlRest, [...Acc, VBoolean]>\n  : VlTuple extends [infer Vl, ...infer VlRest]\n    ? ValueTupleToValidatorTuple<VlRest, [...Acc, ConvertValueToValidator<Vl>]>\n    : Acc;\n\ntype OptionalValueToValidator<Vl> = [Vl] extends [\n  (infer Val extends ReadonlyValue) | undefined,\n]\n  ? ConvertValueToValidator<Val, \"optional\">\n  : never;\n\nexport const compileSchema = <T, E>(\n  schema: Schema.Codec<T, E>,\n): ValueToValidator<(typeof schema)[\"Encoded\"]> =>\n  Effect.runSync(compileAst(schema.ast)) as any;\n\nexport const isRecursive = (ast: SchemaAST.AST): boolean =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\n      \"Literal\",\n      \"Null\",\n      \"Boolean\",\n      \"String\",\n      \"Number\",\n      \"BigInt\",\n      \"Unknown\",\n      \"Any\",\n      \"Declaration\",\n      \"UniqueSymbol\",\n      \"Symbol\",\n      \"Undefined\",\n      \"Void\",\n      \"Never\",\n      \"Enum\",\n      \"TemplateLiteral\",\n      \"ObjectKeyword\",\n      () => false,\n    ),\n    Match.tag(\"Union\", ({ types }) =>\n      Array.some(types, (type) => isRecursive(type)),\n    ),\n    Match.tag(\"Objects\", ({ propertySignatures }) =>\n      Array.some(propertySignatures, ({ type }) => isRecursive(type)),\n    ),\n    Match.tag(\n      \"Arrays\",\n      ({ elements, rest }) =>\n        Array.some(elements, (element) => isRecursive(element)) ||\n        Array.some(rest, (element) => isRecursive(element)),\n    ),\n    Match.tag(\"Suspend\", () => true),\n    Match.exhaustive,\n  );\n\nexport const compileAst = (\n  ast: SchemaAST.AST,\n  isOptionalPropertyOfTypeLiteral = false,\n  scope: IdScope.IdScope = IdScope.app,\n): Effect.Effect<\n  Validator<any, any, any>,\n  | TopLevelMustBeObjectError\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> => {\n  const contract = SchemaAST.resolveAt<Callback.Any>(CallbackContract)(ast);\n  if (contract !== undefined) {\n    return Effect.gen(function* () {\n      const args = yield* compileArgsAst(\n        Schema.toEncoded(contract.functionProvenance.args).ast,\n        scope,\n      );\n      const returns = yield* compileAst(\n        Schema.toEncoded(contract.functionProvenance.returns).ast,\n        false,\n        scope,\n      );\n      return v.function({ fnType: contract.functionType, args, returns });\n    });\n  }\n  return isRecursive(ast)\n    ? Effect.succeed(v.any())\n    : pipe(\n        ast,\n        Match.value,\n        Match.tag(\"Literal\", ({ literal }) =>\n          pipe(\n            literal,\n            Match.value,\n            Match.whenOr(\n              Match.string,\n              Match.number,\n              Match.bigint,\n              Match.boolean,\n              (l) => v.literal(l),\n            ),\n            Match.exhaustive,\n            Effect.succeed,\n          ),\n        ),\n        Match.tag(\"Null\", () => Effect.succeed(v.null())),\n        Match.tag(\"Boolean\", () => Effect.succeed(v.boolean())),\n        Match.tag(\"String\", (stringAst) =>\n          GenericId.tableName(stringAst).pipe(\n            Option.match({\n              onNone: () => Effect.succeed(v.string()),\n              onSome: (tableName) =>\n                Effect.succeed(\n                  GenericId.scope(stringAst) === scope\n                    ? v.id(tableName)\n                    : v.string(),\n                ),\n            }),\n          ),\n        ),\n        Match.tag(\"Number\", () => Effect.succeed(v.float64())),\n        Match.tag(\"BigInt\", () => Effect.succeed(v.int64())),\n        Match.tag(\"Union\", (unionAst) =>\n          handleUnion(unionAst, isOptionalPropertyOfTypeLiteral, scope),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst, scope)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst, scope)),\n        Match.tag(\"Unknown\", \"Any\", () => Effect.succeed(v.any())),\n        Match.tag(\"Declaration\", (declaration) =>\n          Effect.mapBoth(\n            // oxlint-disable-next-line effecttsgo/any-unknown-in-error-context -- Codec inputs are context-free, but Effect's SchemaAST.DeclarationRun erases their requirements to `any`.\n            declaration.run(declaration.typeParameters)(\n              new ArrayBuffer(0),\n              declaration,\n              {},\n            ) as Effect.Effect<ArrayBuffer, unknown, never>,\n            {\n              onSuccess: () => v.bytes(),\n              onFailure: () =>\n                new UnsupportedSchemaTypeError({\n                  schemaType: declaration._tag,\n                }),\n            },\n          ),\n        ),\n        Match.tag(\"Suspend\", () => Effect.succeed(v.any())),\n        Match.tag(\n          \"UniqueSymbol\",\n          \"Symbol\",\n          \"Undefined\",\n          \"Void\",\n          \"Never\",\n          \"Enum\",\n          \"TemplateLiteral\",\n          \"ObjectKeyword\",\n          () =>\n            Effect.fail(\n              new UnsupportedSchemaTypeError({\n                schemaType: ast._tag,\n              }),\n            ),\n        ),\n        Match.exhaustive,\n      );\n};\n\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral, scope);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) {\n  const members = isOptionalPropertyOfTypeLiteral\n    ? Array.filter(types, Predicate.not(SchemaAST.isUndefined))\n    : types;\n\n  const [firstValidator, secondValidator, ...restValidators] =\n    yield* Effect.all(\n      Array.map(members, (type) => compileAst(type, false, scope)),\n    );\n\n  if (firstValidator === undefined) {\n    return yield* new EmptyUnionIsNotSupportedError();\n  } else if (secondValidator === undefined) {\n    return firstValidator;\n  } else {\n    return v.union(firstValidator, secondValidator, ...restValidators);\n  }\n});\n\nconst handleObjects = (objectsAst: SchemaAST.Objects, scope: IdScope.IdScope) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () =>\n        Effect.map(handlePropertySignatures(objectsAst, scope), v.object),\n      onSome: ({ parameter, type }) =>\n        pipe(\n          objectsAst.propertySignatures,\n          Array.head,\n          Option.match({\n            onNone: () =>\n              Effect.map(\n                Effect.all({\n                  parameter_: compileAst(parameter, false, scope),\n                  type_: compileAst(type, false, scope),\n                }),\n                ({ parameter_, type_ }) => v.record(parameter_, type_),\n              ),\n            onSome: () =>\n              Effect.fail(\n                new MixedIndexAndPropertySignaturesAreNotSupportedError(),\n              ),\n          }),\n        ),\n    }),\n  );\n\nconst handleArrays = (\n  { elements, rest }: SchemaAST.Arrays,\n  scope: IdScope.IdScope,\n) => handleArrayElements(elements, rest, scope);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\n  scope: IdScope.IdScope,\n) {\n  const [f, s, ...r] = elements;\n\n  const elementToValidator = (element: SchemaAST.AST) =>\n    SchemaAST.isOptional(element)\n      ? Effect.fail(new OptionalTupleElementsAreNotSupportedError())\n      : compileAst(element, false, scope);\n\n  const arrayItemsValidator = yield* f === undefined\n    ? pipe(\n        rest,\n        Array.head,\n        Option.match({\n          onNone: () => Effect.fail(new EmptyTupleIsNotSupportedError()),\n          onSome: (type) => compileAst(type, false, scope),\n        }),\n      )\n    : s === undefined\n      ? elementToValidator(f)\n      : Effect.gen(function* () {\n          const firstValidator = yield* elementToValidator(f);\n          const secondValidator = yield* elementToValidator(s);\n          const restValidators = yield* Effect.forEach(r, elementToValidator);\n\n          return v.union(firstValidator, secondValidator, ...restValidators);\n        });\n\n  return v.array(arrayItemsValidator);\n});\n\nconst handlePropertySignatures = (\n  objectsAst: SchemaAST.Objects,\n  scope: IdScope.IdScope,\n) =>\n  pipe(\n    objectsAst.propertySignatures,\n    Effect.forEach(({ type, name }) => {\n      const isOptional = SchemaAST.isOptional(type);\n      if (String.isString(name)) {\n        // Somehow, somewhere, keys of type number are being coerced to strings…\n        return Option.match(Number.parse(name), {\n          onNone: () =>\n            Effect.gen(function* () {\n              const validator = yield* compileAst(type, isOptional, scope);\n\n              return {\n                propertyName: name,\n                validator: isOptional ? v.optional(validator) : validator,\n              };\n            }),\n          onSome: (number) =>\n            Effect.fail(\n              new UnsupportedPropertySignatureKeyTypeError({\n                propertyKey: number,\n              }),\n            ),\n        });\n      } else {\n        return Effect.fail(\n          new UnsupportedPropertySignatureKeyTypeError({ propertyKey: name }),\n        );\n      }\n    }),\n    Effect.andThen((propertyNamesWithValidators) =>\n      pipe(\n        propertyNamesWithValidators,\n        Array.reduce(\n          {} as Record<string, Validator<any, any, any>>,\n          (acc, { propertyName, validator }) => ({\n            [propertyName]: validator,\n            ...acc,\n          }),\n        ),\n        Effect.succeed,\n      ),\n    ),\n  );\n\n// Errors\n\nexport class TopLevelMustBeObjectError extends Data.TaggedError(\n  \"TopLevelMustBeObjectError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class TopLevelMustBeObjectOrUnionError extends Data.TaggedError(\n  \"TopLevelMustBeObjectOrUnionError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object or a union\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedPropertySignatureKeyTypeError extends Data.TaggedError(\n  \"UnsupportedPropertySignatureKeyTypeError\",\n)<{\n  readonly propertyKey: number | symbol;\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported property signature '${this.propertyKey.toString()}'. Property is of type '${typeof this.propertyKey}' but only 'string' properties are supported.`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyTupleIsNotSupportedError extends Data.TaggedError(\n  \"EmptyTupleIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Tuple must have at least one element\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyUnionIsNotSupportedError extends Data.TaggedError(\n  \"EmptyUnionIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Union must have at least one member that compiles to a validator\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedSchemaTypeError extends Data.TaggedError(\n  \"UnsupportedSchemaTypeError\",\n)<{\n  readonly schemaType: SchemaAST.AST[\"_tag\"];\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported schema type '${this.schemaType}'`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class IndexSignaturesAreNotSupportedError extends Data.TaggedError(\n  \"IndexSignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Index signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class MixedIndexAndPropertySignaturesAreNotSupportedError extends Data.TaggedError(\n  \"MixedIndexAndPropertySignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Mixed index and property signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class OptionalTupleElementsAreNotSupportedError extends Data.TaggedError(\n  \"OptionalTupleElementsAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Optional tuple elements are not supported\";\n  }\n  /* v8 ignore stop */\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CA,MAAa,qBACX,YACA,QAAyBA,KACzB,kBACA,iBACuB;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,MAAM,aAAa,OAAO,QAAQ,eAAe,KAAK,KAAK,CAAC;CAC5D,IAAI,qBAAqB,KAAA,GAAW,OAAO;CAC3C,IAAI,OAAO,OAAO,YAAY,gBAAgB,GAC5C,MAAM,IAAI,0BAA0B;EAClC;EACA,UAAU;CACZ,CAAC;CAEH,OAAO;EAAE,GAAG;GAAa,mBAAmB,EAAE,SAAS,EAAE,IAAI,CAAC;CAAE;AAClE;AAEA,MAAM,kBAAkB,KAAoB,UAC1C,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,YAAY,KAAK,IAC1C,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,CACjE;AAEF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAGE;CACD,IAAa,UAAU;EACrB,OAAO,GAAG,KAAK,aAAa,0BAA0B,KAAK,SAAS;CACtE;AACF;AAIA,MAAa,wBACX,QACA,QAAyBA,QAEzB,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;AAgBvE,MAAa,sBACX,QACA,QAAyBA,QACoB;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,KAAK,OAAO,KAAK,IAC7B,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,UAAU,OAAO,KAAK,CAAC,GACnE,MAAM,aAAa,OAAO,KAAK,IAAI,iCAAiC,CAAC,CAAC,GACtE,OAAO,OACT;AACF;AA+JA,MAAa,iBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,GAAG,CAAC;AAEvC,MAAa,eAAe,QAC1B,KACE,KACA,MAAM,OACN,MAAM,IACJ,WACA,QACA,WACA,UACA,UACA,UACA,WACA,OACA,eACA,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBACM,KACR,GACA,MAAM,IAAI,UAAU,EAAE,YACpB,MAAM,KAAK,QAAQ,SAAS,YAAY,IAAI,CAAC,CAC/C,GACA,MAAM,IAAI,YAAY,EAAE,yBACtB,MAAM,KAAK,qBAAqB,EAAE,WAAW,YAAY,IAAI,CAAC,CAChE,GACA,MAAM,IACJ,WACC,EAAE,UAAU,WACX,MAAM,KAAK,WAAW,YAAY,YAAY,OAAO,CAAC,KACtD,MAAM,KAAK,OAAO,YAAY,YAAY,OAAO,CAAC,CACtD,GACA,MAAM,IAAI,iBAAiB,IAAI,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,kCAAkC,OAClC,UAAyBA,QAWtB;CACH,MAAM,WAAW,UAAU,UAAwB,gBAAgB,CAAC,CAAC,GAAG;CACxE,IAAI,aAAa,KAAA,GACf,OAAO,OAAO,IAAI,aAAa;EAC7B,MAAM,OAAO,OAAO,eAClB,OAAO,UAAU,SAAS,mBAAmB,IAAI,CAAC,CAAC,KACnDC,OACF;EACA,MAAM,UAAU,OAAO,WACrB,OAAO,UAAU,SAAS,mBAAmB,OAAO,CAAC,CAAC,KACtD,OACAA,OACF;EACA,OAAO,EAAE,SAAS;GAAE,QAAQ,SAAS;GAAc;GAAM;EAAQ,CAAC;CACpE,CAAC;CAEH,OAAO,YAAY,GAAG,IAClB,OAAO,QAAQ,EAAE,IAAI,CAAC,IACtB,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,cACtB,KACE,SACA,MAAM,OACN,MAAM,OACJ,MAAM,QACN,MAAM,QACN,MAAM,QACN,MAAM,UACL,MAAM,EAAE,QAAQ,CAAC,CACpB,GACA,MAAM,YACN,OAAO,OACT,CACF,GACA,MAAM,IAAI,cAAc,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC,GAChD,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACtD,MAAM,IAAI,WAAW,cACnBC,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;EACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;EACvC,SAAS,cACP,OAAO,QACLC,MAAgB,SAAS,MAAMF,UAC3B,EAAE,GAAG,SAAS,IACd,EAAE,OAAO,CACf;CACJ,CAAC,CACH,CACF,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACrD,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,MAAM,CAAC,CAAC,GACnD,MAAM,IAAI,UAAU,aAClB,YAAY,UAAU,iCAAiCA,OAAK,CAC9D,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,YAAYA,OAAK,CAAC,GACrE,MAAM,IAAI,WAAW,cAAc,aAAa,WAAWA,OAAK,CAAC,GACjE,MAAM,IAAI,WAAW,aAAa,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GACzD,MAAM,IAAI,gBAAgB,gBACxB,OAAO,QAEL,YAAY,IAAI,YAAY,cAAc,CAAC,iBACzC,IAAI,YAAY,CAAC,GACjB,aACA,CAAC,CACH,GACA;EACE,iBAAiB,EAAE,MAAM;EACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;CACL,CACF,CACF,GACA,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GAClD,MAAM,IACJ,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBAEE,OAAO,KACL,IAAI,2BAA2B,EAC7B,YAAY,IAAI,KAClB,CAAC,CACH,CACJ,GACA,MAAM,UACR;AACN;AAEA,MAAM,eACJ,EAAE,SACF,iCACA,UACG,iBAAiB,OAAO,iCAAiC,KAAK;AAEnE,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA,OACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IACZ,MAAM,IAAI,UAAU,SAAS,WAAW,MAAM,OAAO,KAAK,CAAC,CAC7D;CAEF,IAAI,mBAAmB,KAAA,GACrB,OAAO,OAAO,IAAI,8BAA8B;MAC3C,IAAI,oBAAoB,KAAA,GAC7B,OAAO;MAEP,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;AAErE,CAAC;AAED,MAAM,iBAAiB,YAA+B,UACpD,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cACE,OAAO,IAAI,yBAAyB,YAAY,KAAK,GAAG,EAAE,MAAM;CAClE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,WAAW,OAAO,KAAK;GAC9C,OAAO,WAAW,MAAM,OAAO,KAAK;EACtC,CAAC,IACA,EAAE,YAAY,YAAY,EAAE,OAAO,YAAY,KAAK,CACvD;EACF,cACE,OAAO,KACL,IAAI,oDAAoD,CAC1D;CACJ,CAAC,CACH;AACJ,CAAC,CACH;AAEF,MAAM,gBACJ,EAAE,UAAU,QACZ,UACG,oBAAoB,UAAU,MAAM,KAAK;AAE9C,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA,OACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,SAAS,OAAO,KAAK;CAEtC,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,MAAM,OAAO,KAAK;CACjD,CAAC,CACH,IACA,MAAM,KAAA,IACJ,mBAAmB,CAAC,IACpB,OAAO,IAAI,aAAa;EACtB,MAAM,iBAAiB,OAAO,mBAAmB,CAAC;EAClD,MAAM,kBAAkB,OAAO,mBAAmB,CAAC;EACnD,MAAM,iBAAiB,OAAO,OAAO,QAAQ,GAAG,kBAAkB;EAElE,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;CACnE,CAAC;CAEP,OAAO,EAAE,MAAM,mBAAmB;AACpC,CAAC;AAED,MAAM,4BACJ,YACA,UAEA,KACE,WAAW,oBACX,OAAO,SAAS,EAAE,MAAM,WAAW;CACjC,MAAM,aAAa,UAAU,WAAW,IAAI;CAC5C,IAAI,OAAO,SAAS,IAAI,GAEtB,OAAO,OAAO,MAAM,OAAO,MAAM,IAAI,GAAG;EACtC,cACE,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,OAAO,WAAW,MAAM,YAAY,KAAK;GAE3D,OAAO;IACL,cAAc;IACd,WAAW,aAAa,EAAE,SAAS,SAAS,IAAI;GAClD;EACF,CAAC;EACH,SAAS,WACP,OAAO,KACL,IAAI,yCAAyC,EAC3C,aAAa,OACf,CAAC,CACH;CACJ,CAAC;MAED,OAAO,OAAO,KACZ,IAAI,yCAAyC,EAAE,aAAa,KAAK,CAAC,CACpE;AAEJ,CAAC,GACD,OAAO,SAAS,gCACd,KACE,6BACA,MAAM,OACJ,CAAC,IACA,KAAK,EAAE,cAAc,iBAAiB;EACpC,eAAe;CAChB,GAAG;AACL,EACF,GACA,OAAO,OACT,CACF,CACF;AAIF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,mCAAb,cAAsD,KAAK,YACzD,kCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,2CAAb,cAA8D,KAAK,YACjE,0CACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,mCAAmC,KAAK,YAAY,SAAS,EAAE,0BAA0B,OAAO,KAAK,YAAY;CAC1H;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,6BAAb,cAAgD,KAAK,YACnD,4BACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,4BAA4B,KAAK,WAAW;CACrD;AAEF;AAEA,IAAa,sCAAb,cAAyD,KAAK,YAC5D,qCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,sDAAb,cAAyE,KAAK,YAC5E,qDACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,4CAAb,cAA+D,KAAK,YAClE,2CACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF"}
+{"version":3,"file":"SchemaToValidator.js","names":["IdScope.app","scope","CommitTs.isCommitTs","GenericId.tableName","GenericId.scope"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import * as IdScope from \"./IdScope.js\";\nimport type * as Callback from \"./Callback.js\";\nimport { CallbackContract } from \"./internal/annotations.js\";\nimport type {\n  CommitTsPlaceholder,\n  GenericId as ConvexGenericId,\n  PropertyValidators,\n  Validator,\n  VAny,\n  VArray,\n  VBoolean,\n  VBytes,\n  VCommitTs,\n  VFloat64,\n  VId,\n  VInt64,\n  VLiteral,\n  VNull,\n  VObject,\n  VRecord,\n  VString,\n  VUnion,\n} from \"convex/values\";\nimport { v } from \"convex/values\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Number from \"effect/Number\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport * as String from \"effect/String\";\n\nimport * as CommitTs from \"./CommitTs.js\";\nimport * as GenericId from \"./GenericId.js\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types.js\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n  reservedArgument?: string,\n  functionName?: string,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  const validators = Effect.runSync(compileArgsAst(ast, scope));\n  if (reservedArgument === undefined) return validators;\n  if (Object.hasOwn(validators, reservedArgument)) {\n    throw new ReservedArgumentCollision({\n      functionName,\n      argument: reservedArgument,\n    });\n  }\n  return { ...validators, [reservedArgument]: v.optional(v.any()) };\n};\n\nconst compileArgsAst = (ast: SchemaAST.AST, scope: IdScope.IdScope) =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst, scope)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n  );\n\nexport class ReservedArgumentCollision extends Data.TaggedError(\n  \"ReservedArgumentCollision\",\n)<{\n  readonly functionName: string | undefined;\n  readonly argument: string;\n}> {\n  override get message() {\n    return `${this.functionName} declares the argument \"${this.argument}\", which its profile reserves. Rename the argument.`;\n  }\n}\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n  scope: IdScope.IdScope = IdScope.app,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast, false, scope));\n\n// Table\n\n/**\n * Convert a table `Schema` to a table `Validator`.\n */\nexport type TableSchemaToTableValidator<\n  TableSchema extends Schema.Codec<any, any>,\n> =\n  ValueToValidator<TableSchema[\"Encoded\"]> extends infer Vd extends\n    | VObject<any, any, any, any>\n    | VUnion<any, any, any, any>\n    ? Vd\n    : never;\n\nexport const compileTableSchema = <TableSchema extends Schema.Codec<any, any>>(\n  schema: TableSchema,\n  scope: IdScope.IdScope = IdScope.app,\n): TableSchemaToTableValidator<TableSchema> => {\n  const ast = Schema.toEncoded(schema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", ({ indexSignatures }) =>\n      Array.isReadonlyArrayEmpty(indexSignatures)\n        ? // oxlint-disable-next-line effecttsgo/unsafe-effect-type-assertion -- The return type is derived from the input schema and cannot be recovered from the runtime AST.\n          (compileAst(ast, false, scope) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst, false, scope)),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectOrUnionError())),\n    Effect.runSync,\n  );\n};\n\n// Compiler\n\nexport type ReadonlyValue =\n  | string\n  | number\n  | bigint\n  | boolean\n  | ArrayBuffer\n  | CommitTsPlaceholder\n  | ReadonlyArrayValue\n  | ReadonlyRecordValue\n  | null;\n\ntype ReadonlyArrayValue = readonly ReadonlyValue[];\n\nexport type ReadonlyRecordValue = {\n  readonly [key: string]: ReadonlyValue | undefined;\n};\n\ntype MutableValue<T> =\n  T extends ReadonlyArray<infer El>\n    ? MutableValue<El>[]\n    : T extends ReadonlyRecordValue\n      ? { -readonly [K in keyof T]: MutableValue<Exclude<T[K], undefined>> }\n      : T;\n\nexport type ValueToValidator<Vl> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny\n    : [Vl] extends [string | number | bigint | boolean | null | ArrayBuffer]\n      ? ConvertValueToValidator<Vl>\n      : IsRecursive<Vl> extends true\n        ? VAny\n        : [Vl] extends [ReadonlyValue]\n          ? ConvertValueToValidator<Vl>\n          : TypeError<\"Provided value is not a valid Convex value\", Vl>;\n\ntype OptionalValue<Vl, Optionality> = Optionality extends \"optional\"\n  ? Vl | undefined\n  : Vl;\n\ntype ConvertValueToValidator<\n  Vl,\n  Optionality extends \"required\" | \"optional\" = \"required\",\n> = [Vl] extends [never]\n  ? never\n  : IsAny<Vl> extends true\n    ? VAny<any, Optionality>\n    : [Vl] extends [null]\n      ? VNull<OptionalValue<null, Optionality>, Optionality>\n      : [Vl] extends [boolean]\n        ? [boolean] extends [Vl]\n          ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>\n          : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n        : IsUnion<Vl> extends true\n          ? IsCommitTs<Vl> extends true\n            ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality>\n            : UnionValueToValidator<Vl, Optionality>\n          : [Vl] extends [number]\n            ? [number] extends [Vl]\n              ? VFloat64<OptionalValue<number, Optionality>, Optionality>\n              : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n            : [Vl] extends [bigint]\n              ? [bigint] extends [Vl]\n                ? VInt64<OptionalValue<bigint, Optionality>, Optionality>\n                : VLiteral<OptionalValue<Vl, Optionality>, Optionality>\n              : [Vl] extends [string]\n                ? StringValueToValidator<Vl, Optionality>\n                : [Vl] extends [ArrayBuffer]\n                  ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>\n                  : IsCommitTs<Vl> extends true\n                    ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality>\n                    : IsRecursive<Vl> extends true\n                      ? VAny<any, Optionality>\n                      : Vl extends ReadonlyArray<infer El>\n                        ? VArray<\n                            OptionalValue<MutableValue<El[]>, Optionality>,\n                            ConvertValueToValidator<El>,\n                            Optionality\n                          >\n                        : Vl extends object\n                          ? ObjectValueToValidator<Vl, Optionality>\n                          : never;\n\ntype IsCommitTs<Vl> = [Vl] extends [bigint | CommitTsPlaceholder]\n  ? [CommitTsPlaceholder] extends [Vl]\n    ? true\n    : false\n  : false;\n\ntype StringValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  Vl extends ConvexGenericId<string>\n    ? VId<OptionalValue<Vl, Optionality>, Optionality>\n    : [string] extends [Vl]\n      ? VString<OptionalValue<string, Optionality>, Optionality>\n      : VLiteral<OptionalValue<Vl, Optionality>, Optionality>;\n\ntype ObjectValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecord<MutableValue<Vl>> extends true\n    ? ValueToValidator<Vl[keyof Vl]> extends infer VdValue extends Validator<\n        any,\n        \"required\",\n        any\n      >\n      ? VRecord<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VString,\n          VdValue,\n          Optionality\n        >\n      : never\n    : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<\n          string,\n          any\n        >\n      ? VObject<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          VdFields,\n          Optionality\n        >\n      : never;\n\ntype ObjectFieldsToValidators<Vl> = {\n  -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n    ? IsOptional<Vl, K> extends true\n      ? VAny<any, \"optional\">\n      : VAny\n    : undefined extends Vl[K]\n      ? OptionalValueToValidator<Vl[K]>\n      : [Vl[K]] extends [ReadonlyValue]\n        ? ConvertValueToValidator<Vl[K]>\n        : never;\n};\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? OptionalValueToValidator<Vl>\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl, Optionality extends \"required\" | \"optional\"> =\n  IsRecursive<Vl> extends true\n    ? VAny<any, Optionality>\n    : [Extract<Vl, CommitTsPlaceholder>] extends [never]\n      ? VUnion<\n          OptionalValue<MutableValue<Vl>, Optionality>,\n          ValueTupleToValidatorTuple<UnionToTuple<Vl>>,\n          Optionality\n        >\n      : CommitTsUnionValueToValidator<Vl, Optionality>;\n\n// A CommitTs is one validator at runtime, so its bigint and placeholder\n// branches collapse into a single member, as true and false do into VBoolean.\n// Only a union holding a placeholder comes here, because the infer that lets\n// the spread tuple satisfy VUnion's constraint makes other unions far costlier.\ntype CommitTsUnionValueToValidator<\n  Vl,\n  Optionality extends \"required\" | \"optional\",\n> = [\n  VCommitTs,\n  ...ValueTupleToValidatorTuple<\n    UnionToTuple<Exclude<Vl, bigint | CommitTsPlaceholder>>\n  >,\n] extends infer VdMembers extends Validator<any, \"required\", any>[]\n  ? VUnion<OptionalValue<MutableValue<Vl>, Optionality>, VdMembers, Optionality>\n  : never;\n\ntype ValueTupleToValidatorTuple<\n  VlTuple extends readonly unknown[],\n  Acc extends Validator<any, \"required\", any>[] = [],\n> = VlTuple extends\n  | [true, false, ...infer VlRest]\n  | [false, true, ...infer VlRest]\n  ? ValueTupleToValidatorTuple<VlRest, [...Acc, VBoolean]>\n  : VlTuple extends [infer Vl, ...infer VlRest]\n    ? ValueTupleToValidatorTuple<VlRest, [...Acc, ConvertValueToValidator<Vl>]>\n    : Acc;\n\ntype OptionalValueToValidator<Vl> = [Vl] extends [\n  (infer Val extends ReadonlyValue) | undefined,\n]\n  ? ConvertValueToValidator<Val, \"optional\">\n  : never;\n\nexport const compileSchema = <T, E>(\n  schema: Schema.Codec<T, E>,\n): ValueToValidator<(typeof schema)[\"Encoded\"]> =>\n  Effect.runSync(compileAst(schema.ast)) as any;\n\nexport const isRecursive = (ast: SchemaAST.AST): boolean =>\n  pipe(\n    ast,\n    Match.value,\n    Match.tag(\n      \"Literal\",\n      \"Null\",\n      \"Boolean\",\n      \"String\",\n      \"Number\",\n      \"BigInt\",\n      \"Unknown\",\n      \"Any\",\n      \"Declaration\",\n      \"UniqueSymbol\",\n      \"Symbol\",\n      \"Undefined\",\n      \"Void\",\n      \"Never\",\n      \"Enum\",\n      \"TemplateLiteral\",\n      \"ObjectKeyword\",\n      () => false,\n    ),\n    Match.tag(\"Union\", ({ types }) =>\n      Array.some(types, (type) => isRecursive(type)),\n    ),\n    Match.tag(\"Objects\", ({ propertySignatures }) =>\n      Array.some(propertySignatures, ({ type }) => isRecursive(type)),\n    ),\n    Match.tag(\n      \"Arrays\",\n      ({ elements, rest }) =>\n        Array.some(elements, (element) => isRecursive(element)) ||\n        Array.some(rest, (element) => isRecursive(element)),\n    ),\n    Match.tag(\"Suspend\", () => true),\n    Match.exhaustive,\n  );\n\nexport const compileAst = (\n  ast: SchemaAST.AST,\n  isOptionalPropertyOfTypeLiteral = false,\n  scope: IdScope.IdScope = IdScope.app,\n): Effect.Effect<\n  Validator<any, any, any>,\n  | TopLevelMustBeObjectError\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> => {\n  const contract = SchemaAST.resolveAt<Callback.Any>(CallbackContract)(ast);\n  if (contract !== undefined) {\n    return Effect.gen(function* () {\n      const args = yield* compileArgsAst(\n        Schema.toEncoded(contract.functionProvenance.args).ast,\n        scope,\n      );\n      const returns = yield* compileAst(\n        Schema.toEncoded(contract.functionProvenance.returns).ast,\n        false,\n        scope,\n      );\n      return v.function({ fnType: contract.functionType, args, returns });\n    });\n  }\n  if (CommitTs.isCommitTs(ast)) return Effect.succeed(v.commitTs());\n  return isRecursive(ast)\n    ? Effect.succeed(v.any())\n    : pipe(\n        ast,\n        Match.value,\n        Match.tag(\"Literal\", ({ literal }) =>\n          pipe(\n            literal,\n            Match.value,\n            Match.whenOr(\n              Match.string,\n              Match.number,\n              Match.bigint,\n              Match.boolean,\n              (l) => v.literal(l),\n            ),\n            Match.exhaustive,\n            Effect.succeed,\n          ),\n        ),\n        Match.tag(\"Null\", () => Effect.succeed(v.null())),\n        Match.tag(\"Boolean\", () => Effect.succeed(v.boolean())),\n        Match.tag(\"String\", (stringAst) =>\n          GenericId.tableName(stringAst).pipe(\n            Option.match({\n              onNone: () => Effect.succeed(v.string()),\n              onSome: (tableName) =>\n                Effect.succeed(\n                  GenericId.scope(stringAst) === scope\n                    ? v.id(tableName)\n                    : v.string(),\n                ),\n            }),\n          ),\n        ),\n        Match.tag(\"Number\", () => Effect.succeed(v.float64())),\n        Match.tag(\"BigInt\", () => Effect.succeed(v.int64())),\n        Match.tag(\"Union\", (unionAst) =>\n          handleUnion(unionAst, isOptionalPropertyOfTypeLiteral, scope),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst, scope)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst, scope)),\n        Match.tag(\"Unknown\", \"Any\", () => Effect.succeed(v.any())),\n        Match.tag(\"Declaration\", (declaration) =>\n          Effect.mapBoth(\n            // oxlint-disable-next-line effecttsgo/any-unknown-in-error-context -- Codec inputs are context-free, but Effect's SchemaAST.DeclarationRun erases their requirements to `any`.\n            declaration.run(declaration.typeParameters)(\n              new ArrayBuffer(0),\n              declaration,\n              {},\n            ) as Effect.Effect<ArrayBuffer, unknown, never>,\n            {\n              onSuccess: () => v.bytes(),\n              onFailure: () =>\n                new UnsupportedSchemaTypeError({\n                  schemaType: declaration._tag,\n                }),\n            },\n          ),\n        ),\n        Match.tag(\"Suspend\", () => Effect.succeed(v.any())),\n        Match.tag(\n          \"UniqueSymbol\",\n          \"Symbol\",\n          \"Undefined\",\n          \"Void\",\n          \"Never\",\n          \"Enum\",\n          \"TemplateLiteral\",\n          \"ObjectKeyword\",\n          () =>\n            Effect.fail(\n              new UnsupportedSchemaTypeError({\n                schemaType: ast._tag,\n              }),\n            ),\n        ),\n        Match.exhaustive,\n      );\n};\n\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral, scope);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\n  scope: IdScope.IdScope,\n) {\n  const members = isOptionalPropertyOfTypeLiteral\n    ? Array.filter(types, Predicate.not(SchemaAST.isUndefined))\n    : types;\n\n  const [firstValidator, secondValidator, ...restValidators] =\n    yield* Effect.all(\n      Array.map(members, (type) => compileAst(type, false, scope)),\n    );\n\n  if (firstValidator === undefined) {\n    return yield* new EmptyUnionIsNotSupportedError();\n  } else if (secondValidator === undefined) {\n    return firstValidator;\n  } else {\n    return v.union(firstValidator, secondValidator, ...restValidators);\n  }\n});\n\nconst handleObjects = (objectsAst: SchemaAST.Objects, scope: IdScope.IdScope) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () =>\n        Effect.map(handlePropertySignatures(objectsAst, scope), v.object),\n      onSome: ({ parameter, type }) =>\n        pipe(\n          objectsAst.propertySignatures,\n          Array.head,\n          Option.match({\n            onNone: () =>\n              Effect.map(\n                Effect.all({\n                  parameter_: compileAst(parameter, false, scope),\n                  type_: compileAst(type, false, scope),\n                }),\n                ({ parameter_, type_ }) => v.record(parameter_, type_),\n              ),\n            onSome: () =>\n              Effect.fail(\n                new MixedIndexAndPropertySignaturesAreNotSupportedError(),\n              ),\n          }),\n        ),\n    }),\n  );\n\nconst handleArrays = (\n  { elements, rest }: SchemaAST.Arrays,\n  scope: IdScope.IdScope,\n) => handleArrayElements(elements, rest, scope);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\n  scope: IdScope.IdScope,\n) {\n  const [f, s, ...r] = elements;\n\n  const elementToValidator = (element: SchemaAST.AST) =>\n    SchemaAST.isOptional(element)\n      ? Effect.fail(new OptionalTupleElementsAreNotSupportedError())\n      : compileAst(element, false, scope);\n\n  const arrayItemsValidator = yield* f === undefined\n    ? pipe(\n        rest,\n        Array.head,\n        Option.match({\n          onNone: () => Effect.fail(new EmptyTupleIsNotSupportedError()),\n          onSome: (type) => compileAst(type, false, scope),\n        }),\n      )\n    : s === undefined\n      ? elementToValidator(f)\n      : Effect.gen(function* () {\n          const firstValidator = yield* elementToValidator(f);\n          const secondValidator = yield* elementToValidator(s);\n          const restValidators = yield* Effect.forEach(r, elementToValidator);\n\n          return v.union(firstValidator, secondValidator, ...restValidators);\n        });\n\n  return v.array(arrayItemsValidator);\n});\n\nconst handlePropertySignatures = (\n  objectsAst: SchemaAST.Objects,\n  scope: IdScope.IdScope,\n) =>\n  pipe(\n    objectsAst.propertySignatures,\n    Effect.forEach(({ type, name }) => {\n      const isOptional = SchemaAST.isOptional(type);\n      if (String.isString(name)) {\n        // Somehow, somewhere, keys of type number are being coerced to strings…\n        return Option.match(Number.parse(name), {\n          onNone: () =>\n            Effect.gen(function* () {\n              const validator = yield* compileAst(type, isOptional, scope);\n\n              return {\n                propertyName: name,\n                validator: isOptional ? v.optional(validator) : validator,\n              };\n            }),\n          onSome: (number) =>\n            Effect.fail(\n              new UnsupportedPropertySignatureKeyTypeError({\n                propertyKey: number,\n              }),\n            ),\n        });\n      } else {\n        return Effect.fail(\n          new UnsupportedPropertySignatureKeyTypeError({ propertyKey: name }),\n        );\n      }\n    }),\n    Effect.andThen((propertyNamesWithValidators) =>\n      pipe(\n        propertyNamesWithValidators,\n        Array.reduce(\n          {} as Record<string, Validator<any, any, any>>,\n          (acc, { propertyName, validator }) => ({\n            [propertyName]: validator,\n            ...acc,\n          }),\n        ),\n        Effect.succeed,\n      ),\n    ),\n  );\n\n// Errors\n\nexport class TopLevelMustBeObjectError extends Data.TaggedError(\n  \"TopLevelMustBeObjectError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class TopLevelMustBeObjectOrUnionError extends Data.TaggedError(\n  \"TopLevelMustBeObjectOrUnionError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Top level schema must be an object or a union\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedPropertySignatureKeyTypeError extends Data.TaggedError(\n  \"UnsupportedPropertySignatureKeyTypeError\",\n)<{\n  readonly propertyKey: number | symbol;\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported property signature '${this.propertyKey.toString()}'. Property is of type '${typeof this.propertyKey}' but only 'string' properties are supported.`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyTupleIsNotSupportedError extends Data.TaggedError(\n  \"EmptyTupleIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Tuple must have at least one element\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class EmptyUnionIsNotSupportedError extends Data.TaggedError(\n  \"EmptyUnionIsNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Union must have at least one member that compiles to a validator\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class UnsupportedSchemaTypeError extends Data.TaggedError(\n  \"UnsupportedSchemaTypeError\",\n)<{\n  readonly schemaType: SchemaAST.AST[\"_tag\"];\n}> {\n  /* v8 ignore start */\n  override get message() {\n    return `Unsupported schema type '${this.schemaType}'`;\n  }\n  /* v8 ignore stop */\n}\n\nexport class IndexSignaturesAreNotSupportedError extends Data.TaggedError(\n  \"IndexSignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Index signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class MixedIndexAndPropertySignaturesAreNotSupportedError extends Data.TaggedError(\n  \"MixedIndexAndPropertySignaturesAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Mixed index and property signatures are not supported\";\n  }\n  /* v8 ignore stop */\n}\n\nexport class OptionalTupleElementsAreNotSupportedError extends Data.TaggedError(\n  \"OptionalTupleElementsAreNotSupportedError\",\n) {\n  /* v8 ignore start */\n  override get message() {\n    return \"Optional tuple elements are not supported\";\n  }\n  /* v8 ignore stop */\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDA,MAAa,qBACX,YACA,QAAyBA,KACzB,kBACA,iBACuB;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,MAAM,aAAa,OAAO,QAAQ,eAAe,KAAK,KAAK,CAAC;CAC5D,IAAI,qBAAqB,KAAA,GAAW,OAAO;CAC3C,IAAI,OAAO,OAAO,YAAY,gBAAgB,GAC5C,MAAM,IAAI,0BAA0B;EAClC;EACA,UAAU;CACZ,CAAC;CAEH,OAAO;EAAE,GAAG;GAAa,mBAAmB,EAAE,SAAS,EAAE,IAAI,CAAC;CAAE;AAClE;AAEA,MAAM,kBAAkB,KAAoB,UAC1C,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,YAAY,KAAK,IAC1C,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,CACjE;AAEF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAGE;CACD,IAAa,UAAU;EACrB,OAAO,GAAG,KAAK,aAAa,0BAA0B,KAAK,SAAS;CACtE;AACF;AAIA,MAAa,wBACX,QACA,QAAyBA,QAEzB,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC;AAgBvE,MAAa,sBACX,QACA,QAAyBA,QACoB;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,KAAK,OAAO,KAAK,IAC7B,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,UAAU,OAAO,KAAK,CAAC,GACnE,MAAM,aAAa,OAAO,KAAK,IAAI,iCAAiC,CAAC,CAAC,GACtE,OAAO,OACT;AACF;AA4LA,MAAa,iBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,GAAG,CAAC;AAEvC,MAAa,eAAe,QAC1B,KACE,KACA,MAAM,OACN,MAAM,IACJ,WACA,QACA,WACA,UACA,UACA,UACA,WACA,OACA,eACA,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBACM,KACR,GACA,MAAM,IAAI,UAAU,EAAE,YACpB,MAAM,KAAK,QAAQ,SAAS,YAAY,IAAI,CAAC,CAC/C,GACA,MAAM,IAAI,YAAY,EAAE,yBACtB,MAAM,KAAK,qBAAqB,EAAE,WAAW,YAAY,IAAI,CAAC,CAChE,GACA,MAAM,IACJ,WACC,EAAE,UAAU,WACX,MAAM,KAAK,WAAW,YAAY,YAAY,OAAO,CAAC,KACtD,MAAM,KAAK,OAAO,YAAY,YAAY,OAAO,CAAC,CACtD,GACA,MAAM,IAAI,iBAAiB,IAAI,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,kCAAkC,OAClC,UAAyBA,QAWtB;CACH,MAAM,WAAW,UAAU,UAAwB,gBAAgB,CAAC,CAAC,GAAG;CACxE,IAAI,aAAa,KAAA,GACf,OAAO,OAAO,IAAI,aAAa;EAC7B,MAAM,OAAO,OAAO,eAClB,OAAO,UAAU,SAAS,mBAAmB,IAAI,CAAC,CAAC,KACnDC,OACF;EACA,MAAM,UAAU,OAAO,WACrB,OAAO,UAAU,SAAS,mBAAmB,OAAO,CAAC,CAAC,KACtD,OACAA,OACF;EACA,OAAO,EAAE,SAAS;GAAE,QAAQ,SAAS;GAAc;GAAM;EAAQ,CAAC;CACpE,CAAC;CAEH,IAAIC,WAAoB,GAAG,GAAG,OAAO,OAAO,QAAQ,EAAE,SAAS,CAAC;CAChE,OAAO,YAAY,GAAG,IAClB,OAAO,QAAQ,EAAE,IAAI,CAAC,IACtB,KACE,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,cACtB,KACE,SACA,MAAM,OACN,MAAM,OACJ,MAAM,QACN,MAAM,QACN,MAAM,QACN,MAAM,UACL,MAAM,EAAE,QAAQ,CAAC,CACpB,GACA,MAAM,YACN,OAAO,OACT,CACF,GACA,MAAM,IAAI,cAAc,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC,GAChD,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACtD,MAAM,IAAI,WAAW,cACnBC,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;EACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;EACvC,SAAS,cACP,OAAO,QACLC,MAAgB,SAAS,MAAMH,UAC3B,EAAE,GAAG,SAAS,IACd,EAAE,OAAO,CACf;CACJ,CAAC,CACH,CACF,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GACrD,MAAM,IAAI,gBAAgB,OAAO,QAAQ,EAAE,MAAM,CAAC,CAAC,GACnD,MAAM,IAAI,UAAU,aAClB,YAAY,UAAU,iCAAiCA,OAAK,CAC9D,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,YAAYA,OAAK,CAAC,GACrE,MAAM,IAAI,WAAW,cAAc,aAAa,WAAWA,OAAK,CAAC,GACjE,MAAM,IAAI,WAAW,aAAa,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GACzD,MAAM,IAAI,gBAAgB,gBACxB,OAAO,QAEL,YAAY,IAAI,YAAY,cAAc,CAAC,iBACzC,IAAI,YAAY,CAAC,GACjB,aACA,CAAC,CACH,GACA;EACE,iBAAiB,EAAE,MAAM;EACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;CACL,CACF,CACF,GACA,MAAM,IAAI,iBAAiB,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,GAClD,MAAM,IACJ,gBACA,UACA,aACA,QACA,SACA,QACA,mBACA,uBAEE,OAAO,KACL,IAAI,2BAA2B,EAC7B,YAAY,IAAI,KAClB,CAAC,CACH,CACJ,GACA,MAAM,UACR;AACN;AAEA,MAAM,eACJ,EAAE,SACF,iCACA,UACG,iBAAiB,OAAO,iCAAiC,KAAK;AAEnE,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA,OACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IACZ,MAAM,IAAI,UAAU,SAAS,WAAW,MAAM,OAAO,KAAK,CAAC,CAC7D;CAEF,IAAI,mBAAmB,KAAA,GACrB,OAAO,OAAO,IAAI,8BAA8B;MAC3C,IAAI,oBAAoB,KAAA,GAC7B,OAAO;MAEP,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;AAErE,CAAC;AAED,MAAM,iBAAiB,YAA+B,UACpD,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cACE,OAAO,IAAI,yBAAyB,YAAY,KAAK,GAAG,EAAE,MAAM;CAClE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,WAAW,OAAO,KAAK;GAC9C,OAAO,WAAW,MAAM,OAAO,KAAK;EACtC,CAAC,IACA,EAAE,YAAY,YAAY,EAAE,OAAO,YAAY,KAAK,CACvD;EACF,cACE,OAAO,KACL,IAAI,oDAAoD,CAC1D;CACJ,CAAC,CACH;AACJ,CAAC,CACH;AAEF,MAAM,gBACJ,EAAE,UAAU,QACZ,UACG,oBAAoB,UAAU,MAAM,KAAK;AAE9C,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA,OACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,SAAS,OAAO,KAAK;CAEtC,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,MAAM,OAAO,KAAK;CACjD,CAAC,CACH,IACA,MAAM,KAAA,IACJ,mBAAmB,CAAC,IACpB,OAAO,IAAI,aAAa;EACtB,MAAM,iBAAiB,OAAO,mBAAmB,CAAC;EAClD,MAAM,kBAAkB,OAAO,mBAAmB,CAAC;EACnD,MAAM,iBAAiB,OAAO,OAAO,QAAQ,GAAG,kBAAkB;EAElE,OAAO,EAAE,MAAM,gBAAgB,iBAAiB,GAAG,cAAc;CACnE,CAAC;CAEP,OAAO,EAAE,MAAM,mBAAmB;AACpC,CAAC;AAED,MAAM,4BACJ,YACA,UAEA,KACE,WAAW,oBACX,OAAO,SAAS,EAAE,MAAM,WAAW;CACjC,MAAM,aAAa,UAAU,WAAW,IAAI;CAC5C,IAAI,OAAO,SAAS,IAAI,GAEtB,OAAO,OAAO,MAAM,OAAO,MAAM,IAAI,GAAG;EACtC,cACE,OAAO,IAAI,aAAa;GACtB,MAAM,YAAY,OAAO,WAAW,MAAM,YAAY,KAAK;GAE3D,OAAO;IACL,cAAc;IACd,WAAW,aAAa,EAAE,SAAS,SAAS,IAAI;GAClD;EACF,CAAC;EACH,SAAS,WACP,OAAO,KACL,IAAI,yCAAyC,EAC3C,aAAa,OACf,CAAC,CACH;CACJ,CAAC;MAED,OAAO,OAAO,KACZ,IAAI,yCAAyC,EAAE,aAAa,KAAK,CAAC,CACpE;AAEJ,CAAC,GACD,OAAO,SAAS,gCACd,KACE,6BACA,MAAM,OACJ,CAAC,IACA,KAAK,EAAE,cAAc,iBAAiB;EACpC,eAAe;CAChB,GAAG;AACL,EACF,GACA,OAAO,OACT,CACF,CACF;AAIF,IAAa,4BAAb,cAA+C,KAAK,YAClD,2BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,mCAAb,cAAsD,KAAK,YACzD,kCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,2CAAb,cAA8D,KAAK,YACjE,0CACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,mCAAmC,KAAK,YAAY,SAAS,EAAE,0BAA0B,OAAO,KAAK,YAAY;CAC1H;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,gCAAb,cAAmD,KAAK,YACtD,+BACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,6BAAb,cAAgD,KAAK,YACnD,4BACF,CAAC,CAEE;;CAED,IAAa,UAAU;EACrB,OAAO,4BAA4B,KAAK,WAAW;CACrD;AAEF;AAEA,IAAa,sCAAb,cAAyD,KAAK,YAC5D,qCACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,sDAAb,cAAyE,KAAK,YAC5E,qDACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF;AAEA,IAAa,4CAAb,cAA+D,KAAK,YAClE,2CACF,CAAC,CAAC;;CAEA,IAAa,UAAU;EACrB,OAAO;CACT;AAEF"}

package/dist/index.d.ts

@@ -1,5 +1,6 @@
 export * as ActionCall from "./ActionCall.js";
 export * as Callback from "./Callback.js";
+export * as CommitTs from "./CommitTs.js";
 export * as FunctionProvenance from "./FunctionProvenance.js";
 export * as FunctionSpec from "./FunctionSpec.js";
 export * as GenericId from "./GenericId.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AACtE,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AACtE,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -18,6 +18,7 @@ import { Component_exports } from "./Component.js";
 import { Mount_exports } from "./Mount.js";
 import { App_exports } from "./App.js";
 import { Auth_exports } from "./Auth.js";
+import { CommitTs_exports } from "./CommitTs.js";
 import { Env_exports } from "./Env.js";
 import { GroupPath_exports } from "./GroupPath.js";
 import { Http_exports } from "./Http.js";
@@ -31,4 +32,4 @@ 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 { ActionCall_exports as ActionCall, App_exports as App, Auth_exports as Auth, Callback_exports as Callback, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, ManifestSection_exports as ManifestSection, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, Mount_exports as Mount, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Profile_exports as Profile, 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 };
+export { ActionCall_exports as ActionCall, App_exports as App, Auth_exports as Auth, Callback_exports as Callback, CommitTs_exports as CommitTs, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, ManifestSection_exports as ManifestSection, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, Mount_exports as Mount, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Profile_exports as Profile, 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,6 +1,6 @@
 {
   "name": "@gaganref/confect-core",
-  "version": "10.3.1-fork.81",
+  "version": "10.3.1-fork.83",
   "peerDependencies": {
     "convex": "^1.49.0",
     "effect": ">=4.0.0 <4.1.0"

package/src/CommitTs.ts

@@ -0,0 +1,26 @@
+import { CommitTsPlaceholder } from "convex/values";
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+
+const ConvexCommitTs = "~@confect/core/ConvexCommitTs";
+
+/**
+ * A commit timestamp as Convex types it. A mutation writes the database
+ * writer's `vars.commitTs` placeholder, which resolves to an int64 when the
+ * mutation commits. Reading the field back inside that mutation still yields
+ * the placeholder, so a reader narrows with `typeof value === "bigint"` before
+ * using it as a number.
+ */
+export type CommitTs = bigint | CommitTsPlaceholder;
+
+/**
+ * A field Convex stores as `v.commitTs()`. An index on it orders documents by
+ * commit order.
+ */
+export const CommitTs: Schema.Codec<CommitTs> = Schema.Union([
+  Schema.BigInt,
+  Schema.instanceOf(CommitTsPlaceholder),
+]).annotate({ [ConvexCommitTs]: true });
+
+export const isCommitTs = (ast: SchemaAST.AST): boolean =>
+  SchemaAST.resolveAt<boolean>(ConvexCommitTs)(ast) === true;

package/src/ManifestSection.ts

@@ -6,11 +6,19 @@ export interface Data<Value = unknown> {
   readonly functions: Readonly<Record<string, Value>>;
 }
 
+/**
+ * The backend codegen generates: the app, or a component under the name its
+ * `defineComponent` gives it.
+ */
+export type Target =
+  | { readonly kind: "app" }
+  | { readonly kind: "component"; readonly name: string };
+
 /**
  * What codegen hands a section's `render`: the exports of each `confect/` file
  * it matched, every registered function with the spec file declaring it, each
- * mounted component with the specifier of its definition, and every file
- * `match` was offered.
+ * mounted component with the specifier of its definition, every file `match`
+ * was offered, the backend it generates and the absolute path of `confect/`.
  */
 export interface GenerateInput {
   readonly modules: ReadonlyArray<{
@@ -26,6 +34,8 @@ export interface GenerateInput {
     readonly definition: string;
   }>;
   readonly files: ReadonlyArray<string>;
+  readonly target: Target;
+  readonly confectDirectory: string;
 }
 
 export interface Generate {

package/src/SchemaToValidator.ts

@@ -2,6 +2,7 @@ import * as IdScope from "./IdScope.js";
 import type * as Callback from "./Callback.js";
 import { CallbackContract } from "./internal/annotations.js";
 import type {
+  CommitTsPlaceholder,
   GenericId as ConvexGenericId,
   PropertyValidators,
   Validator,
@@ -9,6 +10,7 @@ import type {
   VArray,
   VBoolean,
   VBytes,
+  VCommitTs,
   VFloat64,
   VId,
   VInt64,
@@ -32,6 +34,7 @@ import * as Schema from "effect/Schema";
 import * as SchemaAST from "effect/SchemaAST";
 import * as String from "effect/String";
 
+import * as CommitTs from "./CommitTs.js";
 import * as GenericId from "./GenericId.js";
 import type {
   IsAny,
@@ -138,6 +141,7 @@ export type ReadonlyValue =
   | bigint
   | boolean
   | ArrayBuffer
+  | CommitTsPlaceholder
   | ReadonlyArrayValue
   | ReadonlyRecordValue
   | null;
@@ -185,7 +189,9 @@ type ConvertValueToValidator<
           ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>
           : VLiteral<OptionalValue<Vl, Optionality>, Optionality>
         : IsUnion<Vl> extends true
-          ? UnionValueToValidator<Vl, Optionality>
+          ? IsCommitTs<Vl> extends true
+            ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality>
+            : UnionValueToValidator<Vl, Optionality>
           : [Vl] extends [number]
             ? [number] extends [Vl]
               ? VFloat64<OptionalValue<number, Optionality>, Optionality>
@@ -198,17 +204,25 @@ type ConvertValueToValidator<
                 ? StringValueToValidator<Vl, Optionality>
                 : [Vl] extends [ArrayBuffer]
                   ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>
-                  : IsRecursive<Vl> extends true
-                    ? VAny<any, Optionality>
-                    : Vl extends ReadonlyArray<infer El>
-                      ? VArray<
-                          OptionalValue<MutableValue<El[]>, Optionality>,
-                          ConvertValueToValidator<El>,
-                          Optionality
-                        >
-                      : Vl extends object
-                        ? ObjectValueToValidator<Vl, Optionality>
-                        : never;
+                  : IsCommitTs<Vl> extends true
+                    ? VCommitTs<OptionalValue<Vl, Optionality>, Optionality>
+                    : IsRecursive<Vl> extends true
+                      ? VAny<any, Optionality>
+                      : Vl extends ReadonlyArray<infer El>
+                        ? VArray<
+                            OptionalValue<MutableValue<El[]>, Optionality>,
+                            ConvertValueToValidator<El>,
+                            Optionality
+                          >
+                        : Vl extends object
+                          ? ObjectValueToValidator<Vl, Optionality>
+                          : never;
+
+type IsCommitTs<Vl> = [Vl] extends [bigint | CommitTsPlaceholder]
+  ? [CommitTsPlaceholder] extends [Vl]
+    ? true
+    : false
+  : false;
 
 type StringValueToValidator<Vl, Optionality extends "required" | "optional"> =
   Vl extends ConvexGenericId<string>
@@ -264,11 +278,29 @@ export type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =
 type UnionValueToValidator<Vl, Optionality extends "required" | "optional"> =
   IsRecursive<Vl> extends true
     ? VAny<any, Optionality>
-    : VUnion<
-        OptionalValue<MutableValue<Vl>, Optionality>,
-        ValueTupleToValidatorTuple<UnionToTuple<Vl>>,
-        Optionality
-      >;
+    : [Extract<Vl, CommitTsPlaceholder>] extends [never]
+      ? VUnion<
+          OptionalValue<MutableValue<Vl>, Optionality>,
+          ValueTupleToValidatorTuple<UnionToTuple<Vl>>,
+          Optionality
+        >
+      : CommitTsUnionValueToValidator<Vl, Optionality>;
+
+// A CommitTs is one validator at runtime, so its bigint and placeholder
+// branches collapse into a single member, as true and false do into VBoolean.
+// Only a union holding a placeholder comes here, because the infer that lets
+// the spread tuple satisfy VUnion's constraint makes other unions far costlier.
+type CommitTsUnionValueToValidator<
+  Vl,
+  Optionality extends "required" | "optional",
+> = [
+  VCommitTs,
+  ...ValueTupleToValidatorTuple<
+    UnionToTuple<Exclude<Vl, bigint | CommitTsPlaceholder>>
+  >,
+] extends infer VdMembers extends Validator<any, "required", any>[]
+  ? VUnion<OptionalValue<MutableValue<Vl>, Optionality>, VdMembers, Optionality>
+  : never;
 
 type ValueTupleToValidatorTuple<
   VlTuple extends readonly unknown[],
@@ -362,6 +394,7 @@ export const compileAst = (
       return v.function({ fnType: contract.functionType, args, returns });
     });
   }
+  if (CommitTs.isCommitTs(ast)) return Effect.succeed(v.commitTs());
   return isRecursive(ast)
     ? Effect.succeed(v.any())
     : pipe(

package/src/index.ts

@@ -1,5 +1,6 @@
 export * as ActionCall from "./ActionCall.js";
 export * as Callback from "./Callback.js";
+export * as CommitTs from "./CommitTs.js";
 export * as FunctionProvenance from "./FunctionProvenance.js";
 export * as FunctionSpec from "./FunctionSpec.js";
 export * as GenericId from "./GenericId.js";