export declare function RequestResolver<const Requests extends Readonly<Record<string, Request<any, any, any>>>>(
  requests: Requests
): {
  <const Id extends IdentifierFactory<any>>(id: Id): RequestResolver<IdentifierOf<Id>, Requests>
  <const Id>(id: Id): RequestResolver<IdentifierOf<Id>, Requests>
}

export interface RequestResolver<Id, Requests extends Readonly<Record<string, Request<any, any, any>>>>
  extends Tag<Id, RR.RequestResolver<Request.Req<Requests[keyof Requests]>>> {
  readonly requests: Compact<DerivedRequests<Id, Requests>>

  readonly fromFunction: (
    f: (req: Request.Req<Requests[keyof Requests]>) => Request.Success<Requests[keyof Requests]>
  ) => Layer.Layer<Id | Request.Identifier<Requests[keyof Requests]>>

  readonly fromFunctionBatched: (
    f: (reqs: Array<Request.Req<Requests[keyof Requests]>>) => Array<Request.Success<Requests[keyof Requests]>>
  ) => Layer.Layer<Id | Request.Identifier<Requests[keyof Requests]>>

  readonly make: <R>(
    f: (req: Array<Array<Request.Req<Requests[keyof Requests]>>>) => Effect.Effect<void, never, R>
  ) => Layer.Layer<Id, never, R>

  readonly makeBatched: <R>(
    f: (req: Array<Request.Req<Requests[keyof Requests]>>) => Effect.Effect<void, never, R>
  ) => Layer.Layer<Id | Request.Identifier<Requests[keyof Requests]>, never, R>

  readonly makeWithEntry: <R>(
    f: (req: Array<Array<Req.Entry<Request.Req<Requests[keyof Requests]>>>>) => Effect.Effect<void, never, R>
  ) => Layer.Layer<Id | Request.Identifier<Requests[keyof Requests]>, never, R>
}

export type Identifier<T> = T extends RequestResolver<infer Id, infer _> ? Id : never

export type Identifiers<T> = Identifier<T> | Request.Identifier<Requests<T>>

export type Requests<T> = T extends RequestResolver<infer _, infer Requests> ? Requests : never

export type Resolver<T> = RR.RequestResolver<Request.Req<Requests<T>[keyof Requests<T>]>, Identifiers<T>>