export declare const Request: RequestConstructor

export type Error<T> = R.Request.Error<Req<T>>

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

export type Input<T> = T extends Request<infer _, infer Input, infer __> ? Input : never

export type InputArg<T> = [keyof Input<T>] extends [never] ? [Input<T>?] : [Input<T>]

export type Req<T> = T extends Request<infer _, infer __, infer Req> ? Req : never

export type Success<T> = R.Request.Success<Req<T>>

export interface RequestConstructor {
  <Input, Req extends R.Request<any, any>>(
    makeRequest: (input: Input) => Req
  ): {
    <const Id extends IdentifierFactory<any>>(id: Id): Request<IdentifierOf<Id>, Input, Req>
    <const Id>(id: Id): Request<IdentifierOf<Id>, Input, Req>
  }

  /**
   * Construct a tagged Request implementation to be utilized from the Effect Context.
   * @since 1.0.0
   * @category constructors
   */
  readonly tagged: <Req extends R.Request<any, any> & { readonly _tag: string }>(
    tag: Req["_tag"]
  ) => {
    <const Id extends IdentifierFactory<any>>(
      id: Id
    ): Request<IdentifierOf<Id>, Compact<Omit<Req, "_tag" | typeof R.RequestTypeId>>, Req>
    <const Id>(id: Id): Request<IdentifierOf<Id>, Compact<Omit<Req, "_tag" | typeof R.RequestTypeId>>, Req>
  }
  /**
   * Construct a Request implementation to be utilized from the Effect Context.
   * @since 1.0.0
   * @category constructors
   */
  readonly of: <Req extends R.Request<any, any>>() => {
    <const Id extends IdentifierFactory<any>>(
      id: Id
    ): Request<IdentifierOf<Id>, Compact<Omit<Req, typeof R.RequestTypeId>>, Req>
    <const Id>(id: Id): Request<IdentifierOf<Id>, Compact<Omit<Req, typeof R.RequestTypeId>>, Req>
  }
}

export interface Request<I, Input, Req extends R.Request<any, any>>
  extends Fn<I, (requests: Req) => Effect<R.Request.Success<Req>, R.Request.Error<Req>>> {
  /**
   * Make the request using the provided impleemtation from the Effect Context.
   * @since 1.0.0
   */
  readonly make: (...input: SimplifyInputArg<Input>) => Effect<R.Request.Success<Req>, R.Request.Error<Req>, I>
}