@confect/core 10.0.0-next.17 → 10.0.0-next.19

package/dist/FunctionSpec.js.map

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

package/dist/GroupPath.d.ts

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

package/dist/GroupPath.d.ts.map

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

package/dist/GroupPath.js.map

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

package/dist/GroupSpec.d.ts

@@ -1,7 +1,7 @@
 import type * as FunctionSpec from "./FunctionSpec";
 import type * as MiddlewareSpec from "./MiddlewareSpec";
 import type * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
-export declare const TypeId = "@confect/core/GroupSpec";
+export declare const TypeId = "~@confect/core/GroupSpec";
 export type TypeId = typeof TypeId;
 export declare const isGroupSpec: (u: unknown) => u is AnyWithProps;
 export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_ extends string, Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never, Groups_ extends AnyWithProps = never, MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never> {
@@ -15,6 +15,8 @@ export interface GroupSpec<Runtime extends RuntimeAndFunctionType.Runtime, Name_
         [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;
     };
     readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;
+    readonly "~Functions": Functions_;
+    readonly "~Groups": Groups_;
     addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(function_: Function & MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>): GroupSpec<Runtime, Name_, Functions_ | Function, Groups_, MiddlewareSpecs_>;
     addGroup<Group extends AnyWithProps>(group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;
     addGroupAt<const AtName extends string, Group extends AnyWithProps>(name: AtName, group: Group): GroupSpec<Runtime, Name_, Functions_, Groups_ | NamedAt<Group, AtName>, MiddlewareSpecs_>;
@@ -28,8 +30,8 @@ export interface AnyWithProps extends GroupSpec<RuntimeAndFunctionType.Runtime,
 export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends GroupSpec<Runtime, string, FunctionSpec.AnyWithPropsWithRuntime<Runtime>, AnyWithPropsWithRuntime<Runtime>, MiddlewareSpec.AnyMiddlewareSpec> {
 }
 export type Name<Group extends AnyWithProps> = Group["name"];
-export type Functions<Group extends AnyWithProps> = Group["functions"][keyof Group["functions"]];
-export type Groups<Group extends AnyWithProps> = Group["groups"][keyof Group["groups"]];
+export type Functions<Group extends AnyWithProps> = Group["~Functions"];
+export type Groups<Group extends AnyWithProps> = Group["~Groups"];
 export type MiddlewareSpecs<Group extends AnyWithProps> = Group["middlewareSpecs"][number];
 export type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [
     never

package/dist/GroupSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAGxE,eAAO,MAAM,MAAM,4BAA4B,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,YACZ,CAAC;AAEnC,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,sBAAsB,CAAC,OAAO,EAC9C,KAAK,SAAS,MAAM,EACpB,UAAU,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,GAAG,KAAK,EAKxE,OAAO,SAAS,YAAY,GAAG,KAAK,EACpC,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE;SAEhB,YAAY,IAAI,YAAY,CAAC,IAAI,CAC/B,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAC9C,GACA,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;SACd,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;KAC3D,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAE1D,WAAW,CAAC,QAAQ,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EACxE,SAAS,EAAE,QAAQ,GACjB,cAAc,CAAC,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACjE,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,GAAG,QAAQ,EACrB,OAAO,EACP,gBAAgB,CACjB,CAAC;IAEF,QAAQ,CAAC,KAAK,SAAS,YAAY,EACjC,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAE5E,UAAU,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,SAAS,YAAY,EAChE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAChC,gBAAgB,CACjB,CAAC;IAEF,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,cAAc,CAC3B,eAAe,EACf,UAAU,EACV,gBAAgB,CACjB,GACF,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GAAG,eAAe,CACnC,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS,CAC7C,sBAAsB,CAAC,OAAO,EAC9B,MAAM,EACN,YAAY,CAAC,YAAY,EACzB,YAAY,EACZ,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,SAAS,CACjB,OAAO,EACP,MAAM,EACN,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAC7C,uBAAuB,CAAC,OAAO,CAAC,EAChC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,YAAY,IAC9C,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAE/C,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEzC,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,YAAY,IACpD,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS;IAC3E,KAAK;CACN,GACG,KAAK,GACL,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,YAAY,EAC1B,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IACvB,OAAO,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7C,4FAA4F;AAC5F,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CACjE,KAAK,EACL,MAAM,CACP,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,YAAY,EAC1B,WAAW,SAAS,YAAY,IAEhC,KAAK,SAAS,SAAS,CACrB,MAAM,OAAO,EACb,MAAM,KAAK,EACX,MAAM,UAAU,EAChB,MAAM,OAAO,EACb,MAAM,gBAAgB,CACvB,GACG,SAAS,CACP,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,WAAW,EACrB,gBAAgB,CACjB,GACD,KAAK,CAAC;AA4HZ,eAAO,MAAM,IAAI,QAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAO1C,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QACzC,KAAK,KACV,SAAS,CAAC,QAAQ,EAAE,KAAK,CAU3B,CAAC;AAEF,eAAO,MAAM,QAAQ,QAAO,SAAS,CAAC,MAAM,EAAE,EAAE,CAO5C,CAAC;AAEL,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC7C,KAAK,KACV,SAAS,CAAC,MAAM,EAAE,KAAK,CAUzB,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC3C,KAAK,SACJ,GAAG,KACT,YAeF,CAAC"}
+{"version":3,"file":"GroupSpec.d.ts","sourceRoot":"","sources":["../src/GroupSpec.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAGxE,eAAO,MAAM,MAAM,6BAA6B,CAAC;AACjD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,YACZ,CAAC;AAEnC,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,sBAAsB,CAAC,OAAO,EAC9C,KAAK,SAAS,MAAM,EACpB,UAAU,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,GAAG,KAAK,EAKxE,OAAO,SAAS,YAAY,GAAG,KAAK,EACpC,gBAAgB,SAAS,cAAc,CAAC,iBAAiB,GAAG,KAAK;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE;SAEhB,YAAY,IAAI,YAAY,CAAC,IAAI,CAC/B,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAC9C,GACA,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;SACd,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;KAC3D,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAE5B,WAAW,CAAC,QAAQ,SAAS,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EACxE,SAAS,EAAE,QAAQ,GACjB,cAAc,CAAC,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GACjE,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,GAAG,QAAQ,EACrB,OAAO,EACP,gBAAgB,CACjB,CAAC;IAEF,QAAQ,CAAC,KAAK,SAAS,YAAY,EACjC,KAAK,EAAE,KAAK,GACX,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAG,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAE5E,UAAU,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,SAAS,YAAY,EAChE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAChC,gBAAgB,CACjB,CAAC;IAEF,UAAU,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACjE,cAAc,EAAE,eAAe,GAC7B,cAAc,CAAC,cAAc,CAC3B,eAAe,EACf,UAAU,EACV,gBAAgB,CACjB,GACF,SAAS,CACV,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,EACP,gBAAgB,GAAG,eAAe,CACnC,CAAC;CACH;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS,CAC7C,sBAAsB,CAAC,OAAO,EAC9B,MAAM,EACN,YAAY,CAAC,YAAY,EACzB,YAAY,EACZ,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,SAAS,CACjB,OAAO,EACP,MAAM,EACN,YAAY,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAC7C,uBAAuB,CAAC,OAAO,CAAC,EAChC,cAAc,CAAC,iBAAiB,CACjC;CAAG;AAEJ,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAExE,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,YAAY,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAElE,MAAM,MAAM,eAAe,CAAC,KAAK,SAAS,YAAY,IACpD,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnC,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS;IAC3E,KAAK;CACN,GACG,KAAK,GACL,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,YAAY,EAC1B,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IACvB,OAAO,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7C,4FAA4F;AAC5F,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CACjE,KAAK,EACL,MAAM,CACP,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,YAAY,EAC1B,WAAW,SAAS,YAAY,IAEhC,KAAK,SAAS,SAAS,CACrB,MAAM,OAAO,EACb,MAAM,KAAK,EACX,MAAM,UAAU,EAChB,MAAM,OAAO,EACb,MAAM,gBAAgB,CACvB,GACG,SAAS,CACP,OAAO,EACP,KAAK,EACL,UAAU,EACV,OAAO,GAAG,WAAW,EACrB,gBAAgB,CACjB,GACD,KAAK,CAAC;AA4HZ,eAAO,MAAM,IAAI,QAAO,SAAS,CAAC,QAAQ,EAAE,EAAE,CAO1C,CAAC;AAEL,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QACzC,KAAK,KACV,SAAS,CAAC,QAAQ,EAAE,KAAK,CAU3B,CAAC;AAEF,eAAO,MAAM,QAAQ,QAAO,SAAS,CAAC,MAAM,EAAE,EAAE,CAO5C,CAAC;AAEL,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC7C,KAAK,KACV,SAAS,CAAC,MAAM,EAAE,KAAK,CAUzB,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,KAAK,SAAS,MAAM,QAC3C,KAAK,SACJ,GAAG,KACT,YAeF,CAAC"}

package/dist/GroupSpec.js

@@ -12,7 +12,7 @@ var GroupSpec_exports = /* @__PURE__ */ __exportAll({
 	makeNodeAt: () => makeNodeAt,
 	withName: () => withName
 });
-const TypeId = "@confect/core/GroupSpec";
+const TypeId = "~@confect/core/GroupSpec";
 const isGroupSpec = (u) => Predicate.hasProperty(u, TypeId);
 const Proto = {
 	[TypeId]: TypeId,

package/dist/GroupSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupSpec.js","names":[],"sources":["../src/GroupSpec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\n\nexport const TypeId = \"@confect/core/GroupSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isGroupSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface GroupSpec<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never,\n  // Subgroups may be of any runtime, independent of this group's own runtime: a\n  // group is only a namespace for its children, which are otherwise-independent\n  // modules. Functions, by contrast, stay homogeneous (a Node group only accepts\n  // Node actions) — `addFunction` keeps the `<Runtime>` bound below.\n  Groups_ extends AnyWithProps = never,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtime: Runtime;\n  readonly name: Name_;\n  readonly functions: {\n    [\n      FunctionName in FunctionSpec.Name<\n        FunctionSpec.AnyWithPropsWithRuntime<Runtime>\n      >\n    ]: FunctionSpec.WithName<Functions_, FunctionName>;\n  };\n  readonly groups: {\n    [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;\n  };\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n\n  addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(\n    function_: Function &\n      MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_ | Function,\n    Groups_,\n    MiddlewareSpecs_\n  >;\n\n  addGroup<Group extends AnyWithProps>(\n    group: Group,\n  ): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;\n\n  addGroupAt<const AtName extends string, Group extends AnyWithProps>(\n    name: AtName,\n    group: Group,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_ | NamedAt<Group, AtName>,\n    MiddlewareSpecs_\n  >;\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateAttach<\n        MiddlewareSpec_,\n        Functions_,\n        MiddlewareSpecs_\n      >,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends GroupSpec<\n  RuntimeAndFunctionType.Runtime,\n  string,\n  FunctionSpec.AnyWithProps,\n  AnyWithProps,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends GroupSpec<\n  Runtime,\n  string,\n  FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type Name<Group extends AnyWithProps> = Group[\"name\"];\n\nexport type Functions<Group extends AnyWithProps> =\n  Group[\"functions\"][keyof Group[\"functions\"]];\n\nexport type Groups<Group extends AnyWithProps> =\n  Group[\"groups\"][keyof Group[\"groups\"]];\n\nexport type MiddlewareSpecs<Group extends AnyWithProps> =\n  Group[\"middlewareSpecs\"][number];\n\nexport type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [\n  never,\n]\n  ? never\n  : Name<Groups<Group>>;\n\nexport type WithName<\n  Group extends AnyWithProps,\n  Name_ extends Name<Group>,\n> = Extract<Group, { readonly name: Name_ }>;\n\n/** Assigns a segment name to a leaf group created with {@link make} for typing and refs. */\nexport type NamedAt<Group extends Any, Name_ extends string> = Omit<\n  Group,\n  \"name\"\n> & {\n  readonly name: Name_;\n};\n\nexport type AddGroups<\n  Group extends AnyWithProps,\n  ExtraGroups extends AnyWithProps,\n> =\n  Group extends GroupSpec<\n    infer Runtime,\n    infer Name_,\n    infer Functions_,\n    infer Groups_,\n    infer MiddlewareSpecs_\n  >\n    ? GroupSpec<\n        Runtime,\n        Name_,\n        Functions_,\n        Groups_ | ExtraGroups,\n        MiddlewareSpecs_\n      >\n    : never;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  addFunction<Function extends FunctionSpec.AnyWithProps>(\n    this: Any,\n    function_: Function,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    const overlapping = function_.middlewareSpecs.find(\n      (functionMiddlewareSpec) =>\n        this_.middlewareSpecs.some(\n          (groupMiddlewareSpec) =>\n            groupMiddlewareSpec.key === functionMiddlewareSpec.key,\n        ),\n    );\n    if (overlapping !== undefined) {\n      throw new Error(\n        `Middleware \"${overlapping.key}\" is attached to both function \"${function_.name}\" and its group`,\n      );\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: Record.set(this_.functions, function_.name, function_),\n      groups: this_.groups,\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  addGroup<Group extends Any>(this: Any, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, group_.name, group_),\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  addGroupAt<Group extends Any>(this: Any, name: string, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, name, withName(name, group_)),\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    this: Any,\n    middlewareSpec: MiddlewareSpec_,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    if (\n      this_.middlewareSpecs.some(\n        (existing) => existing.key === middlewareSpec.key,\n      )\n    ) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" is already attached to this group`,\n      );\n    }\n\n    for (const function_ of Object.values(this_.functions)) {\n      if (\n        function_.middlewareSpecs.some(\n          (existing) => existing.key === middlewareSpec.key,\n        )\n      ) {\n        throw new Error(\n          `Middleware \"${middlewareSpec.key}\" is attached to both function \"${function_.name}\" and its group`,\n        );\n      }\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: this_.groups,\n      middlewareSpecs: [...this_.middlewareSpecs, middlewareSpec],\n    });\n  },\n};\n\nconst makeProto = <\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  Groups_ extends AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec,\n>({\n  runtime,\n  name,\n  functions,\n  groups,\n  middlewareSpecs,\n}: {\n  runtime: Runtime;\n  name: Name_;\n  functions: Record.ReadonlyRecord<string, Functions_>;\n  groups: Record.ReadonlyRecord<string, Groups_>;\n  middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n}): GroupSpec<Runtime, Name_, Functions_, Groups_, MiddlewareSpecs_> =>\n  Object.assign(Object.create(Proto), {\n    runtime,\n    name,\n    functions,\n    groups,\n    middlewareSpecs,\n  });\n\nexport const make = (): GroupSpec<\"Convex\", \"\"> =>\n  makeProto({\n    runtime: \"Convex\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n\nexport const makeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Convex\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Convex\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n};\n\nexport const makeNode = (): GroupSpec<\"Node\", \"\"> =>\n  makeProto({\n    runtime: \"Node\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n\nexport const makeNodeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Node\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Node\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n};\n\nexport const withName = <const Name_ extends string>(\n  name: Name_,\n  group: Any,\n): AnyWithProps => {\n  validateConfectFunctionIdentifier(name);\n  const group_ = group as AnyWithProps;\n\n  if (group_.name === name) {\n    return group_;\n  }\n\n  return makeProto({\n    runtime: group_.runtime,\n    name,\n    functions: group_.functions,\n    groups: group_.groups,\n    middlewareSpecs: group_.middlewareSpecs,\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;AAOA,MAAa,SAAS;AAGtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,MAAM;AA8IjC,MAAM,QAAQ;EACX,SAAS;CAEV,YAEE,WACA;EACA,MAAM,QAAQ;EAEd,MAAM,cAAc,UAAU,gBAAgB,MAC3C,2BACC,MAAM,gBAAgB,MACnB,wBACC,oBAAoB,QAAQ,uBAAuB,GACvD,CACJ;EACA,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,eAAe,YAAY,IAAI,kCAAkC,UAAU,KAAK,gBAClF;EAGF,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,OAAO,IAAI,MAAM,WAAW,UAAU,MAAM,SAAS;GAChE,QAAQ,MAAM;GACd,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,SAAuC,OAAc;EACnD,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,OAAO,MAAM,MAAM;GACpD,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,WAAyC,MAAc,OAAc;EACnE,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,MAAM,SAAS,MAAM,MAAM,CAAC;GAC7D,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,WAEE,gBACA;EACA,MAAM,QAAQ;EAEd,IACE,MAAM,gBAAgB,MACnB,aAAa,SAAS,QAAQ,eAAe,GAChD,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCACpC;EAGF,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,IACE,UAAU,gBAAgB,MACvB,aAAa,SAAS,QAAQ,eAAe,GAChD,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,kCAAkC,UAAU,KAAK,gBACrF;EAIJ,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,MAAM;GACd,iBAAiB,CAAC,GAAG,MAAM,iBAAiB,cAAc;EAC5D,CAAC;CACH;AACF;AAEA,MAAM,aAMJ,EACA,SACA,MACA,WACA,QACA,sBAQA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;CAClC;CACA;CACA;CACA;CACA;AACF,CAAC;AAEH,MAAa,aACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,iBAAiB,CAAC;AACpB,CAAC;AAEH,MAAa,UACX,SAC+B;CAC/B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,iBAAiB,CAAC;CACpB,CAAC;AACH;AAEA,MAAa,iBACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,iBAAiB,CAAC;AACpB,CAAC;AAEH,MAAa,cACX,SAC6B;CAC7B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,iBAAiB,CAAC;CACpB,CAAC;AACH;AAEA,MAAa,YACX,MACA,UACiB;CACjB,kCAAkC,IAAI;CACtC,MAAM,SAAS;CAEf,IAAI,OAAO,SAAS,MAClB,OAAO;CAGT,OAAO,UAAU;EACf,SAAS,OAAO;EAChB;EACA,WAAW,OAAO;EAClB,QAAQ,OAAO;EACf,iBAAiB,OAAO;CAC1B,CAAC;AACH"}
+{"version":3,"file":"GroupSpec.js","names":[],"sources":["../src/GroupSpec.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\n\nexport const TypeId = \"~@confect/core/GroupSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isGroupSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface GroupSpec<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime> = never,\n  // Subgroups may be of any runtime, independent of this group's own runtime: a\n  // group is only a namespace for its children, which are otherwise-independent\n  // modules. Functions, by contrast, stay homogeneous (a Node group only accepts\n  // Node actions) — `addFunction` keeps the `<Runtime>` bound below.\n  Groups_ extends AnyWithProps = never,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec = never,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtime: Runtime;\n  readonly name: Name_;\n  readonly functions: {\n    [\n      FunctionName in FunctionSpec.Name<\n        FunctionSpec.AnyWithPropsWithRuntime<Runtime>\n      >\n    ]: FunctionSpec.WithName<Functions_, FunctionName>;\n  };\n  readonly groups: {\n    [GroupName in Name<Groups_>]: WithName<Groups_, GroupName>;\n  };\n  readonly middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n  readonly \"~Functions\": Functions_;\n  readonly \"~Groups\": Groups_;\n\n  addFunction<Function extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>>(\n    function_: Function &\n      MiddlewareSpec.ValidateAddedFunction<Function, MiddlewareSpecs_>,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_ | Function,\n    Groups_,\n    MiddlewareSpecs_\n  >;\n\n  addGroup<Group extends AnyWithProps>(\n    group: Group,\n  ): GroupSpec<Runtime, Name_, Functions_, Groups_ | Group, MiddlewareSpecs_>;\n\n  addGroupAt<const AtName extends string, Group extends AnyWithProps>(\n    name: AtName,\n    group: Group,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_ | NamedAt<Group, AtName>,\n    MiddlewareSpecs_\n  >;\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    middlewareSpec: MiddlewareSpec_ &\n      MiddlewareSpec.ValidateAttach<\n        MiddlewareSpec_,\n        Functions_,\n        MiddlewareSpecs_\n      >,\n  ): GroupSpec<\n    Runtime,\n    Name_,\n    Functions_,\n    Groups_,\n    MiddlewareSpecs_ | MiddlewareSpec_\n  >;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends GroupSpec<\n  RuntimeAndFunctionType.Runtime,\n  string,\n  FunctionSpec.AnyWithProps,\n  AnyWithProps,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends GroupSpec<\n  Runtime,\n  string,\n  FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareSpec.AnyMiddlewareSpec\n> {}\n\nexport type Name<Group extends AnyWithProps> = Group[\"name\"];\n\nexport type Functions<Group extends AnyWithProps> = Group[\"~Functions\"];\n\nexport type Groups<Group extends AnyWithProps> = Group[\"~Groups\"];\n\nexport type MiddlewareSpecs<Group extends AnyWithProps> =\n  Group[\"middlewareSpecs\"][number];\n\nexport type GroupNames<Group extends AnyWithProps> = [Groups<Group>] extends [\n  never,\n]\n  ? never\n  : Name<Groups<Group>>;\n\nexport type WithName<\n  Group extends AnyWithProps,\n  Name_ extends Name<Group>,\n> = Extract<Group, { readonly name: Name_ }>;\n\n/** Assigns a segment name to a leaf group created with {@link make} for typing and refs. */\nexport type NamedAt<Group extends Any, Name_ extends string> = Omit<\n  Group,\n  \"name\"\n> & {\n  readonly name: Name_;\n};\n\nexport type AddGroups<\n  Group extends AnyWithProps,\n  ExtraGroups extends AnyWithProps,\n> =\n  Group extends GroupSpec<\n    infer Runtime,\n    infer Name_,\n    infer Functions_,\n    infer Groups_,\n    infer MiddlewareSpecs_\n  >\n    ? GroupSpec<\n        Runtime,\n        Name_,\n        Functions_,\n        Groups_ | ExtraGroups,\n        MiddlewareSpecs_\n      >\n    : never;\n\nconst Proto = {\n  [TypeId]: TypeId,\n\n  addFunction<Function extends FunctionSpec.AnyWithProps>(\n    this: Any,\n    function_: Function,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    const overlapping = function_.middlewareSpecs.find(\n      (functionMiddlewareSpec) =>\n        this_.middlewareSpecs.some(\n          (groupMiddlewareSpec) =>\n            groupMiddlewareSpec.key === functionMiddlewareSpec.key,\n        ),\n    );\n    if (overlapping !== undefined) {\n      throw new Error(\n        `Middleware \"${overlapping.key}\" is attached to both function \"${function_.name}\" and its group`,\n      );\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: Record.set(this_.functions, function_.name, function_),\n      groups: this_.groups,\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  addGroup<Group extends Any>(this: Any, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, group_.name, group_),\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  addGroupAt<Group extends Any>(this: Any, name: string, group: Group) {\n    const this_ = this as AnyWithProps;\n    const group_ = group as unknown as AnyWithProps;\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: Record.set(this_.groups, name, withName(name, group_)),\n      middlewareSpecs: this_.middlewareSpecs,\n    });\n  },\n\n  middleware<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec>(\n    this: Any,\n    middlewareSpec: MiddlewareSpec_,\n  ) {\n    const this_ = this as AnyWithProps;\n\n    if (\n      this_.middlewareSpecs.some(\n        (existing) => existing.key === middlewareSpec.key,\n      )\n    ) {\n      throw new Error(\n        `Middleware \"${middlewareSpec.key}\" is already attached to this group`,\n      );\n    }\n\n    for (const function_ of Object.values(this_.functions)) {\n      if (\n        function_.middlewareSpecs.some(\n          (existing) => existing.key === middlewareSpec.key,\n        )\n      ) {\n        throw new Error(\n          `Middleware \"${middlewareSpec.key}\" is attached to both function \"${function_.name}\" and its group`,\n        );\n      }\n    }\n\n    return makeProto({\n      runtime: this_.runtime,\n      name: this_.name,\n      functions: this_.functions,\n      groups: this_.groups,\n      middlewareSpecs: [...this_.middlewareSpecs, middlewareSpec],\n    });\n  },\n};\n\nconst makeProto = <\n  Runtime extends RuntimeAndFunctionType.Runtime,\n  Name_ extends string,\n  Functions_ extends FunctionSpec.AnyWithPropsWithRuntime<Runtime>,\n  Groups_ extends AnyWithPropsWithRuntime<Runtime>,\n  MiddlewareSpecs_ extends MiddlewareSpec.AnyMiddlewareSpec,\n>({\n  runtime,\n  name,\n  functions,\n  groups,\n  middlewareSpecs,\n}: {\n  runtime: Runtime;\n  name: Name_;\n  functions: Record.ReadonlyRecord<string, Functions_>;\n  groups: Record.ReadonlyRecord<string, Groups_>;\n  middlewareSpecs: ReadonlyArray<MiddlewareSpecs_>;\n}): GroupSpec<Runtime, Name_, Functions_, Groups_, MiddlewareSpecs_> =>\n  Object.assign(Object.create(Proto), {\n    runtime,\n    name,\n    functions,\n    groups,\n    middlewareSpecs,\n  }) as GroupSpec<Runtime, Name_, Functions_, Groups_, MiddlewareSpecs_>;\n\nexport const make = (): GroupSpec<\"Convex\", \"\"> =>\n  makeProto({\n    runtime: \"Convex\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n\nexport const makeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Convex\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Convex\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n};\n\nexport const makeNode = (): GroupSpec<\"Node\", \"\"> =>\n  makeProto({\n    runtime: \"Node\",\n    name: \"\",\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n\nexport const makeNodeAt = <const Name_ extends string>(\n  name: Name_,\n): GroupSpec<\"Node\", Name_> => {\n  validateConfectFunctionIdentifier(name);\n\n  return makeProto({\n    runtime: \"Node\",\n    name,\n    functions: Record.empty(),\n    groups: Record.empty(),\n    middlewareSpecs: [],\n  });\n};\n\nexport const withName = <const Name_ extends string>(\n  name: Name_,\n  group: Any,\n): AnyWithProps => {\n  validateConfectFunctionIdentifier(name);\n  const group_ = group as AnyWithProps;\n\n  if (group_.name === name) {\n    return group_;\n  }\n\n  return makeProto({\n    runtime: group_.runtime,\n    name,\n    functions: group_.functions,\n    groups: group_.groups,\n    middlewareSpecs: group_.middlewareSpecs,\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;AAOA,MAAa,SAAS;AAGtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,MAAM;AA8IjC,MAAM,QAAQ;EACX,SAAS;CAEV,YAEE,WACA;EACA,MAAM,QAAQ;EAEd,MAAM,cAAc,UAAU,gBAAgB,MAC3C,2BACC,MAAM,gBAAgB,MACnB,wBACC,oBAAoB,QAAQ,uBAAuB,GACvD,CACJ;EACA,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MACR,eAAe,YAAY,IAAI,kCAAkC,UAAU,KAAK,gBAClF;EAGF,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,OAAO,IAAI,MAAM,WAAW,UAAU,MAAM,SAAS;GAChE,QAAQ,MAAM;GACd,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,SAAuC,OAAc;EACnD,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,OAAO,MAAM,MAAM;GACpD,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,WAAyC,MAAc,OAAc;EACnE,MAAM,QAAQ;EACd,MAAM,SAAS;EAEf,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,OAAO,IAAI,MAAM,QAAQ,MAAM,SAAS,MAAM,MAAM,CAAC;GAC7D,iBAAiB,MAAM;EACzB,CAAC;CACH;CAEA,WAEE,gBACA;EACA,MAAM,QAAQ;EAEd,IACE,MAAM,gBAAgB,MACnB,aAAa,SAAS,QAAQ,eAAe,GAChD,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,oCACpC;EAGF,KAAK,MAAM,aAAa,OAAO,OAAO,MAAM,SAAS,GACnD,IACE,UAAU,gBAAgB,MACvB,aAAa,SAAS,QAAQ,eAAe,GAChD,GAEA,MAAM,IAAI,MACR,eAAe,eAAe,IAAI,kCAAkC,UAAU,KAAK,gBACrF;EAIJ,OAAO,UAAU;GACf,SAAS,MAAM;GACf,MAAM,MAAM;GACZ,WAAW,MAAM;GACjB,QAAQ,MAAM;GACd,iBAAiB,CAAC,GAAG,MAAM,iBAAiB,cAAc;EAC5D,CAAC;CACH;AACF;AAEA,MAAM,aAMJ,EACA,SACA,MACA,WACA,QACA,sBAQA,OAAO,OAAO,OAAO,OAAO,KAAK,GAAG;CAClC;CACA;CACA;CACA;CACA;AACF,CAAC;AAEH,MAAa,aACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,iBAAiB,CAAC;AACpB,CAAC;AAEH,MAAa,UACX,SAC+B;CAC/B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,iBAAiB,CAAC;CACpB,CAAC;AACH;AAEA,MAAa,iBACX,UAAU;CACR,SAAS;CACT,MAAM;CACN,WAAW,OAAO,MAAM;CACxB,QAAQ,OAAO,MAAM;CACrB,iBAAiB,CAAC;AACpB,CAAC;AAEH,MAAa,cACX,SAC6B;CAC7B,kCAAkC,IAAI;CAEtC,OAAO,UAAU;EACf,SAAS;EACT;EACA,WAAW,OAAO,MAAM;EACxB,QAAQ,OAAO,MAAM;EACrB,iBAAiB,CAAC;CACpB,CAAC;AACH;AAEA,MAAa,YACX,MACA,UACiB;CACjB,kCAAkC,IAAI;CACtC,MAAM,SAAS;CAEf,IAAI,OAAO,SAAS,MAClB,OAAO;CAGT,OAAO,UAAU;EACf,SAAS,OAAO;EAChB;EACA,WAAW,OAAO;EAClB,QAAQ,OAAO;EACf,iBAAiB,OAAO;CAC1B,CAAC;AACH"}

package/dist/Lazy.d.ts

@@ -14,9 +14,8 @@
  * forcing the computation.
  *
  * This is the single shared implementation consumed across packages (e.g.
- * `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy
- * `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the
- * two drifting apart.
+ * `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table` `Fields` /
+ * `Doc`), so there is no chance of the two drifting apart.
  */
 export declare const defineProperty: <T extends object, K extends PropertyKey>(target: T, key: K, compute: () => unknown) => void;
 //# sourceMappingURL=Lazy.d.ts.map

package/dist/Lazy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lazy.d.ts","sourceRoot":"","sources":["../src/Lazy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,UAC5D,CAAC,OACJ,CAAC,WACG,MAAM,OAAO,KACrB,IAeF,CAAC"}
+{"version":3,"file":"Lazy.d.ts","sourceRoot":"","sources":["../src/Lazy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,UAC5D,CAAC,OACJ,CAAC,WACG,MAAM,OAAO,KACrB,IAeF,CAAC"}

package/dist/Lazy.js

@@ -17,9 +17,8 @@ var Lazy_exports = /* @__PURE__ */ __exportAll({ defineProperty: () => definePro
 * forcing the computation.
 *
 * This is the single shared implementation consumed across packages (e.g.
-* `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy
-* `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the
-* two drifting apart.
+* `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table` `Fields` /
+* `Doc`), so there is no chance of the two drifting apart.
 */
 const defineProperty = (target, key, compute) => {
 	Object.defineProperty(target, key, {

package/dist/Lazy.js.map

@@ -1 +1 @@
-{"version":3,"file":"Lazy.js","names":[],"sources":["../src/Lazy.ts"],"sourcesContent":["/**\n * Install a lazy memoised property on `target`. The first access runs\n * `compute()` and replaces the getter with a plain, non-writable data\n * property whose value is the computed result. Subsequent accesses hit\n * the V8 fast path for own data properties — no function call, identical\n * returned reference — so first and second-and-subsequent accesses are\n * observably indistinguishable.\n *\n * The replacement property is `enumerable: true` so the lazy property\n * still participates in `Object.keys` / `JSON.stringify` after it\n * materialises, matching the shape of a plain data property. The property\n * is also `enumerable` before materialising, so presence checks\n * (`\"key\" in target`, `Object.hasOwn(target, key)`) observe it without\n * forcing the computation.\n *\n * This is the single shared implementation consumed across packages (e.g.\n * `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy\n * `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the\n * two drifting apart.\n */\nexport const defineProperty = <T extends object, K extends PropertyKey>(\n  target: T,\n  key: K,\n  compute: () => unknown,\n): void => {\n  Object.defineProperty(target, key, {\n    configurable: true,\n    enumerable: true,\n    get(this: T) {\n      const value = compute();\n      Object.defineProperty(this, key, {\n        value,\n        writable: false,\n        enumerable: true,\n        configurable: false,\n      });\n      return value;\n    },\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAoBA,MAAa,kBACX,QACA,KACA,YACS;CACT,OAAO,eAAe,QAAQ,KAAK;EACjC,cAAc;EACd,YAAY;EACZ,MAAa;GACX,MAAM,QAAQ,QAAQ;GACtB,OAAO,eAAe,MAAM,KAAK;IAC/B;IACA,UAAU;IACV,YAAY;IACZ,cAAc;GAChB,CAAC;GACD,OAAO;EACT;CACF,CAAC;AACH"}
+{"version":3,"file":"Lazy.js","names":[],"sources":["../src/Lazy.ts"],"sourcesContent":["/**\n * Install a lazy memoised property on `target`. The first access runs\n * `compute()` and replaces the getter with a plain, non-writable data\n * property whose value is the computed result. Subsequent accesses hit\n * the V8 fast path for own data properties — no function call, identical\n * returned reference — so first and second-and-subsequent accesses are\n * observably indistinguishable.\n *\n * The replacement property is `enumerable: true` so the lazy property\n * still participates in `Object.keys` / `JSON.stringify` after it\n * materialises, matching the shape of a plain data property. The property\n * is also `enumerable` before materialising, so presence checks\n * (`\"key\" in target`, `Object.hasOwn(target, key)`) observe it without\n * forcing the computation.\n *\n * This is the single shared implementation consumed across packages (e.g.\n * `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table` `Fields` /\n * `Doc`), so there is no chance of the two drifting apart.\n */\nexport const defineProperty = <T extends object, K extends PropertyKey>(\n  target: T,\n  key: K,\n  compute: () => unknown,\n): void => {\n  Object.defineProperty(target, key, {\n    configurable: true,\n    enumerable: true,\n    get(this: T) {\n      const value = compute();\n      Object.defineProperty(this, key, {\n        value,\n        writable: false,\n        enumerable: true,\n        configurable: false,\n      });\n      return value;\n    },\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAmBA,MAAa,kBACX,QACA,KACA,YACS;CACT,OAAO,eAAe,QAAQ,KAAK;EACjC,cAAc;EACd,YAAY;EACZ,MAAa;GACX,MAAM,QAAQ,QAAQ;GACtB,OAAO,eAAe,MAAM,KAAK;IAC/B;IACA,UAAU;IACV,YAAY;IACZ,cAAc;GAChB,CAAC;GACD,OAAO;EACT;CACF,CAAC;AACH"}

package/dist/MiddlewareSpec.d.ts

@@ -5,7 +5,7 @@ import type { unhandled } from "effect/Types";
 import type * as FunctionProvenance from "./FunctionProvenance";
 import type * as FunctionSpec from "./FunctionSpec";
 import type * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
-export declare const TypeId = "@confect/core/MiddlewareSpec";
+export declare const TypeId = "~@confect/core/MiddlewareSpec";
 export type TypeId = typeof TypeId;
 export declare const isMiddlewareSpec: (u: unknown) => u is AnyMiddlewareSpec;
 export declare const allFunctionTypes: ReadonlyArray<FunctionType>;
@@ -123,7 +123,7 @@ export declare const errorSchemas: (middlewareSpecs: ReadonlyArray<AnyMiddleware
  * problem at the `.middleware()` / `.addFunction()` call site.
  */
 export interface AttachmentError<Message extends string> {
-    readonly "~confect/MiddlewareSpec/AttachmentError": Message;
+    readonly "~@confect/core/MiddlewareSpec/AttachmentError": Message;
 }
 type FunctionTypeOf<FunctionSpec_ extends FunctionSpec.AnyWithProps> = FunctionSpec_["runtimeAndFunctionType"]["functionType"];
 type ValidationResult<Errors> = [Errors] extends [never] ? unknown : Errors;

package/dist/MiddlewareSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MiddlewareSpec.d.ts","sourceRoot":"","sources":["../src/MiddlewareSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAEpD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAExE,eAAO,MAAM,MAAM,iCAAiC,CAAC;AACrD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,gBAAgB,MAAO,OAAO,KAAG,CAAC,IAAI,iBACjB,CAAC;AAEnC,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,YAAY,CAIxD,CAAC;AAEF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;IAC7C,CACE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,SAAS,CAAC,EAC7D,OAAO,EAAE,iBAAiB,GACzB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAAG;AAE3E;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc,CAC7B,EAAE,CAAC,GAAG,CAAC,IAAI,EACX,IAAI,SAAS,MAAM,EACnB,SAAS,EACT,SAAS,EACT,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,cAAc,SAAS,YAAY;IAEnC,KAAK,CAAC,EAAE,KAAK,GAAG;QACd,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;KACpB,CAAC;IACF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;CACzC;AAED,MAAM,MAAM,GAAG,CAAC,eAAe,SAAS,iBAAiB,IACvD,eAAe,CAAC,KAAK,CAAC,CAAC;AAEzB,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,eAAe,SAAS,iBAAiB,IAC/D,eAAe,SAAS,iBAAiB,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;AAEhF,MAAM,MAAM,KAAK,CAAC,eAAe,SAAS,iBAAiB,IACzD,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACjC,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,eAAe,SAAS,iBAAiB,IAChE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GACpC,KAAK,CAAC;AAEZ,MAAM,MAAM,aAAa,CAAC,eAAe,SAAS,iBAAiB,IACjE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,gBAAgB,CAAC,GACjC,KAAK,CAAC;AAEZ;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,cAAc,GACxB,IAAI,EAAE,MAAM,SAAS;IAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,EAAE,GAAG,CAAA;CAAE,GAAG,EAAE,QAE3D,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,EACzD,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,OAE9C,IAAI,WACA;IACP,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,GAC1C,2BAA2B,CAAC,oBAAoB,CAAC,CAAC;CACrD,KACA,cAAc,CACf,IAAI,EACJ,IAAI,EACJ,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,YAAY,EACZ,uBAAuB,CAAC,oBAAoB,CAAC,CAsB9C,CAAC;AAEJ,KAAK,uBAAuB,CAAC,MAAM,SAAS,sBAAsB,IAAI;KACnE,CAAC,IAAI,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CACxD,CAAC,YAAY,CAAC,CAAC;AAEhB,KAAK,2BAA2B,CAAC,MAAM,SAAS,sBAAsB,IACpE,gBAAgB,CACZ;KACG,CAAC,IAAI,MAAM,MAAM,GAAG,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,GAC1C,eAAe,CAAC,uBAAuB,CAAC,GAAG,MAAM,uEAAuE,CAAC,GACzH,KAAK;CACV,CAAC,MAAM,MAAM,CAAC,GACf,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9C,eAAe,CAAC,sDAAsD,CAAC,GACvE,KAAK,CAAC,CACb,CAAC;AAEJ,eAAO,MAAM,YAAY,oBACN,aAAa,CAAC,iBAAiB,CAAC,KAChD,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAKpC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO,SAAS,MAAM;IACrD,QAAQ,CAAC,yCAAyC,EAAE,OAAO,CAAC;CAC7D;AAED,KAAK,cAAc,CAAC,aAAa,SAAS,YAAY,CAAC,YAAY,IACjE,aAAa,CAAC,wBAAwB,CAAC,CAAC,cAAc,CAAC,CAAC;AAE1D,KAAK,gBAAgB,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,SAAS,iBAAiB,IACvC,aAAa,SAAS,GAAG,GACzB,eAAe,SAAS,GAAG,GACzB,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC;CAC1D,GACC,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,eAAe,CAAC,+BAA+B,aAAa,CAAC,MAAM,CAAC,sCAAsC,GAAG,CAAC,eAAe,CAAC,+FAA+F,CAAC,GAC9N,KAAK,GACP;IACI,OAAO,CACL,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,EAC3C;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CACvC;CACF,SAAS,CAAC,KAAK,CAAC,GACjB,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,cAAc,CAAC,aAAa,CAAC,4BAA4B,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GAC5K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,sCAAsC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GACtH,KAAK,GACP,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,iBAAiB,EACzC,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,gBAAgB,SAAS,iBAAiB,IACxC;IACF,OAAO,CAAC,gBAAgB,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CAClE,SAAS,CAAC,KAAK,CAAC,GACb,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;IACvE,KAAK;CACN,GACC,gBAAgB,CAAC,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,GAC/D,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,wHAAwH,CAAC,GAC9K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,CAAC,CAAC;AAE9F,MAAM,MAAM,qBAAqB,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IACxC,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,OAAO,GACP,gBAAgB,CACZ,gBAAgB,CAAC,aAAa,EAAE,gBAAgB,CAAC,GACjD,YAAY,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAChD,CAAC;AAEN,KAAK,YAAY,CACf,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IAE1C,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,SAAS,MAAM,sBAAsB,GAC5E,sBAAsB,SAAS,iBAAiB,GAC9C;IACE,OAAO,CACL,gBAAgB,EAChB;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,sBAAsB,CAAC,CAAA;KAAE,CAC9C;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,sBAAsB,CAAC,mCAAmC,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,GACtI,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,CAC9B,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,qBAAqB,SAAS,iBAAiB,IAC7C,gBAAgB,CAClB,UAAU,SAAS,GAAG,GAClB;IACE,OAAO,CACL,QAAQ,CAAC,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,EAClD,QAAQ,CACN,qBAAqB,GAAG,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CACjE,CACF;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,aAAa,UAAU,CAAC,MAAM,CAAC,6EAA6E,CAAC,GAC/H,KAAK,CACV,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,eAAe,SAAS,iBAAiB,EACzC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,iBAAiB,IACxC,mBAAmB,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACvD,eAAe,CAAC,iGAAiG,CAAC,GAClH;IACI,OAAO,CAAC,gBAAgB,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CAClE,SAAS,CAAC,KAAK,CAAC,GACjB,uBAAuB,CAAC,cAAc,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAC5E,OAAO,GACP,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,uBAAuB,CAAC,cAAc,CAAC,GAAG,CAAC,GACrI,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,wCAAwC,CAAC,CAAC"}
+{"version":3,"file":"MiddlewareSpec.d.ts","sourceRoot":"","sources":["../src/MiddlewareSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAEpD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAExE,eAAO,MAAM,MAAM,kCAAkC,CAAC;AACtD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,gBAAgB,MAAO,OAAO,KAAG,CAAC,IAAI,iBACjB,CAAC;AAEnC,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,YAAY,CAIxD,CAAC;AAEF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;IAC7C,CACE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,SAAS,CAAC,EAC7D,OAAO,EAAE,iBAAiB,GACzB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAAG;AAE3E;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc,CAC7B,EAAE,CAAC,GAAG,CAAC,IAAI,EACX,IAAI,SAAS,MAAM,EACnB,SAAS,EACT,SAAS,EACT,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,cAAc,SAAS,YAAY;IAEnC,KAAK,CAAC,EAAE,KAAK,GAAG;QACd,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;KACpB,CAAC;IACF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;CACzC;AAED,MAAM,MAAM,GAAG,CAAC,eAAe,SAAS,iBAAiB,IACvD,eAAe,CAAC,KAAK,CAAC,CAAC;AAEzB,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,eAAe,SAAS,iBAAiB,IAC/D,eAAe,SAAS,iBAAiB,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;AAEhF,MAAM,MAAM,KAAK,CAAC,eAAe,SAAS,iBAAiB,IACzD,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACjC,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,eAAe,SAAS,iBAAiB,IAChE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GACpC,KAAK,CAAC;AAEZ,MAAM,MAAM,aAAa,CAAC,eAAe,SAAS,iBAAiB,IACjE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,gBAAgB,CAAC,GACjC,KAAK,CAAC;AAEZ;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,cAAc,GACxB,IAAI,EAAE,MAAM,SAAS;IAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,EAAE,GAAG,CAAA;CAAE,GAAG,EAAE,QAE3D,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,EACzD,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,OAE9C,IAAI,WACA;IACP,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,GAC1C,2BAA2B,CAAC,oBAAoB,CAAC,CAAC;CACrD,KACA,cAAc,CACf,IAAI,EACJ,IAAI,EACJ,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,YAAY,EACZ,uBAAuB,CAAC,oBAAoB,CAAC,CAsB9C,CAAC;AAEJ,KAAK,uBAAuB,CAAC,MAAM,SAAS,sBAAsB,IAAI;KACnE,CAAC,IAAI,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CACxD,CAAC,YAAY,CAAC,CAAC;AAEhB,KAAK,2BAA2B,CAAC,MAAM,SAAS,sBAAsB,IACpE,gBAAgB,CACZ;KACG,CAAC,IAAI,MAAM,MAAM,GAAG,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,GAC1C,eAAe,CAAC,uBAAuB,CAAC,GAAG,MAAM,uEAAuE,CAAC,GACzH,KAAK;CACV,CAAC,MAAM,MAAM,CAAC,GACf,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9C,eAAe,CAAC,sDAAsD,CAAC,GACvE,KAAK,CAAC,CACb,CAAC;AAEJ,eAAO,MAAM,YAAY,oBACN,aAAa,CAAC,iBAAiB,CAAC,KAChD,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAKpC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO,SAAS,MAAM;IACrD,QAAQ,CAAC,+CAA+C,EAAE,OAAO,CAAC;CACnE;AAED,KAAK,cAAc,CAAC,aAAa,SAAS,YAAY,CAAC,YAAY,IACjE,aAAa,CAAC,wBAAwB,CAAC,CAAC,cAAc,CAAC,CAAC;AAE1D,KAAK,gBAAgB,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,SAAS,iBAAiB,IACvC,aAAa,SAAS,GAAG,GACzB,eAAe,SAAS,GAAG,GACzB,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC;CAC1D,GACC,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,eAAe,CAAC,+BAA+B,aAAa,CAAC,MAAM,CAAC,sCAAsC,GAAG,CAAC,eAAe,CAAC,+FAA+F,CAAC,GAC9N,KAAK,GACP;IACI,OAAO,CACL,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,EAC3C;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CACvC;CACF,SAAS,CAAC,KAAK,CAAC,GACjB,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,cAAc,CAAC,aAAa,CAAC,4BAA4B,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GAC5K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,sCAAsC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GACtH,KAAK,GACP,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,iBAAiB,EACzC,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,gBAAgB,SAAS,iBAAiB,IACxC;IACF,OAAO,CAAC,gBAAgB,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CAClE,SAAS,CAAC,KAAK,CAAC,GACb,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;IACvE,KAAK;CACN,GACC,gBAAgB,CAAC,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,GAC/D,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,wHAAwH,CAAC,GAC9K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,CAAC,CAAC;AAE9F,MAAM,MAAM,qBAAqB,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IACxC,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,OAAO,GACP,gBAAgB,CACZ,gBAAgB,CAAC,aAAa,EAAE,gBAAgB,CAAC,GACjD,YAAY,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAChD,CAAC;AAEN,KAAK,YAAY,CACf,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IAE1C,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,SAAS,MAAM,sBAAsB,GAC5E,sBAAsB,SAAS,iBAAiB,GAC9C;IACE,OAAO,CACL,gBAAgB,EAChB;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,sBAAsB,CAAC,CAAA;KAAE,CAC9C;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,sBAAsB,CAAC,mCAAmC,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,GACtI,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,CAC9B,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,qBAAqB,SAAS,iBAAiB,IAC7C,gBAAgB,CAClB,UAAU,SAAS,GAAG,GAClB;IACE,OAAO,CACL,QAAQ,CAAC,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,EAClD,QAAQ,CACN,qBAAqB,GAAG,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CACjE,CACF;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,aAAa,UAAU,CAAC,MAAM,CAAC,6EAA6E,CAAC,GAC/H,KAAK,CACV,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,eAAe,SAAS,iBAAiB,EACzC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,iBAAiB,IACxC,mBAAmB,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACvD,eAAe,CAAC,iGAAiG,CAAC,GAClH;IACI,OAAO,CAAC,gBAAgB,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CAClE,SAAS,CAAC,KAAK,CAAC,GACjB,uBAAuB,CAAC,cAAc,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAC5E,OAAO,GACP,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,uBAAuB,CAAC,cAAc,CAAC,GAAG,CAAC,GACrI,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,wCAAwC,CAAC,CAAC"}

package/dist/MiddlewareSpec.js

@@ -9,7 +9,7 @@ var MiddlewareSpec_exports = /* @__PURE__ */ __exportAll({
 	errorSchemas: () => errorSchemas,
 	isMiddlewareSpec: () => isMiddlewareSpec
 });
-const TypeId = "@confect/core/MiddlewareSpec";
+const TypeId = "~@confect/core/MiddlewareSpec";
 const isMiddlewareSpec = (u) => Predicate.hasProperty(u, TypeId);
 const allFunctionTypes = [
 	"query",

package/dist/MiddlewareSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"MiddlewareSpec.js","names":[],"sources":["../src/MiddlewareSpec.ts"],"sourcesContent":["import type { FunctionType, FunctionVisibility } from \"convex/server\";\nimport type * as Effect from \"effect/Effect\";\nimport * as Predicate from \"effect/Predicate\";\nimport type * as Schema from \"effect/Schema\";\nimport type { unhandled } from \"effect/Types\";\nimport type * as FunctionProvenance from \"./FunctionProvenance\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport * as Lazy from \"./Lazy\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"@confect/core/MiddlewareSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isMiddlewareSpec = (u: unknown): u is AnyMiddlewareSpec =>\n  Predicate.hasProperty(u, TypeId);\n\nexport const allFunctionTypes: ReadonlyArray<FunctionType> = [\n  \"query\",\n  \"mutation\",\n  \"action\",\n];\n\nexport interface SupportedFunctionTypes {\n  readonly query: boolean;\n  readonly mutation: boolean;\n  readonly action: boolean;\n}\n\n/**\n * Marker success type used by middleware to represent the handler's outcome\n * without exposing its concrete success value.\n *\n * Mirrors `RpcMiddleware.SuccessValue` in Effect.\n */\nexport interface SuccessValue {\n  readonly _: unique symbol;\n}\n\n/**\n * The wrap-style middleware implementation shape: receives the downstream\n * effect (the remaining middleware plus the function handler) and the\n * covered invocation's metadata, and returns the effect that runs in its\n * place.\n *\n * Mirrors `RpcMiddleware.RpcMiddleware` in Effect.\n */\nexport interface MiddlewareImpl<Provides_, E, R> {\n  (\n    effect: Effect.Effect<SuccessValue, E | unhandled, Provides_>,\n    options: MiddlewareOptions,\n  ): Effect.Effect<SuccessValue, E | unhandled, R>;\n}\n\nexport interface MiddlewareOptions {\n  readonly name: string;\n  readonly functionType: FunctionType;\n  readonly functionVisibility: FunctionVisibility;\n  readonly args: unknown;\n}\n\nexport interface AnyMiddlewareImpl extends MiddlewareImpl<any, any, any> {}\n\n/**\n * The class shape produced by {@link MiddlewareSpec}. Only the static side is ever\n * used — the class is a value-level carrier for the middleware's key, its\n * declared functionTypes, and its (lazily-evaluated) error schema, plus the\n * type-level `Provides`/`Error` metadata. It is deliberately not a\n * `Context.Tag`: implementations are registered through the group `Registry`\n * (like `FunctionImpl`s), not resolved from a Layer context.\n */\nexport interface MiddlewareSpec<\n  in out Self,\n  Key_ extends string,\n  Provides_,\n  Requires_,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  FunctionTypes_ extends FunctionType,\n> {\n  new (_: never): {\n    readonly [TypeId]: TypeId;\n    readonly key: Key_;\n  };\n  readonly [TypeId]: TypeId;\n  readonly key: Key_;\n  readonly functionTypes: SupportedFunctionTypes;\n  readonly error?: ErrorSchema_;\n  readonly \"~Provides\": Provides_;\n  readonly \"~Requires\": Requires_;\n  readonly \"~Error\": ErrorSchema_;\n  readonly \"~FunctionTypes\": FunctionTypes_;\n  readonly \"~Self\": Self;\n}\n\nexport interface AnyMiddlewareSpec {\n  readonly [TypeId]: TypeId;\n  readonly key: string;\n  readonly functionTypes: SupportedFunctionTypes;\n  readonly error?: Schema.Codec<any, any>;\n  readonly \"~Provides\": any;\n  readonly \"~Requires\": any;\n  readonly \"~Error\": any;\n  readonly \"~FunctionTypes\": FunctionType;\n}\n\nexport type Key<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_[\"key\"];\n\nexport type Provides<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Provides\"]\n    : never;\n\n/**\n * The services a middleware's implementation may consume from middleware\n * that runs earlier in the same chain (type-level only, like `provides`).\n */\nexport type Requires<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Requires\"]\n    : never;\n\nexport type ErrorSchema<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_[\"~Error\"] : never;\n\nexport type Error<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Error\"][\"Type\"]\n    : never;\n\nexport type EncodedError<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Error\"][\"Encoded\"]\n    : never;\n\nexport type FunctionTypes<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~FunctionTypes\"]\n    : never;\n\n/**\n * Declare a middleware's client-safe interface: its identifying key, the\n * service it provides to downstream handlers, the error schema its failures\n * encode through, and the function types it may attach to.\n *\n * ```ts\n * class RequireUser extends MiddlewareSpec.MiddlewareSpec<RequireUser, {\n *   provides: CurrentUser\n * }>()(\"RequireUser\", {\n *   error: () => NotSignedIn,\n *   functionTypes: { query: true, mutation: true, action: false },\n * }) {}\n * ```\n *\n * The implementation is server-only and supplied separately via\n * `MiddlewareImpl.make` (or `makeByFunctionType`/`provides`) in `@confect/server`.\n */\nexport const MiddlewareSpec =\n  <Self, Config extends { provides?: any; requires?: any } = {}>() =>\n  <\n    const Key_ extends string,\n    const FunctionTypesConfig_ extends SupportedFunctionTypes,\n    ErrorSchema_ extends Schema.Codec<any, any> = never,\n  >(\n    key: Key_,\n    options: {\n      readonly error?: () => ErrorSchema_;\n      readonly functionTypes: FunctionTypesConfig_ &\n        ValidateFunctionTypesConfig<FunctionTypesConfig_>;\n    },\n  ): MiddlewareSpec<\n    Self,\n    Key_,\n    \"provides\" extends keyof Config ? Config[\"provides\"] : never,\n    \"requires\" extends keyof Config ? Config[\"requires\"] : never,\n    ErrorSchema_,\n    FunctionTypesFromConfig<FunctionTypesConfig_>\n  > => {\n    const { query, mutation, action } = options.functionTypes;\n    if (!query && !mutation && !action) {\n      throw new Error(\n        `Middleware \"${key}\" must declare at least one function type`,\n      );\n    }\n\n    function MiddlewareSpecClass() {}\n    const class_ = MiddlewareSpecClass as any;\n    class_[TypeId] = TypeId;\n    class_.key = key;\n    class_.functionTypes = {\n      query,\n      mutation,\n      action,\n    } satisfies SupportedFunctionTypes;\n    if (options.error !== undefined) {\n      Lazy.defineProperty(class_, \"error\", options.error);\n    }\n    return class_;\n  };\n\ntype FunctionTypesFromConfig<Config extends SupportedFunctionTypes> = {\n  [K in FunctionType]: Config[K] extends true ? K : never;\n}[FunctionType];\n\ntype ValidateFunctionTypesConfig<Config extends SupportedFunctionTypes> =\n  ValidationResult<\n    | {\n        [K in keyof Config]: boolean extends Config[K]\n          ? AttachmentError<`Function type flag \"${K & string}\" must be a literal \\`true\\` or \\`false\\`, not a computed \\`boolean\\``>\n          : never;\n      }[keyof Config]\n    | ([FunctionTypesFromConfig<Config>] extends [never]\n        ? AttachmentError<`A middleware must declare at least one function type`>\n        : never)\n  >;\n\nexport const errorSchemas = (\n  middlewareSpecs: ReadonlyArray<AnyMiddlewareSpec>,\n): ReadonlyArray<Schema.Codec<any, any>> =>\n  middlewareSpecs.flatMap((middlewareSpec) =>\n    \"error\" in middlewareSpec && middlewareSpec.error !== undefined\n      ? [middlewareSpec.error]\n      : [],\n  );\n\n/**\n * A branded, unconstructible type carrying a spec-authoring error message.\n * Surfaced as (part of) a parameter type so the diagnostic names the exact\n * problem at the `.middleware()` / `.addFunction()` call site.\n */\nexport interface AttachmentError<Message extends string> {\n  readonly \"~confect/MiddlewareSpec/AttachmentError\": Message;\n}\n\ntype FunctionTypeOf<FunctionSpec_ extends FunctionSpec.AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"][\"functionType\"];\n\ntype ValidationResult<Errors> = [Errors] extends [never] ? unknown : Errors;\n\n/**\n * A matching-type Convex-provenance function is rejected rather than\n * silently skipped: its raw handler passes through Confect untouched, so\n * the middleware could not actually cover it, and skipping it would be a\n * policy hole.\n */\nexport type ValidateFunction<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n> = FunctionSpec_ extends any\n  ? MiddlewareSpec_ extends any\n    ? FunctionSpec_ extends {\n        readonly functionProvenance: { readonly _tag: \"Convex\" };\n      }\n      ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_>\n        ? AttachmentError<`Convex-provenance function \"${FunctionSpec_[\"name\"]}\" cannot be covered by middleware \"${Key<MiddlewareSpec_>}\" — attach middleware only to groups whose matching-type functions are all Confect-provenance`>\n        : never\n      : [\n            Extract<\n              FunctionSpec.MiddlewareSpecs<FunctionSpec_>,\n              { readonly key: Key<MiddlewareSpec_> }\n            >,\n          ] extends [never]\n        ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_>\n          ? never\n          : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" does not declare function type \"${FunctionTypeOf<FunctionSpec_>}\", the type of function \"${FunctionSpec_[\"name\"]}\"`>\n        : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to function \"${FunctionSpec_[\"name\"]}\"`>\n    : never\n  : never;\n\n/**\n * Attachment order is chain order, so requiring `requires` to be satisfied\n * by already-attached middleware is exactly requiring the provider to run\n * earlier.\n */\nexport type ValidateAttach<\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n  Functions_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = [\n  Extract<MiddlewareSpecs_, { readonly key: Key<MiddlewareSpec_> }>,\n] extends [never]\n  ? [Exclude<Requires<MiddlewareSpec_>, Provides<MiddlewareSpecs_>>] extends [\n      never,\n    ]\n    ? ValidationResult<ValidateFunction<Functions_, MiddlewareSpec_>>\n    : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" requires services that no middleware attached earlier to this group provides — attach the providing middleware first`>\n  : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to this group`>;\n\nexport type ValidateAddedFunction<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = [MiddlewareSpecs_] extends [never]\n  ? unknown\n  : ValidationResult<\n      | ValidateFunction<FunctionSpec_, MiddlewareSpecs_>\n      | GroupOverlap<FunctionSpec_, MiddlewareSpecs_>\n    >;\n\ntype GroupOverlap<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> =\n  FunctionSpec.MiddlewareSpecs<FunctionSpec_> extends infer FunctionMiddlewareSpec\n    ? FunctionMiddlewareSpec extends AnyMiddlewareSpec\n      ? [\n          Extract<\n            MiddlewareSpecs_,\n            { readonly key: Key<FunctionMiddlewareSpec> }\n          >,\n        ] extends [never]\n        ? never\n        : AttachmentError<`Middleware \"${Key<FunctionMiddlewareSpec>}\" is attached to both function \"${FunctionSpec_[\"name\"]}\" and its group`>\n      : never\n    : never;\n\n/**\n * The parameter-type validation applied to the group spec at\n * `GroupImpl.make`: every function's attached middleware must have its\n * `requires` services provided by some middleware covering that function\n * (the group's or the function's own). Checked here — with the group fully\n * assembled — rather than at the spec builders, because a function-level\n * middleware's `requires` may legitimately be satisfied by a group\n * middleware the function spec never sees, and group attachment is\n * declaratively order-independent with respect to `addFunction`.\n */\nexport type ValidateImplRequires<\n  Functions_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = ValidationResult<\n  Functions_ extends any\n    ? [\n        Exclude<\n          Requires<FunctionSpec.MiddlewareSpecs<Functions_>>,\n          Provides<\n            GroupMiddlewareSpecs_ | FunctionSpec.MiddlewareSpecs<Functions_>\n          >\n        >,\n      ] extends [never]\n      ? never\n      : AttachmentError<`Function \"${Functions_[\"name\"]}\" has middleware requiring services that no middleware covering it provides`>\n    : never\n>;\n\nexport type ValidateFunctionAttach<\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = FunctionProvenance_ extends { readonly _tag: \"Convex\" }\n  ? AttachmentError<`Plain Convex functions cannot have middleware — their raw handlers are passed through untouched`>\n  : [\n        Extract<MiddlewareSpecs_, { readonly key: Key<MiddlewareSpec_> }>,\n      ] extends [never]\n    ? RuntimeAndFunctionType_[\"functionType\"] extends FunctionTypes<MiddlewareSpec_>\n      ? unknown\n      : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" does not declare function type \"${RuntimeAndFunctionType_[\"functionType\"]}\"`>\n    : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to this function`>;\n"],"mappings":";;;;;;;;;;;AAUA,MAAa,SAAS;AAGtB,MAAa,oBAAoB,MAC/B,UAAU,YAAY,GAAG,MAAM;AAEjC,MAAa,mBAAgD;CAC3D;CACA;CACA;AACF;;;;;;;;;;;;;;;;;;AAwIA,MAAa,wBAOT,KACA,YAYG;CACH,MAAM,EAAE,OAAO,UAAU,WAAW,QAAQ;CAC5C,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,QAC1B,MAAM,IAAI,MACR,eAAe,IAAI,0CACrB;CAGF,SAAS,sBAAsB,CAAC;CAChC,MAAM,SAAS;CACf,OAAO,UAAU;CACjB,OAAO,MAAM;CACb,OAAO,gBAAgB;EACrB;EACA;EACA;CACF;CACA,IAAI,QAAQ,UAAU,KAAA,GACpB,eAAoB,QAAQ,SAAS,QAAQ,KAAK;CAEpD,OAAO;AACT;AAkBF,MAAa,gBACX,oBAEA,gBAAgB,SAAS,mBACvB,WAAW,kBAAkB,eAAe,UAAU,KAAA,IAClD,CAAC,eAAe,KAAK,IACrB,CAAC,CACP"}
+{"version":3,"file":"MiddlewareSpec.js","names":[],"sources":["../src/MiddlewareSpec.ts"],"sourcesContent":["import type { FunctionType, FunctionVisibility } from \"convex/server\";\nimport type * as Effect from \"effect/Effect\";\nimport * as Predicate from \"effect/Predicate\";\nimport type * as Schema from \"effect/Schema\";\nimport type { unhandled } from \"effect/Types\";\nimport type * as FunctionProvenance from \"./FunctionProvenance\";\nimport type * as FunctionSpec from \"./FunctionSpec\";\nimport * as Lazy from \"./Lazy\";\nimport type * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"~@confect/core/MiddlewareSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isMiddlewareSpec = (u: unknown): u is AnyMiddlewareSpec =>\n  Predicate.hasProperty(u, TypeId);\n\nexport const allFunctionTypes: ReadonlyArray<FunctionType> = [\n  \"query\",\n  \"mutation\",\n  \"action\",\n];\n\nexport interface SupportedFunctionTypes {\n  readonly query: boolean;\n  readonly mutation: boolean;\n  readonly action: boolean;\n}\n\n/**\n * Marker success type used by middleware to represent the handler's outcome\n * without exposing its concrete success value.\n *\n * Mirrors `RpcMiddleware.SuccessValue` in Effect.\n */\nexport interface SuccessValue {\n  readonly _: unique symbol;\n}\n\n/**\n * The wrap-style middleware implementation shape: receives the downstream\n * effect (the remaining middleware plus the function handler) and the\n * covered invocation's metadata, and returns the effect that runs in its\n * place.\n *\n * Mirrors `RpcMiddleware.RpcMiddleware` in Effect.\n */\nexport interface MiddlewareImpl<Provides_, E, R> {\n  (\n    effect: Effect.Effect<SuccessValue, E | unhandled, Provides_>,\n    options: MiddlewareOptions,\n  ): Effect.Effect<SuccessValue, E | unhandled, R>;\n}\n\nexport interface MiddlewareOptions {\n  readonly name: string;\n  readonly functionType: FunctionType;\n  readonly functionVisibility: FunctionVisibility;\n  readonly args: unknown;\n}\n\nexport interface AnyMiddlewareImpl extends MiddlewareImpl<any, any, any> {}\n\n/**\n * The class shape produced by {@link MiddlewareSpec}. Only the static side is ever\n * used — the class is a value-level carrier for the middleware's key, its\n * declared functionTypes, and its (lazily-evaluated) error schema, plus the\n * type-level `Provides`/`Error` metadata. It is deliberately not a\n * `Context.Tag`: implementations are registered through the group `Registry`\n * (like `FunctionImpl`s), not resolved from a Layer context.\n */\nexport interface MiddlewareSpec<\n  in out Self,\n  Key_ extends string,\n  Provides_,\n  Requires_,\n  ErrorSchema_ extends Schema.Codec<any, any>,\n  FunctionTypes_ extends FunctionType,\n> {\n  new (_: never): {\n    readonly [TypeId]: TypeId;\n    readonly key: Key_;\n  };\n  readonly [TypeId]: TypeId;\n  readonly key: Key_;\n  readonly functionTypes: SupportedFunctionTypes;\n  readonly error?: ErrorSchema_;\n  readonly \"~Provides\": Provides_;\n  readonly \"~Requires\": Requires_;\n  readonly \"~Error\": ErrorSchema_;\n  readonly \"~FunctionTypes\": FunctionTypes_;\n  readonly \"~Self\": Self;\n}\n\nexport interface AnyMiddlewareSpec {\n  readonly [TypeId]: TypeId;\n  readonly key: string;\n  readonly functionTypes: SupportedFunctionTypes;\n  readonly error?: Schema.Codec<any, any>;\n  readonly \"~Provides\": any;\n  readonly \"~Requires\": any;\n  readonly \"~Error\": any;\n  readonly \"~FunctionTypes\": FunctionType;\n}\n\nexport type Key<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_[\"key\"];\n\nexport type Provides<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Provides\"]\n    : never;\n\n/**\n * The services a middleware's implementation may consume from middleware\n * that runs earlier in the same chain (type-level only, like `provides`).\n */\nexport type Requires<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Requires\"]\n    : never;\n\nexport type ErrorSchema<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_[\"~Error\"] : never;\n\nexport type Error<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Error\"][\"Type\"]\n    : never;\n\nexport type EncodedError<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~Error\"][\"Encoded\"]\n    : never;\n\nexport type FunctionTypes<MiddlewareSpec_ extends AnyMiddlewareSpec> =\n  MiddlewareSpec_ extends AnyMiddlewareSpec\n    ? MiddlewareSpec_[\"~FunctionTypes\"]\n    : never;\n\n/**\n * Declare a middleware's client-safe interface: its identifying key, the\n * service it provides to downstream handlers, the error schema its failures\n * encode through, and the function types it may attach to.\n *\n * ```ts\n * class RequireUser extends MiddlewareSpec.MiddlewareSpec<RequireUser, {\n *   provides: CurrentUser\n * }>()(\"RequireUser\", {\n *   error: () => NotSignedIn,\n *   functionTypes: { query: true, mutation: true, action: false },\n * }) {}\n * ```\n *\n * The implementation is server-only and supplied separately via\n * `MiddlewareImpl.make` (or `makeByFunctionType`/`provides`) in `@confect/server`.\n */\nexport const MiddlewareSpec =\n  <Self, Config extends { provides?: any; requires?: any } = {}>() =>\n  <\n    const Key_ extends string,\n    const FunctionTypesConfig_ extends SupportedFunctionTypes,\n    ErrorSchema_ extends Schema.Codec<any, any> = never,\n  >(\n    key: Key_,\n    options: {\n      readonly error?: () => ErrorSchema_;\n      readonly functionTypes: FunctionTypesConfig_ &\n        ValidateFunctionTypesConfig<FunctionTypesConfig_>;\n    },\n  ): MiddlewareSpec<\n    Self,\n    Key_,\n    \"provides\" extends keyof Config ? Config[\"provides\"] : never,\n    \"requires\" extends keyof Config ? Config[\"requires\"] : never,\n    ErrorSchema_,\n    FunctionTypesFromConfig<FunctionTypesConfig_>\n  > => {\n    const { query, mutation, action } = options.functionTypes;\n    if (!query && !mutation && !action) {\n      throw new Error(\n        `Middleware \"${key}\" must declare at least one function type`,\n      );\n    }\n\n    function MiddlewareSpecClass() {}\n    const class_ = MiddlewareSpecClass as any;\n    class_[TypeId] = TypeId;\n    class_.key = key;\n    class_.functionTypes = {\n      query,\n      mutation,\n      action,\n    } satisfies SupportedFunctionTypes;\n    if (options.error !== undefined) {\n      Lazy.defineProperty(class_, \"error\", options.error);\n    }\n    return class_;\n  };\n\ntype FunctionTypesFromConfig<Config extends SupportedFunctionTypes> = {\n  [K in FunctionType]: Config[K] extends true ? K : never;\n}[FunctionType];\n\ntype ValidateFunctionTypesConfig<Config extends SupportedFunctionTypes> =\n  ValidationResult<\n    | {\n        [K in keyof Config]: boolean extends Config[K]\n          ? AttachmentError<`Function type flag \"${K & string}\" must be a literal \\`true\\` or \\`false\\`, not a computed \\`boolean\\``>\n          : never;\n      }[keyof Config]\n    | ([FunctionTypesFromConfig<Config>] extends [never]\n        ? AttachmentError<`A middleware must declare at least one function type`>\n        : never)\n  >;\n\nexport const errorSchemas = (\n  middlewareSpecs: ReadonlyArray<AnyMiddlewareSpec>,\n): ReadonlyArray<Schema.Codec<any, any>> =>\n  middlewareSpecs.flatMap((middlewareSpec) =>\n    \"error\" in middlewareSpec && middlewareSpec.error !== undefined\n      ? [middlewareSpec.error]\n      : [],\n  );\n\n/**\n * A branded, unconstructible type carrying a spec-authoring error message.\n * Surfaced as (part of) a parameter type so the diagnostic names the exact\n * problem at the `.middleware()` / `.addFunction()` call site.\n */\nexport interface AttachmentError<Message extends string> {\n  readonly \"~@confect/core/MiddlewareSpec/AttachmentError\": Message;\n}\n\ntype FunctionTypeOf<FunctionSpec_ extends FunctionSpec.AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"][\"functionType\"];\n\ntype ValidationResult<Errors> = [Errors] extends [never] ? unknown : Errors;\n\n/**\n * A matching-type Convex-provenance function is rejected rather than\n * silently skipped: its raw handler passes through Confect untouched, so\n * the middleware could not actually cover it, and skipping it would be a\n * policy hole.\n */\nexport type ValidateFunction<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n> = FunctionSpec_ extends any\n  ? MiddlewareSpec_ extends any\n    ? FunctionSpec_ extends {\n        readonly functionProvenance: { readonly _tag: \"Convex\" };\n      }\n      ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_>\n        ? AttachmentError<`Convex-provenance function \"${FunctionSpec_[\"name\"]}\" cannot be covered by middleware \"${Key<MiddlewareSpec_>}\" — attach middleware only to groups whose matching-type functions are all Confect-provenance`>\n        : never\n      : [\n            Extract<\n              FunctionSpec.MiddlewareSpecs<FunctionSpec_>,\n              { readonly key: Key<MiddlewareSpec_> }\n            >,\n          ] extends [never]\n        ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_>\n          ? never\n          : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" does not declare function type \"${FunctionTypeOf<FunctionSpec_>}\", the type of function \"${FunctionSpec_[\"name\"]}\"`>\n        : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to function \"${FunctionSpec_[\"name\"]}\"`>\n    : never\n  : never;\n\n/**\n * Attachment order is chain order, so requiring `requires` to be satisfied\n * by already-attached middleware is exactly requiring the provider to run\n * earlier.\n */\nexport type ValidateAttach<\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n  Functions_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = [\n  Extract<MiddlewareSpecs_, { readonly key: Key<MiddlewareSpec_> }>,\n] extends [never]\n  ? [Exclude<Requires<MiddlewareSpec_>, Provides<MiddlewareSpecs_>>] extends [\n      never,\n    ]\n    ? ValidationResult<ValidateFunction<Functions_, MiddlewareSpec_>>\n    : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" requires services that no middleware attached earlier to this group provides — attach the providing middleware first`>\n  : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to this group`>;\n\nexport type ValidateAddedFunction<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = [MiddlewareSpecs_] extends [never]\n  ? unknown\n  : ValidationResult<\n      | ValidateFunction<FunctionSpec_, MiddlewareSpecs_>\n      | GroupOverlap<FunctionSpec_, MiddlewareSpecs_>\n    >;\n\ntype GroupOverlap<\n  FunctionSpec_ extends FunctionSpec.AnyWithProps,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> =\n  FunctionSpec.MiddlewareSpecs<FunctionSpec_> extends infer FunctionMiddlewareSpec\n    ? FunctionMiddlewareSpec extends AnyMiddlewareSpec\n      ? [\n          Extract<\n            MiddlewareSpecs_,\n            { readonly key: Key<FunctionMiddlewareSpec> }\n          >,\n        ] extends [never]\n        ? never\n        : AttachmentError<`Middleware \"${Key<FunctionMiddlewareSpec>}\" is attached to both function \"${FunctionSpec_[\"name\"]}\" and its group`>\n      : never\n    : never;\n\n/**\n * The parameter-type validation applied to the group spec at\n * `GroupImpl.make`: every function's attached middleware must have its\n * `requires` services provided by some middleware covering that function\n * (the group's or the function's own). Checked here — with the group fully\n * assembled — rather than at the spec builders, because a function-level\n * middleware's `requires` may legitimately be satisfied by a group\n * middleware the function spec never sees, and group attachment is\n * declaratively order-independent with respect to `addFunction`.\n */\nexport type ValidateImplRequires<\n  Functions_ extends FunctionSpec.AnyWithProps,\n  GroupMiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = ValidationResult<\n  Functions_ extends any\n    ? [\n        Exclude<\n          Requires<FunctionSpec.MiddlewareSpecs<Functions_>>,\n          Provides<\n            GroupMiddlewareSpecs_ | FunctionSpec.MiddlewareSpecs<Functions_>\n          >\n        >,\n      ] extends [never]\n      ? never\n      : AttachmentError<`Function \"${Functions_[\"name\"]}\" has middleware requiring services that no middleware covering it provides`>\n    : never\n>;\n\nexport type ValidateFunctionAttach<\n  MiddlewareSpec_ extends AnyMiddlewareSpec,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n  MiddlewareSpecs_ extends AnyMiddlewareSpec,\n> = FunctionProvenance_ extends { readonly _tag: \"Convex\" }\n  ? AttachmentError<`Plain Convex functions cannot have middleware — their raw handlers are passed through untouched`>\n  : [\n        Extract<MiddlewareSpecs_, { readonly key: Key<MiddlewareSpec_> }>,\n      ] extends [never]\n    ? RuntimeAndFunctionType_[\"functionType\"] extends FunctionTypes<MiddlewareSpec_>\n      ? unknown\n      : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" does not declare function type \"${RuntimeAndFunctionType_[\"functionType\"]}\"`>\n    : AttachmentError<`Middleware \"${Key<MiddlewareSpec_>}\" is already attached to this function`>;\n"],"mappings":";;;;;;;;;;;AAUA,MAAa,SAAS;AAGtB,MAAa,oBAAoB,MAC/B,UAAU,YAAY,GAAG,MAAM;AAEjC,MAAa,mBAAgD;CAC3D;CACA;CACA;AACF;;;;;;;;;;;;;;;;;;AAwIA,MAAa,wBAOT,KACA,YAYG;CACH,MAAM,EAAE,OAAO,UAAU,WAAW,QAAQ;CAC5C,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,QAC1B,MAAM,IAAI,MACR,eAAe,IAAI,0CACrB;CAGF,SAAS,sBAAsB,CAAC;CAChC,MAAM,SAAS;CACf,OAAO,UAAU;CACjB,OAAO,MAAM;CACb,OAAO,gBAAgB;EACrB;EACA;EACA;CACF;CACA,IAAI,QAAQ,UAAU,KAAA,GACpB,eAAoB,QAAQ,SAAS,QAAQ,KAAK;CAEpD,OAAO;AACT;AAkBF,MAAa,gBACX,oBAEA,gBAAgB,SAAS,mBACvB,WAAW,kBAAkB,eAAe,UAAU,KAAA,IAClD,CAAC,eAAe,KAAK,IACrB,CAAC,CACP"}

package/dist/PaginationError.d.ts

@@ -0,0 +1,14 @@
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+declare const InvalidCursor_base: Schema.Class<InvalidCursor, Schema.TaggedStruct<"InvalidCursor", {
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError>;
+/** A Convex pagination cursor that no longer describes the current query. */
+export declare class InvalidCursor extends InvalidCursor_base {
+}
+/** Recognizes an invalid-cursor error emitted by a Convex query. */
+export declare const fromConvexQueryError: (error: unknown) => Option.Option<InvalidCursor>;
+/** Recognizes the error data attached to Convex's invalid-cursor error. */
+export declare const fromConvexErrorData: (errorData: unknown) => Option.Option<InvalidCursor>;
+export {};
+//# sourceMappingURL=PaginationError.d.ts.map

package/dist/PaginationError.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PaginationError.d.ts","sourceRoot":"","sources":["../src/PaginationError.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;;;;AAExC,6EAA6E;AAC7E,qBAAa,aAAc,SAAQ,kBAKlC;CAAG;AA8BJ,oEAAoE;AACpE,eAAO,MAAM,oBAAoB,UACxB,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,aAAa,CAc3B,CAAC;AAEJ,2EAA2E;AAC3E,eAAO,MAAM,mBAAmB,cACnB,OAAO,KACjB,MAAM,CAAC,MAAM,CAAC,aAAa,CAO3B,CAAC"}

package/dist/PaginationError.js

@@ -0,0 +1,25 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Schema from "effect/Schema";
+import * as Option from "effect/Option";
+import { ConvexError } from "convex/values";
+import * as Match from "effect/Match";
+//#region src/PaginationError.ts
+var PaginationError_exports = /* @__PURE__ */ __exportAll({
+	InvalidCursor: () => InvalidCursor,
+	fromConvexErrorData: () => fromConvexErrorData,
+	fromConvexQueryError: () => fromConvexQueryError
+});
+/** A Convex pagination cursor that no longer describes the current query. */
+var InvalidCursor = class extends Schema.TaggedError()("InvalidCursor", { cause: Schema.Defect() }) {};
+const ConvexErrorIdentifier = Symbol.for("ConvexError");
+const isConvexError = (error) => error instanceof ConvexError || typeof error === "object" && error !== null && ConvexErrorIdentifier in error;
+const isInvalidCursorData = (value) => typeof value === "object" && value !== null && "isConvexSystemError" in value && value.isConvexSystemError === true && "paginationError" in value && value.paginationError === "InvalidCursor";
+const fromErrorMessage = (error) => error.message.includes("InvalidCursor") ? Option.some(new InvalidCursor({ cause: error })) : Option.none();
+/** Recognizes an invalid-cursor error emitted by a Convex query. */
+const fromConvexQueryError = (error) => Match.value(error).pipe(Match.when(isConvexError, (convexError) => Match.value(isInvalidCursorData(convexError.data)).pipe(Match.when(true, () => Option.some(new InvalidCursor({ cause: error }))), Match.when(false, () => fromErrorMessage(convexError)), Match.exhaustive)), Match.when(Match.instanceOf(globalThis.Error), fromErrorMessage), Match.when(Match.any, () => Option.none()), Match.exhaustive);
+/** Recognizes the error data attached to Convex's invalid-cursor error. */
+const fromConvexErrorData = (errorData) => Match.value(errorData).pipe(Match.when(isInvalidCursorData, (cause) => Option.some(new InvalidCursor({ cause }))), Match.when(Match.any, () => Option.none()), Match.exhaustive);
+//#endregion
+export { InvalidCursor, PaginationError_exports, fromConvexErrorData, fromConvexQueryError };
+
+//# sourceMappingURL=PaginationError.js.map

package/dist/PaginationError.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PaginationError.js","names":[],"sources":["../src/PaginationError.ts"],"sourcesContent":["import { ConvexError } from \"convex/values\";\nimport type { Value } from \"convex/values\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Schema from \"effect/Schema\";\n\n/** A Convex pagination cursor that no longer describes the current query. */\nexport class InvalidCursor extends Schema.TaggedError<InvalidCursor>()(\n  \"InvalidCursor\",\n  {\n    cause: Schema.Defect(),\n  },\n) {}\n\ninterface InvalidCursorData {\n  readonly isConvexSystemError: true;\n  readonly paginationError: \"InvalidCursor\";\n}\n\nconst ConvexErrorIdentifier = Symbol.for(\"ConvexError\");\n\nconst isConvexError = (error: unknown): error is ConvexError<Value> =>\n  error instanceof ConvexError ||\n  (typeof error === \"object\" &&\n    error !== null &&\n    ConvexErrorIdentifier in error);\n\nconst isInvalidCursorData = (value: unknown): value is InvalidCursorData =>\n  typeof value === \"object\" &&\n  value !== null &&\n  \"isConvexSystemError\" in value &&\n  value.isConvexSystemError === true &&\n  \"paginationError\" in value &&\n  value.paginationError === \"InvalidCursor\";\n\nconst fromErrorMessage = (\n  error: globalThis.Error,\n): Option.Option<InvalidCursor> =>\n  error.message.includes(\"InvalidCursor\")\n    ? Option.some(new InvalidCursor({ cause: error }))\n    : Option.none();\n\n/** Recognizes an invalid-cursor error emitted by a Convex query. */\nexport const fromConvexQueryError = (\n  error: unknown,\n): Option.Option<InvalidCursor> =>\n  Match.value(error).pipe(\n    Match.when(isConvexError, (convexError) =>\n      Match.value(isInvalidCursorData(convexError.data)).pipe(\n        Match.when(true, () =>\n          Option.some(new InvalidCursor({ cause: error })),\n        ),\n        Match.when(false, () => fromErrorMessage(convexError)),\n        Match.exhaustive,\n      ),\n    ),\n    Match.when(Match.instanceOf(globalThis.Error), fromErrorMessage),\n    Match.when(Match.any, () => Option.none<InvalidCursor>()),\n    Match.exhaustive,\n  );\n\n/** Recognizes the error data attached to Convex's invalid-cursor error. */\nexport const fromConvexErrorData = (\n  errorData: unknown,\n): Option.Option<InvalidCursor> =>\n  Match.value(errorData).pipe(\n    Match.when(isInvalidCursorData, (cause) =>\n      Option.some(new InvalidCursor({ cause })),\n    ),\n    Match.when(Match.any, () => Option.none<InvalidCursor>()),\n    Match.exhaustive,\n  );\n"],"mappings":";;;;;;;;;;;;AAOA,IAAa,gBAAb,cAAmC,OAAO,YAA2B,CAAC,CACpE,iBACA,EACE,OAAO,OAAO,OAAO,EACvB,CACF,CAAC,CAAC,CAAC;AAOH,MAAM,wBAAwB,OAAO,IAAI,aAAa;AAEtD,MAAM,iBAAiB,UACrB,iBAAiB,eAChB,OAAO,UAAU,YAChB,UAAU,QACV,yBAAyB;AAE7B,MAAM,uBAAuB,UAC3B,OAAO,UAAU,YACjB,UAAU,QACV,yBAAyB,SACzB,MAAM,wBAAwB,QAC9B,qBAAqB,SACrB,MAAM,oBAAoB;AAE5B,MAAM,oBACJ,UAEA,MAAM,QAAQ,SAAS,eAAe,IAClC,OAAO,KAAK,IAAI,cAAc,EAAE,OAAO,MAAM,CAAC,CAAC,IAC/C,OAAO,KAAK;;AAGlB,MAAa,wBACX,UAEA,MAAM,MAAM,KAAK,CAAC,CAAC,KACjB,MAAM,KAAK,gBAAgB,gBACzB,MAAM,MAAM,oBAAoB,YAAY,IAAI,CAAC,CAAC,CAAC,KACjD,MAAM,KAAK,YACT,OAAO,KAAK,IAAI,cAAc,EAAE,OAAO,MAAM,CAAC,CAAC,CACjD,GACA,MAAM,KAAK,aAAa,iBAAiB,WAAW,CAAC,GACrD,MAAM,UACR,CACF,GACA,MAAM,KAAK,MAAM,WAAW,WAAW,KAAK,GAAG,gBAAgB,GAC/D,MAAM,KAAK,MAAM,WAAW,OAAO,KAAoB,CAAC,GACxD,MAAM,UACR;;AAGF,MAAa,uBACX,cAEA,MAAM,MAAM,SAAS,CAAC,CAAC,KACrB,MAAM,KAAK,sBAAsB,UAC/B,OAAO,KAAK,IAAI,cAAc,EAAE,MAAM,CAAC,CAAC,CAC1C,GACA,MAAM,KAAK,MAAM,WAAW,OAAO,KAAoB,CAAC,GACxD,MAAM,UACR"}