export declare const toHandler: {
  (options?: {
    readonly spanPrefix?: string
  }): <R extends RpcRouter<any, any>>(
    self: R
  ) => (u: unknown) => Stream.Stream<RpcRouter.Response, ParseError, RpcRouter.Context<R>>
  <R extends RpcRouter<any, any>>(
    self: R,
    options?: { readonly spanPrefix?: string }
  ): (u: unknown) => Stream.Stream<RpcRouter.Response, ParseError, RpcRouter.Context<R>>
}

export declare const toHandlerNoStream: {
  (options?: {
    readonly spanPrefix?: string
  }): <R extends RpcRouter<any, any>>(
    self: R
  ) => (u: unknown) => Effect.Effect<RpcRouter.ResponseEffect, ParseError, RpcRouter.Context<R>>
  <R extends RpcRouter<any, any>>(
    self: R,
    options?: { readonly spanPrefix?: string }
  ): (u: unknown) => Effect.Effect<RpcRouter.ResponseEffect, ParseError, RpcRouter.Context<R>>
}

export declare const toHandlerRaw: <R extends RpcRouter<any, any>>(
  router: R
) => <Req extends RpcRouter.Request<R>>(request: Req) => Rpc.Rpc.Result<Req, RpcRouter.ContextRaw<R>>

export declare const toHandlerUndecoded: <R extends RpcRouter<any, any>>(
  router: R
) => <Req extends RpcRouter.Request<R>>(request: Req) => Rpc.Rpc.ResultUndecoded<Req, RpcRouter.Context<R>>

export declare const make: <Rpcs extends ReadonlyArray<Rpc.Rpc<any, any> | RpcRouter<any, any>>>(
  ...rpcs: Rpcs
) => RpcRouter<
  | Rpc.Rpc.Request<Extract<Rpcs[number], { readonly [Rpc.TypeId]: Rpc.TypeId }>>
  | RpcRouter.Request<Extract<Rpcs[number], { readonly [TypeId]: TypeId }>>,
  | Rpc.Rpc.Context<Extract<Rpcs[number], { readonly [Rpc.TypeId]: Rpc.TypeId }>>
  | RpcRouter.Context<Extract<Rpcs[number], { readonly [TypeId]: TypeId }>>
>

export declare const provideService: {
  <I, S>(
    tag: Context.Tag<I, S>,
    service: S
  ): <Reqs extends Schema.TaggedRequest.All, R>(self: RpcRouter<Reqs, R>) => RpcRouter<Reqs, Exclude<R, I>>
  <Reqs extends Schema.TaggedRequest.All, R, I, S>(
    self: RpcRouter<Reqs, R>,
    tag: Context.Tag<I, S>,
    service: S
  ): RpcRouter<Reqs, Exclude<R, I>>
}

export declare const provideServiceEffect: {
  <I, S, E, R2>(
    tag: Context.Tag<I, S>,
    effect: Effect.Effect<S, E, R2>
  ): <Reqs extends Schema.TaggedRequest.All, R>(self: RpcRouter<Reqs, R>) => RpcRouter<Reqs, Exclude<R, I> | R2>
  <Reqs extends Schema.TaggedRequest.All, R, I, S, E, R2>(
    self: RpcRouter<Reqs, R>,
    tag: Context.Tag<I, S>,
    effect: Effect.Effect<S, E, R2>
  ): RpcRouter<Reqs, Exclude<R, I> | R2>
}

export interface RpcRouter<Reqs extends Schema.TaggedRequest.All, R> extends Pipeable {
  readonly [TypeId]: TypeId
  readonly rpcs: ReadonlySet<Rpc.Rpc<Reqs, R>>
}

export type Context<A extends RpcRouter<any, any>> =
  A extends RpcRouter<infer Req, infer R> ? R | Schema.SerializableWithResult.Context<Req> : never

export type ContextRaw<A extends RpcRouter<any, any>> =
  A extends RpcRouter<infer Req, infer R> ? R | Schema.Serializable.Context<Req> : never

export type Request<A extends RpcRouter<any, any>> = A extends RpcRouter<infer Req, infer _R> ? Req : never

export type Response = [
  index: number,
  response: Schema.ExitEncoded<any, any, unknown> | ReadonlyArray<Schema.ExitEncoded<any, any, unknown>>
]

export type ResponseEffect =
  | Schema.ExitEncoded<any, any, unknown>
  | ReadonlyArray<Schema.ExitEncoded<any, any, unknown>>

export declare const isRpcRouter: (u: unknown) => u is RpcRouter<any, any>

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId