@confect/core 10.0.0-next.22 → 10.0.0-next.24

package/CHANGELOG.md

@@ -1,5 +1,29 @@
 # @confect/core
 
+## 10.0.0-next.24
+
+### Patch Changes
+
+- 850a3c3: Require `effect@^4.0.0-rc.117` across `@confect/*` and `@effect/platform-node@^4.0.0-rc.117` for `@confect/server`'s optional Node integration. Upgrade these dependencies alongside Confect; existing Confect call sites are unchanged.
+
+## 10.0.0-next.23
+
+### Major Changes
+
+- 09f9f55: Use `Spec.groups(spec)` and `DatabaseSchema.tables(schema)` to inspect assembled group and table records. Adding a group at an existing spec name now replaces its inferred type as well as its runtime value.
+
+  ### Breaking Changes
+  - The `Spec.groups` and `DatabaseSchema.tables` accessors replace the corresponding instance properties.
+  - `Spec.Spec`, `DatabaseSchema.DatabaseSchema`, and `DataModel.DataModel` take a record type instead of a union of its members. The separate `~Groups` and `~Tables` phantom properties on these containers are removed; the `Groups` and `Tables` type helpers remain available.
+
+  Run `confect codegen` to update generated spec and schema annotations. Ordinary `Spec.make().add(...)`, `Spec.make().addAt(...)`, and `DatabaseSchema.make({ ... })` calls keep their existing syntax. `DataModel.FromTables` continues to accept a table union.
+
+  For handwritten annotations, use `Spec.Spec<{ readonly notes: typeof notesGroup }>` or `DatabaseSchema.DatabaseSchema<{ readonly notes: typeof notesTable }>` in place of the corresponding member-union parameter.
+
+### Patch Changes
+
+- 2c379cf: Fix function error types widening to `any` when `exactOptionalPropertyTypes` is disabled and no `error` schema is declared. Function refs, handlers, clients, and test helpers now preserve precise error channels under either setting, which may reveal application type errors previously hidden by `any`.
+
 ## 10.0.0-next.22
 
 ### Major Changes

package/dist/FunctionProvenance.d.ts

@@ -21,7 +21,9 @@ export type ArgsFields = {
 export interface ArgsSchema<ArgsFields_ extends ArgsFields> extends Schema.Codec<any, any> {
     readonly fields: ArgsFields_;
 }
-/** Erased structural view used after the exact field map is no longer needed. */
+/**
+ * Erased structural view used after the exact field map is no longer needed.
+ */
 export type AnyArgsSchema = ArgsSchema<ArgsFields>;
 export type FunctionProvenance = Data.TaggedEnum<{
     Confect: {
@@ -36,12 +38,11 @@ export type FunctionProvenance = Data.TaggedEnum<{
     };
 }>;
 /**
- * The declaration shape of a Confect function—orthogonal to both the
- * provenance origin (Confect vs Convex) and the function type
- * (query/mutation/action). A `Standard` function declares its args fields and
- * returns schema directly; a `Paginated` function declares user-args fields
- * and an item schema from which the Convex-facing `args`/`returns` are
- * composed.
+ * The declaration shape of a Confect function—orthogonal to both the provenance
+ * origin (Confect vs Convex) and the function type (query/mutation/action). A
+ * `Standard` function declares its args fields and returns schema directly; a
+ * `Paginated` function declares user-args fields and an item schema from which
+ * the Convex-facing `args`/`returns` are composed.
  */
 export type ConfectKind = Standard | Paginated;
 export interface Standard {
@@ -49,11 +50,17 @@ export interface Standard {
 }
 export interface Paginated<UserArgsFields_ extends ArgsFields = ArgsFields, Item extends Schema.Codec<any, any> = Schema.Codec<any, any>> {
     readonly _tag: "Paginated";
-    /** User-declared args—no `paginationOpts`. */
+    /**
+     * User-declared args—no `paginationOpts`.
+     */
     readonly userArgs: ArgsSchema<UserArgsFields_>;
-    /** Page element schema. */
+    /**
+     * Page element schema.
+     */
     readonly item: Item;
-    /** Mutable array of items—the page decode target. */
+    /**
+     * Mutable array of items—the page decode target.
+     */
     readonly page: Schema.Codec<any, any>;
 }
 export interface Confect<ArgsFields_ extends ArgsFields, Returns extends Schema.Codec<any, any>, Error extends Schema.Codec<any, any> = never, Kind extends ConfectKind = ConfectKind> {
@@ -156,24 +163,26 @@ export declare const FunctionProvenance: {
     }, "_tag">;
 };
 /**
- * Build a `Confect` provenance from lazy args-fields and schema thunks.
- * `args`, `returns`, and `error` are exposed as sync lazy memoised getters
- * (via {@link Lazy.defineProperty}) that only evaluate their thunk on first
- * access, mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the
- * assembled `_generated/spec.ts` cheap—no `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is deferred to the first
- * invocation that actually compiles validators or runs a codec.
+ * Build a `Confect` provenance from lazy args-fields and schema thunks. `args`,
+ * `returns`, and `error` are exposed as sync lazy memoised getters (via
+ * {@link Lazy.defineProperty}) that only evaluate their thunk on first access,
+ * mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the
+ * assembled `_generated/spec.ts` cheap—no
+ * `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is
+ * deferred to the first invocation that actually compiles validators or runs a
+ * codec.
  *
  * The object is built by hand rather than through `FunctionProvenance.Confect`
  * because the `Data` constructor copies its input with `Object.assign`, which
- * would force the getters at construction time and defeat the laziness.
- * `error` is only installed when an `errorThunk` is provided, so its absence
- * is observable via `"error" in provenance` without forcing anything; nothing
+ * would force the getters at construction time and defeat the laziness. `error`
+ * is only installed when an `errorThunk` is provided, so its absence is
+ * observable via `"error" in provenance` without forcing anything; nothing
  * relies on `Data`'s structural `Equal`/`Hash` for provenance values.
  */
 export declare const Confect: <const ArgsFields_ extends ArgsFields, Returns extends Schema.Codec<any, any>, Error extends Schema.Codec<any, any> = never>(args: () => ArgsFields_, returns: () => Returns, error?: () => Error) => Confect<ArgsFields_, Returns, Error, Standard>;
 /**
- * The composed args schema of a paginated query: the user-declared fields
- * plus the `paginationOpts` field managed by Convex's pagination protocol.
+ * The composed args schema of a paginated query: the user-declared fields plus
+ * the `paginationOpts` field managed by Convex's pagination protocol.
  *
  * The fields-first representation keeps the user-declared map available for
  * type-level composition without reconstructing it from an erased schema.
@@ -183,8 +192,8 @@ export type PaginatedArgsFields<UserArgsFields extends ArgsFields> = UserArgsFie
 };
 export type PaginatedArgs<UserArgsFields extends ArgsFields> = Schema.Struct<PaginatedArgsFields<UserArgsFields>>;
 /**
- * The composed returns schema of a paginated query: a `PaginationResult` of
- * the item schema. Same deferred-conditional device as {@link PaginatedArgs}.
+ * The composed returns schema of a paginated query: a `PaginationResult` of the
+ * item schema. Same deferred-conditional device as {@link PaginatedArgs}.
  */
 export type PaginatedReturns<Item extends Schema.Codec<any, any>> = PaginationResult.PaginationResult<Item> extends infer ComposedReturns extends Schema.Codec<any, any> ? ComposedReturns : never;
 export interface ConfectPaginated<UserArgsFields extends ArgsFields, Item extends Schema.Codec<any, any>, Error extends Schema.Codec<any, any> = never> extends Confect<PaginatedArgsFields<UserArgsFields>, PaginatedReturns<Item>, Error, Paginated<UserArgsFields, Item>> {
@@ -194,8 +203,8 @@ export interface AnyConfectPaginated extends AnyConfect {
 }
 /**
  * Build the provenance of a paginated query from lazy schema thunks, with the
- * same laziness contract as {@link Confect}. The user-facing schemas live on
- * the `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind
+ * same laziness contract as {@link Confect}. The user-facing schemas live on the
+ * `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind
  * container is built eagerly (it is cheap) while the schemas inside it stay
  * lazy. The composed Convex-facing `args`/`returns` are derived lazily from
  * them: `args` spreads the user fields plus `paginationOpts`, and `returns`

package/dist/FunctionProvenance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionProvenance.d.ts","sourceRoot":"","sources":["../src/FunctionProvenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,UAAU,CACzB,WAAW,SAAS,UAAU,CAC9B,SAAQ,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAED,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/C,OAAO,EAAE;QACP,IAAI,EAAE,aAAa,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,WAAW,CAAC;KACnB,CAAC;IACF,MAAM,EAAE;QACN,OAAO,EAAE,mBAAmB,CAAC;QAC7B,UAAU,EAAE,GAAG,CAAC;KACjB,CAAC;CACH,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE/C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS,CACxB,eAAe,SAAS,UAAU,GAAG,UAAU,EAC/C,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;IAE5D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IAC/C,2BAA2B;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,OAAO,CACtB,WAAW,SAAS,UAAU,EAC9B,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAC5C,IAAI,SAAS,WAAW,GAAG,WAAW;IAEtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B;AAED,MAAM,WAAW,MAAM,CAAC,IAAI,SAAS,mBAAmB,EAAE,OAAO;IAC/D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,SAAU,SAAQ,MAAM,CAAC,mBAAmB,EAAE,GAAG,CAAC;CAAG;AAEtE,eAAO,MAAM,kBAAkB;;;uBApErB,aAAa;0BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;yBACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;uBACxB,WAAW;;;;;0BAGR,mBAAmB;6BAChB,GAAG;;;;;;;2BAPT,aAAa;8BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;6BACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;2BACxB,WAAW;;;8BAGR,mBAAmB;iCAChB,GAAG;;;;;;;;;;;;;;;;2BAPT,aAAa;8BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;6BACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;2BACxB,WAAW;;;8BAGR,mBAAmB;iCAChB,GAAG;;;;;;;;;;;;;;;;;uBAPT,aAAa;0BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;yBACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;uBACxB,WAAW;;;;0BAGR,mBAAmB;6BAChB,GAAG;;CA6DoD,CAAC;AAIxE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,WAAW,SAAS,UAAU,EACpC,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,QAEtC,MAAM,WAAW,WACd,MAAM,OAAO,UACd,MAAM,KAAK,KAClB,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAU/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAAC,cAAc,SAAS,UAAU,IAC/D,cAAc,GAAG;IACf,QAAQ,CAAC,cAAc,EAAE,OAAO,iBAAiB,CAAC,iBAAiB,CAAC;CACrE,CAAC;AAEJ,MAAM,MAAM,aAAa,CAAC,cAAc,SAAS,UAAU,IAAI,MAAM,CAAC,MAAM,CAC1E,mBAAmB,CAAC,cAAc,CAAC,CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9D,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,MAAM,eAAe,SACnE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GACpB,eAAe,GACf,KAAK,CAAC;AAEZ,MAAM,WAAW,gBAAgB,CAC/B,cAAc,SAAS,UAAU,EACjC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACnC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAC5C,SAAQ,OAAO,CACf,mBAAmB,CAAC,cAAc,CAAC,EACnC,gBAAgB,CAAC,IAAI,CAAC,EACtB,KAAK,EACL,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,CAChC;CAAG;AAEJ,MAAM,WAAW,mBAAoB,SAAQ,UAAU;IACrD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,GAC3B,KAAK,CAAC,eAAe,SAAS,UAAU,EACxC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACnC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,YAElC,MAAM,eAAe,QACzB,MAAM,IAAI,UACR,MAAM,KAAK,KAClB,gBAAgB,CAAC,eAAe,EAAE,IAAI,EAAE,KAAK,CAkC/C,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,IAAI,SAAS,mBAAmB,EAAE,OAAO;;sBApMnD,mBAAmB;yBAChB,GAAG;CAyMhB,CAAC"}
+{"version":3,"file":"FunctionProvenance.d.ts","sourceRoot":"","sources":["../src/FunctionProvenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,UAAU,CACzB,WAAW,SAAS,UAAU,CAC9B,SAAQ,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/C,OAAO,EAAE;QACP,IAAI,EAAE,aAAa,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,WAAW,CAAC;KACnB,CAAC;IACF,MAAM,EAAE;QACN,OAAO,EAAE,mBAAmB,CAAC;QAC7B,UAAU,EAAE,GAAG,CAAC;KACjB,CAAC;CACH,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE/C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS,CACxB,eAAe,SAAS,UAAU,GAAG,UAAU,EAC/C,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;IAE5D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IAC/C;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,OAAO,CACtB,WAAW,SAAS,UAAU,EAC9B,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAC5C,IAAI,SAAS,WAAW,GAAG,WAAW;IAEtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B;AAED,MAAM,WAAW,MAAM,CAAC,IAAI,SAAS,mBAAmB,EAAE,OAAO;IAC/D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,SAAU,SAAQ,MAAM,CAAC,mBAAmB,EAAE,GAAG,CAAC;CAAG;AAEtE,eAAO,MAAM,kBAAkB;;;uBAzErB,aAAa;0BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;yBACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;uBACxB,WAAW;;;;;0BAGR,mBAAmB;6BAChB,GAAG;;;;;;;2BAPT,aAAa;8BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;6BACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;2BACxB,WAAW;;;8BAGR,mBAAmB;iCAChB,GAAG;;;;;;;;;;;;;;;;2BAPT,aAAa;8BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;6BACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;2BACxB,WAAW;;;8BAGR,mBAAmB;iCAChB,GAAG;;;;;;;;;;;;;;;;;uBAPT,aAAa;0BACV,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;yBACvB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;uBACxB,WAAW;;;;0BAGR,mBAAmB;6BAChB,GAAG;;CAkEoD,CAAC;AAIxE;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,WAAW,SAAS,UAAU,EACpC,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,QAEtC,MAAM,WAAW,WACd,MAAM,OAAO,UACd,MAAM,KAAK,KAClB,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAU/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAAC,cAAc,SAAS,UAAU,IAC/D,cAAc,GAAG;IACf,QAAQ,CAAC,cAAc,EAAE,OAAO,iBAAiB,CAAC,iBAAiB,CAAC;CACrE,CAAC;AAEJ,MAAM,MAAM,aAAa,CAAC,cAAc,SAAS,UAAU,IAAI,MAAM,CAAC,MAAM,CAC1E,mBAAmB,CAAC,cAAc,CAAC,CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAC9D,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,MAAM,eAAe,SACnE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GACpB,eAAe,GACf,KAAK,CAAC;AAEZ,MAAM,WAAW,gBAAgB,CAC/B,cAAc,SAAS,UAAU,EACjC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACnC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAC5C,SAAQ,OAAO,CACf,mBAAmB,CAAC,cAAc,CAAC,EACnC,gBAAgB,CAAC,IAAI,CAAC,EACtB,KAAK,EACL,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,CAChC;CAAG;AAEJ,MAAM,WAAW,mBAAoB,SAAQ,UAAU;IACrD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,GAC3B,KAAK,CAAC,eAAe,SAAS,UAAU,EACxC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACnC,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,YAElC,MAAM,eAAe,QACzB,MAAM,IAAI,UACR,MAAM,KAAK,KAClB,gBAAgB,CAAC,eAAe,EAAE,IAAI,EAAE,KAAK,CAkC/C,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,IAAI,SAAS,mBAAmB,EAAE,OAAO;;sBA3MnD,mBAAmB;yBAChB,GAAG;CAgNhB,CAAC"}

package/dist/FunctionProvenance.js

@@ -14,18 +14,20 @@ var FunctionProvenance_exports = /* @__PURE__ */ __exportAll({
 const FunctionProvenance = Data.taggedEnum();
 const Standard = { _tag: "Standard" };
 /**
-* Build a `Confect` provenance from lazy args-fields and schema thunks.
-* `args`, `returns`, and `error` are exposed as sync lazy memoised getters
-* (via {@link Lazy.defineProperty}) that only evaluate their thunk on first
-* access, mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the
-* assembled `_generated/spec.ts` cheap—no `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is deferred to the first
-* invocation that actually compiles validators or runs a codec.
+* Build a `Confect` provenance from lazy args-fields and schema thunks. `args`,
+* `returns`, and `error` are exposed as sync lazy memoised getters (via
+* {@link Lazy.defineProperty}) that only evaluate their thunk on first access,
+* mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the
+* assembled `_generated/spec.ts` cheap—no
+* `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is
+* deferred to the first invocation that actually compiles validators or runs a
+* codec.
 *
 * The object is built by hand rather than through `FunctionProvenance.Confect`
 * because the `Data` constructor copies its input with `Object.assign`, which
-* would force the getters at construction time and defeat the laziness.
-* `error` is only installed when an `errorThunk` is provided, so its absence
-* is observable via `"error" in provenance` without forcing anything; nothing
+* would force the getters at construction time and defeat the laziness. `error`
+* is only installed when an `errorThunk` is provided, so its absence is
+* observable via `"error" in provenance` without forcing anything; nothing
 * relies on `Data`'s structural `Equal`/`Hash` for provenance values.
 */
 const Confect = (args, returns, error) => {
@@ -40,8 +42,8 @@ const Confect = (args, returns, error) => {
 };
 /**
 * Build the provenance of a paginated query from lazy schema thunks, with the
-* same laziness contract as {@link Confect}. The user-facing schemas live on
-* the `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind
+* same laziness contract as {@link Confect}. The user-facing schemas live on the
+* `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind
 * container is built eagerly (it is cheap) while the schemas inside it stay
 * lazy. The composed Convex-facing `args`/`returns` are derived lazily from
 * them: `args` spreads the user fields plus `paginationOpts`, and `returns`

package/dist/FunctionProvenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionProvenance.js","names":["PaginationOptions.PaginationOptions","PaginationResult.PaginationResult"],"sources":["../src/FunctionProvenance.ts"],"sourcesContent":["import type { DefaultFunctionArgs } from \"convex/server\";\nimport * as Data from \"effect/Data\";\nimport * as Schema from \"effect/Schema\";\nimport * as Lazy from \"./Lazy\";\nimport * as PaginationOptions from \"./PaginationOptions\";\nimport * as PaginationResult from \"./PaginationResult\";\n\n/**\n * A field map accepted as Confect function args. Restricting each field to a\n * context-free codec means the struct assembled from the fields can always be\n * encoded and decoded synchronously at a Convex boundary.\n */\nexport type ArgsFields = {\n  readonly [key: PropertyKey]: Schema.ConstraintCodec<any, any>;\n};\n\n/**\n * A struct-shaped Confect args schema that keeps its exact field map while\n * erasing the rest of `Schema.Struct`'s large implementation type. Decoded and\n * encoded args are derived directly from `ArgsFields_`; keeping the runtime\n * codec structural prevents every ref lookup from expanding the full Effect\n * schema type.\n */\nexport interface ArgsSchema<\n  ArgsFields_ extends ArgsFields,\n> extends Schema.Codec<any, any> {\n  readonly fields: ArgsFields_;\n}\n\n/** Erased structural view used after the exact field map is no longer needed. */\nexport type AnyArgsSchema = ArgsSchema<ArgsFields>;\n\nexport type FunctionProvenance = Data.TaggedEnum<{\n  Confect: {\n    args: AnyArgsSchema;\n    returns: Schema.Codec<any, any>;\n    error?: Schema.Codec<any, any>;\n    kind: ConfectKind;\n  };\n  Convex: {\n    \"~args\": DefaultFunctionArgs;\n    \"~returns\": any;\n  };\n}>;\n\n/**\n * The declaration shape of a Confect function—orthogonal to both the\n * provenance origin (Confect vs Convex) and the function type\n * (query/mutation/action). A `Standard` function declares its args fields and\n * returns schema directly; a `Paginated` function declares user-args fields\n * and an item schema from which the Convex-facing `args`/`returns` are\n * composed.\n */\nexport type ConfectKind = Standard | Paginated;\n\nexport interface Standard {\n  readonly _tag: \"Standard\";\n}\n\nexport interface Paginated<\n  UserArgsFields_ extends ArgsFields = ArgsFields,\n  Item extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n> {\n  readonly _tag: \"Paginated\";\n  /** User-declared args—no `paginationOpts`. */\n  readonly userArgs: ArgsSchema<UserArgsFields_>;\n  /** Page element schema. */\n  readonly item: Item;\n  /** Mutable array of items—the page decode target. */\n  readonly page: Schema.Codec<any, any>;\n}\n\nexport interface Confect<\n  ArgsFields_ extends ArgsFields,\n  Returns extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n  Kind extends ConfectKind = ConfectKind,\n> {\n  readonly _tag: \"Confect\";\n  readonly \"~ArgsFields\": ArgsFields_;\n  readonly args: ArgsSchema<ArgsFields_>;\n  readonly returns: Returns;\n  readonly error?: Error;\n  readonly kind: Kind;\n}\n\nexport interface AnyConfect {\n  readonly _tag: \"Confect\";\n  readonly args: AnyArgsSchema;\n  readonly returns: Schema.Codec<any, any>;\n  readonly error?: Schema.Codec<any, any>;\n  readonly kind: ConfectKind;\n}\n\nexport interface Convex<Args extends DefaultFunctionArgs, Returns> {\n  readonly _tag: \"Convex\";\n  readonly \"~args\": Args;\n  readonly \"~returns\": Returns;\n}\n\nexport interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}\n\nexport const FunctionProvenance = Data.taggedEnum<FunctionProvenance>();\n\nconst Standard: Standard = { _tag: \"Standard\" };\n\n/**\n * Build a `Confect` provenance from lazy args-fields and schema thunks.\n * `args`, `returns`, and `error` are exposed as sync lazy memoised getters\n * (via {@link Lazy.defineProperty}) that only evaluate their thunk on first\n * access, mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the\n * assembled `_generated/spec.ts` cheap—no `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is deferred to the first\n * invocation that actually compiles validators or runs a codec.\n *\n * The object is built by hand rather than through `FunctionProvenance.Confect`\n * because the `Data` constructor copies its input with `Object.assign`, which\n * would force the getters at construction time and defeat the laziness.\n * `error` is only installed when an `errorThunk` is provided, so its absence\n * is observable via `\"error\" in provenance` without forcing anything; nothing\n * relies on `Data`'s structural `Equal`/`Hash` for provenance values.\n */\nexport const Confect = <\n  const ArgsFields_ extends ArgsFields,\n  Returns extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n>(\n  args: () => ArgsFields_,\n  returns: () => Returns,\n  error?: () => Error,\n): Confect<ArgsFields_, Returns, Error, Standard> => {\n  const provenance = { _tag: \"Confect\" as const, kind: Standard };\n\n  Lazy.defineProperty(provenance, \"args\", () => Schema.Struct(args()));\n  Lazy.defineProperty(provenance, \"returns\", returns);\n  if (error !== undefined) {\n    Lazy.defineProperty(provenance, \"error\", error);\n  }\n\n  return provenance as Confect<ArgsFields_, Returns, Error, Standard>;\n};\n\n/**\n * The composed args schema of a paginated query: the user-declared fields\n * plus the `paginationOpts` field managed by Convex's pagination protocol.\n *\n * The fields-first representation keeps the user-declared map available for\n * type-level composition without reconstructing it from an erased schema.\n */\nexport type PaginatedArgsFields<UserArgsFields extends ArgsFields> =\n  UserArgsFields & {\n    readonly paginationOpts: typeof PaginationOptions.PaginationOptions;\n  };\n\nexport type PaginatedArgs<UserArgsFields extends ArgsFields> = Schema.Struct<\n  PaginatedArgsFields<UserArgsFields>\n>;\n\n/**\n * The composed returns schema of a paginated query: a `PaginationResult` of\n * the item schema. Same deferred-conditional device as {@link PaginatedArgs}.\n */\nexport type PaginatedReturns<Item extends Schema.Codec<any, any>> =\n  PaginationResult.PaginationResult<Item> extends infer ComposedReturns extends\n    Schema.Codec<any, any>\n    ? ComposedReturns\n    : never;\n\nexport interface ConfectPaginated<\n  UserArgsFields extends ArgsFields,\n  Item extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n> extends Confect<\n  PaginatedArgsFields<UserArgsFields>,\n  PaginatedReturns<Item>,\n  Error,\n  Paginated<UserArgsFields, Item>\n> {}\n\nexport interface AnyConfectPaginated extends AnyConfect {\n  readonly kind: Paginated;\n}\n\n/**\n * Build the provenance of a paginated query from lazy schema thunks, with the\n * same laziness contract as {@link Confect}. The user-facing schemas live on\n * the `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind\n * container is built eagerly (it is cheap) while the schemas inside it stay\n * lazy. The composed Convex-facing `args`/`returns` are derived lazily from\n * them: `args` spreads the user fields plus `paginationOpts`, and `returns`\n * wraps the item in `PaginationResult`. Composition living here means the\n * composed schemas can never drift from the stored user schemas.\n */\nexport const ConfectPaginated = <\n  const UserArgsFields_ extends ArgsFields,\n  Item extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n>(\n  userArgs: () => UserArgsFields_,\n  item: () => Item,\n  error?: () => Error,\n): ConfectPaginated<UserArgsFields_, Item, Error> => {\n  const kind = { _tag: \"Paginated\" as const };\n  const paginatedKind = kind as Paginated<UserArgsFields_, Item>;\n\n  Lazy.defineProperty(kind, \"userArgs\", () => Schema.Struct(userArgs()));\n  Lazy.defineProperty(kind, \"item\", item);\n  Lazy.defineProperty(kind, \"page\", () =>\n    Schema.mutable(Schema.Array(paginatedKind.item)),\n  );\n\n  const provenance = { _tag: \"Confect\" as const, kind: paginatedKind };\n  const self = provenance as ConfectPaginated<UserArgsFields_, Item, Error>;\n\n  Lazy.defineProperty(provenance, \"args\", () => {\n    const fields = paginatedKind.userArgs.fields;\n    if (\"paginationOpts\" in fields) {\n      throw new globalThis.Error(\n        \"A paginated query's args schema must not declare `paginationOpts`—\" +\n          \"it is added automatically from the `PaginationOptions` schema\",\n      );\n    }\n    return Schema.Struct({\n      ...fields,\n      paginationOpts: PaginationOptions.PaginationOptions,\n    });\n  });\n  Lazy.defineProperty(provenance, \"returns\", () =>\n    PaginationResult.PaginationResult(paginatedKind.item),\n  );\n  if (error !== undefined) {\n    Lazy.defineProperty(provenance, \"error\", error);\n  }\n\n  return self;\n};\n\nexport const Convex = <Args extends DefaultFunctionArgs, Returns>() =>\n  FunctionProvenance.Convex(\n    {} as {\n      \"~args\": Args;\n      \"~returns\": Returns;\n    },\n  );\n"],"mappings":";;;;;;;;;;;;;AAsGA,MAAa,qBAAqB,KAAK,WAA+B;AAEtE,MAAM,WAAqB,EAAE,MAAM,WAAW;;;;;;;;;;;;;;;;AAiB9C,MAAa,WAKX,MACA,SACA,UACmD;CACnD,MAAM,aAAa;EAAE,MAAM;EAAoB,MAAM;CAAS;CAE9D,eAAoB,YAAY,cAAc,OAAO,OAAO,KAAK,CAAC,CAAC;CACnE,eAAoB,YAAY,WAAW,OAAO;CAClD,IAAI,UAAU,KAAA,GACZ,eAAoB,YAAY,SAAS,KAAK;CAGhD,OAAO;AACT;;;;;;;;;;;AAqDA,MAAa,oBAKX,UACA,MACA,UACmD;CACnD,MAAM,OAAO,EAAE,MAAM,YAAqB;CAC1C,MAAM,gBAAgB;CAEtB,eAAoB,MAAM,kBAAkB,OAAO,OAAO,SAAS,CAAC,CAAC;CACrE,eAAoB,MAAM,QAAQ,IAAI;CACtC,eAAoB,MAAM,cACxB,OAAO,QAAQ,OAAO,MAAM,cAAc,IAAI,CAAC,CACjD;CAEA,MAAM,aAAa;EAAE,MAAM;EAAoB,MAAM;CAAc;CACnE,MAAM,OAAO;CAEb,eAAoB,YAAY,cAAc;EAC5C,MAAM,SAAS,cAAc,SAAS;EACtC,IAAI,oBAAoB,QACtB,MAAM,IAAI,WAAW,MACnB,iIAEF;EAEF,OAAO,OAAO,OAAO;GACnB,GAAG;GACH,gBAAgBA;EAClB,CAAC;CACH,CAAC;CACD,eAAoB,YAAY,iBAC9BC,iBAAkC,cAAc,IAAI,CACtD;CACA,IAAI,UAAU,KAAA,GACZ,eAAoB,YAAY,SAAS,KAAK;CAGhD,OAAO;AACT;AAEA,MAAa,eACX,mBAAmB,OACjB,CAAC,CAIH"}
+{"version":3,"file":"FunctionProvenance.js","names":["PaginationOptions.PaginationOptions","PaginationResult.PaginationResult"],"sources":["../src/FunctionProvenance.ts"],"sourcesContent":["import type { DefaultFunctionArgs } from \"convex/server\";\nimport * as Data from \"effect/Data\";\nimport * as Schema from \"effect/Schema\";\nimport * as Lazy from \"./Lazy\";\nimport * as PaginationOptions from \"./PaginationOptions\";\nimport * as PaginationResult from \"./PaginationResult\";\n\n/**\n * A field map accepted as Confect function args. Restricting each field to a\n * context-free codec means the struct assembled from the fields can always be\n * encoded and decoded synchronously at a Convex boundary.\n */\nexport type ArgsFields = {\n  readonly [key: PropertyKey]: Schema.ConstraintCodec<any, any>;\n};\n\n/**\n * A struct-shaped Confect args schema that keeps its exact field map while\n * erasing the rest of `Schema.Struct`'s large implementation type. Decoded and\n * encoded args are derived directly from `ArgsFields_`; keeping the runtime\n * codec structural prevents every ref lookup from expanding the full Effect\n * schema type.\n */\nexport interface ArgsSchema<\n  ArgsFields_ extends ArgsFields,\n> extends Schema.Codec<any, any> {\n  readonly fields: ArgsFields_;\n}\n\n/**\n * Erased structural view used after the exact field map is no longer needed.\n */\nexport type AnyArgsSchema = ArgsSchema<ArgsFields>;\n\nexport type FunctionProvenance = Data.TaggedEnum<{\n  Confect: {\n    args: AnyArgsSchema;\n    returns: Schema.Codec<any, any>;\n    error?: Schema.Codec<any, any>;\n    kind: ConfectKind;\n  };\n  Convex: {\n    \"~args\": DefaultFunctionArgs;\n    \"~returns\": any;\n  };\n}>;\n\n/**\n * The declaration shape of a Confect function—orthogonal to both the provenance\n * origin (Confect vs Convex) and the function type (query/mutation/action). A\n * `Standard` function declares its args fields and returns schema directly; a\n * `Paginated` function declares user-args fields and an item schema from which\n * the Convex-facing `args`/`returns` are composed.\n */\nexport type ConfectKind = Standard | Paginated;\n\nexport interface Standard {\n  readonly _tag: \"Standard\";\n}\n\nexport interface Paginated<\n  UserArgsFields_ extends ArgsFields = ArgsFields,\n  Item extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n> {\n  readonly _tag: \"Paginated\";\n  /**\n   * User-declared args—no `paginationOpts`.\n   */\n  readonly userArgs: ArgsSchema<UserArgsFields_>;\n  /**\n   * Page element schema.\n   */\n  readonly item: Item;\n  /**\n   * Mutable array of items—the page decode target.\n   */\n  readonly page: Schema.Codec<any, any>;\n}\n\nexport interface Confect<\n  ArgsFields_ extends ArgsFields,\n  Returns extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n  Kind extends ConfectKind = ConfectKind,\n> {\n  readonly _tag: \"Confect\";\n  readonly \"~ArgsFields\": ArgsFields_;\n  readonly args: ArgsSchema<ArgsFields_>;\n  readonly returns: Returns;\n  readonly error?: Error;\n  readonly kind: Kind;\n}\n\nexport interface AnyConfect {\n  readonly _tag: \"Confect\";\n  readonly args: AnyArgsSchema;\n  readonly returns: Schema.Codec<any, any>;\n  readonly error?: Schema.Codec<any, any>;\n  readonly kind: ConfectKind;\n}\n\nexport interface Convex<Args extends DefaultFunctionArgs, Returns> {\n  readonly _tag: \"Convex\";\n  readonly \"~args\": Args;\n  readonly \"~returns\": Returns;\n}\n\nexport interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}\n\nexport const FunctionProvenance = Data.taggedEnum<FunctionProvenance>();\n\nconst Standard: Standard = { _tag: \"Standard\" };\n\n/**\n * Build a `Confect` provenance from lazy args-fields and schema thunks. `args`,\n * `returns`, and `error` are exposed as sync lazy memoised getters (via\n * {@link Lazy.defineProperty}) that only evaluate their thunk on first access,\n * mirroring how `Table` defers `Fields`/`Doc`. This keeps importing the\n * assembled `_generated/spec.ts` cheap—no\n * `Schema.Struct(...)`/`Schema.Array(...)` work runs at module load; it is\n * deferred to the first invocation that actually compiles validators or runs a\n * codec.\n *\n * The object is built by hand rather than through `FunctionProvenance.Confect`\n * because the `Data` constructor copies its input with `Object.assign`, which\n * would force the getters at construction time and defeat the laziness. `error`\n * is only installed when an `errorThunk` is provided, so its absence is\n * observable via `\"error\" in provenance` without forcing anything; nothing\n * relies on `Data`'s structural `Equal`/`Hash` for provenance values.\n */\nexport const Confect = <\n  const ArgsFields_ extends ArgsFields,\n  Returns extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n>(\n  args: () => ArgsFields_,\n  returns: () => Returns,\n  error?: () => Error,\n): Confect<ArgsFields_, Returns, Error, Standard> => {\n  const provenance = { _tag: \"Confect\" as const, kind: Standard };\n\n  Lazy.defineProperty(provenance, \"args\", () => Schema.Struct(args()));\n  Lazy.defineProperty(provenance, \"returns\", returns);\n  if (error !== undefined) {\n    Lazy.defineProperty(provenance, \"error\", error);\n  }\n\n  return provenance as Confect<ArgsFields_, Returns, Error, Standard>;\n};\n\n/**\n * The composed args schema of a paginated query: the user-declared fields plus\n * the `paginationOpts` field managed by Convex's pagination protocol.\n *\n * The fields-first representation keeps the user-declared map available for\n * type-level composition without reconstructing it from an erased schema.\n */\nexport type PaginatedArgsFields<UserArgsFields extends ArgsFields> =\n  UserArgsFields & {\n    readonly paginationOpts: typeof PaginationOptions.PaginationOptions;\n  };\n\nexport type PaginatedArgs<UserArgsFields extends ArgsFields> = Schema.Struct<\n  PaginatedArgsFields<UserArgsFields>\n>;\n\n/**\n * The composed returns schema of a paginated query: a `PaginationResult` of the\n * item schema. Same deferred-conditional device as {@link PaginatedArgs}.\n */\nexport type PaginatedReturns<Item extends Schema.Codec<any, any>> =\n  PaginationResult.PaginationResult<Item> extends infer ComposedReturns extends\n    Schema.Codec<any, any>\n    ? ComposedReturns\n    : never;\n\nexport interface ConfectPaginated<\n  UserArgsFields extends ArgsFields,\n  Item extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n> extends Confect<\n  PaginatedArgsFields<UserArgsFields>,\n  PaginatedReturns<Item>,\n  Error,\n  Paginated<UserArgsFields, Item>\n> {}\n\nexport interface AnyConfectPaginated extends AnyConfect {\n  readonly kind: Paginated;\n}\n\n/**\n * Build the provenance of a paginated query from lazy schema thunks, with the\n * same laziness contract as {@link Confect}. The user-facing schemas live on the\n * `Paginated` kind (`kind.userArgs`, `kind.item`, `kind.page`)—the kind\n * container is built eagerly (it is cheap) while the schemas inside it stay\n * lazy. The composed Convex-facing `args`/`returns` are derived lazily from\n * them: `args` spreads the user fields plus `paginationOpts`, and `returns`\n * wraps the item in `PaginationResult`. Composition living here means the\n * composed schemas can never drift from the stored user schemas.\n */\nexport const ConfectPaginated = <\n  const UserArgsFields_ extends ArgsFields,\n  Item extends Schema.Codec<any, any>,\n  Error extends Schema.Codec<any, any> = never,\n>(\n  userArgs: () => UserArgsFields_,\n  item: () => Item,\n  error?: () => Error,\n): ConfectPaginated<UserArgsFields_, Item, Error> => {\n  const kind = { _tag: \"Paginated\" as const };\n  const paginatedKind = kind as Paginated<UserArgsFields_, Item>;\n\n  Lazy.defineProperty(kind, \"userArgs\", () => Schema.Struct(userArgs()));\n  Lazy.defineProperty(kind, \"item\", item);\n  Lazy.defineProperty(kind, \"page\", () =>\n    Schema.mutable(Schema.Array(paginatedKind.item)),\n  );\n\n  const provenance = { _tag: \"Confect\" as const, kind: paginatedKind };\n  const self = provenance as ConfectPaginated<UserArgsFields_, Item, Error>;\n\n  Lazy.defineProperty(provenance, \"args\", () => {\n    const fields = paginatedKind.userArgs.fields;\n    if (\"paginationOpts\" in fields) {\n      throw new globalThis.Error(\n        \"A paginated query's args schema must not declare `paginationOpts`—\" +\n          \"it is added automatically from the `PaginationOptions` schema\",\n      );\n    }\n    return Schema.Struct({\n      ...fields,\n      paginationOpts: PaginationOptions.PaginationOptions,\n    });\n  });\n  Lazy.defineProperty(provenance, \"returns\", () =>\n    PaginationResult.PaginationResult(paginatedKind.item),\n  );\n  if (error !== undefined) {\n    Lazy.defineProperty(provenance, \"error\", error);\n  }\n\n  return self;\n};\n\nexport const Convex = <Args extends DefaultFunctionArgs, Returns>() =>\n  FunctionProvenance.Convex(\n    {} as {\n      \"~args\": Args;\n      \"~returns\": Returns;\n    },\n  );\n"],"mappings":";;;;;;;;;;;;;AA6GA,MAAa,qBAAqB,KAAK,WAA+B;AAEtE,MAAM,WAAqB,EAAE,MAAM,WAAW;;;;;;;;;;;;;;;;;;AAmB9C,MAAa,WAKX,MACA,SACA,UACmD;CACnD,MAAM,aAAa;EAAE,MAAM;EAAoB,MAAM;CAAS;CAE9D,eAAoB,YAAY,cAAc,OAAO,OAAO,KAAK,CAAC,CAAC;CACnE,eAAoB,YAAY,WAAW,OAAO;CAClD,IAAI,UAAU,KAAA,GACZ,eAAoB,YAAY,SAAS,KAAK;CAGhD,OAAO;AACT;;;;;;;;;;;AAqDA,MAAa,oBAKX,UACA,MACA,UACmD;CACnD,MAAM,OAAO,EAAE,MAAM,YAAqB;CAC1C,MAAM,gBAAgB;CAEtB,eAAoB,MAAM,kBAAkB,OAAO,OAAO,SAAS,CAAC,CAAC;CACrE,eAAoB,MAAM,QAAQ,IAAI;CACtC,eAAoB,MAAM,cACxB,OAAO,QAAQ,OAAO,MAAM,cAAc,IAAI,CAAC,CACjD;CAEA,MAAM,aAAa;EAAE,MAAM;EAAoB,MAAM;CAAc;CACnE,MAAM,OAAO;CAEb,eAAoB,YAAY,cAAc;EAC5C,MAAM,SAAS,cAAc,SAAS;EACtC,IAAI,oBAAoB,QACtB,MAAM,IAAI,WAAW,MACnB,iIAEF;EAEF,OAAO,OAAO,OAAO;GACnB,GAAG;GACH,gBAAgBA;EAClB,CAAC;CACH,CAAC;CACD,eAAoB,YAAY,iBAC9BC,iBAAkC,cAAc,IAAI,CACtD;CACA,IAAI,UAAU,KAAA,GACZ,eAAoB,YAAY,SAAS,KAAK;CAGhD,OAAO;AACT;AAEA,MAAa,eACX,mBAAmB,OACjB,CAAC,CAIH"}

package/dist/FunctionSpec.d.ts

@@ -39,7 +39,9 @@ export type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> = Function
 export type GetFunctionProvenance<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["functionProvenance"];
 export type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["name"];
 export type MiddlewareSpecs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["middlewareSpecs"][number];
-/** The field map declared by a Confect-provenance spec. */
+/**
+ * The field map declared by a Confect-provenance spec.
+ */
 export type ArgsFields<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
     readonly functionProvenance: {
         readonly _tag: "Confect";
@@ -50,7 +52,9 @@ export type ArgsFields<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ exten
         readonly _tag: "Confect";
     };
 } ? FunctionProvenance.ArgsFields : never;
-/** The args schema assembled from a Confect-provenance spec's field map. */
+/**
+ * The args schema assembled from a Confect-provenance spec's field map.
+ */
 export type ArgsSchema<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
     readonly functionProvenance: {
         readonly _tag: "Confect";
@@ -71,9 +75,9 @@ export type ReturnsSchema<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ ex
 export type ErrorSchema<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
     readonly functionProvenance: {
         readonly _tag: "Confect";
-        readonly error?: infer ErrorSchema_ extends Schema.Codec<any, any>;
+        readonly error?: infer ErrorSchema_;
     };
-} ? ErrorSchema_ : never;
+} ? Extract<ErrorSchema_, Schema.Codec<any, any>> : never;
 export type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
     readonly functionProvenance: {
         readonly _tag: "Confect";
@@ -114,10 +118,10 @@ export type WithoutName<FunctionSpec_ extends AnyWithProps, Name_ extends Name<F
     readonly name: Name_;
 }>;
 /**
- * `Schema.Struct` fields that must not declare `paginationOpts`. Used to
- * reject a user args schema that redeclares the field the paginated
- * constructors add themselves; the check reports at the `args` thunk with an
- * unsatisfiable type when violated.
+ * `Schema.Struct` fields that must not declare `paginationOpts`. Used to reject
+ * a user args schema that redeclares the field the paginated constructors add
+ * themselves; the check reports at the `args` thunk with an unsatisfiable type
+ * when violated.
  */
 type ForbidPaginationOpts<UserArgsFields extends FunctionProvenance.ArgsFields> = "paginationOpts" extends keyof UserArgsFields ? {
     readonly paginationOpts: never;

package/dist/FunctionSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionSpec.d.ts","sourceRoot":"","sources":["../src/FunctionSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,wBAAwB,CAAC;AACpE,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAEnE,eAAO,MAAM,MAAM,gCAAgC,CAAC;AACpD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,YACf,CAAC;AAEnC,MAAM,WAAW,YAAY,CAC3B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,MAAM,EACpB,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACzD,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAC3C,oBAAoB,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAC5D,CAAC;CACH;AAED,MAAM,WAAW,OAAO,CACtB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,MAAM,EACpB,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK,CACjE,SAAQ,YAAY,CACpB,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,mBAAmB,EACnB,gBAAgB,CACjB;IACC,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,sBAAsB,CACnC,eAAe,EACf,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,CACjB,EACH,GAAG,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,GAC9D,OAAO,CACR,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,mBAAmB,EACnB,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,YAAY,CAChD,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,UAAW,SAAQ,YAAY,CAC9C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,UAAU,EAC7B,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,SAAU,SAAQ,YAAY,CAC7C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,SAAS,EAC5B,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,YAAY,CACpB,sBAAsB,CAAC,WAAW,CAAC,OAAO,CAAC,EAC3C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,4BAA4B,CAC3C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,CAC7E,SAAQ,YAAY,CACpB,uBAAuB,EACvB,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,kCAAkC,CACjD,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,CACjE,SAAQ,YAAY,CACpB,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,mBAAmB,EACnB,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,yBAAyB,CAAC,aAAa,SAAS,YAAY,IACtE,aAAa,CAAC,wBAAwB,CAAC,CAAC;AAE1C,MAAM,MAAM,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAClE,aAAa,CAAC,oBAAoB,CAAC,CAAC;AAEtC,MAAM,MAAM,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAClE,aAAa,CAAC,oBAAoB,CAAC,CAAC;AAEtC,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,eAAe,CAAC,aAAa,SAAS,YAAY,IAC5D,aAAa,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3C,2DAA2D;AAC3D,MAAM,MAAM,UAAU,CAAC,aAAa,SAAS,YAAY,IACvD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;KACjC,CAAC;CACH,GACG,WAAW,GACX,aAAa,SAAS;IAClB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACD,kBAAkB,CAAC,UAAU,GAC7B,KAAK,CAAC;AAEd,4EAA4E;AAC5E,MAAM,MAAM,UAAU,CAAC,aAAa,SAAS,YAAY,IACvD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;KACjC,CAAC;CACH,GACG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAC1B,aAAa,SAAS;IAClB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,SAC9B,kBAAkB,CAAC,aAAa,CAAC;KACpC,CAAC;CACH,GACD,WAAW,GACX,KAAK,CAAC;AAEd,MAAM,MAAM,aAAa,CAAC,aAAa,SAAS,YAAY,IAC1D,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACvE,CAAC;CACH,GACG,cAAc,GACd,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACpE,CAAC;CACH,GACG,YAAY,GACZ,KAAK,CAAC;AAEZ,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC3E,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,UAAU,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,GACjC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,MAAM,KAAK,EACX,GAAG,CACJ,GACD,KAAK,GACL,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,YAAY,IACpD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,aAAa,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,GACpC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,GAAG,EACH,MAAM,QAAQ,CACf,GACD,OAAO,CAAC,QAAQ,CAAC,GACjB,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,UAAU,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,GACpC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,MAAM,KAAK,EACX,GAAG,CACJ,GACD,KAAK,GACL,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,aAAa,SAAS,YAAY,IAC3D,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,aAAa,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,GACvC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,GAAG,EACH,MAAM,QAAQ,CACf,GACD,QAAQ,GACR,KAAK,CAAC;AAEd,MAAM,MAAM,KAAK,CAAC,aAAa,SAAS,YAAY,IAClD,WAAW,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAErC,MAAM,MAAM,YAAY,CAAC,aAAa,SAAS,YAAY,IACzD,WAAW,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,CAAC;AAExC,MAAM,MAAM,QAAQ,CAClB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,MAAM,IAClB,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAErD,MAAM,MAAM,0BAA0B,CACpC,aAAa,SAAS,YAAY,EAClC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,IAC3E,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAA;CAAE,CAC7D,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,EAClC,aAAa,SAAS,YAAY,IAChC,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE;QAAE,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;KAAE,CAAA;CAAE,CAC9E,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,aAAa,SAAS,YAAY,EAClC,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,IAC/D,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAA;CAAE,CACrD,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAC/B,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAgHrD;;;;;GAKG;AACH,KAAK,oBAAoB,CACvB,cAAc,SAAS,kBAAkB,CAAC,UAAU,IAClD,gBAAgB,SAAS,MAAM,cAAc,GAC7C;IAAE,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAA;CAAE,GAClC,OAAO,CAAC;AAiEZ,eAAO,MAAM,WAAW;WA3Hd,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAsG6D,CAAC;AAC9E,eAAO,MAAM,aAAa;WA5HhB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA0Gf,CAAC;AACF,eAAO,MAAM,oBAAoB;WArDvB,KAAK,SAAS,MAAM,QACpB,eAAe,SAAS,kBAAkB,CAAC,UAAU,EAC3D,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAmCf,CAAC;AACF,eAAO,MAAM,sBAAsB;WAzDzB,KAAK,SAAS,MAAM,QACpB,eAAe,SAAS,kBAAkB,CAAC,UAAU,EAC3D,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAuCf,CAAC;AACF,eAAO,MAAM,cAAc;WAxIjB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAsHf,CAAC;AACF,eAAO,MAAM,gBAAgB;WA5InB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA0Hf,CAAC;AACF,eAAO,MAAM,YAAY;WAhJf,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA2H+D,CAAC;AAChF,eAAO,MAAM,cAAc;WAjJjB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA+Hf,CAAC;AAEF,eAAO,MAAM,gBAAgB;WAtJnB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAoIf,CAAC;AACF,eAAO,MAAM,kBAAkB;WA1JrB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAwIf,CAAC;AAEF,KAAK,0BAA0B,CAC7B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,IAE9C,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,OAAO,GAC3E,eAAe,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GAC9C,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,UAAU,GAChF,kBAAkB,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GACjD,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,QAAQ,GAC9E,gBAAgB,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GAC/C,KAAK,CAAC;AAEhB,KAAK,WAAW,CAAC,CAAC,IAChB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,mBAAmB,EAAE,GAAG,CAAC,GACpE,CAAC,GACD,CAAC,SAAS,kBAAkB,CACxB,GAAG,EACH,MAAM,CAAC,SAAS,mBAAmB,EACnC,GAAG,CACJ,GACD,CAAC,GACD,CAAC,SAAS,gBAAgB,CACtB,GAAG,EACH,MAAM,CAAC,SAAS,mBAAmB,EACnC,GAAG,CACJ,GACD,CAAC,GACD,KAAK,CAAC;AAEhB,KAAK,cAAc,CAAC,CAAC,IACnB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC3C,CAAC,GACD,KAAK,CAAC;AAuChB,eAAO,MAAM,iBAAiB,GA3B1B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAyB5B,CAAC;AACF,eAAO,MAAM,mBAAmB,GA/B5B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FA6B5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GAnC7B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAiC5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAvC/B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FAqC5B,CAAC;AACF,eAAO,MAAM,kBAAkB,GA3C3B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAyC5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GA/C7B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FA6C5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAnD/B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAiD5B,CAAC;AACF,eAAO,MAAM,wBAAwB,GAvDjC,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FAqD5B,CAAC"}
+{"version":3,"file":"FunctionSpec.d.ts","sourceRoot":"","sources":["../src/FunctionSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,wBAAwB,CAAC;AACpE,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAEnE,eAAO,MAAM,MAAM,gCAAgC,CAAC;AACpD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,YACf,CAAC;AAEnC,MAAM,WAAW,YAAY,CAC3B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,MAAM,EACpB,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACzD,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAC3C,oBAAoB,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAC5D,CAAC;CACH;AAED,MAAM,WAAW,OAAO,CACtB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,MAAM,EACpB,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK,CACjE,SAAQ,YAAY,CACpB,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,mBAAmB,EACnB,gBAAgB,CACjB;IACC,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,sBAAsB,CACnC,eAAe,EACf,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,CACjB,EACH,GAAG,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,GAC9D,OAAO,CACR,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,mBAAmB,EACnB,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,YAAY,CAChD,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,UAAW,SAAQ,YAAY,CAC9C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,UAAU,EAC7B,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,SAAU,SAAQ,YAAY,CAC7C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,SAAS,EAC5B,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,YAAY,CACpB,sBAAsB,CAAC,WAAW,CAAC,OAAO,CAAC,EAC3C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,4BAA4B,CAC3C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,CAC7E,SAAQ,YAAY,CACpB,uBAAuB,EACvB,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,EACrC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,kCAAkC,CACjD,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,CACjE,SAAQ,YAAY,CACpB,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,mBAAmB,EACnB,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,yBAAyB,CAAC,aAAa,SAAS,YAAY,IACtE,aAAa,CAAC,wBAAwB,CAAC,CAAC;AAE1C,MAAM,MAAM,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAClE,aAAa,CAAC,oBAAoB,CAAC,CAAC;AAEtC,MAAM,MAAM,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAClE,aAAa,CAAC,oBAAoB,CAAC,CAAC;AAEtC,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,eAAe,CAAC,aAAa,SAAS,YAAY,IAC5D,aAAa,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3C;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,aAAa,SAAS,YAAY,IACvD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;KACjC,CAAC;CACH,GACG,WAAW,GACX,aAAa,SAAS;IAClB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACD,kBAAkB,CAAC,UAAU,GAC7B,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,aAAa,SAAS,YAAY,IACvD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;KACjC,CAAC;CACH,GACG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAC1B,aAAa,SAAS;IAClB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,SAC9B,kBAAkB,CAAC,aAAa,CAAC;KACpC,CAAC;CACH,GACD,WAAW,GACX,KAAK,CAAC;AAEd,MAAM,MAAM,aAAa,CAAC,aAAa,SAAS,YAAY,IAC1D,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACvE,CAAC;CACH,GACG,cAAc,GACd,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;KACrC,CAAC;CACH,GACG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC7C,KAAK,CAAC;AAEZ,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC3E,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,UAAU,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,GACjC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,MAAM,KAAK,EACX,GAAG,CACJ,GACD,KAAK,GACL,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,YAAY,IACpD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,aAAa,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,GACpC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,GAAG,EACH,MAAM,QAAQ,CACf,GACD,OAAO,CAAC,QAAQ,CAAC,GACjB,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,UAAU,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,GACpC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,MAAM,KAAK,EACX,GAAG,CACJ,GACD,KAAK,GACL,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,aAAa,SAAS,YAAY,IAC3D,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3D,GACG,aAAa,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,GACvC,qBAAqB,CAAC,aAAa,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAClE,GAAG,EACH,MAAM,QAAQ,CACf,GACD,QAAQ,GACR,KAAK,CAAC;AAEd,MAAM,MAAM,KAAK,CAAC,aAAa,SAAS,YAAY,IAClD,WAAW,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAErC,MAAM,MAAM,YAAY,CAAC,aAAa,SAAS,YAAY,IACzD,WAAW,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,CAAC;AAExC,MAAM,MAAM,QAAQ,CAClB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,MAAM,IAClB,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAErD,MAAM,MAAM,0BAA0B,CACpC,aAAa,SAAS,YAAY,EAClC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,IAC3E,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAA;CAAE,CAC7D,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,EAClC,aAAa,SAAS,YAAY,IAChC,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE;QAAE,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;KAAE,CAAA;CAAE,CAC9E,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,aAAa,SAAS,YAAY,EAClC,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,IAC/D,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAA;CAAE,CACrD,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAC/B,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAgHrD;;;;;GAKG;AACH,KAAK,oBAAoB,CACvB,cAAc,SAAS,kBAAkB,CAAC,UAAU,IAClD,gBAAgB,SAAS,MAAM,cAAc,GAC7C;IAAE,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAA;CAAE,GAClC,OAAO,CAAC;AAiEZ,eAAO,MAAM,WAAW;WA3Hd,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAsG6D,CAAC;AAC9E,eAAO,MAAM,aAAa;WA5HhB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA0Gf,CAAC;AACF,eAAO,MAAM,oBAAoB;WArDvB,KAAK,SAAS,MAAM,QACpB,eAAe,SAAS,kBAAkB,CAAC,UAAU,EAC3D,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAmCf,CAAC;AACF,eAAO,MAAM,sBAAsB;WAzDzB,KAAK,SAAS,MAAM,QACpB,eAAe,SAAS,kBAAkB,CAAC,UAAU,EAC3D,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAuCf,CAAC;AACF,eAAO,MAAM,cAAc;WAxIjB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAsHf,CAAC;AACF,eAAO,MAAM,gBAAgB;WA5InB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA0Hf,CAAC;AACF,eAAO,MAAM,YAAY;WAhJf,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA2H+D,CAAC;AAChF,eAAO,MAAM,cAAc;WAjJjB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CA+Hf,CAAC;AAEF,eAAO,MAAM,gBAAgB;WAtJnB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAoIf,CAAC;AACF,eAAO,MAAM,kBAAkB;WA1JrB,KAAK,SAAS,MAAM,QACpB,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;;WAa/B,KAAK,SAAS,MAAM,EAC1B,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;eAG9B,KAAK;;;;;;;CAwIf,CAAC;AAEF,KAAK,0BAA0B,CAC7B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,IAE9C,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,OAAO,GAC3E,eAAe,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GAC9C,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,UAAU,GAChF,kBAAkB,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GACjD,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,SAAS,QAAQ,GAC9E,gBAAgB,CAAC,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GAC/C,KAAK,CAAC;AAEhB,KAAK,WAAW,CAAC,CAAC,IAChB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,mBAAmB,EAAE,GAAG,CAAC,GACpE,CAAC,GACD,CAAC,SAAS,kBAAkB,CACxB,GAAG,EACH,MAAM,CAAC,SAAS,mBAAmB,EACnC,GAAG,CACJ,GACD,CAAC,GACD,CAAC,SAAS,gBAAgB,CACtB,GAAG,EACH,MAAM,CAAC,SAAS,mBAAmB,EACnC,GAAG,CACJ,GACD,CAAC,GACD,KAAK,CAAC;AAEhB,KAAK,cAAc,CAAC,CAAC,IACnB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC3C,CAAC,GACD,KAAK,CAAC;AAuChB,eAAO,MAAM,iBAAiB,GA3B1B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAyB5B,CAAC;AACF,eAAO,MAAM,mBAAmB,GA/B5B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FA6B5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GAnC7B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAiC5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAvC/B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FAqC5B,CAAC;AACF,eAAO,MAAM,kBAAkB,GA3C3B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAyC5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GA/C7B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FA6C5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAnD/B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;wFAiD5B,CAAC;AACF,eAAO,MAAM,wBAAwB,GAvDjC,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;0FAqD5B,CAAC"}

package/dist/FunctionSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionSpec.js","names":["FunctionProvenance.Confect","FunctionProvenance.ConfectPaginated","RuntimeAndFunctionType.ConvexQuery","RuntimeAndFunctionType.ConvexMutation","RuntimeAndFunctionType.ConvexAction","RuntimeAndFunctionType.NodeAction","FunctionProvenance.Convex"],"sources":["../src/FunctionSpec.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionType,\n  FunctionVisibility,\n  RegisteredAction,\n  RegisteredMutation,\n  RegisteredQuery,\n} from \"convex/server\";\nimport type * as Schema from \"effect/Schema\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as FunctionProvenance from \"./FunctionProvenance\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"~@confect/core/FunctionSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface FunctionSpec<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;\n  readonly functionVisibility: FunctionVisibility_;\n  readonly name: Name_;\n  readonly functionProvenance: FunctionProvenance_;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n  readonly middlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<MiddlewareSpecs_>\n  >;\n}\n\nexport interface Builder<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Name_,\n  FunctionProvenance_,\n  MiddlewareSpecs_\n> {\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateFunctionAttach<\n        MiddlewareSpec_,\n        RuntimeAndFunctionType_,\n        FunctionProvenance_,\n        MiddlewareSpecs_\n      >,\n    ...options: MiddlewareAttachment.Args<NoInfer<MiddlewareSpec_>>\n  ): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyConfect extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConfect,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyConvex extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConvex,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.WithRuntime<Runtime>,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithFunctionType<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithFunctionProvenance<\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance_,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"];\n\nexport type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionVisibility\"];\n\nexport type GetFunctionProvenance<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionProvenance\"];\n\nexport type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type MiddlewareSpecs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"middlewareSpecs\"][number];\n\n/** The field map declared by a Confect-provenance spec. */\nexport type ArgsFields<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly \"~ArgsFields\": infer ArgsFields_ extends\n        FunctionProvenance.ArgsFields;\n    };\n  }\n    ? ArgsFields_\n    : FunctionSpec_ extends {\n          readonly functionProvenance: { readonly _tag: \"Confect\" };\n        }\n      ? FunctionProvenance.ArgsFields\n      : never;\n\n/** The args schema assembled from a Confect-provenance spec's field map. */\nexport type ArgsSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly \"~ArgsFields\": infer ArgsFields_ extends\n        FunctionProvenance.ArgsFields;\n    };\n  }\n    ? Schema.Struct<ArgsFields_>\n    : FunctionSpec_ extends {\n          readonly functionProvenance: {\n            readonly _tag: \"Confect\";\n            readonly args: infer ArgsSchema_ extends\n              FunctionProvenance.AnyArgsSchema;\n          };\n        }\n      ? ArgsSchema_\n      : never;\n\nexport type ReturnsSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_\n    : never;\n\nexport type ErrorSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly error?: infer ErrorSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ErrorSchema_\n    : never;\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  readonly functionProvenance: { readonly _tag: \"Confect\" };\n}\n  ? ArgsSchema<FunctionSpec_>[\"Type\"]\n  : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n        infer Args_,\n        any\n      >\n    ? Args_\n    : never;\n\nexport type Returns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ReturnsSchema<FunctionSpec_>[\"Type\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          any,\n          infer Returns_\n        >\n      ? Awaited<Returns_>\n      : never;\n\nexport type EncodedArgs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ArgsSchema<FunctionSpec_>[\"Encoded\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          infer Args_,\n          any\n        >\n      ? Args_\n      : never;\n\nexport type EncodedReturns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ReturnsSchema<FunctionSpec_>[\"Encoded\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          any,\n          infer Returns_\n        >\n      ? Returns_\n      : never;\n\nexport type Error<FunctionSpec_ extends AnyWithProps> =\n  ErrorSchema<FunctionSpec_>[\"Type\"];\n\nexport type EncodedError<FunctionSpec_ extends AnyWithProps> =\n  ErrorSchema<FunctionSpec_>[\"Encoded\"];\n\nexport type WithName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends string,\n> = Extract<FunctionSpec_, { readonly name: Name_ }>;\n\nexport type WithRuntimeAndFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: RuntimeAndFunctionType_ }\n>;\n\nexport type WithFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionType_ extends FunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: { readonly functionType: FunctionType_ } }\n>;\n\nexport type WithFunctionProvenance<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> = Extract<\n  FunctionSpec_,\n  { readonly functionProvenance: FunctionProvenance_ }\n>;\n\nexport type WithoutName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends Name<FunctionSpec_>,\n> = Exclude<FunctionSpec_, { readonly name: Name_ }>;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  get middlewareSpecs() {\n    return this.middlewareAttachments.map(({ spec }) => spec);\n  },\n\n  middleware(\n    this: AnyWithProps,\n    middlewareSpec: MiddlewareSpec.AnyMiddlewareSpec,\n    ...options: ReadonlyArray<unknown>\n  ) {\n    if (this.functionProvenance._tag === \"Convex\") {\n      throw new Error(\n        `Plain Convex function \"${this.name}\" cannot have middleware`,\n      );\n    }\n    const functionType = this.runtimeAndFunctionType.functionType;\n    if (!middlewareSpec.functionTypes[functionType]) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" does not declare function type \"${functionType}\" of function \"${this.name}\"`,\n      );\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 function \"${this.name}\"`,\n      );\n    }\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType: this.runtimeAndFunctionType,\n      functionVisibility: this.functionVisibility,\n      name: this.name,\n      functionProvenance: this.functionProvenance,\n      middlewareAttachments: [\n        ...this.middlewareAttachments,\n        { spec: middlewareSpec, options: options[0] },\n      ],\n    });\n  },\n} satisfies ThisType<AnyWithProps>;\n\ninterface Options {\n  readonly name: string;\n  readonly args?: () => FunctionProvenance.ArgsFields;\n  readonly returns: () => Schema.Codec<any, any>;\n  readonly error?: () => Schema.Codec<any, any>;\n}\n\nconst make = <\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n>(\n  runtimeAndFunctionType: RuntimeAndFunctionType_,\n  functionVisibility: FunctionVisibility_,\n) => {\n  function makeSpec<\n    const Name_ extends string,\n    const ArgsFields_ extends FunctionProvenance.ArgsFields,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args: () => ArgsFields_;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<ArgsFields_, Returns_, Error_>\n  >;\n  function makeSpec<\n    const Name_ extends string,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args?: never;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<{}, Returns_, Error_>\n  >;\n  function makeSpec({ name, args, returns, error }: Options) {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance:\n        args === undefined\n          ? FunctionProvenance.Confect(() => ({}), returns, error)\n          : FunctionProvenance.Confect(args, returns, error),\n      middlewareAttachments: [],\n    });\n  }\n\n  return makeSpec;\n};\n\n/**\n * `Schema.Struct` fields that must not declare `paginationOpts`. Used to\n * reject a user args schema that redeclares the field the paginated\n * constructors add themselves; the check reports at the `args` thunk with an\n * unsatisfiable type when violated.\n */\ntype ForbidPaginationOpts<\n  UserArgsFields extends FunctionProvenance.ArgsFields,\n> = \"paginationOpts\" extends keyof UserArgsFields\n  ? { readonly paginationOpts: never }\n  : unknown;\n\ninterface PaginatedOptions {\n  readonly name: string;\n  readonly args?: () => FunctionProvenance.ArgsFields;\n  readonly item: () => Schema.Codec<any, any>;\n  readonly error?: () => Schema.Codec<any, any>;\n}\n\nconst makePaginated = <\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n>(\n  runtimeAndFunctionType: RuntimeAndFunctionType_,\n  functionVisibility: FunctionVisibility_,\n) => {\n  function makeSpec<\n    const Name_ extends string,\n    const UserArgsFields_ extends FunctionProvenance.ArgsFields,\n    Item_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args: () => UserArgsFields_ & ForbidPaginationOpts<UserArgsFields_>;\n    item: () => Item_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<UserArgsFields_, Item_, Error_>\n  >;\n  function makeSpec<\n    const Name_ extends string,\n    Item_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args?: never;\n    item: () => Item_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<{}, Item_, Error_>\n  >;\n  function makeSpec({ name, args, item, error }: PaginatedOptions) {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance:\n        args === undefined\n          ? FunctionProvenance.ConfectPaginated(() => ({}), item, error)\n          : FunctionProvenance.ConfectPaginated(args, item, error),\n      middlewareAttachments: [],\n    });\n  }\n\n  return makeSpec;\n};\n\nexport const publicQuery = make(RuntimeAndFunctionType.ConvexQuery, \"public\");\nexport const internalQuery = make(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicPaginatedQuery = makePaginated(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const internalPaginatedQuery = makePaginated(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const internalMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const publicAction = make(RuntimeAndFunctionType.ConvexAction, \"public\");\nexport const internalAction = make(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\n\nexport const publicNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const internalNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n\ntype MatchingRegisteredFunction<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n> =\n  RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"query\"\n    ? RegisteredQuery<FunctionVisibility_, any, any>\n    : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"mutation\"\n      ? RegisteredMutation<FunctionVisibility_, any, any>\n      : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"action\"\n        ? RegisteredAction<FunctionVisibility_, any, any>\n        : never;\n\ntype ExtractArgs<F> =\n  F extends RegisteredQuery<any, infer A extends DefaultFunctionArgs, any>\n    ? A\n    : F extends RegisteredMutation<\n          any,\n          infer A extends DefaultFunctionArgs,\n          any\n        >\n      ? A\n      : F extends RegisteredAction<\n            any,\n            infer A extends DefaultFunctionArgs,\n            any\n          >\n        ? A\n        : never;\n\ntype ExtractReturns<F> =\n  F extends RegisteredQuery<any, any, infer R>\n    ? R\n    : F extends RegisteredMutation<any, any, infer R>\n      ? R\n      : F extends RegisteredAction<any, any, infer R>\n        ? R\n        : never;\n\nconst makeConvex =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    F extends MatchingRegisteredFunction<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_\n    >,\n  >() =>\n  <const Name_ extends string>(\n    name: Name_,\n  ): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Convex<\n        ExtractArgs<F>,\n        ExtractReturns<F>\n      >(),\n      middlewareAttachments: [],\n    }) as any;\n  };\n\nexport const convexPublicQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const convexInternalQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const convexPublicMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const convexInternalMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const convexPublicAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"public\",\n);\nexport const convexInternalAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\nexport const convexPublicNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const convexInternalNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,MAAM;AA0QjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAAI,kBAAkB;EACpB,OAAO,KAAK,sBAAsB,KAAK,EAAE,WAAW,IAAI;CAC1D;CAEA,WAEE,gBACA,GAAG,SACH;EACA,IAAI,KAAK,mBAAmB,SAAS,UACnC,MAAM,IAAI,MACR,0BAA0B,KAAK,KAAK,yBACtC;EAEF,MAAM,eAAe,KAAK,uBAAuB;EACjD,IAAI,CAAC,eAAe,cAAc,eAChC,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCAAoC,aAAa,iBAAiB,KAAK,KAAK,EAChH;EAEF,IACE,EAAE,aAAa,mBACf,KAAK,sBAAsB,MACxB,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,qCAAqC,KAAK,KAAK,EACnF;EAGF,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC,wBAAwB,KAAK;GAC7B,oBAAoB,KAAK;GACzB,MAAM,KAAK;GACX,oBAAoB,KAAK;GACzB,uBAAuB,CACrB,GAAG,KAAK,uBACR;IAAE,MAAM;IAAgB,SAAS,QAAQ;GAAG,CAC9C;EACF,CAAC;CACH;AACF;AASA,MAAM,QAIJ,wBACA,uBACG;CAgCH,SAAS,SAAS,EAAE,MAAM,MAAM,SAAS,SAAkB;EACzD,kCAAkC,IAAI;EAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC;GACA;GACA;GACA,oBACE,SAAS,KAAA,IACLA,eAAkC,CAAC,IAAI,SAAS,KAAK,IACrDA,QAA2B,MAAM,SAAS,KAAK;GACrD,uBAAuB,CAAC;EAC1B,CAAC;CACH;CAEA,OAAO;AACT;AAqBA,MAAM,iBAIJ,wBACA,uBACG;CAgCH,SAAS,SAAS,EAAE,MAAM,MAAM,MAAM,SAA2B;EAC/D,kCAAkC,IAAI;EAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC;GACA;GACA;GACA,oBACE,SAAS,KAAA,IACLC,wBAA2C,CAAC,IAAI,MAAM,KAAK,IAC3DA,iBAAoC,MAAM,MAAM,KAAK;GAC3D,uBAAuB,CAAC;EAC1B,CAAC;CACH;CAEA,OAAO;AACT;AAEA,MAAa,cAAc,KAAKC,aAAoC,QAAQ;AAC5E,MAAa,gBAAgB,KAC3BA,aACA,UACF;AACA,MAAa,uBAAuB,cAClCA,aACA,QACF;AACA,MAAa,yBAAyB,cACpCA,aACA,UACF;AACA,MAAa,iBAAiB,KAC5BC,gBACA,QACF;AACA,MAAa,mBAAmB,KAC9BA,gBACA,UACF;AACA,MAAa,eAAe,KAAKC,cAAqC,QAAQ;AAC9E,MAAa,iBAAiB,KAC5BA,cACA,UACF;AAEA,MAAa,mBAAmB,KAC9BC,YACA,QACF;AACA,MAAa,qBAAqB,KAChCA,YACA,UACF;AAwCA,MAAM,cAMF,wBACA,8BASA,SAMG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,OAGlB;EACF,uBAAuB,CAAC;CAC1B,CAAC;AACH;AAEF,MAAa,oBAAoB,WAC/BJ,aACA,QACF;AACA,MAAa,sBAAsB,WACjCA,aACA,UACF;AACA,MAAa,uBAAuB,WAClCC,gBACA,QACF;AACA,MAAa,yBAAyB,WACpCA,gBACA,UACF;AACA,MAAa,qBAAqB,WAChCC,cACA,QACF;AACA,MAAa,uBAAuB,WAClCA,cACA,UACF;AACA,MAAa,yBAAyB,WACpCC,YACA,QACF;AACA,MAAa,2BAA2B,WACtCA,YACA,UACF"}
+{"version":3,"file":"FunctionSpec.js","names":["FunctionProvenance.Confect","FunctionProvenance.ConfectPaginated","RuntimeAndFunctionType.ConvexQuery","RuntimeAndFunctionType.ConvexMutation","RuntimeAndFunctionType.ConvexAction","RuntimeAndFunctionType.NodeAction","FunctionProvenance.Convex"],"sources":["../src/FunctionSpec.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionType,\n  FunctionVisibility,\n  RegisteredAction,\n  RegisteredMutation,\n  RegisteredQuery,\n} from \"convex/server\";\nimport type * as Schema from \"effect/Schema\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as FunctionProvenance from \"./FunctionProvenance\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"~@confect/core/FunctionSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface FunctionSpec<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;\n  readonly functionVisibility: FunctionVisibility_;\n  readonly name: Name_;\n  readonly functionProvenance: FunctionProvenance_;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n  readonly middlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<MiddlewareSpecs_>\n  >;\n}\n\nexport interface Builder<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Name_,\n  FunctionProvenance_,\n  MiddlewareSpecs_\n> {\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateFunctionAttach<\n        MiddlewareSpec_,\n        RuntimeAndFunctionType_,\n        FunctionProvenance_,\n        MiddlewareSpecs_\n      >,\n    ...options: MiddlewareAttachment.Args<NoInfer<MiddlewareSpec_>>\n  ): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyConfect extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConfect,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyConvex extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConvex,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.WithRuntime<Runtime>,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithFunctionType<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithFunctionProvenance<\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance_,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"];\n\nexport type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionVisibility\"];\n\nexport type GetFunctionProvenance<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionProvenance\"];\n\nexport type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type MiddlewareSpecs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"middlewareSpecs\"][number];\n\n/**\n * The field map declared by a Confect-provenance spec.\n */\nexport type ArgsFields<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly \"~ArgsFields\": infer ArgsFields_ extends\n        FunctionProvenance.ArgsFields;\n    };\n  }\n    ? ArgsFields_\n    : FunctionSpec_ extends {\n          readonly functionProvenance: { readonly _tag: \"Confect\" };\n        }\n      ? FunctionProvenance.ArgsFields\n      : never;\n\n/**\n * The args schema assembled from a Confect-provenance spec's field map.\n */\nexport type ArgsSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly \"~ArgsFields\": infer ArgsFields_ extends\n        FunctionProvenance.ArgsFields;\n    };\n  }\n    ? Schema.Struct<ArgsFields_>\n    : FunctionSpec_ extends {\n          readonly functionProvenance: {\n            readonly _tag: \"Confect\";\n            readonly args: infer ArgsSchema_ extends\n              FunctionProvenance.AnyArgsSchema;\n          };\n        }\n      ? ArgsSchema_\n      : never;\n\nexport type ReturnsSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_\n    : never;\n\nexport type ErrorSchema<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: {\n      readonly _tag: \"Confect\";\n      readonly error?: infer ErrorSchema_;\n    };\n  }\n    ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n    : never;\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  readonly functionProvenance: { readonly _tag: \"Confect\" };\n}\n  ? ArgsSchema<FunctionSpec_>[\"Type\"]\n  : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n        infer Args_,\n        any\n      >\n    ? Args_\n    : never;\n\nexport type Returns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ReturnsSchema<FunctionSpec_>[\"Type\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          any,\n          infer Returns_\n        >\n      ? Awaited<Returns_>\n      : never;\n\nexport type EncodedArgs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ArgsSchema<FunctionSpec_>[\"Encoded\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          infer Args_,\n          any\n        >\n      ? Args_\n      : never;\n\nexport type EncodedReturns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    readonly functionProvenance: { readonly _tag: \"Confect\" };\n  }\n    ? ReturnsSchema<FunctionSpec_>[\"Encoded\"]\n    : GetFunctionProvenance<FunctionSpec_> extends FunctionProvenance.Convex<\n          any,\n          infer Returns_\n        >\n      ? Returns_\n      : never;\n\nexport type Error<FunctionSpec_ extends AnyWithProps> =\n  ErrorSchema<FunctionSpec_>[\"Type\"];\n\nexport type EncodedError<FunctionSpec_ extends AnyWithProps> =\n  ErrorSchema<FunctionSpec_>[\"Encoded\"];\n\nexport type WithName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends string,\n> = Extract<FunctionSpec_, { readonly name: Name_ }>;\n\nexport type WithRuntimeAndFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: RuntimeAndFunctionType_ }\n>;\n\nexport type WithFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionType_ extends FunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: { readonly functionType: FunctionType_ } }\n>;\n\nexport type WithFunctionProvenance<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> = Extract<\n  FunctionSpec_,\n  { readonly functionProvenance: FunctionProvenance_ }\n>;\n\nexport type WithoutName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends Name<FunctionSpec_>,\n> = Exclude<FunctionSpec_, { readonly name: Name_ }>;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  get middlewareSpecs() {\n    return this.middlewareAttachments.map(({ spec }) => spec);\n  },\n\n  middleware(\n    this: AnyWithProps,\n    middlewareSpec: MiddlewareSpec.AnyMiddlewareSpec,\n    ...options: ReadonlyArray<unknown>\n  ) {\n    if (this.functionProvenance._tag === \"Convex\") {\n      throw new Error(\n        `Plain Convex function \"${this.name}\" cannot have middleware`,\n      );\n    }\n    const functionType = this.runtimeAndFunctionType.functionType;\n    if (!middlewareSpec.functionTypes[functionType]) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" does not declare function type \"${functionType}\" of function \"${this.name}\"`,\n      );\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 function \"${this.name}\"`,\n      );\n    }\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType: this.runtimeAndFunctionType,\n      functionVisibility: this.functionVisibility,\n      name: this.name,\n      functionProvenance: this.functionProvenance,\n      middlewareAttachments: [\n        ...this.middlewareAttachments,\n        { spec: middlewareSpec, options: options[0] },\n      ],\n    });\n  },\n} satisfies ThisType<AnyWithProps>;\n\ninterface Options {\n  readonly name: string;\n  readonly args?: () => FunctionProvenance.ArgsFields;\n  readonly returns: () => Schema.Codec<any, any>;\n  readonly error?: () => Schema.Codec<any, any>;\n}\n\nconst make = <\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n>(\n  runtimeAndFunctionType: RuntimeAndFunctionType_,\n  functionVisibility: FunctionVisibility_,\n) => {\n  function makeSpec<\n    const Name_ extends string,\n    const ArgsFields_ extends FunctionProvenance.ArgsFields,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args: () => ArgsFields_;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<ArgsFields_, Returns_, Error_>\n  >;\n  function makeSpec<\n    const Name_ extends string,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args?: never;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<{}, Returns_, Error_>\n  >;\n  function makeSpec({ name, args, returns, error }: Options) {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance:\n        args === undefined\n          ? FunctionProvenance.Confect(() => ({}), returns, error)\n          : FunctionProvenance.Confect(args, returns, error),\n      middlewareAttachments: [],\n    });\n  }\n\n  return makeSpec;\n};\n\n/**\n * `Schema.Struct` fields that must not declare `paginationOpts`. Used to reject\n * a user args schema that redeclares the field the paginated constructors add\n * themselves; the check reports at the `args` thunk with an unsatisfiable type\n * when violated.\n */\ntype ForbidPaginationOpts<\n  UserArgsFields extends FunctionProvenance.ArgsFields,\n> = \"paginationOpts\" extends keyof UserArgsFields\n  ? { readonly paginationOpts: never }\n  : unknown;\n\ninterface PaginatedOptions {\n  readonly name: string;\n  readonly args?: () => FunctionProvenance.ArgsFields;\n  readonly item: () => Schema.Codec<any, any>;\n  readonly error?: () => Schema.Codec<any, any>;\n}\n\nconst makePaginated = <\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n>(\n  runtimeAndFunctionType: RuntimeAndFunctionType_,\n  functionVisibility: FunctionVisibility_,\n) => {\n  function makeSpec<\n    const Name_ extends string,\n    const UserArgsFields_ extends FunctionProvenance.ArgsFields,\n    Item_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args: () => UserArgsFields_ & ForbidPaginationOpts<UserArgsFields_>;\n    item: () => Item_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<UserArgsFields_, Item_, Error_>\n  >;\n  function makeSpec<\n    const Name_ extends string,\n    Item_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(options: {\n    name: Name_;\n    args?: never;\n    item: () => Item_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<{}, Item_, Error_>\n  >;\n  function makeSpec({ name, args, item, error }: PaginatedOptions) {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance:\n        args === undefined\n          ? FunctionProvenance.ConfectPaginated(() => ({}), item, error)\n          : FunctionProvenance.ConfectPaginated(args, item, error),\n      middlewareAttachments: [],\n    });\n  }\n\n  return makeSpec;\n};\n\nexport const publicQuery = make(RuntimeAndFunctionType.ConvexQuery, \"public\");\nexport const internalQuery = make(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicPaginatedQuery = makePaginated(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const internalPaginatedQuery = makePaginated(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const internalMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const publicAction = make(RuntimeAndFunctionType.ConvexAction, \"public\");\nexport const internalAction = make(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\n\nexport const publicNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const internalNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n\ntype MatchingRegisteredFunction<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n> =\n  RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"query\"\n    ? RegisteredQuery<FunctionVisibility_, any, any>\n    : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"mutation\"\n      ? RegisteredMutation<FunctionVisibility_, any, any>\n      : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"action\"\n        ? RegisteredAction<FunctionVisibility_, any, any>\n        : never;\n\ntype ExtractArgs<F> =\n  F extends RegisteredQuery<any, infer A extends DefaultFunctionArgs, any>\n    ? A\n    : F extends RegisteredMutation<\n          any,\n          infer A extends DefaultFunctionArgs,\n          any\n        >\n      ? A\n      : F extends RegisteredAction<\n            any,\n            infer A extends DefaultFunctionArgs,\n            any\n          >\n        ? A\n        : never;\n\ntype ExtractReturns<F> =\n  F extends RegisteredQuery<any, any, infer R>\n    ? R\n    : F extends RegisteredMutation<any, any, infer R>\n      ? R\n      : F extends RegisteredAction<any, any, infer R>\n        ? R\n        : never;\n\nconst makeConvex =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    F extends MatchingRegisteredFunction<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_\n    >,\n  >() =>\n  <const Name_ extends string>(\n    name: Name_,\n  ): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Convex<\n        ExtractArgs<F>,\n        ExtractReturns<F>\n      >(),\n      middlewareAttachments: [],\n    }) as any;\n  };\n\nexport const convexPublicQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const convexInternalQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const convexPublicMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const convexInternalMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const convexPublicAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"public\",\n);\nexport const convexInternalAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\nexport const convexPublicNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const convexInternalNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,MAAM;AA8QjC,MAAM,QAAQ;EACX,SAAS;CAEV,IAAI,kBAAkB;EACpB,OAAO,KAAK,sBAAsB,KAAK,EAAE,WAAW,IAAI;CAC1D;CAEA,WAEE,gBACA,GAAG,SACH;EACA,IAAI,KAAK,mBAAmB,SAAS,UACnC,MAAM,IAAI,MACR,0BAA0B,KAAK,KAAK,yBACtC;EAEF,MAAM,eAAe,KAAK,uBAAuB;EACjD,IAAI,CAAC,eAAe,cAAc,eAChC,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCAAoC,aAAa,iBAAiB,KAAK,KAAK,EAChH;EAEF,IACE,EAAE,aAAa,mBACf,KAAK,sBAAsB,MACxB,EAAE,WAAW,KAAK,QAAQ,eAAe,GAC5C,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,qCAAqC,KAAK,KAAK,EACnF;EAGF,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC,wBAAwB,KAAK;GAC7B,oBAAoB,KAAK;GACzB,MAAM,KAAK;GACX,oBAAoB,KAAK;GACzB,uBAAuB,CACrB,GAAG,KAAK,uBACR;IAAE,MAAM;IAAgB,SAAS,QAAQ;GAAG,CAC9C;EACF,CAAC;CACH;AACF;AASA,MAAM,QAIJ,wBACA,uBACG;CAgCH,SAAS,SAAS,EAAE,MAAM,MAAM,SAAS,SAAkB;EACzD,kCAAkC,IAAI;EAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC;GACA;GACA;GACA,oBACE,SAAS,KAAA,IACLA,eAAkC,CAAC,IAAI,SAAS,KAAK,IACrDA,QAA2B,MAAM,SAAS,KAAK;GACrD,uBAAuB,CAAC;EAC1B,CAAC;CACH;CAEA,OAAO;AACT;AAqBA,MAAM,iBAIJ,wBACA,uBACG;CAgCH,SAAS,SAAS,EAAE,MAAM,MAAM,MAAM,SAA2B;EAC/D,kCAAkC,IAAI;EAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;GACzC;GACA;GACA;GACA,oBACE,SAAS,KAAA,IACLC,wBAA2C,CAAC,IAAI,MAAM,KAAK,IAC3DA,iBAAoC,MAAM,MAAM,KAAK;GAC3D,uBAAuB,CAAC;EAC1B,CAAC;CACH;CAEA,OAAO;AACT;AAEA,MAAa,cAAc,KAAKC,aAAoC,QAAQ;AAC5E,MAAa,gBAAgB,KAC3BA,aACA,UACF;AACA,MAAa,uBAAuB,cAClCA,aACA,QACF;AACA,MAAa,yBAAyB,cACpCA,aACA,UACF;AACA,MAAa,iBAAiB,KAC5BC,gBACA,QACF;AACA,MAAa,mBAAmB,KAC9BA,gBACA,UACF;AACA,MAAa,eAAe,KAAKC,cAAqC,QAAQ;AAC9E,MAAa,iBAAiB,KAC5BA,cACA,UACF;AAEA,MAAa,mBAAmB,KAC9BC,YACA,QACF;AACA,MAAa,qBAAqB,KAChCA,YACA,UACF;AAwCA,MAAM,cAMF,wBACA,8BASA,SAMG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,OAGlB;EACF,uBAAuB,CAAC;CAC1B,CAAC;AACH;AAEF,MAAa,oBAAoB,WAC/BJ,aACA,QACF;AACA,MAAa,sBAAsB,WACjCA,aACA,UACF;AACA,MAAa,uBAAuB,WAClCC,gBACA,QACF;AACA,MAAa,yBAAyB,WACpCA,gBACA,UACF;AACA,MAAa,qBAAqB,WAChCC,cACA,QACF;AACA,MAAa,uBAAuB,WAClCA,cACA,UACF;AACA,MAAa,yBAAyB,WACpCC,YACA,QACF;AACA,MAAa,2BAA2B,WACtCA,YACA,UACF"}

package/dist/GroupPath.d.ts

@@ -3,18 +3,17 @@ import type * as GroupSpec from "./GroupSpec";
  * Recursively generates paths for a group and its nested groups.
  *
  * - For a group with no subgroups, returns just the group name.
- * - For a group with subgroups, returns the group name plus all possible paths through its direct subgroups.
+ * - For a group with subgroups, returns the group name plus all possible paths
+ *   through its direct subgroups.
  */
 export type All<Group extends GroupSpec.AnyWithProps, Depth extends 1[] = []> = Depth["length"] extends 15 ? string : Group extends any ? [GroupSpec.Groups<Group>] extends [never] ? GroupSpec.Name<Group> : GroupSpec.Name<Group> | AllHelper<Group, GroupSpec.Groups<Group>, Depth> : never;
 type AllHelper<Parent extends GroupSpec.AnyWithProps, Groups_ extends GroupSpec.AnyWithProps, Depth extends 1[] = []> = Groups_ extends GroupSpec.AnyWithProps ? `${GroupSpec.Name<Parent>}.${All<Groups_, [...Depth, 1]>}` : never;
 /**
- * Recursively extracts the group at the given dot-separated path.
- * Path must match the format defined in `Path` above, e.g. "group" or "group.subgroup".
+ * Recursively extracts the group at the given dot-separated path. Path must
+ * match the format defined in `Path` above, e.g. "group" or "group.subgroup".
  *
  * @example
- * ```ts
- * type G = WithPath<RootGroup, "group.subgroup">;
- * ```
+ *   type G = WithPath<RootGroup, "group.subgroup">;
  */
 export type GroupAt<Group, Path extends string> = Group extends GroupSpec.AnyWithProps ? Path extends `${infer Head}.${infer Tail}` ? Group extends {
     readonly name: Head;

package/dist/GroupPath.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupPath.d.ts","sourceRoot":"","sources":["../src/GroupPath.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IACpB,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,GAC1B,MAAM,GACN,KAAK,SAAS,GAAG,GACf,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GACrB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAC1E,KAAK,CAAC;AAEZ,KAAK,SAAS,CACZ,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,OAAO,SAAS,SAAS,CAAC,YAAY,EACtC,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IACpB,OAAO,SAAS,SAAS,CAAC,YAAY,GACtC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAC1D,KAAK,CAAC;AAEV;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,EACL,IAAI,SAAS,MAAM,IACjB,KAAK,SAAS,SAAS,CAAC,YAAY,GACpC,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,KAAK,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACnC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GACtC,KAAK,GACP,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GACjC,KAAK,CAAC;AAEV,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,MAAM,IAExB,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,SAAS,MAAM,SAAS,GAC/D,SAAS,SAAS,SAAS,CAAC,YAAY,GACtC,GAAG,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAC3C,KAAK,GACP,KAAK,CAAC"}
+{"version":3,"file":"GroupPath.d.ts","sourceRoot":"","sources":["../src/GroupPath.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAE9C;;;;;;GAMG;AACH,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IACpB,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,GAC1B,MAAM,GACN,KAAK,SAAS,GAAG,GACf,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GACrB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAC1E,KAAK,CAAC;AAEZ,KAAK,SAAS,CACZ,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,OAAO,SAAS,SAAS,CAAC,YAAY,EACtC,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IACpB,OAAO,SAAS,SAAS,CAAC,YAAY,GACtC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAC1D,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,EACL,IAAI,SAAS,MAAM,IACjB,KAAK,SAAS,SAAS,CAAC,YAAY,GACpC,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,KAAK,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACnC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GACtC,KAAK,GACP,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GACjC,KAAK,CAAC;AAEV,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,MAAM,IAExB,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,SAAS,MAAM,SAAS,GAC/D,SAAS,SAAS,SAAS,CAAC,YAAY,GACtC,GAAG,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAC3C,KAAK,GACP,KAAK,CAAC"}

package/dist/GroupPath.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupPath.js","names":[],"sources":["../src/GroupPath.ts"],"sourcesContent":["import type * as GroupSpec from \"./GroupSpec\";\n\n/**\n * Recursively generates paths for a group and its nested groups.\n *\n * - For a group with no subgroups, returns just the group name.\n * - For a group with subgroups, returns the group name plus all possible paths through its direct subgroups.\n */\nexport type All<\n  Group extends GroupSpec.AnyWithProps,\n  Depth extends 1[] = [],\n> = Depth[\"length\"] extends 15\n  ? string\n  : Group extends any\n    ? [GroupSpec.Groups<Group>] extends [never]\n      ? GroupSpec.Name<Group>\n      : GroupSpec.Name<Group> | AllHelper<Group, GroupSpec.Groups<Group>, Depth>\n    : never;\n\ntype AllHelper<\n  Parent extends GroupSpec.AnyWithProps,\n  Groups_ extends GroupSpec.AnyWithProps,\n  Depth extends 1[] = [],\n> = Groups_ extends GroupSpec.AnyWithProps\n  ? `${GroupSpec.Name<Parent>}.${All<Groups_, [...Depth, 1]>}`\n  : never;\n\n/**\n * Recursively extracts the group at the given dot-separated path.\n * Path must match the format defined in `Path` above, e.g. \"group\" or \"group.subgroup\".\n *\n * @example\n * ```ts\n * type G = WithPath<RootGroup, \"group.subgroup\">;\n * ```\n */\nexport type GroupAt<\n  Group,\n  Path extends string,\n> = Group extends GroupSpec.AnyWithProps\n  ? Path extends `${infer Head}.${infer Tail}`\n    ? Group extends { readonly name: Head }\n      ? GroupAt<GroupSpec.Groups<Group>, Tail>\n      : never\n    : GroupSpec.WithName<Group, Path>\n  : never;\n\nexport type SubGroupsAt<\n  Group extends GroupSpec.AnyWithProps,\n  GroupPath extends string,\n> =\n  GroupSpec.Groups<GroupAt<Group, GroupPath>> extends infer SubGroups\n    ? SubGroups extends GroupSpec.AnyWithProps\n      ? `${GroupPath}.${GroupSpec.Name<SubGroups>}`\n      : never\n    : never;\n"],"mappings":""}
+{"version":3,"file":"GroupPath.js","names":[],"sources":["../src/GroupPath.ts"],"sourcesContent":["import type * as GroupSpec from \"./GroupSpec\";\n\n/**\n * Recursively generates paths for a group and its nested groups.\n *\n * - For a group with no subgroups, returns just the group name.\n * - For a group with subgroups, returns the group name plus all possible paths\n *   through its direct subgroups.\n */\nexport type All<\n  Group extends GroupSpec.AnyWithProps,\n  Depth extends 1[] = [],\n> = Depth[\"length\"] extends 15\n  ? string\n  : Group extends any\n    ? [GroupSpec.Groups<Group>] extends [never]\n      ? GroupSpec.Name<Group>\n      : GroupSpec.Name<Group> | AllHelper<Group, GroupSpec.Groups<Group>, Depth>\n    : never;\n\ntype AllHelper<\n  Parent extends GroupSpec.AnyWithProps,\n  Groups_ extends GroupSpec.AnyWithProps,\n  Depth extends 1[] = [],\n> = Groups_ extends GroupSpec.AnyWithProps\n  ? `${GroupSpec.Name<Parent>}.${All<Groups_, [...Depth, 1]>}`\n  : never;\n\n/**\n * Recursively extracts the group at the given dot-separated path. Path must\n * match the format defined in `Path` above, e.g. \"group\" or \"group.subgroup\".\n *\n * @example\n *   type G = WithPath<RootGroup, \"group.subgroup\">;\n */\nexport type GroupAt<\n  Group,\n  Path extends string,\n> = Group extends GroupSpec.AnyWithProps\n  ? Path extends `${infer Head}.${infer Tail}`\n    ? Group extends { readonly name: Head }\n      ? GroupAt<GroupSpec.Groups<Group>, Tail>\n      : never\n    : GroupSpec.WithName<Group, Path>\n  : never;\n\nexport type SubGroupsAt<\n  Group extends GroupSpec.AnyWithProps,\n  GroupPath extends string,\n> =\n  GroupSpec.Groups<GroupAt<Group, GroupPath>> extends infer SubGroups\n    ? SubGroups extends GroupSpec.AnyWithProps\n      ? `${GroupPath}.${GroupSpec.Name<SubGroups>}`\n      : never\n    : never;\n"],"mappings":""}

package/dist/GroupSpec.d.ts

@@ -42,7 +42,10 @@ export type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [
 export type WithName<Group extends AnyWithProps, Name_ extends Name<Group>> = Extract<Group, {
     readonly name: Name_;
 }>;
-/** Assigns a segment name to a leaf group created with {@link make} for typing and refs. */
+/**
+ * Assigns a segment name to a leaf group created with {@link make} for typing
+ * and refs.
+ */
 export type NamedAt<Group extends Any, Name_ extends string> = Omit<Group, "name"> & {
     readonly name: Name_;
 };
@@ -51,6 +54,6 @@ 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 const withName: <const Name_ extends string>(name: Name_, group: Any) => AnyWithProps;
+export declare function withName<const Name_ extends string, Group extends Any>(name: Name_, group: Group): NamedAt<Group, Name_>;
 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,4FAA4F;AAC5F,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,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC3C,KAAK,SACJ,GAAG,KACT,YAeF,CAAC;AAEF,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;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"}

package/dist/GroupSpec.js

@@ -113,7 +113,7 @@ const makeNodeAt = (name) => {
 		middlewareAttachments: []
 	});
 };
-const withName = (name, group) => {
+function withName(name, group) {
 	validateConfectFunctionIdentifier(name);
 	const group_ = group;
 	if (group_.name === name) return group_;
@@ -124,7 +124,7 @@ const withName = (name, group) => {
 		groups: group_.groups,
 		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}"`);