@gaganref/confect-core 10.3.1-fork.9 → 10.3.1-fork.91

package/dist/ManifestSection.d.ts

@@ -0,0 +1,101 @@
+import type * as FunctionSpec from "./FunctionSpec.js";
+import type * as MiddlewareSpec from "./MiddlewareSpec.js";
+export interface Data<Value = unknown> {
+    readonly format: number;
+    readonly functions: Readonly<Record<string, Value>>;
+}
+/**
+ * The backend codegen generates: the app, or a component under the name its
+ * `defineComponent` gives it.
+ */
+export type Target = {
+    readonly kind: "app";
+} | {
+    readonly kind: "component";
+    readonly name: string;
+};
+/**
+ * What codegen hands a section's `render`: the exports of each `confect/` file
+ * it matched, every registered function with the spec file declaring it, each
+ * mounted component with the specifier of its definition, every file `match`
+ * was offered, the backend it generates and the absolute path of `confect/`.
+ */
+export interface GenerateInput {
+    readonly modules: ReadonlyArray<{
+        readonly relativePath: string;
+        readonly exports: Readonly<Record<string, unknown>>;
+    }>;
+    readonly functions: ReadonlyArray<{
+        readonly path: string;
+        readonly source: string;
+    }>;
+    readonly mounts: ReadonlyArray<{
+        readonly name: string;
+        readonly definition: string;
+    }>;
+    readonly files: ReadonlyArray<string>;
+    readonly target: Target;
+    readonly confectDirectory: string;
+}
+/**
+ * What codegen hands a section's `verify.check`: the exports of each `confect/`
+ * file `verify.match` selected, each mounted component with the specifier of
+ * its definition, and the backend it generates.
+ */
+export interface VerifyInput {
+    readonly modules: GenerateInput["modules"];
+    readonly mounts: GenerateInput["mounts"];
+    readonly target: Target;
+}
+export interface Generate {
+    readonly file: string;
+    match(relativePath: string): boolean;
+    render(input: GenerateInput): {
+        readonly contents: string;
+        readonly errors: ReadonlyArray<string>;
+    };
+    /**
+     * A check codegen runs once every `_generated` file exists, so the files
+     * `match` selects may import this section's file or any other. Codegen fails
+     * with each string `check` returns.
+     */
+    readonly verify?: {
+        match(relativePath: string): boolean;
+        check(input: VerifyInput): ReadonlyArray<string>;
+    };
+}
+/**
+ * What codegen hands a section's `summarize`: the `confect/` files its
+ * `generate` matched, each function's description by path, and the spec file
+ * declaring each function by path, relative to `confect/`.
+ */
+export interface SummarizeInput<Value = unknown> {
+    readonly modules: GenerateInput["modules"];
+    readonly functions: Readonly<Record<string, Value>>;
+    readonly sources: Readonly<Record<string, string>>;
+}
+export interface ManifestSection<Value = unknown, Data_ extends {
+    readonly format: number;
+} = Data<Value>> {
+    readonly owner: string;
+    readonly format: number;
+    describe(input: {
+        readonly path: string;
+        readonly spec: FunctionSpec.AnyWithProps;
+        readonly middleware: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;
+    }): Value;
+    summarize?(input: SummarizeInput<Value>): Data_;
+    check?(next: Data_, previous: unknown): {
+        readonly errors: ReadonlyArray<string>;
+        readonly notes: ReadonlyArray<string>;
+    };
+    readonly generate?: Generate;
+}
+export type Any = ManifestSection<unknown, {
+    readonly format: number;
+}>;
+export interface Entry {
+    readonly key: string;
+    readonly section: Any;
+}
+//# sourceMappingURL=ManifestSection.d.ts.map

package/dist/ManifestSection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestSection.d.ts","sourceRoot":"","sources":["../src/ManifestSection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAE3D,MAAM,WAAW,IAAI,CAAC,KAAK,GAAG,OAAO;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;CACrD;AAED;;;GAGG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;KACrD,CAAC,CAAC;IACH,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;QAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC,CAAC;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;IACrC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACxC,CAAC;IACF;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,KAAK,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;QACrC,KAAK,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;KAClD,CAAC;CACH;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK,GAAG,OAAO;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,eAAe,CAC9B,KAAK,GAAG,OAAO,EACf,KAAK,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC,KAAK,CAAC;IAEvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC;QACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;KACtE,GAAG,KAAK,CAAC;IACV,SAAS,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAChD,KAAK,CAAC,CACJ,IAAI,EAAE,KAAK,EACX,QAAQ,EAAE,OAAO,GAChB;QACD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACvC,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;CACvB"}

package/dist/ManifestSection.js

@@ -0,0 +1,7 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+//#region src/ManifestSection.ts
+var ManifestSection_exports = /* @__PURE__ */ __exportAll({});
+//#endregion
+export { ManifestSection_exports };
+
+//# sourceMappingURL=ManifestSection.js.map

package/dist/ManifestSection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestSection.js","names":[],"sources":["../src/ManifestSection.ts"],"sourcesContent":["import type * as FunctionSpec from \"./FunctionSpec.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\n\nexport interface Data<Value = unknown> {\n  readonly format: number;\n  readonly functions: Readonly<Record<string, Value>>;\n}\n\n/**\n * The backend codegen generates: the app, or a component under the name its\n * `defineComponent` gives it.\n */\nexport type Target =\n  | { readonly kind: \"app\" }\n  | { readonly kind: \"component\"; readonly name: string };\n\n/**\n * What codegen hands a section's `render`: the exports of each `confect/` file\n * it matched, every registered function with the spec file declaring it, each\n * mounted component with the specifier of its definition, every file `match`\n * was offered, the backend it generates and the absolute path of `confect/`.\n */\nexport interface GenerateInput {\n  readonly modules: ReadonlyArray<{\n    readonly relativePath: string;\n    readonly exports: Readonly<Record<string, unknown>>;\n  }>;\n  readonly functions: ReadonlyArray<{\n    readonly path: string;\n    readonly source: string;\n  }>;\n  readonly mounts: ReadonlyArray<{\n    readonly name: string;\n    readonly definition: string;\n  }>;\n  readonly files: ReadonlyArray<string>;\n  readonly target: Target;\n  readonly confectDirectory: string;\n}\n\n/**\n * What codegen hands a section's `verify.check`: the exports of each `confect/`\n * file `verify.match` selected, each mounted component with the specifier of\n * its definition, and the backend it generates.\n */\nexport interface VerifyInput {\n  readonly modules: GenerateInput[\"modules\"];\n  readonly mounts: GenerateInput[\"mounts\"];\n  readonly target: Target;\n}\n\nexport interface Generate {\n  readonly file: string;\n  match(relativePath: string): boolean;\n  render(input: GenerateInput): {\n    readonly contents: string;\n    readonly errors: ReadonlyArray<string>;\n  };\n  /**\n   * A check codegen runs once every `_generated` file exists, so the files\n   * `match` selects may import this section's file or any other. Codegen fails\n   * with each string `check` returns.\n   */\n  readonly verify?: {\n    match(relativePath: string): boolean;\n    check(input: VerifyInput): ReadonlyArray<string>;\n  };\n}\n\n/**\n * What codegen hands a section's `summarize`: the `confect/` files its\n * `generate` matched, each function's description by path, and the spec file\n * declaring each function by path, relative to `confect/`.\n */\nexport interface SummarizeInput<Value = unknown> {\n  readonly modules: GenerateInput[\"modules\"];\n  readonly functions: Readonly<Record<string, Value>>;\n  readonly sources: Readonly<Record<string, string>>;\n}\n\nexport interface ManifestSection<\n  Value = unknown,\n  Data_ extends { readonly format: number } = Data<Value>,\n> {\n  readonly owner: string;\n  readonly format: number;\n  describe(input: {\n    readonly path: string;\n    readonly spec: FunctionSpec.AnyWithProps;\n    readonly middleware: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;\n  }): Value;\n  summarize?(input: SummarizeInput<Value>): Data_;\n  check?(\n    next: Data_,\n    previous: unknown,\n  ): {\n    readonly errors: ReadonlyArray<string>;\n    readonly notes: ReadonlyArray<string>;\n  };\n  readonly generate?: Generate;\n}\n\nexport type Any = ManifestSection<unknown, { readonly format: number }>;\n\nexport interface Entry {\n  readonly key: string;\n  readonly section: Any;\n}\n"],"mappings":""}

package/dist/Mount.d.ts

@@ -0,0 +1,200 @@
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import type * as App from "./App.js";
+import * 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 * 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;
+};
+/**
+ * What a push runs for a mount: its component's `init`, at the mount's
+ * component path, with the install args encoded.
+ */
+export interface InitCall {
+    readonly componentPath: string;
+    readonly functionName: string;
+    readonly args: unknown;
+}
+type Create<E, R> = (contract: Callback.Any, ref: Ref.Any) => Effect.Effect<unknown, E, R>;
+/**
+ * The `init` call a mount's install args make, with each callback slot's host
+ * ref replaced by the handle `create` makes for the slot's contract. None for a
+ * component without `init`.
+ */
+export declare const initCall: <E, R>(mount: Any, create: Create<E, R>) => Effect.Effect<Option.Option<InitCall>, E | Schema.SchemaError, R>;
+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;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,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,GAAG,MAAM,UAAU,CAAC;AAEhC,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;AAEtD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAOD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAClB,QAAQ,EAAE,QAAQ,CAAC,GAAG,EACtB,GAAG,EAAE,GAAG,CAAC,GAAG,KACT,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAwElC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,SACpB,GAAG,UACF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACnB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAclE,CAAC"}

package/dist/Mount.js

@@ -0,0 +1,116 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { isRef } from "./Ref.js";
+import { CallbackContract } from "./internal/annotations.js";
+import { handle } from "./Callback.js";
+import { bind, schema } from "./Component.js";
+import * as Context from "effect/Context";
+import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
+import { componentsGeneric } from "convex/server";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as SchemaAST from "effect/SchemaAST";
+//#region src/Mount.ts
+var Mount_exports = /* @__PURE__ */ __exportAll({
+	data: () => data,
+	initCall: () => initCall,
+	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];
+const contractOf = (schema) => SchemaAST.resolveAt(CallbackContract)(Schema.toEncoded(schema).ast);
+const placeholderHandle = (contract) => Schema.decodeEffect(handle(contract))("").pipe(Effect.orDie);
+/**
+* Handles for the union member `value` takes: the first member that fits once
+* its callback slots hold placeholder handles and whose handles `create` makes.
+* A target that satisfies only a later member's contract takes that member.
+*/
+const withMemberHandles = (members, value, create) => {
+	const fitting = members.filter((member) => Schema.is(member)(Effect.runSync(withHandles(member, value, placeholderHandle))));
+	return fitting.length === 0 ? Effect.succeed(value) : Effect.firstSuccessOf(fitting.map((member) => withHandles(member, value, create)));
+};
+/**
+* The schema of each key's value in a struct or a record.
+*/
+const entrySchema = (schema) => {
+	if (Predicate.hasProperty(schema, "fields")) {
+		const fields = schema.fields;
+		return (key) => fields[key];
+	}
+	if (SchemaAST.isObjects(schema.ast) && Predicate.hasProperty(schema, "value")) return () => schema.value;
+};
+/**
+* Put a handle in each callback slot: a host ref in a field whose schema
+* carries a callback contract, at any depth of struct fields and record values,
+* through `optionalKey`, `optional` and the union member the value takes.
+*/
+const withHandles = (schema, value, create) => {
+	const contract = contractOf(schema);
+	if (contract !== void 0 && isRef(value)) return create(contract, value);
+	if (Predicate.hasProperty(schema, "schema")) return withHandles(schema.schema, value, create);
+	if (Predicate.hasProperty(schema, "members") && Array.isArray(schema.members)) return withMemberHandles(schema.members, value, create);
+	const at = entrySchema(schema);
+	if (at === void 0 || !Predicate.isObject(value)) return Effect.succeed(value);
+	return Effect.forEach(Object.entries(value), ([key, field]) => {
+		const fieldSchema = at(key);
+		return fieldSchema === void 0 ? Effect.succeed([key, field]) : withHandles(fieldSchema, field, create).pipe(Effect.map((resolved) => [key, resolved]));
+	}).pipe(Effect.map(Object.fromEntries));
+};
+/**
+* The `init` call a mount's install args make, with each callback slot's host
+* ref replaced by the handle `create` makes for the slot's contract. None for a
+* component without `init`.
+*/
+const initCall = (mount, create) => {
+	const { component, name, args } = data(mount);
+	const init = component.init;
+	if (init === void 0) return Effect.succeedNone;
+	return withHandles(init.args, args ?? {}, create).pipe(Effect.flatMap(Schema.encodeUnknownEffect(init.args)), Effect.map((encoded) => Option.some({
+		componentPath: name,
+		functionName: init.convexFunctionName,
+		args: encoded
+	})));
+};
+//#endregion
+export { Mount_exports, data, initCall, make };
+
+//# sourceMappingURL=Mount.js.map

package/dist/Mount.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Mount.js","names":["Component.bind","Component.schema","Callback.handle","Ref.isRef"],"sources":["../src/Mount.ts"],"sourcesContent":["import { componentsGeneric } from \"convex/server\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Schema from \"effect/Schema\";\nimport * as SchemaAST from \"effect/SchemaAST\";\nimport type * as App from \"./App.js\";\nimport * 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 * 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\n/**\n * What a push runs for a mount: its component's `init`, at the mount's\n * component path, with the install args encoded.\n */\nexport interface InitCall {\n  readonly componentPath: string;\n  readonly functionName: string;\n  readonly args: unknown;\n}\n\nconst contractOf = (schema: Schema.Top) =>\n  SchemaAST.resolveAt<Callback.Any>(CallbackContract)(\n    Schema.toEncoded(schema).ast,\n  );\n\ntype Create<E, R> = (\n  contract: Callback.Any,\n  ref: Ref.Any,\n) => Effect.Effect<unknown, E, R>;\n\nconst placeholderHandle: Create<never, never> = (contract) =>\n  Schema.decodeEffect(Callback.handle(contract))(\"\").pipe(Effect.orDie);\n\n/**\n * Handles for the union member `value` takes: the first member that fits once\n * its callback slots hold placeholder handles and whose handles `create` makes.\n * A target that satisfies only a later member's contract takes that member.\n */\nconst withMemberHandles = <E, R>(\n  members: ReadonlyArray<Schema.Top>,\n  value: unknown,\n  create: Create<E, R>,\n): Effect.Effect<unknown, E, R> => {\n  const fitting = members.filter((member) =>\n    Schema.is(member)(\n      Effect.runSync(withHandles(member, value, placeholderHandle)),\n    ),\n  );\n  return fitting.length === 0\n    ? Effect.succeed(value)\n    : Effect.firstSuccessOf(\n        fitting.map((member) => withHandles(member, value, create)),\n      );\n};\n\n/**\n * The schema of each key's value in a struct or a record.\n */\nconst entrySchema = (\n  schema: Schema.Top,\n): ((key: string) => Schema.Top | undefined) | undefined => {\n  if (Predicate.hasProperty(schema, \"fields\")) {\n    const fields = schema.fields as Readonly<Record<string, Schema.Top>>;\n    return (key) => fields[key];\n  }\n  if (SchemaAST.isObjects(schema.ast) && Predicate.hasProperty(schema, \"value\"))\n    return () => schema.value as Schema.Top;\n  return undefined;\n};\n\n/**\n * Put a handle in each callback slot: a host ref in a field whose schema\n * carries a callback contract, at any depth of struct fields and record values,\n * through `optionalKey`, `optional` and the union member the value takes.\n */\nconst withHandles = <E, R>(\n  schema: Schema.Top,\n  value: unknown,\n  create: Create<E, R>,\n): Effect.Effect<unknown, E, R> => {\n  const contract = contractOf(schema);\n  if (contract !== undefined && Ref.isRef(value))\n    return create(contract, value);\n  if (Predicate.hasProperty(schema, \"schema\"))\n    return withHandles(schema.schema as Schema.Top, value, create);\n  if (Predicate.hasProperty(schema, \"members\") && Array.isArray(schema.members))\n    return withMemberHandles(schema.members, value, create);\n  const at = entrySchema(schema);\n  if (at === undefined || !Predicate.isObject(value))\n    return Effect.succeed(value);\n  return Effect.forEach(Object.entries(value), ([key, field]) => {\n    const fieldSchema = at(key);\n    return fieldSchema === undefined\n      ? Effect.succeed([key, field] as const)\n      : withHandles(fieldSchema, field, create).pipe(\n          Effect.map((resolved) => [key, resolved] as const),\n        );\n  }).pipe(Effect.map(Object.fromEntries));\n};\n\n/**\n * The `init` call a mount's install args make, with each callback slot's host\n * ref replaced by the handle `create` makes for the slot's contract. None for a\n * component without `init`.\n */\nexport const initCall = <E, R>(\n  mount: Any,\n  create: Create<E, R>,\n): Effect.Effect<Option.Option<InitCall>, E | Schema.SchemaError, R> => {\n  const { component, name, args } = data(mount);\n  const init = component.init;\n  if (init === undefined) return Effect.succeedNone;\n  return withHandles(init.args, args ?? {}, create).pipe(\n    Effect.flatMap(Schema.encodeUnknownEffect(init.args)),\n    Effect.map((encoded) =>\n      Option.some({\n        componentPath: name,\n        functionName: init.convexFunctionName,\n        args: encoded,\n      }),\n    ),\n  );\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;AAgBA,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;AAY9C,MAAM,cAAc,WAClB,UAAU,UAAwB,gBAAgB,CAAC,CACjD,OAAO,UAAU,MAAM,CAAC,CAAC,GAC3B;AAOF,MAAM,qBAA2C,aAC/C,OAAO,aAAaC,OAAgB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,KAAK;;;;;;AAOtE,MAAM,qBACJ,SACA,OACA,WACiC;CACjC,MAAM,UAAU,QAAQ,QAAQ,WAC9B,OAAO,GAAG,MAAM,CAAC,CACf,OAAO,QAAQ,YAAY,QAAQ,OAAO,iBAAiB,CAAC,CAC9D,CACF;CACA,OAAO,QAAQ,WAAW,IACtB,OAAO,QAAQ,KAAK,IACpB,OAAO,eACL,QAAQ,KAAK,WAAW,YAAY,QAAQ,OAAO,MAAM,CAAC,CAC5D;AACN;;;;AAKA,MAAM,eACJ,WAC0D;CAC1D,IAAI,UAAU,YAAY,QAAQ,QAAQ,GAAG;EAC3C,MAAM,SAAS,OAAO;EACtB,QAAQ,QAAQ,OAAO;CACzB;CACA,IAAI,UAAU,UAAU,OAAO,GAAG,KAAK,UAAU,YAAY,QAAQ,OAAO,GAC1E,aAAa,OAAO;AAExB;;;;;;AAOA,MAAM,eACJ,QACA,OACA,WACiC;CACjC,MAAM,WAAW,WAAW,MAAM;CAClC,IAAI,aAAa,KAAA,KAAaC,MAAU,KAAK,GAC3C,OAAO,OAAO,UAAU,KAAK;CAC/B,IAAI,UAAU,YAAY,QAAQ,QAAQ,GACxC,OAAO,YAAY,OAAO,QAAsB,OAAO,MAAM;CAC/D,IAAI,UAAU,YAAY,QAAQ,SAAS,KAAK,MAAM,QAAQ,OAAO,OAAO,GAC1E,OAAO,kBAAkB,OAAO,SAAS,OAAO,MAAM;CACxD,MAAM,KAAK,YAAY,MAAM;CAC7B,IAAI,OAAO,KAAA,KAAa,CAAC,UAAU,SAAS,KAAK,GAC/C,OAAO,OAAO,QAAQ,KAAK;CAC7B,OAAO,OAAO,QAAQ,OAAO,QAAQ,KAAK,IAAI,CAAC,KAAK,WAAW;EAC7D,MAAM,cAAc,GAAG,GAAG;EAC1B,OAAO,gBAAgB,KAAA,IACnB,OAAO,QAAQ,CAAC,KAAK,KAAK,CAAU,IACpC,YAAY,aAAa,OAAO,MAAM,CAAC,CAAC,KACtC,OAAO,KAAK,aAAa,CAAC,KAAK,QAAQ,CAAU,CACnD;CACN,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,OAAO,WAAW,CAAC;AACxC;;;;;;AAOA,MAAa,YACX,OACA,WACsE;CACtE,MAAM,EAAE,WAAW,MAAM,SAAS,KAAK,KAAK;CAC5C,MAAM,OAAO,UAAU;CACvB,IAAI,SAAS,KAAA,GAAW,OAAO,OAAO;CACtC,OAAO,YAAY,KAAK,MAAM,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,KAChD,OAAO,QAAQ,OAAO,oBAAoB,KAAK,IAAI,CAAC,GACpD,OAAO,KAAK,YACV,OAAO,KAAK;EACV,eAAe;EACf,cAAc,KAAK;EACnB,MAAM;CACR,CAAC,CACH,CACF;AACF"}

package/dist/PaginationError.js

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

package/dist/Profile.d.ts

@@ -0,0 +1,95 @@
+import type * as Schema from "effect/Schema";
+import type * as FunctionProvenance from "./FunctionProvenance.js";
+import type * as MiddlewareSpec from "./MiddlewareSpec.js";
+/**
+ * A type-level function from a function's name and args fields to the fields a
+ * profile's builders require. Read `this["Name"]` and `this["Args"]` directly
+ * in `Type`, passing them to a type alias; a nested object type cannot name
+ * `this`.
+ */
+export interface Fields {
+    readonly Name: string;
+    readonly Args: unknown;
+    readonly Type: object;
+}
+export interface NoFields extends Fields {
+    readonly Type: {};
+}
+export type Apply<Fields_ extends Fields, Name_ extends string, Args_> = (Fields_ & {
+    readonly Name: Name_;
+    readonly Args: Args_;
+})["Type"];
+/**
+ * A base profile's fields and its extension's, for one function.
+ */
+export interface Both<Base extends Fields, Extension extends Fields> extends Fields {
+    readonly Type: Apply<Base, this["Name"], this["Args"]> & Apply<Extension, this["Name"], this["Args"]>;
+}
+/**
+ * What a profile callback sees. `args` stays a thunk.
+ */
+export interface Info<FieldsType> {
+    readonly name: string;
+    readonly description?: string;
+    readonly args: () => FunctionProvenance.ArgsFields;
+    readonly fields: "description" extends keyof FieldsType ? Omit<FieldsType, "description"> : FieldsType;
+}
+export interface Attachment<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec, FieldsType> {
+    readonly spec: MiddlewareSpec_;
+    readonly options: (info: Info<FieldsType>) => MiddlewareSpec.Options<MiddlewareSpec_>;
+}
+/**
+ * A middleware without options has none to compute and is attached at most
+ * once, so it joins a profile's list directly.
+ */
+type TakesOptions<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec> = [
+    MiddlewareSpec.WithoutOptions<MiddlewareSpec_>
+] extends [never] ? unknown : MiddlewareSpec.AttachmentError<`Middleware "${MiddlewareSpec.Key<MiddlewareSpec_>}" takes no options, so list it without Profile.attach`>;
+/**
+ * Attach a middleware that takes options to every function a profile builds,
+ * with options computed from each function's fields.
+ */
+export declare const attach: <MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec, FieldsType>(spec: MiddlewareSpec_ & TakesOptions<MiddlewareSpec_>, options: (info: Info<FieldsType>) => MiddlewareSpec.Options<NoInfer<MiddlewareSpec_>>) => Attachment<MiddlewareSpec_, FieldsType>;
+/**
+ * A type function for a schema wrapper, applied to each declared codec.
+ */
+export interface SchemaTransform {
+    readonly Input: Schema.Codec<unknown, unknown>;
+    readonly Type: Schema.Codec<any, any>;
+}
+/**
+ * Args wrappers transform the declared field map, before Struct composition.
+ */
+export interface ArgsTransform {
+    readonly Input: unknown;
+    readonly Type: FunctionProvenance.ArgsFields;
+}
+export interface Transforms {
+    readonly args?: ArgsTransform;
+    readonly returns?: SchemaTransform;
+    readonly item?: SchemaTransform;
+    readonly error?: SchemaTransform;
+}
+export type Transform<T, Input> = (T & {
+    readonly Input: Input;
+})["Type" & keyof T];
+/**
+ * Error wrappers opt into Schema.Never when no error thunk was declared.
+ */
+export type Wrappers<T extends Transforms, FieldsType> = {
+    readonly [K in keyof T]-?: K extends keyof Transforms ? <Input extends (K extends "args" ? FunctionProvenance.ArgsFields : Schema.Codec<any, any>)>(thunk: () => Input, info: Info<FieldsType>) => () => Transform<T[K], Input> : never;
+} & {
+    readonly [K in Exclude<keyof Transforms, keyof T>]?: never;
+};
+type NonemptyError<T extends Transforms> = T extends {
+    readonly error: infer E extends SchemaTransform;
+} ? [Transform<E, typeof Schema.Never>["Type"]] extends [never] ? MiddlewareSpec.AttachmentError<"Profile error wrapper must add an error to Schema.Never"> : unknown : unknown;
+export type SchemaConfig<T extends Transforms, FieldsType> = ([
+    keyof T
+] extends [never] ? {
+    readonly schemas?: never;
+} : {
+    readonly schemas: Wrappers<T, FieldsType>;
+}) & NonemptyError<T>;
+export {};
+//# sourceMappingURL=Profile.d.ts.map

package/dist/Profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Profile.d.ts","sourceRoot":"","sources":["../src/Profile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAGtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,QAAS,SAAQ,MAAM;IACtC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;CACnB;AAED,MAAM,MAAM,KAAK,CACf,OAAO,SAAS,MAAM,EACtB,KAAK,SAAS,MAAM,EACpB,KAAK,IACH,CAAC,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,IAAI,CACnB,IAAI,SAAS,MAAM,EACnB,SAAS,SAAS,MAAM,CACxB,SAAQ,MAAM;IACd,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GACpD,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,IAAI,CAAC,UAAU;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,kBAAkB,CAAC,UAAU,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,aAAa,SAAS,MAAM,UAAU,GACnD,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,GAC/B,UAAU,CAAC;CAChB;AAED,MAAM,WAAW,UAAU,CACzB,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACxD,UAAU;IAEV,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,CAChB,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KACnB,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;CAC9C;AAED;;;GAGG;AACH,KAAK,YAAY,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,IAAI;IAC5E,cAAc,CAAC,cAAc,CAAC,eAAe,CAAC;CAC/C,SAAS,CAAC,KAAK,CAAC,GACb,OAAO,GACP,cAAc,CAAC,eAAe,CAAC,eAAe,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,uDAAuD,CAAC,CAAC;AAE9I;;;GAGG;AACH,eAAO,MAAM,MAAM,GACjB,eAAe,SAAS,cAAc,CAAC,iBAAiB,EACxD,UAAU,QAEJ,eAAe,GAAG,YAAY,CAAC,eAAe,CAAC,WAC5C,CACP,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KACnB,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,KACpD,UAAU,CAAC,eAAe,EAAE,UAAU,CAAwB,CAAC;AAElE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC;CAC9C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC;CAClC;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC,MAAM,GACtE,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,EAAE,UAAU,IAAI;IACvD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,UAAU,GACjD,CACE,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,GAC3B,kBAAkB,CAAC,UAAU,GAC7B,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAE3B,KAAK,EAAE,MAAM,KAAK,EAClB,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KACnB,MAAM,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GACjC,KAAK;CACV,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;CAAE,CAAC;AAEnE,KAAK,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,eAAe,CAAC;CACjD,GACG,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzD,cAAc,CAAC,eAAe,CAAC,yDAAyD,CAAC,GACzF,OAAO,GACT,OAAO,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,UAAU,IAAI,CAAC;IAC5D,MAAM,CAAC;CACR,SAAS,CAAC,KAAK,CAAC,GACb;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC,GAChD,aAAa,CAAC,CAAC,CAAC,CAAC"}

package/dist/Profile.js

@@ -0,0 +1,15 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+//#region src/Profile.ts
+var Profile_exports = /* @__PURE__ */ __exportAll({ attach: () => attach });
+/**
+* Attach a middleware that takes options to every function a profile builds,
+* with options computed from each function's fields.
+*/
+const attach = (spec, options) => ({
+	spec,
+	options
+});
+//#endregion
+export { Profile_exports, attach };
+
+//# sourceMappingURL=Profile.js.map

package/dist/Profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Profile.js","names":[],"sources":["../src/Profile.ts"],"sourcesContent":["import type * as Schema from \"effect/Schema\";\nimport type * as FunctionProvenance from \"./FunctionProvenance.js\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec.js\";\n\n/**\n * A type-level function from a function's name and args fields to the fields a\n * profile's builders require. Read `this[\"Name\"]` and `this[\"Args\"]` directly\n * in `Type`, passing them to a type alias; a nested object type cannot name\n * `this`.\n */\nexport interface Fields {\n  readonly Name: string;\n  // `unknown`, not `ArgsFields`: an index signature here would leak into\n  // `keyof this[\"Args\"]`.\n  readonly Args: unknown;\n  readonly Type: object;\n}\n\nexport interface NoFields extends Fields {\n  readonly Type: {};\n}\n\nexport type Apply<\n  Fields_ extends Fields,\n  Name_ extends string,\n  Args_,\n> = (Fields_ & { readonly Name: Name_; readonly Args: Args_ })[\"Type\"];\n\n/**\n * A base profile's fields and its extension's, for one function.\n */\nexport interface Both<\n  Base extends Fields,\n  Extension extends Fields,\n> extends Fields {\n  readonly Type: Apply<Base, this[\"Name\"], this[\"Args\"]> &\n    Apply<Extension, this[\"Name\"], this[\"Args\"]>;\n}\n\n/**\n * What a profile callback sees. `args` stays a thunk.\n */\nexport interface Info<FieldsType> {\n  readonly name: string;\n  readonly description?: string;\n  readonly args: () => FunctionProvenance.ArgsFields;\n  readonly fields: \"description\" extends keyof FieldsType\n    ? Omit<FieldsType, \"description\">\n    : FieldsType;\n}\n\nexport interface Attachment<\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n  FieldsType,\n> {\n  readonly spec: MiddlewareSpec_;\n  readonly options: (\n    info: Info<FieldsType>,\n  ) => MiddlewareSpec.Options<MiddlewareSpec_>;\n}\n\n/**\n * A middleware without options has none to compute and is attached at most\n * once, so it joins a profile's list directly.\n */\ntype TakesOptions<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec> = [\n  MiddlewareSpec.WithoutOptions<MiddlewareSpec_>,\n] extends [never]\n  ? unknown\n  : MiddlewareSpec.AttachmentError<`Middleware \"${MiddlewareSpec.Key<MiddlewareSpec_>}\" takes no options, so list it without Profile.attach`>;\n\n/**\n * Attach a middleware that takes options to every function a profile builds,\n * with options computed from each function's fields.\n */\nexport const attach = <\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec,\n  FieldsType,\n>(\n  spec: MiddlewareSpec_ & TakesOptions<MiddlewareSpec_>,\n  options: (\n    info: Info<FieldsType>,\n  ) => MiddlewareSpec.Options<NoInfer<MiddlewareSpec_>>,\n): Attachment<MiddlewareSpec_, FieldsType> => ({ spec, options });\n\n/**\n * A type function for a schema wrapper, applied to each declared codec.\n */\nexport interface SchemaTransform {\n  readonly Input: Schema.Codec<unknown, unknown>;\n  readonly Type: Schema.Codec<any, any>;\n}\n\n/**\n * Args wrappers transform the declared field map, before Struct composition.\n */\nexport interface ArgsTransform {\n  readonly Input: unknown;\n  readonly Type: FunctionProvenance.ArgsFields;\n}\n\nexport interface Transforms {\n  readonly args?: ArgsTransform;\n  readonly returns?: SchemaTransform;\n  readonly item?: SchemaTransform;\n  readonly error?: SchemaTransform;\n}\n\nexport type Transform<T, Input> = (T & { readonly Input: Input })[\"Type\" &\n  keyof T];\n\n/**\n * Error wrappers opt into Schema.Never when no error thunk was declared.\n */\nexport type Wrappers<T extends Transforms, FieldsType> = {\n  readonly [K in keyof T]-?: K extends keyof Transforms\n    ? <\n        Input extends (K extends \"args\"\n          ? FunctionProvenance.ArgsFields\n          : Schema.Codec<any, any>),\n      >(\n        thunk: () => Input,\n        info: Info<FieldsType>,\n      ) => () => Transform<T[K], Input>\n    : never;\n} & { readonly [K in Exclude<keyof Transforms, keyof T>]?: never };\n\ntype NonemptyError<T extends Transforms> = T extends {\n  readonly error: infer E extends SchemaTransform;\n}\n  ? [Transform<E, typeof Schema.Never>[\"Type\"]] extends [never]\n    ? MiddlewareSpec.AttachmentError<\"Profile error wrapper must add an error to Schema.Never\">\n    : unknown\n  : unknown;\n\nexport type SchemaConfig<T extends Transforms, FieldsType> = ([\n  keyof T,\n] extends [never]\n  ? { readonly schemas?: never }\n  : { readonly schemas: Wrappers<T, FieldsType> }) &\n  NonemptyError<T>;\n"],"mappings":";;;;;;;AA2EA,MAAa,UAIX,MACA,aAG6C;CAAE;CAAM;AAAQ"}