@confect/core 6.0.0 → 8.0.0

package/CHANGELOG.md

@@ -1,5 +1,141 @@
 # @confect/core
 
+## 8.0.0
+
+### Minor Changes
+
+- 4bb2722: Bump Effect ecosystem to latest. `@effect/platform` is now `^0.96.1` and `@effect/platform-node` is now `^0.106.0` in `@confect/server`'s peer dependencies; `effect` peer is now `^3.21.2` across packages. Consumers must upgrade `@effect/platform`, `@effect/platform-node`, and `effect` in lockstep when bumping `@confect/server`.
+
+### Patch Changes
+
+- 40c1cff: Switch sibling `@confect/*` peer-dependency specifiers from `workspace:*` to `workspace:^`. Published peer ranges are now caret-based (e.g. `^7.0.0`) instead of exact-pinned, so non-major upgrades of one `@confect/*` package no longer fall out of range for its peer dependents.
+
+  Paired with the Changesets `onlyUpdatePeerDependentsWhenOutOfRange` flag, this prevents the entire `@confect/*` family from being promoted to a major bump on every release when only minor/patch changes are present.
+
+  `@confect/cli` additionally moves `@effect/platform` from `peerDependencies` to `dependencies`, since the CLI consumes it as an internal implementation detail (for `FileSystem`/`Path`) rather than exposing it in its public API. Consumers no longer need to install `@effect/platform` themselves to use the CLI.
+
+## 7.0.0
+
+### Minor Changes
+
+- 90094d0: Add typed errors to Confect functions (queries, mutations, and actions). Declare an optional `error` schema in `FunctionSpec` and recover it as a typed value at every call site—`useQuery`, `useMutation`, `useAction`, `HttpClient`, `WebSocketClient`, and `TestConfect`—without paying for it on functions that don't fail.
+
+  Typed errors travel across the function boundary as Convex's native [`ConvexError`](https://docs.convex.dev/functions/error-handling/application-errors#throwing-application-errors): the encoded error sits in `ConvexError.data`, leaving the `returns` channel unsullied and preserving native Convex semantics for non-Confect callers of the same API.
+
+  ### Authoring a function with typed errors
+
+  `FunctionSpec` constructors now accept an optional `error` schema. To support multiple error shapes, combine them with `Schema.Union`.
+
+  ```ts
+  import { FunctionSpec, GenericId, GroupSpec } from "@confect/core";
+  import { Schema } from "effect";
+
+  export class NoteNotFound extends Schema.TaggedError<NoteNotFound>()(
+    "NoteNotFound",
+    { noteId: GenericId.GenericId("notes") },
+  ) {}
+
+  export const notes = GroupSpec.make("notes").addFunction(
+    FunctionSpec.publicQuery({
+      name: "getOrFail",
+      args: Schema.Struct({ noteId: GenericId.GenericId("notes") }),
+      returns: Notes.Doc,
+      error: NoteNotFound,
+    }),
+  );
+  ```
+
+  The `FunctionImpl` for that ref can now `Effect.fail` (or `mapError` to) any value matching the declared schema. Whichever invocation path the caller takes—`useQuery`/`useMutation`/`useAction`, `HttpClient`, `WebSocketClient`, or `TestConfect`—Confect encodes the failure, transports it via `ConvexError`, and surfaces the decoded value in the appropriate channel for that call site.
+
+  ```ts
+  import { FunctionImpl } from "@confect/server";
+  import { Effect } from "effect";
+  import api from "../_generated/api";
+  import { DatabaseReader } from "../_generated/services";
+  import { NoteNotFound } from "./notes.spec";
+
+  const getOrFail = FunctionImpl.make(api, "notes", "getOrFail", ({ noteId }) =>
+    Effect.gen(function* () {
+      const reader = yield* DatabaseReader;
+      return yield* reader
+        .table("notes")
+        .get(noteId)
+        .pipe(Effect.mapError(() => new NoteNotFound({ noteId })));
+    }),
+  );
+  ```
+
+  ### Consuming a typed error
+
+  `@confect/js` (`HttpClient`, `WebSocketClient`) and `@confect/test` (`TestConfect`) surface the decoded error in the `Effect` error channel alongside the existing `HttpClientError`/`WebSocketClientError`/`ParseError`:
+
+  ```ts
+  HttpClient.query(refs.public.notes.getOrFail, { noteId });
+  // Effect.Effect<Note, NoteNotFound | HttpClientError | ParseError>
+  ```
+
+  ### `@confect/react`—breaking changes
+
+  `useQuery`, `useMutation`, and `useAction` now expose typed errors, and `useQuery` returns a tagged result type instead of `Returns | undefined`.
+
+  **`useQuery` now returns `QueryResult<A, E>`.** Loading and (when an `error` schema is declared) failure are reified as variants alongside success. Match on the result with `QueryResult.match`:
+
+  Before:
+
+  ```tsx
+  const notes = useQuery(refs.public.notes.list, {});
+  if (notes === undefined) return <p>Loading…</p>;
+  return <NoteList notes={notes} />;
+  ```
+
+  After:
+
+  ```tsx
+  import { QueryResult, useQuery } from "@confect/react";
+
+  const notes = useQuery(refs.public.notes.list, {});
+  return QueryResult.match(notes, {
+    onLoading: (skipped) => (skipped ? null : <p>Loading…</p>),
+    onSuccess: (notes) => <NoteList notes={notes} />,
+  });
+  ```
+
+  The `Loading` variant carries a `skipped: boolean` flag, exposed as the argument to `onLoading`. It distinguishes a query that is genuinely in flight (`skipped: false`) from one that is sitting idle because `"skip"` was passed as its args (`skipped: true`)—a distinction `convex/react`'s plain `undefined` return value cannot make. Use it to render a loading indicator only when work is actually happening, and an empty/placeholder state otherwise.
+
+  When the ref declares an `error` schema, `onFailure` becomes required and receives the decoded typed error:
+
+  ```tsx
+  const lookup = useQuery(refs.public.notes.getOrFail, { noteId });
+  QueryResult.match(lookup, {
+    onLoading: (skipped) => (skipped ? null : "Looking up…"),
+    onSuccess: (note) => `Found: ${note.text}`,
+    onFailure: (error) => `Note ${error.noteId} not found.`,
+  });
+  ```
+
+  `QueryResult` is a Confect-native type exported from `@confect/react`.
+
+  **`useMutation` and `useAction` return `Promise<Either<A, E>>` when the ref declares an `error` schema.** Refs without an `error` schema continue to resolve to `Promise<A>`, matching the prior shape and `convex/react`'s behavior.
+
+  ```ts
+  const deleteOrFail = useMutation(refs.public.notes.deleteOrFail);
+  const result = await deleteOrFail({ noteId });
+  // Either.Either<null, NoteNotFound | Forbidden>
+  Either.match(result, {
+    onLeft: (error) => /* typed error */,
+    onRight: (value) => /* success */,
+  });
+
+  const deleteNote = useMutation(refs.public.notes.delete_); // no `error` schema
+  await deleteNote({ noteId }); // Promise<null>, as before
+  ```
+
+  Unspecified failures continue to reject the promise.
+
+  ### Migration
+  - For each `useQuery` call site, replace `result === undefined` checks and direct property access with `QueryResult.match` (or the lower-level `QueryResult.isLoading`/`isSuccess`/`isFailure` predicates).
+  - For each `useMutation`/`useAction` call site whose ref now declares an `error` schema, unwrap the resolved `Either` (e.g. with `Either.match`); call sites against refs without an `error` schema need no change.
+
 ## 6.0.0
 
 ### Minor Changes

package/dist/DatabaseSchema.d.ts

@@ -0,0 +1,12 @@
+declare namespace DatabaseSchema_d_exports {
+  export { Any, TypeId, isDatabaseSchema };
+}
+declare const TypeId = "@confect/server/DatabaseSchema";
+type TypeId = typeof TypeId;
+interface Any {
+  readonly [TypeId]: TypeId;
+}
+declare const isDatabaseSchema: (u: unknown) => u is Any;
+//#endregion
+export { Any, DatabaseSchema_d_exports, TypeId, isDatabaseSchema };
+//# sourceMappingURL=DatabaseSchema.d.ts.map

package/dist/DatabaseSchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseSchema.d.ts","names":[],"sources":["../src/DatabaseSchema.ts"],"mappings":";;;cAEa,MAAA;AAAA,KACD,MAAA,UAAgB,MAAA;AAAA,UAEX,GAAA;EAAA,UACL,MAAA,GAAS,MAAA;AAAA;AAAA,cAGR,gBAAA,GAAoB,CAAA,cAAa,CAAA,IAAK,GAAA"}

package/dist/DatabaseSchema.js

@@ -0,0 +1,14 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { Predicate } from "effect";
+
+//#region src/DatabaseSchema.ts
+var DatabaseSchema_exports = /* @__PURE__ */ __exportAll({
+	TypeId: () => TypeId,
+	isDatabaseSchema: () => isDatabaseSchema
+});
+const TypeId = "@confect/server/DatabaseSchema";
+const isDatabaseSchema = (u) => Predicate.hasProperty(u, TypeId);
+
+//#endregion
+export { DatabaseSchema_exports, TypeId, isDatabaseSchema };
+//# sourceMappingURL=DatabaseSchema.js.map

package/dist/DatabaseSchema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseSchema.js","names":[],"sources":["../src/DatabaseSchema.ts"],"sourcesContent":["import { Predicate } from \"effect\";\n\nexport const TypeId = \"@confect/server/DatabaseSchema\";\nexport type TypeId = typeof TypeId;\n\nexport interface Any {\n  readonly [TypeId]: TypeId;\n}\n\nexport const isDatabaseSchema = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n"],"mappings":";;;;;;;;AAEA,MAAa,SAAS;AAOtB,MAAa,oBAAoB,MAC/B,UAAU,YAAY,GAAG,OAAO"}

package/dist/FunctionProvenance.d.ts

@@ -10,15 +10,17 @@ type FunctionProvenance = Data.TaggedEnum<{
   Confect: {
     args: Schema.Schema.AnyNoContext;
     returns: Schema.Schema.AnyNoContext;
+    error?: Schema.Schema.AnyNoContext;
   };
   Convex: {};
 }>;
-interface Confect<Args extends Schema.Schema.AnyNoContext, Returns extends Schema.Schema.AnyNoContext> {
+interface Confect<Args extends Schema.Schema.AnyNoContext, Returns extends Schema.Schema.AnyNoContext, Error extends Schema.Schema.AnyNoContext = never> {
   readonly _tag: "Confect";
   readonly args: Args;
   readonly returns: Returns;
+  readonly error?: Error;
 }
-interface AnyConfect extends Confect<Schema.Schema.AnyNoContext, Schema.Schema.AnyNoContext> {}
+interface AnyConfect extends Confect<Schema.Schema.AnyNoContext, Schema.Schema.AnyNoContext, Schema.Schema.AnyNoContext> {}
 interface Convex<Args extends DefaultFunctionArgs, Returns> {
   readonly _tag: "Convex";
   readonly _args: Args;
@@ -26,76 +28,83 @@ interface Convex<Args extends DefaultFunctionArgs, Returns> {
 }
 interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}
 declare const FunctionProvenance: {
-  readonly Confect: Data.Case.Constructor<{
-    readonly _tag: "Confect";
-    readonly args: Schema.Schema.AnyNoContext;
-    readonly returns: Schema.Schema.AnyNoContext;
-  }, "_tag">;
   readonly Convex: Data.Case.Constructor<{
     readonly _tag: "Convex";
     readonly _args: DefaultFunctionArgs;
     readonly _returns: any;
   }, "_tag">;
-  readonly $is: <Tag extends "Confect" | "Convex">(tag: Tag) => (u: unknown) => u is Extract<{
+  readonly Confect: Data.Case.Constructor<{
     readonly _tag: "Confect";
     readonly args: Schema.Schema.AnyNoContext;
     readonly returns: Schema.Schema.AnyNoContext;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
+    readonly error?: Schema.Schema.AnyNoContext;
+  }, "_tag">;
+  readonly $is: <Tag extends "Convex" | "Confect">(tag: Tag) => (u: unknown) => u is Extract<{
     readonly _tag: "Convex";
     readonly _args: DefaultFunctionArgs;
     readonly _returns: any;
   }, {
     readonly _tag: Tag;
+  }> | Extract<{
+    readonly _tag: "Confect";
+    readonly args: Schema.Schema.AnyNoContext;
+    readonly returns: Schema.Schema.AnyNoContext;
+    readonly error?: Schema.Schema.AnyNoContext;
+  }, {
+    readonly _tag: Tag;
   }>;
   readonly $match: {
     <const Cases extends {
-      readonly Confect: (args: {
-        readonly _tag: "Confect";
-        readonly args: Schema.Schema.AnyNoContext;
-        readonly returns: Schema.Schema.AnyNoContext;
-      }) => any;
       readonly Convex: (args: {
         readonly _tag: "Convex";
         readonly _args: DefaultFunctionArgs;
         readonly _returns: any;
       }) => any;
-    }>(cases: Cases & { [K in Exclude<keyof Cases, "Confect" | "Convex">]: never }): (value: {
-      readonly _tag: "Confect";
-      readonly args: Schema.Schema.AnyNoContext;
-      readonly returns: Schema.Schema.AnyNoContext;
-    } | {
-      readonly _tag: "Convex";
-      readonly _args: DefaultFunctionArgs;
-      readonly _returns: any;
-    }) => effect_Unify0.Unify<ReturnType<Cases["Confect" | "Convex"]>>;
-    <const Cases extends {
       readonly Confect: (args: {
         readonly _tag: "Confect";
         readonly args: Schema.Schema.AnyNoContext;
         readonly returns: Schema.Schema.AnyNoContext;
+        readonly error?: Schema.Schema.AnyNoContext;
       }) => any;
+    }>(cases: Cases & { [K in Exclude<keyof Cases, "Convex" | "Confect">]: never }): (value: {
+      readonly _tag: "Convex";
+      readonly _args: DefaultFunctionArgs;
+      readonly _returns: any;
+    } | {
+      readonly _tag: "Confect";
+      readonly args: Schema.Schema.AnyNoContext;
+      readonly returns: Schema.Schema.AnyNoContext;
+      readonly error?: Schema.Schema.AnyNoContext;
+    }) => effect_Unify0.Unify<ReturnType<Cases["Convex" | "Confect"]>>;
+    <const Cases extends {
       readonly Convex: (args: {
         readonly _tag: "Convex";
         readonly _args: DefaultFunctionArgs;
         readonly _returns: any;
       }) => any;
+      readonly Confect: (args: {
+        readonly _tag: "Confect";
+        readonly args: Schema.Schema.AnyNoContext;
+        readonly returns: Schema.Schema.AnyNoContext;
+        readonly error?: Schema.Schema.AnyNoContext;
+      }) => any;
     }>(value: {
-      readonly _tag: "Confect";
-      readonly args: Schema.Schema.AnyNoContext;
-      readonly returns: Schema.Schema.AnyNoContext;
-    } | {
       readonly _tag: "Convex";
       readonly _args: DefaultFunctionArgs;
       readonly _returns: any;
-    }, cases: Cases & { [K in Exclude<keyof Cases, "Confect" | "Convex">]: never }): effect_Unify0.Unify<ReturnType<Cases["Confect" | "Convex"]>>;
+    } | {
+      readonly _tag: "Confect";
+      readonly args: Schema.Schema.AnyNoContext;
+      readonly returns: Schema.Schema.AnyNoContext;
+      readonly error?: Schema.Schema.AnyNoContext;
+    }, cases: Cases & { [K in Exclude<keyof Cases, "Convex" | "Confect">]: never }): effect_Unify0.Unify<ReturnType<Cases["Convex" | "Confect"]>>;
   };
 };
-declare const Confect: <Args extends Schema.Schema.AnyNoContext, Returns extends Schema.Schema.AnyNoContext>(args: Args, returns: Returns) => {
+declare const Confect: <Args extends Schema.Schema.AnyNoContext, Returns extends Schema.Schema.AnyNoContext, Error extends Schema.Schema.AnyNoContext = never>(args: Args, returns: Returns, error?: Error) => {
   readonly _tag: "Confect";
   readonly args: Schema.Schema.AnyNoContext;
   readonly returns: Schema.Schema.AnyNoContext;
+  readonly error?: Schema.Schema.AnyNoContext;
 };
 declare const Convex: <_Args extends DefaultFunctionArgs, _Returns>() => {
   readonly _tag: "Convex";

package/dist/FunctionProvenance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionProvenance.d.ts","names":[],"sources":["../src/FunctionProvenance.ts"],"mappings":";;;;;;;;KAIY,kBAAA,GAAqB,IAAA,CAAK,UAAA;EACpC,OAAA;IACE,IAAA,EAAM,MAAA,CAAO,MAAA,CAAO,YAAA;IACpB,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAEzB,MAAA;AAAA;AAAA,UAQe,OAAA,cACF,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,SAErB,IAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,OAAA,EAAS,OAAA;AAAA;AAAA,UAGH,UAAA,SAAmB,OAAA,CAClC,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,UAGC,MAAA,cAAoB,mBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,KAAA,EAAO,IAAA;EAAA,SACP,QAAA,EAAU,OAAA;AAAA;AAAA,UAGJ,SAAA,SAAkB,MAAA,CAAO,mBAAA;AAAA,cAE7B,kBAAA;EAAA;;mBAjCH,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAAA;;oBAIhB,mBAAA;IAAA;;;;mBALD,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;IAAA;;;oBAIhB,mBAAA;IAAA;;;;;;;;uBALD,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;MAAA;;wBAIhB,mBAAA;QAAA;;;;qBALD,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;MAAA;sBAIhB,mBAAA;MAAA;;;;;uBALD,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;MAAA;;wBAIhB,mBAAA;QAAA;;;;qBALD,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;MAAA;sBAIhB,mBAAA;MAAA;;;;cA8BE,OAAA,gBACE,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,EAE9B,IAAA,EAAM,IAAA,EACN,OAAA,EAAS,OAAA;EAAA;iBAxCD,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA;AAAA,cA8Cd,MAAA,iBAAwB,mBAAA;EAAA;kBA1C1B,mBAAA;EAAA"}
+{"version":3,"file":"FunctionProvenance.d.ts","names":[],"sources":["../src/FunctionProvenance.ts"],"mappings":";;;;;;;;KAIY,kBAAA,GAAqB,IAAA,CAAK,UAAA;EACpC,OAAA;IACE,IAAA,EAAM,MAAA,CAAO,MAAA,CAAO,YAAA;IACpB,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,YAAA;IACvB,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAExB,MAAA;AAAA;AAAA,UAQe,OAAA,cACF,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,gBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,SAEnB,IAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,OAAA,EAAS,OAAA;EAAA,SACT,KAAA,GAAQ,KAAA;AAAA;AAAA,UAGF,UAAA,SAAmB,OAAA,CAClC,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,UAGC,MAAA,cAAoB,mBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,KAAA,EAAO,IAAA;EAAA,SACP,QAAA,EAAU,OAAA;AAAA;AAAA,UAGJ,SAAA,SAAkB,MAAA,CAAO,mBAAA;AAAA,cAE7B,kBAAA;EAAA;;oBA/BF,mBAAA;IAAA;;;;mBAND,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAAA;;oBAIf,mBAAA;IAAA;;;;;mBAND,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;IAAA;;;;;;wBAIf,mBAAA;QAAA;;;;uBAND,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;IAAA;;sBAIf,mBAAA;MAAA;;;qBAND,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;;;;wBAIf,mBAAA;QAAA;;;;uBAND,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;IAAA;;sBAIf,mBAAA;MAAA;;;qBAND,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;;;cAqCb,OAAA,gBACE,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,gBAChB,MAAA,CAAO,MAAA,CAAO,YAAA,UAE5B,IAAA,EAAM,IAAA,EACN,OAAA,EAAS,OAAA,EACT,KAAA,GAAQ,KAAA;EAAA;iBA9CA,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA;AAAA,cAoDb,MAAA,iBAAwB,mBAAA;EAAA;kBAhD1B,mBAAA;EAAA"}

package/dist/FunctionProvenance.js

@@ -8,9 +8,10 @@ var FunctionProvenance_exports = /* @__PURE__ */ __exportAll({
 	FunctionProvenance: () => FunctionProvenance
 });
 const FunctionProvenance = Data.taggedEnum();
-const Confect = (args, returns) => FunctionProvenance.Confect({
+const Confect = (args, returns, error) => FunctionProvenance.Confect({
 	args,
-	returns
+	returns,
+	...error !== void 0 ? { error } : {}
 });
 const Convex = () => FunctionProvenance.Convex({});
 

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  };\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> {\n  readonly _tag: \"Confect\";\n  readonly args: Args;\n  readonly returns: Returns;\n}\n\nexport interface AnyConfect extends Confect<\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>(\n  args: Args,\n  returns: Returns,\n) =>\n  FunctionProvenance.Confect({\n    args,\n    returns,\n  });\n\nexport const Convex = <_Args extends DefaultFunctionArgs, _Returns>() =>\n  FunctionProvenance.Convex(\n    {} as {\n      _args: _Args;\n      _returns: _Returns;\n    },\n  );\n"],"mappings":";;;;;;;;;AAuCA,MAAa,qBAAqB,KAAK,YAAgC;AAEvE,MAAa,WAIX,MACA,YAEA,mBAAmB,QAAQ;CACzB;CACA;CACD,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 { 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"}

package/dist/FunctionSpec.d.ts

@@ -5,7 +5,7 @@ import { FunctionType, FunctionVisibility, RegisteredAction, RegisteredMutation,
 
 //#region src/FunctionSpec.d.ts
 declare namespace FunctionSpec_d_exports {
-  export { Any, AnyConfect, AnyConvex, AnyWithProps, AnyWithPropsWithFunctionProvenance, AnyWithPropsWithFunctionType, AnyWithPropsWithRuntime, Args, EncodedArgs, EncodedReturns, 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 };
+  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 };
 }
 declare const TypeId = "@confect/core/FunctionSpec";
 type TypeId = typeof TypeId;
@@ -73,6 +73,12 @@ type EncodedReturns<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends
     _returns: infer Returns_;
   };
 } ? Returns_ : never;
+type Error<FunctionSpec_ extends AnyWithProps> = FunctionSpec_ extends {
+  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>;
+} ? ErrorSchema_["Encoded"] : never;
 type WithName<FunctionSpec_ extends AnyWithProps, Name_ extends string> = Extract<FunctionSpec_, {
   readonly name: Name_;
 }>;
@@ -90,102 +96,118 @@ type WithFunctionProvenance<FunctionSpec_ extends AnyWithProps, FunctionProvenan
 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>({
+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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "query";
-}, "public", Name_, Confect<Args_, Returns_>>;
-declare const internalQuery: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "query";
-}, "internal", Name_, Confect<Args_, Returns_>>;
-declare const publicMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "mutation";
-}, "public", Name_, Confect<Args_, Returns_>>;
-declare const internalMutation: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "mutation";
-}, "internal", Name_, Confect<Args_, Returns_>>;
-declare const publicAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "action";
-}, "public", Name_, Confect<Args_, Returns_>>;
-declare const internalAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Convex";
   readonly functionType: "action";
-}, "internal", Name_, Confect<Args_, Returns_>>;
-declare const publicNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Node";
   readonly functionType: "action";
-}, "public", Name_, Confect<Args_, Returns_>>;
-declare const internalNodeAction: <const Name_ extends string, Args_ extends Schema.Schema.AnyNoContext, Returns_ extends Schema.Schema.AnyNoContext>({
+}, "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
+  returns,
+  error
 }: {
   name: Name_;
   args: Args_;
   returns: Returns_;
+  error?: Error_;
 }) => FunctionSpec<{
   readonly runtime: "Node";
   readonly functionType: "action";
-}, "internal", Name_, Confect<Args_, Returns_>>;
+}, "internal", Name_, 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<{
@@ -221,5 +243,5 @@ declare const convexInternalNodeAction: <F extends RegisteredAction<"internal",
   readonly functionType: "action";
 }, "internal", Name_, Convex<ExtractArgs<F>, ExtractReturns<F>>>;
 //#endregion
-export { Any, AnyConfect, AnyConvex, AnyWithProps, AnyWithPropsWithFunctionProvenance, AnyWithPropsWithFunctionType, AnyWithPropsWithRuntime, Args, EncodedArgs, EncodedReturns, 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 { 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 };
 //# 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,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,cA2C/B,WAAA,6CA1BK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cA0BlC,aAAA,6CA3BK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cA8BlC,cAAA,6CA/BK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cAkClC,gBAAA,6CAnCK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cAsClC,YAAA,6CAvCK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cAuClC,cAAA,6CAxCK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cA4ClC,gBAAA,6CA7CK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;cAgDlC,kBAAA,6CAjDK,MAAA,CAAO,MAAA,CAAO,YAAA,mBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAY,IAAA;EAAA,IAAA;EAAA;AAAA;;;;;;;;KAiE1C,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,cAoCG,iBAAA,aAvBR,eAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAqBF,mBAAA,aA3BR,eAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAyBF,oBAAA,aA/BR,kBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA6BF,sBAAA,aAnCR,kBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAiCF,kBAAA,aAvCR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAqCF,oBAAA,aA3CR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAyCF,sBAAA,aA/CR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA6CF,wBAAA,aAnDR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA"}
+{"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,cAoCG,iBAAA,aAvBR,eAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAqBF,mBAAA,aA3BR,eAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAyBF,oBAAA,aA/BR,kBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA6BF,sBAAA,aAnCR,kBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAiCF,kBAAA,aAvCR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAqCF,oBAAA,aA3CR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cAyCF,sBAAA,aA/CR,gBAAA,wDAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA;;;cA6CF,wBAAA,aAnDR,gBAAA,0DAMD,IAAA,EAAM,KAAA,KAAK,YAAA;EAAA"}

package/dist/FunctionSpec.js

@@ -28,13 +28,13 @@ var FunctionSpec_exports = /* @__PURE__ */ __exportAll({
 const TypeId = "@confect/core/FunctionSpec";
 const isFunctionSpec = (u) => Predicate.hasProperty(u, TypeId);
 const Proto = { [TypeId]: TypeId };
-const make = (runtimeAndFunctionType, functionVisibility) => ({ name, args, returns }) => {
+const make = (runtimeAndFunctionType, functionVisibility) => ({ name, args, returns, error }) => {
 	validateConfectFunctionIdentifier(name);
 	return Object.assign(Object.create(Proto), {
 		runtimeAndFunctionType,
 		functionVisibility,
 		name,
-		functionProvenance: Confect(args, returns)
+		functionProvenance: Confect(args, returns, error)
 	});
 };
 const publicQuery = make(ConvexQuery, "public");

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 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  >({\n    name,\n    args,\n    returns,\n  }: {\n    name: Name_;\n    args: Args_;\n    returns: Returns_;\n  }): FunctionSpec<\n    RuntimeAndFunctionType_,\n    FunctionVisibility_,\n    Name_,\n    FunctionProvenance.Confect<Args_, Returns_>\n  > => {\n    validateConfectFunctionIdentifier(name);\n\n    return Object.assign(Object.create(Proto), {\n      runtimeAndFunctionType,\n      functionVisibility,\n      name,\n      functionProvenance: FunctionProvenance.Confect(args, returns),\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    }) 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;AAoKlC,MAAM,QAAQ,GACX,SAAS,QACX;AAED,MAAM,QAMF,wBACA,wBAMA,EACA,MACA,MACA,cAUG;AACH,mCAAkC,KAAK;AAEvC,QAAO,OAAO,OAAO,OAAO,OAAO,MAAM,EAAE;EACzC;EACA;EACA;EACA,oBAAoBA,QAA2B,MAAM,QAAQ;EAC9D,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,QAA2B;EAChD,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 { 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    }) 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,QAA2B;EAChD,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"}