export declare const annotateHeaders: {
  (
    headers: Headers.Input
  ): <Req extends Schema.TaggedRequest.Any, R>(
    self: RequestResolver.RequestResolver<Rpc.Request<Req>, R>
  ) => RequestResolver.RequestResolver<Rpc.Request<Req>, R>
  <Req extends Schema.TaggedRequest.Any, R>(
    self: RequestResolver.RequestResolver<Rpc.Request<Req>, R>,
    headers: Headers.Input
  ): RequestResolver.RequestResolver<Rpc.Request<Req>, R>
}

export declare const annotateHeadersEffect: {
  <E, R2>(
    headers: Effect.Effect<Headers.Input, E, R2>
  ): <Req extends Schema.TaggedRequest.Any, R>(
    self: RequestResolver.RequestResolver<Rpc.Request<Req>, R>
  ) => RequestResolver.RequestResolver<Rpc.Request<Req>, R2 | R>
  <Req extends Schema.TaggedRequest.Any, R, E, R2>(
    self: RequestResolver.RequestResolver<Rpc.Request<Req>, R>,
    headers: Effect.Effect<Headers.Input, E, R2>
  ): RequestResolver.RequestResolver<Rpc.Request<Req>, R | R2>
}

export declare const toClient: <R extends unknown>(resolver: R, options?: { readonly spanPrefix?: string }) => Client<R>

export declare const make: <HR, E>(
  handler: (u: ReadonlyArray<unknown>) => Stream.Stream<unknown, E, HR>
) => <R extends Router.Router<any, any>>() => RequestResolver.RequestResolver<
  Rpc.Request<Router.Router.Request<R>>,
  any
>

export type Client<
  R extends
    | RequestResolver.RequestResolver<Rpc.Request<any>, never>
    | Effect.Effect<RequestResolver.RequestResolver<Rpc.Request<any>, never>, never, any>
> =
  R extends Effect.Effect<RequestResolver.RequestResolver<Rpc.Request<infer RReq>>, infer _E, infer R>
    ? <Req extends RReq>(request: Req) => Rpc.Rpc.Result<Req, R>
    : R extends RequestResolver.RequestResolver<Rpc.Request<infer RReq>, never>
      ? <Req extends RReq>(request: Req) => Rpc.Rpc.Result<Req>
      : never