Hyperlink.ResolveLocals — API

Hyperlink.ResolveLocalstypesrc/Hyperlink.ts:2286

ResolveLocals<C, I>

Resolve a Tag<Self, I>() contract C into a runnable Spec: each bare local becomes a FromLocalMethod carrying the service interface's type at that key, so the impl (ImplOf) and service (ServiceOf) both derive from I. Wired methods and explicit local<T>()s pass through unchanged.

modelsTagSpec local FromLocalMethod ImplOf ServiceOf

Source src/Hyperlink.ts:22869 lines

export type ResolveLocals<C, I> = {
  readonly [K in keyof C]: C[K] extends BareLocal
    ? FromLocalMethod<K extends keyof I ? I[K] : unknown>
    : C[K] extends Spec
      ? K extends keyof I
        ? ResolveLocals<C[K], I[K]>
        : C[K]
      : C[K];
};