@confect/core 10.0.0-next.15 → 10.0.0-next.18

package/dist/FunctionSpec.d.ts

@@ -1,35 +1,41 @@
 import type { FunctionType, FunctionVisibility, RegisteredAction, RegisteredMutation, RegisteredQuery } from "convex/server";
 import * as Schema from "effect/Schema";
 import * as FunctionProvenance from "./FunctionProvenance";
+import type * as MiddlewareSpec from "./MiddlewareSpec";
 import * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
-export declare const TypeId = "@confect/core/FunctionSpec";
+export declare const TypeId = "~@confect/core/FunctionSpec";
 export type TypeId = typeof TypeId;
 export declare const isFunctionSpec: (u: unknown) => u is AnyWithProps;
-export interface FunctionSpec<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Name_ extends string, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> {
+export interface FunctionSpec<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Name_ extends string, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance, MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never> {
     readonly [TypeId]: TypeId;
     readonly runtimeAndFunctionType: RuntimeAndFunctionType_;
     readonly functionVisibility: FunctionVisibility_;
     readonly name: Name_;
     readonly functionProvenance: FunctionProvenance_;
+    readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;
+}
+export interface Builder<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Name_ extends string, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance, MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never> extends FunctionSpec<RuntimeAndFunctionType_, FunctionVisibility_, Name_, FunctionProvenance_, MiddlewareSpecs_> {
+    middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(middlewareSpec: MiddlewareSpec_ & MiddlewareSpec.ValidateFunctionAttach<MiddlewareSpec_, RuntimeAndFunctionType_, FunctionProvenance_, MiddlewareSpecs_>): Builder<RuntimeAndFunctionType_, FunctionVisibility_, Name_, FunctionProvenance_, MiddlewareSpecs_ | MiddlewareSpec_>;
 }
 export interface Any {
     readonly [TypeId]: TypeId;
 }
-export interface AnyWithProps extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
+export interface AnyWithProps extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.FunctionProvenance, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyConfect extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConfect> {
+export interface AnyConfect extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConfect, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyConvex extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConvex> {
+export interface AnyConvex extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConvex, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends FunctionSpec<RuntimeAndFunctionType.WithRuntime<Runtime>, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
+export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends FunctionSpec<RuntimeAndFunctionType.WithRuntime<Runtime>, FunctionVisibility, string, FunctionProvenance.FunctionProvenance, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyWithPropsWithFunctionType<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType> extends FunctionSpec<RuntimeAndFunctionType_, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
+export interface AnyWithPropsWithFunctionType<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType> extends FunctionSpec<RuntimeAndFunctionType_, FunctionVisibility, string, FunctionProvenance.FunctionProvenance, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyWithPropsWithFunctionProvenance<FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance_> {
+export interface AnyWithPropsWithFunctionProvenance<FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance_, MiddlewareSpec.AnyMiddlewareSpec> {
 }
 export type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["runtimeAndFunctionType"];
 export type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["functionVisibility"];
 export type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["name"];
+export type MiddlewareSpecs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["middlewareSpecs"][number];
 export type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
     functionProvenance: {
         _tag: "Confect";
@@ -38,7 +44,7 @@ export type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
 } ? ArgsSchema_["Type"] : FunctionSpec_ extends {
     functionProvenance: {
         _tag: "Convex";
-        _args: infer Args_;
+        "~args": infer Args_;
     };
 } ? Args_ : never;
 export type Returns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
@@ -49,7 +55,7 @@ export type Returns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends
 } ? ReturnsSchema_["Type"] : FunctionSpec_ extends {
     functionProvenance: {
         _tag: "Convex";
-        _returns: infer Returns_;
+        "~returns": infer Returns_;
     };
 } ? Awaited<Returns_> : never;
 export type EncodedArgs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
@@ -60,7 +66,7 @@ export type EncodedArgs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ exte
 } ? ArgsSchema_["Encoded"] : FunctionSpec_ extends {
     functionProvenance: {
         _tag: "Convex";
-        _args: infer Args_;
+        "~args": infer Args_;
     };
 } ? Args_ : never;
 export type EncodedReturns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
@@ -71,7 +77,7 @@ export type EncodedReturns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ e
 } ? ReturnsSchema_["Encoded"] : FunctionSpec_ extends {
     functionProvenance: {
         _tag: "Convex";
-        _returns: infer Returns_;
+        "~returns": infer Returns_;
     };
 } ? Returns_ : never;
 export type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
@@ -113,19 +119,19 @@ export declare const publicQuery: <const Name_ extends string, Args_ extends Sch
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const internalQuery: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const publicPaginatedQuery: <const Name_ extends string, Item_ extends Schema.Codec<any, any>, UserArgs_ extends FunctionProvenance.AnyUserArgs = Schema.Struct<{}>, Error_ extends Schema.Codec<any, any> = never>({ name, args, item, error, }: {
     name: Name_;
     /** User-declared args, without `paginationOpts` — it is added automatically. */
@@ -133,10 +139,10 @@ export declare const publicPaginatedQuery: <const Name_ extends string, Item_ ex
     /** The page element schema. */
     item: () => Item_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "public", Name_, FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>>;
+}, "public", Name_, FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>, never>;
 export declare const internalPaginatedQuery: <const Name_ extends string, Item_ extends Schema.Codec<any, any>, UserArgs_ extends FunctionProvenance.AnyUserArgs = Schema.Struct<{}>, Error_ extends Schema.Codec<any, any> = never>({ name, args, item, error, }: {
     name: Name_;
     /** User-declared args, without `paginationOpts` — it is added automatically. */
@@ -144,122 +150,122 @@ export declare const internalPaginatedQuery: <const Name_ extends string, Item_
     /** The page element schema. */
     item: () => Item_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "internal", Name_, FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>>;
+}, "internal", Name_, FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>, never>;
 export declare const publicMutation: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const internalMutation: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const publicAction: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const internalAction: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const publicNodeAction: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 export declare const internalNodeAction: <const Name_ extends string, Args_ extends Schema.Codec<any, any>, Returns_ extends Schema.Codec<any, any>, Error_ extends Schema.Codec<any, any> = never>({ name, args, returns, error, }: {
     name: Name_;
     args: () => Args_;
     returns: () => Returns_;
     error?: () => Error_;
-}) => FunctionSpec<{
+}) => Builder<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>>;
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_, FunctionProvenance.ConfectKind>, never>;
 type MatchingRegisteredFunction<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility> = RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends "query" ? RegisteredQuery<FunctionVisibility_, any, any> : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends "mutation" ? RegisteredMutation<FunctionVisibility_, any, any> : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends "action" ? RegisteredAction<FunctionVisibility_, any, any> : never;
 type ExtractArgs<F> = F extends RegisteredQuery<any, infer A, any> ? A : F extends RegisteredMutation<any, infer A, any> ? A : F extends RegisteredAction<any, infer A, any> ? A : never;
 type ExtractReturns<F> = F extends RegisteredQuery<any, any, infer R> ? R : F extends RegisteredMutation<any, any, infer R> ? R : F extends RegisteredAction<any, any, infer R> ? R : never;
 export declare const convexPublicQuery: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "public">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "public">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexInternalQuery: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "internal">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "internal">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "query";
-}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexPublicMutation: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "public">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "public">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexInternalMutation: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "internal">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "internal">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "mutation";
-}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexPublicAction: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "public">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "public">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexInternalAction: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "internal">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "internal">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Convex";
     readonly functionType: "action";
-}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexPublicNodeAction: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "public">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "public">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export declare const convexInternalNodeAction: <F extends MatchingRegisteredFunction<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "internal">>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+}, "internal">>() => <const Name_ extends string>(name: Name_) => Builder<{
     readonly runtime: "Node";
     readonly functionType: "action";
-}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>, never>;
 export {};
 //# sourceMappingURL=FunctionSpec.d.ts.map

package/dist/FunctionSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionSpec.d.ts","sourceRoot":"","sources":["../src/FunctionSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAEnE,eAAO,MAAM,MAAM,+BAA+B,CAAC;AACnD,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;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;CAClD;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,CACtC;CAAG;AAEJ,MAAM,WAAW,UAAW,SAAQ,YAAY,CAC9C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,UAAU,CAC9B;CAAG;AAEJ,MAAM,WAAW,SAAU,SAAQ,YAAY,CAC7C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,SAAS,CAC7B;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,CACtC;CAAG;AAEJ,MAAM,WAAW,4BAA4B,CAC3C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,CAC7E,SAAQ,YAAY,CACpB,uBAAuB,EACvB,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,CACtC;CAAG;AAEJ,MAAM,WAAW,kCAAkC,CACjD,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,CACjE,SAAQ,YAAY,CACpB,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,mBAAmB,CACpB;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,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC3E,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACxD,CAAC;CACH,GACG,WAAW,CAAC,MAAM,CAAC,GACnB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC5D,GACD,KAAK,GACL,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,YAAY,IACpD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KAC9D,CAAC;CACH,GACG,cAAc,CAAC,MAAM,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CAClE,GACD,OAAO,CAAC,QAAQ,CAAC,GACjB,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACxD,CAAC;CACH,GACG,WAAW,CAAC,SAAS,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC5D,GACD,KAAK,GACL,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,aAAa,SAAS,YAAY,IAC3D,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KAC9D,CAAC;CACH,GACG,cAAc,CAAC,SAAS,CAAC,GACzB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CAClE,GACD,QAAQ,GACR,KAAK,CAAC;AAEd,MAAM,MAAM,KAAK,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC5E,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAClD,CAAC;CACH,GACG,YAAY,CAAC,MAAM,CAAC,GACpB,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,aAAa,SAAS,YAAY,IACzD,aAAa,SAAS;IACpB,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAClD,CAAC;CACH,GACG,YAAY,CAAC,SAAS,CAAC,GACvB,KAAK,CAAC;AAEZ,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;AA8CrD;;;;;GAKG;AACH,KAAK,oBAAoB,CAAC,QAAQ,SAAS,kBAAkB,CAAC,WAAW,IACvE,gBAAgB,SAAS,MAAM,QAAQ,CAAC,QAAQ,CAAC,GAC7C;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE,GACvD,OAAO,CAAC;AAiDd,eAAO,MAAM,WAAW,SAxFd,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;wGAqFoC,CAAC;AAC9E,eAAO,MAAM,aAAa,SAzFhB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;0GAyFxC,CAAC;AACF,eAAO,MAAM,oBAAoB,SA1CvB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,SAAS,SAAS,kBAAkB,CAAC,WAAW,sBAChD,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;IAQrC,gFAAgF;;IAEhF,+BAA+B;;;;;;kFAgClC,CAAC;AACF,eAAO,MAAM,sBAAsB,SA9CzB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,SAAS,SAAS,kBAAkB,CAAC,WAAW,sBAChD,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;IAQrC,gFAAgF;;IAEhF,+BAA+B;;;;;;oFAoClC,CAAC;AACF,eAAO,MAAM,cAAc,SArGjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;wGAqGxC,CAAC;AACF,eAAO,MAAM,gBAAgB,SAzGnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;0GAyGxC,CAAC;AACF,eAAO,MAAM,YAAY,SA7Gf,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;wGA0GsC,CAAC;AAChF,eAAO,MAAM,cAAc,SA9GjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;0GA8GxC,CAAC;AAEF,eAAO,MAAM,gBAAgB,SAnHnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;wGAmHxC,CAAC;AACF,eAAO,MAAM,kBAAkB,SAvHrB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;0GAuHxC,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,EAAE,GAAG,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC3C,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;AAsChB,eAAO,MAAM,iBAAiB,GA1B1B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;iFAwB5B,CAAC;AACF,eAAO,MAAM,mBAAmB,GA9B5B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;mFA4B5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GAlC7B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;iFAgC5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAtC/B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;mFAoC5B,CAAC;AACF,eAAO,MAAM,kBAAkB,GA1C3B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;iFAwC5B,CAAC;AACF,eAAO,MAAM,oBAAoB,GA9C7B,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;mFA4C5B,CAAC;AACF,eAAO,MAAM,sBAAsB,GAlD/B,CAAC,SAAS,0BAA0B;;;YAGnC,cAEI,KAAK,SAAS,MAAM;;;iFAgD5B,CAAC;AACF,eAAO,MAAM,wBAAwB,GAtDjC,CAAC,SAAS,0BAA0B;;;cAGnC,cAEI,KAAK,SAAS,MAAM;;;mFAoD5B,CAAC"}
+{"version":3,"file":"FunctionSpec.d.ts","sourceRoot":"","sources":["../src/FunctionSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,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;CAC3D;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,GACF,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,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,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC3E,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACxD,CAAC;CACH,GACG,WAAW,CAAC,MAAM,CAAC,GACnB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,OAAO,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC9D,GACD,KAAK,GACL,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,YAAY,IACpD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KAC9D,CAAC;CACH,GACG,cAAc,CAAC,MAAM,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,UAAU,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CACpE,GACD,OAAO,CAAC,QAAQ,CAAC,GACjB,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KACxD,CAAC;CACH,GACG,WAAW,CAAC,SAAS,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,OAAO,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC9D,GACD,KAAK,GACL,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,aAAa,SAAS,YAAY,IAC3D,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KAC9D,CAAC;CACH,GACG,cAAc,CAAC,SAAS,CAAC,GACzB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,UAAU,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CACpE,GACD,QAAQ,GACR,KAAK,CAAC;AAEd,MAAM,MAAM,KAAK,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC5E,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAClD,CAAC;CACH,GACG,YAAY,CAAC,MAAM,CAAC,GACpB,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,aAAa,SAAS,YAAY,IACzD,aAAa,SAAS;IACpB,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAClD,CAAC;CACH,GACG,YAAY,CAAC,SAAS,CAAC,GACvB,KAAK,CAAC;AAEZ,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;AAiFrD;;;;;GAKG;AACH,KAAK,oBAAoB,CAAC,QAAQ,SAAS,kBAAkB,CAAC,WAAW,IACvE,gBAAgB,SAAS,MAAM,QAAQ,CAAC,QAAQ,CAAC,GAC7C;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE,GACvD,OAAO,CAAC;AAkDd,eAAO,MAAM,WAAW,SA1Fd,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;+GAuFoC,CAAC;AAC9E,eAAO,MAAM,aAAa,SA3FhB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;iHA2FxC,CAAC;AACF,eAAO,MAAM,oBAAoB,SA3CvB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,SAAS,SAAS,kBAAkB,CAAC,WAAW,sBAChD,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;IAQrC,gFAAgF;;IAEhF,+BAA+B;;;;;;yFAiClC,CAAC;AACF,eAAO,MAAM,sBAAsB,SA/CzB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,SAAS,SAAS,kBAAkB,CAAC,WAAW,sBAChD,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;IAQrC,gFAAgF;;IAEhF,+BAA+B;;;;;;2FAqClC,CAAC;AACF,eAAO,MAAM,cAAc,SAvGjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;+GAuGxC,CAAC;AACF,eAAO,MAAM,gBAAgB,SA3GnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;iHA2GxC,CAAC;AACF,eAAO,MAAM,YAAY,SA/Gf,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;+GA4GsC,CAAC;AAChF,eAAO,MAAM,cAAc,SAhHjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;iHAgHxC,CAAC;AAEF,eAAO,MAAM,gBAAgB,SArHnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;+GAqHxC,CAAC;AACF,eAAO,MAAM,kBAAkB,SAzHrB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpC,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;;;;;iHAyHxC,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,EAAE,GAAG,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC3C,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

@@ -27,16 +27,32 @@ var FunctionSpec_exports = /* @__PURE__ */ __exportAll({
 	publicPaginatedQuery: () => publicPaginatedQuery,
 	publicQuery: () => publicQuery
 });
-const TypeId = "@confect/core/FunctionSpec";
+const TypeId = "~@confect/core/FunctionSpec";
 const isFunctionSpec = (u) => Predicate.hasProperty(u, TypeId);
-const Proto = { [TypeId]: TypeId };
+const Proto = {
+	[TypeId]: TypeId,
+	middleware(middlewareSpec) {
+		if (this.functionProvenance._tag === "Convex") throw new Error(`Plain Convex function "${this.name}" cannot have middleware`);
+		const functionType = this.runtimeAndFunctionType.functionType;
+		if (!middlewareSpec.functionTypes[functionType]) throw new Error(`Middleware "${middlewareSpec.key}" does not declare function type "${functionType}" of function "${this.name}"`);
+		if (this.middlewareSpecs.some((existing) => existing.key === middlewareSpec.key)) throw new Error(`Middleware "${middlewareSpec.key}" is already attached to function "${this.name}"`);
+		return Object.assign(Object.create(Proto), {
+			runtimeAndFunctionType: this.runtimeAndFunctionType,
+			functionVisibility: this.functionVisibility,
+			name: this.name,
+			functionProvenance: this.functionProvenance,
+			middlewareSpecs: [...this.middlewareSpecs, middlewareSpec]
+		});
+	}
+};
 const make = (runtimeAndFunctionType, functionVisibility) => ({ name, args, returns, error }) => {
 	validateConfectFunctionIdentifier(name);
 	return Object.assign(Object.create(Proto), {
 		runtimeAndFunctionType,
 		functionVisibility,
 		name,
-		functionProvenance: Confect(args, returns, error)
+		functionProvenance: Confect(args, returns, error),
+		middlewareSpecs: []
 	});
 };
 const makePaginated = (runtimeAndFunctionType, functionVisibility) => ({ name, args, item, error }) => {
@@ -45,7 +61,8 @@ const makePaginated = (runtimeAndFunctionType, functionVisibility) => ({ name, a
 		runtimeAndFunctionType,
 		functionVisibility,
 		name,
-		functionProvenance: ConfectPaginated(args ?? (() => Schema.Struct({})), item, error)
+		functionProvenance: ConfectPaginated(args ?? (() => Schema.Struct({})), item, error),
+		middlewareSpecs: []
 	});
 };
 const publicQuery = make(ConvexQuery, "public");
@@ -64,7 +81,8 @@ const makeConvex = (runtimeAndFunctionType, functionVisibility) => () => (name)
 		runtimeAndFunctionType,
 		functionVisibility,
 		name,
-		functionProvenance: Convex()
+		functionProvenance: Convex(),
+		middlewareSpecs: []
 	});
 };
 const convexPublicQuery = makeConvex(ConvexQuery, "public");

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 {\n  FunctionType,\n  FunctionVisibility,\n  RegisteredAction,\n  RegisteredMutation,\n  RegisteredQuery,\n} from \"convex/server\";\nimport * as Schema from \"effect/Schema\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as FunctionProvenance from \"./FunctionProvenance\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\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> {\n  readonly [TypeId]: TypeId;\n  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;\n  readonly functionVisibility: FunctionVisibility_;\n  readonly name: Name_;\n  readonly functionProvenance: FunctionProvenance_;\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> {}\n\nexport interface AnyConfect extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConfect\n> {}\n\nexport interface AnyConvex extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConvex\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> {}\n\nexport interface AnyWithPropsWithFunctionType<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyWithPropsWithFunctionProvenance<\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance_\n> {}\n\nexport type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"];\n\nexport type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionVisibility\"];\n\nexport type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: {\n    _tag: \"Confect\";\n    args: infer ArgsSchema_ extends Schema.Codec<any, any>;\n  };\n}\n  ? ArgsSchema_[\"Type\"]\n  : FunctionSpec_ extends {\n        functionProvenance: { _tag: \"Convex\"; _args: infer Args_ };\n      }\n    ? Args_\n    : never;\n\nexport type Returns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_[\"Type\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; _returns: infer Returns_ };\n        }\n      ? Awaited<Returns_>\n      : never;\n\nexport type EncodedArgs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      args: infer ArgsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ArgsSchema_[\"Encoded\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; _args: infer Args_ };\n        }\n      ? Args_\n      : never;\n\nexport type EncodedReturns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_[\"Encoded\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; _returns: infer Returns_ };\n        }\n      ? Returns_\n      : never;\n\nexport type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: FunctionProvenance.Confect<\n    any,\n    any,\n    infer ErrorSchema_ extends Schema.Codec<any, any>\n  >;\n}\n  ? ErrorSchema_[\"Type\"]\n  : never;\n\nexport type EncodedError<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: FunctionProvenance.Confect<\n      any,\n      any,\n      infer ErrorSchema_ extends Schema.Codec<any, any>\n    >;\n  }\n    ? ErrorSchema_[\"Encoded\"]\n    : never;\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\nconst make =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Args_ extends Schema.Codec<any, any>,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >({\n    name,\n    args,\n    returns,\n    error,\n  }: {\n    name: Name_;\n    args: () => Args_;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<Args_, Returns_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Confect(args, returns, error),\n    });\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<UserArgs extends FunctionProvenance.AnyUserArgs> =\n  \"paginationOpts\" extends keyof UserArgs[\"fields\"]\n    ? { readonly fields: { readonly paginationOpts: never } }\n    : unknown;\n\nconst makePaginated =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Item_ extends Schema.Codec<any, any>,\n    UserArgs_ extends FunctionProvenance.AnyUserArgs = Schema.Struct<{}>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >({\n    name,\n    args,\n    item,\n    error,\n  }: {\n    name: Name_;\n    /** User-declared args, without `paginationOpts` — it is added automatically. */\n    args?: (() => UserArgs_) & ForbidPaginationOpts<UserArgs_>;\n    /** The page element schema. */\n    item: () => Item_;\n    error?: () => Error_;\n  }): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.ConfectPaginated(\n        // When `args` is omitted, `UserArgs_` is its `Schema.Struct<{}>` default.\n        args ?? ((() => Schema.Struct({})) as unknown as () => UserArgs_),\n        item,\n        error,\n      ),\n    });\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, any>\n    ? A\n    : F extends RegisteredMutation<any, infer A, any>\n      ? A\n      : F extends RegisteredAction<any, infer A, any>\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  ): FunctionSpec<\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    }) 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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAaA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,MAAM;AAyLjC,MAAM,QAAQ,GACX,SAAS,OACZ;AAEA,MAAM,QAMF,wBACA,wBAOA,EACA,MACA,MACA,SACA,YAWG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBA,QAA2B,MAAM,SAAS,KAAK;CACrE,CAAC;AACH;AAaF,MAAM,iBAMF,wBACA,wBAOA,EACA,MACA,MACA,MACA,YAaG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,iBAElB,eAAgB,OAAO,OAAO,CAAC,CAAC,IAChC,MACA,KACF;CACF,CAAC;AACH;AAEF,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;AAgCA,MAAM,cAMF,wBACA,8BASA,SAMG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,OAGlB;CACJ,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 {\n  FunctionType,\n  FunctionVisibility,\n  RegisteredAction,\n  RegisteredMutation,\n  RegisteredQuery,\n} from \"convex/server\";\nimport * 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}\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  ): 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 Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type MiddlewareSpecs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"middlewareSpecs\"][number];\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: {\n    _tag: \"Confect\";\n    args: infer ArgsSchema_ extends Schema.Codec<any, any>;\n  };\n}\n  ? ArgsSchema_[\"Type\"]\n  : FunctionSpec_ extends {\n        functionProvenance: { _tag: \"Convex\"; \"~args\": infer Args_ };\n      }\n    ? Args_\n    : never;\n\nexport type Returns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_[\"Type\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; \"~returns\": infer Returns_ };\n        }\n      ? Awaited<Returns_>\n      : never;\n\nexport type EncodedArgs<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      args: infer ArgsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ArgsSchema_[\"Encoded\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; \"~args\": infer Args_ };\n        }\n      ? Args_\n      : never;\n\nexport type EncodedReturns<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: {\n      _tag: \"Confect\";\n      returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n    };\n  }\n    ? ReturnsSchema_[\"Encoded\"]\n    : FunctionSpec_ extends {\n          functionProvenance: { _tag: \"Convex\"; \"~returns\": infer Returns_ };\n        }\n      ? Returns_\n      : never;\n\nexport type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: FunctionProvenance.Confect<\n    any,\n    any,\n    infer ErrorSchema_ extends Schema.Codec<any, any>\n  >;\n}\n  ? ErrorSchema_[\"Type\"]\n  : never;\n\nexport type EncodedError<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_ extends {\n    functionProvenance: FunctionProvenance.Confect<\n      any,\n      any,\n      infer ErrorSchema_ extends Schema.Codec<any, any>\n    >;\n  }\n    ? ErrorSchema_[\"Encoded\"]\n    : never;\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  middleware(\n    this: AnyWithProps,\n    middlewareSpec: MiddlewareSpec.AnyMiddlewareSpec,\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      this.middlewareSpecs.some(\n        (existing) => existing.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      middlewareSpecs: [...this.middlewareSpecs, middlewareSpec],\n    });\n  },\n};\n\nconst make =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Args_ extends Schema.Codec<any, any>,\n    Returns_ extends Schema.Codec<any, any>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >({\n    name,\n    args,\n    returns,\n    error,\n  }: {\n    name: Name_;\n    args: () => Args_;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<Args_, Returns_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Confect(args, returns, error),\n      middlewareSpecs: [],\n    });\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<UserArgs extends FunctionProvenance.AnyUserArgs> =\n  \"paginationOpts\" extends keyof UserArgs[\"fields\"]\n    ? { readonly fields: { readonly paginationOpts: never } }\n    : unknown;\n\nconst makePaginated =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Item_ extends Schema.Codec<any, any>,\n    UserArgs_ extends FunctionProvenance.AnyUserArgs = Schema.Struct<{}>,\n    Error_ extends Schema.Codec<any, any> = never,\n  >({\n    name,\n    args,\n    item,\n    error,\n  }: {\n    name: Name_;\n    /** User-declared args, without `paginationOpts` — it is added automatically. */\n    args?: (() => UserArgs_) & ForbidPaginationOpts<UserArgs_>;\n    /** The page element schema. */\n    item: () => Item_;\n    error?: () => Error_;\n  }): Builder<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.ConfectPaginated<UserArgs_, Item_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.ConfectPaginated(\n        // When `args` is omitted, `UserArgs_` is its `Schema.Struct<{}>` default.\n        args ?? ((() => Schema.Struct({})) as unknown as () => UserArgs_),\n        item,\n        error,\n      ),\n      middlewareSpecs: [],\n    });\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, any>\n    ? A\n    : F extends RegisteredMutation<any, infer A, any>\n      ? A\n      : F extends RegisteredAction<any, infer A, any>\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      middlewareSpecs: [],\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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAcA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,MAAM;AAkOjC,MAAM,QAAQ;EACX,SAAS;CAEV,WAEE,gBACA;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,KAAK,gBAAgB,MAClB,aAAa,SAAS,QAAQ,eAAe,GAChD,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,iBAAiB,CAAC,GAAG,KAAK,iBAAiB,cAAc;EAC3D,CAAC;CACH;AACF;AAEA,MAAM,QAMF,wBACA,wBAOA,EACA,MACA,MACA,SACA,YAWG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBA,QAA2B,MAAM,SAAS,KAAK;EACnE,iBAAiB,CAAC;CACpB,CAAC;AACH;AAaF,MAAM,iBAMF,wBACA,wBAOA,EACA,MACA,MACA,MACA,YAaG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,iBAElB,eAAgB,OAAO,OAAO,CAAC,CAAC,IAChC,MACA,KACF;EACA,iBAAiB,CAAC;CACpB,CAAC;AACH;AAEF,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;AAgCA,MAAM,cAMF,wBACA,8BASA,SAMG;CACH,kCAAkC,IAAI;CAEtC,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;EACzC;EACA;EACA;EACA,oBAAoBC,OAGlB;EACF,iBAAiB,CAAC;CACpB,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

@@ -1,4 +1,3 @@
-import type { Record } from "effect";
 import type * as GroupSpec from "./GroupSpec";
 /**
  * Recursively generates paths for a group and its nested groups.
@@ -19,9 +18,7 @@ type AllHelper<Parent extends GroupSpec.AnyWithProps, Groups_ extends GroupSpec.
  */
 export type GroupAt<Group, Path extends string> = Group extends GroupSpec.AnyWithProps ? Path extends `${infer Head}.${infer Tail}` ? Group extends {
     readonly name: Head;
-} ? Group extends {
-    readonly groups: Record.ReadonlyRecord<string, infer SubGroup>;
-} ? GroupAt<SubGroup, Tail> : never : never : GroupSpec.WithName<Group, Path> : never;
+} ? GroupAt<GroupSpec.Groups<Group>, Tail> : never : GroupSpec.WithName<Group, Path> : never;
 export type SubGroupsAt<Group extends GroupSpec.AnyWithProps, GroupPath extends string> = GroupSpec.Groups<GroupAt<Group, GroupPath>> extends infer SubGroups ? SubGroups extends GroupSpec.AnyWithProps ? `${GroupPath}.${GroupSpec.Name<SubGroups>}` : never : never;
 export {};
 //# sourceMappingURL=GroupPath.d.ts.map

package/dist/GroupPath.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupPath.d.ts","sourceRoot":"","sources":["../src/GroupPath.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,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,KAAK,SAAS;IACZ,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,QAAQ,CAAC,CAAC;CAChE,GACC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,GACvB,KAAK,GACP,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;;;;;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"}

package/dist/GroupPath.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupPath.js","names":[],"sources":["../src/GroupPath.ts"],"sourcesContent":["import type { Record } from \"effect\";\nimport 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      ? Group extends {\n          readonly groups: Record.ReadonlyRecord<string, infer SubGroup>;\n        }\n        ? GroupAt<SubGroup, Tail>\n        : never\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 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":""}

package/dist/GroupSpec.d.ts

@@ -1,9 +1,10 @@
 import type * as FunctionSpec from "./FunctionSpec";
+import type * as MiddlewareSpec from "./MiddlewareSpec";
 import type * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
-export declare const TypeId = "@confect/core/GroupSpec";
+export declare const TypeId = "~@confect/core/GroupSpec";
 export type TypeId = typeof TypeId;
 export declare const isGroupSpec: (u: unknown) => u is AnyWithProps;
-export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_ extends string, Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never, Groups_ extends AnyWithProps = never> {
+export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_ extends string, Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never, Groups_ extends AnyWithProps = never, MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never> {
     readonly [TypeId]: TypeId;
     readonly runtime: Runtime;
     readonly name: Name_;
@@ -13,20 +14,25 @@ export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_
     readonly groups: {
         [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;
     };
-    addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(function_: Function): GroupSpec<Runtime, Name_, Functions_ | Function, Groups_>;
-    addGroup<Group extends AnyWithProps>(group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group>;
-    addGroupAt<const AtName extends string, Group extends AnyWithProps>(name: AtName, group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | NamedAt<Group, AtName>>;
+    readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;
+    readonly "~Functions": Functions_;
+    readonly "~Groups": Groups_;
+    addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(function_: Function & MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>): GroupSpec<Runtime, Name_, Functions_ | Function, Groups_, MiddlewareSpecs_>;
+    addGroup<Group extends AnyWithProps>(group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;
+    addGroupAt<const AtName extends string, Group extends AnyWithProps>(name: AtName, group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | NamedAt<Group, AtName>, MiddlewareSpecs_>;
+    middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(middlewareSpec: MiddlewareSpec_ & MiddlewareSpec.ValidateAttach<MiddlewareSpec_, Functions_, MiddlewareSpecs_>): GroupSpec<Runtime, Name_, Functions_, Groups_, MiddlewareSpecs_ | MiddlewareSpec_>;
 }
 export interface Any {
     readonly [TypeId]: TypeId;
 }
-export interface AnyWithProps extends GroupSpec<RuntimeAndFunctionType.Runtime, string, FunctionSpec.AnyWithProps, AnyWithProps> {
+export interface AnyWithProps extends GroupSpec<RuntimeAndFunctionType.Runtime, string, FunctionSpec.AnyWithProps, AnyWithProps, MiddlewareSpec.AnyMiddlewareSpec> {
 }
-export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends GroupSpec<Runtime, string, FunctionSpec.AnyWithPropsWithRuntime<Runtime>, AnyWithPropsWithRuntime<Runtime>> {
+export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends GroupSpec<Runtime, string, FunctionSpec.AnyWithPropsWithRuntime<Runtime>, AnyWithPropsWithRuntime<Runtime>, MiddlewareSpec.AnyMiddlewareSpec> {
 }
 export type Name<Group extends AnyWithProps> = Group["name"];
-export type Functions<Group extends AnyWithProps> = Group["functions"][keyof Group["functions"]];
-export type Groups<Group extends AnyWithProps> = Group["groups"][keyof Group["groups"]];
+export type Functions<Group extends AnyWithProps> = Group["~Functions"];
+export type Groups<Group extends AnyWithProps> = Group["~Groups"];
+export type MiddlewareSpecs<Group extends AnyWithProps> = Group["middlewareSpecs"][number];
 export type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [
     never
 ] ? never : Name<Groups<Group>>;
@@ -37,7 +43,7 @@ export type WithName<Group extends AnyWithProps, Name_ extends Name<Group>> = Ex
 export type NamedAt<Group extends Any, Name_ extends string> = Omit<Group, "name"> & {
     readonly name: Name_;
 };
-export type AddGroups<Group extends AnyWithProps, ExtraGroups extends AnyWithProps> = Group extends GroupSpec<infer Runtime, infer Name_, infer Functions_, infer Groups_> ? GroupSpec<Runtime, Name_, Functions_, Groups_ | ExtraGroups> : never;
+export type AddGroups<Group extends AnyWithProps, ExtraGroups extends AnyWithProps> = Group extends GroupSpec<infer Runtime, infer Name_, infer Functions_, infer Groups_, infer MiddlewareSpecs_> ? GroupSpec<Runtime, Name_, Functions_, Groups_ | ExtraGroups, MiddlewareSpecs_> : never;
 export declare const make: () => GroupSpec<"Convex", "">;
 export declare const makeAt: <const Name_ extends string>(name: Name_) => GroupSpec<"Convex", Name_>;
 export declare const makeNode: () => GroupSpec<"Node", "">;

package/dist/GroupSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAGxE,eAAO,MAAM,MAAM,4BAA4B,CAAC;AAChD,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;IAEpC,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;SACjB,YAAY,IAAI,YAAY,CAAC,IAAI,CAChC,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAC9C,GAAG,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACpD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;SACd,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;KAC3D,CAAC;IAEF,WAAW,CAAC,QAAQ,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EACxE,SAAS,EAAE,QAAQ,GAClB,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE7D,QAAQ,CAAC,KAAK,SAAS,YAAY,EACjC,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,KAAK,CAAC,CAAC;IAE1D,UAAU,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,SAAS,YAAY,EAChE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5E;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,CACb;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,CACjC;CAAG;AAEJ,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,YAAY,IAC9C,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAE/C,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEzC,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,CACd,GACG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,WAAW,CAAC,GAC5D,KAAK,CAAC;AAmEZ,eAAO,MAAM,IAAI,QAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAM1C,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QACzC,KAAK,KACV,SAAS,CAAC,QAAQ,EAAE,KAAK,CAS3B,CAAC;AAEF,eAAO,MAAM,QAAQ,QAAO,SAAS,CAAC,MAAM,EAAE,EAAE,CAM5C,CAAC;AAEL,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC7C,KAAK,KACV,SAAS,CAAC,MAAM,EAAE,KAAK,CASzB,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC3C,KAAK,SACJ,GAAG,KACT,YAcF,CAAC"}
+{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAEA,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,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,GACF,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;AA4HZ,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"}