@gaganref/confect-core 10.3.1-fork.72 → 10.3.1-fork.74

package/dist/Component.js.map

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

package/dist/GenericId.js

@@ -1,11 +1,11 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { app } from "./IdScope.js";
 import * as Schema from "effect/Schema";
-import * as Match from "effect/Match";
-import * as Option from "effect/Option";
+import * as SchemaAST from "effect/SchemaAST";
 import * as Array from "effect/Array";
 import { memoize } from "effect/Function";
-import * as SchemaAST from "effect/SchemaAST";
+import * as Match from "effect/Match";
+import * as Option from "effect/Option";
 //#region src/GenericId.ts
 var GenericId_exports = /* @__PURE__ */ __exportAll({
 	GenericId: () => GenericId,

package/dist/Http.js

@@ -3,8 +3,8 @@ import { mounts } from "./App.js";
 import { scalarDocs } from "./internal/scalarDocs.js";
 import * as Predicate from "effect/Predicate";
 import * as Data from "effect/Data";
-import * as Result from "effect/Result";
 import * as SchemaAST from "effect/SchemaAST";
+import * as Result from "effect/Result";
 import * as Layer from "effect/Layer";
 import * as HttpApiBuilder from "effect/http-api/HttpApiBuilder";
 //#region src/Http.ts

package/dist/Mount.d.ts

@@ -0,0 +1,182 @@
+import * as Context from "effect/Context";
+import * as Schema from "effect/Schema";
+import type * as App from "./App.js";
+import type * as Callback from "./Callback.js";
+import * as Component from "./Component.js";
+import type * as Env from "./Env.js";
+import type * as GenericId from "./GenericId.js";
+import type * as IdScope from "./IdScope.js";
+import type * as Ref from "./Ref.js";
+declare const TypeId = "~@confect/core/Mount";
+type Handle = Ref.AnyConfect & {
+    readonly "~@confect/core/Callback/Handle": Callback.Id;
+};
+type ContractOf<H extends Handle> = Callback.Contract<H["~@confect/core/Callback/Handle"], Ref.GetFunctionType<H>, H["args"]["fields"], H["returns"], Extract<NonNullable<H["error"]>, Schema.Top>>;
+/**
+ * What a mount passes for `init`'s args: the same shape, with a host ref in
+ * each callback slot.
+ */
+type Input<T> = T extends Handle ? Ref.AnyConfect : T extends object ? {
+    readonly [K in keyof T]: Input<T[K]>;
+} : T;
+/**
+ * `A` when every alternative of `A` fits `T`; otherwise a type that refuses
+ * each alternative that does not. A callback slot takes an internal host ref
+ * that satisfies the slot's contract. Whether a slot may be left `undefined` is
+ * `Input`'s to say.
+ */
+type Check<T, A> = A extends unknown ? Fit<T, A> : never;
+/**
+ * Distributes over the members of `T`, so a value is checked against the
+ * members whose shape it has and fits when it fits one of them.
+ */
+type Fit<T, A> = T extends Handle ? A extends Ref.AnyConfect ? A & Callback.Check<ContractOf<T>, A> & (Ref.GetFunctionVisibility<A> extends "internal" ? unknown : {
+    readonly callbackMustBeInternal: never;
+}) : never : T extends object ? A extends Input<T> ? {
+    readonly [K in keyof A]: K extends keyof T ? Check<T[K], A[K]> : never;
+} : never : A extends T ? A : never;
+type ArgsOf<C> = C extends {
+    readonly init: infer I extends Component.Init;
+} ? Ref.Args<I> : never;
+/**
+ * `[C]`, not a bare `C`, so the conditional is not distributive. A distributive
+ * one resolves against `Component.Descriptor` while `C` is inferred, drops `A`
+ * from the contextual type, and widens inline literals until `A` falls back to
+ * its constraint.
+ */
+type ArgsField<C, A> = [C] extends [
+    {
+        readonly init: infer I extends Component.Init;
+    }
+] ? {
+    readonly args: A & NoInfer<Check<Ref.Args<I>, A>>;
+} : {
+    readonly args?: never;
+};
+type IsOptional<S> = S extends {
+    readonly "~type.optionality": "optional";
+} ? true : false;
+type RequiredKeys<E> = {
+    [K in keyof E]: IsOptional<E[K]> extends true ? never : K;
+}[keyof E];
+type SlotValue<S> = Extract<Schema.Schema.Type<S & Schema.Top>, string>;
+/**
+ * What one env slot accepts: a constant, or an entry of the host's env whose
+ * value fits. A required slot takes only a required entry.
+ */
+type Slot<S> = IsOptional<S> extends true ? SlotValue<S> | undefined | Env.Entry<string, any, SlotValue<S>, boolean> : SlotValue<S> | Env.Entry<string, any, SlotValue<S>, false>;
+type Bindings<E> = {
+    readonly [K in RequiredKeys<E>]: Slot<E[K]>;
+} & {
+    readonly [K in Exclude<keyof E, RequiredKeys<E>>]?: Slot<E[K]>;
+};
+/**
+ * `B` keeps the bindings as written, so `App.make` can see which backends their
+ * entries come from. `[C]` for the reason `ArgsField` gives: a bare `C` widens
+ * an inline constant to `string`.
+ */
+type EnvField<C, B> = [C] extends [{
+    readonly env: infer E;
+}] ? [RequiredKeys<E>] extends [never] ? {
+    readonly env?: B & Bindings<E> & NoExtra<B, E>;
+} : {
+    readonly env: B & Bindings<E> & NoExtra<B, E>;
+} : {
+    readonly env?: never;
+};
+type NoExtra<B, E> = {
+    readonly [K in Exclude<keyof B, keyof E>]: never;
+};
+/**
+ * The client constructor's parameters after the native mount decide whether
+ * `options` is absent, optional or required. A client that takes no native
+ * mount cannot be mounted. That branch is an object, not `never`, so the
+ * literal `name` and `args` beside it keep their types.
+ */
+type OptionsField<C extends Component.Descriptor> = Parameters<C["client"]> extends [unknown, ...infer Rest] ? Rest extends [] ? {
+    readonly options?: never;
+} : Rest extends [infer O] ? {
+    readonly options: O;
+} : Rest extends [options?: infer O] ? {
+    readonly options?: Exclude<O, undefined>;
+} : never : {
+    readonly options: never;
+};
+export type Client<C extends Component.Descriptor> = ReturnType<C["client"]>;
+export interface Data<C extends Component.Descriptor = Component.Descriptor> {
+    readonly component: C;
+    readonly name: string;
+    readonly httpPrefix?: App.HttpPrefix;
+    readonly env?: Readonly<Record<string, string | Env.AnyEntry | undefined>>;
+    readonly args?: unknown;
+    readonly options?: unknown;
+}
+/**
+ * What a mount was declared with, as written: its HTTP prefix and env bindings.
+ */
+export interface Declared<P extends App.HttpPrefix | undefined = App.HttpPrefix | undefined, B = unknown> {
+    readonly httpPrefix: P;
+    readonly env: B;
+}
+/**
+ * A mounted Convex component. Yield it for its client. Its default is the
+ * component's client over this mount, and `Effect.provideService` replaces it.
+ */
+export interface Mount<C extends Component.Descriptor, Name extends string, D extends Declared = Declared> extends Context.Reference<Client<C>> {
+    readonly [TypeId]: Data<C> & {
+        readonly name: Name;
+    };
+    readonly "~declared"?: D;
+}
+export type Any = Mount<Component.Descriptor, string>;
+export type NameOf<M> = M extends Mount<any, infer N, any> ? N : never;
+type InitArgs<C> = C extends {
+    readonly init: infer I extends Component.Init;
+} ? Ref.Args<I> : never;
+type CallbackSlot<C> = {
+    [K in keyof InitArgs<C>]-?: NonNullable<InitArgs<C>[K]> extends Handle ? K : never;
+}[keyof InitArgs<C>] & string;
+type SlotArgs<C, K extends PropertyKey> = Extract<NonNullable<InitArgs<C>[K & keyof InitArgs<C>]>, Handle>["args"]["fields"];
+/**
+ * `callbackArgs`, on a mount whose descriptor carries its contract.
+ */
+type CallbackArgs<C, Name extends string> = C extends {
+    readonly contract: Component.Component<any, infer From, any>;
+} ? {
+    /**
+     * A callback slot's contract args, with the component's ids typed for
+     * this mount, for the host function that answers the callback.
+     */
+    readonly callbackArgs: <const K extends CallbackSlot<C>>(slot: K) => GenericId.RebaseSchema<Schema.Struct<SlotArgs<C, K>>, From, Component.MountScope<IdScope.App, Name>>["fields"];
+} : unknown;
+/**
+ * Mount a Convex component, as Convex's `app.use` does, in the host's
+ * `confect/<mount>.ts`. `args` is typed from the component's `init`, `env` from
+ * its env slots, and `options` from its client constructor. A handler reaches
+ * the client with `yield* BulkEmail`.
+ *
+ * ```ts
+ * export const BulkEmail = Mount.make(Email, {
+ *   name: "bulkEmail",
+ *   httpPrefix: "/bulk-email",
+ *   env: { RESEND_API_KEY: env.BULK_RESEND_KEY },
+ *   args: {
+ *     fromName: "School office",
+ *     onEvent: refs.internal.circulars.onEmailEvent,
+ *   },
+ * });
+ * ```
+ */
+export declare const make: <C extends Component.Descriptor, const Name extends string, const A extends Input<ArgsOf<C>>, const P extends App.HttpPrefix = never, const B = {}>(component: C, options: {
+    readonly name: Name;
+    readonly httpPrefix?: P;
+} & EnvField<C, B> & ArgsField<C, A> & OptionsField<C>) => Mount<C, Name, Declared<[P] extends [never] ? undefined : P, B>> & CallbackArgs<C, Name>;
+/**
+ * What a mount was declared with: its component, name, HTTP prefix, env, args
+ * and options.
+ */
+export declare const data: <C extends Component.Descriptor, Name extends string>(mount: Mount<C, Name, Declared>) => Data<C> & {
+    readonly name: Name;
+};
+export {};
+//# sourceMappingURL=Mount.d.ts.map

package/dist/Mount.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Mount.d.ts","sourceRoot":"","sources":["../src/Mount.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,KAAK,SAAS,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AAErC,QAAA,MAAM,MAAM,yBAAyB,CAAC;AAEtC,KAAK,MAAM,GAAG,GAAG,CAAC,UAAU,GAAG;IAC7B,QAAQ,CAAC,gCAAgC,EAAE,QAAQ,CAAC,EAAE,CAAC;CACxD,CAAC;AAEF,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,QAAQ,CAAC,QAAQ,CACnD,CAAC,CAAC,gCAAgC,CAAC,EACnC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EACtB,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EACnB,CAAC,CAAC,SAAS,CAAC,EACZ,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAC7C,CAAC;AAEF;;;GAGG;AACH,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC5B,GAAG,CAAC,UAAU,GACd,CAAC,SAAS,MAAM,GACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACxC,CAAC,CAAC;AAER;;;;;GAKG;AACH,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAEzD;;;GAGG;AACH,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GAC7B,CAAC,SAAS,GAAG,CAAC,UAAU,GACtB,CAAC,GACC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,UAAU,GAC5C,OAAO,GACP;IAAE,QAAQ,CAAC,sBAAsB,EAAE,KAAK,CAAA;CAAE,CAAC,GACjD,KAAK,GACP,CAAC,SAAS,MAAM,GACd,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GAChB;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACtC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACjB,KAAK;CACV,GACD,KAAK,GACP,CAAC,SAAS,CAAC,GACT,CAAC,GACD,KAAK,CAAC;AAEd,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,CAAC,IAAI,CAAA;CAAE,GACxE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GACX,KAAK,CAAC;AAEV;;;;;GAKG;AACH,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;IACjC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,CAAC,IAAI,CAAA;KAAE;CAClD,GACG;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC;AAE9B,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,mBAAmB,EAAE,UAAU,CAAA;CAAE,GACvE,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC;CAC1D,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,SAAS,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AAExE;;;GAGG;AACH,KAAK,IAAI,CAAC,CAAC,IACT,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GACxE,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAEjE,KAAK,QAAQ,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;IACnE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,GACzD,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/B;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC;AAE7B,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,KAAK;CAAE,CAAC;AAE1E;;;;;GAKG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,IAC9C,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,GACpD,IAAI,SAAS,EAAE,GACb;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;CAAE,GAC5B,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,GACpB;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,GACvB,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,GAC9B;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;CAAE,GAC5C,KAAK,GACX;IAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;CAAE,CAAC;AAElC,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE7E,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU;IACzE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CACvB,CAAC,SAAS,GAAG,CAAC,UAAU,GAAG,SAAS,GAAG,GAAG,CAAC,UAAU,GAAG,SAAS,EACjE,CAAC,GAAG,OAAO;IAEX,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,KAAK,CACpB,CAAC,SAAS,SAAS,CAAC,UAAU,EAC9B,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,QAAQ,GAAG,QAAQ,CAC7B,SAAQ,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;CAC1B;AAED,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAEtD,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEvE,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,CAAC,IAAI,CAAA;CAAE,GAC1E,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAClE,CAAC,GACD,KAAK;CACV,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,GAClB,MAAM,CAAC;AAET,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,OAAO,CAC/C,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/C,MAAM,CACP,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEpB;;GAEG;AACH,KAAK,YAAY,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,IAAI,CAAC,SAAS;IACpD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC;CAC9D,GACG;IACE;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EACrD,IAAI,EAAE,CAAC,KACJ,SAAS,CAAC,YAAY,CACzB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC7B,IAAI,EACJ,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CACxC,CAAC,QAAQ,CAAC,CAAC;CACb,GACD,OAAO,CAAC;AAEZ;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,IAAI,GACf,CAAC,SAAS,SAAS,CAAC,UAAU,EAC9B,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAChC,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,UAAU,GAAG,KAAK,EACtC,KAAK,CAAC,CAAC,GAAG,EAAE,aAED,CAAC,WACH;IACP,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;CACzB,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,YAAY,CAAC,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GACjE,YAAY,CAAC,CAAC,EAAE,IAAI,CA4BrB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,SAAS,CAAC,UAAU,EAAE,IAAI,SAAS,MAAM,SAC/D,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAC9B,IAAI,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAmB,CAAC"}

package/dist/Mount.js

@@ -0,0 +1,57 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { bind, schema } from "./Component.js";
+import { CallbackContract } from "./internal/annotations.js";
+import * as Context from "effect/Context";
+import * as Schema from "effect/Schema";
+import { componentsGeneric } from "convex/server";
+import * as SchemaAST from "effect/SchemaAST";
+//#region src/Mount.ts
+var Mount_exports = /* @__PURE__ */ __exportAll({
+	data: () => data,
+	make: () => make
+});
+const TypeId = "~@confect/core/Mount";
+/**
+* Mount a Convex component, as Convex's `app.use` does, in the host's
+* `confect/<mount>.ts`. `args` is typed from the component's `init`, `env` from
+* its env slots, and `options` from its client constructor. A handler reaches
+* the client with `yield* BulkEmail`.
+*
+* ```ts
+* export const BulkEmail = Mount.make(Email, {
+*   name: "bulkEmail",
+*   httpPrefix: "/bulk-email",
+*   env: { RESEND_API_KEY: env.BULK_RESEND_KEY },
+*   args: {
+*     fromName: "School office",
+*     onEvent: refs.internal.circulars.onEmailEvent,
+*   },
+* });
+* ```
+*/
+const make = (component, options) => {
+	const data = {
+		...options,
+		component
+	};
+	const client = component.client;
+	const native = () => componentsGeneric()[data.name];
+	const mount = Context.Reference(`mount/${data.name}`, { defaultValue: () => client(native(), data.options) });
+	const { contract, init } = component;
+	const callbackArgs = (slot) => {
+		const field = init.args.fields[slot];
+		const callback = SchemaAST.resolveAt(CallbackContract)(Schema.toEncoded(field).ast);
+		const bound = bind(contract, native());
+		return schema(bound, callback.functionProvenance.args).fields;
+	};
+	return Object.assign(mount, { [TypeId]: data }, contract === void 0 ? {} : { callbackArgs });
+};
+/**
+* What a mount was declared with: its component, name, HTTP prefix, env, args
+* and options.
+*/
+const data = (mount) => mount[TypeId];
+//#endregion
+export { Mount_exports, data, make };
+
+//# sourceMappingURL=Mount.js.map

package/dist/Mount.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Mount.js","names":["Component.bind","Component.schema"],"sources":["../src/Mount.ts"],"sourcesContent":["import { componentsGeneric } from \"convex/server\";\nimport * as Context from \"effect/Context\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport type * as App from \"./App.js\";\nimport type * as Callback from \"./Callback.js\";\nimport * as Component from \"./Component.js\";\nimport type * as Env from \"./Env.js\";\nimport type * as GenericId from \"./GenericId.js\";\nimport type * as IdScope from \"./IdScope.js\";\nimport { CallbackContract } from \"./internal/annotations.js\";\nimport type * as Ref from \"./Ref.js\";\n\nconst TypeId = \"~@confect/core/Mount\";\n\ntype Handle = Ref.AnyConfect & {\n  readonly \"~@confect/core/Callback/Handle\": Callback.Id;\n};\n\ntype ContractOf<H extends Handle> = Callback.Contract<\n  H[\"~@confect/core/Callback/Handle\"],\n  Ref.GetFunctionType<H>,\n  H[\"args\"][\"fields\"],\n  H[\"returns\"],\n  Extract<NonNullable<H[\"error\"]>, Schema.Top>\n>;\n\n/**\n * What a mount passes for `init`'s args: the same shape, with a host ref in\n * each callback slot.\n */\ntype Input<T> = T extends Handle\n  ? Ref.AnyConfect\n  : T extends object\n    ? { readonly [K in keyof T]: Input<T[K]> }\n    : T;\n\n/**\n * `A` when every alternative of `A` fits `T`; otherwise a type that refuses\n * each alternative that does not. A callback slot takes an internal host ref\n * that satisfies the slot's contract. Whether a slot may be left `undefined` is\n * `Input`'s to say.\n */\ntype Check<T, A> = A extends unknown ? Fit<T, A> : never;\n\n/**\n * Distributes over the members of `T`, so a value is checked against the\n * members whose shape it has and fits when it fits one of them.\n */\ntype Fit<T, A> = T extends Handle\n  ? A extends Ref.AnyConfect\n    ? A &\n        Callback.Check<ContractOf<T>, A> &\n        (Ref.GetFunctionVisibility<A> extends \"internal\"\n          ? unknown\n          : { readonly callbackMustBeInternal: never })\n    : never\n  : T extends object\n    ? A extends Input<T>\n      ? {\n          readonly [K in keyof A]: K extends keyof T\n            ? Check<T[K], A[K]>\n            : never;\n        }\n      : never\n    : A extends T\n      ? A\n      : never;\n\ntype ArgsOf<C> = C extends { readonly init: infer I extends Component.Init }\n  ? Ref.Args<I>\n  : never;\n\n/**\n * `[C]`, not a bare `C`, so the conditional is not distributive. A distributive\n * one resolves against `Component.Descriptor` while `C` is inferred, drops `A`\n * from the contextual type, and widens inline literals until `A` falls back to\n * its constraint.\n */\ntype ArgsField<C, A> = [C] extends [\n  { readonly init: infer I extends Component.Init },\n]\n  ? { readonly args: A & NoInfer<Check<Ref.Args<I>, A>> }\n  : { readonly args?: never };\n\ntype IsOptional<S> = S extends { readonly \"~type.optionality\": \"optional\" }\n  ? true\n  : false;\n\ntype RequiredKeys<E> = {\n  [K in keyof E]: IsOptional<E[K]> extends true ? never : K;\n}[keyof E];\n\ntype SlotValue<S> = Extract<Schema.Schema.Type<S & Schema.Top>, string>;\n\n/**\n * What one env slot accepts: a constant, or an entry of the host's env whose\n * value fits. A required slot takes only a required entry.\n */\ntype Slot<S> =\n  IsOptional<S> extends true\n    ? SlotValue<S> | undefined | Env.Entry<string, any, SlotValue<S>, boolean>\n    : SlotValue<S> | Env.Entry<string, any, SlotValue<S>, false>;\n\ntype Bindings<E> = { readonly [K in RequiredKeys<E>]: Slot<E[K]> } & {\n  readonly [K in Exclude<keyof E, RequiredKeys<E>>]?: Slot<E[K]>;\n};\n\n/**\n * `B` keeps the bindings as written, so `App.make` can see which backends their\n * entries come from. `[C]` for the reason `ArgsField` gives: a bare `C` widens\n * an inline constant to `string`.\n */\ntype EnvField<C, B> = [C] extends [{ readonly env: infer E }]\n  ? [RequiredKeys<E>] extends [never]\n    ? { readonly env?: B & Bindings<E> & NoExtra<B, E> }\n    : { readonly env: B & Bindings<E> & NoExtra<B, E> }\n  : { readonly env?: never };\n\ntype NoExtra<B, E> = { readonly [K in Exclude<keyof B, keyof E>]: never };\n\n/**\n * The client constructor's parameters after the native mount decide whether\n * `options` is absent, optional or required. A client that takes no native\n * mount cannot be mounted. That branch is an object, not `never`, so the\n * literal `name` and `args` beside it keep their types.\n */\ntype OptionsField<C extends Component.Descriptor> =\n  Parameters<C[\"client\"]> extends [unknown, ...infer Rest]\n    ? Rest extends []\n      ? { readonly options?: never }\n      : Rest extends [infer O]\n        ? { readonly options: O }\n        : Rest extends [options?: infer O]\n          ? { readonly options?: Exclude<O, undefined> }\n          : never\n    : { readonly options: never };\n\nexport type Client<C extends Component.Descriptor> = ReturnType<C[\"client\"]>;\n\nexport interface Data<C extends Component.Descriptor = Component.Descriptor> {\n  readonly component: C;\n  readonly name: string;\n  readonly httpPrefix?: App.HttpPrefix;\n  readonly env?: Readonly<Record<string, string | Env.AnyEntry | undefined>>;\n  readonly args?: unknown;\n  readonly options?: unknown;\n}\n\n/**\n * What a mount was declared with, as written: its HTTP prefix and env bindings.\n */\nexport interface Declared<\n  P extends App.HttpPrefix | undefined = App.HttpPrefix | undefined,\n  B = unknown,\n> {\n  readonly httpPrefix: P;\n  readonly env: B;\n}\n\n/**\n * A mounted Convex component. Yield it for its client. Its default is the\n * component's client over this mount, and `Effect.provideService` replaces it.\n */\nexport interface Mount<\n  C extends Component.Descriptor,\n  Name extends string,\n  D extends Declared = Declared,\n> extends Context.Reference<Client<C>> {\n  readonly [TypeId]: Data<C> & { readonly name: Name };\n  readonly \"~declared\"?: D;\n}\n\nexport type Any = Mount<Component.Descriptor, string>;\n\nexport type NameOf<M> = M extends Mount<any, infer N, any> ? N : never;\n\ntype InitArgs<C> = C extends { readonly init: infer I extends Component.Init }\n  ? Ref.Args<I>\n  : never;\n\ntype CallbackSlot<C> = {\n  [K in keyof InitArgs<C>]-?: NonNullable<InitArgs<C>[K]> extends Handle\n    ? K\n    : never;\n}[keyof InitArgs<C>] &\n  string;\n\ntype SlotArgs<C, K extends PropertyKey> = Extract<\n  NonNullable<InitArgs<C>[K & keyof InitArgs<C>]>,\n  Handle\n>[\"args\"][\"fields\"];\n\n/**\n * `callbackArgs`, on a mount whose descriptor carries its contract.\n */\ntype CallbackArgs<C, Name extends string> = C extends {\n  readonly contract: Component.Component<any, infer From, any>;\n}\n  ? {\n      /**\n       * A callback slot's contract args, with the component's ids typed for\n       * this mount, for the host function that answers the callback.\n       */\n      readonly callbackArgs: <const K extends CallbackSlot<C>>(\n        slot: K,\n      ) => GenericId.RebaseSchema<\n        Schema.Struct<SlotArgs<C, K>>,\n        From,\n        Component.MountScope<IdScope.App, Name>\n      >[\"fields\"];\n    }\n  : unknown;\n\n/**\n * Mount a Convex component, as Convex's `app.use` does, in the host's\n * `confect/<mount>.ts`. `args` is typed from the component's `init`, `env` from\n * its env slots, and `options` from its client constructor. A handler reaches\n * the client with `yield* BulkEmail`.\n *\n * ```ts\n * export const BulkEmail = Mount.make(Email, {\n *   name: \"bulkEmail\",\n *   httpPrefix: \"/bulk-email\",\n *   env: { RESEND_API_KEY: env.BULK_RESEND_KEY },\n *   args: {\n *     fromName: \"School office\",\n *     onEvent: refs.internal.circulars.onEmailEvent,\n *   },\n * });\n * ```\n */\nexport const make = <\n  C extends Component.Descriptor,\n  const Name extends string,\n  const A extends Input<ArgsOf<C>>,\n  const P extends App.HttpPrefix = never,\n  const B = {},\n>(\n  component: C,\n  options: {\n    readonly name: Name;\n    readonly httpPrefix?: P;\n  } & EnvField<C, B> &\n    ArgsField<C, A> &\n    OptionsField<C>,\n): Mount<C, Name, Declared<[P] extends [never] ? undefined : P, B>> &\n  CallbackArgs<C, Name> => {\n  const data = { ...(options as object), component } as Data<C> & {\n    readonly name: Name;\n  };\n  // The options were checked against the constructor's parameters above.\n  const client = component.client as unknown as (\n    native: unknown,\n    options?: unknown,\n  ) => Client<C>;\n  const native = () => componentsGeneric()[data.name];\n  const mount = Context.Reference<Client<C>>(`mount/${data.name}`, {\n    defaultValue: () => client(native(), data.options),\n  });\n  const { contract, init } = component;\n  const callbackArgs = (slot: string) => {\n    const field = init!.args.fields[slot]!;\n    const callback = SchemaAST.resolveAt<Callback.Any>(CallbackContract)(\n      Schema.toEncoded(field).ast,\n    )!;\n    const bound = Component.bind(contract!, native() as never);\n    return Component.schema(bound, callback.functionProvenance.args).fields;\n  };\n  return Object.assign(\n    mount,\n    { [TypeId]: data },\n    contract === undefined ? {} : { callbackArgs },\n  ) as Mount<C, Name, Declared<[P] extends [never] ? undefined : P, B>> &\n    CallbackArgs<C, Name>;\n};\n\n/**\n * What a mount was declared with: its component, name, HTTP prefix, env, args\n * and options.\n */\nexport const data = <C extends Component.Descriptor, Name extends string>(\n  mount: Mount<C, Name, Declared>,\n): Data<C> & { readonly name: Name } => mount[TypeId];\n"],"mappings":";;;;;;;;;;;;AAaA,MAAM,SAAS;;;;;;;;;;;;;;;;;;;AA2Nf,MAAa,QAOX,WACA,YAOyB;CACzB,MAAM,OAAO;EAAE,GAAI;EAAoB;CAAU;CAIjD,MAAM,SAAS,UAAU;CAIzB,MAAM,eAAe,kBAAkB,CAAC,CAAC,KAAK;CAC9C,MAAM,QAAQ,QAAQ,UAAqB,SAAS,KAAK,QAAQ,EAC/D,oBAAoB,OAAO,OAAO,GAAG,KAAK,OAAO,EACnD,CAAC;CACD,MAAM,EAAE,UAAU,SAAS;CAC3B,MAAM,gBAAgB,SAAiB;EACrC,MAAM,QAAQ,KAAM,KAAK,OAAO;EAChC,MAAM,WAAW,UAAU,UAAwB,gBAAgB,CAAC,CAClE,OAAO,UAAU,KAAK,CAAC,CAAC,GAC1B;EACA,MAAM,QAAQA,KAAe,UAAW,OAAO,CAAU;EACzD,OAAOC,OAAiB,OAAO,SAAS,mBAAmB,IAAI,CAAC,CAAC;CACnE;CACA,OAAO,OAAO,OACZ,OACA,GAAG,SAAS,KAAK,GACjB,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,aAAa,CAC/C;AAEF;;;;;AAMA,MAAa,QACX,UACsC,MAAM"}

package/dist/PaginationError.js

@@ -1,8 +1,8 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import * as Schema from "effect/Schema";
-import { ConvexError } from "convex/values";
 import * as Match from "effect/Match";
 import * as Option from "effect/Option";
+import { ConvexError } from "convex/values";
 //#region src/PaginationError.ts
 var PaginationError_exports = /* @__PURE__ */ __exportAll({
 	InvalidCursor: () => InvalidCursor,

package/dist/Ref.js

@@ -5,10 +5,10 @@ import { getFunctionReference } from "./RefInternal.js";
 import * as Schema from "effect/Schema";
 import * as Predicate from "effect/Predicate";
 import { getFunctionAddress } from "convex/server";
-import { ConvexError } from "convex/values";
-import * as Effect from "effect/Effect";
 import * as Match from "effect/Match";
 import * as Option from "effect/Option";
+import { ConvexError } from "convex/values";
+import * as Effect from "effect/Effect";
 //#region src/Ref.ts
 var Ref_exports = /* @__PURE__ */ __exportAll({
 	TypeId: () => TypeId,

package/dist/Refs.js

@@ -1,9 +1,9 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { getConvexFunctionName, make as make$1 } from "./Ref.js";
 import { groups } from "./Spec.js";
-import * as Option from "effect/Option";
 import { pipe } from "effect/Function";
 import * as Record from "effect/Record";
+import * as Option from "effect/Option";
 //#region src/Refs.ts
 var Refs_exports = /* @__PURE__ */ __exportAll({ make: () => make });
 const make = (spec) => {

package/dist/SchemaToValidator.js

@@ -1,17 +1,17 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { CallbackContract } from "./internal/annotations.js";
 import { app } from "./IdScope.js";
 import { scope, tableName } from "./GenericId.js";
+import { CallbackContract } from "./internal/annotations.js";
 import * as Schema from "effect/Schema";
 import * as Predicate from "effect/Predicate";
 import * as Data from "effect/Data";
-import { v } from "convex/values";
-import * as Effect from "effect/Effect";
-import * as Match from "effect/Match";
-import * as Option from "effect/Option";
+import * as SchemaAST from "effect/SchemaAST";
 import * as Array from "effect/Array";
 import { pipe } from "effect/Function";
-import * as SchemaAST from "effect/SchemaAST";
+import * as Match from "effect/Match";
+import * as Option from "effect/Option";
+import { v } from "convex/values";
+import * as Effect from "effect/Effect";
 import * as Number from "effect/Number";
 import * as String from "effect/String";
 //#region src/SchemaToValidator.ts

package/dist/SystemFields.js

@@ -2,13 +2,13 @@ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 import { GenericId } from "./GenericId.js";
 import * as Schema from "effect/Schema";
 import * as Predicate from "effect/Predicate";
-import * as SchemaGetter from "effect/SchemaGetter";
-import * as Effect from "effect/Effect";
-import * as Option from "effect/Option";
+import * as SchemaAST from "effect/SchemaAST";
 import * as Array from "effect/Array";
 import { pipe } from "effect/Function";
 import * as Record from "effect/Record";
-import * as SchemaAST from "effect/SchemaAST";
+import * as Option from "effect/Option";
+import * as Effect from "effect/Effect";
+import * as SchemaGetter from "effect/SchemaGetter";
 import * as SchemaTransformation from "effect/SchemaTransformation";
 import * as Struct from "effect/Struct";
 //#region src/SystemFields.ts

package/dist/index.d.ts

@@ -15,6 +15,7 @@ export * as Identifier from "./Identifier.js";
 export * as Lazy from "./Lazy.js";
 export * as Manifest from "./Manifest.js";
 export * as ManifestSection from "./ManifestSection.js";
+export * as Mount from "./Mount.js";
 export * as MiddlewareAttachment from "./MiddlewareAttachment.js";
 export * as MiddlewareSpec from "./MiddlewareSpec.js";
 export * as PaginationError from "./PaginationError.js";

package/dist/index.d.ts.map

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

package/dist/index.js

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gaganref/confect-core",
-  "version": "10.3.1-fork.72",
+  "version": "10.3.1-fork.74",
   "peerDependencies": {
     "convex": "^1.49.0",
     "effect": ">=4.0.0 <4.1.0"