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

package/dist/Ref.d.ts

@@ -4,55 +4,68 @@ import { ConvexError } from "convex/values";
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
 import * as Schema from "effect/Schema";
+import type * as FunctionProvenance from "./FunctionProvenance";
 import type * as FunctionSpec from "./FunctionSpec";
+import * as MiddlewareSpec from "./MiddlewareSpec";
 import type * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
-export interface Ref<_RuntimeAndFunctionType extends RuntimeAndFunctionType.RuntimeAndFunctionType, _FunctionVisibility extends FunctionVisibility, _Args, _Returns, _Error = never> {
-    readonly _RuntimeAndFunctionType?: _RuntimeAndFunctionType;
-    readonly _FunctionVisibility?: _FunctionVisibility;
-    readonly _Args?: _Args;
-    readonly _Returns?: _Returns;
-    readonly _Error?: _Error;
+export interface Base<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Args_, Returns_, Error_ = never> {
+    readonly "~RuntimeAndFunctionType": RuntimeAndFunctionType_;
+    readonly "~FunctionVisibility": FunctionVisibility_;
+    readonly "~Args": Args_;
+    readonly "~Returns": Returns_;
+    readonly "~Error": Error_;
 }
-export interface Any extends Ref<any, any, any, any, any> {
-}
-export interface AnyInternal extends Ref<any, "internal", any, any, any> {
-}
-export interface AnyPublic extends Ref<any, "public", any, any, any> {
+/**
+ * A reference to a single Convex function, as callers see it: the wire name
+ * plus the data needed to encode args, decode returns, and decode typed
+ * errors. A ref is one of two shapes, keyed by the spec's provenance.
+ */
+export type Ref<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Args_, Returns_, Error_ = never> = ConfectRef<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_> | ConvexRef<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_>;
+export interface ConfectRef<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Args_, Returns_, Error_ = never> extends Base<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_> {
 }
-export interface AnyQuery extends Ref<RuntimeAndFunctionType.AnyQuery, FunctionVisibility, any, any, any> {
+export interface ConvexRef<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Args_, Returns_, Error_ = never> extends Base<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_> {
 }
-export interface AnyPublicPaginatedQuery extends Ref<RuntimeAndFunctionType.AnyQuery, "public", {
+export type Any = Ref<any, any, any, any, any>;
+export type AnyInternal = Ref<any, "internal", any, any, any>;
+export type AnyPublic = Ref<any, "public", any, any, any>;
+export type AnyQuery = Ref<RuntimeAndFunctionType.AnyQuery, FunctionVisibility, any, any, any>;
+export type AnyPublicPaginatedQuery = Ref<RuntimeAndFunctionType.AnyQuery, "public", {
     [key: string]: any;
     paginationOpts: PaginationOptions;
-}, PaginationResult<any>, any> {
-}
-export interface AnyMutation extends Ref<RuntimeAndFunctionType.AnyMutation, FunctionVisibility, any, any, any> {
-}
-export interface AnyAction extends Ref<RuntimeAndFunctionType.AnyAction, FunctionVisibility, any, any, any> {
-}
-export interface AnyPublicQuery extends Ref<RuntimeAndFunctionType.AnyQuery, "public", any, any, any> {
-}
-export interface AnyPublicMutation extends Ref<RuntimeAndFunctionType.AnyMutation, "public", any, any, any> {
-}
-export interface AnyPublicAction extends Ref<RuntimeAndFunctionType.AnyAction, "public", any, any, any> {
-}
-export type GetRuntimeAndFunctionType<Ref_> = Ref_ extends Ref<infer RuntimeAndFunctionType_, infer _FunctionVisibility, infer _Args, infer _Returns, infer _Error> ? RuntimeAndFunctionType_ : never;
-export type GetRuntime<Ref_> = Ref_ extends Ref<infer RuntimeAndFunctionType_, infer _FunctionVisibility, infer _Args, infer _Returns, infer _Error> ? RuntimeAndFunctionType.GetRuntime<RuntimeAndFunctionType_> : never;
-export type GetFunctionType<Ref_> = Ref_ extends Ref<infer RuntimeAndFunctionType_, infer _FunctionVisibility, infer _Args, infer _Returns, infer _Error> ? RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> : never;
-export type GetFunctionVisibility<Ref_> = Ref_ extends Ref<infer _RuntimeAndFunctionType, infer FunctionVisibility_, infer _Args, infer _Returns, infer _Error> ? FunctionVisibility_ : never;
-export type Args<Ref_> = Ref_ extends Ref<infer _RuntimeAndFunctionType, infer _FunctionVisibility, infer Args_, infer _Returns, infer _Error> ? Args_ : never;
+}, PaginationResult<any>, any>;
+export type AnyMutation = Ref<RuntimeAndFunctionType.AnyMutation, FunctionVisibility, any, any, any>;
+export type AnyAction = Ref<RuntimeAndFunctionType.AnyAction, FunctionVisibility, any, any, any>;
+export type AnyPublicQuery = Ref<RuntimeAndFunctionType.AnyQuery, "public", any, any, any>;
+export type AnyPublicMutation = Ref<RuntimeAndFunctionType.AnyMutation, "public", any, any, any>;
+export type AnyPublicAction = Ref<RuntimeAndFunctionType.AnyAction, "public", any, any, any>;
+export type GetRuntimeAndFunctionType<Ref_> = Ref_ extends {
+    readonly "~RuntimeAndFunctionType": infer RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType;
+} ? RuntimeAndFunctionType_ : never;
+export type GetRuntime<Ref_> = RuntimeAndFunctionType.GetRuntime<GetRuntimeAndFunctionType<Ref_>>;
+export type GetFunctionType<Ref_> = RuntimeAndFunctionType.GetFunctionType<GetRuntimeAndFunctionType<Ref_>>;
+export type GetFunctionVisibility<Ref_> = Ref_ extends {
+    readonly "~FunctionVisibility": infer FunctionVisibility_;
+} ? FunctionVisibility_ : never;
+export type Args<Ref_> = Ref_ extends {
+    readonly "~Args": infer Args_;
+} ? Args_ : never;
 export type OptionalArgs<Ref_ extends Any> = keyof Args<Ref_> extends never ? [args?: Args<Ref_>] : [args: Args<Ref_>];
-export type Returns<Ref_> = Ref_ extends Ref<infer _RuntimeAndFunctionType, infer _FunctionVisibility, infer _Args, infer Returns_, infer _Error> ? Returns_ : never;
-export type Error<Ref_> = Ref_ extends Ref<infer _RuntimeAndFunctionType, infer _FunctionVisibility, infer _Args, infer _Returns, infer Error_> ? Error_ : never;
+export type Returns<Ref_> = Ref_ extends {
+    readonly "~Returns": infer Returns_;
+} ? Returns_ : never;
+export type Error<Ref_> = Ref_ extends {
+    readonly "~Error": infer Error_;
+} ? Error_ : never;
 export type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<GetFunctionType<Ref_>, GetFunctionVisibility<Ref_>>;
-export type FromFunctionSpec<FunctionSpec_ extends FunctionSpec.AnyWithProps> = Ref<FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>, FunctionSpec.GetFunctionVisibility<FunctionSpec_>, FunctionSpec.Args<FunctionSpec_>, FunctionSpec.Returns<FunctionSpec_>, FunctionSpec.Error<FunctionSpec_>>;
+export type FromFunctionSpec<FunctionSpec_ extends FunctionSpec.AnyWithProps, MiddlewareError = never> = FromFunctionSpecHelper<FunctionSpec_, FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>, FunctionSpec.GetFunctionVisibility<FunctionSpec_>, FunctionSpec.Args<FunctionSpec_>, FunctionSpec.Returns<FunctionSpec_>, FunctionSpec.Error<FunctionSpec_> | MiddlewareError>;
+type FromFunctionSpecHelper<FunctionSpec_ extends FunctionSpec.AnyWithProps, RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Args_, Returns_, Error_> = FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<FunctionSpec_, FunctionProvenance.AnyConvex> ? ConvexRef<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_> : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<FunctionSpec_, FunctionProvenance.AnyConfect> ? ConfectRef<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_> : Ref<RuntimeAndFunctionType_, FunctionVisibility_, Args_, Returns_, Error_>;
 export declare const make: <FunctionSpec_ extends FunctionSpec.AnyWithProps>(
 /**
  * The namespace portion of a Convex function name, i.e. the part before the
  * colon. For example, for `myGroupDir/myGroupMod:myFunc` this would be
  * `myGroupDir/myGroupMod`.
  */
-functionNamespace: string, functionSpec: FunctionSpec_) => FromFunctionSpec<FunctionSpec_>;
+convexFunctionNamespace: string, functionSpec: FunctionSpec_, groupMiddlewareSpecs?: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>) => FromFunctionSpec<FunctionSpec_>;
 export declare const getConvexFunctionName: (ref: Any) => string;
 export declare const getFunctionReference: <Ref_ extends Any>(ref: Ref_) => FunctionReference<Ref_>;
 export declare const hasErrorSchema: (ref: Any) => boolean;
@@ -74,9 +87,11 @@ export declare const isConvexError: (error: unknown) => error is ConvexError<Val
  */
 export declare const decodeErrorOrElse: <Ref_ extends Any, E>(ref: Ref_, mapUnknownError: (error: unknown) => E) => (error: unknown) => Error<Ref_> | E;
 /**
- * Decode `encodedError` against the ref's error schema. Returns `None` if the
- * ref doesn't declare a typed error (Confect ref without an `error` schema, or
- * a Convex-provenance ref)—by definition there's nothing to decode the value
+ * Decode `encodedError` against the ref's error schema — the function's
+ * declared `error` schema unioned with its covering middlewares' error
+ * schemas. Returns `None` if the ref declares no typed error at all (Confect
+ * ref without an `error` schema and without failing middleware, or a
+ * Convex-provenance ref)—by definition there's nothing to decode the value
  * into, and the caller is responsible for deciding what to do (typically:
  * surface the original value as a defect).
  */
@@ -120,4 +135,5 @@ export declare const decodePaginationPageSync: <Ref_ extends AnyPublicPaginatedQ
  * no handler is provided.
  */
 export declare const runWithCodec: <Ref_ extends Any, E = never>(ref: Ref_, args: Args<Ref_>, call: (functionReference: FunctionReference<Ref_>, encodedArgs: unknown) => PromiseLike<unknown>, mapUnknownError?: (error: unknown) => E) => Effect.Effect<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError>;
+export {};
 //# sourceMappingURL=Ref.d.ts.map

package/dist/Ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../src/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,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;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAExE,MAAM,WAAW,GAAG,CAClB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,GAAG,KAAK;IAEd,QAAQ,CAAC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IAC3D,QAAQ,CAAC,mBAAmB,CAAC,EAAE,mBAAmB,CAAC;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAK1B;AAED,MAAM,WAAW,GAAI,SAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAAG;AAE5D,MAAM,WAAW,WAAY,SAAQ,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAAG;AAE3E,MAAM,WAAW,SAAU,SAAQ,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAAG;AAEvE,MAAM,WAAW,QAAS,SAAQ,GAAG,CACnC,sBAAsB,CAAC,QAAQ,EAC/B,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,uBAAwB,SAAQ,GAAG,CAClD,sBAAsB,CAAC,QAAQ,EAC/B,QAAQ,EACR;IACE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;IACnB,cAAc,EAAE,iBAAiB,CAAC;CACnC,EACD,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,WAAY,SAAQ,GAAG,CACtC,sBAAsB,CAAC,WAAW,EAClC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,SAAU,SAAQ,GAAG,CACpC,sBAAsB,CAAC,SAAS,EAChC,kBAAkB,EAClB,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,cAAe,SAAQ,GAAG,CACzC,sBAAsB,CAAC,QAAQ,EAC/B,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,iBAAkB,SAAQ,GAAG,CAC5C,sBAAsB,CAAC,WAAW,EAClC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,WAAW,eAAgB,SAAQ,GAAG,CAC1C,sBAAsB,CAAC,SAAS,EAChC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ;CAAG;AAEJ,MAAM,MAAM,yBAAyB,CAAC,IAAI,IACxC,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,uBAAuB,GACvB,KAAK,CAAC;AAEZ,MAAM,MAAM,UAAU,CAAC,IAAI,IACzB,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,sBAAsB,CAAC,UAAU,CAAC,uBAAuB,CAAC,GAC1D,KAAK,CAAC;AAEZ,MAAM,MAAM,eAAe,CAAC,IAAI,IAC9B,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,sBAAsB,CAAC,eAAe,CAAC,uBAAuB,CAAC,GAC/D,KAAK,CAAC;AAEZ,MAAM,MAAM,qBAAqB,CAAC,IAAI,IACpC,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,mBAAmB,GACnB,KAAK,CAAC;AAEZ,MAAM,MAAM,IAAI,CAAC,IAAI,IACnB,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,KAAK,GACL,KAAK,CAAC;AAEZ,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,IACtB,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,QAAQ,GACR,KAAK,CAAC;AAEZ,MAAM,MAAM,KAAK,CAAC,IAAI,IACpB,IAAI,SAAS,GAAG,CACd,MAAM,uBAAuB,EAC7B,MAAM,mBAAmB,EACzB,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,MAAM,GACN,KAAK,CAAC;AAEZ,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,GAAG,IAAI,uBAAuB,CACvE,eAAe,CAAC,IAAI,CAAC,EACrB,qBAAqB,CAAC,IAAI,CAAC,CAC5B,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAAC,aAAa,SAAS,YAAY,CAAC,YAAY,IAC1E,GAAG,CACD,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,EAChC,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,EACnC,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,CAClC,CAAC;AAEJ,eAAO,MAAM,IAAI,GAAI,aAAa,SAAS,YAAY,CAAC,YAAY;AAClE;;;;GAIG;mBACgB,MAAM,gBACX,aAAa,KAC1B,gBAAgB,CAAC,aAAa,CAA0C,CAAC;AAE5E,eAAO,MAAM,qBAAqB,QAAS,GAAG,KAAG,MACI,CAAC;AAItD,eAAO,MAAM,oBAAoB,GAAI,IAAI,SAAS,GAAG,OAC9C,IAAI,KACR,iBAAiB,CAAC,IAAI,CAYxB,CAAC;AAEF,eAAO,MAAM,cAAc,QAAS,GAAG,KAAG,OAQvC,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,CASK,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;AAEJ;;;;;;GAMG;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,CAc5D,CAAC;AAEJ;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAWzB,CAAC;AAeJ;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,GACvC,IAAI,SAAS,uBAAuB,OAE/B,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,KACvC,OAYA,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,IAAI,SAAS,uBAAuB,OACtE,IAAI,eACI,OAAO,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAYK,CAAC;AAE7B;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,GAAI,IAAI,SAAS,GAAG,EAAE,CAAC,GAAG,KAAK,OACjD,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,QACV,CACJ,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAC1C,WAAW,EAAE,OAAO,KACjB,WAAW,CAAC,OAAO,CAAC,oBACP,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAqChE,CAAC"}
+{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../src/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,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;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAEpD,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAExE,MAAM,WAAW,IAAI,CACnB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,GAAG,KAAK;IAEd,QAAQ,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IAC5D,QAAQ,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAG3B;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAG,CACb,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,GAAG,KAAK,IAEZ,UAAU,CACR,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,GACD,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEN,MAAM,WAAW,UAAU,CACzB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,GAAG,KAAK,CACd,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;CAaA;AAED,MAAM,WAAW,SAAS,CACxB,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,GAAG,KAAK,CACd,SAAQ,IAAI,CACZ,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP;CAGA;AAED,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C,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,uBAAuB,GAAG,GAAG,CACvC,sBAAsB,CAAC,QAAQ,EAC/B,QAAQ,EACR;IACE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;IACnB,cAAc,EAAE,iBAAiB,CAAC;CACnC,EACD,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CACJ,CAAC;AAEF,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,iBAAiB,GAAG,GAAG,CACjC,sBAAsB,CAAC,WAAW,EAClC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,GAAG,CAC/B,sBAAsB,CAAC,SAAS,EAChC,QAAQ,EACR,GAAG,EACH,GAAG,EACH,GAAG,CACJ,CAAC;AAEF,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,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,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,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,GAAG,KAAK,IACrB,sBAAsB,CACxB,aAAa,EACb,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,EAChC,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,EACnC,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,eAAe,CACpD,CAAC;AAEF,KAAK,sBAAsB,CACzB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,EACL,QAAQ,EACR,MAAM,IAEN,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACvD,aAAa,EACb,kBAAkB,CAAC,SAAS,CAC7B,GACG,SAAS,CACP,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,GACD,aAAa,SAAS,YAAY,CAAC,sBAAsB,CACrD,aAAa,EACb,kBAAkB,CAAC,UAAU,CAC9B,GACD,UAAU,CACR,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,GACD,GAAG,CACD,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,QAAQ,EACR,MAAM,CACP,CAAC;AAEV,eAAO,MAAM,IAAI,GAAI,aAAa,SAAS,YAAY,CAAC,YAAY;AAClE;;;;GAIG;yBACsB,MAAM,gBACjB,aAAa,yBACL,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,KACpE,gBAAgB,CAAC,aAAa,CAiChC,CAAC;AAEF,eAAO,MAAM,qBAAqB,QAAS,GAAG,KAAG,MACzB,CAAC;AAIzB,eAAO,MAAM,oBAAoB,GAAI,IAAI,SAAS,GAAG,OAC9C,IAAI,KACR,iBAAiB,CAAC,IAAI,CAYxB,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,CAQ3D,CAAC;AAEL;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,iBAAiB,GAAI,IAAI,SAAS,GAAG,OAC3C,IAAI,gBACK,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAOzB,CAAC;AA0BJ;;;;;;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,GAAI,IAAI,SAAS,GAAG,EAAE,CAAC,GAAG,KAAK,OACjD,IAAI,QACH,IAAI,CAAC,IAAI,CAAC,QACV,CACJ,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAC1C,WAAW,EAAE,OAAO,KACjB,WAAW,CAAC,OAAO,CAAC,oBACP,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAyBhE,CAAC"}

package/dist/Ref.js

@@ -1,4 +1,6 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { defineProperty } from "./Lazy.js";
+import { errorSchemas } from "./MiddlewareSpec.js";
 import * as Schema from "effect/Schema";
 import * as Option from "effect/Option";
 import { makeFunctionReference } from "convex/server";
@@ -25,27 +27,41 @@ var Ref_exports = /* @__PURE__ */ __exportAll({
 	make: () => make,
 	runWithCodec: () => runWithCodec
 });
-const make = (functionNamespace, functionSpec) => ({
-	functionSpec,
-	functionNamespace
-});
-const getConvexFunctionName = (ref) => `${ref.functionNamespace}:${ref.functionSpec.name}`;
+const make = (convexFunctionNamespace, functionSpec, groupMiddlewareSpecs = []) => {
+	const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;
+	return Match.value(functionSpec.functionProvenance).pipe(Match.tag("Convex", () => ({
+		_tag: "Convex",
+		convexFunctionName
+	})), Match.tag("Confect", (provenance) => {
+		const ref = {
+			_tag: "Confect",
+			convexFunctionName,
+			kind: provenance.kind,
+			middlewareSpecs: [...groupMiddlewareSpecs, ...functionSpec.middlewareSpecs]
+		};
+		defineProperty(ref, "args", () => provenance.args);
+		defineProperty(ref, "returns", () => provenance.returns);
+		if ("error" in provenance) defineProperty(ref, "error", () => provenance.error);
+		return ref;
+	}), Match.exhaustive);
+};
+const getConvexFunctionName = (ref) => ref.convexFunctionName;
 const functionReferenceCache = /* @__PURE__ */ new Map();
 const getFunctionReference = (ref) => {
-	const functionName = getConvexFunctionName(ref);
-	const cached = functionReferenceCache.get(functionName);
+	const convexFunctionName = getConvexFunctionName(ref);
+	const cached = functionReferenceCache.get(convexFunctionName);
 	if (cached !== void 0) return cached;
-	const functionReference = makeFunctionReference(functionName);
-	functionReferenceCache.set(functionName, functionReference);
+	const functionReference = makeFunctionReference(convexFunctionName);
+	functionReferenceCache.set(convexFunctionName, functionReference);
 	return functionReference;
 };
-const hasErrorSchema = (ref) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => "error" in confectFunctionProvenance), Match.tag("Convex", () => false), Match.exhaustive);
-const encodeArgs = (ref, args) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.encodeEffect(confectFunctionProvenance.args)(args)), Match.tag("Convex", () => Effect.succeed(args)), Match.exhaustive);
-const decodeReturns = (ref, returns) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.decodeUnknownEffect(confectFunctionProvenance.returns)(returns)), Match.tag("Convex", () => Effect.succeed(returns)), Match.exhaustive);
-const encodeArgsSync = (ref, args) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.encodeSync(confectFunctionProvenance.args)(args)), Match.tag("Convex", () => args), Match.exhaustive);
-const decodeArgsSync = (ref, encodedArgs) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.decodeUnknownSync(confectFunctionProvenance.args)(encodedArgs)), Match.tag("Convex", () => encodedArgs), Match.exhaustive);
-const encodeReturnsSync = (ref, returns) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.encodeSync(confectFunctionProvenance.returns)(returns)), Match.tag("Convex", () => returns), Match.exhaustive);
-const decodeReturnsSync = (ref, encodedReturns) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Schema.decodeUnknownSync(confectFunctionProvenance.returns)(encodedReturns)), Match.tag("Convex", () => encodedReturns), Match.exhaustive);
+const hasErrorSchema = (ref) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => "error" in confectRef || confectRef.middlewareSpecs.some((middlewareSpec) => "error" in middlewareSpec)), Match.tag("Convex", () => false), Match.exhaustive);
+const encodeArgs = (ref, args) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.encodeEffect(confectRef.args)(args)), Match.tag("Convex", () => Effect.succeed(args)), Match.exhaustive);
+const decodeReturns = (ref, returns) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.decodeUnknownEffect(confectRef.returns)(returns)), Match.tag("Convex", () => Effect.succeed(returns)), Match.exhaustive);
+const encodeArgsSync = (ref, args) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.encodeSync(confectRef.args)(args)), Match.tag("Convex", () => args), Match.exhaustive);
+const decodeArgsSync = (ref, encodedArgs) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.decodeUnknownSync(confectRef.args)(encodedArgs)), Match.tag("Convex", () => encodedArgs), Match.exhaustive);
+const encodeReturnsSync = (ref, returns) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.encodeSync(confectRef.returns)(returns)), Match.tag("Convex", () => returns), Match.exhaustive);
+const decodeReturnsSync = (ref, encodedReturns) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.decodeUnknownSync(confectRef.returns)(encodedReturns)), Match.tag("Convex", () => encodedReturns), Match.exhaustive);
 const ConvexErrorIdentifier = Symbol.for("ConvexError");
 const isConvexError = (error) => error instanceof ConvexError || typeof error === "object" && error !== null && ConvexErrorIdentifier in error;
 /**
@@ -64,14 +80,23 @@ const decodeErrorOrElse = (ref, mapUnknownError) => (error) => {
 	}
 	return mapUnknownError(error);
 };
+const errorSchemaOf = (ref) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => {
+	const schemas = [..."error" in confectRef && confectRef.error !== void 0 ? [confectRef.error] : [], ...errorSchemas(confectRef.middlewareSpecs)];
+	return schemas.length === 0 ? Option.none() : Option.some(schemas.length === 1 ? schemas[0] : Schema.Union(schemas));
+}), Match.tag("Convex", () => Option.none()), Match.exhaustive);
 /**
-* Decode `encodedError` against the ref's error schema. Returns `None` if the
-* ref doesn't declare a typed error (Confect ref without an `error` schema, or
-* a Convex-provenance ref)—by definition there's nothing to decode the value
+* Decode `encodedError` against the ref's error schema — the function's
+* declared `error` schema unioned with its covering middlewares' error
+* schemas. Returns `None` if the ref declares no typed error at all (Confect
+* ref without an `error` schema and without failing middleware, or a
+* Convex-provenance ref)—by definition there's nothing to decode the value
 * into, and the caller is responsible for deciding what to do (typically:
 * surface the original value as a defect).
 */
-const decodeError = (ref, encodedError) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => "error" in confectFunctionProvenance ? Effect.map(Schema.decodeUnknownEffect(confectFunctionProvenance.error)(encodedError), Option.some) : Effect.succeed(Option.none())), Match.tag("Convex", () => Effect.succeed(Option.none())), Match.exhaustive);
+const decodeError = (ref, encodedError) => Option.match(errorSchemaOf(ref), {
+	onNone: () => Effect.succeed(Option.none()),
+	onSome: (schema) => Effect.map(Schema.decodeUnknownEffect(schema)(encodedError), Option.some)
+});
 /**
 * Synchronous counterpart to `decodeError`. Returns `None` when the value is
 * not this ref's typed error — either because the ref declares no `error`
@@ -87,7 +112,7 @@ const decodeError = (ref, encodedError) => Match.value(ref.functionSpec.function
 * in this module all throw on a parse failure, and this one deliberately
 * doesn't.
 */
-const decodeErrorOption = (ref, encodedError) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => "error" in confectFunctionProvenance ? Schema.decodeUnknownOption(confectFunctionProvenance.error)(encodedError) : Option.none()), Match.tag("Convex", () => Option.none()), Match.exhaustive);
+const decodeErrorOption = (ref, encodedError) => Option.flatMap(errorSchemaOf(ref), (schema) => Schema.decodeUnknownOption(schema)(encodedError));
 const missingPaginatedProvenanceError = (ref) => new globalThis.Error(`Paginated query ref "${getConvexFunctionName(ref)}" was not built with \`FunctionSpec.publicPaginatedQuery\` (or \`FunctionSpec.internalPaginatedQuery\`). Paginated encoding and decoding require the user-args and item schemas those constructors store. Define the function as, e.g.:
 
   FunctionSpec.publicPaginatedQuery({
@@ -95,6 +120,9 @@ const missingPaginatedProvenanceError = (ref) => new globalThis.Error(`Paginated
     args: () => Schema.Struct({ ... }), // optional; without paginationOpts
     item: () => ItemSchema,
   })`);
+const paginatedKind = (ref) => Match.value(ref.kind).pipe(Match.tag("Paginated", (kind) => kind), Match.tag("Standard", () => {
+	throw missingPaginatedProvenanceError(ref);
+}), Match.exhaustive);
 /**
 * Encode the args of a paginated query ref via its user-args schema —
 * `paginationOpts` is excluded, since the pagination protocol fields are
@@ -102,19 +130,13 @@ const missingPaginatedProvenanceError = (ref) => new globalThis.Error(`Paginated
 * the caller. Requires a ref built with `FunctionSpec.publicPaginatedQuery`
 * (or `internalPaginatedQuery`).
 */
-const encodePaginatedQueryArgsSync = (ref, args) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => {
-	if (confectFunctionProvenance.kind._tag !== "Paginated") throw missingPaginatedProvenanceError(ref);
-	return Schema.encodeUnknownSync(confectFunctionProvenance.kind.userArgs)(args);
-}), Match.tag("Convex", () => args), Match.exhaustive);
+const encodePaginatedQueryArgsSync = (ref, args) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.encodeUnknownSync(paginatedKind(confectRef).userArgs)(args)), Match.tag("Convex", () => args), Match.exhaustive);
 /**
 * Decode a page of a paginated query's results via the ref's item schema.
 * Requires a ref built with `FunctionSpec.publicPaginatedQuery` (or
 * `internalPaginatedQuery`).
 */
-const decodePaginationPageSync = (ref, encodedPage) => Match.value(ref.functionSpec.functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => {
-	if (confectFunctionProvenance.kind._tag !== "Paginated") throw missingPaginatedProvenanceError(ref);
-	return Schema.decodeUnknownSync(confectFunctionProvenance.kind.page)(encodedPage);
-}), Match.tag("Convex", () => encodedPage), Match.exhaustive);
+const decodePaginationPageSync = (ref, encodedPage) => Match.value(ref).pipe(Match.tag("Confect", (confectRef) => Schema.decodeUnknownSync(paginatedKind(confectRef).page)(encodedPage)), Match.tag("Convex", () => encodedPage), Match.exhaustive);
 /**
 * Encode args via the ref's args schema, invoke `call`, decode returns via the
 * ref's returns schema, and translate any thrown `ConvexError` into the ref's
@@ -125,7 +147,6 @@ const decodePaginationPageSync = (ref, encodedPage) => Match.value(ref.functionS
 */
 const runWithCodec = (ref, args, call, mapUnknownError) => Effect.gen(function* () {
 	const functionReference = getFunctionReference(ref);
-	const functionProvenance = ref.functionSpec.functionProvenance;
 	const invoke = (encodedArgs) => Effect.tryPromise({
 		try: () => Promise.resolve(call(functionReference, encodedArgs)),
 		catch: (error) => {
@@ -137,11 +158,8 @@ const runWithCodec = (ref, args, call, mapUnknownError) => Effect.gen(function*
 			throw error;
 		}
 	});
-	return yield* Match.value(functionProvenance).pipe(Match.tag("Confect", (confectFunctionProvenance) => Effect.gen(function* () {
-		const encodedArgs = yield* Schema.encodeEffect(confectFunctionProvenance.args)(args);
-		const encodedReturns = yield* invoke(encodedArgs);
-		return yield* Schema.decodeUnknownEffect(confectFunctionProvenance.returns)(encodedReturns);
-	})), Match.tag("Convex", () => invoke(args)), Match.exhaustive);
+	const encodedReturns = yield* invoke(yield* encodeArgs(ref, args));
+	return yield* decodeReturns(ref, encodedReturns);
 });
 //#endregion
 export { Ref_exports, decodeArgsSync, decodeError, decodeErrorOption, decodeErrorOrElse, decodePaginationPageSync, decodeReturns, decodeReturnsSync, encodeArgs, encodeArgsSync, encodePaginatedQueryArgsSync, encodeReturnsSync, getConvexFunctionName, getFunctionReference, hasErrorSchema, isConvexError, make, runWithCodec };

package/dist/Ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"Ref.js","names":[],"sources":["../src/Ref.ts"],"sourcesContent":["import type {\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { 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 Schema from \"effect/Schema\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport interface Ref<\n  _RuntimeAndFunctionType extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  _FunctionVisibility extends FunctionVisibility,\n  _Args,\n  _Returns,\n  _Error = never,\n> {\n  readonly _RuntimeAndFunctionType?: _RuntimeAndFunctionType;\n  readonly _FunctionVisibility?: _FunctionVisibility;\n  readonly _Args?: _Args;\n  readonly _Returns?: _Returns;\n  readonly _Error?: _Error;\n  /** @internal */\n  readonly functionSpec: FunctionSpec.AnyWithProps;\n  /** @internal */\n  readonly functionNamespace: string;\n}\n\nexport interface Any extends Ref<any, any, any, any, any> {}\n\nexport interface AnyInternal extends Ref<any, \"internal\", any, any, any> {}\n\nexport interface AnyPublic extends Ref<any, \"public\", any, any, any> {}\n\nexport interface AnyQuery extends Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  FunctionVisibility,\n  any,\n  any,\n  any\n> {}\n\nexport interface AnyPublicPaginatedQuery extends Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  {\n    [key: string]: any;\n    paginationOpts: PaginationOptions;\n  },\n  PaginationResult<any>,\n  any\n> {}\n\nexport interface AnyMutation extends Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  FunctionVisibility,\n  any,\n  any,\n  any\n> {}\n\nexport interface AnyAction extends Ref<\n  RuntimeAndFunctionType.AnyAction,\n  FunctionVisibility,\n  any,\n  any,\n  any\n> {}\n\nexport interface AnyPublicQuery extends Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\n  any,\n  any,\n  any\n> {}\n\nexport interface AnyPublicMutation extends Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n> {}\n\nexport interface AnyPublicAction extends Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n> {}\n\nexport type GetRuntimeAndFunctionType<Ref_> =\n  Ref_ extends Ref<\n    infer RuntimeAndFunctionType_,\n    infer _FunctionVisibility,\n    infer _Args,\n    infer _Returns,\n    infer _Error\n  >\n    ? RuntimeAndFunctionType_\n    : never;\n\nexport type GetRuntime<Ref_> =\n  Ref_ extends Ref<\n    infer RuntimeAndFunctionType_,\n    infer _FunctionVisibility,\n    infer _Args,\n    infer _Returns,\n    infer _Error\n  >\n    ? RuntimeAndFunctionType.GetRuntime<RuntimeAndFunctionType_>\n    : never;\n\nexport type GetFunctionType<Ref_> =\n  Ref_ extends Ref<\n    infer RuntimeAndFunctionType_,\n    infer _FunctionVisibility,\n    infer _Args,\n    infer _Returns,\n    infer _Error\n  >\n    ? RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_>\n    : never;\n\nexport type GetFunctionVisibility<Ref_> =\n  Ref_ extends Ref<\n    infer _RuntimeAndFunctionType,\n    infer FunctionVisibility_,\n    infer _Args,\n    infer _Returns,\n    infer _Error\n  >\n    ? FunctionVisibility_\n    : never;\n\nexport type Args<Ref_> =\n  Ref_ extends Ref<\n    infer _RuntimeAndFunctionType,\n    infer _FunctionVisibility,\n    infer Args_,\n    infer _Returns,\n    infer _Error\n  >\n    ? Args_\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_> =\n  Ref_ extends Ref<\n    infer _RuntimeAndFunctionType,\n    infer _FunctionVisibility,\n    infer _Args,\n    infer Returns_,\n    infer _Error\n  >\n    ? Returns_\n    : never;\n\nexport type Error<Ref_> =\n  Ref_ extends Ref<\n    infer _RuntimeAndFunctionType,\n    infer _FunctionVisibility,\n    infer _Args,\n    infer _Returns,\n    infer Error_\n  >\n    ? Error_\n    : never;\n\nexport type FunctionReference<Ref_ extends Any> = ConvexFunctionReference<\n  GetFunctionType<Ref_>,\n  GetFunctionVisibility<Ref_>\n>;\n\nexport type FromFunctionSpec<FunctionSpec_ extends FunctionSpec.AnyWithProps> =\n  Ref<\n    FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n    FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n    FunctionSpec.Args<FunctionSpec_>,\n    FunctionSpec.Returns<FunctionSpec_>,\n    FunctionSpec.Error<FunctionSpec_>\n  >;\n\nexport const make = <FunctionSpec_ extends FunctionSpec.AnyWithProps>(\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  functionNamespace: string,\n  functionSpec: FunctionSpec_,\n): FromFunctionSpec<FunctionSpec_> => ({ functionSpec, functionNamespace });\n\nexport const getConvexFunctionName = (ref: Any): string =>\n  `${ref.functionNamespace}:${ref.functionSpec.name}`;\n\nconst functionReferenceCache = new Map<string, FunctionReference<Any>>();\n\nexport const getFunctionReference = <Ref_ extends Any>(\n  ref: Ref_,\n): FunctionReference<Ref_> => {\n  const functionName = getConvexFunctionName(ref);\n\n  const cached = functionReferenceCache.get(functionName);\n  if (cached !== undefined) {\n    return cached as FunctionReference<Ref_>;\n  }\n\n  const functionReference = makeFunctionReference(functionName);\n  functionReferenceCache.set(functionName, functionReference);\n\n  return functionReference as FunctionReference<Ref_>;\n};\n\nexport const hasErrorSchema = (ref: Any): boolean =>\n  Match.value(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Confect\",\n      (confectFunctionProvenance) => \"error\" in confectFunctionProvenance,\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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.encodeEffect(confectFunctionProvenance.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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.decodeUnknownEffect(confectFunctionProvenance.returns)(returns),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(returns)),\n    Match.exhaustive,\n  );\n\nexport const encodeArgsSync = <Ref_ extends Any>(\n  ref: Ref_,\n  args: Args<Ref_>,\n): unknown =>\n  Match.value(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.encodeSync(confectFunctionProvenance.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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.decodeUnknownSync(confectFunctionProvenance.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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.encodeSync(confectFunctionProvenance.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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      Schema.decodeUnknownSync(confectFunctionProvenance.returns)(\n        encodedReturns,\n      ),\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\n * outside the ref's error contract. Useful when adapting non-Effect APIs (e.g.\n * emitter callbacks for streamed subscriptions) to the same error semantics\n * that `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\n/**\n * Decode `encodedError` against the ref's error schema. Returns `None` if the\n * ref doesn't declare a typed error (Confect ref without an `error` schema, or\n * a Convex-provenance ref)—by definition there's nothing to decode the value\n * into, and the caller is responsible for deciding what to do (typically:\n * surface the original value as 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  Match.value(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      \"error\" in confectFunctionProvenance\n        ? Effect.map(\n            Schema.decodeUnknownEffect(confectFunctionProvenance.error)(\n              encodedError,\n            ),\n            Option.some,\n          )\n        : Effect.succeed(Option.none<Error<Ref_>>()),\n    ),\n    Match.tag(\"Convex\", () => Effect.succeed(Option.none<Error<Ref_>>())),\n    Match.exhaustive,\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`\n * schema, 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\n * those never match a user-declared error schema. Callers pair this with a\n * fallback that surfaces the original error, so failing to decode must not\n * throw — a `ParseError` here would replace the real error with an opaque one\n * and lose the only useful diagnostic. Hence the `Option` suffix rather than\n * `Sync`, matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers\n * in this module all throw on a parse failure, and this one deliberately\n * doesn't.\n */\nexport const decodeErrorOption = <Ref_ extends Any>(\n  ref: Ref_,\n  encodedError: unknown,\n): Option.Option<Error<Ref_>> =>\n  Match.value(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) =>\n      \"error\" in confectFunctionProvenance\n        ? (Schema.decodeUnknownOption(confectFunctionProvenance.error)(\n            encodedError,\n          ) as Option.Option<Error<Ref_>>)\n        : Option.none<Error<Ref_>>(),\n    ),\n    Match.tag(\"Convex\", () => Option.none<Error<Ref_>>()),\n    Match.exhaustive,\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: () => Schema.Struct({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\n/**\n * Encode the args of a paginated query ref via its user-args schema —\n * `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`\n * (or `internalPaginatedQuery`).\n */\nexport const encodePaginatedQueryArgsSync = <\n  Ref_ extends AnyPublicPaginatedQuery,\n>(\n  ref: Ref_,\n  args: Omit<Args<Ref_>, \"paginationOpts\">,\n): unknown =>\n  Match.value(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) => {\n      if (confectFunctionProvenance.kind._tag !== \"Paginated\") {\n        throw missingPaginatedProvenanceError(ref);\n      }\n      return Schema.encodeUnknownSync(confectFunctionProvenance.kind.userArgs)(\n        args,\n      );\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(ref.functionSpec.functionProvenance).pipe(\n    Match.tag(\"Confect\", (confectFunctionProvenance) => {\n      if (confectFunctionProvenance.kind._tag !== \"Paginated\") {\n        throw missingPaginatedProvenanceError(ref);\n      }\n      return Schema.decodeUnknownSync(confectFunctionProvenance.kind.page)(\n        encodedPage,\n      );\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 = <Ref_ extends Any, E = never>(\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.Effect<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> =>\n  Effect.gen(function* () {\n    const functionReference = getFunctionReference(ref);\n    const functionProvenance = ref.functionSpec.functionProvenance;\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    return yield* Match.value(functionProvenance).pipe(\n      Match.tag(\"Confect\", (confectFunctionProvenance) =>\n        Effect.gen(function* () {\n          const encodedArgs = yield* Schema.encodeEffect(\n            confectFunctionProvenance.args,\n          )(args);\n          const encodedReturns = yield* invoke(encodedArgs);\n          return yield* Schema.decodeUnknownEffect(\n            confectFunctionProvenance.returns,\n          )(encodedReturns);\n        }),\n      ),\n      Match.tag(\"Convex\", () => invoke(args)),\n      Match.exhaustive,\n    );\n  });\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAkMA,MAAa,QAMX,mBACA,kBACqC;CAAE;CAAc;AAAkB;AAEzE,MAAa,yBAAyB,QACpC,GAAG,IAAI,kBAAkB,GAAG,IAAI,aAAa;AAE/C,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,MAAM,eAAe,sBAAsB,GAAG;CAE9C,MAAM,SAAS,uBAAuB,IAAI,YAAY;CACtD,IAAI,WAAW,KAAA,GACb,OAAO;CAGT,MAAM,oBAAoB,sBAAsB,YAAY;CAC5D,uBAAuB,IAAI,cAAc,iBAAiB;CAE1D,OAAO;AACT;AAEA,MAAa,kBAAkB,QAC7B,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IACJ,YACC,8BAA8B,WAAW,yBAC5C,GACA,MAAM,IAAI,gBAAgB,KAAK,GAC/B,MAAM,UACR;AAEF,MAAa,cACX,KACA,SAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,aAAa,0BAA0B,IAAI,CAAC,CAAC,IAAI,CAC1D,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,IAAI,CAAC,GAC9C,MAAM,UACR;AAEF,MAAa,iBACX,KACA,YAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,oBAAoB,0BAA0B,OAAO,CAAC,CAAC,OAAO,CACvE,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAO,CAAC,GACjD,MAAM,UACR;AAEF,MAAa,kBACX,KACA,SAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,WAAW,0BAA0B,IAAI,CAAC,CAAC,IAAI,CACxD,GACA,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;AAEF,MAAa,kBACX,KACA,gBAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,kBAAkB,0BAA0B,IAAI,CAAC,CAAC,WAAW,CACtE,GACA,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,YAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,WAAW,0BAA0B,OAAO,CAAC,CAAC,OAAO,CAC9D,GACA,MAAM,IAAI,gBAAgB,OAAO,GACjC,MAAM,UACR;AAEF,MAAa,qBACX,KACA,mBAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,OAAO,kBAAkB,0BAA0B,OAAO,CAAC,CACzD,cACF,CACF,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;;;;;;;;AASF,MAAa,eACX,KACA,iBAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,WAAW,4BACP,OAAO,IACL,OAAO,oBAAoB,0BAA0B,KAAK,CAAC,CACzD,YACF,GACA,OAAO,IACT,IACA,OAAO,QAAQ,OAAO,KAAkB,CAAC,CAC/C,GACA,MAAM,IAAI,gBAAgB,OAAO,QAAQ,OAAO,KAAkB,CAAC,CAAC,GACpE,MAAM,UACR;;;;;;;;;;;;;;;;AAiBF,MAAa,qBACX,KACA,iBAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BACpB,WAAW,4BACN,OAAO,oBAAoB,0BAA0B,KAAK,CAAC,CAC1D,YACF,IACA,OAAO,KAAkB,CAC/B,GACA,MAAM,IAAI,gBAAgB,OAAO,KAAkB,CAAC,GACpD,MAAM,UACR;AAEF,MAAM,mCAAmC,QACvC,IAAI,WAAW,MACb,wBAAwB,sBAAsB,GAAG,EAAE;;;;;;KASrD;;;;;;;;AASF,MAAa,gCAGX,KACA,SAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BAA8B;CAClD,IAAI,0BAA0B,KAAK,SAAS,aAC1C,MAAM,gCAAgC,GAAG;CAE3C,OAAO,OAAO,kBAAkB,0BAA0B,KAAK,QAAQ,CAAC,CACtE,IACF;AACF,CAAC,GACD,MAAM,IAAI,gBAAgB,IAAI,GAC9B,MAAM,UACR;;;;;;AAOF,MAAa,4BACX,KACA,gBAEA,MAAM,MAAM,IAAI,aAAa,kBAAkB,CAAC,CAAC,KAC/C,MAAM,IAAI,YAAY,8BAA8B;CAClD,IAAI,0BAA0B,KAAK,SAAS,aAC1C,MAAM,gCAAgC,GAAG;CAE3C,OAAO,OAAO,kBAAkB,0BAA0B,KAAK,IAAI,CAAC,CAClE,WACF;AACF,CAAC,GACD,MAAM,IAAI,gBAAgB,WAAW,GACrC,MAAM,UACR;;;;;;;;;AAUF,MAAa,gBACX,KACA,MACA,MAIA,oBAEA,OAAO,IAAI,aAAa;CACtB,MAAM,oBAAoB,qBAAqB,GAAG;CAClD,MAAM,qBAAqB,IAAI,aAAa;CAC5C,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;CACH,OAAO,OAAO,MAAM,MAAM,kBAAkB,CAAC,CAAC,KAC5C,MAAM,IAAI,YAAY,8BACpB,OAAO,IAAI,aAAa;EACtB,MAAM,cAAc,OAAO,OAAO,aAChC,0BAA0B,IAC5B,CAAC,CAAC,IAAI;EACN,MAAM,iBAAiB,OAAO,OAAO,WAAW;EAChD,OAAO,OAAO,OAAO,oBACnB,0BAA0B,OAC5B,CAAC,CAAC,cAAc;CAClB,CAAC,CACH,GACA,MAAM,IAAI,gBAAgB,OAAO,IAAI,CAAC,GACtC,MAAM,UACR;AACF,CAAC"}
+{"version":3,"file":"Ref.js","names":["MiddlewareSpec.errorSchemas"],"sources":["../src/Ref.ts"],"sourcesContent":["import type {\n  FunctionReference as ConvexFunctionReference,\n  FunctionVisibility,\n  PaginationOptions,\n  PaginationResult,\n} from \"convex/server\";\nimport { 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 Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport * as Lazy from \"./Lazy\";\nimport * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport interface Base<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_,\n  Returns_,\n  Error_ = never,\n> {\n  readonly \"~RuntimeAndFunctionType\": RuntimeAndFunctionType_;\n  readonly \"~FunctionVisibility\": FunctionVisibility_;\n  readonly \"~Args\": Args_;\n  readonly \"~Returns\": Returns_;\n  readonly \"~Error\": Error_;\n  /** @internal */\n  readonly convexFunctionName: string;\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\n * errors. 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_,\n  Returns_,\n  Error_ = never,\n> =\n  | ConfectRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >\n  | ConvexRef<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_,\n      Args_,\n      Returns_,\n      Error_\n    >;\n\nexport interface ConfectRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  /** @internal */\n  readonly _tag: \"Confect\";\n  /** @internal */\n  readonly args: Schema.Codec<any, any>;\n  /** @internal */\n  readonly returns: Schema.Codec<any, any>;\n  /** @internal */\n  readonly kind: FunctionProvenance.ConfectKind;\n  /** @internal */\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  /** @internal */\n  readonly error?: Schema.Codec<any, any>;\n}\n\nexport interface ConvexRef<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_,\n  Returns_,\n  Error_ = never,\n> extends Base<\n  RuntimeAndFunctionType_,\n  FunctionVisibility_,\n  Args_,\n  Returns_,\n  Error_\n> {\n  /** @internal */\n  readonly _tag: \"Convex\";\n}\n\nexport type Any = Ref<any, any, any, any, any>;\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 AnyPublicPaginatedQuery = Ref<\n  RuntimeAndFunctionType.AnyQuery,\n  \"public\",\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 AnyPublicMutation = Ref<\n  RuntimeAndFunctionType.AnyMutation,\n  \"public\",\n  any,\n  any,\n  any\n>;\n\nexport type AnyPublicAction = Ref<\n  RuntimeAndFunctionType.AnyAction,\n  \"public\",\n  any,\n  any,\n  any\n>;\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\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\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\nexport type FromFunctionSpec<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareError = never,\n> = FromFunctionSpecHelper<\n  FunctionSpec_,\n  FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n  FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n  FunctionSpec.Args<FunctionSpec_>,\n  FunctionSpec.Returns<FunctionSpec_>,\n  FunctionSpec.Error<FunctionSpec_> | MiddlewareError\n>;\n\ntype FromFunctionSpecHelper<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Args_,\n  Returns_,\n  Error_,\n> =\n  FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n    FunctionSpec_,\n    FunctionProvenance.AnyConvex\n  >\n    ? ConvexRef<\n        RuntimeAndFunctionType_,\n        FunctionVisibility_,\n        Args_,\n        Returns_,\n        Error_\n      >\n    : FunctionSpec_ extends FunctionSpec.WithFunctionProvenance<\n          FunctionSpec_,\n          FunctionProvenance.AnyConfect\n        >\n      ? ConfectRef<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >\n      : Ref<\n          RuntimeAndFunctionType_,\n          FunctionVisibility_,\n          Args_,\n          Returns_,\n          Error_\n        >;\n\nexport const make = <FunctionSpec_ extends FunctionSpec.AnyWithProps>(\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  groupMiddlewareSpecs: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec> = [],\n): FromFunctionSpec<FunctionSpec_> => {\n  const convexFunctionName = `${convexFunctionNamespace}:${functionSpec.name}`;\n\n  return Match.value(functionSpec.functionProvenance).pipe(\n    Match.tag(\n      \"Convex\",\n      (): Any =>\n        ({\n          _tag: \"Convex\",\n          convexFunctionName,\n        }) as Any,\n    ),\n    Match.tag(\"Confect\", (provenance): Any => {\n      const ref = {\n        _tag: \"Confect\" as const,\n        convexFunctionName,\n        kind: provenance.kind,\n        middlewareSpecs: [\n          ...groupMiddlewareSpecs,\n          ...functionSpec.middlewareSpecs,\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 Any;\n    }),\n    Match.exhaustive,\n  ) as FromFunctionSpec<FunctionSpec_>;\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  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\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\n * outside the ref's error contract. Useful when adapting non-Effect APIs (e.g.\n * emitter callbacks for streamed subscriptions) to the same error semantics\n * that `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\n * declared `error` schema unioned with its covering middlewares' error\n * schemas. Returns `None` if the ref declares no typed error at all (Confect\n * ref without an `error` schema and without failing middleware, or a\n * Convex-provenance ref)—by definition there's nothing to decode the value\n * into, and the caller is responsible for deciding what to do (typically:\n * surface the original value as 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.map(\n        Schema.decodeUnknownEffect(schema)(encodedError),\n        Option.some,\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`\n * schema, 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\n * those never match a user-declared error schema. Callers pair this with a\n * fallback that surfaces the original error, so failing to decode must not\n * throw — a `ParseError` here would replace the real error with an opaque one\n * and lose the only useful diagnostic. Hence the `Option` suffix rather than\n * `Sync`, matching `Schema.decodeUnknownOption`: the sibling `*Sync` helpers\n * in this module all throw on a parse failure, and this one deliberately\n * 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: () => Schema.Struct({ ... }), // optional; without paginationOpts\\n\" +\n      \"    item: () => ItemSchema,\\n\" +\n      \"  })\",\n  );\n\nconst paginatedKind = (\n  ref: ConfectRef<any, any, any, any, any>,\n): 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 schema —\n * `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`\n * (or `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 = <Ref_ extends Any, E = never>(\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.Effect<Returns<Ref_>, E | Error<Ref_> | Schema.SchemaError> =>\n  Effect.gen(function* () {\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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuQA,MAAa,QAMX,yBACA,cACA,uBAAwE,CAAC,MACrC;CACpC,MAAM,qBAAqB,GAAG,wBAAwB,GAAG,aAAa;CAEtE,OAAO,MAAM,MAAM,aAAa,kBAAkB,CAAC,CAAC,KAClD,MAAM,IACJ,iBAEG;EACC,MAAM;EACN;CACF,EACJ,GACA,MAAM,IAAI,YAAY,eAAoB;EACxC,MAAM,MAAM;GACV,MAAM;GACN;GACA,MAAM,WAAW;GACjB,iBAAiB,CACf,GAAG,sBACH,GAAG,aAAa,eAClB;EACF;EAEA,eAAoB,KAAK,cAAc,WAAW,IAAI;EACtD,eAAoB,KAAK,iBAAiB,WAAW,OAAO;EAC5D,IAAI,WAAW,YACb,eAAoB,KAAK,eAAe,WAAW,KAAK;EAG1D,OAAO;CACT,CAAC,GACD,MAAM,UACR;AACF;AAEA,MAAa,yBAAyB,QACpC,IAAI;AAEN,MAAM,yCAAyB,IAAI,IAAoC;AAEvE,MAAa,wBACX,QAC4B;CAC5B,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;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,IACL,OAAO,oBAAoB,MAAM,CAAC,CAAC,YAAY,GAC/C,OAAO,IACT;AACJ,CAAC;;;;;;;;;;;;;;;;AAiBH,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,iBACJ,QAEA,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,gBACX,KACA,MACA,MAIA,oBAEA,OAAO,IAAI,aAAa;CACtB,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/Refs.d.ts

@@ -1,6 +1,7 @@
 import type { Types } from "effect";
 import type * as FunctionSpec from "./FunctionSpec";
 import type * as GroupSpec from "./GroupSpec";
+import type * as MiddlewareSpec from "./MiddlewareSpec";
 import * as Ref from "./Ref";
 import type * as Spec from "./Spec";
 export type Refs<Spec_ extends Spec.AnyWithProps, Predicate extends Ref.Any = Ref.Any> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;
@@ -8,13 +9,17 @@ export interface FromSpec<Spec_ extends Spec.AnyWithProps> {
     public: Refs<Spec_, Ref.AnyPublic>;
     internal: Refs<Spec_, Ref.AnyInternal>;
 }
-type GroupRefs<Group extends GroupSpec.AnyWithProps, Predicate extends Ref.Any> = Types.Simplify<OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> & FilteredFunctions<GroupSpec.Functions<Group>, Predicate>>;
+type GroupRefs<Group extends GroupSpec.AnyWithProps, Predicate extends Ref.Any> = Types.Simplify<OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> & FilteredFunctions<GroupSpec.Functions<Group>, Predicate, MiddlewareSpec.Error<GroupSpec.MiddlewareSpecs<Group>>>>;
 type OmitEmpty<T> = {
     [K in keyof T as keyof T[K] extends never ? never : K]: T[K];
 };
 type FunctionSpecMatchesPredicate<FunctionSpec_ extends FunctionSpec.AnyWithProps, Predicate extends Ref.Any> = Ref.Ref<FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>, FunctionSpec.GetFunctionVisibility<FunctionSpec_>, any, any> extends Predicate ? true : false;
-type FilteredFunctions<FunctionSpecs extends FunctionSpec.AnyWithProps, Predicate extends Ref.Any> = {
-    [Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<FunctionSpecs, Name> extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true ? Name : never : never]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends FunctionSpec.AnyWithProps ? Ref.FromFunctionSpec<F> : never;
+type FilteredFunctions<FunctionSpecs extends FunctionSpec.AnyWithProps, Predicate extends Ref.Any, MiddlewareError> = {
+    [Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<FunctionSpecs, Name> extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true ? Name : never : never]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends FunctionSpec.AnyWithProps ? Ref.FromFunctionSpec<F, F extends {
+        readonly functionProvenance: {
+            readonly _tag: "Confect";
+        };
+    } ? MiddlewareError | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<F>> : never> : never;
 };
 type Helper<Groups extends GroupSpec.AnyWithProps, Predicate extends Ref.Any> = {
     [GroupName in GroupSpec.Name<Groups>]: GroupSpec.WithName<Groups, GroupName> extends infer Group extends GroupSpec.AnyWithProps ? GroupRefs<Group, Predicate> : never;

package/dist/Refs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Refs.d.ts","sourceRoot":"","sources":["../src/Refs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAIpC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,SAAS,SAAS,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IACjC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAErE,MAAM,WAAW,QAAQ,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY;IACvD,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;CACxC;AAED,KAAK,SAAS,CACZ,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB,KAAK,CAAC,QAAQ,CAChB,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,GACnD,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAC3D,CAAC;AAEF,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;AAEF,KAAK,4BAA4B,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,IAEzB,GAAG,CAAC,GAAG,CACL,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,GAAG,EACH,GAAG,CACJ,SAAS,SAAS,GACf,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CACpB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB;KACD,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,QAAQ,CAChE,aAAa,EACb,IAAI,CACL,SAAS,MAAM,aAAa,SAAS,YAAY,CAAC,YAAY,GAC3D,4BAA4B,CAAC,aAAa,EAAE,SAAS,CAAC,SAAS,IAAI,GACjE,IAAI,GACJ,KAAK,GACP,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SACpE,YAAY,CAAC,YAAY,GACvB,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,GACvB,KAAK;CACV,CAAC;AAEF,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB;KACD,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CACvD,MAAM,EACN,SAAS,CACV,SAAS,MAAM,KAAK,SAAS,SAAS,CAAC,YAAY,GAChD,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAC3B,KAAK;CACV,CAAC;AAQF,eAAO,MAAM,IAAI,GAAI,KAAK,SAAS,IAAI,CAAC,YAAY,QAC5C,KAAK,KACV,QAAQ,CAAC,KAAK,CAMhB,CAAC"}
+{"version":3,"file":"Refs.d.ts","sourceRoot":"","sources":["../src/Refs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAIpC,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,OAAO,KAAK,KAAK,IAAI,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,IAAI,CAAC,YAAY,EAC/B,SAAS,SAAS,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IACjC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAErE,MAAM,WAAW,QAAQ,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY;IACvD,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;CACxC;AAED,KAAK,SAAS,CACZ,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB,KAAK,CAAC,QAAQ,CAChB,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,GACnD,iBAAiB,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,SAAS,EACT,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CACvD,CACJ,CAAC;AAEF,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;AAEF,KAAK,4BAA4B,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,IAEzB,GAAG,CAAC,GAAG,CACL,YAAY,CAAC,yBAAyB,CAAC,aAAa,CAAC,EACrD,YAAY,CAAC,qBAAqB,CAAC,aAAa,CAAC,EACjD,GAAG,EACH,GAAG,CACJ,SAAS,SAAS,GACf,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CACpB,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,SAAS,SAAS,GAAG,CAAC,GAAG,EACzB,eAAe,IACb;KAEA,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,QAAQ,CAC/D,aAAa,EACb,IAAI,CACL,SAAS,MAAM,aAAa,SAAS,YAAY,CAAC,YAAY,GAC3D,4BAA4B,CAAC,aAAa,EAAE,SAAS,CAAC,SAAS,IAAI,GACjE,IAAI,GACJ,KAAK,GACP,KAAK,GACR,YAAY,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SAC3D,YAAY,CAAC,YAAY,GACvB,GAAG,CAAC,gBAAgB,CAClB,CAAC,EACD,CAAC,SAAS;QACR,QAAQ,CAAC,kBAAkB,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;SAAE,CAAC;KAC3D,GAEO,eAAe,GACf,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GACzD,KAAK,CACV,GACD,KAAK;CACV,CAAC;AAEF,KAAK,MAAM,CACT,MAAM,SAAS,SAAS,CAAC,YAAY,EACrC,SAAS,SAAS,GAAG,CAAC,GAAG,IACvB;KACD,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CACvD,MAAM,EACN,SAAS,CACV,SAAS,MAAM,KAAK,SAAS,SAAS,CAAC,YAAY,GAChD,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAC3B,KAAK;CACV,CAAC;AAQF,eAAO,MAAM,IAAI,GAAI,KAAK,SAAS,IAAI,CAAC,YAAY,QAC5C,KAAK,KACV,QAAQ,CAAC,KAAK,CAMhB,CAAC"}

package/dist/Refs.js

@@ -12,12 +12,12 @@ const make = (spec) => {
 		internal: refs
 	};
 };
-const makeHelper = (groups, functionNamespace = Option.none()) => pipe(groups, Record.map((group, name) => {
-	const currentFunctionNamespace = Option.match(functionNamespace, {
+const makeHelper = (groups, convexFunctionNamespace = Option.none()) => pipe(groups, Record.map((group, name) => {
+	const currentConvexFunctionNamespace = Option.match(convexFunctionNamespace, {
 		onNone: () => name,
 		onSome: (parentNamespace) => `${parentNamespace}/${name}`
 	});
-	return Record.union(makeHelper(group.groups, Option.some(currentFunctionNamespace)), Record.map(group.functions, (function_) => make$1(currentFunctionNamespace, function_)), (_subGroup, _function) => {
+	return Record.union(makeHelper(group.groups, Option.some(currentConvexFunctionNamespace)), Record.map(group.functions, (function_) => make$1(currentConvexFunctionNamespace, function_, group.middlewareSpecs)), (_subGroup, _function) => {
 		throw new Error(`Group and function at same level have same name ('${getConvexFunctionName(_function)}')`);
 	});
 }));

package/dist/Refs.js.map

@@ -1 +1 @@
-{"version":3,"file":"Refs.js","names":["Ref.make","Ref.getConvexFunctionName"],"sources":["../src/Refs.ts"],"sourcesContent":["import type { Types } from \"effect\";\nimport { pipe } from \"effect/Function\";\nimport * as Option from \"effect/Option\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as GroupSpec from \"./GroupSpec\";\nimport * as Ref from \"./Ref\";\nimport type * as Spec from \"./Spec\";\n\nexport type Refs<\n  Spec_ extends Spec.AnyWithProps,\n  Predicate extends Ref.Any = Ref.Any,\n> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;\n\nexport interface FromSpec<Spec_ extends Spec.AnyWithProps> {\n  public: Refs<Spec_, Ref.AnyPublic>;\n  internal: Refs<Spec_, Ref.AnyInternal>;\n}\n\ntype GroupRefs<\n  Group extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = Types.Simplify<\n  OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> &\n    FilteredFunctions<GroupSpec.Functions<Group>, Predicate>\n>;\n\ntype OmitEmpty<T> = {\n  [K in keyof T as keyof T[K] extends never ? never : K]: T[K];\n};\n\ntype FunctionSpecMatchesPredicate<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> =\n  Ref.Ref<\n    FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n    FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n    any,\n    any\n  > extends Predicate\n    ? true\n    : false;\n\ntype FilteredFunctions<\n  FunctionSpecs extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = {\n  [Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<\n    FunctionSpecs,\n    Name\n  > extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps\n    ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true\n      ? Name\n      : never\n    : never]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends\n    FunctionSpec.AnyWithProps\n    ? Ref.FromFunctionSpec<F>\n    : never;\n};\n\ntype Helper<\n  Groups extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = {\n  [GroupName in GroupSpec.Name<Groups>]: GroupSpec.WithName<\n    Groups,\n    GroupName\n  > extends infer Group extends GroupSpec.AnyWithProps\n    ? GroupRefs<Group, Predicate>\n    : never;\n};\n\ntype Any =\n  | {\n      readonly [key: string]: Any;\n    }\n  | Ref.Any;\n\nexport const make = <Spec_ extends Spec.AnyWithProps>(\n  spec: Spec_,\n): FromSpec<Spec_> => {\n  const refs = makeHelper(spec.groups);\n  return {\n    public: refs as Refs<Spec_, Ref.AnyPublic>,\n    internal: refs as Refs<Spec_, Ref.AnyInternal>,\n  };\n};\n\nconst makeHelper = (\n  groups: Record.ReadonlyRecord<string, GroupSpec.Any>,\n  functionNamespace: Option.Option<string> = Option.none(),\n): Any =>\n  pipe(\n    groups as Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n    Record.map((group, name) => {\n      const currentFunctionNamespace = Option.match(functionNamespace, {\n        onNone: () => name,\n        onSome: (parentNamespace) => `${parentNamespace}/${name}`,\n      });\n\n      return Record.union(\n        makeHelper(group.groups, Option.some(currentFunctionNamespace)),\n        Record.map(group.functions, (function_) =>\n          Ref.make(currentFunctionNamespace, function_),\n        ),\n        (_subGroup, _function) => {\n          throw new Error(\n            `Group and function at same level have same name ('${Ref.getConvexFunctionName(_function)}')`,\n          );\n        },\n      );\n    }),\n  );\n"],"mappings":";;;;;;;AA+EA,MAAa,QACX,SACoB;CACpB,MAAM,OAAO,WAAW,KAAK,MAAM;CACnC,OAAO;EACL,QAAQ;EACR,UAAU;CACZ;AACF;AAEA,MAAM,cACJ,QACA,oBAA2C,OAAO,KAAK,MAEvD,KACE,QACA,OAAO,KAAK,OAAO,SAAS;CAC1B,MAAM,2BAA2B,OAAO,MAAM,mBAAmB;EAC/D,cAAc;EACd,SAAS,oBAAoB,GAAG,gBAAgB,GAAG;CACrD,CAAC;CAED,OAAO,OAAO,MACZ,WAAW,MAAM,QAAQ,OAAO,KAAK,wBAAwB,CAAC,GAC9D,OAAO,IAAI,MAAM,YAAY,cAC3BA,OAAS,0BAA0B,SAAS,CAC9C,IACC,WAAW,cAAc;EACxB,MAAM,IAAI,MACR,qDAAqDC,sBAA0B,SAAS,EAAE,GAC5F;CACF,CACF;AACF,CAAC,CACH"}
+{"version":3,"file":"Refs.js","names":["Ref.make","Ref.getConvexFunctionName"],"sources":["../src/Refs.ts"],"sourcesContent":["import type { Types } from \"effect\";\nimport { pipe } from \"effect/Function\";\nimport * as Option from \"effect/Option\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as GroupSpec from \"./GroupSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport * as Ref from \"./Ref\";\nimport type * as Spec from \"./Spec\";\n\nexport type Refs<\n  Spec_ extends Spec.AnyWithProps,\n  Predicate extends Ref.Any = Ref.Any,\n> = Types.Simplify<OmitEmpty<Helper<Spec.Groups<Spec_>, Predicate>>>;\n\nexport interface FromSpec<Spec_ extends Spec.AnyWithProps> {\n  public: Refs<Spec_, Ref.AnyPublic>;\n  internal: Refs<Spec_, Ref.AnyInternal>;\n}\n\ntype GroupRefs<\n  Group extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = Types.Simplify<\n  OmitEmpty<Helper<GroupSpec.Groups<Group>, Predicate>> &\n    FilteredFunctions<\n      GroupSpec.Functions<Group>,\n      Predicate,\n      MiddlewareSpec.Error<GroupSpec.MiddlewareSpecs<Group>>\n    >\n>;\n\ntype OmitEmpty<T> = {\n  [K in keyof T as keyof T[K] extends never ? never : K]: T[K];\n};\n\ntype FunctionSpecMatchesPredicate<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> =\n  Ref.Ref<\n    FunctionSpec.GetRuntimeAndFunctionType<FunctionSpec_>,\n    FunctionSpec.GetFunctionVisibility<FunctionSpec_>,\n    any,\n    any\n  > extends Predicate\n    ? true\n    : false;\n\ntype FilteredFunctions<\n  FunctionSpecs extends FunctionSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n  MiddlewareError,\n> = {\n  [\n    Name in FunctionSpec.Name<FunctionSpecs> as FunctionSpec.WithName<\n      FunctionSpecs,\n      Name\n    > extends infer FunctionSpec_ extends FunctionSpec.AnyWithProps\n      ? FunctionSpecMatchesPredicate<FunctionSpec_, Predicate> extends true\n        ? Name\n        : never\n      : never\n  ]: FunctionSpec.WithName<FunctionSpecs, Name> extends infer F extends\n    FunctionSpec.AnyWithProps\n    ? Ref.FromFunctionSpec<\n        F,\n        F extends {\n          readonly functionProvenance: { readonly _tag: \"Confect\" };\n        }\n          ?\n              | MiddlewareError\n              | MiddlewareSpec.Error<FunctionSpec.MiddlewareSpecs<F>>\n          : never\n      >\n    : never;\n};\n\ntype Helper<\n  Groups extends GroupSpec.AnyWithProps,\n  Predicate extends Ref.Any,\n> = {\n  [GroupName in GroupSpec.Name<Groups>]: GroupSpec.WithName<\n    Groups,\n    GroupName\n  > extends infer Group extends GroupSpec.AnyWithProps\n    ? GroupRefs<Group, Predicate>\n    : never;\n};\n\ntype Any =\n  | {\n      readonly [key: string]: Any;\n    }\n  | Ref.Any;\n\nexport const make = <Spec_ extends Spec.AnyWithProps>(\n  spec: Spec_,\n): FromSpec<Spec_> => {\n  const refs = makeHelper(spec.groups);\n  return {\n    public: refs as Refs<Spec_, Ref.AnyPublic>,\n    internal: refs as Refs<Spec_, Ref.AnyInternal>,\n  };\n};\n\nconst makeHelper = (\n  groups: Record.ReadonlyRecord<string, GroupSpec.Any>,\n  convexFunctionNamespace: Option.Option<string> = Option.none(),\n): Any =>\n  pipe(\n    groups as Record.ReadonlyRecord<string, GroupSpec.AnyWithProps>,\n    Record.map((group, name) => {\n      const currentConvexFunctionNamespace = Option.match(\n        convexFunctionNamespace,\n        {\n          onNone: () => name,\n          onSome: (parentNamespace) => `${parentNamespace}/${name}`,\n        },\n      );\n\n      return Record.union(\n        makeHelper(group.groups, Option.some(currentConvexFunctionNamespace)),\n        Record.map(group.functions, (function_) =>\n          Ref.make(\n            currentConvexFunctionNamespace,\n            function_,\n            group.middlewareSpecs,\n          ),\n        ),\n        (_subGroup, _function) => {\n          throw new Error(\n            `Group and function at same level have same name ('${Ref.getConvexFunctionName(_function)}')`,\n          );\n        },\n      );\n    }),\n  );\n"],"mappings":";;;;;;;AAgGA,MAAa,QACX,SACoB;CACpB,MAAM,OAAO,WAAW,KAAK,MAAM;CACnC,OAAO;EACL,QAAQ;EACR,UAAU;CACZ;AACF;AAEA,MAAM,cACJ,QACA,0BAAiD,OAAO,KAAK,MAE7D,KACE,QACA,OAAO,KAAK,OAAO,SAAS;CAC1B,MAAM,iCAAiC,OAAO,MAC5C,yBACA;EACE,cAAc;EACd,SAAS,oBAAoB,GAAG,gBAAgB,GAAG;CACrD,CACF;CAEA,OAAO,OAAO,MACZ,WAAW,MAAM,QAAQ,OAAO,KAAK,8BAA8B,CAAC,GACpE,OAAO,IAAI,MAAM,YAAY,cAC3BA,OACE,gCACA,WACA,MAAM,eACR,CACF,IACC,WAAW,cAAc;EACxB,MAAM,IAAI,MACR,qDAAqDC,sBAA0B,SAAS,EAAE,GAC5F;CACF,CACF;AACF,CAAC,CACH"}