@confect/core 9.0.0-next.0 → 9.0.0-next.10

package/dist/FunctionProvenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionProvenance.js","names":[],"sources":["../src/FunctionProvenance.ts"],"sourcesContent":["import type { DefaultFunctionArgs } from \"convex/server\";\nimport type { Schema } from \"effect\";\nimport { Data } from \"effect\";\n\nexport type FunctionProvenance = Data.TaggedEnum<{\n  Confect: {\n    args: Schema.Schema.AnyNoContext;\n    returns: Schema.Schema.AnyNoContext;\n    error?: Schema.Schema.AnyNoContext;\n  };\n  Convex: {\n    /** @internal */\n    _args: DefaultFunctionArgs;\n    /** @internal */\n    _returns: any;\n  };\n}>;\n\nexport interface Confect<\n  Args extends Schema.Schema.AnyNoContext,\n  Returns extends Schema.Schema.AnyNoContext,\n  Error extends Schema.Schema.AnyNoContext = never,\n> {\n  readonly _tag: \"Confect\";\n  readonly args: Args;\n  readonly returns: Returns;\n  readonly error?: Error;\n}\n\nexport interface AnyConfect extends Confect<\n  Schema.Schema.AnyNoContext,\n  Schema.Schema.AnyNoContext,\n  Schema.Schema.AnyNoContext\n> {}\n\nexport interface Convex<Args extends DefaultFunctionArgs, Returns> {\n  readonly _tag: \"Convex\";\n  readonly _args: Args;\n  readonly _returns: Returns;\n}\n\nexport interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}\n\nexport const FunctionProvenance = Data.taggedEnum<FunctionProvenance>();\n\nexport const Confect = <\n  Args extends Schema.Schema.AnyNoContext,\n  Returns extends Schema.Schema.AnyNoContext,\n  Error extends Schema.Schema.AnyNoContext = never,\n>(\n  args: Args,\n  returns: Returns,\n  error?: Error,\n) =>\n  FunctionProvenance.Confect({\n    args,\n    returns,\n    ...(error !== undefined ? { error } : {}),\n  });\n\nexport const Convex = <_Args extends DefaultFunctionArgs, _Returns>() =>\n  FunctionProvenance.Convex(\n    {} as {\n      _args: _Args;\n      _returns: _Returns;\n    },\n  );\n"],"mappings":";;;;;;;;;AA2CA,MAAa,qBAAqB,KAAK,YAAgC;AAEvE,MAAa,WAKX,MACA,SACA,UAEA,mBAAmB,QAAQ;CACzB;CACA;CACA,GAAI,UAAU,SAAY,EAAE,OAAO,GAAG,EAAE;CACzC,CAAC;AAEJ,MAAa,eACX,mBAAmB,OACjB,EAAE,CAIH"}
+{"version":3,"file":"FunctionProvenance.js","names":[],"sources":["../src/FunctionProvenance.ts"],"sourcesContent":["import type { DefaultFunctionArgs } from \"convex/server\";\nimport type { Schema } from \"effect\";\nimport * as Data from \"effect/Data\";\nimport * as Lazy from \"./Lazy\";\n\nexport type FunctionProvenance = Data.TaggedEnum<{\n  Confect: {\n    args: Schema.Schema.AnyNoContext;\n    returns: Schema.Schema.AnyNoContext;\n    error?: Schema.Schema.AnyNoContext;\n  };\n  Convex: {\n    /** @internal */\n    _args: DefaultFunctionArgs;\n    /** @internal */\n    _returns: any;\n  };\n}>;\n\nexport interface Confect<\n  Args extends Schema.Schema.AnyNoContext,\n  Returns extends Schema.Schema.AnyNoContext,\n  Error extends Schema.Schema.AnyNoContext = never,\n> {\n  readonly _tag: \"Confect\";\n  readonly args: Args;\n  readonly returns: Returns;\n  readonly error?: Error;\n}\n\nexport interface AnyConfect extends Confect<\n  Schema.Schema.AnyNoContext,\n  Schema.Schema.AnyNoContext,\n  Schema.Schema.AnyNoContext\n> {}\n\nexport interface Convex<Args extends DefaultFunctionArgs, Returns> {\n  readonly _tag: \"Convex\";\n  readonly _args: Args;\n  readonly _returns: Returns;\n}\n\nexport interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}\n\nexport const FunctionProvenance = Data.taggedEnum<FunctionProvenance>();\n\n/**\n * Build a `Confect` provenance from lazy schema thunks. `args`, `returns`,\n * and `error` are exposed as sync lazy memoised getters (via {@link Lazy.defineProperty})\n * that only evaluate their thunk on first access, mirroring how `Table`\n * defers `Fields`/`Doc`/`tableDefinition`. This keeps importing the assembled\n * `_generated/spec.ts` cheap — no `Schema.Struct(...)` / `Schema.Array(...)`\n * work runs at module load; it is deferred to the first invocation that\n * actually compiles validators or runs a codec.\n *\n * The object is built by hand rather than through `FunctionProvenance.Confect`\n * because the `Data` constructor copies its input with `Object.assign`, which\n * would force the getters at construction time and defeat the laziness.\n * `error` is only installed when an `errorThunk` is provided, so its absence\n * is observable via `\"error\" in provenance` without forcing anything; nothing\n * relies on `Data`'s structural `Equal`/`Hash` for provenance values.\n */\nexport const Confect = <\n  Args extends Schema.Schema.AnyNoContext,\n  Returns extends Schema.Schema.AnyNoContext,\n  Error extends Schema.Schema.AnyNoContext = never,\n>(\n  args: () => Args,\n  returns: () => Returns,\n  error?: () => Error,\n): Confect<Args, Returns, Error> => {\n  const provenance = { _tag: \"Confect\" as const };\n\n  Lazy.defineProperty(provenance, \"args\", args);\n  Lazy.defineProperty(provenance, \"returns\", returns);\n  if (error !== undefined) {\n    Lazy.defineProperty(provenance, \"error\", error);\n  }\n\n  return provenance as Confect<Args, Returns, Error>;\n};\n\nexport const Convex = <_Args extends DefaultFunctionArgs, _Returns>() =>\n  FunctionProvenance.Convex(\n    {} as {\n      _args: _Args;\n      _returns: _Returns;\n    },\n  );\n"],"mappings":";;;;;;;;;;AA4CA,MAAa,qBAAqB,KAAK,YAAgC;;;;;;;;;;;;;;;;;AAkBvE,MAAa,WAKX,MACA,SACA,UACkC;CAClC,MAAM,aAAa,EAAE,MAAM,WAAoB;AAE/C,gBAAoB,YAAY,QAAQ,KAAK;AAC7C,gBAAoB,YAAY,WAAW,QAAQ;AACnD,KAAI,UAAU,OACZ,gBAAoB,YAAY,SAAS,MAAM;AAGjD,QAAO;;AAGT,MAAa,eACX,mBAAmB,OACjB,EAAE,CAIH"}

package/dist/FunctionSpec.d.ts

@@ -1,247 +1,207 @@
-import { AnyConfect as AnyConfect$1, AnyConvex as AnyConvex$1, Confect, Convex, FunctionProvenance } from "./FunctionProvenance.js";
-import { Runtime, RuntimeAndFunctionType, WithRuntime } from "./RuntimeAndFunctionType.js";
-import { Schema } from "effect";
-import { FunctionType, FunctionVisibility, RegisteredAction, RegisteredMutation, RegisteredQuery } from "convex/server";
-
-//#region src/FunctionSpec.d.ts
-declare namespace FunctionSpec_d_exports {
-  export { Any, AnyConfect, AnyConvex, AnyWithProps, AnyWithPropsWithFunctionProvenance, AnyWithPropsWithFunctionType, AnyWithPropsWithRuntime, Args, EncodedArgs, EncodedError, EncodedReturns, Error, FunctionSpec, GetFunctionVisibility, GetRuntimeAndFunctionType, Name, Returns, TypeId, WithFunctionProvenance, WithFunctionType, WithName, WithRuntimeAndFunctionType, WithoutName, convexInternalAction, convexInternalMutation, convexInternalNodeAction, convexInternalQuery, convexPublicAction, convexPublicMutation, convexPublicNodeAction, convexPublicQuery, internalAction, internalMutation, internalNodeAction, internalQuery, isFunctionSpec, publicAction, publicMutation, publicNodeAction, publicQuery };
+import type { FunctionType, FunctionVisibility, RegisteredAction, RegisteredMutation, RegisteredQuery } from "convex/server";
+import type { Schema } from "effect";
+import * as FunctionProvenance from "./FunctionProvenance";
+import * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
+export declare const TypeId = "@confect/core/FunctionSpec";
+export type TypeId = typeof TypeId;
+export declare const isFunctionSpec: (u: unknown) => u is AnyWithProps;
+export interface FunctionSpec<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Name_ extends string, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> {
+    readonly [TypeId]: TypeId;
+    readonly runtimeAndFunctionType: RuntimeAndFunctionType_;
+    readonly functionVisibility: FunctionVisibility_;
+    readonly name: Name_;
+    readonly functionProvenance: FunctionProvenance_;
 }
-declare const TypeId = "@confect/core/FunctionSpec";
-type TypeId = typeof TypeId;
-declare const isFunctionSpec: (u: unknown) => u is AnyWithProps;
-interface FunctionSpec<RuntimeAndFunctionType_ extends RuntimeAndFunctionType, FunctionVisibility_ extends FunctionVisibility, Name_ extends string, FunctionProvenance_ extends FunctionProvenance> {
-  readonly [TypeId]: TypeId;
-  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;
-  readonly functionVisibility: FunctionVisibility_;
-  readonly name: Name_;
-  readonly functionProvenance: FunctionProvenance_;
+export interface Any {
+    readonly [TypeId]: TypeId;
 }
-interface Any {
-  readonly [TypeId]: TypeId;
+export interface AnyWithProps extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
 }
-interface AnyWithProps extends FunctionSpec<RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance> {}
-interface AnyConfect extends FunctionSpec<RuntimeAndFunctionType, FunctionVisibility, string, AnyConfect$1> {}
-interface AnyConvex extends FunctionSpec<RuntimeAndFunctionType, FunctionVisibility, string, AnyConvex$1> {}
-interface AnyWithPropsWithRuntime<Runtime$1 extends Runtime> extends FunctionSpec<WithRuntime<Runtime$1>, FunctionVisibility, string, FunctionProvenance> {}
-interface AnyWithPropsWithFunctionType<RuntimeAndFunctionType_ extends RuntimeAndFunctionType> extends FunctionSpec<RuntimeAndFunctionType_, FunctionVisibility, string, FunctionProvenance> {}
-interface AnyWithPropsWithFunctionProvenance<FunctionProvenance_ extends FunctionProvenance> extends FunctionSpec<RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance_> {}
-type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["runtimeAndFunctionType"];
-type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["functionVisibility"];
-type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["name"];
-type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Confect";
-    args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;
-  };
+export interface AnyConfect extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConfect> {
+}
+export interface AnyConvex extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance.AnyConvex> {
+}
+export interface AnyWithPropsWithRuntime<Runtime extends RuntimeAndFunctionType.Runtime> extends FunctionSpec<RuntimeAndFunctionType.WithRuntime<Runtime>, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
+}
+export interface AnyWithPropsWithFunctionType<RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType> extends FunctionSpec<RuntimeAndFunctionType_, FunctionVisibility, string, FunctionProvenance.FunctionProvenance> {
+}
+export interface AnyWithPropsWithFunctionProvenance<FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> extends FunctionSpec<RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionVisibility, string, FunctionProvenance_> {
+}
+export type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["runtimeAndFunctionType"];
+export type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["functionVisibility"];
+export type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_["name"];
+export type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: {
+        _tag: "Confect";
+        args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;
+    };
 } ? ArgsSchema_["Type"] : FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Convex";
-    _args: infer Args_;
-  };
+    functionProvenance: {
+        _tag: "Convex";
+        _args: infer Args_;
+    };
 } ? Args_ : never;
-type Returns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Confect";
-    returns: infer ReturnsSchema_ extends Schema.Schema.AnyNoContext;
-  };
+export type Returns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: {
+        _tag: "Confect";
+        returns: infer ReturnsSchema_ extends Schema.Schema.AnyNoContext;
+    };
 } ? ReturnsSchema_["Type"] : FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Convex";
-    _returns: infer Returns_;
-  };
+    functionProvenance: {
+        _tag: "Convex";
+        _returns: infer Returns_;
+    };
 } ? Awaited<Returns_> : never;
-type EncodedArgs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Confect";
-    args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;
-  };
+export type EncodedArgs<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: {
+        _tag: "Confect";
+        args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;
+    };
 } ? ArgsSchema_["Encoded"] : FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Convex";
-    _args: infer Args_;
-  };
+    functionProvenance: {
+        _tag: "Convex";
+        _args: infer Args_;
+    };
 } ? Args_ : never;
-type EncodedReturns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Confect";
-    returns: infer ReturnsSchema_ extends Schema.Schema.AnyNoContext;
-  };
+export type EncodedReturns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: {
+        _tag: "Confect";
+        returns: infer ReturnsSchema_ extends Schema.Schema.AnyNoContext;
+    };
 } ? ReturnsSchema_["Encoded"] : FunctionSpec_ extends {
-  functionProvenance: {
-    _tag: "Convex";
-    _returns: infer Returns_;
-  };
+    functionProvenance: {
+        _tag: "Convex";
+        _returns: infer Returns_;
+    };
 } ? Returns_ : never;
-type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: Confect<any, any, infer ErrorSchema_ extends Schema.Schema.AnyNoContext>;
+export type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: FunctionProvenance.Confect<any, any, infer ErrorSchema_ extends Schema.Schema.AnyNoContext>;
 } ? ErrorSchema_["Type"] : never;
-type EncodedError<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
-  functionProvenance: Confect<any, any, infer ErrorSchema_ extends Schema.Schema.AnyNoContext>;
+export type EncodedError<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+    functionProvenance: FunctionProvenance.Confect<any, any, infer ErrorSchema_ extends Schema.Schema.AnyNoContext>;
 } ? ErrorSchema_["Encoded"] : never;
-type WithName<FunctionSpec_ extends AnyWithProps, Name_ extends string> = Extract<FunctionSpec_, {
-  readonly name: Name_;
+export type WithName<FunctionSpec_ extends AnyWithProps, Name_ extends string> = Extract<FunctionSpec_, {
+    readonly name: Name_;
 }>;
-type WithRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps, RuntimeAndFunctionType_ extends RuntimeAndFunctionType> = Extract<FunctionSpec_, {
-  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;
+export type WithRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps, RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType> = Extract<FunctionSpec_, {
+    readonly runtimeAndFunctionType: RuntimeAndFunctionType_;
 }>;
-type WithFunctionType<FunctionSpec_ extends AnyWithProps, FunctionType_ extends FunctionType> = Extract<FunctionSpec_, {
-  readonly runtimeAndFunctionType: {
-    readonly functionType: FunctionType_;
-  };
+export type WithFunctionType<FunctionSpec_ extends AnyWithProps, FunctionType_ extends FunctionType> = Extract<FunctionSpec_, {
+    readonly runtimeAndFunctionType: {
+        readonly functionType: FunctionType_;
+    };
 }>;
-type WithFunctionProvenance<FunctionSpec_ extends AnyWithProps, FunctionProvenance_ extends FunctionProvenance> = Extract<FunctionSpec_, {
-  readonly functionProvenance: FunctionProvenance_;
+export type WithFunctionProvenance<FunctionSpec_ extends AnyWithProps, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance> = Extract<FunctionSpec_, {
+    readonly functionProvenance: FunctionProvenance_;
 }>;
-type WithoutName<FunctionSpec_ extends AnyWithProps, Name_ extends Name<FunctionSpec_>> = Exclude<FunctionSpec_, {
-  readonly name: Name_;
+export type WithoutName<FunctionSpec_ extends AnyWithProps, Name_ extends Name<FunctionSpec_>> = Exclude<FunctionSpec_, {
+    readonly name: Name_;
 }>;
-declare const publicQuery: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+export declare const publicQuery: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "query";
-}, "public", Name_, Confect<Args_, Returns_, Error_>>;
-declare const internalQuery: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "query";
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const internalQuery: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "query";
-}, "internal", Name_, Confect<Args_, Returns_, Error_>>;
-declare const publicMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "query";
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const publicMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "mutation";
-}, "public", Name_, Confect<Args_, Returns_, Error_>>;
-declare const internalMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "mutation";
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const internalMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "mutation";
-}, "internal", Name_, Confect<Args_, Returns_, Error_>>;
-declare const publicAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "mutation";
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const publicAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "action";
-}, "public", Name_, Confect<Args_, Returns_, Error_>>;
-declare const internalAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "action";
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const internalAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "action";
-}, "internal", Name_, Confect<Args_, Returns_, Error_>>;
-declare const publicNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Convex";
+    readonly functionType: "action";
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const publicNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Node";
-  readonly functionType: "action";
-}, "public", Name_, Confect<Args_, Returns_, Error_>>;
-declare const internalNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({
-  name,
-  args,
-  returns,
-  error
-}: {
-  name: Name_;
-  args: Args_;
-  returns: Returns_;
-  error?: Error_;
+    readonly runtime: "Node";
+    readonly functionType: "action";
+}, "public", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
+export declare const internalNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext, Error_ extends Schema.Schema.AnyNoContext = never>({ name, args, returns, error, }: {
+    name: Name_;
+    args: () => Args_;
+    returns: () => Returns_;
+    error?: () => Error_;
 }) => FunctionSpec<{
-  readonly runtime: "Node";
-  readonly functionType: "action";
-}, "internal", Name_, Confect<Args_, Returns_, Error_>>;
+    readonly runtime: "Node";
+    readonly functionType: "action";
+}, "internal", Name_, FunctionProvenance.Confect<Args_, Returns_, Error_>>;
 type ExtractArgs<F> = F extends RegisteredQuery<any, infer A, any> ? A : F extends RegisteredMutation<any, infer A, any> ? A : F extends RegisteredAction<any, infer A, any> ? A : never;
 type ExtractReturns<F> = F extends RegisteredQuery<any, any, infer R> ? R : F extends RegisteredMutation<any, any, infer R> ? R : F extends RegisteredAction<any, any, infer R> ? R : never;
-declare const convexPublicQuery: <F extends RegisteredQuery<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "query";
-}, "public", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexInternalQuery: <F extends RegisteredQuery<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "query";
-}, "internal", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexPublicMutation: <F extends RegisteredMutation<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "mutation";
-}, "public", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexInternalMutation: <F extends RegisteredMutation<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "mutation";
-}, "internal", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexPublicAction: <F extends RegisteredAction<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "action";
-}, "public", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexInternalAction: <F extends RegisteredAction<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Convex";
-  readonly functionType: "action";
-}, "internal", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexPublicNodeAction: <F extends RegisteredAction<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Node";
-  readonly functionType: "action";
-}, "public", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-declare const convexInternalNodeAction: <F extends RegisteredAction<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
-  readonly runtime: "Node";
-  readonly functionType: "action";
-}, "internal", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
-//#endregion
-export { Any, AnyConfect, AnyConvex, AnyWithProps, AnyWithPropsWithFunctionProvenance, AnyWithPropsWithFunctionType, AnyWithPropsWithRuntime, Args, EncodedArgs, EncodedError, EncodedReturns, Error, FunctionSpec, FunctionSpec_d_exports, GetFunctionVisibility, GetRuntimeAndFunctionType, Name, Returns, TypeId, WithFunctionProvenance, WithFunctionType, WithName, WithRuntimeAndFunctionType, WithoutName, convexInternalAction, convexInternalMutation, convexInternalNodeAction, convexInternalQuery, convexPublicAction, convexPublicMutation, convexPublicNodeAction, convexPublicQuery, internalAction, internalMutation, internalNodeAction, internalQuery, isFunctionSpec, publicAction, publicMutation, publicNodeAction, publicQuery };
+export declare const convexPublicQuery: <F extends RegisteredQuery<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "query";
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexInternalQuery: <F extends RegisteredQuery<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "query";
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexPublicMutation: <F extends RegisteredMutation<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "mutation";
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexInternalMutation: <F extends RegisteredMutation<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "mutation";
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexPublicAction: <F extends RegisteredAction<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "action";
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexInternalAction: <F extends RegisteredAction<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Convex";
+    readonly functionType: "action";
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexPublicNodeAction: <F extends RegisteredAction<"public", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Node";
+    readonly functionType: "action";
+}, "public", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export declare const convexInternalNodeAction: <F extends RegisteredAction<"internal", any, any>>() => <const Name_ extends string>(name: Name_) => FunctionSpec<{
+    readonly runtime: "Node";
+    readonly functionType: "action";
+}, "internal", Name_, FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>>;
+export {};
 //# sourceMappingURL=FunctionSpec.d.ts.map

package/dist/FunctionSpec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionSpec.d.ts","names":[],"sources":["../src/FunctionSpec.ts"],"mappings":";;;;;;;;;cAaa,MAAA;AAAA,KACD,MAAA,UAAgB,MAAA;AAAA,cAEf,cAAA,GAAkB,CAAA,cAAa,CAAA,IAAK,YAAA;AAAA,UAGhC,YAAA,iCACiB,sBAAA,8BACJ,kBAAA,oDAEA,kBAAA;EAAA,UAElB,MAAA,GAAS,MAAA;EAAA,SACV,sBAAA,EAAwB,uBAAA;EAAA,SACxB,kBAAA,EAAoB,mBAAA;EAAA,SACpB,IAAA,EAAM,KAAA;EAAA,SACN,kBAAA,EAAoB,mBAAA;AAAA;AAAA,UAGd,GAAA;EAAA,UACL,MAAA,GAAS,MAAA;AAAA;AAAA,UAGJ,YAAA,SAAqB,YAAA,CACpC,sBAAA,EACA,kBAAA,UAEA,kBAAA;AAAA,UAGe,UAAA,SAAmB,YAAA,CAClC,sBAAA,EACA,kBAAA,UAEA,YAAA;AAAA,UAGe,SAAA,SAAkB,YAAA,CACjC,sBAAA,EACA,kBAAA,UAEA,WAAA;AAAA,UAGe,uBAAA,mBACC,OAAA,UACR,YAAA,CACR,WAAA,CAAmC,SAAA,GACnC,kBAAA,UAEA,kBAAA;AAAA,UAGe,4BAAA,iCACiB,sBAAA,UACxB,YAAA,CACR,uBAAA,EACA,kBAAA,UAEA,kBAAA;AAAA,UAGe,kCAAA,6BACa,kBAAA,UACpB,YAAA,CACR,sBAAA,EACA,kBAAA,UAEA,mBAAA;AAAA,KAGU,yBAAA,uBAAgD,YAAA,IAC1D,aAAA;AAAA,KAEU,qBAAA,uBAA4C,YAAA,IACtD,aAAA;AAAA,KAEU,IAAA,uBAA2B,YAAA,IAAgB,aAAA;AAAA,KAE3C,IAAA,uBAA2B,YAAA,IAAgB,aAAA;EACrD,kBAAA;IACE,IAAA;IACA,IAAA,4BAAgC,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;AAAA,IAG9C,WAAA,WACA,aAAA;EACI,kBAAA;IAAsB,IAAA;IAAgB,KAAA;EAAA;AAAA,IAExC,KAAA;AAAA,KAGM,OAAA,uBAA8B,YAAA,IACxC,aAAA;EACE,kBAAA;IACE,IAAA;IACA,OAAA,+BAAsC,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;AAAA,IAGpD,cAAA,WACA,aAAA;EACI,kBAAA;IAAsB,IAAA;IAAgB,QAAA;EAAA;AAAA,IAExC,OAAA,CAAQ,QAAA;AAAA,KAGJ,WAAA,uBAAkC,YAAA,IAC5C,aAAA;EACE,kBAAA;IACE,IAAA;IACA,IAAA,4BAAgC,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;AAAA,IAG9C,WAAA,cACA,aAAA;EACI,kBAAA;IAAsB,IAAA;IAAgB,KAAA;EAAA;AAAA,IAExC,KAAA;AAAA,KAGI,cAAA,uBAAqC,YAAA,IAC/C,aAAA;EACE,kBAAA;IACE,IAAA;IACA,OAAA,+BAAsC,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;AAAA,IAGpD,cAAA,cACA,aAAA;EACI,kBAAA;IAAsB,IAAA;IAAgB,QAAA;EAAA;AAAA,IAExC,QAAA;AAAA,KAGI,KAAA,uBAA4B,YAAA,IAAgB,aAAA;EACtD,kBAAA,EAAoB,OAAA,sCAGS,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,IAGzC,YAAA;AAAA,KAGQ,YAAA,uBAAmC,YAAA,IAC7C,aAAA;EACE,kBAAA,EAAoB,OAAA,sCAGS,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,IAGzC,YAAA;AAAA,KAGM,QAAA,uBACY,YAAA,0BAEpB,OAAA,CAAQ,aAAA;EAAA,SAA0B,IAAA,EAAM,KAAA;AAAA;AAAA,KAEhC,0BAAA,uBACY,YAAA,kCACU,sBAAA,IAC9B,OAAA,CACF,aAAA;EAAA,SACW,sBAAA,EAAwB,uBAAA;AAAA;AAAA,KAGzB,gBAAA,uBACY,YAAA,wBACA,YAAA,IACpB,OAAA,CACF,aAAA;EAAA,SACW,sBAAA;IAAA,SAAmC,YAAA,EAAc,aAAA;EAAA;AAAA;AAAA,KAGlD,sBAAA,uBACY,YAAA,8BACM,kBAAA,IAC1B,OAAA,CACF,aAAA;EAAA,SACW,kBAAA,EAAoB,mBAAA;AAAA;AAAA,KAGrB,WAAA,uBACY,YAAA,gBACR,IAAA,CAAK,aAAA,KACjB,OAAA,CAAQ,aAAA;EAAA,SAA0B,IAAA,EAAM,KAAA;AAAA;AAAA,cA8C/B,WAAA,6CA7BK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cA4BhC,aAAA,6CA9BK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cAgChC,cAAA,6CAlCK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cAoChC,gBAAA,6CAtCK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cAwChC,YAAA,6CA1CK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cAyChC,cAAA,6CA3CK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cA8ChC,gBAAA,6CAhDK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;cAkDhC,kBAAA,6CApDK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA,iBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA,OAAA;EAAA;AAAA;;;;;;;;;KAmExC,WAAA,MACH,CAAA,SAAU,eAAA,sBACN,CAAA,GACA,CAAA,SAAU,kBAAA,sBACR,CAAA,GACA,CAAA,SAAU,gBAAA,sBACR,CAAA;AAAA,KAGL,cAAA,MACH,CAAA,SAAU,eAAA,sBACN,CAAA,GACA,CAAA,SAAU,kBAAA,sBACR,CAAA,GACA,CAAA,SAAU,gBAAA,sBACR,CAAA;AAAA,cAuCG,iBAAA,aA1BR,eAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAwBF,mBAAA,aA9BR,eAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA4BF,oBAAA,aAlCR,kBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAgCF,sBAAA,aAtCR,kBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAoCF,kBAAA,aA1CR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAwCF,oBAAA,aA9CR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA4CF,sBAAA,aAlDR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAgDF,wBAAA,aAtDR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA"}
+{"version":3,"file":"FunctionSpec.d.ts","sourceRoot":"","sources":["../src/FunctionSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAEnE,eAAO,MAAM,MAAM,+BAA+B,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,cAAc,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,YACf,CAAC;AAEnC,MAAM,WAAW,YAAY,CAC3B,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,EAC9C,KAAK,SAAS,MAAM,EACpB,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB;IAEjE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACzD,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;CAClD;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAa,SAAQ,YAAY,CAChD,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,CACtC;CAAG;AAEJ,MAAM,WAAW,UAAW,SAAQ,YAAY,CAC9C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,UAAU,CAC9B;CAAG;AAEJ,MAAM,WAAW,SAAU,SAAQ,YAAY,CAC7C,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,SAAS,CAC7B;CAAG;AAEJ,MAAM,WAAW,uBAAuB,CACtC,OAAO,SAAS,sBAAsB,CAAC,OAAO,CAC9C,SAAQ,YAAY,CACpB,sBAAsB,CAAC,WAAW,CAAC,OAAO,CAAC,EAC3C,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,CACtC;CAAG;AAEJ,MAAM,WAAW,4BAA4B,CAC3C,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,CAC7E,SAAQ,YAAY,CACpB,uBAAuB,EACvB,kBAAkB,EAClB,MAAM,EACN,kBAAkB,CAAC,kBAAkB,CACtC;CAAG;AAEJ,MAAM,WAAW,kCAAkC,CACjD,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,CACjE,SAAQ,YAAY,CACpB,sBAAsB,CAAC,sBAAsB,EAC7C,kBAAkB,EAClB,MAAM,EACN,mBAAmB,CACpB;CAAG;AAEJ,MAAM,MAAM,yBAAyB,CAAC,aAAa,SAAS,YAAY,IACtE,aAAa,CAAC,wBAAwB,CAAC,CAAC;AAE1C,MAAM,MAAM,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAClE,aAAa,CAAC,oBAAoB,CAAC,CAAC;AAEtC,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,IAAI,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC3E,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;KAC5D,CAAC;CACH,GACG,WAAW,CAAC,MAAM,CAAC,GACnB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC5D,GACD,KAAK,GACL,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,YAAY,IACpD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;KAClE,CAAC;CACH,GACG,cAAc,CAAC,MAAM,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CAClE,GACD,OAAO,CAAC,QAAQ,CAAC,GACjB,KAAK,CAAC;AAEd,MAAM,MAAM,WAAW,CAAC,aAAa,SAAS,YAAY,IACxD,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;KAC5D,CAAC;CACH,GACG,WAAW,CAAC,SAAS,CAAC,GACtB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,KAAK,CAAA;KAAE,CAAC;CAC5D,GACD,KAAK,GACL,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,aAAa,SAAS,YAAY,IAC3D,aAAa,SAAS;IACpB,kBAAkB,EAAE;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,OAAO,EAAE,MAAM,cAAc,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;KAClE,CAAC;CACH,GACG,cAAc,CAAC,SAAS,CAAC,GACzB,aAAa,SAAS;IAClB,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAAE,CAAC;CAClE,GACD,QAAQ,GACR,KAAK,CAAC;AAEd,MAAM,MAAM,KAAK,CAAC,aAAa,SAAS,YAAY,IAAI,aAAa,SAAS;IAC5E,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CACtD,CAAC;CACH,GACG,YAAY,CAAC,MAAM,CAAC,GACpB,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,aAAa,SAAS,YAAY,IACzD,aAAa,SAAS;IACpB,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAC5C,GAAG,EACH,GAAG,EACH,MAAM,YAAY,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,CACtD,CAAC;CACH,GACG,YAAY,CAAC,SAAS,CAAC,GACvB,KAAK,CAAC;AAEZ,MAAM,MAAM,QAAQ,CAClB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,MAAM,IAClB,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAErD,MAAM,MAAM,0BAA0B,CACpC,aAAa,SAAS,YAAY,EAClC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,IAC3E,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAA;CAAE,CAC7D,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,EAClC,aAAa,SAAS,YAAY,IAChC,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,sBAAsB,EAAE;QAAE,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;KAAE,CAAA;CAAE,CAC9E,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,aAAa,SAAS,YAAY,EAClC,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,IAC/D,OAAO,CACT,aAAa,EACb;IAAE,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAA;CAAE,CACrD,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,aAAa,SAAS,YAAY,EAClC,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAC/B,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AA8CrD,eAAO,MAAM,WAAW,SA9Bd,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;wEA2BgC,CAAC;AAC9E,eAAO,MAAM,aAAa,SA/BhB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;0EA+B5C,CAAC;AACF,eAAO,MAAM,cAAc,SAnCjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;wEAmC5C,CAAC;AACF,eAAO,MAAM,gBAAgB,SAvCnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;0EAuC5C,CAAC;AACF,eAAO,MAAM,YAAY,SA3Cf,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;wEAwCkC,CAAC;AAChF,eAAO,MAAM,cAAc,SA5CjB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;0EA4C5C,CAAC;AAEF,eAAO,MAAM,gBAAgB,SAjDnB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;wEAiD5C,CAAC;AACF,eAAO,MAAM,kBAAkB,SArDrB,KAAK,SAAS,MAAM,EAC1B,KAAK,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC3C,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY;;;;;;;;0EAqD5C,CAAC;AAcF,KAAK,WAAW,CAAC,CAAC,IAChB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC3C,CAAC,GACD,KAAK,CAAC;AAEhB,KAAK,cAAc,CAAC,CAAC,IACnB,CAAC,SAAS,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GACxC,CAAC,GACD,CAAC,SAAS,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC7C,CAAC,GACD,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAC3C,CAAC,GACD,KAAK,CAAC;AAsChB,eAAO,MAAM,iBAAiB,GA1B1B,CAAC,oDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;iFAuBd,CAAC;AACF,eAAO,MAAM,mBAAmB,GA9B5B,CAAC,sDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;mFA2Bd,CAAC;AACF,eAAO,MAAM,oBAAoB,GAlC7B,CAAC,uDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;iFA+Bd,CAAC;AACF,eAAO,MAAM,sBAAsB,GAtC/B,CAAC,yDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;mFAmCd,CAAC;AACF,eAAO,MAAM,kBAAkB,GA1C3B,CAAC,qDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;iFAuCd,CAAC;AACF,eAAO,MAAM,oBAAoB,GA9C7B,CAAC,uDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;mFA2Cd,CAAC;AACF,eAAO,MAAM,sBAAsB,GAlD/B,CAAC,qDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;iFA+Cd,CAAC;AACF,eAAO,MAAM,wBAAwB,GAtDjC,CAAC,uDAKF,KAAK,CAAC,KAAK,SAAS,MAAM,EACzB,MAAM,KAAK;;;mFAmDd,CAAC"}

package/dist/FunctionSpec.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { Confect, Convex } from "./FunctionProvenance.js";
-import { validateConfectFunctionIdentifier } from "./internal/utils.js";
+import { validateConfectFunctionIdentifier } from "./Identifier.js";
 import { ConvexAction, ConvexMutation, ConvexQuery, NodeAction } from "./RuntimeAndFunctionType.js";
-import { Predicate } from "effect";
+import * as Predicate from "effect/Predicate";
 
 //#region src/FunctionSpec.ts
 var FunctionSpec_exports = /* @__PURE__ */ __exportAll({

package/dist/FunctionSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionSpec.js","names":["FunctionProvenance.Confect","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 type { Schema } from \"effect\";\nimport { Predicate } from \"effect\";\nimport * as FunctionProvenance from \"./FunctionProvenance\";\nimport { validateConfectFunctionIdentifier } from \"./internal/utils\";\nimport * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"@confect/core/FunctionSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface FunctionSpec<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;\n  readonly functionVisibility: FunctionVisibility_;\n  readonly name: Name_;\n  readonly functionProvenance: FunctionProvenance_;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyConfect extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConfect\n> {}\n\nexport interface AnyConvex extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConvex\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.WithRuntime<Runtime>,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyWithPropsWithFunctionType<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyWithPropsWithFunctionProvenance<\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance_\n> {}\n\nexport type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"];\n\nexport type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionVisibility\"];\n\nexport type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: {\n    _tag: \"Confect\";\n    args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext\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.Schema.AnyNoContext\n    >;\n  }\n    ? ErrorSchema_[\"Encoded\"]\n    : never;\n\nexport type WithName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends string,\n> = Extract<FunctionSpec_, { readonly name: Name_ }>;\n\nexport type WithRuntimeAndFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: RuntimeAndFunctionType_ }\n>;\n\nexport type WithFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionType_ extends FunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: { readonly functionType: FunctionType_ } }\n>;\n\nexport type WithFunctionProvenance<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> = Extract<\n  FunctionSpec_,\n  { readonly functionProvenance: FunctionProvenance_ }\n>;\n\nexport type WithoutName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends Name<FunctionSpec_>,\n> = Exclude<FunctionSpec_, { readonly name: Name_ }>;\n\nconst Proto = {\n  [TypeId]: TypeId,\n};\n\nconst make =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Args_ extends Schema.Schema.AnyNoContext,\n    Returns_ extends Schema.Schema.AnyNoContext,\n    Error_ extends Schema.Schema.AnyNoContext = never,\n  >({\n    name,\n    args,\n    returns,\n    error,\n  }: {\n    name: Name_;\n    args: Args_;\n    returns: Returns_;\n    error?: Error_;\n  }): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<Args_, Returns_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Confect(args, returns, error),\n    });\n  };\n\nexport const publicQuery = make(RuntimeAndFunctionType.ConvexQuery, \"public\");\nexport const internalQuery = make(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const internalMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const publicAction = make(RuntimeAndFunctionType.ConvexAction, \"public\");\nexport const internalAction = make(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\n\nexport const publicNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const internalNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n\ntype MatchingRegisteredFunction<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n> =\n  RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"query\"\n    ? RegisteredQuery<FunctionVisibility_, any, any>\n    : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"mutation\"\n      ? RegisteredMutation<FunctionVisibility_, any, any>\n      : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"action\"\n        ? RegisteredAction<FunctionVisibility_, any, any>\n        : never;\n\ntype ExtractArgs<F> =\n  F extends RegisteredQuery<any, infer A, any>\n    ? A\n    : F extends RegisteredMutation<any, infer A, any>\n      ? A\n      : F extends RegisteredAction<any, infer A, any>\n        ? A\n        : never;\n\ntype ExtractReturns<F> =\n  F extends RegisteredQuery<any, any, infer R>\n    ? R\n    : F extends RegisteredMutation<any, any, infer R>\n      ? R\n      : F extends RegisteredAction<any, any, infer R>\n        ? R\n        : never;\n\nconst makeConvex =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    F extends MatchingRegisteredFunction<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_\n    >,\n  >() =>\n  <const Name_ extends string>(\n    name: Name_,\n  ): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Convex<\n        ExtractArgs<F>,\n        ExtractReturns<F>\n      >(),\n    }) as any;\n  };\n\nexport const convexPublicQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const convexInternalQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const convexPublicMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const convexInternalMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const convexPublicAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"public\",\n);\nexport const convexInternalAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\nexport const convexPublicNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const convexInternalNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAaA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,OAAO;AAyLlC,MAAM,QAAQ,GACX,SAAS,QACX;AAED,MAAM,QAMF,wBACA,wBAOA,EACA,MACA,MACA,SACA,YAWG;AACH,mCAAkC,KAAK;AAEvC,QAAO,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;EACzC;EACA;EACA;EACA,oBAAoBA,QAA2B,MAAM,SAAS,MAAM;EACrE,CAAC;;AAGN,MAAa,cAAc,KAAKC,aAAoC,SAAS;AAC7E,MAAa,gBAAgB,KAC3BA,aACA,WACD;AACD,MAAa,iBAAiB,KAC5BC,gBACA,SACD;AACD,MAAa,mBAAmB,KAC9BA,gBACA,WACD;AACD,MAAa,eAAe,KAAKC,cAAqC,SAAS;AAC/E,MAAa,iBAAiB,KAC5BA,cACA,WACD;AAED,MAAa,mBAAmB,KAC9BC,YACA,SACD;AACD,MAAa,qBAAqB,KAChCA,YACA,WACD;AAgCD,MAAM,cAMF,wBACA,8BASA,SAMG;AACH,mCAAkC,KAAK;AAEvC,QAAO,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;EACzC;EACA;EACA;EACA,oBAAoBC,QAGjB;EACJ,CAAC;;AAGN,MAAa,oBAAoB,WAC/BJ,aACA,SACD;AACD,MAAa,sBAAsB,WACjCA,aACA,WACD;AACD,MAAa,uBAAuB,WAClCC,gBACA,SACD;AACD,MAAa,yBAAyB,WACpCA,gBACA,WACD;AACD,MAAa,qBAAqB,WAChCC,cACA,SACD;AACD,MAAa,uBAAuB,WAClCA,cACA,WACD;AACD,MAAa,yBAAyB,WACpCC,YACA,SACD;AACD,MAAa,2BAA2B,WACtCA,YACA,WACD"}
+{"version":3,"file":"FunctionSpec.js","names":["FunctionProvenance.Confect","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 type { Schema } from \"effect\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as FunctionProvenance from \"./FunctionProvenance\";\nimport { validateConfectFunctionIdentifier } from \"./Identifier\";\nimport * as RuntimeAndFunctionType from \"./RuntimeAndFunctionType\";\n\nexport const TypeId = \"@confect/core/FunctionSpec\";\nexport type TypeId = typeof TypeId;\n\nexport const isFunctionSpec = (u: unknown): u is AnyWithProps =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface FunctionSpec<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n  Name_ extends string,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> {\n  readonly [TypeId]: TypeId;\n  readonly runtimeAndFunctionType: RuntimeAndFunctionType_;\n  readonly functionVisibility: FunctionVisibility_;\n  readonly name: Name_;\n  readonly functionProvenance: FunctionProvenance_;\n}\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport interface AnyWithProps extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyConfect extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConfect\n> {}\n\nexport interface AnyConvex extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.AnyConvex\n> {}\n\nexport interface AnyWithPropsWithRuntime<\n  Runtime extends RuntimeAndFunctionType.Runtime,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.WithRuntime<Runtime>,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyWithPropsWithFunctionType<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> extends FunctionSpec<\n  RuntimeAndFunctionType_,\n  FunctionVisibility,\n  string,\n  FunctionProvenance.FunctionProvenance\n> {}\n\nexport interface AnyWithPropsWithFunctionProvenance<\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> extends FunctionSpec<\n  RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility,\n  string,\n  FunctionProvenance_\n> {}\n\nexport type GetRuntimeAndFunctionType<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"runtimeAndFunctionType\"];\n\nexport type GetFunctionVisibility<FunctionSpec_ extends AnyWithProps> =\n  FunctionSpec_[\"functionVisibility\"];\n\nexport type Name<FunctionSpec_ extends AnyWithProps> = FunctionSpec_[\"name\"];\n\nexport type Args<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {\n  functionProvenance: {\n    _tag: \"Confect\";\n    args: infer ArgsSchema_ extends Schema.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext;\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.Schema.AnyNoContext\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.Schema.AnyNoContext\n    >;\n  }\n    ? ErrorSchema_[\"Encoded\"]\n    : never;\n\nexport type WithName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends string,\n> = Extract<FunctionSpec_, { readonly name: Name_ }>;\n\nexport type WithRuntimeAndFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: RuntimeAndFunctionType_ }\n>;\n\nexport type WithFunctionType<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionType_ extends FunctionType,\n> = Extract<\n  FunctionSpec_,\n  { readonly runtimeAndFunctionType: { readonly functionType: FunctionType_ } }\n>;\n\nexport type WithFunctionProvenance<\n  FunctionSpec_ extends AnyWithProps,\n  FunctionProvenance_ extends FunctionProvenance.FunctionProvenance,\n> = Extract<\n  FunctionSpec_,\n  { readonly functionProvenance: FunctionProvenance_ }\n>;\n\nexport type WithoutName<\n  FunctionSpec_ extends AnyWithProps,\n  Name_ extends Name<FunctionSpec_>,\n> = Exclude<FunctionSpec_, { readonly name: Name_ }>;\n\nconst Proto = {\n  [TypeId]: TypeId,\n};\n\nconst make =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    const Name_ extends string,\n    Args_ extends Schema.Schema.AnyNoContext,\n    Returns_ extends Schema.Schema.AnyNoContext,\n    Error_ extends Schema.Schema.AnyNoContext = never,\n  >({\n    name,\n    args,\n    returns,\n    error,\n  }: {\n    name: Name_;\n    args: () => Args_;\n    returns: () => Returns_;\n    error?: () => Error_;\n  }): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<Args_, Returns_, Error_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Confect(args, returns, error),\n    });\n  };\n\nexport const publicQuery = make(RuntimeAndFunctionType.ConvexQuery, \"public\");\nexport const internalQuery = make(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const publicMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const internalMutation = make(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const publicAction = make(RuntimeAndFunctionType.ConvexAction, \"public\");\nexport const internalAction = make(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\n\nexport const publicNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const internalNodeAction = make(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n\ntype MatchingRegisteredFunction<\n  RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType,\n  FunctionVisibility_ extends FunctionVisibility,\n> =\n  RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"query\"\n    ? RegisteredQuery<FunctionVisibility_, any, any>\n    : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"mutation\"\n      ? RegisteredMutation<FunctionVisibility_, any, any>\n      : RuntimeAndFunctionType.GetFunctionType<RuntimeAndFunctionType_> extends \"action\"\n        ? RegisteredAction<FunctionVisibility_, any, any>\n        : never;\n\ntype ExtractArgs<F> =\n  F extends RegisteredQuery<any, infer A, any>\n    ? A\n    : F extends RegisteredMutation<any, infer A, any>\n      ? A\n      : F extends RegisteredAction<any, infer A, any>\n        ? A\n        : never;\n\ntype ExtractReturns<F> =\n  F extends RegisteredQuery<any, any, infer R>\n    ? R\n    : F extends RegisteredMutation<any, any, infer R>\n      ? R\n      : F extends RegisteredAction<any, any, infer R>\n        ? R\n        : never;\n\nconst makeConvex =\n  <\n    RuntimeAndFunctionType_ extends\n      RuntimeAndFunctionType.RuntimeAndFunctionType,\n    FunctionVisibility_ extends FunctionVisibility,\n  >(\n    runtimeAndFunctionType: RuntimeAndFunctionType_,\n    functionVisibility: FunctionVisibility_,\n  ) =>\n  <\n    F extends MatchingRegisteredFunction<\n      RuntimeAndFunctionType_,\n      FunctionVisibility_\n    >,\n  >() =>\n  <const Name_ extends string>(\n    name: Name_,\n  ): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Convex<ExtractArgs<F>, ExtractReturns<F>>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Convex<\n        ExtractArgs<F>,\n        ExtractReturns<F>\n      >(),\n    }) as any;\n  };\n\nexport const convexPublicQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"public\",\n);\nexport const convexInternalQuery = makeConvex(\n  RuntimeAndFunctionType.ConvexQuery,\n  \"internal\",\n);\nexport const convexPublicMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"public\",\n);\nexport const convexInternalMutation = makeConvex(\n  RuntimeAndFunctionType.ConvexMutation,\n  \"internal\",\n);\nexport const convexPublicAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"public\",\n);\nexport const convexInternalAction = makeConvex(\n  RuntimeAndFunctionType.ConvexAction,\n  \"internal\",\n);\nexport const convexPublicNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"public\",\n);\nexport const convexInternalNodeAction = makeConvex(\n  RuntimeAndFunctionType.NodeAction,\n  \"internal\",\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAaA,MAAa,SAAS;AAGtB,MAAa,kBAAkB,MAC7B,UAAU,YAAY,GAAG,OAAO;AAyLlC,MAAM,QAAQ,GACX,SAAS,QACX;AAED,MAAM,QAMF,wBACA,wBAOA,EACA,MACA,MACA,SACA,YAWG;AACH,mCAAkC,KAAK;AAEvC,QAAO,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;EACzC;EACA;EACA;EACA,oBAAoBA,QAA2B,MAAM,SAAS,MAAM;EACrE,CAAC;;AAGN,MAAa,cAAc,KAAKC,aAAoC,SAAS;AAC7E,MAAa,gBAAgB,KAC3BA,aACA,WACD;AACD,MAAa,iBAAiB,KAC5BC,gBACA,SACD;AACD,MAAa,mBAAmB,KAC9BA,gBACA,WACD;AACD,MAAa,eAAe,KAAKC,cAAqC,SAAS;AAC/E,MAAa,iBAAiB,KAC5BA,cACA,WACD;AAED,MAAa,mBAAmB,KAC9BC,YACA,SACD;AACD,MAAa,qBAAqB,KAChCA,YACA,WACD;AAgCD,MAAM,cAMF,wBACA,8BASA,SAMG;AACH,mCAAkC,KAAK;AAEvC,QAAO,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;EACzC;EACA;EACA;EACA,oBAAoBC,QAGjB;EACJ,CAAC;;AAGN,MAAa,oBAAoB,WAC/BJ,aACA,SACD;AACD,MAAa,sBAAsB,WACjCA,aACA,WACD;AACD,MAAa,uBAAuB,WAClCC,gBACA,SACD;AACD,MAAa,yBAAyB,WACpCA,gBACA,WACD;AACD,MAAa,qBAAqB,WAChCC,cACA,SACD;AACD,MAAa,uBAAuB,WAClCA,cACA,WACD;AACD,MAAa,yBAAyB,WACpCC,YACA,SACD;AACD,MAAa,2BAA2B,WACtCA,YACA,WACD"}

package/dist/GenericId.d.ts

@@ -1,13 +1,8 @@
-import { Option, Schema, SchemaAST } from "effect";
-import { GenericId as GenericId$1 } from "convex/values";
-
-//#region src/GenericId.d.ts
-declare namespace GenericId_d_exports {
-  export { GenericId, tableName };
-}
-declare const GenericId: <TableName extends string>(tableName: TableName) => Schema.Schema<GenericId$1<TableName>>;
-type GenericId<TableName extends string> = GenericId$1<TableName>;
-declare const tableName: <TableName extends string>(ast: SchemaAST.AST) => Option.Option<TableName>;
-//#endregion
-export { GenericId, GenericId_d_exports, tableName };
+import type { GenericId as ConvexGenericId } from "convex/values";
+import type { Option } from "effect";
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+export declare const GenericId: <TableName extends string>(tableName: TableName) => Schema.Schema<ConvexGenericId<TableName>>;
+export type GenericId<TableName extends string> = ConvexGenericId<TableName>;
+export declare const tableName: <TableName extends string>(ast: SchemaAST.AST) => Option.Option<TableName>;
 //# sourceMappingURL=GenericId.d.ts.map