@gaganref/confect-core 10.3.1-fork.26 → 10.3.1-fork.27

package/dist/ActionCall.d.ts

@@ -0,0 +1,18 @@
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type * as Schema from "effect/Schema";
+import * as FunctionSpec from "./FunctionSpec.js";
+import * as MiddlewareSpec from "./MiddlewareSpec.js";
+import type * as Ref from "./Ref.js";
+export interface Call {
+    <Target extends Ref.AnyQuery | Ref.AnyMutation>(target: Target, ...args: Ref.OptionalArgs<NoInfer<Target>>): Effect.Effect<Ref.Returns<Target>, Ref.Error<Target> | Schema.SchemaError>;
+}
+declare const ActionCall_base: Context.ServiceClass<ActionCall, "@confect/core/ActionCall", Call>;
+export declare class ActionCall extends ActionCall_base {
+}
+declare const Middleware_base: MiddlewareSpec.MiddlewareSpec<Middleware, "@confect/core/ActionCall/Middleware", ActionCall, never, never, "action", never>;
+export declare class Middleware extends Middleware_base {
+}
+export declare const profile: FunctionSpec.Extended<import("./Profile.js").NoFields, typeof Middleware, [{}]>;
+export {};
+//# sourceMappingURL=ActionCall.d.ts.map

package/dist/ActionCall.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionCall.d.ts","sourceRoot":"","sources":["../src/ActionCall.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AAErC,MAAM,WAAW,IAAI;IACnB,CAAC,MAAM,SAAS,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,WAAW,EAC5C,MAAM,EAAE,MAAM,EACd,GAAG,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;CAC/E;;AAED,qBAAa,UAAW,SAAQ,eAE/B;CAAG;;AACJ,qBAAa,UAAW,SAAQ,eAK9B;CAAG;AAEL,eAAO,MAAM,OAAO,iFAAsD,CAAC"}

package/dist/ActionCall.js

@@ -0,0 +1,21 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { MiddlewareSpec } from "./MiddlewareSpec.js";
+import { extend } from "./FunctionSpec.js";
+import * as Context from "effect/Context";
+//#region src/ActionCall.ts
+var ActionCall_exports = /* @__PURE__ */ __exportAll({
+	ActionCall: () => ActionCall,
+	Middleware: () => Middleware,
+	profile: () => profile
+});
+var ActionCall = class extends Context.Service()("@confect/core/ActionCall") {};
+var Middleware = class extends MiddlewareSpec()("@confect/core/ActionCall/Middleware", { functionTypes: {
+	query: false,
+	mutation: false,
+	action: true
+} }) {};
+const profile = extend()({ middleware: [Middleware] });
+//#endregion
+export { ActionCall, ActionCall_exports, Middleware, profile };
+
+//# sourceMappingURL=ActionCall.js.map

package/dist/ActionCall.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActionCall.js","names":["MiddlewareSpec.MiddlewareSpec","FunctionSpec.extend"],"sources":["../src/ActionCall.ts"],"sourcesContent":["import * as Context from \"effect/Context\";\nimport type * as Effect from \"effect/Effect\";\nimport type * as Schema from \"effect/Schema\";\nimport * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport type * as Ref from \"./Ref.js\";\n\nexport interface Call {\n  <Target extends Ref.AnyQuery | Ref.AnyMutation>(\n    target: Target,\n    ...args: Ref.OptionalArgs<NoInfer<Target>>\n  ): Effect.Effect<Ref.Returns<Target>, Ref.Error<Target> | Schema.SchemaError>;\n}\n\nexport class ActionCall extends Context.Service<ActionCall, Call>()(\n  \"@confect/core/ActionCall\",\n) {}\nexport class Middleware extends MiddlewareSpec.MiddlewareSpec<\n  Middleware,\n  { provides: ActionCall }\n>()(\"@confect/core/ActionCall/Middleware\", {\n  functionTypes: { query: false, mutation: false, action: true },\n}) {}\n\nexport const profile = FunctionSpec.extend()({ middleware: [Middleware] });\n"],"mappings":";;;;;;;;;;AAcA,IAAa,aAAb,cAAgC,QAAQ,QAA0B,CAAC,CACjE,0BACF,CAAC,CAAC,CAAC;AACH,IAAa,aAAb,cAAgCA,eAG9B,CAAC,CAAC,uCAAuC,EACzC,eAAe;CAAE,OAAO;CAAO,UAAU;CAAO,QAAQ;AAAK,EAC/D,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAa,UAAUC,OAAoB,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC"}

package/dist/Callback.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Callback.d.ts","sourceRoot":"","sources":["../src/Callback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,wBAAwB,EACxB,YAAY,EACb,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAE3E,eAAO,MAAM,MAAM,4BAA4B,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,QAAA,MAAM,YAAY,mCAAmC,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;AAEvC;;;;GAIG;AACH,MAAM,WAAW,QAAQ,CACvB,GAAG,SAAS,EAAE,EACd,aAAa,SAAS,YAAY,EAClC,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK;IAE7C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC;IACjB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CACrD,WAAW,EACX,QAAQ,EACR,MAAM,EACN,kBAAkB,CAAC,QAAQ,CAC5B,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,UAAU,CAAC;CAC5D;AAED,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,GACa,CAAC;AAE3D,KAAK,UAAU,CAAC,SAAS,SAAS,GAAG,IACnC,SAAS,CAAC,oBAAoB,CAAC,SAAS;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;CACjC,GACG,WAAW,GACX,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,SAAS,SAAS,GAAG,IACtC,SAAS,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,CAAC;AAE7C,KAAK,WAAW,CAAC,SAAS,SAAS,GAAG,IACpC,SAAS,CAAC,oBAAoB,CAAC,SAAS;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;CACrC,GACG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC7C,KAAK,CAAC;AAEZ,MAAM,MAAM,IAAI,CAAC,SAAS,SAAS,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1D,UAAU,CAAC,SAAS,CAAC,CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,SAAS,SAAS,GAAG,IAAI,aAAa,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E,MAAM,MAAM,KAAK,CAAC,SAAS,SAAS,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CACxD,OAAO,CACL,sBAAsB,CAAC,sBAAsB,EAC7C;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;CAClD,CACF,EACD,UAAU,EACV,UAAU,CAAC,SAAS,CAAC,EACrB,aAAa,CAAC,SAAS,CAAC,EACxB,WAAW,CAAC,SAAS,CAAC,CACvB,GAAG;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;AA2BjD,eAAO,MAAM,KAAK,SAtBR,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;2DAmBP,CAAC;AACnC,eAAO,MAAM,QAAQ,SAvBX,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;8DAoBD,CAAC;AACzC,eAAO,MAAM,MAAM,SAxBT,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;4DAqBL,CAAC;AAwBrC;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,SAAS,GAAG,YAChC,SAAS,KAClB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAetC,CAAC;AAEJ,KAAK,WAAW,CAAC,IAAI,IAAI,IAAI,SAAS;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,MAAM,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,UAAU,CAAC;KAC1E,CAAC;CACH,GACG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEnB,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GACjE,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAClC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAEtB,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/C;;;;GAIG;AACH,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,SAAS,CACjC,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GACrC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GACzE,KAAK,CACV,GACG,IAAI,GACJ,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,KAAK,SAAS,CAAC,CAAC,IAAI,OAAO,SAAS,CAAC,GACjC,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAA;CAAE,GACvD,MAAM,GACN,CAAC,SACK,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,WAAW,GACf,CAAC,GACD;IAAE,CAAC,UAAU,GAAG,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,CAAC;AAE9E,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IACjB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,QAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA,GAC/D,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,IAAI,MAAM,SAAS,SAAS;IAC5E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,CAAC,IAAI,CAAC,GACb,IAAI,GACN,KAAK,CAAC;AAEV;;;GAGG;AACH,KAAK,WAAW,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI;IAC9D,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,GACvB,2EAA2E,SAAS,CAAC,IAAI,CAAC,kCAAkC,GAC5H,KAAK;IACT;QAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC;KAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,GAC3D,KAAK,GACL,IAAI,SAAS,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,cAAc,CAAC,WAAW,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;IACnG,SAAS,CACP,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EACzC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAC7B,SAAS,IAAI,GACV,KAAK,GACL,gDAAgD,SAAS,CAAC,IAAI,CAAC,SAAS;IAC5E,SAAS,CACP,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAC5C,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAChC,SAAS,IAAI,GACV,KAAK,GACL,kEAAkE,SAAS,CAAC,IAAI,CAAC,GAAG;IACxF;QAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;KAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GACxC,KAAK,GACL,8BAA8B,SAAS,CAAC,IAAI,CAAC,oBAAoB;IACrE;QAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;KAAC,SAAS;QAC1C,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;KAC/C,GACG,KAAK,GACL,gEAAgE,SAAS,CAAC,IAAI,CAAC,GAAG;CACvF,CAAC;AAEF,KAAK,QAAQ,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI,OAAO,CAClE,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAC7B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI;IAC/D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B,SAAS,CAAC,KAAK,CAAC,GACb,OAAO,GACP;IAAE,QAAQ,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;CAAE,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,QAAQ,GAAI,IAAI,SAAS,GAAG,CAAC,GAAG,OACtC,IAAI,KACR,wBAAwB,CACzB,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EACzB,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC/B,WAAW,CAAC,IAAI,CAAC,EACjB,cAAc,CAAC,IAAI,CAAC,CACqB,CAAC"}
+{"version":3,"file":"Callback.d.ts","sourceRoot":"","sources":["../src/Callback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,wBAAwB,EACxB,YAAY,EACb,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAE3E,eAAO,MAAM,MAAM,4BAA4B,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,QAAA,MAAM,YAAY,mCAAmC,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;AAEvC;;;;GAIG;AACH,MAAM,WAAW,QAAQ,CACvB,GAAG,SAAS,EAAE,EACd,aAAa,SAAS,YAAY,EAClC,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK;IAE7C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC;IACjB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CACrD,WAAW,EACX,QAAQ,EACR,MAAM,EACN,kBAAkB,CAAC,QAAQ,CAC5B,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,UAAU,CAAC;CAC5D;AAED,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,GACa,CAAC;AAE3D,KAAK,UAAU,CAAC,SAAS,SAAS,GAAG,IACnC,SAAS,CAAC,oBAAoB,CAAC,SAAS;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,WAAW,SACvC,kBAAkB,CAAC,UAAU,CAAC;CACjC,GACG,WAAW,GACX,KAAK,CAAC;AAEZ,KAAK,aAAa,CAAC,SAAS,SAAS,GAAG,IACtC,SAAS,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,CAAC;AAE7C,KAAK,WAAW,CAAC,SAAS,SAAS,GAAG,IACpC,SAAS,CAAC,oBAAoB,CAAC,SAAS;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;CACrC,GACG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC7C,KAAK,CAAC;AAEZ,MAAM,MAAM,IAAI,CAAC,SAAS,SAAS,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1D,UAAU,CAAC,SAAS,CAAC,CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,SAAS,SAAS,GAAG,IAAI,aAAa,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E,MAAM,MAAM,KAAK,CAAC,SAAS,SAAS,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CACxD,OAAO,CACL,sBAAsB,CAAC,sBAAsB,EAC7C;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;CAClD,CACF,EACD,UAAU,EACV,UAAU,CAAC,SAAS,CAAC,EACrB,aAAa,CAAC,SAAS,CAAC,EACxB,WAAW,CAAC,SAAS,CAAC,CACvB,GAAG;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC;AA2BjD,eAAO,MAAM,KAAK,SAtBR,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;2DAmBP,CAAC;AACnC,eAAO,MAAM,QAAQ,SAvBX,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;8DAoBD,CAAC;AACzC,eAAO,MAAM,MAAM,SAxBT,GAAG,SAAS,EAAE,QACd,WAAW,SAAS,kBAAkB,CAAC,UAAU,OACvD,QAAQ,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,UACvC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;;;;4DAqBL,CAAC;AAyBrC;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,SAAS,GAAG,YAChC,SAAS,KAClB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAetC,CAAC;AAEJ,KAAK,WAAW,CAAC,IAAI,IAAI,IAAI,SAAS;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,MAAM,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,UAAU,CAAC;KAC1E,CAAC;CACH,GACG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEnB,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GACjE,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAClC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAEtB,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/C;;;;GAIG;AACH,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,SAAS,CACjC,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GACrC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GACzE,KAAK,CACV,GACG,IAAI,GACJ,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,KAAK,SAAS,CAAC,CAAC,IAAI,OAAO,SAAS,CAAC,GACjC,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAA;CAAE,GACvD,MAAM,GACN,CAAC,SACK,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,WAAW,GACf,CAAC,GACD;IAAE,CAAC,UAAU,GAAG,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;CAAE,CAAC;AAE9E,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IACjB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,QAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA,GAC/D,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,IAAI,MAAM,SAAS,SAAS;IAC5E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,OAAO,CAAC,IAAI,CAAC,GACb,IAAI,GACN,KAAK,CAAC;AAEV;;;GAGG;AACH,KAAK,WAAW,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI;IAC9D,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,GACvB,2EAA2E,SAAS,CAAC,IAAI,CAAC,kCAAkC,GAC5H,KAAK;IACT;QAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC;KAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,GAC3D,KAAK,GACL,IAAI,SAAS,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,cAAc,CAAC,WAAW,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;IACnG,SAAS,CACP,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EACzC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAC7B,SAAS,IAAI,GACV,KAAK,GACL,gDAAgD,SAAS,CAAC,IAAI,CAAC,SAAS;IAC5E,SAAS,CACP,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAC5C,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAChC,SAAS,IAAI,GACV,KAAK,GACL,kEAAkE,SAAS,CAAC,IAAI,CAAC,GAAG;IACxF;QAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;KAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GACxC,KAAK,GACL,8BAA8B,SAAS,CAAC,IAAI,CAAC,oBAAoB;IACrE;QAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;KAAC,SAAS;QAC1C,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;KAC/C,GACG,KAAK,GACL,gEAAgE,SAAS,CAAC,IAAI,CAAC,GAAG;CACvF,CAAC;AAEF,KAAK,QAAQ,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI,OAAO,CAClE,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAC7B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,SAAS,GAAG,CAAC,GAAG,IAAI;IAC/D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B,SAAS,CAAC,KAAK,CAAC,GACb,OAAO,GACP;IAAE,QAAQ,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;CAAE,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,QAAQ,GAAI,IAAI,SAAS,GAAG,CAAC,GAAG,OACtC,IAAI,KACR,wBAAwB,CACzB,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EACzB,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC/B,WAAW,CAAC,IAAI,CAAC,EACjB,cAAc,CAAC,IAAI,CAAC,CACqB,CAAC"}

package/dist/Callback.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { Confect } from "./FunctionProvenance.js";
 import { fromProvenance, getFunctionReference, isRef } from "./Ref.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import * as SchemaGetter from "effect/SchemaGetter";
 //#region src/Callback.ts
 var Callback_exports = /* @__PURE__ */ __exportAll({
@@ -27,7 +27,7 @@ const query = make("query");
 const mutation = make("mutation");
 const action = make("action");
 const isHandleOf = (contract) => (value) => isRef(value) && Predicate.hasProperty(value, HandleTypeId) && value[HandleTypeId] === contract.id;
-const fromText = (contract, text) => Object.assign(fromProvenance(text, contract.functionProvenance, [], text), { [HandleTypeId]: contract.id });
+const fromText = (contract, text) => Object.assign(fromProvenance(text, contract.functionProvenance, [], text, contract.functionType), { [HandleTypeId]: contract.id });
 /**
 * The schema of a handle for `contract`: a string on the wire, a runnable ref
 * once decoded. Use it in a component's function args or tables.

package/dist/Callback.js.map

@@ -1 +1 @@
-{"version":3,"file":"Callback.js","names":["FunctionProvenance.Confect","Ref.isRef","Ref.fromProvenance","Ref.getFunctionReference"],"sources":["../src/Callback.ts"],"sourcesContent":["import type {\n  FunctionReference,\n  FunctionReference_future,\n  FunctionType,\n} from \"convex/server\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport * as Ref from \"./Ref.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\n\nexport const TypeId = \"~@confect/core/Callback\";\nexport type TypeId = typeof TypeId;\n\nconst HandleTypeId = \"~@confect/core/Callback/Handle\";\n\n/**\n * A contract's id, `\"<component>/<event>\"`.\n */\nexport type Id = `${string}/${string}`;\n\n/**\n * A function a component calls back into its host, declared by the component:\n * the args it sends and the returns and errors it accepts. A host proves that\n * one of its functions satisfies the contract when it creates a handle.\n */\nexport interface Contract<\n  Id_ extends Id,\n  FunctionType_ extends FunctionType,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Returns_ extends Schema.Codec<any, any>,\n  Error_ extends Schema.Codec<any, any> = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly id: Id_;\n  readonly functionType: FunctionType_;\n  readonly functionProvenance: FunctionProvenance.Confect<\n    ArgsFields_,\n    Returns_,\n    Error_,\n    FunctionProvenance.Standard\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n  readonly id: Id;\n  readonly functionType: FunctionType;\n  readonly functionProvenance: FunctionProvenance.AnyConfect;\n}\n\nexport const isContract = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId) && u[TypeId] === TypeId;\n\ntype ArgsFields<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"] extends {\n    readonly \"~ArgsFields\": infer ArgsFields_ extends\n      FunctionProvenance.ArgsFields;\n  }\n    ? ArgsFields_\n    : never;\n\ntype ReturnsSchema<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"][\"returns\"];\n\ntype ErrorSchema<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"] extends {\n    readonly error?: infer ErrorSchema_;\n  }\n    ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n    : never;\n\nexport type Args<Contract_ extends Any> = Schema.Struct.Type<\n  ArgsFields<Contract_>\n>;\n\nexport type Returns<Contract_ extends Any> = ReturnsSchema<Contract_>[\"Type\"];\n\nexport type Error<Contract_ extends Any> = ErrorSchema<Contract_>[\"Type\"];\n\n/**\n * A host function a component received for a contract. It is a ref, so the\n * runners and the scheduler run it with the contract's codecs, and declared\n * errors arrive by tag.\n */\nexport type Handle<Contract_ extends Any> = Ref.ConfectRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    {\n      readonly runtime: \"Convex\";\n      readonly functionType: Contract_[\"functionType\"];\n    }\n  >,\n  \"internal\",\n  ArgsFields<Contract_>,\n  ReturnsSchema<Contract_>,\n  ErrorSchema<Contract_>\n> & { readonly [HandleTypeId]: Contract_[\"id\"] };\n\nconst make =\n  <FunctionType_ extends FunctionType>(functionType: FunctionType_) =>\n  <\n    const Id_ extends Id,\n    const ArgsFields_ extends FunctionProvenance.ArgsFields = {},\n    Returns_ extends Schema.Codec<any, any> = never,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(\n    id: Id_,\n    options: {\n      readonly args?: () => ArgsFields_;\n      readonly returns: () => Returns_;\n      readonly error?: () => Error_;\n    },\n  ): Contract<Id_, FunctionType_, ArgsFields_, Returns_, Error_> => ({\n    [TypeId]: TypeId,\n    id,\n    functionType,\n    functionProvenance: FunctionProvenance.Confect(\n      options.args ?? (() => ({}) as ArgsFields_),\n      options.returns,\n      options.error,\n    ),\n  });\n\nexport const query = make(\"query\");\nexport const mutation = make(\"mutation\");\nexport const action = make(\"action\");\n\nconst isHandleOf =\n  <Contract_ extends Any>(contract: Contract_) =>\n  (value: unknown): value is Handle<Contract_> =>\n    Ref.isRef(value) &&\n    Predicate.hasProperty(value, HandleTypeId) &&\n    value[HandleTypeId] === contract.id;\n\nconst fromText = <Contract_ extends Any>(\n  contract: Contract_,\n  text: string,\n): Handle<Contract_> =>\n  Object.assign(\n    Ref.fromProvenance(\n      text,\n      contract.functionProvenance,\n      [],\n      // Convex types a handle as a string that is also a function reference.\n      text as unknown as FunctionReference<any, any>,\n    ),\n    { [HandleTypeId]: contract.id },\n  ) as unknown as Handle<Contract_>;\n\n/**\n * The schema of a handle for `contract`: a string on the wire, a runnable ref\n * once decoded. Use it in a component's function args or tables.\n */\nexport const handle = <Contract_ extends Any>(\n  contract: Contract_,\n): Schema.Codec<Handle<Contract_>, string> =>\n  Schema.String.pipe(\n    Schema.decodeTo(\n      Schema.declare(isHandleOf(contract), {\n        identifier: `Callback.Handle<${contract.id}>`,\n      }),\n      {\n        decode: SchemaGetter.transform((text: string) =>\n          fromText(contract, text),\n        ),\n        encode: SchemaGetter.transform(\n          (ref: Handle<Contract_>) => ref.convexFunctionName,\n        ),\n      },\n    ),\n  );\n\ntype EncodedArgs<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? Schema.Struct.Encoded<ArgsFields_>\n  : Ref.Args<Ref_>;\n\ntype EncodedReturns<Ref_> = Ref_ extends { readonly _tag: \"Confect\" }\n  ? Ref.ReturnsSchema<Ref_>[\"Encoded\"]\n  : Ref.Returns<Ref_>;\n\ntype IsAny<A> = 0 extends 1 & A ? true : false;\n\n/**\n * A Confect ref typed from values alone, such as a bound component's ref, has\n * no codec types left to compare, and middleware attachments typed without\n * their specs erase their errors. True when any variant of `Ref_` is erased.\n */\ntype IsErased<Ref_> = true extends (\n  Ref_ extends { readonly _tag: \"Confect\" }\n    ? IsAny<Ref.ReturnsSchema<Ref_>[\"Encoded\"]> | IsAny<Ref.EncodedError<Ref_>>\n    : false\n)\n  ? true\n  : false;\n\n/**\n * The shape a value has on the wire: a component's ID brands become `string`,\n * since the contract cannot name the host's scope, while the host's own IDs\n * keep their table. Arrays and tuples lose `readonly`, and an optional field is\n * the same whether or not it admits `undefined`, which Convex never transmits.\n * `unknown` stays `unknown`.\n */\ntype WireShape<A> = unknown extends A\n  ? A\n  : A extends { readonly \"~@confect/core/ScopedId\": unknown }\n    ? string\n    : A extends\n          | string\n          | number\n          | bigint\n          | boolean\n          | null\n          | undefined\n          | ArrayBuffer\n      ? A\n      : { -readonly [Key in keyof A]: WireShape<Exclude<A[Key], undefined>> };\n\ntype Identical<A, B> =\n  (<T>() => T extends A ? 1 : 2) extends <T>() => T extends B ? 1 : 2\n    ? true\n    : false;\n\ntype FirstOf<Checks extends ReadonlyArray<unknown>> = Checks extends readonly [\n  infer Head,\n  ...infer Rest,\n]\n  ? [Head] extends [never]\n    ? FirstOf<Rest>\n    : Head\n  : never;\n\n/**\n * Every obligation a host ref owes a contract, in the order they are reported.\n * Each is `never` when it holds.\n */\ntype Obligations<Contract_ extends Any, Ref_ extends Ref.Any> = [\n  IsErased<Ref_> extends true\n    ? `the ref's codecs are erased, so its encoding cannot be checked against \"${Contract_[\"id\"]}\"; pass the host's generated ref`\n    : never,\n  [Ref.GetFunctionType<Ref_>] extends [Contract_[\"functionType\"]]\n    ? never\n    : `\"${Contract_[\"id\"]}\" needs a ${Contract_[\"functionType\"]}, not a ${Ref.GetFunctionType<Ref_>}`,\n  Identical<\n    WireShape<EncodedArgs<Handle<Contract_>>>,\n    WireShape<EncodedArgs<Ref_>>\n  > extends true\n    ? never\n    : `the ref's encoded args differ from the args \"${Contract_[\"id\"]}\" sends`,\n  Identical<\n    WireShape<EncodedReturns<Handle<Contract_>>>,\n    WireShape<EncodedReturns<Ref_>>\n  > extends true\n    ? never\n    : `the ref's returns are encoded differently from the returns of \"${Contract_[\"id\"]}\"`,\n  [Ref.Error<Ref_>] extends [Error<Contract_>]\n    ? never\n    : `the ref fails with errors \"${Contract_[\"id\"]}\" does not declare`,\n  [WireShape<Ref.EncodedError<Ref_>>] extends [\n    WireShape<Ref.EncodedError<Handle<Contract_>>>,\n  ]\n    ? never\n    : `the ref's errors are encoded differently from the errors of \"${Contract_[\"id\"]}\"`,\n];\n\ntype Mismatch<Contract_ extends Any, Ref_ extends Ref.Any> = FirstOf<\n  Obligations<Contract_, Ref_>\n>;\n\n/**\n * `unknown` when host ref `Ref_` satisfies `Contract_` as far as its types\n * show, otherwise an object type naming the first mismatch. The check compares\n * the types that cross the wire, with a component's IDs compared as strings.\n * The host's encoded args and returns must equal the contract's, and its\n * encoded errors (middleware errors included) must be ones the contract's\n * codecs decode. A ref whose codecs are erased cannot be checked and is\n * refused. Types miss what only the validators show, such as field names behind\n * a `Record` type, so `Callback.create` in `@confect/server` also compares the\n * compiled validators before it creates a handle.\n */\nexport type Check<Contract_ extends Any, Ref_ extends Ref.Any> = [\n  Mismatch<Contract_, Ref_>,\n] extends [never]\n  ? unknown\n  : { readonly \"~CallbackMismatch\": Mismatch<Contract_, Ref_> };\n\n/**\n * View a ref as Convex's `FunctionReference_future`, typed with its wire args\n * and returns, for `createFunctionHandle` and clients that accept it.\n */\nexport const toFuture = <Ref_ extends Ref.Any>(\n  ref: Ref_,\n): FunctionReference_future<\n  Ref.GetFunctionType<Ref_>,\n  Ref.GetFunctionVisibility<Ref_>,\n  EncodedArgs<Ref_>,\n  EncodedReturns<Ref_>\n> => Ref.getFunctionReference(ref) as never;\n"],"mappings":";;;;;;;;;;;;;;;;AAYA,MAAa,SAAS;AAGtB,MAAM,eAAe;AAqCrB,MAAa,cAAc,MACzB,UAAU,YAAY,GAAA,yBAAS,KAAK,EAAA,+BAAA;AA+CtC,MAAM,QACiC,kBAOnC,IACA,aAKiE;EAChE,SAAS;CACV;CACA;CACA,oBAAoBA,QAClB,QAAQ,gBAAgB,CAAC,KACzB,QAAQ,SACR,QAAQ,KACV;AACF;AAEF,MAAa,QAAQ,KAAK,OAAO;AACjC,MAAa,WAAW,KAAK,UAAU;AACvC,MAAa,SAAS,KAAK,QAAQ;AAEnC,MAAM,cACoB,cACvB,UACCC,MAAU,KAAK,KACf,UAAU,YAAY,OAAO,YAAY,KACzC,MAAM,kBAAkB,SAAS;AAErC,MAAM,YACJ,UACA,SAEA,OAAO,OACLC,eACE,MACA,SAAS,oBACT,CAAC,GAED,IACF,GACA,GAAG,eAAe,SAAS,GAAG,CAChC;;;;;AAMF,MAAa,UACX,aAEA,OAAO,OAAO,KACZ,OAAO,SACL,OAAO,QAAQ,WAAW,QAAQ,GAAG,EACnC,YAAY,mBAAmB,SAAS,GAAG,GAC7C,CAAC,GACD;CACE,QAAQ,aAAa,WAAW,SAC9B,SAAS,UAAU,IAAI,CACzB;CACA,QAAQ,aAAa,WAClB,QAA2B,IAAI,kBAClC;AACF,CACF,CACF;;;;;AA4HF,MAAa,YACX,QAMGC,qBAAyB,GAAG"}
+{"version":3,"file":"Callback.js","names":["FunctionProvenance.Confect","Ref.isRef","Ref.fromProvenance","Ref.getFunctionReference"],"sources":["../src/Callback.ts"],"sourcesContent":["import type {\n  FunctionReference,\n  FunctionReference_future,\n  FunctionType,\n} from \"convex/server\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaGetter from \"effect/SchemaGetter\";\nimport * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport * as Ref from \"./Ref.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\n\nexport const TypeId = \"~@confect/core/Callback\";\nexport type TypeId = typeof TypeId;\n\nconst HandleTypeId = \"~@confect/core/Callback/Handle\";\n\n/**\n * A contract's id, `\"<component>/<event>\"`.\n */\nexport type Id = `${string}/${string}`;\n\n/**\n * A function a component calls back into its host, declared by the component:\n * the args it sends and the returns and errors it accepts. A host proves that\n * one of its functions satisfies the contract when it creates a handle.\n */\nexport interface Contract<\n  Id_ extends Id,\n  FunctionType_ extends FunctionType,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Returns_ extends Schema.Codec<any, any>,\n  Error_ extends Schema.Codec<any, any> = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly id: Id_;\n  readonly functionType: FunctionType_;\n  readonly functionProvenance: FunctionProvenance.Confect<\n    ArgsFields_,\n    Returns_,\n    Error_,\n    FunctionProvenance.Standard\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n  readonly id: Id;\n  readonly functionType: FunctionType;\n  readonly functionProvenance: FunctionProvenance.AnyConfect;\n}\n\nexport const isContract = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId) && u[TypeId] === TypeId;\n\ntype ArgsFields<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"] extends {\n    readonly \"~ArgsFields\": infer ArgsFields_ extends\n      FunctionProvenance.ArgsFields;\n  }\n    ? ArgsFields_\n    : never;\n\ntype ReturnsSchema<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"][\"returns\"];\n\ntype ErrorSchema<Contract_ extends Any> =\n  Contract_[\"functionProvenance\"] extends {\n    readonly error?: infer ErrorSchema_;\n  }\n    ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n    : never;\n\nexport type Args<Contract_ extends Any> = Schema.Struct.Type<\n  ArgsFields<Contract_>\n>;\n\nexport type Returns<Contract_ extends Any> = ReturnsSchema<Contract_>[\"Type\"];\n\nexport type Error<Contract_ extends Any> = ErrorSchema<Contract_>[\"Type\"];\n\n/**\n * A host function a component received for a contract. It is a ref, so the\n * runners and the scheduler run it with the contract's codecs, and declared\n * errors arrive by tag.\n */\nexport type Handle<Contract_ extends Any> = Ref.ConfectRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    {\n      readonly runtime: \"Convex\";\n      readonly functionType: Contract_[\"functionType\"];\n    }\n  >,\n  \"internal\",\n  ArgsFields<Contract_>,\n  ReturnsSchema<Contract_>,\n  ErrorSchema<Contract_>\n> & { readonly [HandleTypeId]: Contract_[\"id\"] };\n\nconst make =\n  <FunctionType_ extends FunctionType>(functionType: FunctionType_) =>\n  <\n    const Id_ extends Id,\n    const ArgsFields_ extends FunctionProvenance.ArgsFields = {},\n    Returns_ extends Schema.Codec<any, any> = never,\n    Error_ extends Schema.Codec<any, any> = never,\n  >(\n    id: Id_,\n    options: {\n      readonly args?: () => ArgsFields_;\n      readonly returns: () => Returns_;\n      readonly error?: () => Error_;\n    },\n  ): Contract<Id_, FunctionType_, ArgsFields_, Returns_, Error_> => ({\n    [TypeId]: TypeId,\n    id,\n    functionType,\n    functionProvenance: FunctionProvenance.Confect(\n      options.args ?? (() => ({}) as ArgsFields_),\n      options.returns,\n      options.error,\n    ),\n  });\n\nexport const query = make(\"query\");\nexport const mutation = make(\"mutation\");\nexport const action = make(\"action\");\n\nconst isHandleOf =\n  <Contract_ extends Any>(contract: Contract_) =>\n  (value: unknown): value is Handle<Contract_> =>\n    Ref.isRef(value) &&\n    Predicate.hasProperty(value, HandleTypeId) &&\n    value[HandleTypeId] === contract.id;\n\nconst fromText = <Contract_ extends Any>(\n  contract: Contract_,\n  text: string,\n): Handle<Contract_> =>\n  Object.assign(\n    Ref.fromProvenance(\n      text,\n      contract.functionProvenance,\n      [],\n      // Convex types a handle as a string that is also a function reference.\n      text as unknown as FunctionReference<any, any>,\n      contract.functionType,\n    ),\n    { [HandleTypeId]: contract.id },\n  ) as unknown as Handle<Contract_>;\n\n/**\n * The schema of a handle for `contract`: a string on the wire, a runnable ref\n * once decoded. Use it in a component's function args or tables.\n */\nexport const handle = <Contract_ extends Any>(\n  contract: Contract_,\n): Schema.Codec<Handle<Contract_>, string> =>\n  Schema.String.pipe(\n    Schema.decodeTo(\n      Schema.declare(isHandleOf(contract), {\n        identifier: `Callback.Handle<${contract.id}>`,\n      }),\n      {\n        decode: SchemaGetter.transform((text: string) =>\n          fromText(contract, text),\n        ),\n        encode: SchemaGetter.transform(\n          (ref: Handle<Contract_>) => ref.convexFunctionName,\n        ),\n      },\n    ),\n  );\n\ntype EncodedArgs<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? Schema.Struct.Encoded<ArgsFields_>\n  : Ref.Args<Ref_>;\n\ntype EncodedReturns<Ref_> = Ref_ extends { readonly _tag: \"Confect\" }\n  ? Ref.ReturnsSchema<Ref_>[\"Encoded\"]\n  : Ref.Returns<Ref_>;\n\ntype IsAny<A> = 0 extends 1 & A ? true : false;\n\n/**\n * A Confect ref typed from values alone, such as a bound component's ref, has\n * no codec types left to compare, and middleware attachments typed without\n * their specs erase their errors. True when any variant of `Ref_` is erased.\n */\ntype IsErased<Ref_> = true extends (\n  Ref_ extends { readonly _tag: \"Confect\" }\n    ? IsAny<Ref.ReturnsSchema<Ref_>[\"Encoded\"]> | IsAny<Ref.EncodedError<Ref_>>\n    : false\n)\n  ? true\n  : false;\n\n/**\n * The shape a value has on the wire: a component's ID brands become `string`,\n * since the contract cannot name the host's scope, while the host's own IDs\n * keep their table. Arrays and tuples lose `readonly`, and an optional field is\n * the same whether or not it admits `undefined`, which Convex never transmits.\n * `unknown` stays `unknown`.\n */\ntype WireShape<A> = unknown extends A\n  ? A\n  : A extends { readonly \"~@confect/core/ScopedId\": unknown }\n    ? string\n    : A extends\n          | string\n          | number\n          | bigint\n          | boolean\n          | null\n          | undefined\n          | ArrayBuffer\n      ? A\n      : { -readonly [Key in keyof A]: WireShape<Exclude<A[Key], undefined>> };\n\ntype Identical<A, B> =\n  (<T>() => T extends A ? 1 : 2) extends <T>() => T extends B ? 1 : 2\n    ? true\n    : false;\n\ntype FirstOf<Checks extends ReadonlyArray<unknown>> = Checks extends readonly [\n  infer Head,\n  ...infer Rest,\n]\n  ? [Head] extends [never]\n    ? FirstOf<Rest>\n    : Head\n  : never;\n\n/**\n * Every obligation a host ref owes a contract, in the order they are reported.\n * Each is `never` when it holds.\n */\ntype Obligations<Contract_ extends Any, Ref_ extends Ref.Any> = [\n  IsErased<Ref_> extends true\n    ? `the ref's codecs are erased, so its encoding cannot be checked against \"${Contract_[\"id\"]}\"; pass the host's generated ref`\n    : never,\n  [Ref.GetFunctionType<Ref_>] extends [Contract_[\"functionType\"]]\n    ? never\n    : `\"${Contract_[\"id\"]}\" needs a ${Contract_[\"functionType\"]}, not a ${Ref.GetFunctionType<Ref_>}`,\n  Identical<\n    WireShape<EncodedArgs<Handle<Contract_>>>,\n    WireShape<EncodedArgs<Ref_>>\n  > extends true\n    ? never\n    : `the ref's encoded args differ from the args \"${Contract_[\"id\"]}\" sends`,\n  Identical<\n    WireShape<EncodedReturns<Handle<Contract_>>>,\n    WireShape<EncodedReturns<Ref_>>\n  > extends true\n    ? never\n    : `the ref's returns are encoded differently from the returns of \"${Contract_[\"id\"]}\"`,\n  [Ref.Error<Ref_>] extends [Error<Contract_>]\n    ? never\n    : `the ref fails with errors \"${Contract_[\"id\"]}\" does not declare`,\n  [WireShape<Ref.EncodedError<Ref_>>] extends [\n    WireShape<Ref.EncodedError<Handle<Contract_>>>,\n  ]\n    ? never\n    : `the ref's errors are encoded differently from the errors of \"${Contract_[\"id\"]}\"`,\n];\n\ntype Mismatch<Contract_ extends Any, Ref_ extends Ref.Any> = FirstOf<\n  Obligations<Contract_, Ref_>\n>;\n\n/**\n * `unknown` when host ref `Ref_` satisfies `Contract_` as far as its types\n * show, otherwise an object type naming the first mismatch. The check compares\n * the types that cross the wire, with a component's IDs compared as strings.\n * The host's encoded args and returns must equal the contract's, and its\n * encoded errors (middleware errors included) must be ones the contract's\n * codecs decode. A ref whose codecs are erased cannot be checked and is\n * refused. Types miss what only the validators show, such as field names behind\n * a `Record` type, so `Callback.create` in `@confect/server` also compares the\n * compiled validators before it creates a handle.\n */\nexport type Check<Contract_ extends Any, Ref_ extends Ref.Any> = [\n  Mismatch<Contract_, Ref_>,\n] extends [never]\n  ? unknown\n  : { readonly \"~CallbackMismatch\": Mismatch<Contract_, Ref_> };\n\n/**\n * View a ref as Convex's `FunctionReference_future`, typed with its wire args\n * and returns, for `createFunctionHandle` and clients that accept it.\n */\nexport const toFuture = <Ref_ extends Ref.Any>(\n  ref: Ref_,\n): FunctionReference_future<\n  Ref.GetFunctionType<Ref_>,\n  Ref.GetFunctionVisibility<Ref_>,\n  EncodedArgs<Ref_>,\n  EncodedReturns<Ref_>\n> => Ref.getFunctionReference(ref) as never;\n"],"mappings":";;;;;;;;;;;;;;;;AAYA,MAAa,SAAS;AAGtB,MAAM,eAAe;AAqCrB,MAAa,cAAc,MACzB,UAAU,YAAY,GAAA,yBAAS,KAAK,EAAA,+BAAA;AA+CtC,MAAM,QACiC,kBAOnC,IACA,aAKiE;EAChE,SAAS;CACV;CACA;CACA,oBAAoBA,QAClB,QAAQ,gBAAgB,CAAC,KACzB,QAAQ,SACR,QAAQ,KACV;AACF;AAEF,MAAa,QAAQ,KAAK,OAAO;AACjC,MAAa,WAAW,KAAK,UAAU;AACvC,MAAa,SAAS,KAAK,QAAQ;AAEnC,MAAM,cACoB,cACvB,UACCC,MAAU,KAAK,KACf,UAAU,YAAY,OAAO,YAAY,KACzC,MAAM,kBAAkB,SAAS;AAErC,MAAM,YACJ,UACA,SAEA,OAAO,OACLC,eACE,MACA,SAAS,oBACT,CAAC,GAED,MACA,SAAS,YACX,GACA,GAAG,eAAe,SAAS,GAAG,CAChC;;;;;AAMF,MAAa,UACX,aAEA,OAAO,OAAO,KACZ,OAAO,SACL,OAAO,QAAQ,WAAW,QAAQ,GAAG,EACnC,YAAY,mBAAmB,SAAS,GAAG,GAC7C,CAAC,GACD;CACE,QAAQ,aAAa,WAAW,SAC9B,SAAS,UAAU,IAAI,CACzB;CACA,QAAQ,aAAa,WAClB,QAA2B,IAAI,kBAClC;AACF,CACF,CACF;;;;;AA4HF,MAAa,YACX,QAMGC,qBAAyB,GAAG"}

package/dist/Component.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Component.d.ts","sourceRoot":"","sources":["../src/Component.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAQ5E,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAGxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,KAAK,IAAI,MAAM,WAAW,CAAC;AACvC,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAC3E,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;;;;AAElC,qBAAa,wBAAyB,SAAQ,8BAE5C;IACA,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC;CAC3C,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,qBAAa,2BAA4B,SAAQ,iCAE/C;IACA,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,qBAAa,kCAAmC,SAAQ,wCAEtD;IACA,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC;CAC3C,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAmCD,QAAA,MAAM,MAAM,6BAA6B,CAAC;AAC1C,QAAA,MAAM,WAAW,kCAAkC,CAAC;AAEpD;;GAEG;AACH,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACrD,MAAM,GACN,CAAC,SACK,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,WAAW,GACf,CAAC,GACD;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAErC,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAC;AACF,KAAK,SAAS,CACZ,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,SAAS,CAAC;KACX,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CACjD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EACzC,IAAI,CACL;CACF,CAAC,CAAC;AACH,KAAK,QAAQ,CACX,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,GAAG;KAEhD,aAAa,IAAI,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,SAAS,QAAQ,GAClH,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAChC,KAAK,GACR,iBAAiB,CAClB,sBAAsB,CAAC,eAAe,CACpC,aAAa,CAAC,wBAAwB,CAAC,CACxC,EACD,UAAU,EACV,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAC3E,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,EAChD,IAAI,CACL;CACF,CAAC;AAEF,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,IAClD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;AAExC,UAAU,IAAI;IACZ,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC;CACxC;AAED,MAAM,WAAW,SAAS,CACxB,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,KAAK,SAAS,OAAO,CAAC,OAAO,EAC7B,MAAM,SAAS,MAAM,GAAG,MAAM;IAE9B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,CACpB,MAAM,SAAS,OAAO,CAAC,OAAO,EAC9B,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEhC,KAAK,SAAS,CAAC,YAAY,IACzB,YAAY,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,GAClE,IAAI,GACJ,YAAY,SAAS,MAAM,GACzB;KACG,GAAG,IAAI,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;CAC1D,CAAC,MAAM,YAAY,CAAC,GACrB,KAAK,CAAC;AAEd,KAAK,QAAQ,CACX,OAAO,EACP,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,IACxB,OAAO,SAAS,GAAG,CAAC,GAAG,GACvB,OAAO,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACzC,GAAG,CAAC,SAAS,CACX,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,EACtC,UAAU,EACV,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,mBAAmB,CAAC,EACrD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAC3B,GACD,OAAO,CACL,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,EACtC,UAAU,EACV,OAAO,CACL,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAC7C,mBAAmB,CACpB,EACD,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAChD,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAC/C,EACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,CACnC,GACH;KAAG,GAAG,IAAI,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;CAAE,CAAC;AAEjE,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,MAAM,SAAS,MAAM,IACnB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG;IACxD,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;QACnB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,EACnC,KAAK,CAAC,MAAM,SAAS,MAAM,QAErB,KAAK,SACJ,KAAK,UACJ,aAAa,CAAC,MAAM,CAAC,KAC5B,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CA+BhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAClC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEvC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,UACjC,MAAM,YACJ;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,KACzC,KAAK,CACN,KAAK,EACL,IAAI,EACJ,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,EAClE,MAAM,CAuGP,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,EAAE,GACb,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,MAAM,SAAS,MAAM,EACrB,KAAK,CAAC,KAAK,SAAS,MAAM,aAEf;IACT,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;QACnB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH,SACM,KAAK,+FAC+C,CAAC;AAE9D;;;GAGG;AACH,eAAO,MAAM,MAAM,GACjB,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,aAE3B;IACT,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAC;CACrE,SACM,OAAO,8CAMb,CAAC"}
+{"version":3,"file":"Component.d.ts","sourceRoot":"","sources":["../src/Component.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAQ5E,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAGxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,KAAK,IAAI,MAAM,WAAW,CAAC;AACvC,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAC3E,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;;;;AAElC,qBAAa,wBAAyB,SAAQ,8BAE5C;IACA,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC;CAC3C,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,qBAAa,2BAA4B,SAAQ,iCAE/C;IACA,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,qBAAa,kCAAmC,SAAQ,wCAEtD;IACA,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC;CAC3C,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAmCD,QAAA,MAAM,MAAM,6BAA6B,CAAC;AAC1C,QAAA,MAAM,WAAW,kCAAkC,CAAC;AAEpD;;GAEG;AACH,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACrD,MAAM,GACN,CAAC,SACK,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,WAAW,GACf,CAAC,GACD;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAErC,KAAK,SAAS,CAAC,CAAC,IAAI;KACjB,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAC;AACF,KAAK,SAAS,CACZ,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,SAAS,CAAC;KACX,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CACjD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EACzC,IAAI,CACL;CACF,CAAC,CAAC;AACH,KAAK,QAAQ,CACX,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,GAAG;KAEhD,aAAa,IAAI,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,SAAS,QAAQ,GAClH,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAChC,KAAK,GACR,iBAAiB,CAClB,sBAAsB,CAAC,eAAe,CACpC,aAAa,CAAC,wBAAwB,CAAC,CACxC,EACD,UAAU,EACV,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAC3E,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,EAChD,IAAI,CACL;CACF,CAAC;AAEF,MAAM,MAAM,GAAG,CACb,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,IAClD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;AAExC,UAAU,IAAI;IACZ,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC;CACxC;AAED,MAAM,WAAW,SAAS,CACxB,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,KAAK,SAAS,OAAO,CAAC,OAAO,EAC7B,MAAM,SAAS,MAAM,GAAG,MAAM;IAE9B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,CACpB,MAAM,SAAS,OAAO,CAAC,OAAO,EAC9B,IAAI,SAAS,MAAM,GAAG,SAAS,IAC7B,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEhC,KAAK,SAAS,CAAC,YAAY,IACzB,YAAY,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,GAClE,IAAI,GACJ,YAAY,SAAS,MAAM,GACzB;KACG,GAAG,IAAI,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;CAC1D,CAAC,MAAM,YAAY,CAAC,GACrB,KAAK,CAAC;AAEd,KAAK,QAAQ,CACX,OAAO,EACP,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,IACxB,OAAO,SAAS,GAAG,CAAC,GAAG,GACvB,OAAO,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACzC,GAAG,CAAC,SAAS,CACX,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,EACtC,UAAU,EACV,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,mBAAmB,CAAC,EACrD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAC3B,GACD,OAAO,CACL,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,EACtC,UAAU,EACV,OAAO,CACL,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAC7C,mBAAmB,CACpB,EACD,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAChD,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAC/C,EACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,CACnC,GACH;KAAG,GAAG,IAAI,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;CAAE,CAAC;AAEjE,MAAM,MAAM,KAAK,CACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,MAAM,SAAS,MAAM,IACnB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG;IACxD,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;QACnB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,EACnC,KAAK,CAAC,MAAM,SAAS,MAAM,QAErB,KAAK,SACJ,KAAK,UACJ,aAAa,CAAC,MAAM,CAAC,KAC5B,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CA+BhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAClC,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,aAEvC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,UACjC,MAAM,YACJ;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,KACzC,KAAK,CACN,KAAK,EACL,IAAI,EACJ,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,EAClE,MAAM,CAwGP,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,EAAE,GACb,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,MAAM,SAAS,MAAM,EACrB,KAAK,CAAC,KAAK,SAAS,MAAM,aAEf;IACT,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;QACnB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;CACH,SACM,KAAK,+FAC+C,CAAC;AAE9D;;;GAGG;AACH,eAAO,MAAM,MAAM,GACjB,IAAI,SAAS,OAAO,CAAC,OAAO,EAC5B,EAAE,SAAS,OAAO,CAAC,OAAO,EAC1B,OAAO,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,aAE3B;IACT,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;KAAE,CAAC;CACrE,SACM,OAAO,8CAMb,CAAC"}

package/dist/Component.js

@@ -119,7 +119,7 @@ const bind = (component, native, options) => {
 				return fromProvenance(ref.convexFunctionName, provenance, Array.map(ref.middlewareAttachments, (attachment) => ({
 					...attachment,
 					spec: rebaseMiddleware(attachment.spec)
-				})), nativeRef);
+				})), nativeRef, ref.functionType);
 			}), Match.exhaustive);
 		} else return visit(child, reference);
 	});

package/dist/Component.js.map

@@ -1 +1 @@
-{"version":3,"file":"Component.js","names":["Spec.groups","Ref.make","IdScope.instance","IdScope.app","rebase","GenericId.rebase","Ref.isRef","Ref.fromProvenance","GenericId.GenericId"],"sources":["../src/Component.ts"],"sourcesContent":["import type { DefaultFunctionArgs, FunctionReference } from \"convex/server\";\nimport { getFunctionAddress } from \"convex/server\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Result from \"effect/Result\";\nimport { memoize, pipe } from \"effect/Function\";\nimport * as Match from \"effect/Match\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as GenericId from \"./GenericId.js\";\nimport type * as GroupSpec from \"./GroupSpec.js\";\nimport * as IdScope from \"./IdScope.js\";\nimport * as Lazy from \"./Lazy.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport * as Ref from \"./Ref.js\";\nimport type * as Refs from \"./Refs.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\nimport * as Spec from \"./Spec.js\";\n\nexport class EmptyComponentScopeError extends Data.TaggedError(\n  \"EmptyComponentScopeError\",\n)<{\n  readonly definitionScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return \"A component contract requires a nonempty definition scope.\";\n  }\n}\n\nexport class ComponentNameCollisionError extends Data.TaggedError(\n  \"ComponentNameCollisionError\",\n)<{\n  readonly groupPath: string;\n  readonly functionName: string;\n}> {\n  override get message(): string {\n    return `Group and function at same level have same name ('${this.groupPath}:${this.functionName}')`;\n  }\n}\n\nexport class UninstalledComponentReferenceError extends Data.TaggedError(\n  \"UninstalledComponentReferenceError\",\n)<{\n  readonly definitionScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return \"Component.bind expects an installed component from the generated components registry.\";\n  }\n}\n\nconst validateNames = (\n  groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n  prefix = \"\",\n): Result.Result<void, ComponentNameCollisionError> => {\n  for (const [name, group] of Record.toEntries(groups)) {\n    const path = prefix === \"\" ? name : `${prefix}/${name}`;\n    for (const functionSpec of Record.values(group.functions)) {\n      if (Record.has(group.groups, functionSpec.name)) {\n        return Result.fail(\n          new ComponentNameCollisionError({\n            groupPath: path,\n            functionName: functionSpec.name,\n          }),\n        );\n      }\n    }\n    const nested = validateNames(group.groups, path);\n    if (Result.isFailure(nested)) return nested;\n  }\n  return Result.succeed(undefined);\n};\n\nconst validateContract = (\n  scope: IdScope.IdScope,\n  groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n): Result.Result<\n  void,\n  EmptyComponentScopeError | ComponentNameCollisionError\n> =>\n  scope === \"\"\n    ? Result.fail(new EmptyComponentScopeError({ definitionScope: scope }))\n    : validateNames(groups);\n\nconst TypeId = \"~@confect/core/Component\";\nconst BoundTypeId = \"~@confect/core/BoundComponent\";\n\n/**\n * Convex's generated ComponentApi erases database ID brands at the boundary.\n */\ntype Wire<A> = A extends { readonly __tableName: string }\n  ? string\n  : A extends\n        | string\n        | number\n        | bigint\n        | boolean\n        | null\n        | undefined\n        | ArrayBuffer\n    ? A\n    : { [K in keyof A]: Wire<A[K]> };\n\ntype OmitEmpty<A> = {\n  [K in keyof A as keyof A[K] extends never ? never : K]: A[K];\n};\ntype ApiGroups<\n  GroupSpec_ extends GroupSpec.AnyWithProps,\n  Name extends string | undefined,\n> = OmitEmpty<{\n  [GroupName in GroupSpec.Name<GroupSpec_>]: ApiGroup<\n    GroupSpec.WithName<GroupSpec_, GroupName>,\n    Name\n  >;\n}>;\ntype ApiGroup<\n  GroupSpec_ extends GroupSpec.AnyWithProps,\n  Name extends string | undefined,\n> = ApiGroups<GroupSpec.Groups<GroupSpec_>, Name> & {\n  [\n    FunctionSpec_ in GroupSpec.Functions<GroupSpec_> as FunctionSpec.GetFunctionVisibility<FunctionSpec_> extends \"public\"\n      ? FunctionSpec.Name<FunctionSpec_>\n      : never\n  ]: FunctionReference<\n    RuntimeAndFunctionType.GetFunctionType<\n      FunctionSpec_[\"runtimeAndFunctionType\"]\n    >,\n    \"internal\",\n    Extract<Wire<FunctionSpec.EncodedArgs<FunctionSpec_>>, DefaultFunctionArgs>,\n    Wire<FunctionSpec.EncodedReturns<FunctionSpec_>>,\n    Name\n  >;\n};\n\nexport type Api<\n  Spec_ extends Spec.AnyWithProps,\n  Name extends string | undefined = string | undefined,\n> = ApiGroups<Spec.Groups<Spec_>, Name>;\n\ninterface Tree {\n  readonly [key: string]: Tree | Ref.Any;\n}\n\nexport interface Component<\n  Spec_ extends Spec.AnyWithProps,\n  Scope extends IdScope.IdScope,\n  Tables extends string = string,\n> {\n  readonly [TypeId]: {\n    readonly refs: Tree;\n    readonly scope: Scope;\n    readonly tables: ReadonlyArray<Tables>;\n  };\n  readonly \"~Spec\": Spec_;\n}\n\n/**\n * An opaque identity: its string representation is not part of the API.\n */\nexport type MountScope<\n  Parent extends IdScope.IdScope,\n  Name extends string | undefined,\n> = IdScope.Mount<Parent, Name>;\n\ntype MountName<ComponentApi> =\n  ComponentApi extends FunctionReference<any, any, any, any, infer Name>\n    ? Name\n    : ComponentApi extends object\n      ? {\n          [Key in keyof ComponentApi]: MountName<ComponentApi[Key]>;\n        }[keyof ComponentApi]\n      : never;\n\ntype BindRefs<\n  RefTree,\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n> = RefTree extends Ref.Any\n  ? RefTree extends { readonly _tag: \"Convex\" }\n    ? Ref.ConvexRef<\n        Ref.GetRuntimeAndFunctionType<RefTree>,\n        \"internal\",\n        Extract<Wire<Ref.Args<RefTree>>, DefaultFunctionArgs>,\n        Wire<Ref.Returns<RefTree>>\n      >\n    : Extract<\n        Ref.Ref<\n          Ref.GetRuntimeAndFunctionType<RefTree>,\n          \"internal\",\n          Extract<\n            GenericId.Rebase<Ref.Args<RefTree>, From, To>,\n            DefaultFunctionArgs\n          >,\n          GenericId.Rebase<Ref.Returns<RefTree>, From, To>,\n          GenericId.Rebase<Ref.Error<RefTree>, From, To>\n        >,\n        { readonly _tag: RefTree[\"_tag\"] }\n      >\n  : { [Key in keyof RefTree]: BindRefs<RefTree[Key], From, To> };\n\nexport type Bound<\n  Spec_ extends Spec.AnyWithProps,\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Tables extends string,\n> = BindRefs<Refs.Refs<Spec_, Ref.AnyPublic>, From, To> & {\n  readonly [BoundTypeId]: {\n    readonly from: From;\n    readonly scope: To;\n    readonly tables: ReadonlyArray<Tables>;\n  };\n};\n\n/**\n * Build a publishable contract containing only exported functions and codecs.\n */\nexport const make = <\n  Spec_ extends Spec.AnyWithProps,\n  const Scope extends IdScope.IdScope,\n  const Tables extends string,\n>(\n  spec: Spec_,\n  scope: Scope,\n  tables: ReadonlyArray<Tables>,\n): Component<Spec_, Scope, Tables> => {\n  const specGroups = Spec.groups(spec);\n  Result.getOrThrow(validateContract(scope, specGroups));\n  const collect = (\n    groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n    prefix = \"\",\n  ): Tree =>\n    pipe(\n      groups,\n      Record.map((group, name) => {\n        const path = prefix === \"\" ? name : `${prefix}/${name}`;\n        const functions = pipe(\n          group.functions,\n          Record.filter((functionSpec) => {\n            return Match.value(functionSpec.functionVisibility).pipe(\n              Match.when(\"public\", () => true),\n              Match.when(\"internal\", () => false),\n              Match.exhaustive,\n            );\n          }),\n          Record.map((functionSpec) =>\n            Ref.make(path, functionSpec, group.middlewareAttachments),\n          ),\n        );\n        return { ...collect(group.groups, path), ...functions };\n      }),\n      Record.filter((children) => !Record.isEmptyRecord(children)),\n    );\n  return {\n    [TypeId]: { refs: collect(specGroups), scope, tables },\n  } as Component<Spec_, Scope, Tables>;\n};\n\n/**\n * Bind the published contract to an actual installed component reference.\n */\nexport const bind = <\n  Spec_ extends Spec.AnyWithProps,\n  From extends IdScope.IdScope,\n  Tables extends string,\n  Native extends Api<NoInfer<Spec_>>,\n  const Parent extends IdScope.IdScope = IdScope.App,\n>(\n  component: Component<Spec_, From, Tables>,\n  native: Native,\n  options?: { readonly parentScope: Parent },\n): Bound<\n  Spec_,\n  From,\n  MountScope<Parent, Extract<MountName<Native>, string | undefined>>,\n  Tables\n> => {\n  const contract = component[TypeId];\n  const address = getFunctionAddress(native);\n  const installedReference = Result.getOrThrow(\n    Result.fromNullishOr(\n      address.reference,\n      () =>\n        new UninstalledComponentReferenceError({\n          definitionScope: contract.scope,\n        }),\n    ),\n  );\n  // Preserve the opaque address as an identity only. Calls retain the native\n  // references; no component address is constructed or parsed for routing.\n  const scope = IdScope.instance(\n    options?.parentScope ?? IdScope.app,\n    installedReference,\n  );\n  const rebase = (schema: Schema.ConstraintCodec<any, any, never, never>) =>\n    GenericId.rebase(schema, contract.scope, scope);\n  const rebaseMiddleware = memoize(\n    (middleware: MiddlewareSpec.AnyMiddlewareSpec) => {\n      if (!(\"error\" in middleware)) return middleware;\n      const boundMiddleware = Object.create(\n        middleware,\n      ) as MiddlewareSpec.AnyMiddlewareSpec;\n      Lazy.defineProperty(boundMiddleware, \"error\", () => {\n        const error = middleware.error;\n        return error === undefined ? undefined : rebase(error);\n      });\n      return boundMiddleware;\n    },\n  );\n  const visit = (tree: Tree, references: unknown): Tree =>\n    Record.map(tree, (child, key) => {\n      const reference = (references as Record<string, unknown>)[key];\n      if (Ref.isRef(child)) {\n        const nativeRef = reference as FunctionReference<any, any>;\n        return Match.value(child).pipe(\n          Match.tag(\"Convex\", (ref) => ({\n            ...ref,\n            functionReference: nativeRef,\n          })),\n          Match.tag(\"Confect\", (ref) => {\n            const provenance = {\n              _tag: \"Confect\" as const,\n              kind: Match.value(ref.kind).pipe(\n                Match.tag(\"Standard\", (kind) => kind),\n                Match.tag(\"Paginated\", (kind) => {\n                  const boundKind = { _tag: \"Paginated\" as const };\n                  Lazy.defineProperty(boundKind, \"userArgs\", () =>\n                    Schema.Struct(Record.map(kind.userArgs.fields, rebase)),\n                  );\n                  Lazy.defineProperty(boundKind, \"item\", () =>\n                    rebase(kind.item),\n                  );\n                  Lazy.defineProperty(boundKind, \"page\", () =>\n                    rebase(kind.page),\n                  );\n                  return boundKind as FunctionProvenance.Paginated;\n                }),\n                Match.exhaustive,\n              ),\n            };\n            Lazy.defineProperty(provenance, \"args\", () =>\n              Schema.Struct(Record.map(ref.args.fields, rebase)),\n            );\n            Lazy.defineProperty(provenance, \"returns\", () =>\n              rebase(ref.returns),\n            );\n            if (\"error\" in ref) {\n              Lazy.defineProperty(provenance, \"error\", () => {\n                const error = ref.error;\n                return error === undefined ? undefined : rebase(error);\n              });\n            }\n            return Ref.fromProvenance(\n              ref.convexFunctionName,\n              provenance as FunctionProvenance.AnyConfect,\n              Array.map(ref.middlewareAttachments, (attachment) => ({\n                ...attachment,\n                spec: rebaseMiddleware(attachment.spec),\n              })),\n              nativeRef,\n            );\n          }),\n          Match.exhaustive,\n        );\n      } else {\n        return visit(child, reference);\n      }\n    });\n  const refs = visit(contract.refs, native);\n  Object.defineProperty(refs, BoundTypeId, {\n    value: { from: contract.scope, scope, tables: contract.tables },\n  });\n  return refs as Bound<\n    Spec_,\n    From,\n    MountScope<Parent, Extract<MountName<Native>, string | undefined>>,\n    Tables\n  >;\n};\n\n/**\n * Reference an installed component's table ID in host schemas.\n */\nexport const id = <\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Tables extends string,\n  const Table extends Tables,\n>(\n  component: {\n    readonly [BoundTypeId]: {\n      readonly from: From;\n      readonly scope: To;\n      readonly tables: ReadonlyArray<Tables>;\n    };\n  },\n  table: Table,\n) => GenericId.GenericId(table, component[BoundTypeId].scope);\n\n/**\n * Reuse a component's codec in a host function or table without losing its\n * scope.\n */\nexport const schema = <\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Schema_ extends Schema.Codec<any, any>,\n>(\n  component: {\n    readonly [BoundTypeId]: { readonly from: From; readonly scope: To };\n  },\n  codec: Schema_,\n) =>\n  GenericId.rebase(\n    codec,\n    component[BoundTypeId].from,\n    component[BoundTypeId].scope,\n  );\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAqBA,IAAa,2BAAb,cAA8C,KAAK,YACjD,0BACF,CAAC,CAEE;CACD,IAAa,UAAkB;EAC7B,OAAO;CACT;AACF;AAEA,IAAa,8BAAb,cAAiD,KAAK,YACpD,6BACF,CAAC,CAGE;CACD,IAAa,UAAkB;EAC7B,OAAO,qDAAqD,KAAK,UAAU,GAAG,KAAK,aAAa;CAClG;AACF;AAEA,IAAa,qCAAb,cAAwD,KAAK,YAC3D,oCACF,CAAC,CAEE;CACD,IAAa,UAAkB;EAC7B,OAAO;CACT;AACF;AAEA,MAAM,iBACJ,QACA,SAAS,OAC4C;CACrD,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,UAAU,MAAM,GAAG;EACpD,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,KAAK,MAAM,gBAAgB,OAAO,OAAO,MAAM,SAAS,GACtD,IAAI,OAAO,IAAI,MAAM,QAAQ,aAAa,IAAI,GAC5C,OAAO,OAAO,KACZ,IAAI,4BAA4B;GAC9B,WAAW;GACX,cAAc,aAAa;EAC7B,CAAC,CACH;EAGJ,MAAM,SAAS,cAAc,MAAM,QAAQ,IAAI;EAC/C,IAAI,OAAO,UAAU,MAAM,GAAG,OAAO;CACvC;CACA,OAAO,OAAO,QAAQ,KAAA,CAAS;AACjC;AAEA,MAAM,oBACJ,OACA,WAKA,UAAU,KACN,OAAO,KAAK,IAAI,yBAAyB,EAAE,iBAAiB,MAAM,CAAC,CAAC,IACpE,cAAc,MAAM;AAE1B,MAAM,SAAS;AACf,MAAM,cAAc;;;;AAmIpB,MAAa,QAKX,MACA,OACA,WACoC;CACpC,MAAM,aAAaA,OAAY,IAAI;CACnC,OAAO,WAAW,iBAAiB,OAAO,UAAU,CAAC;CACrD,MAAM,WACJ,QACA,SAAS,OAET,KACE,QACA,OAAO,KAAK,OAAO,SAAS;EAC1B,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,MAAM,YAAY,KAChB,MAAM,WACN,OAAO,QAAQ,iBAAiB;GAC9B,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,KAAK,gBAAgB,IAAI,GAC/B,MAAM,KAAK,kBAAkB,KAAK,GAClC,MAAM,UACR;EACF,CAAC,GACD,OAAO,KAAK,iBACVC,OAAS,MAAM,cAAc,MAAM,qBAAqB,CAC1D,CACF;EACA,OAAO;GAAE,GAAG,QAAQ,MAAM,QAAQ,IAAI;GAAG,GAAG;EAAU;CACxD,CAAC,GACD,OAAO,QAAQ,aAAa,CAAC,OAAO,cAAc,QAAQ,CAAC,CAC7D;CACF,OAAO,GACJ,SAAS;EAAE,MAAM,QAAQ,UAAU;EAAG;EAAO;CAAO,EACvD;AACF;;;;AAKA,MAAa,QAOX,WACA,QACA,YAMG;CACH,MAAM,WAAW,UAAU;CAC3B,MAAM,UAAU,mBAAmB,MAAM;CACzC,MAAM,qBAAqB,OAAO,WAChC,OAAO,cACL,QAAQ,iBAEN,IAAI,mCAAmC,EACrC,iBAAiB,SAAS,MAC5B,CAAC,CACL,CACF;CAGA,MAAM,QAAQC,SACZ,SAAS,eAAeC,KACxB,kBACF;CACA,MAAMC,YAAU,WACdC,OAAiB,QAAQ,SAAS,OAAO,KAAK;CAChD,MAAM,mBAAmB,SACtB,eAAiD;EAChD,IAAI,EAAE,WAAW,aAAa,OAAO;EACrC,MAAM,kBAAkB,OAAO,OAC7B,UACF;EACA,eAAoB,iBAAiB,eAAe;GAClD,MAAM,QAAQ,WAAW;GACzB,OAAO,UAAU,KAAA,IAAY,KAAA,IAAYD,SAAO,KAAK;EACvD,CAAC;EACD,OAAO;CACT,CACF;CACA,MAAM,SAAS,MAAY,eACzB,OAAO,IAAI,OAAO,OAAO,QAAQ;EAC/B,MAAM,YAAa,WAAuC;EAC1D,IAAIE,MAAU,KAAK,GAAG;GACpB,MAAM,YAAY;GAClB,OAAO,MAAM,MAAM,KAAK,CAAC,CAAC,KACxB,MAAM,IAAI,WAAW,SAAS;IAC5B,GAAG;IACH,mBAAmB;GACrB,EAAE,GACF,MAAM,IAAI,YAAY,QAAQ;IAC5B,MAAM,aAAa;KACjB,MAAM;KACN,MAAM,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KAC1B,MAAM,IAAI,aAAa,SAAS,IAAI,GACpC,MAAM,IAAI,cAAc,SAAS;MAC/B,MAAM,YAAY,EAAE,MAAM,YAAqB;MAC/C,eAAoB,WAAW,kBAC7B,OAAO,OAAO,OAAO,IAAI,KAAK,SAAS,QAAQF,QAAM,CAAC,CACxD;MACA,eAAoB,WAAW,cAC7BA,SAAO,KAAK,IAAI,CAClB;MACA,eAAoB,WAAW,cAC7BA,SAAO,KAAK,IAAI,CAClB;MACA,OAAO;KACT,CAAC,GACD,MAAM,UACR;IACF;IACA,eAAoB,YAAY,cAC9B,OAAO,OAAO,OAAO,IAAI,IAAI,KAAK,QAAQA,QAAM,CAAC,CACnD;IACA,eAAoB,YAAY,iBAC9BA,SAAO,IAAI,OAAO,CACpB;IACA,IAAI,WAAW,KACb,eAAoB,YAAY,eAAe;KAC7C,MAAM,QAAQ,IAAI;KAClB,OAAO,UAAU,KAAA,IAAY,KAAA,IAAYA,SAAO,KAAK;IACvD,CAAC;IAEH,OAAOG,eACL,IAAI,oBACJ,YACA,MAAM,IAAI,IAAI,wBAAwB,gBAAgB;KACpD,GAAG;KACH,MAAM,iBAAiB,WAAW,IAAI;IACxC,EAAE,GACF,SACF;GACF,CAAC,GACD,MAAM,UACR;EACF,OACE,OAAO,MAAM,OAAO,SAAS;CAEjC,CAAC;CACH,MAAM,OAAO,MAAM,SAAS,MAAM,MAAM;CACxC,OAAO,eAAe,MAAM,aAAa,EACvC,OAAO;EAAE,MAAM,SAAS;EAAO;EAAO,QAAQ,SAAS;CAAO,EAChE,CAAC;CACD,OAAO;AAMT;;;;AAKA,MAAa,MAMX,WAOA,UACGC,UAAoB,OAAO,UAAU,YAAY,CAAC,KAAK;;;;;AAM5D,MAAa,UAKX,WAGA,UAEAH,OACE,OACA,UAAU,YAAY,CAAC,MACvB,UAAU,YAAY,CAAC,KACzB"}
+{"version":3,"file":"Component.js","names":["Spec.groups","Ref.make","IdScope.instance","IdScope.app","rebase","GenericId.rebase","Ref.isRef","Ref.fromProvenance","GenericId.GenericId"],"sources":["../src/Component.ts"],"sourcesContent":["import type { DefaultFunctionArgs, FunctionReference } from \"convex/server\";\nimport { getFunctionAddress } from \"convex/server\";\nimport * as Array from \"effect/Array\";\nimport * as Data from \"effect/Data\";\nimport * as Result from \"effect/Result\";\nimport { memoize, pipe } from \"effect/Function\";\nimport * as Match from \"effect/Match\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as GenericId from \"./GenericId.js\";\nimport type * as GroupSpec from \"./GroupSpec.js\";\nimport * as IdScope from \"./IdScope.js\";\nimport * as Lazy from \"./Lazy.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport * as Ref from \"./Ref.js\";\nimport type * as Refs from \"./Refs.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\nimport * as Spec from \"./Spec.js\";\n\nexport class EmptyComponentScopeError extends Data.TaggedError(\n  \"EmptyComponentScopeError\",\n)<{\n  readonly definitionScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return \"A component contract requires a nonempty definition scope.\";\n  }\n}\n\nexport class ComponentNameCollisionError extends Data.TaggedError(\n  \"ComponentNameCollisionError\",\n)<{\n  readonly groupPath: string;\n  readonly functionName: string;\n}> {\n  override get message(): string {\n    return `Group and function at same level have same name ('${this.groupPath}:${this.functionName}')`;\n  }\n}\n\nexport class UninstalledComponentReferenceError extends Data.TaggedError(\n  \"UninstalledComponentReferenceError\",\n)<{\n  readonly definitionScope: IdScope.IdScope;\n}> {\n  override get message(): string {\n    return \"Component.bind expects an installed component from the generated components registry.\";\n  }\n}\n\nconst validateNames = (\n  groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n  prefix = \"\",\n): Result.Result<void, ComponentNameCollisionError> => {\n  for (const [name, group] of Record.toEntries(groups)) {\n    const path = prefix === \"\" ? name : `${prefix}/${name}`;\n    for (const functionSpec of Record.values(group.functions)) {\n      if (Record.has(group.groups, functionSpec.name)) {\n        return Result.fail(\n          new ComponentNameCollisionError({\n            groupPath: path,\n            functionName: functionSpec.name,\n          }),\n        );\n      }\n    }\n    const nested = validateNames(group.groups, path);\n    if (Result.isFailure(nested)) return nested;\n  }\n  return Result.succeed(undefined);\n};\n\nconst validateContract = (\n  scope: IdScope.IdScope,\n  groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n): Result.Result<\n  void,\n  EmptyComponentScopeError | ComponentNameCollisionError\n> =>\n  scope === \"\"\n    ? Result.fail(new EmptyComponentScopeError({ definitionScope: scope }))\n    : validateNames(groups);\n\nconst TypeId = \"~@confect/core/Component\";\nconst BoundTypeId = \"~@confect/core/BoundComponent\";\n\n/**\n * Convex's generated ComponentApi erases database ID brands at the boundary.\n */\ntype Wire<A> = A extends { readonly __tableName: string }\n  ? string\n  : A extends\n        | string\n        | number\n        | bigint\n        | boolean\n        | null\n        | undefined\n        | ArrayBuffer\n    ? A\n    : { [K in keyof A]: Wire<A[K]> };\n\ntype OmitEmpty<A> = {\n  [K in keyof A as keyof A[K] extends never ? never : K]: A[K];\n};\ntype ApiGroups<\n  GroupSpec_ extends GroupSpec.AnyWithProps,\n  Name extends string | undefined,\n> = OmitEmpty<{\n  [GroupName in GroupSpec.Name<GroupSpec_>]: ApiGroup<\n    GroupSpec.WithName<GroupSpec_, GroupName>,\n    Name\n  >;\n}>;\ntype ApiGroup<\n  GroupSpec_ extends GroupSpec.AnyWithProps,\n  Name extends string | undefined,\n> = ApiGroups<GroupSpec.Groups<GroupSpec_>, Name> & {\n  [\n    FunctionSpec_ in GroupSpec.Functions<GroupSpec_> as FunctionSpec.GetFunctionVisibility<FunctionSpec_> extends \"public\"\n      ? FunctionSpec.Name<FunctionSpec_>\n      : never\n  ]: FunctionReference<\n    RuntimeAndFunctionType.GetFunctionType<\n      FunctionSpec_[\"runtimeAndFunctionType\"]\n    >,\n    \"internal\",\n    Extract<Wire<FunctionSpec.EncodedArgs<FunctionSpec_>>, DefaultFunctionArgs>,\n    Wire<FunctionSpec.EncodedReturns<FunctionSpec_>>,\n    Name\n  >;\n};\n\nexport type Api<\n  Spec_ extends Spec.AnyWithProps,\n  Name extends string | undefined = string | undefined,\n> = ApiGroups<Spec.Groups<Spec_>, Name>;\n\ninterface Tree {\n  readonly [key: string]: Tree | Ref.Any;\n}\n\nexport interface Component<\n  Spec_ extends Spec.AnyWithProps,\n  Scope extends IdScope.IdScope,\n  Tables extends string = string,\n> {\n  readonly [TypeId]: {\n    readonly refs: Tree;\n    readonly scope: Scope;\n    readonly tables: ReadonlyArray<Tables>;\n  };\n  readonly \"~Spec\": Spec_;\n}\n\n/**\n * An opaque identity: its string representation is not part of the API.\n */\nexport type MountScope<\n  Parent extends IdScope.IdScope,\n  Name extends string | undefined,\n> = IdScope.Mount<Parent, Name>;\n\ntype MountName<ComponentApi> =\n  ComponentApi extends FunctionReference<any, any, any, any, infer Name>\n    ? Name\n    : ComponentApi extends object\n      ? {\n          [Key in keyof ComponentApi]: MountName<ComponentApi[Key]>;\n        }[keyof ComponentApi]\n      : never;\n\ntype BindRefs<\n  RefTree,\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n> = RefTree extends Ref.Any\n  ? RefTree extends { readonly _tag: \"Convex\" }\n    ? Ref.ConvexRef<\n        Ref.GetRuntimeAndFunctionType<RefTree>,\n        \"internal\",\n        Extract<Wire<Ref.Args<RefTree>>, DefaultFunctionArgs>,\n        Wire<Ref.Returns<RefTree>>\n      >\n    : Extract<\n        Ref.Ref<\n          Ref.GetRuntimeAndFunctionType<RefTree>,\n          \"internal\",\n          Extract<\n            GenericId.Rebase<Ref.Args<RefTree>, From, To>,\n            DefaultFunctionArgs\n          >,\n          GenericId.Rebase<Ref.Returns<RefTree>, From, To>,\n          GenericId.Rebase<Ref.Error<RefTree>, From, To>\n        >,\n        { readonly _tag: RefTree[\"_tag\"] }\n      >\n  : { [Key in keyof RefTree]: BindRefs<RefTree[Key], From, To> };\n\nexport type Bound<\n  Spec_ extends Spec.AnyWithProps,\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Tables extends string,\n> = BindRefs<Refs.Refs<Spec_, Ref.AnyPublic>, From, To> & {\n  readonly [BoundTypeId]: {\n    readonly from: From;\n    readonly scope: To;\n    readonly tables: ReadonlyArray<Tables>;\n  };\n};\n\n/**\n * Build a publishable contract containing only exported functions and codecs.\n */\nexport const make = <\n  Spec_ extends Spec.AnyWithProps,\n  const Scope extends IdScope.IdScope,\n  const Tables extends string,\n>(\n  spec: Spec_,\n  scope: Scope,\n  tables: ReadonlyArray<Tables>,\n): Component<Spec_, Scope, Tables> => {\n  const specGroups = Spec.groups(spec);\n  Result.getOrThrow(validateContract(scope, specGroups));\n  const collect = (\n    groups: Readonly<Record<string, GroupSpec.AnyWithProps>>,\n    prefix = \"\",\n  ): Tree =>\n    pipe(\n      groups,\n      Record.map((group, name) => {\n        const path = prefix === \"\" ? name : `${prefix}/${name}`;\n        const functions = pipe(\n          group.functions,\n          Record.filter((functionSpec) => {\n            return Match.value(functionSpec.functionVisibility).pipe(\n              Match.when(\"public\", () => true),\n              Match.when(\"internal\", () => false),\n              Match.exhaustive,\n            );\n          }),\n          Record.map((functionSpec) =>\n            Ref.make(path, functionSpec, group.middlewareAttachments),\n          ),\n        );\n        return { ...collect(group.groups, path), ...functions };\n      }),\n      Record.filter((children) => !Record.isEmptyRecord(children)),\n    );\n  return {\n    [TypeId]: { refs: collect(specGroups), scope, tables },\n  } as Component<Spec_, Scope, Tables>;\n};\n\n/**\n * Bind the published contract to an actual installed component reference.\n */\nexport const bind = <\n  Spec_ extends Spec.AnyWithProps,\n  From extends IdScope.IdScope,\n  Tables extends string,\n  Native extends Api<NoInfer<Spec_>>,\n  const Parent extends IdScope.IdScope = IdScope.App,\n>(\n  component: Component<Spec_, From, Tables>,\n  native: Native,\n  options?: { readonly parentScope: Parent },\n): Bound<\n  Spec_,\n  From,\n  MountScope<Parent, Extract<MountName<Native>, string | undefined>>,\n  Tables\n> => {\n  const contract = component[TypeId];\n  const address = getFunctionAddress(native);\n  const installedReference = Result.getOrThrow(\n    Result.fromNullishOr(\n      address.reference,\n      () =>\n        new UninstalledComponentReferenceError({\n          definitionScope: contract.scope,\n        }),\n    ),\n  );\n  // Preserve the opaque address as an identity only. Calls retain the native\n  // references; no component address is constructed or parsed for routing.\n  const scope = IdScope.instance(\n    options?.parentScope ?? IdScope.app,\n    installedReference,\n  );\n  const rebase = (schema: Schema.ConstraintCodec<any, any, never, never>) =>\n    GenericId.rebase(schema, contract.scope, scope);\n  const rebaseMiddleware = memoize(\n    (middleware: MiddlewareSpec.AnyMiddlewareSpec) => {\n      if (!(\"error\" in middleware)) return middleware;\n      const boundMiddleware = Object.create(\n        middleware,\n      ) as MiddlewareSpec.AnyMiddlewareSpec;\n      Lazy.defineProperty(boundMiddleware, \"error\", () => {\n        const error = middleware.error;\n        return error === undefined ? undefined : rebase(error);\n      });\n      return boundMiddleware;\n    },\n  );\n  const visit = (tree: Tree, references: unknown): Tree =>\n    Record.map(tree, (child, key) => {\n      const reference = (references as Record<string, unknown>)[key];\n      if (Ref.isRef(child)) {\n        const nativeRef = reference as FunctionReference<any, any>;\n        return Match.value(child).pipe(\n          Match.tag(\"Convex\", (ref) => ({\n            ...ref,\n            functionReference: nativeRef,\n          })),\n          Match.tag(\"Confect\", (ref) => {\n            const provenance = {\n              _tag: \"Confect\" as const,\n              kind: Match.value(ref.kind).pipe(\n                Match.tag(\"Standard\", (kind) => kind),\n                Match.tag(\"Paginated\", (kind) => {\n                  const boundKind = { _tag: \"Paginated\" as const };\n                  Lazy.defineProperty(boundKind, \"userArgs\", () =>\n                    Schema.Struct(Record.map(kind.userArgs.fields, rebase)),\n                  );\n                  Lazy.defineProperty(boundKind, \"item\", () =>\n                    rebase(kind.item),\n                  );\n                  Lazy.defineProperty(boundKind, \"page\", () =>\n                    rebase(kind.page),\n                  );\n                  return boundKind as FunctionProvenance.Paginated;\n                }),\n                Match.exhaustive,\n              ),\n            };\n            Lazy.defineProperty(provenance, \"args\", () =>\n              Schema.Struct(Record.map(ref.args.fields, rebase)),\n            );\n            Lazy.defineProperty(provenance, \"returns\", () =>\n              rebase(ref.returns),\n            );\n            if (\"error\" in ref) {\n              Lazy.defineProperty(provenance, \"error\", () => {\n                const error = ref.error;\n                return error === undefined ? undefined : rebase(error);\n              });\n            }\n            return Ref.fromProvenance(\n              ref.convexFunctionName,\n              provenance as FunctionProvenance.AnyConfect,\n              Array.map(ref.middlewareAttachments, (attachment) => ({\n                ...attachment,\n                spec: rebaseMiddleware(attachment.spec),\n              })),\n              nativeRef,\n              ref.functionType,\n            );\n          }),\n          Match.exhaustive,\n        );\n      } else {\n        return visit(child, reference);\n      }\n    });\n  const refs = visit(contract.refs, native);\n  Object.defineProperty(refs, BoundTypeId, {\n    value: { from: contract.scope, scope, tables: contract.tables },\n  });\n  return refs as Bound<\n    Spec_,\n    From,\n    MountScope<Parent, Extract<MountName<Native>, string | undefined>>,\n    Tables\n  >;\n};\n\n/**\n * Reference an installed component's table ID in host schemas.\n */\nexport const id = <\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Tables extends string,\n  const Table extends Tables,\n>(\n  component: {\n    readonly [BoundTypeId]: {\n      readonly from: From;\n      readonly scope: To;\n      readonly tables: ReadonlyArray<Tables>;\n    };\n  },\n  table: Table,\n) => GenericId.GenericId(table, component[BoundTypeId].scope);\n\n/**\n * Reuse a component's codec in a host function or table without losing its\n * scope.\n */\nexport const schema = <\n  From extends IdScope.IdScope,\n  To extends IdScope.IdScope,\n  Schema_ extends Schema.Codec<any, any>,\n>(\n  component: {\n    readonly [BoundTypeId]: { readonly from: From; readonly scope: To };\n  },\n  codec: Schema_,\n) =>\n  GenericId.rebase(\n    codec,\n    component[BoundTypeId].from,\n    component[BoundTypeId].scope,\n  );\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAqBA,IAAa,2BAAb,cAA8C,KAAK,YACjD,0BACF,CAAC,CAEE;CACD,IAAa,UAAkB;EAC7B,OAAO;CACT;AACF;AAEA,IAAa,8BAAb,cAAiD,KAAK,YACpD,6BACF,CAAC,CAGE;CACD,IAAa,UAAkB;EAC7B,OAAO,qDAAqD,KAAK,UAAU,GAAG,KAAK,aAAa;CAClG;AACF;AAEA,IAAa,qCAAb,cAAwD,KAAK,YAC3D,oCACF,CAAC,CAEE;CACD,IAAa,UAAkB;EAC7B,OAAO;CACT;AACF;AAEA,MAAM,iBACJ,QACA,SAAS,OAC4C;CACrD,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,UAAU,MAAM,GAAG;EACpD,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,KAAK,MAAM,gBAAgB,OAAO,OAAO,MAAM,SAAS,GACtD,IAAI,OAAO,IAAI,MAAM,QAAQ,aAAa,IAAI,GAC5C,OAAO,OAAO,KACZ,IAAI,4BAA4B;GAC9B,WAAW;GACX,cAAc,aAAa;EAC7B,CAAC,CACH;EAGJ,MAAM,SAAS,cAAc,MAAM,QAAQ,IAAI;EAC/C,IAAI,OAAO,UAAU,MAAM,GAAG,OAAO;CACvC;CACA,OAAO,OAAO,QAAQ,KAAA,CAAS;AACjC;AAEA,MAAM,oBACJ,OACA,WAKA,UAAU,KACN,OAAO,KAAK,IAAI,yBAAyB,EAAE,iBAAiB,MAAM,CAAC,CAAC,IACpE,cAAc,MAAM;AAE1B,MAAM,SAAS;AACf,MAAM,cAAc;;;;AAmIpB,MAAa,QAKX,MACA,OACA,WACoC;CACpC,MAAM,aAAaA,OAAY,IAAI;CACnC,OAAO,WAAW,iBAAiB,OAAO,UAAU,CAAC;CACrD,MAAM,WACJ,QACA,SAAS,OAET,KACE,QACA,OAAO,KAAK,OAAO,SAAS;EAC1B,MAAM,OAAO,WAAW,KAAK,OAAO,GAAG,OAAO,GAAG;EACjD,MAAM,YAAY,KAChB,MAAM,WACN,OAAO,QAAQ,iBAAiB;GAC9B,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,KAAK,gBAAgB,IAAI,GAC/B,MAAM,KAAK,kBAAkB,KAAK,GAClC,MAAM,UACR;EACF,CAAC,GACD,OAAO,KAAK,iBACVC,OAAS,MAAM,cAAc,MAAM,qBAAqB,CAC1D,CACF;EACA,OAAO;GAAE,GAAG,QAAQ,MAAM,QAAQ,IAAI;GAAG,GAAG;EAAU;CACxD,CAAC,GACD,OAAO,QAAQ,aAAa,CAAC,OAAO,cAAc,QAAQ,CAAC,CAC7D;CACF,OAAO,GACJ,SAAS;EAAE,MAAM,QAAQ,UAAU;EAAG;EAAO;CAAO,EACvD;AACF;;;;AAKA,MAAa,QAOX,WACA,QACA,YAMG;CACH,MAAM,WAAW,UAAU;CAC3B,MAAM,UAAU,mBAAmB,MAAM;CACzC,MAAM,qBAAqB,OAAO,WAChC,OAAO,cACL,QAAQ,iBAEN,IAAI,mCAAmC,EACrC,iBAAiB,SAAS,MAC5B,CAAC,CACL,CACF;CAGA,MAAM,QAAQC,SACZ,SAAS,eAAeC,KACxB,kBACF;CACA,MAAMC,YAAU,WACdC,OAAiB,QAAQ,SAAS,OAAO,KAAK;CAChD,MAAM,mBAAmB,SACtB,eAAiD;EAChD,IAAI,EAAE,WAAW,aAAa,OAAO;EACrC,MAAM,kBAAkB,OAAO,OAC7B,UACF;EACA,eAAoB,iBAAiB,eAAe;GAClD,MAAM,QAAQ,WAAW;GACzB,OAAO,UAAU,KAAA,IAAY,KAAA,IAAYD,SAAO,KAAK;EACvD,CAAC;EACD,OAAO;CACT,CACF;CACA,MAAM,SAAS,MAAY,eACzB,OAAO,IAAI,OAAO,OAAO,QAAQ;EAC/B,MAAM,YAAa,WAAuC;EAC1D,IAAIE,MAAU,KAAK,GAAG;GACpB,MAAM,YAAY;GAClB,OAAO,MAAM,MAAM,KAAK,CAAC,CAAC,KACxB,MAAM,IAAI,WAAW,SAAS;IAC5B,GAAG;IACH,mBAAmB;GACrB,EAAE,GACF,MAAM,IAAI,YAAY,QAAQ;IAC5B,MAAM,aAAa;KACjB,MAAM;KACN,MAAM,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KAC1B,MAAM,IAAI,aAAa,SAAS,IAAI,GACpC,MAAM,IAAI,cAAc,SAAS;MAC/B,MAAM,YAAY,EAAE,MAAM,YAAqB;MAC/C,eAAoB,WAAW,kBAC7B,OAAO,OAAO,OAAO,IAAI,KAAK,SAAS,QAAQF,QAAM,CAAC,CACxD;MACA,eAAoB,WAAW,cAC7BA,SAAO,KAAK,IAAI,CAClB;MACA,eAAoB,WAAW,cAC7BA,SAAO,KAAK,IAAI,CAClB;MACA,OAAO;KACT,CAAC,GACD,MAAM,UACR;IACF;IACA,eAAoB,YAAY,cAC9B,OAAO,OAAO,OAAO,IAAI,IAAI,KAAK,QAAQA,QAAM,CAAC,CACnD;IACA,eAAoB,YAAY,iBAC9BA,SAAO,IAAI,OAAO,CACpB;IACA,IAAI,WAAW,KACb,eAAoB,YAAY,eAAe;KAC7C,MAAM,QAAQ,IAAI;KAClB,OAAO,UAAU,KAAA,IAAY,KAAA,IAAYA,SAAO,KAAK;IACvD,CAAC;IAEH,OAAOG,eACL,IAAI,oBACJ,YACA,MAAM,IAAI,IAAI,wBAAwB,gBAAgB;KACpD,GAAG;KACH,MAAM,iBAAiB,WAAW,IAAI;IACxC,EAAE,GACF,WACA,IAAI,YACN;GACF,CAAC,GACD,MAAM,UACR;EACF,OACE,OAAO,MAAM,OAAO,SAAS;CAEjC,CAAC;CACH,MAAM,OAAO,MAAM,SAAS,MAAM,MAAM;CACxC,OAAO,eAAe,MAAM,aAAa,EACvC,OAAO;EAAE,MAAM,SAAS;EAAO;EAAO,QAAQ,SAAS;CAAO,EAChE,CAAC;CACD,OAAO;AAMT;;;;AAKA,MAAa,MAMX,WAOA,UACGC,UAAoB,OAAO,UAAU,YAAY,CAAC,KAAK;;;;;AAM5D,MAAa,UAKX,WAGA,UAEAH,OACE,OACA,UAAU,YAAY,CAAC,MACvB,UAAU,YAAY,CAAC,KACzB"}

package/dist/FunctionSpec.js

@@ -1,10 +1,10 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { Confect, ConfectPaginated, Convex } from "./FunctionProvenance.js";
-import { isMiddlewareSpec } from "./MiddlewareSpec.js";
 import { validateConfectFunctionIdentifier } from "./Identifier.js";
+import { isMiddlewareSpec } from "./MiddlewareSpec.js";
 import { ConvexAction, ConvexMutation, ConvexQuery, NodeAction } from "./RuntimeAndFunctionType.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 //#region src/FunctionSpec.ts
 var FunctionSpec_exports = /* @__PURE__ */ __exportAll({
 	TypeId: () => TypeId,

package/dist/GroupSpec.js

@@ -1,6 +1,6 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { validateAll } from "./MiddlewareAttachment.js";
 import { validateConfectFunctionIdentifier } from "./Identifier.js";
+import { validateAll } from "./MiddlewareAttachment.js";
 import * as Predicate from "effect/Predicate";
 import * as Result from "effect/Result";
 import * as Record from "effect/Record";

package/dist/Ref.d.ts

@@ -19,6 +19,7 @@ export interface Base<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.Run
     readonly "~ArgsVariance"?: string extends keyof Args_ ? unknown : (args: Args_) => void;
     readonly "~Returns": Returns_;
     readonly "~Error": Error_;
+    readonly functionType?: RuntimeAndFunctionType_["functionType"];
     readonly convexFunctionName: string;
     /**
      * Preserved for component references and function handles, which have no
@@ -169,13 +170,13 @@ convexFunctionNamespace: string, functionSpec: FunctionSpec_, groupMiddlewareAtt
  * and `error` from the provenance on first use, so building it forces no
  * schema.
  */
-export declare const fromProvenance: (convexFunctionName: string, provenance: FunctionProvenance.AnyConfect, middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>, functionReference?: ConvexFunctionReference<any, any>) => AnyConfect;
+export declare const fromProvenance: (convexFunctionName: string, provenance: FunctionProvenance.AnyConfect, middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>, functionReference?: ConvexFunctionReference<any, any>, functionType?: "query" | "mutation" | "action") => AnyConfect;
 export declare const getConvexFunctionName: (ref: Any) => string;
 export declare const getFunctionReference: <Ref_ extends Any>(ref: Ref_) => FunctionReference<Ref_>;
 /**
  * Adapt a native reference without assigning Confect codecs or typed errors.
  */
-export declare const fromFunctionReference: <Type extends "query" | "mutation" | "action", Visibility extends FunctionVisibility, Args_ extends DefaultFunctionArgs, Returns_>(functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>) => ConvexRef<Extract<RuntimeAndFunctionType.RuntimeAndFunctionType, {
+export declare const fromFunctionReference: <Type extends "query" | "mutation" | "action", Visibility extends FunctionVisibility, Args_ extends DefaultFunctionArgs, Returns_>(functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>, functionType?: NoInfer<Type>) => ConvexRef<Extract<RuntimeAndFunctionType.RuntimeAndFunctionType, {
     readonly runtime: "Convex";
     readonly functionType: Type;
 }>, Visibility, Args_, Returns_>;

package/dist/Ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../src/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AACvE,OAAO,KAAK,EACV,mBAAmB,EACnB,iBAAiB,IAAI,uBAAuB,EAC5C,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAEvD,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAE3E,eAAO,MAAM,MAAM,uBAAuB,CAAC;AAC3C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,IAAI,CACnB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK;IAEd,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IAC5D,QAAQ,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IAGxB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,SAAS,MAAM,KAAK,GACjD,OAAO,GACP,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAChE;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAG,CACb,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK,IAEZ,mBAAmB,CACjB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,CAAC,UAAU,EAC7B,KAAK,EACL,QAAQ,EACR,MAAM,CACP,GACD,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEN,MAAM,MAAM,UAAU,CACpB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EACnD,gBAAgB,GAAG,KAAK,EACxB,uBAAuB,GAAG,KAAK,IAC7B,mBAAmB,CACrB,uBAAuB,EACvB,mBAAmB,EACnB,WAAW,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAC/B,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,CAAC,MAAM,CAAC,GAAG,gBAAgB,EACvC,cAAc,EACd,YAAY,EACZ,YAAY,CAAC,SAAS,CAAC,GAAG,uBAAuB,CAClD,CAAC;AAEF;;;;;;;;;;GAUG;AACH,UAAU,mBAAmB,CAC3B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,EACN,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtE,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpE,aAAa,GAAG,GAAG,CACnB,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;IACC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,WAAW,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;IAC1E,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;CACzC;AAED,MAAM,WAAW,SAAS,CACxB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK,CACd,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;IACC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,GAAG,IAAI,GAAG,CAC1C,yBAAyB,CAAC,IAAI,CAAC,EAC/B,kBAAkB,EAClB,IAAI,CAAC,IAAI,CAAC,EACV,OAAO,CAAC,IAAI,CAAC,EACb,KAAK,CAAC,IAAI,CAAC,CACZ,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C;;GAEG;AACH,eAAO,MAAM,KAAK,UAAW,OAAO,KAAG,KAAK,IAAI,GACV,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AAEpE,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE1D,MAAM,MAAM,QAAQ,GAAG,GAAG,CACxB,sBAAsB,CAAC,QAAQ,EAC/B,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GACtC,IAAI,CACF,sBAAsB,CAAC,QAAQ,EAC/B,kBAAkB,EAClB;IACE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;IACnB,cAAc,EAAE,iBAAiB,CAAC;CACnC,EACD,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CACJ,CAAC;AAEJ,MAAM,MAAM,WAAW,GAAG,GAAG,CAC3B,sBAAsB,CAAC,WAAW,EAClC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,GAAG,CACzB,sBAAsB,CAAC,SAAS,EAChC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,GAAG,CAC9B,sBAAsB,CAAC,QAAQ,EAC/B,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AAExE,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,iBAAiB,CAAC;AAEzE,MAAM,MAAM,8BAA8B,GAAG,qBAAqB,GAChE,uBAAuB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GAAG,GAAG,CACjC,sBAAsB,CAAC,WAAW,EAClC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG,OAAO,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;AAE9E,MAAM,MAAM,eAAe,GAAG,GAAG,CAC/B,sBAAsB,CAAC,SAAS,EAChC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;AAE1E,MAAM,MAAM,yBAAyB,CAAC,IAAI,IAAI,IAAI,SAAS;IACzD,QAAQ,CAAC,yBAAyB,EAAE,MAAM,uBAAuB,SAC/D,sBAAsB,CAAC,sBAAsB,CAAC;CACjD,GACG,uBAAuB,GACvB,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,sBAAsB,CAAC,UAAU,CAC9D,yBAAyB,CAAC,IAAI,CAAC,CAChC,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,IAAI,IAAI,sBAAsB,CAAC,eAAe,CACxE,yBAAyB,CAAC,IAAI,CAAC,CAChC,CAAC;AAEF,MAAM,MAAM,qBAAqB,CAAC,IAAI,IAAI,IAAI,SAAS;IACrD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;CAC3D,GACG,mBAAmB,GACnB,KAAK,CAAC;AAEV,MAAM,MAAM,IAAI,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,CAAA;CAAE,GACnE,KAAK,GACL,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,MAAM,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,UAAU,CAAC;KAC1E,CAAC;CACH,GACG,WAAW,GACX,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,aAAa,CAAC;CAC3E,GACG,WAAW,GACX,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,GAAG,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,GACvE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GACnB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEvB,MAAM,MAAM,OAAO,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,QAAQ,CAAA;CAAE,GAC5E,QAAQ,GACR,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,IAAI,IAAI,SAAS;IAC7C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACvE,GACG,cAAc,GACd,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,IAAI,IAAI,SAAS;IAC5C,QAAQ,CAAC,eAAe,EAAE,MAAM,aAAa,CAAC;CAC/C,GACG,aAAa,GACb,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,IAAI,IAAI,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;CACrC,GACG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC7C,KAAK,CAAC;AAEV,MAAM,MAAM,KAAK,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,MAAM,CAAA;CAAE,GACtE,MAAM,GACN,KAAK,CAAC;AAEV,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,GAAG,IAAI,uBAAuB,CACvE,eAAe,CAAC,IAAI,CAAC,EACrB,qBAAqB,CAAC,IAAI,CAAC,CAC5B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,GAAG,KAAK,EACvB,sBAAsB,GAAG,KAAK,IAC5B,sBAAsB,CACxB,aAAa,EACb,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,YAAY,CAAC,UAAU,CAAC,aAAa,CAAC,EACtC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,EAChC,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,EACjC,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,GACjC,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACjE,eAAe,EACjB,YAAY,CAAC,aAAa,CAAC,aAAa,CAAC,EACzC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,EACrC,YAAY,CAAC,YAAY,CAAC,aAAa,CAAC,GACxC,cAAc,CAAC,YAAY,CAAC,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACxE,sBAAsB,CACzB,CAAC;AAEF,KAAK,sBAAsB,CACzB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,EACN,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,aAAa,IAEb,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACvD,aAAa,EACb,kBAAkB,CAAC,SAAS,CAC7B,GACG,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,SAAS,mBAAmB,GAAG,KAAK,GAAG,KAAK,EACjD,QAAQ,EACR,KAAK,CACN,GACD,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACrD,aAAa,EACb,kBAAkB,CAAC,UAAU,CAC9B,GACD,mBAAmB,CACjB,uBAAuB,EACvB,mBAAmB,EACnB,WAAW,EACX,KAAK,EACL,QAAQ,EACR,MAAM,EACN,cAAc,EACd,YAAY,EACZ,aAAa,CACd,GACD,GAAG,CACD,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEV,eAAO,MAAM,IAAI,GACf,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,oBAAoB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;AAErE;;;;GAIG;yBACsB,MAAM,gBACjB,aAAa,+BACC,aAAa,CACvC,oBAAoB,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAChE,KACA,gBAAgB,CACjB,aAAa,EACb,cAAc,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAC1C,cAAc,CAAC,YAAY,CAAC,oBAAoB,CAAC,CA0BlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,uBACL,MAAM,cACd,kBAAkB,CAAC,UAAU,yBAClB,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,sBAC3D,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,KACpD,UAoBF,CAAC;AAEF,eAAO,MAAM,qBAAqB,QAAS,GAAG,KAAG,MACzB,CAAC;AAIzB,eAAO,MAAM,oBAAoB,GAAI,IAAI,SAAS,GAAG,OAC9C,IAAI,KACR,iBAAiB,CAAC,IAAI,CAexB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,IAAI,SAAS,OAAO,GAAG,UAAU,GAAG,QAAQ,EAC5C,UAAU,SAAS,kBAAkB,EACrC,KAAK,SAAS,mBAAmB,EACjC,QAAQ,qBAEW,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAC5E,SAAS,CACV,OAAO,CACL,sBAAsB,CAAC,sBAAsB,EAC7C;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAA;CAAE,CAC5D,EACD,UAAU,EACV,KAAK,EACL,QAAQ,CAqBT,CAAC;AAEF,eAAO,MAAM,cAAc,QAAS,GAAG,KAAG,OAYvC,CAAC;AAEJ,eAAO,MAAM,UAAU,GAAI,IAAI,SAAS,GAAG,OACpC,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAOzC,CAAC;AAEJ,eAAO,MAAM,aAAa,GAAI,IAAI,SAAS,GAAG,OACvC,IAAI,WACA,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,WAAW,CAO/C,CAAC;AAEJ,eAAO,MAAM,cAAc,GAAI,IAAI,SAAS,GAAG,OACxC,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,KACf,OAOA,CAAC;AAEJ,eAAO,MAAM,cAAc,GAAI,IAAI,SAAS,GAAG,OACxC,IAAI,eACI,OAAO,KACnB,IAAI,CAAC,IAAI,CAOK,CAAC;AAElB,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,WACA,OAAO,CAAC,IAAI,CAAC,KACrB,OAOA,CAAC;AAEJ,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,kBACO,OAAO,KACtB,OAAO,CAAC,IAAI,CAOK,CAAC;AAIrB,eAAO,MAAM,aAAa,UAAW,OAAO,KAAG,KAAK,IAAI,WAAW,CAAC,KAAK,CAItC,CAAC;AAEpC;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC3B,IAAI,SAAS,GAAG,EAAE,CAAC,OAAO,IAAI,mBAAmB,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,aAC/D,OAAO,KAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAQ/B,CAAC;AAqBJ;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,SAAS,GAAG,OACrC,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAO3D,CAAC;AAEL;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAOzB,CAAC;AAwBJ;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,GACvC,IAAI,SAAS,uBAAuB,OAE/B,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,KACvC,OAOA,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,IAAI,SAAS,uBAAuB,OACtE,IAAI,eACI,OAAO,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAOK,CAAC;AAE7B;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,GACvB,IAAI,SAAS,GAAG,EAChB,CAAC,iEAKoB,iBAAiB,CAAC,IAAI,CAAC,eAC7B,OAAO,KACjB,WAAW,CAAC,OAAO,CAAC,6BACC,OAAO,KAAK,CAAC,2FAyBvC,CAAC"}
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../src/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AACvE,OAAO,KAAK,EACV,mBAAmB,EACnB,iBAAiB,IAAI,uBAAuB,EAC5C,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAEvD,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AAE3E,eAAO,MAAM,MAAM,uBAAuB,CAAC;AAC3C,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,WAAW,IAAI,CACnB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK;IAEd,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IAC5D,QAAQ,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IAGxB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,SAAS,MAAM,KAAK,GACjD,OAAO,GACP,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,uBAAuB,CAAC,cAAc,CAAC,CAAC;IAChE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAChE;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAG,CACb,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK,IAEZ,mBAAmB,CACjB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,CAAC,UAAU,EAC7B,KAAK,EACL,QAAQ,EACR,MAAM,CACP,GACD,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEN,MAAM,MAAM,UAAU,CACpB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EACnD,gBAAgB,GAAG,KAAK,EACxB,uBAAuB,GAAG,KAAK,IAC7B,mBAAmB,CACrB,uBAAuB,EACvB,mBAAmB,EACnB,WAAW,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAC/B,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,CAAC,MAAM,CAAC,GAAG,gBAAgB,EACvC,cAAc,EACd,YAAY,EACZ,YAAY,CAAC,SAAS,CAAC,GAAG,uBAAuB,CAClD,CAAC;AAEF;;;;;;;;;;GAUG;AACH,UAAU,mBAAmB,CAC3B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,EACN,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACtE,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EACpE,aAAa,GAAG,GAAG,CACnB,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;IACC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,WAAW,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;IAC1E,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;CACzC;AAED,MAAM,WAAW,SAAS,CACxB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,GAAG,KAAK,CACd,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;IACC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,GAAG,IAAI,GAAG,CAC1C,yBAAyB,CAAC,IAAI,CAAC,EAC/B,kBAAkB,EAClB,IAAI,CAAC,IAAI,CAAC,EACV,OAAO,CAAC,IAAI,CAAC,EACb,KAAK,CAAC,IAAI,CAAC,CACZ,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C;;GAEG;AACH,eAAO,MAAM,KAAK,UAAW,OAAO,KAAG,KAAK,IAAI,GACV,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AAEpE,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE1D,MAAM,MAAM,QAAQ,GAAG,GAAG,CACxB,sBAAsB,CAAC,QAAQ,EAC/B,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GACtC,IAAI,CACF,sBAAsB,CAAC,QAAQ,EAC/B,kBAAkB,EAClB;IACE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;IACnB,cAAc,EAAE,iBAAiB,CAAC;CACnC,EACD,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CACJ,CAAC;AAEJ,MAAM,MAAM,WAAW,GAAG,GAAG,CAC3B,sBAAsB,CAAC,WAAW,EAClC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,GAAG,CACzB,sBAAsB,CAAC,SAAS,EAChC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,GAAG,CAC9B,sBAAsB,CAAC,QAAQ,EAC/B,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AAExE,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,iBAAiB,CAAC;AAEzE,MAAM,MAAM,8BAA8B,GAAG,qBAAqB,GAChE,uBAAuB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GAAG,GAAG,CACjC,sBAAsB,CAAC,WAAW,EAClC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG,OAAO,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;AAE9E,MAAM,MAAM,eAAe,GAAG,GAAG,CAC/B,sBAAsB,CAAC,SAAS,EAChC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;AAE1E,MAAM,MAAM,yBAAyB,CAAC,IAAI,IAAI,IAAI,SAAS;IACzD,QAAQ,CAAC,yBAAyB,EAAE,MAAM,uBAAuB,SAC/D,sBAAsB,CAAC,sBAAsB,CAAC;CACjD,GACG,uBAAuB,GACvB,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,sBAAsB,CAAC,UAAU,CAC9D,yBAAyB,CAAC,IAAI,CAAC,CAChC,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,IAAI,IAAI,sBAAsB,CAAC,eAAe,CACxE,yBAAyB,CAAC,IAAI,CAAC,CAChC,CAAC;AAEF,MAAM,MAAM,qBAAqB,CAAC,IAAI,IAAI,IAAI,SAAS;IACrD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;CAC3D,GACG,mBAAmB,GACnB,KAAK,CAAC;AAEV,MAAM,MAAM,IAAI,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,CAAA;CAAE,GACnE,KAAK,GACL,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,MAAM,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,UAAU,CAAC;KAC1E,CAAC;CACH,GACG,WAAW,GACX,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,SAAS,kBAAkB,CAAC,aAAa,CAAC;CAC3E,GACG,WAAW,GACX,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,GAAG,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,GACvE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GACnB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEvB,MAAM,MAAM,OAAO,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,QAAQ,CAAA;CAAE,GAC5E,QAAQ,GACR,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,IAAI,IAAI,IAAI,SAAS;IAC7C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACvE,GACG,cAAc,GACd,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,IAAI,IAAI,SAAS;IAC5C,QAAQ,CAAC,eAAe,EAAE,MAAM,aAAa,CAAC;CAC/C,GACG,aAAa,GACb,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,IAAI,IAAI,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;CACrC,GACG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC7C,KAAK,CAAC;AAEV,MAAM,MAAM,KAAK,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,MAAM,CAAA;CAAE,GACtE,MAAM,GACN,KAAK,CAAC;AAEV,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,GAAG,IAAI,uBAAuB,CACvE,eAAe,CAAC,IAAI,CAAC,EACrB,qBAAqB,CAAC,IAAI,CAAC,CAC5B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,GAAG,KAAK,EACvB,sBAAsB,GAAG,KAAK,IAC5B,sBAAsB,CACxB,aAAa,EACb,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,YAAY,CAAC,UAAU,CAAC,aAAa,CAAC,EACtC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,EAChC,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,EACjC,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,GACjC,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACjE,eAAe,EACjB,YAAY,CAAC,aAAa,CAAC,aAAa,CAAC,EACzC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,EACrC,YAAY,CAAC,YAAY,CAAC,aAAa,CAAC,GACxC,cAAc,CAAC,YAAY,CAAC,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GACxE,sBAAsB,CACzB,CAAC;AAEF,KAAK,sBAAsB,CACzB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,WAAW,SAAS,kBAAkB,CAAC,UAAU,EACjD,KAAK,SAAS,mBAAmB,EACjC,QAAQ,EACR,MAAM,EACN,cAAc,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,aAAa,IAEb,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACvD,aAAa,EACb,kBAAkB,CAAC,SAAS,CAC7B,GACG,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,SAAS,mBAAmB,GAAG,KAAK,GAAG,KAAK,EACjD,QAAQ,EACR,KAAK,CACN,GACD,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACrD,aAAa,EACb,kBAAkB,CAAC,UAAU,CAC9B,GACD,mBAAmB,CACjB,uBAAuB,EACvB,mBAAmB,EACnB,WAAW,EACX,KAAK,EACL,QAAQ,EACR,MAAM,EACN,cAAc,EACd,YAAY,EACZ,aAAa,CACd,GACD,GAAG,CACD,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEV,eAAO,MAAM,IAAI,GACf,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,oBAAoB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;AAErE;;;;GAIG;yBACsB,MAAM,gBACjB,aAAa,+BACC,aAAa,CACvC,oBAAoB,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAChE,KACA,gBAAgB,CACjB,aAAa,EACb,cAAc,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAC1C,cAAc,CAAC,YAAY,CAAC,oBAAoB,CAAC,CA8BlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,uBACL,MAAM,cACd,kBAAkB,CAAC,UAAU,yBAClB,aAAa,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,sBAC3D,uBAAuB,CAAC,GAAG,EAAE,GAAG,CAAC,iBACtC,OAAO,GAAG,UAAU,GAAG,QAAQ,KAC7C,UAqBF,CAAC;AAEF,eAAO,MAAM,qBAAqB,QAAS,GAAG,KAAG,MACzB,CAAC;AAIzB,eAAO,MAAM,oBAAoB,GAAI,IAAI,SAAS,GAAG,OAC9C,IAAI,KACR,iBAAiB,CAAC,IAAI,CAexB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,IAAI,SAAS,OAAO,GAAG,UAAU,GAAG,QAAQ,EAC5C,UAAU,SAAS,kBAAkB,EACrC,KAAK,SAAS,mBAAmB,EACjC,QAAQ,qBAEW,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,iBAC9D,OAAO,CAAC,IAAI,CAAC,KAC3B,SAAS,CACV,OAAO,CACL,sBAAsB,CAAC,sBAAsB,EAC7C;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAA;CAAE,CAC5D,EACD,UAAU,EACV,KAAK,EACL,QAAQ,CAsBT,CAAC;AAEF,eAAO,MAAM,cAAc,QAAS,GAAG,KAAG,OAYvC,CAAC;AAEJ,eAAO,MAAM,UAAU,GAAI,IAAI,SAAS,GAAG,OACpC,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAOzC,CAAC;AAEJ,eAAO,MAAM,aAAa,GAAI,IAAI,SAAS,GAAG,OACvC,IAAI,WACA,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,WAAW,CAO/C,CAAC;AAEJ,eAAO,MAAM,cAAc,GAAI,IAAI,SAAS,GAAG,OACxC,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,KACf,OAOA,CAAC;AAEJ,eAAO,MAAM,cAAc,GAAI,IAAI,SAAS,GAAG,OACxC,IAAI,eACI,OAAO,KACnB,IAAI,CAAC,IAAI,CAOK,CAAC;AAElB,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,WACA,OAAO,CAAC,IAAI,CAAC,KACrB,OAOA,CAAC;AAEJ,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,kBACO,OAAO,KACtB,OAAO,CAAC,IAAI,CAOK,CAAC;AAIrB,eAAO,MAAM,aAAa,UAAW,OAAO,KAAG,KAAK,IAAI,WAAW,CAAC,KAAK,CAItC,CAAC;AAEpC;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC3B,IAAI,SAAS,GAAG,EAAE,CAAC,OAAO,IAAI,mBAAmB,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,aAC/D,OAAO,KAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAQ/B,CAAC;AAqBJ;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,IAAI,SAAS,GAAG,OACrC,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAO3D,CAAC;AAEL;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAOzB,CAAC;AAwBJ;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,GACvC,IAAI,SAAS,uBAAuB,OAE/B,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,KACvC,OAOA,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,IAAI,SAAS,uBAAuB,OACtE,IAAI,eACI,OAAO,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAOK,CAAC;AAE7B;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,GACvB,IAAI,SAAS,GAAG,EAChB,CAAC,iEAKoB,iBAAiB,CAAC,IAAI,CAAC,eAC7B,OAAO,KACjB,WAAW,CAAC,OAAO,CAAC,6BACC,OAAO,KAAK,CAAC,2FAyBvC,CAAC"}

package/dist/Ref.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { defineProperty } from "./Lazy.js";
 import { errorSchemas } from "./MiddlewareSpec.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import { getFunctionAddress, makeFunctionReference } from "convex/server";
 import { ConvexError } from "convex/values";
 import * as Effect from "effect/Effect";
@@ -42,8 +42,9 @@ const make = (convexFunctionNamespace, functionSpec, groupMiddlewareAttachments
 	return Match.value(functionSpec.functionProvenance).pipe(Match.tag("Convex", () => ({
 		[TypeId]: TypeId,
 		_tag: "Convex",
+		functionType: functionSpec.runtimeAndFunctionType.functionType,
 		convexFunctionName
-	})), Match.tag("Confect", (provenance) => fromProvenance(convexFunctionName, provenance, [...groupMiddlewareAttachments, ...functionSpec.middlewareAttachments])), Match.exhaustive);
+	})), Match.tag("Confect", (provenance) => fromProvenance(convexFunctionName, provenance, [...groupMiddlewareAttachments, ...functionSpec.middlewareAttachments], void 0, functionSpec.runtimeAndFunctionType.functionType)), Match.exhaustive);
 };
 /**
 * Build a Confect ref that runs with `provenance`'s codecs. Pass
@@ -52,10 +53,11 @@ const make = (convexFunctionNamespace, functionSpec, groupMiddlewareAttachments
 * and `error` from the provenance on first use, so building it forces no
 * schema.
 */
-const fromProvenance = (convexFunctionName, provenance, middlewareAttachments, functionReference) => {
+const fromProvenance = (convexFunctionName, provenance, middlewareAttachments, functionReference, functionType) => {
 	const ref = {
 		[TypeId]: TypeId,
 		_tag: "Confect",
+		...functionType === void 0 ? {} : { functionType },
 		convexFunctionName,
 		...functionReference === void 0 ? {} : { functionReference },
 		kind: provenance.kind,
@@ -83,11 +85,12 @@ const getFunctionReference = (ref) => {
 /**
 * Adapt a native reference without assigning Confect codecs or typed errors.
 */
-const fromFunctionReference = (functionReference) => {
+const fromFunctionReference = (functionReference, functionType) => {
 	const address = getFunctionAddress(functionReference);
 	return {
 		[TypeId]: TypeId,
 		_tag: "Convex",
+		...functionType === void 0 ? {} : { functionType },
 		convexFunctionName: address.name ?? address.reference ?? address.functionHandle ?? "<external function>",
 		functionReference
 	};

package/dist/Ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.js","names":["MiddlewareSpec.errorSchemas"],"sources":["../src/Ref.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment.js\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { getFunctionAddress, makeFunctionReference } from \"convex/server\";\nimport type { Value } from \"convex/values\";\nimport { ConvexError } from \"convex/values\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as Lazy from \"./Lazy.js\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\n\nexport const TypeId = \"~@confect/core/Ref\";\nexport type TypeId = typeof TypeId;\n\nexport interface Base<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly \"~RuntimeAndFunctionType\": RuntimeAndFunctionType_;\n  readonly \"~FunctionVisibility\": FunctionVisibility_;\n  readonly \"~Args\": Args_;\n  // Concrete call inputs must not narrow across assignments. Erased refs and\n  // pagination constraints use index signatures and keep their broad variance.\n  readonly \"~ArgsVariance\"?: string extends keyof Args_\n    ? unknown\n    : (args: Args_) => void;\n  readonly \"~Returns\": Returns_;\n  readonly \"~Error\": Error_;\n  readonly convexFunctionName: string;\n  /**\n   * Preserved for component references and function handles, which have no\n   * local name.\n   */\n  readonly functionReference?: ConvexFunctionReference<any, any>;\n}\n\n/**\n * A reference to a single Convex function, as callers see it: the wire name\n * plus the data needed to encode args, decode returns, and decode typed errors.\n * A ref is one of two shapes, keyed by the spec's provenance.\n */\nexport type Ref<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> =\n  | ConfectRefWithTypes<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      FunctionProvenance.ArgsFields,\n      Args_,\n      Returns_,\n      Error_\n    >\n  | ConvexRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >;\n\nexport type ConfectRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = never,\n  MiddlewareError_ = never,\n  MiddlewareEncodedError_ = never,\n> = ConfectRefWithTypes<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  ArgsFields_,\n  Schema.Struct.Type<ArgsFields_>,\n  ReturnsSchema_[\"Type\"],\n  ErrorSchema_[\"Type\"] | MiddlewareError_,\n  ReturnsSchema_,\n  ErrorSchema_,\n  ErrorSchema_[\"Encoded\"] | MiddlewareEncodedError_\n>;\n\n/**\n * Internal form used while mapping a spec to a ref. Supplying the already\n * derived value types avoids repeatedly expanding `Schema.Struct` for every\n * leaf in a generated ref tree; the public `ConfectRef` alias still derives the\n * same values from its fields and schemas.\n *\n * The codecs keep their own types so that a ref's wire encoding stays visible\n * to type-level checks, and `~EncodedError` carries the wire form of every\n * error the function can fail with, middleware included. A ref built from value\n * types alone (`Ref`) has no codecs to keep and erases them.\n */\ninterface ConfectRefWithTypes<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  EncodedError_ = any,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Confect\";\n  readonly args: FunctionProvenance.ArgsSchema<ArgsFields_>;\n  readonly returns: ReturnsSchema_;\n  readonly kind: FunctionProvenance.ConfectKind;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly error?: ErrorSchema_;\n  readonly \"~EncodedError\": EncodedError_;\n}\n\nexport interface ConvexRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Convex\";\n}\n\n/**\n * A ref's call contract without a visibility requirement. Use this for handlers\n * shared by a component's public ref and its host's internal binding. Args,\n * returns, errors, runtime and function kind remain constrained.\n */\nexport type Callable<Ref_ extends Any> = Ref<\n  GetRuntimeAndFunctionType<Ref_>,\n  FunctionVisibility,\n  Args<Ref_>,\n  Returns<Ref_>,\n  Error<Ref_>\n>;\n\nexport type Any = Ref<any, any, any, any, any>;\n\n/**\n * Recognizes references by their runtime type identity.\n */\nexport const isRef = (value: unknown): value is Any =>\n  Predicate.hasProperty(value, TypeId);\n\n/**\n * Erased Confect-provenance ref used by provenance-specific APIs.\n */\nexport type AnyConfect = Extract<Any, { readonly _tag: \"Confect\" }>;\n\nexport type AnyInternal = Ref<any, \"internal\", any, any, any>;\n\nexport type AnyPublic = Ref<any, \"public\", any, any, any>;\n\nexport type AnyQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPaginatedQuery = AnyQuery &\n  Base<\n    RuntimeAndFunctionType.AnyQuery,\n    FunctionVisibility,\n    {\n      [key: string]: any;\n      paginationOpts: PaginationOptions;\n    },\n    PaginationResult<any>,\n    any\n  >;\n\nexport type AnyMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPublicQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicQuery = Extract<AnyPublicQuery, AnyConfect>;\n\nexport type AnyPublicPaginatedQuery = AnyPublicQuery & AnyPaginatedQuery;\n\nexport type AnyConfectPublicPaginatedQuery = AnyConfectPublicQuery &\n  AnyPublicPaginatedQuery;\n\nexport type AnyPublicMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicMutation = Extract<AnyPublicMutation, AnyConfect>;\n\nexport type AnyPublicAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicAction = Extract<AnyPublicAction, AnyConfect>;\n\nexport type GetRuntimeAndFunctionType<Ref_> = Ref_ extends {\n  readonly \"~RuntimeAndFunctionType\": infer RuntimeAndFunctionType_ extends\n    RuntimeAndFunctionType.RuntimeAndFunctionType;\n}\n  ? RuntimeAndFunctionType_\n  : never;\n\nexport type GetRuntime<Ref_> = RuntimeAndFunctionType.GetRuntime<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionType<Ref_> = RuntimeAndFunctionType.GetFunctionType<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionVisibility<Ref_> = Ref_ extends {\n  readonly \"~FunctionVisibility\": infer FunctionVisibility_;\n}\n  ? FunctionVisibility_\n  : never;\n\nexport type Args<Ref_> = Ref_ extends { readonly \"~Args\": infer Args_ }\n  ? Args_\n  : never;\n\n/**\n * The field map captured by a Confect-provenance ref.\n */\nexport type ArgsFields<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? ArgsFields_\n  : never;\n\n/**\n * The assembled args schema carried by a Confect-provenance ref.\n */\nexport type ArgsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: infer ArgsSchema_ extends FunctionProvenance.AnyArgsSchema;\n}\n  ? ArgsSchema_\n  : never;\n\nexport type OptionalArgs<Ref_ extends Any> = keyof Args<Ref_> extends never\n  ? [args?: Args<Ref_>]\n  : [args: Args<Ref_>];\n\nexport type Returns<Ref_> = Ref_ extends { readonly \"~Returns\": infer Returns_ }\n  ? Returns_\n  : never;\n\n/**\n * The returns codec carried by a Confect-provenance ref.\n */\nexport type ReturnsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n}\n  ? ReturnsSchema_\n  : never;\n\n/**\n * The wire form of every error a ref can fail with: its function's declared\n * error and its middleware's errors.\n */\nexport type EncodedError<Ref_> = Ref_ extends {\n  readonly \"~EncodedError\": infer EncodedError_;\n}\n  ? EncodedError_\n  : never;\n\n/**\n * The function's own error codec carried by a Confect-provenance ref; errors\n * contributed by middleware are not part of it.\n */\nexport type ErrorSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly error?: infer ErrorSchema_;\n}\n  ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n  : never;\n\nexport type Error<Ref_> = Ref_ extends { readonly \"~Error\": infer Error_ }\n  ? Error_\n  : never;\n\nexport type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<\n  GetFunctionType<Ref_>,\n  GetFunctionVisibility<Ref_>\n>;\n\n/**\n * The ref type of a function spec. Errors from middleware attached to the\n * function are included; pass the errors of middleware attached to its groups\n * as `MiddlewareError` and `MiddlewareEncodedError`.\n */\nexport type FromFunctionSpec<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareError = never,\n  MiddlewareEncodedError = never,\n> = FromFunctionSpecHelper<\n  FunctionSpec_,\n  FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n  FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n  FunctionSpec.ArgsFields<FunctionSpec_>,\n  FunctionSpec.Args<FunctionSpec_>,\n  FunctionSpec.Returns<FunctionSpec_>,\n  | FunctionSpec.Error<FunctionSpec_>\n  | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareError,\n  FunctionSpec.ReturnsSchema<FunctionSpec_>,\n  FunctionSpec.ErrorSchema<FunctionSpec_>,\n  | FunctionSpec.EncodedError<FunctionSpec_>\n  | MiddlewareSpec.EncodedError<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareEncodedError\n>;\n\ntype FromFunctionSpecHelper<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  EncodedError_,\n> =\n  FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n    FunctionSpec_,\n    FunctionProvenance.AnyConvex\n  >\n    ? ConvexRef<\n        RuntimeAndFunctionType_,\n        FunctionVisibility_,\n        Args_ extends DefaultFunctionArgs ? Args_ : never,\n        Returns_,\n        never\n      >\n    : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n          FunctionSpec_,\n          FunctionProvenance.AnyConfect\n        >\n      ? ConfectRefWithTypes<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          ArgsFields_,\n          Args_,\n          Returns_,\n          Error_,\n          ReturnsSchema_,\n          ErrorSchema_,\n          EncodedError_\n        >\n      : Ref<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >;\n\nexport const make = <\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n>(\n  /**\n   * The namespace portion of a Convex function name, i.e. the part before the\n   * colon. For example, for `myGroupDir/myGroupMod:myFunc` this would be\n   * `myGroupDir/myGroupMod`.\n   */\n  convexFunctionNamespace: string,\n  functionSpec: FunctionSpec_,\n  groupMiddlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<GroupMiddlewareSpec_>\n  > = [],\n): FromFunctionSpec<\n  FunctionSpec_,\n  MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n  MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n> => {\n  const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;\n\n  return Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Convex\",\n      (): Any =>\n        ({\n          [TypeId]: TypeId,\n          _tag: \"Convex\",\n          convexFunctionName,\n        }) as Any,\n    ),\n    Match.tag(\"Confect\", (provenance): Any =>\n      fromProvenance(convexFunctionName, provenance, [\n        ...groupMiddlewareAttachments,\n        ...functionSpec.middlewareAttachments,\n      ]),\n    ),\n    Match.exhaustive,\n  ) as FromFunctionSpec<\n    FunctionSpec_,\n    MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n    MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n  >;\n};\n\n/**\n * Build a Confect ref that runs with `provenance`'s codecs. Pass\n * `functionReference` when the function has no local name: an installed\n * component's function or a function handle. The ref reads `args`, `returns`\n * and `error` from the provenance on first use, so building it forces no\n * schema.\n */\nexport const fromProvenance = (\n  convexFunctionName: string,\n  provenance: FunctionProvenance.AnyConfect,\n  middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n  functionReference?: ConvexFunctionReference<any, any>,\n): AnyConfect => {\n  const ref = {\n    [TypeId]: TypeId as TypeId,\n    _tag: \"Confect\" as const,\n    convexFunctionName,\n    ...(functionReference === undefined ? {} : { functionReference }),\n    kind: provenance.kind,\n    middlewareAttachments,\n    get middlewareSpecs() {\n      return middlewareAttachments.map(({ spec }) => spec);\n    },\n  };\n\n  Lazy.defineProperty(ref, \"args\", () => provenance.args);\n  Lazy.defineProperty(ref, \"returns\", () => provenance.returns);\n  if (\"error\" in provenance) {\n    Lazy.defineProperty(ref, \"error\", () => provenance.error);\n  }\n\n  return ref as unknown as AnyConfect;\n};\n\nexport const getConvexFunctionName = (ref: Any): string =>\n  ref.convexFunctionName;\n\nconst functionReferenceCache = new Map<string, FunctionReference<Any>>();\n\nexport const getFunctionReference = <Ref_ extends Any>(\n  ref: Ref_,\n): FunctionReference<Ref_> => {\n  if (ref.functionReference !== undefined) {\n    return ref.functionReference as FunctionReference<Ref_>;\n  }\n  const convexFunctionName = getConvexFunctionName(ref);\n\n  const cached = functionReferenceCache.get(convexFunctionName);\n  if (cached !== undefined) {\n    return cached as FunctionReference<Ref_>;\n  }\n\n  const functionReference = makeFunctionReference(convexFunctionName);\n  functionReferenceCache.set(convexFunctionName, functionReference);\n\n  return functionReference as FunctionReference<Ref_>;\n};\n\n/**\n * Adapt a native reference without assigning Confect codecs or typed errors.\n */\nexport const fromFunctionReference = <\n  Type extends \"query\" | \"mutation\" | \"action\",\n  Visibility extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n>(\n  functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>,\n): ConvexRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    { readonly runtime: \"Convex\"; readonly functionType: Type }\n  >,\n  Visibility,\n  Args_,\n  Returns_\n> => {\n  const address = getFunctionAddress(functionReference);\n  return {\n    [TypeId]: TypeId,\n    _tag: \"Convex\",\n    convexFunctionName:\n      address.name ??\n      address.reference ??\n      address.functionHandle ??\n      \"<external function>\",\n    functionReference,\n  } as ConvexRef<\n    Extract<\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n      { readonly runtime: \"Convex\"; readonly functionType: Type }\n    >,\n    Visibility,\n    Args_,\n    Returns_\n  >;\n};\n\nexport const hasErrorSchema = (ref: Any): boolean =>\n  Match.value(ref).pipe(\n    Match.tag(\n      \"Confect\",\n      (confectRef) =>\n        \"error\" in confectRef ||\n        confectRef.middlewareSpecs.some(\n          (middlewareSpec) => \"error\" in middlewareSpec,\n        ),\n    ),\n    Match.tag(\"Convex\", () => false),\n    Match.exhaustive,\n  );\n\nexport const encodeArgs = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): Effect.Effect<unknown, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeEffect(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(args)),\n    Match.exhaustive,\n  );\n\nexport const decodeReturns = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: unknown,\n): Effect.Effect<Returns<Ref_>, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownEffect(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(returns as Returns<Ref_>)),\n    Match.exhaustive,\n  );\n\nexport const encodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\nexport const decodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedArgs: unknown,\n): Args<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.args)(encodedArgs),\n    ),\n    Match.tag(\"Convex\", () => encodedArgs),\n    Match.exhaustive,\n  ) as Args<Ref_>;\n\nexport const encodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: Returns<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => returns),\n    Match.exhaustive,\n  );\n\nexport const decodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedReturns: unknown,\n): Returns<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.returns)(encodedReturns),\n    ),\n    Match.tag(\"Convex\", () => encodedReturns),\n    Match.exhaustive,\n  ) as Returns<Ref_>;\n\nconst ConvexErrorIdentifier = Symbol.for(\"ConvexError\");\n\nexport const isConvexError = (error: unknown): error is ConvexError<Value> =>\n  error instanceof ConvexError ||\n  (typeof error === \"object\" &&\n    error !== null &&\n    ConvexErrorIdentifier in error);\n\n/**\n * Build a callback-style handler that decodes the ref's typed error from a\n * caught `ConvexError`, or else forwards the value to `mapUnknownError`. The\n * fallback is also invoked when the input _is_ a `ConvexError` but the ref\n * doesn't declare a typed-error schema—by definition such a value falls outside\n * the ref's error contract. Useful when adapting non-Effect APIs (e.g. emitter\n * callbacks for streamed subscriptions) to the same error semantics that\n * `runWithCodec` provides.\n */\nexport const decodeErrorOrElse =\n  <Ref_ extends Any, E>(ref: Ref_, mapUnknownError: (error: unknown) => E) =>\n  (error: unknown): Error<Ref_> | E => {\n    if (isConvexError(error)) {\n      const decoded = decodeErrorOption(ref, error.data);\n      if (Option.isSome(decoded)) {\n        return decoded.value;\n      }\n    }\n    return mapUnknownError(error);\n  };\n\nconst errorSchemaOf = (ref: Any): Option.Option<Schema.Codec<any, any>> =>\n  Match.value(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) => {\n      const schemas = [\n        ...(\"error\" in confectRef && confectRef.error !== undefined\n          ? [confectRef.error]\n          : []),\n        ...MiddlewareSpec.errorSchemas(confectRef.middlewareSpecs),\n      ];\n      return schemas.length === 0\n        ? Option.none<Schema.Codec<any, any>>()\n        : Option.some(\n            schemas.length === 1 ? schemas[0]! : Schema.Union(schemas),\n          );\n    }),\n    Match.tag(\"Convex\", () => Option.none<Schema.Codec<any, any>>()),\n    Match.exhaustive,\n  );\n\n/**\n * Decode `encodedError` against the ref's error schema—the function's declared\n * `error` schema unioned with its covering middlewares' error schemas. Returns\n * `None` if the ref declares no typed error at all (Confect ref without an\n * `error` schema and without failing middleware, or a Convex-provenance ref)—by\n * definition there's nothing to decode the value into, and the caller is\n * responsible for deciding what to do (typically: surface the original value as\n * a defect).\n */\nexport const decodeError = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError> =>\n  Option.match(errorSchemaOf(ref), {\n    onNone: () => Effect.succeed(Option.none<Error<Ref_>>()),\n    onSome: (schema) =>\n      Effect.asSome(\n        Schema.decodeUnknownEffect(schema)(encodedError),\n      ) as Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError>,\n  });\n\n/**\n * Synchronous counterpart to `decodeError`. Returns `None` when the value is\n * not this ref's typed error—either because the ref declares no `error` schema,\n * or because `encodedError` doesn't match the one it declares.\n *\n * The second case is reachable in normal operation: Convex raises its own\n * `ConvexError`s (an `InvalidCursor` pagination error, for instance), and those\n * never match a user-declared error schema. Callers pair this with a fallback\n * that surfaces the original error, so failing to decode must not throw—a\n * `ParseError` here would replace the real error with an opaque one and lose\n * the only useful diagnostic. Hence the `Option` suffix rather than `Sync`,\n * matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers in this\n * module all throw on a parse failure, and this one deliberately doesn't.\n */\nexport const decodeErrorOption = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Option.Option<Error<Ref_>> =>\n  Option.flatMap(\n    errorSchemaOf(ref),\n    (schema) =>\n      Schema.decodeUnknownOption(schema)(encodedError) as Option.Option<\n        Error<Ref_>\n      >,\n  );\n\nconst missingPaginatedProvenanceError = (ref: Any) =>\n  new globalThis.Error(\n    `Paginated query ref \"${getConvexFunctionName(ref)}\" was not built with ` +\n      \"`FunctionSpec.publicPaginatedQuery` (or `FunctionSpec.internalPaginatedQuery`). \" +\n      \"Paginated encoding and decoding require the user-args and item schemas \" +\n      \"those constructors store. Define the function as, e.g.:\\n\\n\" +\n      \"  FunctionSpec.publicPaginatedQuery({\\n\" +\n      '    name: \"...\",\\n' +\n      \"    args: () => ({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\nconst paginatedKind = (ref: AnyConfect): FunctionProvenance.Paginated =>\n  Match.value(ref.kind).pipe(\n    Match.tag(\"Paginated\", (kind) => kind),\n    Match.tag(\"Standard\", () => {\n      throw missingPaginatedProvenanceError(ref);\n    }),\n    Match.exhaustive,\n  );\n\n/**\n * Encode the args of a paginated query ref via its user-args\n * schema—`paginationOpts` is excluded, since the pagination protocol fields are\n * managed by the client (e.g. `usePaginatedQuery` from `convex/react`), not by\n * the caller. Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const encodePaginatedQueryArgsSync = <\n  Ref_ extends AnyPublicPaginatedQuery,\n>(\n  ref: Ref_,\n  args: Omit<Args<Ref_>, \"paginationOpts\">,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeUnknownSync(paginatedKind(confectRef).userArgs)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\n/**\n * Decode a page of a paginated query's results via the ref's item schema.\n * Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const decodePaginationPageSync = <Ref_ extends AnyPublicPaginatedQuery>(\n  ref: Ref_,\n  encodedPage: unknown,\n): Returns<Ref_>[\"page\"] =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(paginatedKind(confectRef).page)(encodedPage),\n    ),\n    Match.tag(\"Convex\", () => encodedPage),\n    Match.exhaustive,\n  ) as Returns<Ref_>[\"page\"];\n\n/**\n * Encode args via the ref's args schema, invoke `call`, decode returns via the\n * ref's returns schema, and translate any thrown `ConvexError` into the ref's\n * typed error. Anything else the Promise rejects with—network failures,\n * server-side runtime errors, validation failures, etc.—is passed to\n * `mapUnknownError` to be turned into a typed `E`, or surfaced as a defect when\n * no handler is provided.\n */\nexport const runWithCodec = Effect.fnUntraced(function* <\n  Ref_ extends Any,\n  E = never,\n>(\n  ref: Ref_,\n  args: Args<Ref_>,\n  call: (\n    functionReference: FunctionReference<Ref_>,\n    encodedArgs: unknown,\n  ) => PromiseLike<unknown>,\n  mapUnknownError?: (error: unknown) => E,\n): Effect.fn.Return<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> {\n  const functionReference = getFunctionReference(ref);\n  const invoke = (\n    encodedArgs: unknown,\n  ): Effect.Effect<unknown, Error<Ref_> | E> =>\n    Effect.tryPromise({\n      try: () => Promise.resolve(call(functionReference, encodedArgs)),\n      catch: (error): Error<Ref_> | E => {\n        if (isConvexError(error)) {\n          const decoded = decodeErrorOption(ref, error.data);\n          if (Option.isSome(decoded)) {\n            return decoded.value;\n          }\n        }\n        if (mapUnknownError !== undefined) {\n          return mapUnknownError(error);\n        }\n        throw error;\n      },\n    });\n\n  const encodedArgs = yield* encodeArgs(ref, args);\n  const encodedReturns = yield* invoke(encodedArgs);\n  return yield* decodeReturns(ref, encodedReturns);\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAa,SAAS;;;;AAqJtB,MAAa,SAAS,UACpB,UAAU,YAAY,OAAO,MAAM;AAyPrC,MAAa,QASX,yBACA,cACA,6BAEI,CAAC,MAKF;CACH,MAAM,qBAAqB,GAAG,wBAAwB,GAAG,aAAa;CAEtE,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,IACJ,iBAEG;GACE,SAAS;EACV,MAAM;EACN;CACF,EACJ,GACA,MAAM,IAAI,YAAY,eACpB,eAAe,oBAAoB,YAAY,CAC7C,GAAG,4BACH,GAAG,aAAa,qBAClB,CAAC,CACH,GACA,MAAM,UACR;AAKF;;;;;;;;AASA,MAAa,kBACX,oBACA,YACA,uBACA,sBACe;CACf,MAAM,MAAM;GACT,SAAS;EACV,MAAM;EACN;EACA,GAAI,sBAAsB,KAAA,IAAY,CAAC,IAAI,EAAE,kBAAkB;EAC/D,MAAM,WAAW;EACjB;EACA,IAAI,kBAAkB;GACpB,OAAO,sBAAsB,KAAK,EAAE,WAAW,IAAI;EACrD;CACF;CAEA,eAAoB,KAAK,cAAc,WAAW,IAAI;CACtD,eAAoB,KAAK,iBAAiB,WAAW,OAAO;CAC5D,IAAI,WAAW,YACb,eAAoB,KAAK,eAAe,WAAW,KAAK;CAG1D,OAAO;AACT;AAEA,MAAa,yBAAyB,QACpC,IAAI;AAEN,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,IAAI,IAAI,sBAAsB,KAAA,GAC5B,OAAO,IAAI;CAEb,MAAM,qBAAqB,sBAAsB,GAAG;CAEpD,MAAM,SAAS,uBAAuB,IAAI,kBAAkB;CAC5D,IAAI,WAAW,KAAA,GACb,OAAO;CAGT,MAAM,oBAAoB,sBAAsB,kBAAkB;CAClE,uBAAuB,IAAI,oBAAoB,iBAAiB;CAEhE,OAAO;AACT;;;;AAKA,MAAa,yBAMX,sBASG;CACH,MAAM,UAAU,mBAAmB,iBAAiB;CACpD,OAAO;GACJ,SAAS;EACV,MAAM;EACN,oBACE,QAAQ,QACR,QAAQ,aACR,QAAQ,kBACR;EACF;CACF;AASF;AAEA,MAAa,kBAAkB,QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IACJ,YACC,eACC,WAAW,cACX,WAAW,gBAAgB,MACxB,mBAAmB,WAAW,cACjC,CACJ,GACA,MAAM,IAAI,gBAAgB,KAAK,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,aAAa,WAAW,IAAI,CAAC,CAAC,IAAI,CAC3C,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,IAAI,CAAC,GAC9C,MAAM,UACR;AAEF,MAAa,iBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,oBAAoB,WAAW,OAAO,CAAC,CAAC,OAAO,CACxD,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAwB,CAAC,GAClE,MAAM,UACR;AAEF,MAAa,kBACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,IAAI,CAAC,CAAC,IAAI,CACzC,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;AAEF,MAAa,kBACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,IAAI,CAAC,CAAC,WAAW,CACvD,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,OAAO,CAAC,CAAC,OAAO,CAC/C,GACA,MAAM,IAAI,gBAAgB,OAAO,GACjC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,mBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,OAAO,CAAC,CAAC,cAAc,CAC7D,GACA,MAAM,IAAI,gBAAgB,cAAc,GACxC,MAAM,UACR;AAEF,MAAM,wBAAwB,OAAO,IAAI,aAAa;AAEtD,MAAa,iBAAiB,UAC5B,iBAAiB,eAChB,OAAO,UAAU,YAChB,UAAU,QACV,yBAAyB;;;;;;;;;;AAW7B,MAAa,qBACW,KAAW,qBAChC,UAAoC;CACnC,IAAI,cAAc,KAAK,GAAG;EACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;EACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;CAEnB;CACA,OAAO,gBAAgB,KAAK;AAC9B;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IAAI,YAAY,eAAe;CACnC,MAAM,UAAU,CACd,GAAI,WAAW,cAAc,WAAW,UAAU,KAAA,IAC9C,CAAC,WAAW,KAAK,IACjB,CAAC,GACL,GAAGA,aAA4B,WAAW,eAAe,CAC3D;CACA,OAAO,QAAQ,WAAW,IACtB,OAAO,KAA6B,IACpC,OAAO,KACL,QAAQ,WAAW,IAAI,QAAQ,KAAM,OAAO,MAAM,OAAO,CAC3D;AACN,CAAC,GACD,MAAM,IAAI,gBAAgB,OAAO,KAA6B,CAAC,GAC/D,MAAM,UACR;;;;;;;;;;AAWF,MAAa,eACX,KACA,iBAEA,OAAO,MAAM,cAAc,GAAG,GAAG;CAC/B,cAAc,OAAO,QAAQ,OAAO,KAAkB,CAAC;CACvD,SAAS,WACP,OAAO,OACL,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CACjD;AACJ,CAAC;;;;;;;;;;;;;;;AAgBH,MAAa,qBACX,KACA,iBAEA,OAAO,QACL,cAAc,GAAG,IAChB,WACC,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CAGnD;AAEF,MAAM,mCAAmC,QACvC,IAAI,WAAW,MACb,wBAAwB,sBAAsB,GAAG,EAAE;;;;;;KASrD;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KACpB,MAAM,IAAI,cAAc,SAAS,IAAI,GACrC,MAAM,IAAI,kBAAkB;CAC1B,MAAM,gCAAgC,GAAG;AAC3C,CAAC,GACD,MAAM,UACR;;;;;;;;AASF,MAAa,gCAGX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CACnE,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;;;;;;AAOF,MAAa,4BACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CACtE,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;;;;;;;;;AAUF,MAAa,eAAe,OAAO,WAAW,WAI5C,KACA,MACA,MAIA,iBACuE;CACvE,MAAM,oBAAoB,qBAAqB,GAAG;CAClD,MAAM,UACJ,gBAEA,OAAO,WAAW;EAChB,WAAW,QAAQ,QAAQ,KAAK,mBAAmB,WAAW,CAAC;EAC/D,QAAQ,UAA2B;GACjC,IAAI,cAAc,KAAK,GAAG;IACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;IACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;GAEnB;GACA,IAAI,oBAAoB,KAAA,GACtB,OAAO,gBAAgB,KAAK;GAE9B,MAAM;EACR;CACF,CAAC;CAGH,MAAM,iBAAiB,OAAO,OAAO,OADV,WAAW,KAAK,IAAI,CACC;CAChD,OAAO,OAAO,cAAc,KAAK,cAAc;AACjD,CAAC"}
+{"version":3,"file":"Ref.js","names":["MiddlewareSpec.errorSchemas"],"sources":["../src/Ref.ts"],"sourcesContent":["import type * as MiddlewareAttachment from \"./MiddlewareAttachment.js\";\nimport type {\n  DefaultFunctionArgs,\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { getFunctionAddress, makeFunctionReference } from \"convex/server\";\nimport type { Value } from \"convex/values\";\nimport { ConvexError } from \"convex/values\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as FunctionSpec from \"./FunctionSpec.js\";\nimport * as Lazy from \"./Lazy.js\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec.js\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType.js\";\n\nexport const TypeId = \"~@confect/core/Ref\";\nexport type TypeId = typeof TypeId;\n\nexport interface Base<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly \"~RuntimeAndFunctionType\": RuntimeAndFunctionType_;\n  readonly \"~FunctionVisibility\": FunctionVisibility_;\n  readonly \"~Args\": Args_;\n  // Concrete call inputs must not narrow across assignments. Erased refs and\n  // pagination constraints use index signatures and keep their broad variance.\n  readonly \"~ArgsVariance\"?: string extends keyof Args_\n    ? unknown\n    : (args: Args_) => void;\n  readonly \"~Returns\": Returns_;\n  readonly \"~Error\": Error_;\n  readonly functionType?: RuntimeAndFunctionType_[\"functionType\"];\n  readonly convexFunctionName: string;\n  /**\n   * Preserved for component references and function handles, which have no\n   * local name.\n   */\n  readonly functionReference?: ConvexFunctionReference<any, any>;\n}\n\n/**\n * A reference to a single Convex function, as callers see it: the wire name\n * plus the data needed to encode args, decode returns, and decode typed errors.\n * A ref is one of two shapes, keyed by the spec's provenance.\n */\nexport type Ref<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> =\n  | ConfectRefWithTypes<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      FunctionProvenance.ArgsFields,\n      Args_,\n      Returns_,\n      Error_\n    >\n  | ConvexRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >;\n\nexport type ConfectRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = never,\n  MiddlewareError_ = never,\n  MiddlewareEncodedError_ = never,\n> = ConfectRefWithTypes<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  ArgsFields_,\n  Schema.Struct.Type<ArgsFields_>,\n  ReturnsSchema_[\"Type\"],\n  ErrorSchema_[\"Type\"] | MiddlewareError_,\n  ReturnsSchema_,\n  ErrorSchema_,\n  ErrorSchema_[\"Encoded\"] | MiddlewareEncodedError_\n>;\n\n/**\n * Internal form used while mapping a spec to a ref. Supplying the already\n * derived value types avoids repeatedly expanding `Schema.Struct` for every\n * leaf in a generated ref tree; the public `ConfectRef` alias still derives the\n * same values from its fields and schemas.\n *\n * The codecs keep their own types so that a ref's wire encoding stays visible\n * to type-level checks, and `~EncodedError` carries the wire form of every\n * error the function can fail with, middleware included. A ref built from value\n * types alone (`Ref`) has no codecs to keep and erases them.\n */\ninterface ConfectRefWithTypes<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any> = Schema.Codec<any, any>,\n  EncodedError_ = any,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Confect\";\n  readonly args: FunctionProvenance.ArgsSchema<ArgsFields_>;\n  readonly returns: ReturnsSchema_;\n  readonly kind: FunctionProvenance.ConfectKind;\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  readonly middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>;\n  readonly error?: ErrorSchema_;\n  readonly \"~EncodedError\": EncodedError_;\n}\n\nexport interface ConvexRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  readonly _tag: \"Convex\";\n}\n\n/**\n * A ref's call contract without a visibility requirement. Use this for handlers\n * shared by a component's public ref and its host's internal binding. Args,\n * returns, errors, runtime and function kind remain constrained.\n */\nexport type Callable<Ref_ extends Any> = Ref<\n  GetRuntimeAndFunctionType<Ref_>,\n  FunctionVisibility,\n  Args<Ref_>,\n  Returns<Ref_>,\n  Error<Ref_>\n>;\n\nexport type Any = Ref<any, any, any, any, any>;\n\n/**\n * Recognizes references by their runtime type identity.\n */\nexport const isRef = (value: unknown): value is Any =>\n  Predicate.hasProperty(value, TypeId);\n\n/**\n * Erased Confect-provenance ref used by provenance-specific APIs.\n */\nexport type AnyConfect = Extract<Any, { readonly _tag: \"Confect\" }>;\n\nexport type AnyInternal = Ref<any, \"internal\", any, any, any>;\n\nexport type AnyPublic = Ref<any, \"public\", any, any, any>;\n\nexport type AnyQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPaginatedQuery = AnyQuery &\n  Base<\n    RuntimeAndFunctionType.AnyQuery,\n    FunctionVisibility,\n    {\n      [key: string]: any;\n      paginationOpts: PaginationOptions;\n    },\n    PaginationResult<any>,\n    any\n  >;\n\nexport type AnyMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  FunctionVisibility,\n  any,\n  any,\n  any\n>;\n\nexport type AnyPublicQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicQuery = Extract<AnyPublicQuery, AnyConfect>;\n\nexport type AnyPublicPaginatedQuery = AnyPublicQuery & AnyPaginatedQuery;\n\nexport type AnyConfectPublicPaginatedQuery = AnyConfectPublicQuery &\n  AnyPublicPaginatedQuery;\n\nexport type AnyPublicMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicMutation = Extract<AnyPublicMutation, AnyConfect>;\n\nexport type AnyPublicAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyConfectPublicAction = Extract<AnyPublicAction, AnyConfect>;\n\nexport type GetRuntimeAndFunctionType<Ref_> = Ref_ extends {\n  readonly \"~RuntimeAndFunctionType\": infer RuntimeAndFunctionType_ extends\n    RuntimeAndFunctionType.RuntimeAndFunctionType;\n}\n  ? RuntimeAndFunctionType_\n  : never;\n\nexport type GetRuntime<Ref_> = RuntimeAndFunctionType.GetRuntime<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionType<Ref_> = RuntimeAndFunctionType.GetFunctionType<\n  GetRuntimeAndFunctionType<Ref_>\n>;\n\nexport type GetFunctionVisibility<Ref_> = Ref_ extends {\n  readonly \"~FunctionVisibility\": infer FunctionVisibility_;\n}\n  ? FunctionVisibility_\n  : never;\n\nexport type Args<Ref_> = Ref_ extends { readonly \"~Args\": infer Args_ }\n  ? Args_\n  : never;\n\n/**\n * The field map captured by a Confect-provenance ref.\n */\nexport type ArgsFields<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: {\n    readonly fields: infer ArgsFields_ extends FunctionProvenance.ArgsFields;\n  };\n}\n  ? ArgsFields_\n  : never;\n\n/**\n * The assembled args schema carried by a Confect-provenance ref.\n */\nexport type ArgsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly args: infer ArgsSchema_ extends FunctionProvenance.AnyArgsSchema;\n}\n  ? ArgsSchema_\n  : never;\n\nexport type OptionalArgs<Ref_ extends Any> = keyof Args<Ref_> extends never\n  ? [args?: Args<Ref_>]\n  : [args: Args<Ref_>];\n\nexport type Returns<Ref_> = Ref_ extends { readonly \"~Returns\": infer Returns_ }\n  ? Returns_\n  : never;\n\n/**\n * The returns codec carried by a Confect-provenance ref.\n */\nexport type ReturnsSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly returns: infer ReturnsSchema_ extends Schema.Codec<any, any>;\n}\n  ? ReturnsSchema_\n  : never;\n\n/**\n * The wire form of every error a ref can fail with: its function's declared\n * error and its middleware's errors.\n */\nexport type EncodedError<Ref_> = Ref_ extends {\n  readonly \"~EncodedError\": infer EncodedError_;\n}\n  ? EncodedError_\n  : never;\n\n/**\n * The function's own error codec carried by a Confect-provenance ref; errors\n * contributed by middleware are not part of it.\n */\nexport type ErrorSchema<Ref_> = Ref_ extends {\n  readonly _tag: \"Confect\";\n  readonly error?: infer ErrorSchema_;\n}\n  ? Extract<ErrorSchema_, Schema.Codec<any, any>>\n  : never;\n\nexport type Error<Ref_> = Ref_ extends { readonly \"~Error\": infer Error_ }\n  ? Error_\n  : never;\n\nexport type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<\n  GetFunctionType<Ref_>,\n  GetFunctionVisibility<Ref_>\n>;\n\n/**\n * The ref type of a function spec. Errors from middleware attached to the\n * function are included; pass the errors of middleware attached to its groups\n * as `MiddlewareError` and `MiddlewareEncodedError`.\n */\nexport type FromFunctionSpec<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareError = never,\n  MiddlewareEncodedError = never,\n> = FromFunctionSpecHelper<\n  FunctionSpec_,\n  FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n  FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n  FunctionSpec.ArgsFields<FunctionSpec_>,\n  FunctionSpec.Args<FunctionSpec_>,\n  FunctionSpec.Returns<FunctionSpec_>,\n  | FunctionSpec.Error<FunctionSpec_>\n  | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareError,\n  FunctionSpec.ReturnsSchema<FunctionSpec_>,\n  FunctionSpec.ErrorSchema<FunctionSpec_>,\n  | FunctionSpec.EncodedError<FunctionSpec_>\n  | MiddlewareSpec.EncodedError<FunctionSpec.MiddlewareSpecs<FunctionSpec_>>\n  | MiddlewareEncodedError\n>;\n\ntype FromFunctionSpecHelper<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  ArgsFields_ extends FunctionProvenance.ArgsFields,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n  Error_,\n  ReturnsSchema_ extends Schema.Codec<any, any>,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  EncodedError_,\n> =\n  FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n    FunctionSpec_,\n    FunctionProvenance.AnyConvex\n  >\n    ? ConvexRef<\n        RuntimeAndFunctionType_,\n        FunctionVisibility_,\n        Args_ extends DefaultFunctionArgs ? Args_ : never,\n        Returns_,\n        never\n      >\n    : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n          FunctionSpec_,\n          FunctionProvenance.AnyConfect\n        >\n      ? ConfectRefWithTypes<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          ArgsFields_,\n          Args_,\n          Returns_,\n          Error_,\n          ReturnsSchema_,\n          ErrorSchema_,\n          EncodedError_\n        >\n      : Ref<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >;\n\nexport const make = <\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n>(\n  /**\n   * The namespace portion of a Convex function name, i.e. the part before the\n   * colon. For example, for `myGroupDir/myGroupMod:myFunc` this would be\n   * `myGroupDir/myGroupMod`.\n   */\n  convexFunctionNamespace: string,\n  functionSpec: FunctionSpec_,\n  groupMiddlewareAttachments: ReadonlyArray<\n    MiddlewareAttachment.MiddlewareAttachment<GroupMiddlewareSpec_>\n  > = [],\n): FromFunctionSpec<\n  FunctionSpec_,\n  MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n  MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n> => {\n  const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;\n\n  return Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Convex\",\n      (): Any =>\n        ({\n          [TypeId]: TypeId,\n          _tag: \"Convex\",\n          functionType: functionSpec.runtimeAndFunctionType.functionType,\n          convexFunctionName,\n        }) as Any,\n    ),\n    Match.tag(\"Confect\", (provenance): Any =>\n      fromProvenance(\n        convexFunctionName,\n        provenance,\n        [...groupMiddlewareAttachments, ...functionSpec.middlewareAttachments],\n        undefined,\n        functionSpec.runtimeAndFunctionType.functionType,\n      ),\n    ),\n    Match.exhaustive,\n  ) as FromFunctionSpec<\n    FunctionSpec_,\n    MiddlewareSpec.Error<GroupMiddlewareSpec_>,\n    MiddlewareSpec.EncodedError<GroupMiddlewareSpec_>\n  >;\n};\n\n/**\n * Build a Confect ref that runs with `provenance`'s codecs. Pass\n * `functionReference` when the function has no local name: an installed\n * component's function or a function handle. The ref reads `args`, `returns`\n * and `error` from the provenance on first use, so building it forces no\n * schema.\n */\nexport const fromProvenance = (\n  convexFunctionName: string,\n  provenance: FunctionProvenance.AnyConfect,\n  middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,\n  functionReference?: ConvexFunctionReference<any, any>,\n  functionType?: \"query\" | \"mutation\" | \"action\",\n): AnyConfect => {\n  const ref = {\n    [TypeId]: TypeId as TypeId,\n    _tag: \"Confect\" as const,\n    ...(functionType === undefined ? {} : { functionType }),\n    convexFunctionName,\n    ...(functionReference === undefined ? {} : { functionReference }),\n    kind: provenance.kind,\n    middlewareAttachments,\n    get middlewareSpecs() {\n      return middlewareAttachments.map(({ spec }) => spec);\n    },\n  };\n\n  Lazy.defineProperty(ref, \"args\", () => provenance.args);\n  Lazy.defineProperty(ref, \"returns\", () => provenance.returns);\n  if (\"error\" in provenance) {\n    Lazy.defineProperty(ref, \"error\", () => provenance.error);\n  }\n\n  return ref as unknown as AnyConfect;\n};\n\nexport const getConvexFunctionName = (ref: Any): string =>\n  ref.convexFunctionName;\n\nconst functionReferenceCache = new Map<string, FunctionReference<Any>>();\n\nexport const getFunctionReference = <Ref_ extends Any>(\n  ref: Ref_,\n): FunctionReference<Ref_> => {\n  if (ref.functionReference !== undefined) {\n    return ref.functionReference as FunctionReference<Ref_>;\n  }\n  const convexFunctionName = getConvexFunctionName(ref);\n\n  const cached = functionReferenceCache.get(convexFunctionName);\n  if (cached !== undefined) {\n    return cached as FunctionReference<Ref_>;\n  }\n\n  const functionReference = makeFunctionReference(convexFunctionName);\n  functionReferenceCache.set(convexFunctionName, functionReference);\n\n  return functionReference as FunctionReference<Ref_>;\n};\n\n/**\n * Adapt a native reference without assigning Confect codecs or typed errors.\n */\nexport const fromFunctionReference = <\n  Type extends \"query\" | \"mutation\" | \"action\",\n  Visibility extends FunctionVisibility,\n  Args_ extends DefaultFunctionArgs,\n  Returns_,\n>(\n  functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>,\n  functionType?: NoInfer<Type>,\n): ConvexRef<\n  Extract<\n    RuntimeAndFunctionType.RuntimeAndFunctionType,\n    { readonly runtime: \"Convex\"; readonly functionType: Type }\n  >,\n  Visibility,\n  Args_,\n  Returns_\n> => {\n  const address = getFunctionAddress(functionReference);\n  return {\n    [TypeId]: TypeId,\n    _tag: \"Convex\",\n    ...(functionType === undefined ? {} : { functionType }),\n    convexFunctionName:\n      address.name ??\n      address.reference ??\n      address.functionHandle ??\n      \"<external function>\",\n    functionReference,\n  } as ConvexRef<\n    Extract<\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n      { readonly runtime: \"Convex\"; readonly functionType: Type }\n    >,\n    Visibility,\n    Args_,\n    Returns_\n  >;\n};\n\nexport const hasErrorSchema = (ref: Any): boolean =>\n  Match.value(ref).pipe(\n    Match.tag(\n      \"Confect\",\n      (confectRef) =>\n        \"error\" in confectRef ||\n        confectRef.middlewareSpecs.some(\n          (middlewareSpec) => \"error\" in middlewareSpec,\n        ),\n    ),\n    Match.tag(\"Convex\", () => false),\n    Match.exhaustive,\n  );\n\nexport const encodeArgs = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): Effect.Effect<unknown, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeEffect(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(args)),\n    Match.exhaustive,\n  );\n\nexport const decodeReturns = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: unknown,\n): Effect.Effect<Returns<Ref_>, Schema.SchemaError> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownEffect(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(returns as Returns<Ref_>)),\n    Match.exhaustive,\n  );\n\nexport const encodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.args)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\nexport const decodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedArgs: unknown,\n): Args<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.args)(encodedArgs),\n    ),\n    Match.tag(\"Convex\", () => encodedArgs),\n    Match.exhaustive,\n  ) as Args<Ref_>;\n\nexport const encodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  returns: Returns<Ref_>,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeSync(confectRef.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => returns),\n    Match.exhaustive,\n  );\n\nexport const decodeReturnsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedReturns: unknown,\n): Returns<Ref_> =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(confectRef.returns)(encodedReturns),\n    ),\n    Match.tag(\"Convex\", () => encodedReturns),\n    Match.exhaustive,\n  ) as Returns<Ref_>;\n\nconst ConvexErrorIdentifier = Symbol.for(\"ConvexError\");\n\nexport const isConvexError = (error: unknown): error is ConvexError<Value> =>\n  error instanceof ConvexError ||\n  (typeof error === \"object\" &&\n    error !== null &&\n    ConvexErrorIdentifier in error);\n\n/**\n * Build a callback-style handler that decodes the ref's typed error from a\n * caught `ConvexError`, or else forwards the value to `mapUnknownError`. The\n * fallback is also invoked when the input _is_ a `ConvexError` but the ref\n * doesn't declare a typed-error schema—by definition such a value falls outside\n * the ref's error contract. Useful when adapting non-Effect APIs (e.g. emitter\n * callbacks for streamed subscriptions) to the same error semantics that\n * `runWithCodec` provides.\n */\nexport const decodeErrorOrElse =\n  <Ref_ extends Any, E>(ref: Ref_, mapUnknownError: (error: unknown) => E) =>\n  (error: unknown): Error<Ref_> | E => {\n    if (isConvexError(error)) {\n      const decoded = decodeErrorOption(ref, error.data);\n      if (Option.isSome(decoded)) {\n        return decoded.value;\n      }\n    }\n    return mapUnknownError(error);\n  };\n\nconst errorSchemaOf = (ref: Any): Option.Option<Schema.Codec<any, any>> =>\n  Match.value(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) => {\n      const schemas = [\n        ...(\"error\" in confectRef && confectRef.error !== undefined\n          ? [confectRef.error]\n          : []),\n        ...MiddlewareSpec.errorSchemas(confectRef.middlewareSpecs),\n      ];\n      return schemas.length === 0\n        ? Option.none<Schema.Codec<any, any>>()\n        : Option.some(\n            schemas.length === 1 ? schemas[0]! : Schema.Union(schemas),\n          );\n    }),\n    Match.tag(\"Convex\", () => Option.none<Schema.Codec<any, any>>()),\n    Match.exhaustive,\n  );\n\n/**\n * Decode `encodedError` against the ref's error schema—the function's declared\n * `error` schema unioned with its covering middlewares' error schemas. Returns\n * `None` if the ref declares no typed error at all (Confect ref without an\n * `error` schema and without failing middleware, or a Convex-provenance ref)—by\n * definition there's nothing to decode the value into, and the caller is\n * responsible for deciding what to do (typically: surface the original value as\n * a defect).\n */\nexport const decodeError = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError> =>\n  Option.match(errorSchemaOf(ref), {\n    onNone: () => Effect.succeed(Option.none<Error<Ref_>>()),\n    onSome: (schema) =>\n      Effect.asSome(\n        Schema.decodeUnknownEffect(schema)(encodedError),\n      ) as Effect.Effect<Option.Option<Error<Ref_>>, Schema.SchemaError>,\n  });\n\n/**\n * Synchronous counterpart to `decodeError`. Returns `None` when the value is\n * not this ref's typed error—either because the ref declares no `error` schema,\n * or because `encodedError` doesn't match the one it declares.\n *\n * The second case is reachable in normal operation: Convex raises its own\n * `ConvexError`s (an `InvalidCursor` pagination error, for instance), and those\n * never match a user-declared error schema. Callers pair this with a fallback\n * that surfaces the original error, so failing to decode must not throw—a\n * `ParseError` here would replace the real error with an opaque one and lose\n * the only useful diagnostic. Hence the `Option` suffix rather than `Sync`,\n * matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers in this\n * module all throw on a parse failure, and this one deliberately doesn't.\n */\nexport const decodeErrorOption = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Option.Option<Error<Ref_>> =>\n  Option.flatMap(\n    errorSchemaOf(ref),\n    (schema) =>\n      Schema.decodeUnknownOption(schema)(encodedError) as Option.Option<\n        Error<Ref_>\n      >,\n  );\n\nconst missingPaginatedProvenanceError = (ref: Any) =>\n  new globalThis.Error(\n    `Paginated query ref \"${getConvexFunctionName(ref)}\" was not built with ` +\n      \"`FunctionSpec.publicPaginatedQuery` (or `FunctionSpec.internalPaginatedQuery`). \" +\n      \"Paginated encoding and decoding require the user-args and item schemas \" +\n      \"those constructors store. Define the function as, e.g.:\\n\\n\" +\n      \"  FunctionSpec.publicPaginatedQuery({\\n\" +\n      '    name: \"...\",\\n' +\n      \"    args: () => ({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\nconst paginatedKind = (ref: AnyConfect): FunctionProvenance.Paginated =>\n  Match.value(ref.kind).pipe(\n    Match.tag(\"Paginated\", (kind) => kind),\n    Match.tag(\"Standard\", () => {\n      throw missingPaginatedProvenanceError(ref);\n    }),\n    Match.exhaustive,\n  );\n\n/**\n * Encode the args of a paginated query ref via its user-args\n * schema—`paginationOpts` is excluded, since the pagination protocol fields are\n * managed by the client (e.g. `usePaginatedQuery` from `convex/react`), not by\n * the caller. Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const encodePaginatedQueryArgsSync = <\n  Ref_ extends AnyPublicPaginatedQuery,\n>(\n  ref: Ref_,\n  args: Omit<Args<Ref_>, \"paginationOpts\">,\n): unknown =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.encodeUnknownSync(paginatedKind(confectRef).userArgs)(args),\n    ),\n    Match.tag(\"Convex\", () => args),\n    Match.exhaustive,\n  );\n\n/**\n * Decode a page of a paginated query's results via the ref's item schema.\n * Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or\n * `internalPaginatedQuery`).\n */\nexport const decodePaginationPageSync = <Ref_ extends AnyPublicPaginatedQuery>(\n  ref: Ref_,\n  encodedPage: unknown,\n): Returns<Ref_>[\"page\"] =>\n  Match.value<Any>(ref).pipe(\n    Match.tag(\"Confect\", (confectRef) =>\n      Schema.decodeUnknownSync(paginatedKind(confectRef).page)(encodedPage),\n    ),\n    Match.tag(\"Convex\", () => encodedPage),\n    Match.exhaustive,\n  ) as Returns<Ref_>[\"page\"];\n\n/**\n * Encode args via the ref's args schema, invoke `call`, decode returns via the\n * ref's returns schema, and translate any thrown `ConvexError` into the ref's\n * typed error. Anything else the Promise rejects with—network failures,\n * server-side runtime errors, validation failures, etc.—is passed to\n * `mapUnknownError` to be turned into a typed `E`, or surfaced as a defect when\n * no handler is provided.\n */\nexport const runWithCodec = Effect.fnUntraced(function* <\n  Ref_ extends Any,\n  E = never,\n>(\n  ref: Ref_,\n  args: Args<Ref_>,\n  call: (\n    functionReference: FunctionReference<Ref_>,\n    encodedArgs: unknown,\n  ) => PromiseLike<unknown>,\n  mapUnknownError?: (error: unknown) => E,\n): Effect.fn.Return<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> {\n  const functionReference = getFunctionReference(ref);\n  const invoke = (\n    encodedArgs: unknown,\n  ): Effect.Effect<unknown, Error<Ref_> | E> =>\n    Effect.tryPromise({\n      try: () => Promise.resolve(call(functionReference, encodedArgs)),\n      catch: (error): Error<Ref_> | E => {\n        if (isConvexError(error)) {\n          const decoded = decodeErrorOption(ref, error.data);\n          if (Option.isSome(decoded)) {\n            return decoded.value;\n          }\n        }\n        if (mapUnknownError !== undefined) {\n          return mapUnknownError(error);\n        }\n        throw error;\n      },\n    });\n\n  const encodedArgs = yield* encodeArgs(ref, args);\n  const encodedReturns = yield* invoke(encodedArgs);\n  return yield* decodeReturns(ref, encodedReturns);\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBA,MAAa,SAAS;;;;AAsJtB,MAAa,SAAS,UACpB,UAAU,YAAY,OAAO,MAAM;AAyPrC,MAAa,QASX,yBACA,cACA,6BAEI,CAAC,MAKF;CACH,MAAM,qBAAqB,GAAG,wBAAwB,GAAG,aAAa;CAEtE,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,IACJ,iBAEG;GACE,SAAS;EACV,MAAM;EACN,cAAc,aAAa,uBAAuB;EAClD;CACF,EACJ,GACA,MAAM,IAAI,YAAY,eACpB,eACE,oBACA,YACA,CAAC,GAAG,4BAA4B,GAAG,aAAa,qBAAqB,GACrE,KAAA,GACA,aAAa,uBAAuB,YACtC,CACF,GACA,MAAM,UACR;AAKF;;;;;;;;AASA,MAAa,kBACX,oBACA,YACA,uBACA,mBACA,iBACe;CACf,MAAM,MAAM;GACT,SAAS;EACV,MAAM;EACN,GAAI,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa;EACrD;EACA,GAAI,sBAAsB,KAAA,IAAY,CAAC,IAAI,EAAE,kBAAkB;EAC/D,MAAM,WAAW;EACjB;EACA,IAAI,kBAAkB;GACpB,OAAO,sBAAsB,KAAK,EAAE,WAAW,IAAI;EACrD;CACF;CAEA,eAAoB,KAAK,cAAc,WAAW,IAAI;CACtD,eAAoB,KAAK,iBAAiB,WAAW,OAAO;CAC5D,IAAI,WAAW,YACb,eAAoB,KAAK,eAAe,WAAW,KAAK;CAG1D,OAAO;AACT;AAEA,MAAa,yBAAyB,QACpC,IAAI;AAEN,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,IAAI,IAAI,sBAAsB,KAAA,GAC5B,OAAO,IAAI;CAEb,MAAM,qBAAqB,sBAAsB,GAAG;CAEpD,MAAM,SAAS,uBAAuB,IAAI,kBAAkB;CAC5D,IAAI,WAAW,KAAA,GACb,OAAO;CAGT,MAAM,oBAAoB,sBAAsB,kBAAkB;CAClE,uBAAuB,IAAI,oBAAoB,iBAAiB;CAEhE,OAAO;AACT;;;;AAKA,MAAa,yBAMX,mBACA,iBASG;CACH,MAAM,UAAU,mBAAmB,iBAAiB;CACpD,OAAO;GACJ,SAAS;EACV,MAAM;EACN,GAAI,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa;EACrD,oBACE,QAAQ,QACR,QAAQ,aACR,QAAQ,kBACR;EACF;CACF;AASF;AAEA,MAAa,kBAAkB,QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IACJ,YACC,eACC,WAAW,cACX,WAAW,gBAAgB,MACxB,mBAAmB,WAAW,cACjC,CACJ,GACA,MAAM,IAAI,gBAAgB,KAAK,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,aAAa,WAAW,IAAI,CAAC,CAAC,IAAI,CAC3C,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,IAAI,CAAC,GAC9C,MAAM,UACR;AAEF,MAAa,iBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,oBAAoB,WAAW,OAAO,CAAC,CAAC,OAAO,CACxD,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAwB,CAAC,GAClE,MAAM,UACR;AAEF,MAAa,kBACX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,IAAI,CAAC,CAAC,IAAI,CACzC,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;AAEF,MAAa,kBACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,IAAI,CAAC,CAAC,WAAW,CACvD,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,YAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,WAAW,WAAW,OAAO,CAAC,CAAC,OAAO,CAC/C,GACA,MAAM,IAAI,gBAAgB,OAAO,GACjC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,mBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,WAAW,OAAO,CAAC,CAAC,cAAc,CAC7D,GACA,MAAM,IAAI,gBAAgB,cAAc,GACxC,MAAM,UACR;AAEF,MAAM,wBAAwB,OAAO,IAAI,aAAa;AAEtD,MAAa,iBAAiB,UAC5B,iBAAiB,eAChB,OAAO,UAAU,YAChB,UAAU,QACV,yBAAyB;;;;;;;;;;AAW7B,MAAa,qBACW,KAAW,qBAChC,UAAoC;CACnC,IAAI,cAAc,KAAK,GAAG;EACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;EACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;CAEnB;CACA,OAAO,gBAAgB,KAAK;AAC9B;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,KACf,MAAM,IAAI,YAAY,eAAe;CACnC,MAAM,UAAU,CACd,GAAI,WAAW,cAAc,WAAW,UAAU,KAAA,IAC9C,CAAC,WAAW,KAAK,IACjB,CAAC,GACL,GAAGA,aAA4B,WAAW,eAAe,CAC3D;CACA,OAAO,QAAQ,WAAW,IACtB,OAAO,KAA6B,IACpC,OAAO,KACL,QAAQ,WAAW,IAAI,QAAQ,KAAM,OAAO,MAAM,OAAO,CAC3D;AACN,CAAC,GACD,MAAM,IAAI,gBAAgB,OAAO,KAA6B,CAAC,GAC/D,MAAM,UACR;;;;;;;;;;AAWF,MAAa,eACX,KACA,iBAEA,OAAO,MAAM,cAAc,GAAG,GAAG;CAC/B,cAAc,OAAO,QAAQ,OAAO,KAAkB,CAAC;CACvD,SAAS,WACP,OAAO,OACL,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CACjD;AACJ,CAAC;;;;;;;;;;;;;;;AAgBH,MAAa,qBACX,KACA,iBAEA,OAAO,QACL,cAAc,GAAG,IAChB,WACC,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,CAGnD;AAEF,MAAM,mCAAmC,QACvC,IAAI,WAAW,MACb,wBAAwB,sBAAsB,GAAG,EAAE;;;;;;KASrD;AAEF,MAAM,iBAAiB,QACrB,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,KACpB,MAAM,IAAI,cAAc,SAAS,IAAI,GACrC,MAAM,IAAI,kBAAkB;CAC1B,MAAM,gCAAgC,GAAG;AAC3C,CAAC,GACD,MAAM,UACR;;;;;;;;AASF,MAAa,gCAGX,KACA,SAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CACnE,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;;;;;;AAOF,MAAa,4BACX,KACA,gBAEA,MAAM,MAAW,GAAG,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,eACpB,OAAO,kBAAkB,cAAc,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CACtE,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;;;;;;;;;AAUF,MAAa,eAAe,OAAO,WAAW,WAI5C,KACA,MACA,MAIA,iBACuE;CACvE,MAAM,oBAAoB,qBAAqB,GAAG;CAClD,MAAM,UACJ,gBAEA,OAAO,WAAW;EAChB,WAAW,QAAQ,QAAQ,KAAK,mBAAmB,WAAW,CAAC;EAC/D,QAAQ,UAA2B;GACjC,IAAI,cAAc,KAAK,GAAG;IACxB,MAAM,UAAU,kBAAkB,KAAK,MAAM,IAAI;IACjD,IAAI,OAAO,OAAO,OAAO,GACvB,OAAO,QAAQ;GAEnB;GACA,IAAI,oBAAoB,KAAA,GACtB,OAAO,gBAAgB,KAAK;GAE9B,MAAM;EACR;CACF,CAAC;CAGH,MAAM,iBAAiB,OAAO,OAAO,OADV,WAAW,KAAK,IAAI,CACC;CAChD,OAAO,OAAO,cAAc,KAAK,cAAc;AACjD,CAAC"}

package/dist/SchemaToValidator.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { app } from "./IdScope.js";
 import { scope, tableName } from "./GenericId.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import * as Data from "effect/Data";
 import { v } from "convex/values";
 import * as Effect from "effect/Effect";

package/dist/SystemFields.js

@@ -1,7 +1,7 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { GenericId } from "./GenericId.js";
-import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
 import * as SchemaGetter from "effect/SchemaGetter";
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+export * as ActionCall from "./ActionCall.js";
 export * as Callback from "./Callback.js";
 export * as FunctionProvenance from "./FunctionProvenance.js";
 export * as FunctionSpec from "./FunctionSpec.js";

package/dist/index.d.ts.map

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

package/dist/index.js

@@ -1,22 +1,23 @@
-import { App_exports } from "./App.js";
-import { Auth_exports } from "./Auth.js";
 import { Lazy_exports } from "./Lazy.js";
 import { PaginationOptions_exports } from "./PaginationOptions.js";
 import { PaginationResult_exports } from "./PaginationResult.js";
 import { FunctionProvenance_exports } from "./FunctionProvenance.js";
+import { Identifier_exports } from "./Identifier.js";
 import { MiddlewareSpec_exports } from "./MiddlewareSpec.js";
+import { RuntimeAndFunctionType_exports } from "./RuntimeAndFunctionType.js";
+import { FunctionSpec_exports } from "./FunctionSpec.js";
+import { ActionCall_exports } from "./ActionCall.js";
+import { App_exports } from "./App.js";
+import { Auth_exports } from "./Auth.js";
 import { Ref_exports } from "./Ref.js";
 import { Callback_exports } from "./Callback.js";
 import { IdScope_exports } from "./IdScope.js";
 import { GenericId_exports } from "./GenericId.js";
 import { MiddlewareAttachment_exports } from "./MiddlewareAttachment.js";
-import { Identifier_exports } from "./Identifier.js";
 import { GroupSpec_exports } from "./GroupSpec.js";
 import { Spec_exports } from "./Spec.js";
 import { Component_exports } from "./Component.js";
 import { Env_exports } from "./Env.js";
-import { RuntimeAndFunctionType_exports } from "./RuntimeAndFunctionType.js";
-import { FunctionSpec_exports } from "./FunctionSpec.js";
 import { GroupPath_exports } from "./GroupPath.js";
 import { Http_exports } from "./Http.js";
 import { Manifest_exports } from "./Manifest.js";
@@ -28,4 +29,4 @@ import { SystemFields_exports } from "./SystemFields.js";
 import { Table_exports } from "./Table.js";
 import { Types_exports } from "./Types.js";
 import { UserIdentity_exports } from "./UserIdentity.js";
-export { App_exports as App, Auth_exports as Auth, Callback_exports as Callback, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Profile_exports as Profile, Ref_exports as Ref, Refs_exports as Refs, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, SchemaToValidator_exports as SchemaToValidator, Spec_exports as Spec, SystemFields_exports as SystemFields, Table_exports as Table, Types_exports as Types, UserIdentity_exports as UserIdentity };
+export { ActionCall_exports as ActionCall, App_exports as App, Auth_exports as Auth, Callback_exports as Callback, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Profile_exports as Profile, Ref_exports as Ref, Refs_exports as Refs, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, SchemaToValidator_exports as SchemaToValidator, Spec_exports as Spec, SystemFields_exports as SystemFields, Table_exports as Table, Types_exports as Types, UserIdentity_exports as UserIdentity };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gaganref/confect-core",
-  "version": "10.3.1-fork.26",
+  "version": "10.3.1-fork.27",
   "peerDependencies": {
     "convex": "^1.46.0",
     "effect": "^4.0.0"

package/src/ActionCall.ts

@@ -0,0 +1,25 @@
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type * as Schema from "effect/Schema";
+import * as FunctionSpec from "./FunctionSpec.js";
+import * as MiddlewareSpec from "./MiddlewareSpec.js";
+import type * as Ref from "./Ref.js";
+
+export interface Call {
+  <Target extends Ref.AnyQuery | Ref.AnyMutation>(
+    target: Target,
+    ...args: Ref.OptionalArgs<NoInfer<Target>>
+  ): Effect.Effect<Ref.Returns<Target>, Ref.Error<Target> | Schema.SchemaError>;
+}
+
+export class ActionCall extends Context.Service<ActionCall, Call>()(
+  "@confect/core/ActionCall",
+) {}
+export class Middleware extends MiddlewareSpec.MiddlewareSpec<
+  Middleware,
+  { provides: ActionCall }
+>()("@confect/core/ActionCall/Middleware", {
+  functionTypes: { query: false, mutation: false, action: true },
+}) {}
+
+export const profile = FunctionSpec.extend()({ middleware: [Middleware] });

package/src/Callback.ts

@@ -145,6 +145,7 @@ const fromText = <Contract_ extends Any>(
       [],
       // Convex types a handle as a string that is also a function reference.
       text as unknown as FunctionReference<any, any>,
+      contract.functionType,
     ),
     { [HandleTypeId]: contract.id },
   ) as unknown as Handle<Contract_>;

package/src/Component.ts

@@ -358,6 +358,7 @@ export const bind = <
                 spec: rebaseMiddleware(attachment.spec),
               })),
               nativeRef,
+              ref.functionType,
             );
           }),
           Match.exhaustive,

package/src/Ref.ts

@@ -41,6 +41,7 @@ export interface Base<
     : (args: Args_) => void;
   readonly "~Returns": Returns_;
   readonly "~Error": Error_;
+  readonly functionType?: RuntimeAndFunctionType_["functionType"];
   readonly convexFunctionName: string;
   /**
    * Preserved for component references and function handles, which have no
@@ -447,14 +448,18 @@ export const make = <
         ({
           [TypeId]: TypeId,
           _tag: "Convex",
+          functionType: functionSpec.runtimeAndFunctionType.functionType,
           convexFunctionName,
         }) as Any,
     ),
     Match.tag("Confect", (provenance): Any =>
-      fromProvenance(convexFunctionName, provenance, [
-        ...groupMiddlewareAttachments,
-        ...functionSpec.middlewareAttachments,
-      ]),
+      fromProvenance(
+        convexFunctionName,
+        provenance,
+        [...groupMiddlewareAttachments, ...functionSpec.middlewareAttachments],
+        undefined,
+        functionSpec.runtimeAndFunctionType.functionType,
+      ),
     ),
     Match.exhaustive,
   ) as FromFunctionSpec<
@@ -476,10 +481,12 @@ export const fromProvenance = (
   provenance: FunctionProvenance.AnyConfect,
   middlewareAttachments: ReadonlyArray<MiddlewareAttachment.MiddlewareAttachment>,
   functionReference?: ConvexFunctionReference<any, any>,
+  functionType?: "query" | "mutation" | "action",
 ): AnyConfect => {
   const ref = {
     [TypeId]: TypeId as TypeId,
     _tag: "Confect" as const,
+    ...(functionType === undefined ? {} : { functionType }),
     convexFunctionName,
     ...(functionReference === undefined ? {} : { functionReference }),
     kind: provenance.kind,
@@ -532,6 +539,7 @@ export const fromFunctionReference = <
   Returns_,
 >(
   functionReference: ConvexFunctionReference<Type, Visibility, Args_, Returns_>,
+  functionType?: NoInfer<Type>,
 ): ConvexRef<
   Extract<
     RuntimeAndFunctionType.RuntimeAndFunctionType,
@@ -545,6 +553,7 @@ export const fromFunctionReference = <
   return {
     [TypeId]: TypeId,
     _tag: "Convex",
+    ...(functionType === undefined ? {} : { functionType }),
     convexFunctionName:
       address.name ??
       address.reference ??

package/src/index.ts

@@ -1,3 +1,4 @@
+export * as ActionCall from "./ActionCall.js";
 export * as Callback from "./Callback.js";
 export * as FunctionProvenance from "./FunctionProvenance.js";
 export * as FunctionSpec from "./FunctionSpec.js";