export declare const make: <S extends number, B = ApiSchema.Ignored, H = ApiSchema.Ignored, R = never>(
  status: S,
  body?: ApiSchema.Ignored | Schema.Schema<B, any, R> | undefined,
  headers?: ApiSchema.Ignored | Schema.Schema<H, any, R> | undefined,
  representations?: Array.NonEmptyReadonlyArray<Representation.Representation>
) => ApiResponse<S, B, H, R>

export declare const getBodySchema: <S extends number, B, H, R>(
  response: ApiResponse<S, B, H, R>
) => ApiSchema.Ignored | Schema.Schema<B, any, R>

export declare const getHeadersSchema: <S extends number, B, H, R>(
  response: ApiResponse<S, B, H, R>
) => ApiSchema.Ignored | Schema.Schema<H, any, R>

export declare const getRepresentations: <S extends number, B, H, R>(
  response: ApiResponse<S, B, H, R>
) => readonly [Representation.Representation, ...Representation.Representation[]]

export declare const getStatus: <S extends number, B, H, R>(response: ApiResponse<S, B, H, R>) => S

export interface ApiResponse<S extends ApiResponse.AnyStatus, B, H, R>
  extends ApiResponse.Variance<S, B, H, R>,
    Pipeable.Pipeable {}

export interface Variance<S, B, H, R> {
  readonly [TypeId]: {
    readonly _S: Types.Covariant<S>
    readonly _B: Types.Invariant<B>
    readonly _H: Types.Invariant<H>
    readonly _R: Types.Covariant<R>
  }
}

export type Any = ApiResponse<AnyStatus, any, any, unknown>

export type AnyStatus = number

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

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

export type Default = ApiResponse<200, ApiSchema.Ignored, ApiSchema.Ignored, never>

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

export type Status<Request> = [Request] extends [ApiResponse<infer S, any, any, any>] ? S : never

export declare const setBody: <B, R2>(
  schema: Schema.Schema<B, any, R2>
) => <S extends number, _, H, R1>(response: ApiResponse<S, _, H, R1>) => ApiResponse<S, B, H, R2 | R1>

export declare const setHeaders: <H, R2>(
  schema: Schema.Schema<H, any, R2>
) => <S extends number, B, _, R1>(response: ApiResponse<S, B, _, R1>) => ApiResponse<S, B, H, R2 | R1>

export declare const setRepresentations: (
  representations: readonly [Representation.Representation, ...Representation.Representation[]]
) => <S extends number, B, H, R>(response: ApiResponse<S, B, H, R>) => ApiResponse<S, B, H, R>

export declare const setStatus: <S extends number>(
  schema: S
) => <_ extends number, B, H, R>(response: ApiResponse<_, B, H, R>) => ApiResponse<S, B, H, R>

export declare const isApiResponse: <S extends number = number, B = any, H = any, R = never>(
  u: unknown
) => u is ApiResponse<S, B, H, R>

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId