export declare const getBodySchema: <B, P, Q, H, R>(
  request: ApiRequest<B, P, Q, H, R>
) => Schema.Schema<B, any, R> | ApiSchema.Ignored

export declare const getHeadersSchema: <B, P, Q, H, R>(
  request: ApiRequest<B, P, Q, H, R>
) => Schema.Schema<H, any, R> | ApiSchema.Ignored

export declare const getPathSchema: <B, P, Q, H, R>(
  request: ApiRequest<B, P, Q, H, R>
) => Schema.Schema<P, any, R> | ApiSchema.Ignored

export declare const getQuerySchema: <B, P, Q, H, R>(
  request: ApiRequest<B, P, Q, H, R>
) => Schema.Schema<Q, any, R> | ApiSchema.Ignored

export interface ApiRequest<B, P, Q, H, R> extends ApiRequest.Variance<B, P, Q, H, R> {}

export interface Variance<B, P, Q, H, R> {
  readonly [TypeId]: {
    readonly _B: Types.Invariant<B>
    readonly _P: Types.Invariant<P>
    readonly _Q: Types.Invariant<Q>
    readonly _H: Types.Invariant<H>
    readonly _R: Types.Covariant<R>
  }
}

export type Any = ApiRequest<any, any, any, any, any>

export type Body<Request> = [Request] extends [ApiRequest<infer B, any, any, any, any>] ? B : never

export type Context<Request> = [Request] extends [ApiRequest<any, any, any, any, infer R>] ? R : never

export type Default = ApiRequest<ApiSchema.Ignored, ApiSchema.Ignored, ApiSchema.Ignored, ApiSchema.Ignored, never>

export type Headers<Request> = [Request] extends [ApiRequest<any, any, any, infer H, any>] ? H : never

export type Path<Request> = [Request] extends [ApiRequest<any, infer P, any, any, any>] ? P : never

export type Query<Request> = [Request] extends [ApiRequest<any, any, infer Q, any, any>] ? Q : never

export declare const setBody: <B, R2>(
  schema: Schema.Schema<B, any, R2>
) => <_, P, Q, H, R1>(endpoint: ApiRequest<_, P, Q, H, R1>) => ApiRequest<B, P, Q, H, R1 | R2>

export declare const setHeaders: <H, R2>(
  schema: Schema.Schema<H, any, R2>
) => <B, P, Q, _, R1>(endpoint: ApiRequest<B, P, Q, _, R1>) => ApiRequest<B, P, Q, H, R1 | R2>

export declare const setPath: <P, R2>(
  schema: Schema.Schema<P, any, R2>
) => <B, _, Q, H, R1>(endpoint: ApiRequest<B, _, Q, H, R1>) => ApiRequest<B, P, Q, H, R1 | R2>

export declare const setQuery: <Q, R2>(
  schema: Schema.Schema<Q, any, R2>
) => <B, P, _, H, R1>(endpoint: ApiRequest<B, P, _, H, R1>) => ApiRequest<B, P, Q, H, R1 | R2>

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId