@confect/core 10.2.0 → 10.3.0

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # @confect/core
 
+## 10.3.0
+
+### Patch Changes
+
+- 33eaf6a: Reduce the initialization cost of generated function references in projects with many groups.
+
+  Fix `confect/_generated/spec.ts` failing to typecheck with "Type instantiation is excessively deep and possibly infinite" (TS2589) in projects with many top-level or child groups, while keeping `refs` precisely typed.
+
+  Run `confect codegen` after upgrading to regenerate existing files before typechecking or deploying. User-authored group definitions using `GroupSpec.make()`, `GroupSpec.makeNode()`, `.addFunction()`, and `.middleware()` do not need to change.
+
+- 52e4397: Stop reporting a nested struct as recursive when it is merely assignable to one of its ancestors. `IsRecursive` compared a type against the types above it by assignability, so a struct nested under a parent whose extra fields are all optional (for example `{ badge: string }` inside `{ badge: string; rows?: { badge: string }[] }`) was treated as a cycle: its validator type became `VAny`, and a table built from it had a `never` document type and rejected its own index fields. Types already on the path are now compared by identity.
+- bc41806: Type a record of `Schema.Any` with a required value validator. `Schema.Record(Schema.String, Schema.Any)` compiled to `v.record(v.string(), v.any())` at runtime, but its type carried an optional `VAny` value, which `VRecord` does not accept, so a table with such a field could not be passed to `Table.tableDefinition`.
+- 5ea7c07: Reduce TypeScript type-checking work for table schemas with nested objects, arrays, unions, and optional fields while preserving their inferred types.
+
 ## 10.2.0
 
 No changes in this release.

package/dist/GroupSpec.d.ts

@@ -1,4 +1,5 @@
 import * as MiddlewareAttachment from "./MiddlewareAttachment";
+import * as Record from "effect/Record";
 import * as Result from "effect/Result";
 import type * as FunctionSpec from "./FunctionSpec";
 import type * as MiddlewareSpec from "./MiddlewareSpec";
@@ -21,8 +22,6 @@ export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_
     readonly "~Functions": Functions_;
     readonly "~Groups": Groups_;
     addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(function_: Function & MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>): GroupSpec<Runtime, Name_, Functions_ | Function, Groups_, MiddlewareSpecs_>;
-    addGroup<Group extends AnyWithProps>(group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;
-    addGroupAt<const AtName extends string, Group extends AnyWithProps>(name: AtName, group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | NamedAt<Group, AtName>, MiddlewareSpecs_>;
     middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(middlewareSpec: MiddlewareSpec_ & MiddlewareSpec.ValidateAttach<MiddlewareSpec_, Functions_, MiddlewareSpecs_>, ...options: MiddlewareAttachment.Args<NoInfer<MiddlewareSpec_>>): GroupSpec<Runtime, Name_, Functions_, Groups_, MiddlewareSpecs_ | MiddlewareSpec_>;
 }
 export interface Any {
@@ -30,8 +29,6 @@ export interface Any {
 }
 export interface AnyWithProps extends GroupSpec<RuntimeAndFunctionType.Runtime, string, FunctionSpec.AnyWithProps, AnyWithProps, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends GroupSpec<Runtime, string, FunctionSpec.AnyWithPropsWithRuntime<Runtime>, AnyWithPropsWithRuntime<Runtime>, MiddlewareSpec.AnyMiddlewareSpec> {
-}
 export type Name<Group extends AnyWithProps> = Group["name"];
 export type Functions<Group extends AnyWithProps> = Group["~Functions"];
 export type Groups<Group extends AnyWithProps> = Group["~Groups"];
@@ -49,11 +46,12 @@ export type WithName<Group extends AnyWithProps, Name_ extends Name<Group>> = Ex
 export type NamedAt<Group extends Any, Name_ extends string> = Omit<Group, "name"> & {
     readonly name: Name_;
 };
-export type AddGroups<Group extends AnyWithProps, ExtraGroups extends AnyWithProps> = Group extends GroupSpec<infer Runtime, infer Name_, infer Functions_, infer Groups_, infer MiddlewareSpecs_> ? GroupSpec<Runtime, Name_, Functions_, Groups_ | ExtraGroups, MiddlewareSpecs_> : never;
+export type AddGroups<Group extends AnyWithProps, ExtraGroups extends AnyWithProps> = Group extends GroupSpec<infer Runtime, string, infer Functions_, infer Groups_, infer MiddlewareSpecs_> ? GroupSpec<Runtime, Group["name"], Functions_, Exclude<Groups_, {
+    readonly name: Name<ExtraGroups>;
+}> | ExtraGroups, MiddlewareSpecs_> : never;
 export declare const make: () => GroupSpec<"Convex", "">;
-export declare const makeAt: <const Name_ extends string>(name: Name_) => GroupSpec<"Convex", Name_>;
 export declare const makeNode: () => GroupSpec<"Node", "">;
-export declare const makeNodeAt: <const Name_ extends string>(name: Name_) => GroupSpec<"Node", Name_>;
 export declare function withName<const Name_ extends string, Group extends Any>(name: Name_, group: Group): NamedAt<Group, Name_>;
+export declare const addGroupsAt: (group: AnyWithProps, children: Record.ReadonlyRecord<string, AnyWithProps>) => AnyWithProps;
 export declare const validateMiddleware: (group: AnyWithProps) => Result.Result<void, MiddlewareAttachment.ValidationError>;
 //# sourceMappingURL=GroupSpec.d.ts.map

package/dist/GroupSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,oBAAoB,MAAM,wBAAwB,CAAC;AAG/D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAGxE,eAAO,MAAM,MAAM,6BAA6B,CAAC;AACjD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,YACZ,CAAC;AAEnC,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,sBAAsB,CAAC,OAAO,EAC9C,KAAK,SAAS,MAAM,EACpB,UAAU,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,GAAG,KAAK,EAKxE,OAAO,SAAS,YAAY,GAAG,KAAK,EACpC,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE;SAEhB,YAAY,IAAI,YAAY,CAAC,IAAI,CAC/B,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAC9C,GACA,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;SACd,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;KAC3D,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAC3C,oBAAoB,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAC5D,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAE5B,WAAW,CAAC,QAAQ,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EACxE,SAAS,EAAE,QAAQ,GACjB,cAAc,CAAC,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACjE,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,GAAG,QAAQ,EACrB,OAAO,EACP,gBAAgB,CACjB,CAAC;IAEF,QAAQ,CAAC,KAAK,SAAS,YAAY,EACjC,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAE5E,UAAU,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,SAAS,YAAY,EAChE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAChC,gBAAgB,CACjB,CAAC;IAEF,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,cAAc,CAC3B,eAAe,EACf,UAAU,EACV,gBAAgB,CACjB,EACH,GAAG,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,GAC9D,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GAAG,eAAe,CACnC,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS,CAC7C,sBAAsB,CAAC,OAAO,EAC9B,MAAM,EACN,YAAY,CAAC,YAAY,EACzB,YAAY,EACZ,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,SAAS,CACjB,OAAO,EACP,MAAM,EACN,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAC7C,uBAAuB,CAAC,OAAO,CAAC,EAChC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAExE,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAElE,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,YAAY,IACpD,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS;IAC3E,KAAK;CACN,GACG,KAAK,GACL,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,YAAY,EAC1B,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IACvB,OAAO,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CACjE,KAAK,EACL,MAAM,CACP,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,YAAY,EAC1B,WAAW,SAAS,YAAY,IAEhC,KAAK,SAAS,SAAS,CACrB,MAAM,OAAO,EACb,MAAM,KAAK,EACX,MAAM,UAAU,EAChB,MAAM,OAAO,EACb,MAAM,gBAAgB,CACvB,GACG,SAAS,CACP,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,WAAW,EACrB,gBAAgB,CACjB,GACD,KAAK,CAAC;AAoJZ,eAAO,MAAM,IAAI,QAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAO1C,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QACzC,KAAK,KACV,SAAS,CAAC,QAAQ,EAAE,KAAK,CAU3B,CAAC;AAEF,eAAO,MAAM,QAAQ,QAAO,SAAS,CAAC,MAAM,EAAE,EAAE,CAO5C,CAAC;AAEL,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC7C,KAAK,KACV,SAAS,CAAC,MAAM,EAAE,KAAK,CAUzB,CAAC;AAEF,wBAAgB,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,SAAS,GAAG,EACpE,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAkBzB,eAAO,MAAM,kBAAkB,UACtB,YAAY,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,eAAe,CAcvD,CAAC"}
+{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,oBAAoB,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAGxE,eAAO,MAAM,MAAM,6BAA6B,CAAC;AACjD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,YACZ,CAAC;AAEnC,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,sBAAsB,CAAC,OAAO,EAC9C,KAAK,SAAS,MAAM,EACpB,UAAU,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,GAAG,KAAK,EAKxE,OAAO,SAAS,YAAY,GAAG,KAAK,EACpC,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE;SAEhB,YAAY,IAAI,YAAY,CAAC,IAAI,CAC/B,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAC9C,GACA,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;SACd,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;KAC3D,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAC3C,oBAAoB,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAC5D,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAE5B,WAAW,CAAC,QAAQ,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EACxE,SAAS,EAAE,QAAQ,GACjB,cAAc,CAAC,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACjE,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,GAAG,QAAQ,EACrB,OAAO,EACP,gBAAgB,CACjB,CAAC;IAEF,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,cAAc,CAC3B,eAAe,EACf,UAAU,EACV,gBAAgB,CACjB,EACH,GAAG,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,GAC9D,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GAAG,eAAe,CACnC,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS,CAC7C,sBAAsB,CAAC,OAAO,EAC9B,MAAM,EACN,YAAY,CAAC,YAAY,EACzB,YAAY,EACZ,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAExE,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAElE,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,YAAY,IACpD,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS;IAC3E,KAAK;CACN,GACG,KAAK,GACL,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,YAAY,EAC1B,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IACvB,OAAO,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CACjE,KAAK,EACL,MAAM,CACP,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,YAAY,EAC1B,WAAW,SAAS,YAAY,IAEhC,KAAK,SAAS,SAAS,CACrB,MAAM,OAAO,EACb,MAAM,EACN,MAAM,UAAU,EAChB,MAAM,OAAO,EACb,MAAM,gBAAgB,CACvB,GACG,SAAS,CACP,OAAO,EACP,KAAK,CAAC,MAAM,CAAC,EACb,UAAU,EACV,OAAO,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAA;CAAE,CAAC,GAAG,WAAW,EACpE,gBAAgB,CACjB,GACD,KAAK,CAAC;AA0HZ,eAAO,MAAM,IAAI,QAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAO1C,CAAC;AAEL,eAAO,MAAM,QAAQ,QAAO,SAAS,CAAC,MAAM,EAAE,EAAE,CAO5C,CAAC;AAEL,wBAAgB,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,SAAS,GAAG,EACpE,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAkBzB,eAAO,MAAM,WAAW,UACf,YAAY,YACT,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,KACpD,YAWC,CAAC;AAEL,eAAO,MAAM,kBAAkB,UACtB,YAAY,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,eAAe,CAcvD,CAAC"}

package/dist/GroupSpec.js

@@ -7,11 +7,10 @@ import * as Record from "effect/Record";
 //#region src/GroupSpec.ts
 var GroupSpec_exports = /* @__PURE__ */ __exportAll({
 	TypeId: () => TypeId,
+	addGroupsAt: () => addGroupsAt,
 	isGroupSpec: () => isGroupSpec,
 	make: () => make,
-	makeAt: () => makeAt,
 	makeNode: () => makeNode,
-	makeNodeAt: () => makeNodeAt,
 	validateMiddleware: () => validateMiddleware,
 	withName: () => withName
 });
@@ -34,28 +33,6 @@ const Proto = {
 			middlewareAttachments: this_.middlewareAttachments
 		});
 	},
-	addGroup(group) {
-		const this_ = this;
-		const group_ = group;
-		return makeProto({
-			runtime: this_.runtime,
-			name: this_.name,
-			functions: this_.functions,
-			groups: Record.set(this_.groups, group_.name, group_),
-			middlewareAttachments: this_.middlewareAttachments
-		});
-	},
-	addGroupAt(name, group) {
-		const this_ = this;
-		const group_ = group;
-		return makeProto({
-			runtime: this_.runtime,
-			name: this_.name,
-			functions: this_.functions,
-			groups: Record.set(this_.groups, name, withName(name, group_)),
-			middlewareAttachments: this_.middlewareAttachments
-		});
-	},
 	middleware(middlewareSpec, ...options) {
 		const this_ = this;
 		if (!("options" in middlewareSpec) && this_.middlewareAttachments.some(({ spec }) => spec.key === middlewareSpec.key)) throw new Error(`Middleware "${middlewareSpec.key}" is already attached to this group`);
@@ -86,16 +63,6 @@ const make = () => makeProto({
 	groups: Record.empty(),
 	middlewareAttachments: []
 });
-const makeAt = (name) => {
-	validateConfectFunctionIdentifier(name);
-	return makeProto({
-		runtime: "Convex",
-		name,
-		functions: Record.empty(),
-		groups: Record.empty(),
-		middlewareAttachments: []
-	});
-};
 const makeNode = () => makeProto({
 	runtime: "Node",
 	name: "",
@@ -103,16 +70,6 @@ const makeNode = () => makeProto({
 	groups: Record.empty(),
 	middlewareAttachments: []
 });
-const makeNodeAt = (name) => {
-	validateConfectFunctionIdentifier(name);
-	return makeProto({
-		runtime: "Node",
-		name,
-		functions: Record.empty(),
-		groups: Record.empty(),
-		middlewareAttachments: []
-	});
-};
 function withName(name, group) {
 	validateConfectFunctionIdentifier(name);
 	const group_ = group;
@@ -125,12 +82,19 @@ function withName(name, group) {
 		middlewareAttachments: group_.middlewareAttachments
 	});
 }
+const addGroupsAt = (group, children) => makeProto({
+	runtime: group.runtime,
+	name: group.name,
+	functions: group.functions,
+	groups: Record.union(group.groups, Record.map(children, (child, name) => withName(name, child)), (_existing, incoming) => incoming),
+	middlewareAttachments: group.middlewareAttachments
+});
 const validateMiddleware = (group) => Result.gen(function* () {
 	yield* validateAll(group.middlewareAttachments, `group "${group.name}"`);
 	for (const function_ of Object.values(group.functions)) yield* validateAll([...group.middlewareAttachments, ...function_.middlewareAttachments], `function "${function_.name}"`);
 	for (const child of Object.values(group.groups)) yield* validateMiddleware(child);
 });
 //#endregion
-export { GroupSpec_exports, TypeId, isGroupSpec, make, makeAt, makeNode, makeNodeAt, validateMiddleware, withName };
+export { GroupSpec_exports, TypeId, addGroupsAt, isGroupSpec, make, makeNode, validateMiddleware, withName };
 
 //# sourceMappingURL=GroupSpec.js.map

package/dist/GroupSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupSpec.js","names":["MiddlewareAttachment.validateAll"],"sources":["../src/GroupSpec.ts"],"sourcesContent":["import * as MiddlewareAttachment from \"./MiddlewareAttachment\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Result from \"effect/Result\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\n\nexport const TypeId = \"~@confect/core/GroupSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isGroupSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface GroupSpec<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never,\n  // Subgroups may be of any runtime, independent of this group's own runtime: a\n  // group is only a namespace for its children, which are otherwise-independent\n  // modules. Functions, by contrast, stay homogeneous (a Node group only accepts\n  // Node actions)—`addFunction` keeps the `<Runtime>` bound below.\n  Groups_ extends AnyWithProps = never,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtime: Runtime;\n  readonly name: Name_;\n  readonly functions: {\n    [\n      FunctionName in FunctionSpec.Name<\n        FunctionSpec.AnyWithPropsWithRuntime<Runtime>\n      >\n    ]: FunctionSpec.WithName<Functions_, FunctionName>;\n  };\n  readonly groups: {\n    [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;\n  };\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n  readonly middlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<MiddlewareSpecs_>\n  >;\n  readonly \"~Functions\": Functions_;\n  readonly \"~Groups\": Groups_;\n\n  addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(\n    function_: Function &\n      MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_ | Function,\n    Groups_,\n    MiddlewareSpecs_\n  >;\n\n  addGroup<Group extends AnyWithProps>(\n    group: Group,\n  ): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;\n\n  addGroupAt<const AtName extends string, Group extends AnyWithProps>(\n    name: AtName,\n    group: Group,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_ | NamedAt<Group, AtName>,\n    MiddlewareSpecs_\n  >;\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateAttach<\n        MiddlewareSpec_,\n        Functions_,\n        MiddlewareSpecs_\n      >,\n    ...options: MiddlewareAttachment.Args<NoInfer<MiddlewareSpec_>>\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends GroupSpec<\n  RuntimeAndFunctionType.Runtime,\n  string,\n  FunctionSpec.AnyWithProps,\n  AnyWithProps,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends GroupSpec<\n  Runtime,\n  string,\n  FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type Name<Group extends AnyWithProps> = Group[\"name\"];\n\nexport type Functions<Group extends AnyWithProps> = Group[\"~Functions\"];\n\nexport type Groups<Group extends AnyWithProps> = Group[\"~Groups\"];\n\nexport type MiddlewareSpecs<Group extends AnyWithProps> =\n  Group[\"middlewareSpecs\"][number];\n\nexport type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [\n  never,\n]\n  ? never\n  : Name<Groups<Group>>;\n\nexport type WithName<\n  Group extends AnyWithProps,\n  Name_ extends Name<Group>,\n> = Extract<Group, { readonly name: Name_ }>;\n\n/**\n * Assigns a segment name to a leaf group created with {@link make} for typing\n * and refs.\n */\nexport type NamedAt<Group extends Any, Name_ extends string> = Omit<\n  Group,\n  \"name\"\n> & {\n  readonly name: Name_;\n};\n\nexport type AddGroups<\n  Group extends AnyWithProps,\n  ExtraGroups extends AnyWithProps,\n> =\n  Group extends GroupSpec<\n    infer Runtime,\n    infer Name_,\n    infer Functions_,\n    infer Groups_,\n    infer MiddlewareSpecs_\n  >\n    ? GroupSpec<\n        Runtime,\n        Name_,\n        Functions_,\n        Groups_ | ExtraGroups,\n        MiddlewareSpecs_\n      >\n    : never;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  get middlewareSpecs() {\n    return this.middlewareAttachments.map(({ spec }) => spec);\n  },\n\n  addFunction<Function extends FunctionSpec.AnyWithProps>(\n    this: Any,\n    function_: Function,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    const overlapping = function_.middlewareAttachments.find(\n      ({ spec: functionMiddlewareSpec }) =>\n        !(\"options\" in functionMiddlewareSpec) &&\n        this_.middlewareAttachments.some(\n          ({ spec: groupMiddlewareSpec }) =>\n            groupMiddlewareSpec.key === functionMiddlewareSpec.key,\n        ),\n    );\n    if (overlapping !== undefined) {\n      throw new Error(\n        `Middleware \"${overlapping.spec.key}\" is attached to both function \"${function_.name}\" and its group`,\n      );\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: Record.set(this_.functions, function_.name, function_),\n      groups: this_.groups,\n      middlewareAttachments: this_.middlewareAttachments,\n    });\n  },\n\n  addGroup<Group extends Any>(this: Any, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, group_.name, group_),\n      middlewareAttachments: this_.middlewareAttachments,\n    });\n  },\n\n  addGroupAt<Group extends Any>(this: Any, name: string, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, name, withName(name, group_)),\n      middlewareAttachments: this_.middlewareAttachments,\n    });\n  },\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    this: Any,\n    middlewareSpec: MiddlewareSpec_,\n    ...options: ReadonlyArray<unknown>\n  ) {\n    const this_ = this as AnyWithProps;\n\n    if (\n      !(\"options\" in middlewareSpec) &&\n      this_.middlewareAttachments.some(\n        ({ spec }) => spec.key === middlewareSpec.key,\n      )\n    ) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" is already attached to this group`,\n      );\n    }\n\n    for (const function_ of Object.values(this_.functions)) {\n      if (\n        !(\"options\" in middlewareSpec) &&\n        function_.middlewareAttachments.some(\n          ({ spec }) => spec.key === middlewareSpec.key,\n        )\n      ) {\n        throw new Error(\n          `Middleware \"${middlewareSpec.key}\" is attached to both function \"${function_.name}\" and its group`,\n        );\n      }\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: this_.groups,\n      middlewareAttachments: [\n        ...this_.middlewareAttachments,\n        { spec: middlewareSpec, options: options[0] },\n      ],\n    });\n  },\n} satisfies ThisType<AnyWithProps>;\n\nconst makeProto = <\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  Groups_ extends AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareAttachments_ extends\n    ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n>({\n  runtime,\n  name,\n  functions,\n  groups,\n  middlewareAttachments,\n}: {\n  runtime: Runtime;\n  name: Name_;\n  functions: Record.ReadonlyRecord<string, Functions_>;\n  groups: Record.ReadonlyRecord<string, Groups_>;\n  middlewareAttachments: MiddlewareAttachments_;\n}): GroupSpec<\n  Runtime,\n  Name_,\n  Functions_,\n  Groups_,\n  MiddlewareAttachments_[number][\"spec\"]\n> =>\n  Object.assign(Object.create(Proto), {\n    runtime,\n    name,\n    functions,\n    groups,\n    middlewareAttachments,\n  }) as GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareAttachments_[number][\"spec\"]\n  >;\n\nexport const make = (): GroupSpec<\"Convex\", \"\"> =>\n  makeProto({\n    runtime: \"Convex\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n\nexport const makeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Convex\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Convex\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n};\n\nexport const makeNode = (): GroupSpec<\"Node\", \"\"> =>\n  makeProto({\n    runtime: \"Node\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n\nexport const makeNodeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Node\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Node\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n};\n\nexport function withName<const Name_ extends string, Group extends Any>(\n  name: Name_,\n  group: Group,\n): NamedAt<Group, Name_>;\nexport function withName(name: string, group: Any): AnyWithProps {\n  validateConfectFunctionIdentifier(name);\n  const group_ = group as AnyWithProps;\n\n  if (group_.name === name) {\n    return group_;\n  }\n\n  return makeProto({\n    runtime: group_.runtime,\n    name,\n    functions: group_.functions,\n    groups: group_.groups,\n    middlewareAttachments: group_.middlewareAttachments,\n  });\n}\n\nexport const validateMiddleware = (\n  group: AnyWithProps,\n): Result.Result<void, MiddlewareAttachment.ValidationError> =>\n  Result.gen(function* () {\n    yield* MiddlewareAttachment.validateAll(\n      group.middlewareAttachments,\n      `group \"${group.name}\"`,\n    );\n    for (const function_ of Object.values(group.functions)) {\n      yield* MiddlewareAttachment.validateAll(\n        [...group.middlewareAttachments, ...function_.middlewareAttachments],\n        `function \"${function_.name}\"`,\n      );\n    }\n    for (const child of Object.values(group.groups))\n      yield* validateMiddleware(child);\n  });\n"],"mappings":";;;;;;;;;;;;;;;;;AASA,MAAa,SAAS;AAGtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,MAAM;AAqJjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAAI,kBAAkB;EACpB,OAAO,KAAK,sBAAsB,KAAK,EAAE,WAAW,IAAI;CAC1D;CAEA,YAEE,WACA;EACA,MAAM,QAAQ;EAEd,MAAM,cAAc,UAAU,sBAAsB,MACjD,EAAE,MAAM,6BACP,EAAE,aAAa,2BACf,MAAM,sBAAsB,MACzB,EAAE,MAAM,0BACP,oBAAoB,QAAQ,uBAAuB,GACvD,CACJ;EACA,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,eAAe,YAAY,KAAK,IAAI,kCAAkC,UAAU,KAAK,gBACvF;EAGF,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,OAAO,IAAI,MAAM,WAAW,UAAU,MAAM,SAAS;GAChE,QAAQ,MAAM;GACd,uBAAuB,MAAM;EAC/B,CAAC;CACH;CAEA,SAAuC,OAAc;EACnD,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,OAAO,MAAM,MAAM;GACpD,uBAAuB,MAAM;EAC/B,CAAC;CACH;CAEA,WAAyC,MAAc,OAAc;EACnE,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,MAAM,SAAS,MAAM,MAAM,CAAC;GAC7D,uBAAuB,MAAM;EAC/B,CAAC;CACH;CAEA,WAEE,gBACA,GAAG,SACH;EACA,MAAM,QAAQ;EAEd,IACE,EAAE,aAAa,mBACf,MAAM,sBAAsB,MACzB,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCACpC;EAGF,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,IACE,EAAE,aAAa,mBACf,UAAU,sBAAsB,MAC7B,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,kCAAkC,UAAU,KAAK,gBACrF;EAIJ,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,MAAM;GACd,uBAAuB,CACrB,GAAG,MAAM,uBACT;IAAE,MAAM;IAAgB,SAAS,QAAQ;GAAG,CAC9C;EACF,CAAC;CACH;AACF;AAEA,MAAM,aAOJ,EACA,SACA,MACA,WACA,QACA,4BAcA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;CAClC;CACA;CACA;CACA;CACA;AACF,CAAC;AAQH,MAAa,aACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,uBAAuB,CAAC;AAC1B,CAAC;AAEH,MAAa,UACX,SAC+B;CAC/B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,uBAAuB,CAAC;CAC1B,CAAC;AACH;AAEA,MAAa,iBACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,uBAAuB,CAAC;AAC1B,CAAC;AAEH,MAAa,cACX,SAC6B;CAC7B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,uBAAuB,CAAC;CAC1B,CAAC;AACH;AAMA,SAAgB,SAAS,MAAc,OAA0B;CAC/D,kCAAkC,IAAI;CACtC,MAAM,SAAS;CAEf,IAAI,OAAO,SAAS,MAClB,OAAO;CAGT,OAAO,UAAU;EACf,SAAS,OAAO;EAChB;EACA,WAAW,OAAO;EAClB,QAAQ,OAAO;EACf,uBAAuB,OAAO;CAChC,CAAC;AACH;AAEA,MAAa,sBACX,UAEA,OAAO,IAAI,aAAa;CACtB,OAAOA,YACL,MAAM,uBACN,UAAU,MAAM,KAAK,EACvB;CACA,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,OAAOA,YACL,CAAC,GAAG,MAAM,uBAAuB,GAAG,UAAU,qBAAqB,GACnE,aAAa,UAAU,KAAK,EAC9B;CAEF,KAAK,MAAM,SAAS,OAAO,OAAO,MAAM,MAAM,GAC5C,OAAO,mBAAmB,KAAK;AACnC,CAAC"}
+{"version":3,"file":"GroupSpec.js","names":["MiddlewareAttachment.validateAll"],"sources":["../src/GroupSpec.ts"],"sourcesContent":["import * as MiddlewareAttachment from \"./MiddlewareAttachment\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Result from \"effect/Result\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\n\nexport const TypeId = \"~@confect/core/GroupSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isGroupSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface GroupSpec<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never,\n  // Subgroups may be of any runtime, independent of this group's own runtime: a\n  // group is only a namespace for its children, which are otherwise-independent\n  // modules. Functions, by contrast, stay homogeneous (a Node group only accepts\n  // Node actions)—`addFunction` keeps the `<Runtime>` bound below.\n  Groups_ extends AnyWithProps = never,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtime: Runtime;\n  readonly name: Name_;\n  readonly functions: {\n    [\n      FunctionName in FunctionSpec.Name<\n        FunctionSpec.AnyWithPropsWithRuntime<Runtime>\n      >\n    ]: FunctionSpec.WithName<Functions_, FunctionName>;\n  };\n  readonly groups: {\n    [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;\n  };\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n  readonly middlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<MiddlewareSpecs_>\n  >;\n  readonly \"~Functions\": Functions_;\n  readonly \"~Groups\": Groups_;\n\n  addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(\n    function_: Function &\n      MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_ | Function,\n    Groups_,\n    MiddlewareSpecs_\n  >;\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateAttach<\n        MiddlewareSpec_,\n        Functions_,\n        MiddlewareSpecs_\n      >,\n    ...options: MiddlewareAttachment.Args<NoInfer<MiddlewareSpec_>>\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends GroupSpec<\n  RuntimeAndFunctionType.Runtime,\n  string,\n  FunctionSpec.AnyWithProps,\n  AnyWithProps,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type Name<Group extends AnyWithProps> = Group[\"name\"];\n\nexport type Functions<Group extends AnyWithProps> = Group[\"~Functions\"];\n\nexport type Groups<Group extends AnyWithProps> = Group[\"~Groups\"];\n\nexport type MiddlewareSpecs<Group extends AnyWithProps> =\n  Group[\"middlewareSpecs\"][number];\n\nexport type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [\n  never,\n]\n  ? never\n  : Name<Groups<Group>>;\n\nexport type WithName<\n  Group extends AnyWithProps,\n  Name_ extends Name<Group>,\n> = Extract<Group, { readonly name: Name_ }>;\n\n/**\n * Assigns a segment name to a leaf group created with {@link make} for typing\n * and refs.\n */\nexport type NamedAt<Group extends Any, Name_ extends string> = Omit<\n  Group,\n  \"name\"\n> & {\n  readonly name: Name_;\n};\n\nexport type AddGroups<\n  Group extends AnyWithProps,\n  ExtraGroups extends AnyWithProps,\n> =\n  Group extends GroupSpec<\n    infer Runtime,\n    string,\n    infer Functions_,\n    infer Groups_,\n    infer MiddlewareSpecs_\n  >\n    ? GroupSpec<\n        Runtime,\n        Group[\"name\"],\n        Functions_,\n        Exclude<Groups_, { readonly name: Name<ExtraGroups> }> | ExtraGroups,\n        MiddlewareSpecs_\n      >\n    : never;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  get middlewareSpecs() {\n    return this.middlewareAttachments.map(({ spec }) => spec);\n  },\n\n  addFunction<Function extends FunctionSpec.AnyWithProps>(\n    this: Any,\n    function_: Function,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    const overlapping = function_.middlewareAttachments.find(\n      ({ spec: functionMiddlewareSpec }) =>\n        !(\"options\" in functionMiddlewareSpec) &&\n        this_.middlewareAttachments.some(\n          ({ spec: groupMiddlewareSpec }) =>\n            groupMiddlewareSpec.key === functionMiddlewareSpec.key,\n        ),\n    );\n    if (overlapping !== undefined) {\n      throw new Error(\n        `Middleware \"${overlapping.spec.key}\" is attached to both function \"${function_.name}\" and its group`,\n      );\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: Record.set(this_.functions, function_.name, function_),\n      groups: this_.groups,\n      middlewareAttachments: this_.middlewareAttachments,\n    });\n  },\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    this: Any,\n    middlewareSpec: MiddlewareSpec_,\n    ...options: ReadonlyArray<unknown>\n  ) {\n    const this_ = this as AnyWithProps;\n\n    if (\n      !(\"options\" in middlewareSpec) &&\n      this_.middlewareAttachments.some(\n        ({ spec }) => spec.key === middlewareSpec.key,\n      )\n    ) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" is already attached to this group`,\n      );\n    }\n\n    for (const function_ of Object.values(this_.functions)) {\n      if (\n        !(\"options\" in middlewareSpec) &&\n        function_.middlewareAttachments.some(\n          ({ spec }) => spec.key === middlewareSpec.key,\n        )\n      ) {\n        throw new Error(\n          `Middleware \"${middlewareSpec.key}\" is attached to both function \"${function_.name}\" and its group`,\n        );\n      }\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: this_.groups,\n      middlewareAttachments: [\n        ...this_.middlewareAttachments,\n        { spec: middlewareSpec, options: options[0] },\n      ],\n    });\n  },\n} satisfies ThisType<AnyWithProps>;\n\nconst makeProto = <\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  Groups_ extends AnyWithProps,\n  MiddlewareAttachments_ extends\n    ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n>({\n  runtime,\n  name,\n  functions,\n  groups,\n  middlewareAttachments,\n}: {\n  runtime: Runtime;\n  name: Name_;\n  functions: Record.ReadonlyRecord<string, Functions_>;\n  groups: Record.ReadonlyRecord<string, Groups_>;\n  middlewareAttachments: MiddlewareAttachments_;\n}): GroupSpec<\n  Runtime,\n  Name_,\n  Functions_,\n  Groups_,\n  MiddlewareAttachments_[number][\"spec\"]\n> =>\n  Object.assign(Object.create(Proto), {\n    runtime,\n    name,\n    functions,\n    groups,\n    middlewareAttachments,\n  }) as GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareAttachments_[number][\"spec\"]\n  >;\n\nexport const make = (): GroupSpec<\"Convex\", \"\"> =>\n  makeProto({\n    runtime: \"Convex\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n\nexport const makeNode = (): GroupSpec<\"Node\", \"\"> =>\n  makeProto({\n    runtime: \"Node\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareAttachments: [],\n  });\n\nexport function withName<const Name_ extends string, Group extends Any>(\n  name: Name_,\n  group: Group,\n): NamedAt<Group, Name_>;\nexport function withName(name: string, group: Any): AnyWithProps {\n  validateConfectFunctionIdentifier(name);\n  const group_ = group as AnyWithProps;\n\n  if (group_.name === name) {\n    return group_;\n  }\n\n  return makeProto({\n    runtime: group_.runtime,\n    name,\n    functions: group_.functions,\n    groups: group_.groups,\n    middlewareAttachments: group_.middlewareAttachments,\n  });\n}\n\nexport const addGroupsAt = (\n  group: AnyWithProps,\n  children: Record.ReadonlyRecord<string, AnyWithProps>,\n): AnyWithProps =>\n  makeProto({\n    runtime: group.runtime,\n    name: group.name,\n    functions: group.functions,\n    groups: Record.union(\n      group.groups,\n      Record.map(children, (child, name) => withName(name, child)),\n      (_existing, incoming) => incoming,\n    ),\n    middlewareAttachments: group.middlewareAttachments,\n  });\n\nexport const validateMiddleware = (\n  group: AnyWithProps,\n): Result.Result<void, MiddlewareAttachment.ValidationError> =>\n  Result.gen(function* () {\n    yield* MiddlewareAttachment.validateAll(\n      group.middlewareAttachments,\n      `group \"${group.name}\"`,\n    );\n    for (const function_ of Object.values(group.functions)) {\n      yield* MiddlewareAttachment.validateAll(\n        [...group.middlewareAttachments, ...function_.middlewareAttachments],\n        `function \"${function_.name}\"`,\n      );\n    }\n    for (const child of Object.values(group.groups))\n      yield* validateMiddleware(child);\n  });\n"],"mappings":";;;;;;;;;;;;;;;;AASA,MAAa,SAAS;AAGtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,MAAM;AA4HjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAAI,kBAAkB;EACpB,OAAO,KAAK,sBAAsB,KAAK,EAAE,WAAW,IAAI;CAC1D;CAEA,YAEE,WACA;EACA,MAAM,QAAQ;EAEd,MAAM,cAAc,UAAU,sBAAsB,MACjD,EAAE,MAAM,6BACP,EAAE,aAAa,2BACf,MAAM,sBAAsB,MACzB,EAAE,MAAM,0BACP,oBAAoB,QAAQ,uBAAuB,GACvD,CACJ;EACA,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,eAAe,YAAY,KAAK,IAAI,kCAAkC,UAAU,KAAK,gBACvF;EAGF,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,OAAO,IAAI,MAAM,WAAW,UAAU,MAAM,SAAS;GAChE,QAAQ,MAAM;GACd,uBAAuB,MAAM;EAC/B,CAAC;CACH;CAEA,WAEE,gBACA,GAAG,SACH;EACA,MAAM,QAAQ;EAEd,IACE,EAAE,aAAa,mBACf,MAAM,sBAAsB,MACzB,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCACpC;EAGF,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,IACE,EAAE,aAAa,mBACf,UAAU,sBAAsB,MAC7B,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,kCAAkC,UAAU,KAAK,gBACrF;EAIJ,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,MAAM;GACd,uBAAuB,CACrB,GAAG,MAAM,uBACT;IAAE,MAAM;IAAgB,SAAS,QAAQ;GAAG,CAC9C;EACF,CAAC;CACH;AACF;AAEA,MAAM,aAOJ,EACA,SACA,MACA,WACA,QACA,4BAcA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;CAClC;CACA;CACA;CACA;CACA;AACF,CAAC;AAQH,MAAa,aACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,uBAAuB,CAAC;AAC1B,CAAC;AAEH,MAAa,iBACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,uBAAuB,CAAC;AAC1B,CAAC;AAMH,SAAgB,SAAS,MAAc,OAA0B;CAC/D,kCAAkC,IAAI;CACtC,MAAM,SAAS;CAEf,IAAI,OAAO,SAAS,MAClB,OAAO;CAGT,OAAO,UAAU;EACf,SAAS,OAAO;EAChB;EACA,WAAW,OAAO;EAClB,QAAQ,OAAO;EACf,uBAAuB,OAAO;CAChC,CAAC;AACH;AAEA,MAAa,eACX,OACA,aAEA,UAAU;CACR,SAAS,MAAM;CACf,MAAM,MAAM;CACZ,WAAW,MAAM;CACjB,QAAQ,OAAO,MACb,MAAM,QACN,OAAO,IAAI,WAAW,OAAO,SAAS,SAAS,MAAM,KAAK,CAAC,IAC1D,WAAW,aAAa,QAC3B;CACA,uBAAuB,MAAM;AAC/B,CAAC;AAEH,MAAa,sBACX,UAEA,OAAO,IAAI,aAAa;CACtB,OAAOA,YACL,MAAM,uBACN,UAAU,MAAM,KAAK,EACvB;CACA,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,OAAOA,YACL,CAAC,GAAG,MAAM,uBAAuB,GAAG,UAAU,qBAAqB,GACnE,aAAa,UAAU,KAAK,EAC9B;CAEF,KAAK,MAAM,SAAS,OAAO,OAAO,MAAM,MAAM,GAC5C,OAAO,mBAAmB,KAAK;AACnC,CAAC"}

package/dist/SchemaToValidator.d.ts

@@ -1,4 +1,4 @@
-import type { PropertyValidators, Validator, VAny, VArray, VBoolean, VBytes, VFloat64, VId, VInt64, VLiteral, VNull, VObject, VOptional, VRecord, VString, VUnion } from "convex/values";
+import type { PropertyValidators, Validator, VAny, VArray, VBoolean, VBytes, 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";
@@ -19,21 +19,22 @@ export type ReadonlyRecordValue = {
 type MutableValue<T> = T extends ReadonlyArray<infer El> ? MutableValue<El>[] : T extends ReadonlyRecordValue ? {
     -readonly [K in keyof T]: MutableValue<Exclude<T[K], undefined>>;
 } : T;
-export type ValueToValidator<Vl> = [Vl] extends [never] ? never : IsAny<Vl> extends true ? VAny : [Vl] extends [null] ? VNull : [Vl] extends [boolean] ? [boolean] extends [Vl] ? VBoolean : VLiteral<Vl> : IsUnion<Vl> extends true ? IsRecursive<Vl> extends true ? VAny : [Vl] extends [ReadonlyValue] ? UnionValueToValidator<Vl> : TypeError<"Provided value is not a valid Convex value", Vl> : [Vl] extends [number] ? [number] extends [Vl] ? VFloat64 : VLiteral<Vl> : [Vl] extends [bigint] ? [bigint] extends [Vl] ? VInt64 : VLiteral<Vl> : [Vl] extends [string] ? Vl extends {
+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 StringValueToValidator<Vl, Optionality extends "required" | "optional"> = Vl extends {
     __tableName: infer TableName extends string;
-} ? VId<GenericId.GenericId<TableName>> : [string] extends [Vl] ? VString : VLiteral<Vl> : [Vl] extends [ArrayBuffer] ? VBytes : IsRecursive<Vl> extends true ? VAny : [Vl] extends [ReadonlyValue] ? Vl extends ReadonlyArray<ReadonlyValue> ? ArrayValueToValidator<Vl> : Vl extends ReadonlyRecordValue ? RecordValueToValidator<Vl> : TypeError<"Unexpected value", Vl> : TypeError<"Provided value is not a valid Convex value", Vl>;
-type ArrayValueToValidator<Vl extends ReadonlyArray<ReadonlyValue>> = Vl extends ReadonlyArray<infer El extends ReadonlyValue> ? ValueToValidator<El> extends infer Vd extends Validator<any, any, any> ? VArray<MutableValue<El[]>, Vd> : never : never;
-type RecordValueToValidator<Vl> = Vl extends ReadonlyRecordValue ? {
-    -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true ? IsOptional<Vl, K> extends true ? VOptional<VAny> : VAny : UndefinedOrValueToValidator<Vl[K]>;
-} extends infer VdRecord extends Record<string, any> ? MutableValue<Vl> extends infer VlRecord extends Record<string, any> ? IsRecord<VlRecord> extends true ? VRecord<VlRecord, VString, VdRecord[keyof VdRecord]> : VObject<VlRecord, VdRecord> : never : never : never;
-export type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> = undefined extends Vl ? [Vl] extends [(infer Val extends ReadonlyValue) | undefined] ? ValueToValidator<Val> extends infer Vd extends Validator<any, "required", any> ? VOptional<Vd> : never : never : [Vl] extends [ReadonlyValue] ? ValueToValidator<Vl> : never;
-type UnionValueToValidator<Vl extends ReadonlyValue> = [Vl] extends [
-    ReadonlyValue
-] ? IsUnion<Vl> extends true ? UnionToTuple<Vl> extends infer VlTuple extends ReadonlyArray<ReadonlyValue> ? ValueTupleToValidatorTuple<VlTuple> extends infer VdTuple extends Validator<any, "required", any>[] ? VUnion<MutableValue<Vl>, VdTuple> : TypeError<"Failed to convert value tuple to validator tuple"> : TypeError<"Failed to convert union to tuple"> : TypeError<"Expected a union of values, but got a single value instead"> : TypeError<"Provided value is not a valid Convex value">;
-type ValueTupleToValidatorTuple<VlTuple extends ReadonlyArray<ReadonlyValue>> = VlTuple extends [true, false, ...infer VlRest extends ReadonlyArray<ReadonlyValue>] | [false, true, ...infer VlRest extends ReadonlyArray<ReadonlyValue>] ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends Validator<any, any, any>[] ? [VBoolean<boolean>, ...VdRest] : never : VlTuple extends [
-    infer Vl extends ReadonlyValue,
-    ...infer VlRest extends ReadonlyArray<ReadonlyValue>
-] ? ValueToValidator<Vl> extends infer Vd extends Validator<any, any, any> ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends Validator<any, "required", any>[] ? [Vd, ...VdRest] : never : never : [];
+} ? VId<OptionalValue<GenericId.GenericId<TableName>, 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 ValueTupleToValidatorTuple<VlTuple extends readonly unknown[]> = VlTuple extends [true, false, ...infer VlRest] | [false, true, ...infer VlRest] ? [VBoolean, ...ValueTupleToValidatorTuple<VlRest>] : VlTuple extends [infer Vl, ...infer VlRest] ? [ConvertValueToValidator<Vl>, ...ValueTupleToValidatorTuple<VlRest>] : [];
+type OptionalValueToValidator<Vl> = [Vl] extends [
+    (infer Val extends ReadonlyValue) | undefined
+] ? ConvertValueToValidator<Val, "optional"> : never;
 export declare const compileSchema: <T, E>(schema: Schema.Codec<T, E>) => ValueToValidator<(typeof schema)["Encoded"]>;
 export declare const isRecursive: (ast: SchemaAST.AST) => boolean;
 export declare const compileAst: (ast: SchemaAST.AST, isOptionalPropertyOfTypeLiteral?: boolean) => Effect.Effect<Validator<any, any, any>, UnsupportedSchemaTypeError | UnsupportedPropertySignatureKeyTypeError | IndexSignaturesAreNotSupportedError | MixedIndexAndPropertySignaturesAreNotSupportedError | OptionalTupleElementsAreNotSupportedError | EmptyTupleIsNotSupportedError | EmptyUnionIsNotSupportedError>;

package/dist/SchemaToValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.d.ts","sourceRoot":"","sources":["../src/SchemaToValidator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAClB,SAAS,EACT,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,GAAG,EACH,MAAM,EACN,QAAQ,EACR,KAAK,EACL,OAAO,EACP,SAAS,EACT,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;AAG9C,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,SAAS,CAAC;AAIjB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,KAClD,kBAcF,CAAC;AAIF,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,KAC9C,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CACgC,CAAC;AAI3D;;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,KAClB,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,IAAI,CAAC,GACjB,KAAK,GACL,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GACpB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,GACpB,QAAQ,GACR,QAAQ,CAAC,EAAE,CAAC,GACd,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,qBAAqB,CAAC,EAAE,CAAC,GACzB,SAAS,CAAC,4CAA4C,EAAE,EAAE,CAAC,GAC/D,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,QAAQ,GACR,QAAQ,CAAC,EAAE,CAAC,GACd,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,MAAM,GACN,QAAQ,CAAC,EAAE,CAAC,GACd,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GACnB,EAAE,SAAS;IACT,WAAW,EAAE,MAAM,SAAS,SAAS,MAAM,CAAC;CAC7C,GACC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,GACnC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,GACnB,OAAO,GACP,QAAQ,CAAC,EAAE,CAAC,GAChB,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,GACxB,MAAM,GACN,WAAW,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B,IAAI,GACJ,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,EAAE,SAAS,aAAa,CAAC,aAAa,CAAC,GACrC,qBAAqB,CAAC,EAAE,CAAC,GACzB,EAAE,SAAS,mBAAmB,GAC5B,sBAAsB,CAAC,EAAE,CAAC,GAC1B,SAAS,CAAC,kBAAkB,EAAE,EAAE,CAAC,GACrC,SAAS,CACP,4CAA4C,EAC5C,EAAE,CACH,CAAC;AAE1B,KAAK,qBAAqB,CAAC,EAAE,SAAS,aAAa,CAAC,aAAa,CAAC,IAChE,EAAE,SAAS,aAAa,CAAC,MAAM,EAAE,SAAS,aAAa,CAAC,GACpD,gBAAgB,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACpE,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,GAC9B,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,sBAAsB,CAAC,EAAE,IAAI,EAAE,SAAS,mBAAmB,GAC5D;IACE,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,SAAS,CAAC,IAAI,CAAC,GACf,IAAI,GACN,2BAA2B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACvC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAClD,YAAY,CAAC,EAAE,CAAC,SAAS,MAAM,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACjE,QAAQ,CAAC,QAAQ,CAAC,SAAS,IAAI,GAC7B,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,QAAQ,CAAC,CAAC,GACpD,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAC7B,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,MAAM,MAAM,2BAA2B,CAAC,EAAE,SAAS,aAAa,GAAG,SAAS,IAC1E,SAAS,SAAS,EAAE,GAChB,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,SAAS,aAAa,CAAC,GAAG,SAAS,CAAC,GAC1D,gBAAgB,CAAC,GAAG,CAAC,SAAS,MAAM,EAAE,SAAS,SAAS,CACtD,GAAG,EACH,UAAU,EACV,GAAG,CACJ,GACC,SAAS,CAAC,EAAE,CAAC,GACb,KAAK,GACP,KAAK,GACP,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,GAC1B,gBAAgB,CAAC,EAAE,CAAC,GACpB,KAAK,CAAC;AAEd,KAAK,qBAAqB,CAAC,EAAE,SAAS,aAAa,IAAI,CAAC,EAAE,CAAC,SAAS;IAClE,aAAa;CACd,GACG,OAAO,CAAC,EAAE,CAAC,SAAS,IAAI,GACtB,YAAY,CAAC,EAAE,CAAC,SAAS,MAAM,OAAO,SACpC,aAAa,CAAC,aAAa,CAAC,GAC5B,0BAA0B,CAAC,OAAO,CAAC,SAAS,MAAM,OAAO,SACvD,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GACjC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GACjC,SAAS,CAAC,kDAAkD,CAAC,GAC/D,SAAS,CAAC,kCAAkC,CAAC,GAC/C,SAAS,CAAC,4DAA4D,CAAC,GACzE,SAAS,CAAC,4CAA4C,CAAC,CAAC;AAE5D,KAAK,0BAA0B,CAAC,OAAO,SAAS,aAAa,CAAC,aAAa,CAAC,IAC1E,OAAO,SACH,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,SAAS,aAAa,CAAC,aAAa,CAAC,CAAC,GACnE,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,SAAS,aAAa,CAAC,aAAa,CAAC,CAAC,GACnE,0BAA0B,CAAC,MAAM,CAAC,SAAS,MAAM,MAAM,SAAS,SAAS,CACvE,GAAG,EACH,GAAG,EACH,GAAG,CACJ,EAAE,GACD,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,GAC9B,KAAK,GACP,OAAO,SAAS;IACZ,MAAM,EAAE,SAAS,aAAa;IAC9B,GAAG,MAAM,MAAM,SAAS,aAAa,CAAC,aAAa,CAAC;CACrD,GACD,gBAAgB,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACpE,0BAA0B,CAAC,MAAM,CAAC,SAAS,MAAM,MAAM,SACrD,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GACjC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GACf,KAAK,GACP,KAAK,GACP,EAAE,CAAC;AAEX,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,gDAEjB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CA2E1B,CAAC;;;;AA0IR,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,EACV,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;AAG9C,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EACV,KAAK,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,OAAO,EACP,SAAS,EACT,YAAY,EACb,MAAM,SAAS,CAAC;AAIjB,eAAO,MAAM,iBAAiB,GAAI,YAAY,EAAE,WAAW,cAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,KAClD,kBAcF,CAAC;AAIF,eAAO,MAAM,oBAAoB,GAAI,YAAY,EAAE,WAAW,UACpD,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,KAC9C,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CACgC,CAAC;AAI3D;;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,KAClB,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,CACzB,EAAE,EACF,WAAW,SAAS,UAAU,GAAG,UAAU,IACzC,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,SAAS,SAAS,MAAM,CAAA;CAAE,GAC1D,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,GAC5E,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;AAE5D,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,CAAC,OAAO,SAAS,SAAS,OAAO,EAAE,IAChE,OAAO,SACH,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,GAC9B,CAAC,QAAQ,EAAE,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC,GACjD,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,GACzC,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC,GACpE,EAAE,CAAC;AAEX,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,gDAEjB,MAAM,CAAC,MAAM,CACd,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACtB,0BAA0B,GAC1B,wCAAwC,GACxC,mCAAmC,GACnC,mDAAmD,GACnD,yCAAyC,GACzC,6BAA6B,GAC7B,6BAA6B,CA2E1B,CAAC;;;;AA0IR,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.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaToValidator.js","names":["GenericId.tableName"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import type {\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  VOptional,\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\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n    Effect.runSync,\n  );\n};\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast));\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): 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) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst)),\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 [null]\n      ? VNull\n      : [Vl] extends [boolean]\n        ? [boolean] extends [Vl]\n          ? VBoolean\n          : VLiteral<Vl>\n        : IsUnion<Vl> extends true\n          ? IsRecursive<Vl> extends true\n            ? VAny\n            : [Vl] extends [ReadonlyValue]\n              ? UnionValueToValidator<Vl>\n              : TypeError<\"Provided value is not a valid Convex value\", Vl>\n          : [Vl] extends [number]\n            ? [number] extends [Vl]\n              ? VFloat64\n              : VLiteral<Vl>\n            : [Vl] extends [bigint]\n              ? [bigint] extends [Vl]\n                ? VInt64\n                : VLiteral<Vl>\n              : [Vl] extends [string]\n                ? Vl extends {\n                    __tableName: infer TableName extends string;\n                  }\n                  ? VId<GenericId.GenericId<TableName>>\n                  : [string] extends [Vl]\n                    ? VString\n                    : VLiteral<Vl>\n                : [Vl] extends [ArrayBuffer]\n                  ? VBytes\n                  : IsRecursive<Vl> extends true\n                    ? VAny\n                    : [Vl] extends [ReadonlyValue]\n                      ? Vl extends ReadonlyArray<ReadonlyValue>\n                        ? ArrayValueToValidator<Vl>\n                        : Vl extends ReadonlyRecordValue\n                          ? RecordValueToValidator<Vl>\n                          : TypeError<\"Unexpected value\", Vl>\n                      : TypeError<\n                          \"Provided value is not a valid Convex value\",\n                          Vl\n                        >;\n\ntype ArrayValueToValidator<Vl extends ReadonlyArray<ReadonlyValue>> =\n  Vl extends ReadonlyArray<infer El extends ReadonlyValue>\n    ? ValueToValidator<El> extends infer Vd extends Validator<any, any, any>\n      ? VArray<MutableValue<El[]>, Vd>\n      : never\n    : never;\n\ntype RecordValueToValidator<Vl> = Vl extends ReadonlyRecordValue\n  ? {\n      -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true\n        ? IsOptional<Vl, K> extends true\n          ? VOptional<VAny>\n          : VAny\n        : UndefinedOrValueToValidator<Vl[K]>;\n    } extends infer VdRecord extends Record<string, any>\n    ? MutableValue<Vl> extends infer VlRecord extends Record<string, any>\n      ? IsRecord<VlRecord> extends true\n        ? VRecord<VlRecord, VString, VdRecord[keyof VdRecord]>\n        : VObject<VlRecord, VdRecord>\n      : never\n    : never\n  : never;\n\nexport type UndefinedOrValueToValidator<Vl extends ReadonlyValue | undefined> =\n  undefined extends Vl\n    ? [Vl] extends [(infer Val extends ReadonlyValue) | undefined]\n      ? ValueToValidator<Val> extends infer Vd extends Validator<\n          any,\n          \"required\",\n          any\n        >\n        ? VOptional<Vd>\n        : never\n      : never\n    : [Vl] extends [ReadonlyValue]\n      ? ValueToValidator<Vl>\n      : never;\n\ntype UnionValueToValidator<Vl extends ReadonlyValue> = [Vl] extends [\n  ReadonlyValue,\n]\n  ? IsUnion<Vl> extends true\n    ? UnionToTuple<Vl> extends infer VlTuple extends\n        ReadonlyArray<ReadonlyValue>\n      ? ValueTupleToValidatorTuple<VlTuple> extends infer VdTuple extends\n          Validator<any, \"required\", any>[]\n        ? VUnion<MutableValue<Vl>, VdTuple>\n        : TypeError<\"Failed to convert value tuple to validator tuple\">\n      : TypeError<\"Failed to convert union to tuple\">\n    : TypeError<\"Expected a union of values, but got a single value instead\">\n  : TypeError<\"Provided value is not a valid Convex value\">;\n\ntype ValueTupleToValidatorTuple<VlTuple extends ReadonlyArray<ReadonlyValue>> =\n  VlTuple extends\n    | [true, false, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]\n    | [false, true, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]\n    ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends Validator<\n        any,\n        any,\n        any\n      >[]\n      ? [VBoolean<boolean>, ...VdRest]\n      : never\n    : VlTuple extends [\n          infer Vl extends ReadonlyValue,\n          ...infer VlRest extends ReadonlyArray<ReadonlyValue>,\n        ]\n      ? ValueToValidator<Vl> extends infer Vd extends Validator<any, any, any>\n        ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends\n            Validator<any, \"required\", any>[]\n          ? [Vd, ...VdRest]\n          : never\n        : never\n      : [];\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): Effect.Effect<\n  Validator<any, any, any>,\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> =>\n  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) => Effect.succeed(v.id(tableName)),\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),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst)),\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\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\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(Array.map(members, (type) => compileAst(type)));\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) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () => Effect.map(handlePropertySignatures(objectsAst), 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),\n                  type_: compileAst(type),\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 = ({ elements, rest }: SchemaAST.Arrays) =>\n  handleArrayElements(elements, rest);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\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);\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),\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 = (objectsAst: SchemaAST.Objects) =>\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);\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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,MAAa,qBACX,eACuB;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,UAAU,IACnC,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,GAC/D,OAAO,OACT;AACF;AAIA,MAAa,wBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,GAAG,CAAC;AAgBzD,MAAa,sBACX,WAC6C;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,GAAG,IACf,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,QAAQ,CAAC,GACrD,MAAM,aAAa,OAAO,KAAK,IAAI,iCAAiC,CAAC,CAAC,GACtE,OAAO,OACT;AACF;AAqJA,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,UAWlC,YAAY,GAAG,IACX,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,cACnBA,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;CACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;CACvC,SAAS,cAAc,OAAO,QAAQ,EAAE,GAAG,SAAS,CAAC;AACvD,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,+BAA+B,CACvD,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,UAAU,CAAC,GAC9D,MAAM,IAAI,WAAW,cAAc,aAAa,SAAS,CAAC,GAC1D,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;CACE,iBAAiB,EAAE,MAAM;CACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;AACL,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;AAEN,MAAM,eACJ,EAAE,SACF,oCACG,iBAAiB,OAAO,+BAA+B;AAE5D,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IAAI,MAAM,IAAI,UAAU,SAAS,WAAW,IAAI,CAAC,CAAC;CAElE,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,eACrB,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cAAc,OAAO,IAAI,yBAAyB,UAAU,GAAG,EAAE,MAAM;CACvE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,SAAS;GAChC,OAAO,WAAW,IAAI;EACxB,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,gBAAgB,EAAE,UAAU,WAChC,oBAAoB,UAAU,IAAI;AAEpC,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,OAAO;CAExB,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,IAAI;CACnC,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,4BAA4B,eAChC,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,UAAU;GAEpD,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":["GenericId.tableName"],"sources":["../src/SchemaToValidator.ts"],"sourcesContent":["import type {\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\";\nimport type {\n  IsAny,\n  IsOptional,\n  IsRecord,\n  IsRecursive,\n  IsUnion,\n  TypeError,\n  UnionToTuple,\n} from \"./Types\";\n\n// Args\n\nexport const compileArgsSchema = <ConfectValue, ConvexValue>(\n  argsSchema: Schema.Codec<ConfectValue, ConvexValue>,\n): PropertyValidators => {\n  const ast = Schema.toEncoded(argsSchema).ast;\n\n  return pipe(\n    ast,\n    Match.value,\n    Match.tag(\"Objects\", (objectsAst) =>\n      Array.isReadonlyArrayEmpty(objectsAst.indexSignatures)\n        ? handlePropertySignatures(objectsAst)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.orElse(() => Effect.fail(new TopLevelMustBeObjectError())),\n    Effect.runSync,\n  );\n};\n\n// Returns\n\nexport const compileReturnsSchema = <ConfectValue, ConvexValue>(\n  schema: Schema.Codec<ConfectValue, ConvexValue>,\n): Validator<any, any, any> =>\n  Effect.runSync(compileAst(Schema.toEncoded(schema).ast));\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): 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) as Effect.Effect<any>)\n        : Effect.fail(new IndexSignaturesAreNotSupportedError()),\n    ),\n    Match.tag(\"Union\", (unionAst) => compileAst(unionAst)),\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<\n  Vl,\n  Optionality extends \"required\" | \"optional\",\n> = Vl extends { __tableName: infer TableName extends string }\n  ? VId<OptionalValue<GenericId.GenericId<TableName>, 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<VlTuple extends readonly unknown[]> =\n  VlTuple extends\n    | [true, false, ...infer VlRest]\n    | [false, true, ...infer VlRest]\n    ? [VBoolean, ...ValueTupleToValidatorTuple<VlRest>]\n    : VlTuple extends [infer Vl, ...infer VlRest]\n      ? [ConvertValueToValidator<Vl>, ...ValueTupleToValidatorTuple<VlRest>]\n      : [];\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): Effect.Effect<\n  Validator<any, any, any>,\n  | UnsupportedSchemaTypeError\n  | UnsupportedPropertySignatureKeyTypeError\n  | IndexSignaturesAreNotSupportedError\n  | MixedIndexAndPropertySignaturesAreNotSupportedError\n  | OptionalTupleElementsAreNotSupportedError\n  | EmptyTupleIsNotSupportedError\n  | EmptyUnionIsNotSupportedError\n> =>\n  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) => Effect.succeed(v.id(tableName)),\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),\n        ),\n        Match.tag(\"Objects\", (objectsAst) => handleObjects(objectsAst)),\n        Match.tag(\"Arrays\", (arraysAst) => handleArrays(arraysAst)),\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\nconst handleUnion = (\n  { types }: SchemaAST.Union,\n  isOptionalPropertyOfTypeLiteral: boolean,\n) => handleUnionTypes(types, isOptionalPropertyOfTypeLiteral);\n\nconst handleUnionTypes = Effect.fnUntraced(function* (\n  types: SchemaAST.Union[\"types\"],\n  isOptionalPropertyOfTypeLiteral: boolean,\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(Array.map(members, (type) => compileAst(type)));\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) =>\n  pipe(\n    objectsAst.indexSignatures,\n    Array.head,\n    Option.match({\n      onNone: () => Effect.map(handlePropertySignatures(objectsAst), 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),\n                  type_: compileAst(type),\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 = ({ elements, rest }: SchemaAST.Arrays) =>\n  handleArrayElements(elements, rest);\n\nconst handleArrayElements = Effect.fnUntraced(function* (\n  elements: SchemaAST.Arrays[\"elements\"],\n  rest: SchemaAST.Arrays[\"rest\"],\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);\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),\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 = (objectsAst: SchemaAST.Objects) =>\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);\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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CA,MAAa,qBACX,eACuB;CACvB,MAAM,MAAM,OAAO,UAAU,UAAU,CAAC,CAAC;CAEzC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,eACpB,MAAM,qBAAqB,WAAW,eAAe,IACjD,yBAAyB,UAAU,IACnC,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,aAAa,OAAO,KAAK,IAAI,0BAA0B,CAAC,CAAC,GAC/D,OAAO,OACT;AACF;AAIA,MAAa,wBACX,WAEA,OAAO,QAAQ,WAAW,OAAO,UAAU,MAAM,CAAC,CAAC,GAAG,CAAC;AAgBzD,MAAa,sBACX,WAC6C;CAC7C,MAAM,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC;CAErC,OAAO,KACL,KACA,MAAM,OACN,MAAM,IAAI,YAAY,EAAE,sBACtB,MAAM,qBAAqB,eAAe,IAErC,WAAW,GAAG,IACf,OAAO,KAAK,IAAI,oCAAoC,CAAC,CAC3D,GACA,MAAM,IAAI,UAAU,aAAa,WAAW,QAAQ,CAAC,GACrD,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,UAWlC,YAAY,GAAG,IACX,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,cACnBA,UAAoB,SAAS,CAAC,CAAC,KAC7B,OAAO,MAAM;CACX,cAAc,OAAO,QAAQ,EAAE,OAAO,CAAC;CACvC,SAAS,cAAc,OAAO,QAAQ,EAAE,GAAG,SAAS,CAAC;AACvD,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,+BAA+B,CACvD,GACA,MAAM,IAAI,YAAY,eAAe,cAAc,UAAU,CAAC,GAC9D,MAAM,IAAI,WAAW,cAAc,aAAa,SAAS,CAAC,GAC1D,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;CACE,iBAAiB,EAAE,MAAM;CACzB,iBACE,IAAI,2BAA2B,EAC7B,YAAY,YAAY,KAC1B,CAAC;AACL,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;AAEN,MAAM,eACJ,EAAE,SACF,oCACG,iBAAiB,OAAO,+BAA+B;AAE5D,MAAM,mBAAmB,OAAO,WAAW,WACzC,OACA,iCACA;CACA,MAAM,UAAU,kCACZ,MAAM,OAAO,OAAO,UAAU,IAAI,UAAU,WAAW,CAAC,IACxD;CAEJ,MAAM,CAAC,gBAAgB,iBAAiB,GAAG,kBACzC,OAAO,OAAO,IAAI,MAAM,IAAI,UAAU,SAAS,WAAW,IAAI,CAAC,CAAC;CAElE,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,eACrB,KACE,WAAW,iBACX,MAAM,MACN,OAAO,MAAM;CACX,cAAc,OAAO,IAAI,yBAAyB,UAAU,GAAG,EAAE,MAAM;CACvE,SAAS,EAAE,WAAW,WACpB,KACE,WAAW,oBACX,MAAM,MACN,OAAO,MAAM;EACX,cACE,OAAO,IACL,OAAO,IAAI;GACT,YAAY,WAAW,SAAS;GAChC,OAAO,WAAW,IAAI;EACxB,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,gBAAgB,EAAE,UAAU,WAChC,oBAAoB,UAAU,IAAI;AAEpC,MAAM,sBAAsB,OAAO,WAAW,WAC5C,UACA,MACA;CACA,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK;CAErB,MAAM,sBAAsB,YAC1B,UAAU,WAAW,OAAO,IACxB,OAAO,KAAK,IAAI,0CAA0C,CAAC,IAC3D,WAAW,OAAO;CAExB,MAAM,sBAAsB,OAAO,MAAM,KAAA,IACrC,KACE,MACA,MAAM,MACN,OAAO,MAAM;EACX,cAAc,OAAO,KAAK,IAAI,8BAA8B,CAAC;EAC7D,SAAS,SAAS,WAAW,IAAI;CACnC,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,4BAA4B,eAChC,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,UAAU;GAEpD,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/Spec.d.ts

@@ -1,5 +1,4 @@
 import * as Record from "effect/Record";
-import * as Struct from "effect/Struct";
 import * as GroupSpec from "./GroupSpec";
 export declare const TypeId = "~@confect/core/Spec";
 export type TypeId = typeof TypeId;
@@ -13,8 +12,6 @@ export declare const isSpec: (u: unknown) => u is AnyWithProps;
  */
 export interface Spec<Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {}> {
     readonly [TypeId]: Readonly<Groups_>;
-    add<Group extends GroupSpec.AnyWithProps>(group: Group): Spec<Struct.Assign<Groups_, Record.ReadonlyRecord<GroupSpec.Name<Group>, Group>>>;
-    addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(name: Name, group: Group): Spec<Struct.Assign<Groups_, Record.ReadonlyRecord<Name, GroupSpec.NamedAt<Group, Name>>>>;
 }
 export interface Any {
     readonly [TypeId]: unknown;
@@ -27,5 +24,5 @@ export type Groups<Spec_ extends AnyWithProps> = Spec_[TypeId][keyof Spec_[TypeI
  * The group record stored by a spec, with its precise member types.
  */
 export declare const groups: <Spec_ extends AnyWithProps>(self: Spec_) => Spec_[TypeId];
-export declare const make: () => Spec;
+export declare const fromGroups: (record: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>) => AnyWithProps;
 //# sourceMappingURL=Spec.d.ts.map

package/dist/Spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Spec.d.ts","sourceRoot":"","sources":["../src/Spec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AAEzC,eAAO,MAAM,MAAM,wBAAwB,CAAC;AAC5C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,MAAM,MAAO,OAAO,KAAG,CAAC,IAAI,YACP,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,WAAW,IAAI,CACnB,OAAO,SAAS,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE;IAE1E,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAErC,GAAG,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,EACtC,KAAK,EAAE,KAAK,GACX,IAAI,CACL,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAC5E,CAAC;IAEF,KAAK,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,SAAS,CAAC,YAAY,EACnE,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,KAAK,GACX,IAAI,CACL,MAAM,CAAC,MAAM,CACX,OAAO,EACP,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAC5D,CACF,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,YAAa,SAAQ,GAAG;IACvC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;CAC1E;AAED,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,YAAY,QACzC,KAAK,KACV,KAAK,CAAC,MAAM,CAAiB,CAAC;AA6BjC,eAAO,MAAM,IAAI,QAAO,IAAsB,CAAC"}
+{"version":3,"file":"Spec.d.ts","sourceRoot":"","sources":["../src/Spec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AAEzC,eAAO,MAAM,MAAM,wBAAwB,CAAC;AAC5C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,MAAM,MAAO,OAAO,KAAG,CAAC,IAAI,YACP,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,WAAW,IAAI,CACnB,OAAO,SAAS,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE;IAE1E,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,YAAa,SAAQ,GAAG;IACvC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;CAC1E;AAED,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,YAAY,QACzC,KAAK,KACV,KAAK,CAAC,MAAM,CAAiB,CAAC;AAEjC,eAAO,MAAM,UAAU,WACb,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,KAC5D,YAID,CAAC"}

package/dist/Spec.js

@@ -2,13 +2,12 @@ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { withName } from "./GroupSpec.js";
 import * as Predicate from "effect/Predicate";
 import * as Record from "effect/Record";
-import * as Struct from "effect/Struct";
 //#region src/Spec.ts
 var Spec_exports = /* @__PURE__ */ __exportAll({
 	TypeId: () => TypeId,
+	fromGroups: () => fromGroups,
 	groups: () => groups,
-	isSpec: () => isSpec,
-	make: () => make
+	isSpec: () => isSpec
 });
 const TypeId = "~@confect/core/Spec";
 const isSpec = (u) => Predicate.hasProperty(u, TypeId);
@@ -16,17 +15,8 @@ const isSpec = (u) => Predicate.hasProperty(u, TypeId);
 * The group record stored by a spec, with its precise member types.
 */
 const groups = (self) => self[TypeId];
-const makeRecord = (record) => ({
-	[TypeId]: record,
-	add(group) {
-		return makeRecord(Struct.assign(record, Record.singleton(group.name, group)));
-	},
-	addAt(name, group) {
-		return makeRecord(Struct.assign(record, Record.singleton(name, withName(name, group))));
-	}
-});
-const make = () => makeRecord({});
+const fromGroups = (record) => ({ [TypeId]: Record.map(record, (group, name) => withName(name, group)) });
 //#endregion
-export { Spec_exports, TypeId, groups, isSpec, make };
+export { Spec_exports, TypeId, fromGroups, groups, isSpec };
 
 //# sourceMappingURL=Spec.js.map

package/dist/Spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Struct from \"effect/Struct\";\nimport * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"~@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime—a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\n */\nexport interface Spec<\n  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {},\n> {\n  readonly [TypeId]: Readonly<Groups_>;\n\n  add<Group extends GroupSpec.AnyWithProps>(\n    group: Group,\n  ): Spec<\n    Struct.Assign<Groups_, Record.ReadonlyRecord<GroupSpec.Name<Group>, Group>>\n  >;\n\n  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(\n    name: Name,\n    group: Group,\n  ): Spec<\n    Struct.Assign<\n      Groups_,\n      Record.ReadonlyRecord<Name, GroupSpec.NamedAt<Group, Name>>\n    >\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport interface AnyWithProps extends Any {\n  readonly [TypeId]: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>;\n}\n\nexport type Groups<Spec_ extends AnyWithProps> =\n  Spec_[TypeId][keyof Spec_[TypeId]];\n\n/**\n * The group record stored by a spec, with its precise member types.\n */\nexport const groups = <Spec_ extends AnyWithProps>(\n  self: Spec_,\n): Spec_[TypeId] => self[TypeId];\n\nconst makeRecord = <\n  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n>(\n  record: Groups_,\n): Spec<Groups_> => ({\n  [TypeId]: record,\n  add<Group extends GroupSpec.AnyWithProps>(group: Group) {\n    return makeRecord(\n      Struct.assign(\n        record,\n        Record.singleton<GroupSpec.Name<Group>, Group>(group.name, group),\n      ),\n    );\n  },\n  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(\n    name: Name,\n    group: Group,\n  ) {\n    return makeRecord(\n      Struct.assign(\n        record,\n        Record.singleton(name, GroupSpec.withName(name, group)),\n      ),\n    );\n  },\n});\n\nexport const make = (): Spec => makeRecord({});\n"],"mappings":";;;;;;;;;;;;AAKA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,MAAM;;;;AA6CjC,MAAa,UACX,SACkB,KAAK;AAEzB,MAAM,cAGJ,YACmB;EAClB,SAAS;CACV,IAA0C,OAAc;EACtD,OAAO,WACL,OAAO,OACL,QACA,OAAO,UAAwC,MAAM,MAAM,KAAK,CAClE,CACF;CACF;CACA,MACE,MACA,OACA;EACA,OAAO,WACL,OAAO,OACL,QACA,OAAO,UAAU,MAAMA,SAAmB,MAAM,KAAK,CAAC,CACxD,CACF;CACF;AACF;AAEA,MAAa,aAAmB,WAAW,CAAC,CAAC"}
+{"version":3,"file":"Spec.js","names":["GroupSpec.withName"],"sources":["../src/Spec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as GroupSpec from \"./GroupSpec\";\n\nexport const TypeId = \"~@confect/core/Spec\";\nexport type TypeId = typeof TypeId;\n\nexport const isSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\n/**\n * A Confect spec: a flat container of function groups. Groups may be of any\n * runtime—a group built with `GroupSpec.makeNode()` (a Node action group) sits\n * alongside `GroupSpec.make()` groups in the same namespace. The runtime of a\n * group lives on the group itself (`GroupSpec.runtime`) and on each function's\n * `RuntimeAndFunctionType`; the spec does not carry a runtime of its own.\n */\nexport interface Spec<\n  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {},\n> {\n  readonly [TypeId]: Readonly<Groups_>;\n}\n\nexport interface Any {\n  readonly [TypeId]: unknown;\n}\n\nexport interface AnyWithProps extends Any {\n  readonly [TypeId]: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>;\n}\n\nexport type Groups<Spec_ extends AnyWithProps> =\n  Spec_[TypeId][keyof Spec_[TypeId]];\n\n/**\n * The group record stored by a spec, with its precise member types.\n */\nexport const groups = <Spec_ extends AnyWithProps>(\n  self: Spec_,\n): Spec_[TypeId] => self[TypeId];\n\nexport const fromGroups = (\n  record: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n): AnyWithProps => ({\n  [TypeId]: Record.map(record, (group, name) =>\n    GroupSpec.withName(name, group),\n  ),\n});\n"],"mappings":";;;;;;;;;;;AAIA,MAAa,SAAS;AAGtB,MAAa,UAAU,MACrB,UAAU,YAAY,GAAG,MAAM;;;;AA6BjC,MAAa,UACX,SACkB,KAAK;AAEzB,MAAa,cACX,YACkB,GACjB,SAAS,OAAO,IAAI,SAAS,OAAO,SACnCA,SAAmB,MAAM,KAAK,CAChC,EACF"}

package/dist/SystemFields.js

@@ -7,10 +7,10 @@ import * as SchemaAST from "effect/SchemaAST";
 import * as Record from "effect/Record";
 import * as Effect from "effect/Effect";
 import { pipe } from "effect/Function";
-import * as Struct from "effect/Struct";
 import * as Array from "effect/Array";
 import * as SchemaGetter from "effect/SchemaGetter";
 import * as SchemaTransformation from "effect/SchemaTransformation";
+import * as Struct from "effect/Struct";
 //#region src/SystemFields.ts
 var SystemFields_exports = /* @__PURE__ */ __exportAll({
 	SystemFields: () => SystemFields,

package/dist/Types.d.ts

@@ -22,8 +22,19 @@ export interface TypeDefect<Message extends string, T = never> {
 }
 export type IsRecursive<T> = true extends DetectCycle<T> ? true : false;
 type NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;
-type DetectCycle<T, Cache extends any[] = []> = IsAny<T> extends true ? false : [T] extends [any] ? T extends NonRecursiveLeaf ? false : T extends Cache[number] ? true : T extends Array<infer U> ? DetectCycle<U, [...Cache, T]> : T extends Map<infer _U, infer V> ? DetectCycle<V, [...Cache, T]> : T extends Set<infer U> ? DetectCycle<U, [...Cache, T]> : T extends object ? true extends {
-    [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;
+type IsSame<A, B> = (<G>() => G extends A ? 1 : 2) extends <G>() => (G extends B ? 1 : 2) ? true : false;
+type IsObject<T> = T extends object ? true : false;
+/**
+ * Whether `T` is one of the types already on the path, compared by identity.
+ * Assignability is not enough: a nested struct is assignable to an ancestor
+ * whenever the ancestor's extra fields are optional, and two structs whose
+ * fields are all optional can be assignable to each other in both directions.
+ * `DetectCycle` asks only once `T` is assignable to some type on the path,
+ * which keeps the identity comparisons off the common, non-recursive case.
+ */
+type IsAncestor<T, Ancestors> = Ancestors extends unknown ? IsSame<T, Ancestors> : never;
+type DetectCycle<T, Ancestors = never> = IsAny<T> extends true ? false : [T] extends [any] ? T extends NonRecursiveLeaf ? false : IsObject<T> extends false ? false : (T extends Ancestors ? true extends IsAncestor<T, Ancestors> ? true : false : false) extends true ? true : T extends Array<infer U> ? DetectCycle<U, Ancestors | T> : T extends Map<infer _U, infer V> ? DetectCycle<V, Ancestors | T> : T extends Set<infer U> ? DetectCycle<U, Ancestors | T> : T extends object ? true extends {
+    [K in keyof T]: DetectCycle<T[K], Ancestors | T>;
 }[keyof T] ? true : false : false : never;
 export type UnionToTuple<t> = _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;
 type _unionToTuple<t, result extends unknown[]> = getLastBranch<t> extends infer current ? [t] extends [never] ? result : _unionToTuple<Exclude<t, current>, [current, ...result]> : never;

package/dist/Types.d.ts.map

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

package/dist/Types.js.map

@@ -1 +1 @@
-{"version":3,"file":"Types.js","names":[],"sources":["../src/Types.ts"],"sourcesContent":["import type {\n  DocumentByName,\n  FieldTypeFromFieldPath,\n  GenericDatabaseReader,\n  GenericDataModel,\n  TableNamesInDataModel,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport type { Brand } from \"effect\";\n\nexport type IsOptional<T, K extends keyof T> =\n  {} extends Pick<T, K> ? true : false;\n\nexport type IsAny<T> = 0 extends 1 & T ? true : false;\n\nexport type IsUnion<T, U extends T = T> = T extends unknown\n  ? [U] extends [T]\n    ? false\n    : true\n  : never;\n\n// https://stackoverflow.com/a/52806744\nexport type IsValueLiteral<Vl> = [Vl] extends [never]\n  ? never\n  : IsUnion<Vl> extends true\n    ? false\n    : [Vl] extends [string | number | bigint | boolean]\n      ? [string] extends [Vl]\n        ? false\n        : [number] extends [Vl]\n          ? false\n          : [boolean] extends [Vl]\n            ? false\n            : [bigint] extends [Vl]\n              ? false\n              : true\n      : false;\n\n/**\n * Only checks for records with string keys.\n */\nexport type IsRecord<T> = [T] extends [never]\n  ? false\n  : IsUnion<T> extends true\n    ? false\n    : T extends Record<string, infer V>\n      ? string extends keyof T\n        ? keyof T extends string\n          ? T extends Record<string, V>\n            ? Record<string, V> extends T\n              ? true\n              : false\n            : false\n          : false\n        : false\n      : false;\n\nexport type DeepMutable<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends NonRecursiveLeaf\n      ? T\n      : T extends ReadonlyMap<infer K, infer V>\n        ? Map<DeepMutable<K>, DeepMutable<V>>\n        : T extends ReadonlySet<infer V>\n          ? Set<DeepMutable<V>>\n          : [keyof T] extends [never]\n            ? T\n            : {\n                -readonly [K in keyof T]: IsOptional<T, K> extends true\n                  ? DeepMutable<Exclude<T[K], undefined>>\n                  : DeepMutable<T[K]>;\n              };\n\nexport interface TypeError<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeError\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport interface TypeDefect<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeDefect\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype DetectCycle<T, Cache extends any[] = []> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\n        : T extends Cache[number]\n          ? true\n          : T extends Array<infer U>\n            ? DetectCycle<U, [...Cache, T]>\n            : T extends Map<infer _U, infer V>\n              ? DetectCycle<V, [...Cache, T]>\n              : T extends Set<infer U>\n                ? DetectCycle<U, [...Cache, T]>\n                : T extends object\n                  ? true extends {\n                      [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;\n                    }[keyof T]\n                    ? true\n                    : false\n                  : false\n      : never;\n\n//////////////////////////////////\n// START: Vendored from Arktype //\n//////////////////////////////////\n\n// https://github.com/arktypeio/arktype/blob/2e911d01a741ccee7a17e31ee144049817fabbb8/ark/util/unionToTuple.ts#L9\n\nexport type UnionToTuple<t> =\n  _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;\n\ntype _unionToTuple<t, result extends unknown[]> =\n  getLastBranch<t> extends infer current\n    ? [t] extends [never]\n      ? result\n      : _unionToTuple<Exclude<t, current>, [current, ...result]>\n    : never;\n\ntype getLastBranch<t> =\n  intersectUnion<t extends unknown ? (x: t) => void : never> extends (\n    x: infer branch,\n  ) => void\n    ? branch\n    : never;\n\ntype intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (\n  _: infer intersection,\n) => void\n  ? intersection\n  : never;\n\ntype conform<t, base> = t extends base ? t : base;\n\n////////////////////////////////\n// END: Vendored from Arktype //\n////////////////////////////////\n\nexport type IndexFieldTypesForEq<\n  ConvexDataModel extends GenericDataModel,\n  Table extends TableNamesInDataModel<ConvexDataModel>,\n  T extends string[],\n> = T extends readonly [...infer Rest, any]\n  ? Rest extends readonly string[]\n    ? {\n        [K in keyof Rest]: FieldTypeFromFieldPath<\n          DocumentByName<ConvexDataModel, Table>,\n          Rest[K]\n        >;\n      }\n    : never\n  : never;\n\n// Would prefer to use `BaseDatabaseReader` from the `convex` package, but it's not exported.\nexport type BaseDatabaseReader<DataModel extends GenericDataModel> = {\n  get: GenericDatabaseReader<DataModel>[\"get\"];\n  query: GenericDatabaseReader<DataModel>[\"query\"];\n};\n"],"mappings":""}
+{"version":3,"file":"Types.js","names":[],"sources":["../src/Types.ts"],"sourcesContent":["import type {\n  DocumentByName,\n  FieldTypeFromFieldPath,\n  GenericDatabaseReader,\n  GenericDataModel,\n  TableNamesInDataModel,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\nimport type { Brand } from \"effect\";\n\nexport type IsOptional<T, K extends keyof T> =\n  {} extends Pick<T, K> ? true : false;\n\nexport type IsAny<T> = 0 extends 1 & T ? true : false;\n\nexport type IsUnion<T, U extends T = T> = T extends unknown\n  ? [U] extends [T]\n    ? false\n    : true\n  : never;\n\n// https://stackoverflow.com/a/52806744\nexport type IsValueLiteral<Vl> = [Vl] extends [never]\n  ? never\n  : IsUnion<Vl> extends true\n    ? false\n    : [Vl] extends [string | number | bigint | boolean]\n      ? [string] extends [Vl]\n        ? false\n        : [number] extends [Vl]\n          ? false\n          : [boolean] extends [Vl]\n            ? false\n            : [bigint] extends [Vl]\n              ? false\n              : true\n      : false;\n\n/**\n * Only checks for records with string keys.\n */\nexport type IsRecord<T> = [T] extends [never]\n  ? false\n  : IsUnion<T> extends true\n    ? false\n    : T extends Record<string, infer V>\n      ? string extends keyof T\n        ? keyof T extends string\n          ? T extends Record<string, V>\n            ? Record<string, V> extends T\n              ? true\n              : false\n            : false\n          : false\n        : false\n      : false;\n\nexport type DeepMutable<T> =\n  IsAny<T> extends true\n    ? any\n    : T extends NonRecursiveLeaf\n      ? T\n      : T extends ReadonlyMap<infer K, infer V>\n        ? Map<DeepMutable<K>, DeepMutable<V>>\n        : T extends ReadonlySet<infer V>\n          ? Set<DeepMutable<V>>\n          : [keyof T] extends [never]\n            ? T\n            : {\n                -readonly [K in keyof T]: IsOptional<T, K> extends true\n                  ? DeepMutable<Exclude<T[K], undefined>>\n                  : DeepMutable<T[K]>;\n              };\n\nexport interface TypeError<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeError\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport interface TypeDefect<Message extends string, T = never> {\n  readonly \"~@confect/core/Types/TypeDefect\": Message;\n  readonly \"~value\"?: T;\n}\n\nexport type IsRecursive<T> = true extends DetectCycle<T> ? true : false;\n\ntype NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;\n\ntype IsSame<A, B> =\n  (<G>() => G extends A ? 1 : 2) extends <G>() => G extends B ? 1 : 2\n    ? true\n    : false;\n\ntype IsObject<T> = T extends object ? true : false;\n\n/**\n * Whether `T` is one of the types already on the path, compared by identity.\n * Assignability is not enough: a nested struct is assignable to an ancestor\n * whenever the ancestor's extra fields are optional, and two structs whose\n * fields are all optional can be assignable to each other in both directions.\n * `DetectCycle` asks only once `T` is assignable to some type on the path,\n * which keeps the identity comparisons off the common, non-recursive case.\n */\ntype IsAncestor<T, Ancestors> = Ancestors extends unknown\n  ? IsSame<T, Ancestors>\n  : never;\n\ntype DetectCycle<T, Ancestors = never> =\n  IsAny<T> extends true\n    ? false\n    : [T] extends [any]\n      ? T extends NonRecursiveLeaf\n        ? false\n        : IsObject<T> extends false\n          ? false\n          : (\n                T extends Ancestors\n                  ? true extends IsAncestor<T, Ancestors>\n                    ? true\n                    : false\n                  : false\n              ) extends true\n            ? true\n            : T extends Array<infer U>\n              ? DetectCycle<U, Ancestors | T>\n              : T extends Map<infer _U, infer V>\n                ? DetectCycle<V, Ancestors | T>\n                : T extends Set<infer U>\n                  ? DetectCycle<U, Ancestors | T>\n                  : T extends object\n                    ? true extends {\n                        [K in keyof T]: DetectCycle<T[K], Ancestors | T>;\n                      }[keyof T]\n                      ? true\n                      : false\n                    : false\n      : never;\n\n//////////////////////////////////\n// START: Vendored from Arktype //\n//////////////////////////////////\n\n// https://github.com/arktypeio/arktype/blob/2e911d01a741ccee7a17e31ee144049817fabbb8/ark/util/unionToTuple.ts#L9\n\nexport type UnionToTuple<t> =\n  _unionToTuple<t, []> extends infer result ? conform<result, t[]> : never;\n\ntype _unionToTuple<t, result extends unknown[]> =\n  getLastBranch<t> extends infer current\n    ? [t] extends [never]\n      ? result\n      : _unionToTuple<Exclude<t, current>, [current, ...result]>\n    : never;\n\ntype getLastBranch<t> =\n  intersectUnion<t extends unknown ? (x: t) => void : never> extends (\n    x: infer branch,\n  ) => void\n    ? branch\n    : never;\n\ntype intersectUnion<t> = (t extends unknown ? (_: t) => void : never) extends (\n  _: infer intersection,\n) => void\n  ? intersection\n  : never;\n\ntype conform<t, base> = t extends base ? t : base;\n\n////////////////////////////////\n// END: Vendored from Arktype //\n////////////////////////////////\n\nexport type IndexFieldTypesForEq<\n  ConvexDataModel extends GenericDataModel,\n  Table extends TableNamesInDataModel<ConvexDataModel>,\n  T extends string[],\n> = T extends readonly [...infer Rest, any]\n  ? Rest extends readonly string[]\n    ? {\n        [K in keyof Rest]: FieldTypeFromFieldPath<\n          DocumentByName<ConvexDataModel, Table>,\n          Rest[K]\n        >;\n      }\n    : never\n  : never;\n\n// Would prefer to use `BaseDatabaseReader` from the `convex` package, but it's not exported.\nexport type BaseDatabaseReader<DataModel extends GenericDataModel> = {\n  get: GenericDatabaseReader<DataModel>[\"get\"];\n  query: GenericDatabaseReader<DataModel>[\"query\"];\n};\n"],"mappings":""}

package/package.json

@@ -1,17 +1,17 @@
 {
   "name": "@confect/core",
   "description": "Shared specs and schemas used by all Confect packages",
-  "version": "10.2.0",
+  "version": "10.3.0",
   "author": "RJ Dellecese",
   "bugs": {
     "url": "https://github.com/rjdellecese/confect/issues"
   },
   "devDependencies": {
-    "@effect/vitest": "4.0.1",
-    "@types/node": "26.6.4",
+    "@effect/vitest": "4.0.4",
+    "@types/node": "26.6.5",
     "confect-bench-harness": "0.0.0",
-    "effect": "4.0.1",
-    "tsdown": "0.23.0",
+    "effect": "4.0.4",
+    "tsdown": "0.23.1",
     "tsx": "4.23.15",
     "typescript": "7.0.2",
     "unrun": "0.3.1",
@@ -61,7 +61,7 @@
   "type": "module",
   "types": "./dist/index.d.ts",
   "scripts": {
-    "bench": "tsx test/Refs.bench.ts",
+    "bench": "tsx test/Refs.bench.ts && tsx test/Types.bench.ts",
     "clean": "shx rm -rf dist coverage node_modules",
     "dev": "tsdown --watch --no-clean --config-loader unrun",
     "test": "vitest run",

package/src/GroupSpec.ts

@@ -55,21 +55,6 @@ export interface GroupSpec<
     MiddlewareSpecs_
   >;
 
-  addGroup<Group extends AnyWithProps>(
-    group: Group,
-  ): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;
-
-  addGroupAt<const AtName extends string, Group extends AnyWithProps>(
-    name: AtName,
-    group: Group,
-  ): GroupSpec<
-    Runtime,
-    Name_,
-    Functions_,
-    Groups_ | NamedAt<Group, AtName>,
-    MiddlewareSpecs_
-  >;
-
   middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(
     middlewareSpec: MiddlewareSpec_ &
       MiddlewareSpec.ValidateAttach<
@@ -99,16 +84,6 @@ export interface AnyWithProps extends GroupSpec<
   MiddlewareSpec.AnyMiddlewareSpec
 > {}
 
-export interface AnyWithPropsWithRuntime<
-  Runtime extends RuntimeAndFunctionType.Runtime,
-> extends GroupSpec<
-  Runtime,
-  string,
-  FunctionSpec.AnyWithPropsWithRuntime<Runtime>,
-  AnyWithPropsWithRuntime<Runtime>,
-  MiddlewareSpec.AnyMiddlewareSpec
-> {}
-
 export type Name<Group extends AnyWithProps> = Group["name"];
 
 export type Functions<Group extends AnyWithProps> = Group["~Functions"];
@@ -146,16 +121,16 @@ export type AddGroups<
 > =
   Group extends GroupSpec<
     infer Runtime,
-    infer Name_,
+    string,
     infer Functions_,
     infer Groups_,
     infer MiddlewareSpecs_
   >
     ? GroupSpec<
         Runtime,
-        Name_,
+        Group["name"],
         Functions_,
-        Groups_ | ExtraGroups,
+        Exclude<Groups_, { readonly name: Name<ExtraGroups> }> | ExtraGroups,
         MiddlewareSpecs_
       >
     : never;
@@ -196,32 +171,6 @@ const Proto = {
     });
   },
 
-  addGroup<Group extends Any>(this: Any, group: Group) {
-    const this_ = this as AnyWithProps;
-    const group_ = group as unknown as AnyWithProps;
-
-    return makeProto({
-      runtime: this_.runtime,
-      name: this_.name,
-      functions: this_.functions,
-      groups: Record.set(this_.groups, group_.name, group_),
-      middlewareAttachments: this_.middlewareAttachments,
-    });
-  },
-
-  addGroupAt<Group extends Any>(this: Any, name: string, group: Group) {
-    const this_ = this as AnyWithProps;
-    const group_ = group as unknown as AnyWithProps;
-
-    return makeProto({
-      runtime: this_.runtime,
-      name: this_.name,
-      functions: this_.functions,
-      groups: Record.set(this_.groups, name, withName(name, group_)),
-      middlewareAttachments: this_.middlewareAttachments,
-    });
-  },
-
   middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(
     this: Any,
     middlewareSpec: MiddlewareSpec_,
@@ -270,7 +219,7 @@ const makeProto = <
   Runtime extends RuntimeAndFunctionType.Runtime,
   Name_ extends string,
   Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>,
-  Groups_ extends AnyWithPropsWithRuntime<Runtime>,
+  Groups_ extends AnyWithProps,
   MiddlewareAttachments_ extends
     ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,
 >({
@@ -315,20 +264,6 @@ export const make = (): GroupSpec<"Convex", ""> =>
     middlewareAttachments: [],
   });
 
-export const makeAt = <const Name_ extends string>(
-  name: Name_,
-): GroupSpec<"Convex", Name_> => {
-  validateConfectFunctionIdentifier(name);
-
-  return makeProto({
-    runtime: "Convex",
-    name,
-    functions: Record.empty(),
-    groups: Record.empty(),
-    middlewareAttachments: [],
-  });
-};
-
 export const makeNode = (): GroupSpec<"Node", ""> =>
   makeProto({
     runtime: "Node",
@@ -338,20 +273,6 @@ export const makeNode = (): GroupSpec<"Node", ""> =>
     middlewareAttachments: [],
   });
 
-export const makeNodeAt = <const Name_ extends string>(
-  name: Name_,
-): GroupSpec<"Node", Name_> => {
-  validateConfectFunctionIdentifier(name);
-
-  return makeProto({
-    runtime: "Node",
-    name,
-    functions: Record.empty(),
-    groups: Record.empty(),
-    middlewareAttachments: [],
-  });
-};
-
 export function withName<const Name_ extends string, Group extends Any>(
   name: Name_,
   group: Group,
@@ -373,6 +294,22 @@ export function withName(name: string, group: Any): AnyWithProps {
   });
 }
 
+export const addGroupsAt = (
+  group: AnyWithProps,
+  children: Record.ReadonlyRecord<string, AnyWithProps>,
+): AnyWithProps =>
+  makeProto({
+    runtime: group.runtime,
+    name: group.name,
+    functions: group.functions,
+    groups: Record.union(
+      group.groups,
+      Record.map(children, (child, name) => withName(name, child)),
+      (_existing, incoming) => incoming,
+    ),
+    middlewareAttachments: group.middlewareAttachments,
+  });
+
 export const validateMiddleware = (
   group: AnyWithProps,
 ): Result.Result<void, MiddlewareAttachment.ValidationError> =>

package/src/SchemaToValidator.ts

@@ -11,7 +11,6 @@ import type {
   VLiteral,
   VNull,
   VObject,
-  VOptional,
   VRecord,
   VString,
   VUnion,
@@ -130,124 +129,134 @@ 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
+      ? VNull<OptionalValue<null, Optionality>, Optionality>
       : [Vl] extends [boolean]
         ? [boolean] extends [Vl]
-          ? VBoolean
-          : VLiteral<Vl>
+          ? VBoolean<OptionalValue<boolean, Optionality>, Optionality>
+          : VLiteral<OptionalValue<Vl, Optionality>, Optionality>
         : IsUnion<Vl> extends true
-          ? IsRecursive<Vl> extends true
-            ? VAny
-            : [Vl] extends [ReadonlyValue]
-              ? UnionValueToValidator<Vl>
-              : TypeError<"Provided value is not a valid Convex value", Vl>
+          ? UnionValueToValidator<Vl, Optionality>
           : [Vl] extends [number]
             ? [number] extends [Vl]
-              ? VFloat64
-              : VLiteral<Vl>
+              ? VFloat64<OptionalValue<number, Optionality>, Optionality>
+              : VLiteral<OptionalValue<Vl, Optionality>, Optionality>
             : [Vl] extends [bigint]
               ? [bigint] extends [Vl]
-                ? VInt64
-                : VLiteral<Vl>
+                ? VInt64<OptionalValue<bigint, Optionality>, Optionality>
+                : VLiteral<OptionalValue<Vl, Optionality>, Optionality>
               : [Vl] extends [string]
-                ? Vl extends {
-                    __tableName: infer TableName extends string;
-                  }
-                  ? VId<GenericId.GenericId<TableName>>
-                  : [string] extends [Vl]
-                    ? VString
-                    : VLiteral<Vl>
+                ? StringValueToValidator<Vl, Optionality>
                 : [Vl] extends [ArrayBuffer]
-                  ? VBytes
+                  ? VBytes<OptionalValue<ArrayBuffer, Optionality>, Optionality>
                   : IsRecursive<Vl> extends true
-                    ? VAny
-                    : [Vl] extends [ReadonlyValue]
-                      ? Vl extends ReadonlyArray<ReadonlyValue>
-                        ? ArrayValueToValidator<Vl>
-                        : Vl extends ReadonlyRecordValue
-                          ? RecordValueToValidator<Vl>
-                          : TypeError<"Unexpected value", Vl>
-                      : TypeError<
-                          "Provided value is not a valid Convex value",
-                          Vl
-                        >;
-
-type ArrayValueToValidator<Vl extends ReadonlyArray<ReadonlyValue>> =
-  Vl extends ReadonlyArray<infer El extends ReadonlyValue>
-    ? ValueToValidator<El> extends infer Vd extends Validator<any, any, any>
-      ? VArray<MutableValue<El[]>, Vd>
+                    ? VAny<any, Optionality>
+                    : Vl extends ReadonlyArray<infer El>
+                      ? VArray<
+                          OptionalValue<MutableValue<El[]>, Optionality>,
+                          ConvertValueToValidator<El>,
+                          Optionality
+                        >
+                      : Vl extends object
+                        ? ObjectValueToValidator<Vl, Optionality>
+                        : never;
+
+type StringValueToValidator<
+  Vl,
+  Optionality extends "required" | "optional",
+> = Vl extends { __tableName: infer TableName extends string }
+  ? VId<OptionalValue<GenericId.GenericId<TableName>, 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
-    : never;
+    : ObjectFieldsToValidators<Vl> extends infer VdFields extends Record<
+          string,
+          any
+        >
+      ? VObject<
+          OptionalValue<MutableValue<Vl>, Optionality>,
+          VdFields,
+          Optionality
+        >
+      : never;
 
-type RecordValueToValidator<Vl> = Vl extends ReadonlyRecordValue
-  ? {
-      -readonly [K in keyof Vl]-?: IsAny<Vl[K]> extends true
-        ? IsOptional<Vl, K> extends true
-          ? VOptional<VAny>
-          : VAny
-        : UndefinedOrValueToValidator<Vl[K]>;
-    } extends infer VdRecord extends Record<string, any>
-    ? MutableValue<Vl> extends infer VlRecord extends Record<string, any>
-      ? IsRecord<VlRecord> extends true
-        ? VRecord<VlRecord, VString, VdRecord[keyof VdRecord]>
-        : VObject<VlRecord, VdRecord>
-      : never
-    : never
-  : 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
-    ? [Vl] extends [(infer Val extends ReadonlyValue) | undefined]
-      ? ValueToValidator<Val> extends infer Vd extends Validator<
-          any,
-          "required",
-          any
-        >
-        ? VOptional<Vd>
-        : never
-      : never
+    ? OptionalValueToValidator<Vl>
     : [Vl] extends [ReadonlyValue]
       ? ValueToValidator<Vl>
       : never;
 
-type UnionValueToValidator<Vl extends ReadonlyValue> = [Vl] extends [
-  ReadonlyValue,
-]
-  ? IsUnion<Vl> extends true
-    ? UnionToTuple<Vl> extends infer VlTuple extends
-        ReadonlyArray<ReadonlyValue>
-      ? ValueTupleToValidatorTuple<VlTuple> extends infer VdTuple extends
-          Validator<any, "required", any>[]
-        ? VUnion<MutableValue<Vl>, VdTuple>
-        : TypeError<"Failed to convert value tuple to validator tuple">
-      : TypeError<"Failed to convert union to tuple">
-    : TypeError<"Expected a union of values, but got a single value instead">
-  : TypeError<"Provided value is not a valid Convex value">;
-
-type ValueTupleToValidatorTuple<VlTuple extends ReadonlyArray<ReadonlyValue>> =
+type UnionValueToValidator<Vl, Optionality extends "required" | "optional"> =
+  IsRecursive<Vl> extends true
+    ? VAny<any, Optionality>
+    : VUnion<
+        OptionalValue<MutableValue<Vl>, Optionality>,
+        ValueTupleToValidatorTuple<UnionToTuple<Vl>>,
+        Optionality
+      >;
+
+type ValueTupleToValidatorTuple<VlTuple extends readonly unknown[]> =
   VlTuple extends
-    | [true, false, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]
-    | [false, true, ...infer VlRest extends ReadonlyArray<ReadonlyValue>]
-    ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends Validator<
-        any,
-        any,
-        any
-      >[]
-      ? [VBoolean<boolean>, ...VdRest]
-      : never
-    : VlTuple extends [
-          infer Vl extends ReadonlyValue,
-          ...infer VlRest extends ReadonlyArray<ReadonlyValue>,
-        ]
-      ? ValueToValidator<Vl> extends infer Vd extends Validator<any, any, any>
-        ? ValueTupleToValidatorTuple<VlRest> extends infer VdRest extends
-            Validator<any, "required", any>[]
-          ? [Vd, ...VdRest]
-          : never
-        : never
+    | [true, false, ...infer VlRest]
+    | [false, true, ...infer VlRest]
+    ? [VBoolean, ...ValueTupleToValidatorTuple<VlRest>]
+    : VlTuple extends [infer Vl, ...infer VlRest]
+      ? [ConvertValueToValidator<Vl>, ...ValueTupleToValidatorTuple<VlRest>]
       : [];
 
+type OptionalValueToValidator<Vl> = [Vl] extends [
+  (infer Val extends ReadonlyValue) | undefined,
+]
+  ? ConvertValueToValidator<Val, "optional">
+  : never;
+
 export const compileSchema = <T, E>(
   schema: Schema.Codec<T, E>,
 ): ValueToValidator<(typeof schema)["Encoded"]> =>

package/src/Spec.ts

@@ -1,6 +1,5 @@
 import * as Predicate from "effect/Predicate";
 import * as Record from "effect/Record";
-import * as Struct from "effect/Struct";
 import * as GroupSpec from "./GroupSpec";
 
 export const TypeId = "~@confect/core/Spec";
@@ -20,22 +19,6 @@ export interface Spec<
   Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps> = {},
 > {
   readonly [TypeId]: Readonly<Groups_>;
-
-  add<Group extends GroupSpec.AnyWithProps>(
-    group: Group,
-  ): Spec<
-    Struct.Assign<Groups_, Record.ReadonlyRecord<GroupSpec.Name<Group>, Group>>
-  >;
-
-  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(
-    name: Name,
-    group: Group,
-  ): Spec<
-    Struct.Assign<
-      Groups_,
-      Record.ReadonlyRecord<Name, GroupSpec.NamedAt<Group, Name>>
-    >
-  >;
 }
 
 export interface Any {
@@ -56,31 +39,10 @@ export const groups = <Spec_ extends AnyWithProps>(
   self: Spec_,
 ): Spec_[TypeId] => self[TypeId];
 
-const makeRecord = <
-  Groups_ extends Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,
->(
-  record: Groups_,
-): Spec<Groups_> => ({
-  [TypeId]: record,
-  add<Group extends GroupSpec.AnyWithProps>(group: Group) {
-    return makeRecord(
-      Struct.assign(
-        record,
-        Record.singleton<GroupSpec.Name<Group>, Group>(group.name, group),
-      ),
-    );
-  },
-  addAt<const Name extends string, Group extends GroupSpec.AnyWithProps>(
-    name: Name,
-    group: Group,
-  ) {
-    return makeRecord(
-      Struct.assign(
-        record,
-        Record.singleton(name, GroupSpec.withName(name, group)),
-      ),
-    );
-  },
+export const fromGroups = (
+  record: Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,
+): AnyWithProps => ({
+  [TypeId]: Record.map(record, (group, name) =>
+    GroupSpec.withName(name, group),
+  ),
 });
-
-export const make = (): Spec => makeRecord({});

package/src/Types.ts

@@ -86,27 +86,54 @@ export type IsRecursive<T> = true extends DetectCycle<T> ? true : false;
 
 type NonRecursiveLeaf = Brand.Brand<any> | GenericId<any> | ArrayBuffer;
 
-type DetectCycle<T, Cache extends any[] = []> =
+type IsSame<A, B> =
+  (<G>() => G extends A ? 1 : 2) extends <G>() => G extends B ? 1 : 2
+    ? true
+    : false;
+
+type IsObject<T> = T extends object ? true : false;
+
+/**
+ * Whether `T` is one of the types already on the path, compared by identity.
+ * Assignability is not enough: a nested struct is assignable to an ancestor
+ * whenever the ancestor's extra fields are optional, and two structs whose
+ * fields are all optional can be assignable to each other in both directions.
+ * `DetectCycle` asks only once `T` is assignable to some type on the path,
+ * which keeps the identity comparisons off the common, non-recursive case.
+ */
+type IsAncestor<T, Ancestors> = Ancestors extends unknown
+  ? IsSame<T, Ancestors>
+  : never;
+
+type DetectCycle<T, Ancestors = never> =
   IsAny<T> extends true
     ? false
     : [T] extends [any]
       ? T extends NonRecursiveLeaf
         ? false
-        : T extends Cache[number]
-          ? true
-          : T extends Array<infer U>
-            ? DetectCycle<U, [...Cache, T]>
-            : T extends Map<infer _U, infer V>
-              ? DetectCycle<V, [...Cache, T]>
-              : T extends Set<infer U>
-                ? DetectCycle<U, [...Cache, T]>
-                : T extends object
-                  ? true extends {
-                      [K in keyof T]: DetectCycle<T[K], [...Cache, T]>;
-                    }[keyof T]
+        : IsObject<T> extends false
+          ? false
+          : (
+                T extends Ancestors
+                  ? true extends IsAncestor<T, Ancestors>
                     ? true
                     : false
                   : false
+              ) extends true
+            ? true
+            : T extends Array<infer U>
+              ? DetectCycle<U, Ancestors | T>
+              : T extends Map<infer _U, infer V>
+                ? DetectCycle<V, Ancestors | T>
+                : T extends Set<infer U>
+                  ? DetectCycle<U, Ancestors | T>
+                  : T extends object
+                    ? true extends {
+                        [K in keyof T]: DetectCycle<T[K], Ancestors | T>;
+                      }[keyof T]
+                      ? true
+                      : false
+                    : false
       : never;
 
 //////////////////////////////////