@forklaunch/core 0.7.4 → 0.8.2

package/lib/src/http/index.d.ts

@@ -1,7 +1,7 @@
 import { AnySchemaValidator, UnboxedObjectSchema, IdiomaticSchema, Schema } from '@forklaunch/validator';
 import { O as OpenTelemetryCollector, M as MetricsDefinition, T as TelemetryOptions, L as LoggerMeta, a as LogFn } from '../../openTelemetryCollector-DQC2FfOu.js';
 export { c as MetricType, h as httpRequestsTotalCounter, b as httpServerDurationHistogram } from '../../openTelemetryCollector-DQC2FfOu.js';
-import { Prettify, RemoveTrailingSlash, MakePropertyOptionalIfChildrenOptional } from '@forklaunch/common';
+import { UnionToIntersection, MimeType, Prettify, ExclusiveRecord, RemoveTrailingSlash, MakePropertyOptionalIfChildrenOptional } from '@forklaunch/common';
 import { Span } from '@opentelemetry/api';
 import { ParsedQs } from 'qs';
 import { Readable } from 'stream';
@@ -78,20 +78,85 @@ type QueryObject<SV extends AnySchemaValidator> = StringOnlyObject<SV> & unknown
  * @template SV - A type that extends AnySchemaValidator.
  */
 type HeadersObject<SV extends AnySchemaValidator> = StringOnlyObject<SV> & unknown;
+type RawTypedResponseBody<SV extends AnySchemaValidator> = TextBody<SV> | JsonBody<SV> | FileBody<SV> | ServerSentEventBody<SV> | UnknownResponseBody<SV>;
+type ExclusiveResponseBodyBase<SV extends AnySchemaValidator> = {
+    [K in keyof UnionToIntersection<RawTypedResponseBody<SV>>]?: undefined;
+};
+type ExclusiveSchemaCatchall<SV extends AnySchemaValidator> = {
+    [K in keyof SV['_SchemaCatchall'] as string extends K ? never : number extends K ? never : symbol extends K ? never : K]?: undefined;
+};
+type TypedResponseBody<SV extends AnySchemaValidator> = {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof TextBody<SV> ? TextBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof JsonBody<SV> ? JsonBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof FileBody<SV> ? FileBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof ServerSentEventBody<SV> ? ServerSentEventBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof UnknownResponseBody<SV> ? UnknownResponseBody<SV>[K] : undefined;
+};
+type ResponseBody<SV extends AnySchemaValidator> = TypedResponseBody<SV> | (ExclusiveResponseBodyBase<SV> & SV['_ValidSchemaObject']) | (ExclusiveResponseBodyBase<SV> & UnboxedObjectSchema<SV>) | (ExclusiveResponseBodyBase<SV> & SV['string']);
 /**
  * Type representing the responses object in a request.
  *
  * @template SV - A type that extends AnySchemaValidator.
  */
 type ResponsesObject<SV extends AnySchemaValidator> = {
-    [key: number]: SV['_ValidSchemaObject'] | UnboxedObjectSchema<SV> | string | SV['string'];
-} & unknown;
+    [K: number]: ResponseBody<SV>;
+};
+type JsonBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/json' | string;
+    json: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+};
 /**
  * Type representing the body in a request.
  *
  * @template SV - A type that extends AnySchemaValidator.
  */
-type Body<SV extends AnySchemaValidator> = BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+type TextBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/xml' | 'text/plain' | 'text/html' | 'text/css' | 'text/javascript' | 'text/csv' | 'text/markdown' | 'text/xml' | 'text/rtf' | 'text/x-yaml' | 'text/yaml' | string;
+    text: SV['string'];
+};
+type FileBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/octet-stream' | 'application/pdf' | 'application/vnd.ms-excel' | 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet' | 'application/msword' | 'application/vnd.openxmlformats-officedocument.wordprocessingml.document' | 'application/zip' | 'image/jpeg' | 'image/png' | 'image/gif' | 'audio/mpeg' | 'audio/wav' | 'video/mp4' | string;
+    file: SV['file'] extends (name: string, mimeType: MimeType) => infer R ? R : SV['file'];
+};
+/**
+ * Type representing the body in a request.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ */
+type MultipartForm<SV extends AnySchemaValidator> = {
+    contentType?: 'multipart/form-data' | 'multipart/mixed' | 'multipart/alternative' | 'multipart/related' | 'multipart/signed' | 'multipart/encrypted' | string;
+    multipartForm: BodyObject<SV>;
+};
+/**
+ * Type representing the body in a request.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ */
+type UrlEncodedForm<SV extends AnySchemaValidator> = {
+    contentType?: 'application/x-www-form-urlencoded' | 'application/x-url-encoded' | 'application/x-www-url-encoded' | 'application/x-urlencode' | string;
+    urlEncodedForm: BodyObject<SV>;
+};
+type ServerSentEventBody<SV extends AnySchemaValidator> = {
+    contentType?: 'text/event-stream' | string;
+    event: {
+        id: SV['string'];
+        data: SV['string'] | BodyObject<SV>;
+    };
+};
+type UnknownBody<SV extends AnySchemaValidator> = {
+    contentType?: string;
+    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+};
+type UnknownResponseBody<SV extends AnySchemaValidator> = {
+    contentType?: string;
+    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+};
+type TypedBody<SV extends AnySchemaValidator> = JsonBody<SV> | TextBody<SV> | FileBody<SV> | MultipartForm<SV> | UrlEncodedForm<SV> | UnknownBody<SV>;
+type Body<SV extends AnySchemaValidator> = TypedBody<SV> | BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
 type AuthMethodsBase = ({
     readonly method: 'jwt';
 } | {
@@ -217,14 +282,31 @@ type PathParamHttpContractDetails<SV extends AnySchemaValidator, Path extends `/
  * @template BodySchema - A type for the body schema, defaulting to Body.
  * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
  */
-type HttpContractDetails<SV extends AnySchemaValidator, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, BaseRequest = unknown> = PathParamHttpContractDetails<SV, Path, ParamsSchema, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders, BaseRequest> & {
-    /** Required body schema for the contract */
+type HttpContractDetails<SV extends AnySchemaValidator, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, BaseRequest = unknown> = PathParamHttpContractDetails<SV, Path, ParamsSchema, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders, BaseRequest> & (BodySchema extends SV['_SchemaCatchall'] ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: BodySchema;
+} : BodySchema extends JsonBody<SV> ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: ExclusiveRecord<BodySchema, TypedBody<SV>>;
+} : BodySchema extends TextBody<SV> ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: ExclusiveRecord<BodySchema, TypedBody<SV>>;
+} : BodySchema extends MultipartForm<SV> ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: ExclusiveRecord<BodySchema, TypedBody<SV>>;
+} : BodySchema extends UrlEncodedForm<SV> ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: ExclusiveRecord<BodySchema, TypedBody<SV>>;
+} : BodySchema extends FileBody<SV> ? {
+    /** Required body schema for body-based methods for the contract */
+    readonly body: ExclusiveRecord<BodySchema, TypedBody<SV>>;
+} : {
+    /** Required body schema for body-based methods for the contract */
     readonly body: BodySchema;
-    /** Optional content type for the contract */
-    readonly contentType?: 'application/json' | 'multipart/form-data' | 'application/x-www-form-urlencoded';
+}) & {
     readonly auth?: SchemaAuthMethods<SV, string | number | symbol extends ExtractedParamsObject<Path> ? {
         [K in keyof ExtractedParamsObject<Path>]: ParamsSchema[K];
-    } : ParamsSchema, BodySchema, QuerySchema, ReqHeaders, BaseRequest> & {};
+    } : ParamsSchema, BodySchema, QuerySchema, ReqHeaders, BaseRequest>;
 };
 /**
  * Interface representing HTTP contract details for middleware.
@@ -316,8 +398,8 @@ interface ForklaunchStatusResponse<ResBody> {
      * @returns {T} - The sent response.
      */
     send: {
-        <T>(body?: ResBody, close_connection?: boolean): T;
-        <T>(body?: ResBody): T;
+        (body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody | null, close_connection?: boolean): boolean;
+        <U>(body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody | null, close_connection?: boolean): U;
     };
     /**
      * Sends a JSON response.
@@ -325,8 +407,8 @@ interface ForklaunchStatusResponse<ResBody> {
      * @returns {boolean|T} - The JSON response.
      */
     json: {
-        (body?: ResBody): boolean;
-        <T>(body?: ResBody): T;
+        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
+        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
     };
     /**
      * Sends a JSONP response.
@@ -334,17 +416,24 @@ interface ForklaunchStatusResponse<ResBody> {
      * @returns {boolean|T} - The JSONP response.
      */
     jsonp: {
-        (body?: ResBody): boolean;
-        <T>(body?: ResBody): T;
+        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
+        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
     };
+    /**
+     * Sends a Server-Sent Event (SSE) response.
+     * @param {ResBodyMap} [body] - The response body.
+     * @param {number} interval - The interval between events.
+     */
+    sseEmitter: (generator: () => AsyncGenerator<ResBody extends AsyncGenerator<infer T> ? T : never, void, unknown>) => void;
 }
+type ToNumber<T extends string | number | symbol> = T extends number ? T : T extends `${infer N extends number}` ? N : never;
 /**
  * Interface representing a Forklaunch response.
  *
  * @template ResBodyMap - A type for the response body, defaulting to common status code responses.
  * @template StatusCode - A type for the status code, defaulting to number.
  */
-interface ForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>> {
+interface ForklaunchResponse<BaseResponse, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>> {
     /** Data of the response body */
     bodyData: unknown;
     /** Status code of the response */
@@ -361,19 +450,22 @@ interface ForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHead
      * @param {string} key - The header key.
      * @param {string} value - The header value.
      */
-    setHeader: <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]) => void;
+    setHeader: {
+        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): void;
+        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): BaseResponse;
+    };
     /**
      * Adds an event listener to the response.
      * @param {string} event - The event to listen for.
      * @param {Function} listener - The listener function.
      */
-    on(event: 'close', listener: () => void): this;
-    on(event: 'drain', listener: () => void): this;
-    on(event: 'error', listener: (err: Error) => void): this;
-    on(event: 'finish', listener: () => void): this;
-    on(event: 'pipe', listener: (src: Readable) => void): this;
-    on(event: 'unpipe', listener: (src: Readable) => void): this;
-    on(event: string | symbol, listener: (...args: unknown[]) => void): this;
+    on(event: 'close', listener: () => void): BaseResponse & this;
+    on(event: 'drain', listener: () => void): BaseResponse & this;
+    on(event: 'error', listener: (err: Error) => void): BaseResponse & this;
+    on(event: 'finish', listener: () => void): BaseResponse & this;
+    on(event: 'pipe', listener: (src: Readable) => void): BaseResponse & this;
+    on(event: 'unpipe', listener: (src: Readable) => void): BaseResponse & this;
+    on(event: string | symbol, listener: (...args: unknown[]) => void): BaseResponse & this;
     /**
      * Sets the status of the response.
      * @param {U} code - The status code.
@@ -381,19 +473,25 @@ interface ForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHead
      * @returns {ForklaunchResponse<(ResBodyMap)[U], ResHeaders, U, LocalsObj>} - The response with the given status.
      */
     status: {
-        <U extends keyof (ResBodyMap & ForklaunchResErrors)>(code: U): ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
-        <U extends keyof (ResBodyMap & ForklaunchResErrors)>(code: U, message?: string): ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
+        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
+        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U, message?: string): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
     };
     /**
      * Ends the response.
      * @param {string} [data] - Optional data to send.
      */
-    end: (data?: string) => void;
+    end: {
+        (data?: string): void;
+        (cb?: (() => void) | undefined): BaseResponse;
+    };
     /**
      * Sets the content type of the response.
      * @param {string} type - The content type.
      */
-    type: (type: string) => void;
+    type: {
+        (type: string): void;
+        (type: string): BaseResponse;
+    };
     /** Local variables */
     locals: LocalsObj;
     /** Cors */
@@ -402,6 +500,8 @@ interface ForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHead
     responseSchemas: ResponseCompiledSchema;
     /** Whether the metric has been recorded */
     metricRecorded: boolean;
+    /** Whether the response has been sent */
+    sent: boolean;
 }
 /**
  * Type representing the next function in a middleware.
@@ -432,13 +532,20 @@ type ResolvedForklaunchRequest<SV extends AnySchemaValidator, P extends ParamsDi
  * @template StatusCode - A type for the status code, defaulting to number.
  */
 interface ExpressLikeHandler<SV extends AnySchemaValidator, P extends ParamsDictionary, ResBodyMap extends Record<number, unknown>, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>, BaseRequest, BaseResponse, NextFunction> {
-    (req: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, BaseRequest>, res: unknown extends BaseResponse ? ForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj> : {
-        [key in keyof BaseResponse]: key extends keyof ForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj> ? ForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj>[key] : key extends keyof BaseResponse ? BaseResponse[key] : never;
-    }, next?: NextFunction): void | Promise<void>;
+    (req: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, BaseRequest>, res: unknown extends BaseResponse ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj> : {
+        [key in keyof BaseResponse]: key extends keyof ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj> ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj>[key] : key extends keyof BaseResponse ? BaseResponse[key] : never;
+    }, next: NextFunction): void | Promise<void>;
 }
 type MapParamsSchema<SV extends AnySchemaValidator, P extends ParamsObject<SV>> = MapSchema<SV, P> extends infer Params ? unknown extends Params ? ParamsDictionary : Params : ParamsDictionary;
-type MapResBodyMapSchema<SV extends AnySchemaValidator, ResBodyMap extends ResponsesObject<SV>> = MapSchema<SV, ResBodyMap> extends infer ResponseBodyMap ? unknown extends ResponseBodyMap ? ForklaunchResErrors : ResponseBodyMap : ForklaunchResErrors;
-type MapReqBodySchema<SV extends AnySchemaValidator, ReqBody extends Body<SV>> = MapSchema<SV, ReqBody> extends infer Body ? unknown extends Body ? Record<string, unknown> : Body : Record<string, unknown>;
+type ExtractContentType<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends {
+    contentType: string;
+} ? T['contentType'] : T extends JsonBody<SV> ? 'application/json' : T extends TextBody<SV> ? 'text/plain' : T extends FileBody<SV> ? 'application/octet-stream' : T extends ServerSentEventBody<SV> ? 'text/event-stream' : T extends UnknownResponseBody<SV> ? 'application/json' : T extends SV['string'] ? 'text/plain' : 'text/plain';
+type ExtractResponseBody<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends JsonBody<SV> ? MapSchema<SV, T['json']> : T extends TextBody<SV> ? MapSchema<SV, T['text']> : T extends FileBody<SV> ? File | Blob : T extends ServerSentEventBody<SV> ? AsyncGenerator<MapSchema<SV, T['event']>> : T extends UnknownResponseBody<SV> ? MapSchema<SV, T['schema']> : MapSchema<SV, T>;
+type MapResBodyMapSchema<SV extends AnySchemaValidator, ResBodyMap extends ResponsesObject<SV>> = unknown extends ResBodyMap ? ForklaunchResErrors : {
+    [K in keyof ResBodyMap]: ExtractResponseBody<SV, ResBodyMap[K]>;
+};
+type ExtractBody<SV extends AnySchemaValidator, T extends Body<SV>> = T extends JsonBody<SV> ? T['json'] : T extends TextBody<SV> ? T['text'] : T extends FileBody<SV> ? T['file'] : T extends MultipartForm<SV> ? T['multipartForm'] : T extends UrlEncodedForm<SV> ? T['urlEncodedForm'] : T extends UnknownBody<SV> ? T['schema'] : T;
+type MapReqBodySchema<SV extends AnySchemaValidator, ReqBody extends Body<SV>> = MapSchema<SV, ExtractBody<SV, ReqBody>> extends infer Body ? unknown extends Body ? Record<string, unknown> : Body : Record<string, unknown>;
 type MapReqQuerySchema<SV extends AnySchemaValidator, ReqQuery extends QueryObject<SV>> = MapSchema<SV, ReqQuery> extends infer Query ? unknown extends Query ? ParsedQs : Query : ParsedQs;
 type MapReqHeadersSchema<SV extends AnySchemaValidator, ReqHeaders extends HeadersObject<SV>> = MapSchema<SV, ReqHeaders> extends infer RequestHeaders ? unknown extends RequestHeaders ? Record<string, string> : RequestHeaders : Record<string, string>;
 type MapResHeadersSchema<SV extends AnySchemaValidator, ResHeaders extends HeadersObject<SV>> = MapSchema<SV, ResHeaders> extends infer ResponseHeaders ? unknown extends ResponseHeaders ? ForklaunchResHeaders : ResponseHeaders : ForklaunchResHeaders;
@@ -489,27 +596,35 @@ type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P ext
     query: MapSchema<SV, ReqQuery>;
 }) & (HeadersObject<SV> extends ReqHeaders ? unknown : {
     headers: MapSchema<SV, ReqHeaders>;
-}) extends infer Request ? SdkResponse<ForklaunchResErrors & (HeadersObject<SV> extends ResBodyMap ? unknown : MapSchema<SV, ResBodyMap>), ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>> extends infer Return ? unknown extends Request ? (route: RemoveTrailingSlash<Route>) => Promise<Return> : (route: RemoveTrailingSlash<Route>, request: MakePropertyOptionalIfChildrenOptional<Request> & unknown) => Promise<Return> : never : never;
+}) extends infer Request ? SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>> extends infer Return ? unknown extends Request ? (route: RemoveTrailingSlash<Route>) => Promise<Return> : (route: RemoveTrailingSlash<Route>, request: Prettify<MakePropertyOptionalIfChildrenOptional<Request>>) => Promise<Return> : never : never;
 /**
  * Represents a basic SDK Response object.
  *
  * @template ResBodyMap - A type for the response body.
  * @template ResHeaders - A type for the response headers.
  */
-type SdkResponse<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string> | unknown> = Prettify<{
+type SdkResponse<SV extends AnySchemaValidator, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string> | unknown> = Prettify<({
+    [K in keyof ForklaunchResErrors]: {
+        code: K;
+        contentType: 'text/plain';
+        response: ForklaunchResErrors[K];
+    };
+} & {
     [K in keyof ResBodyMap]: {
         code: K;
-        response: ResBodyMap[K];
+        contentType: ExtractContentType<SV, ResBodyMap[K]>;
+        response: ExtractResponseBody<SV, ResBodyMap[K]>;
     } & (unknown extends ResHeaders ? unknown : {
         headers: ResHeaders;
     });
-}[keyof ResBodyMap]>;
+})[keyof (ForklaunchResErrors & ResBodyMap)]>;
 /**
  * Represents the default error types for responses.
  */
-type ForklaunchResErrors<BadRequest = string, Unauthorized = string, Forbidden = string, InternalServerErrorType = string> = {
+type ForklaunchResErrors<BadRequest = string, Unauthorized = string, NotFound = string, Forbidden = string, InternalServerErrorType = string> = {
     400: BadRequest;
     401: Unauthorized;
+    404: NotFound;
     403: Forbidden;
     500: InternalServerErrorType;
 };
@@ -644,12 +759,13 @@ declare class ForklaunchExpressLikeRouter<SV extends AnySchemaValidator, BasePat
     #private;
     readonly schemaValidator: SV;
     readonly internal: Internal;
+    readonly postEnrichMiddleware: RouterHandler[];
     readonly openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>;
     requestHandler: RouterHandler;
     routers: ForklaunchRouter<SV>[];
     readonly routes: ForklaunchRoute<SV>[];
     readonly basePath: BasePath;
-    constructor(basePath: BasePath, schemaValidator: SV, internal: Internal, openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>);
+    constructor(basePath: BasePath, schemaValidator: SV, internal: Internal, postEnrichMiddleware: RouterHandler[], openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>);
     registerRoute<ContractMethod extends Method, Path extends `/${string}`, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, LocalsObj extends Record<string, unknown>>(method: ContractMethod, path: Path, registrationMethod: PathBasedHandler<RouterHandler>, contractDetailsOrMiddlewareOrTypedHandler: ContractDetailsOrMiddlewareOrTypedHandler<SV, ContractMethod, Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction>, ...middlewareOrMiddlewareAndTypedHandler: MiddlewareOrMiddlewareWithTypedHandler<SV, ContractMethod, Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction>[]): LiveTypeFunction<SV, `${BasePath}${Path}`, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders>;
     registerMiddlewareHandler<Path extends `/${string}`, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, LocalsObj extends Record<string, unknown>>(registrationMethod: PathOrMiddlewareBasedHandler<RouterHandler>, pathOrContractDetailsOrMiddlewareOrTypedHandler: Path | ContractDetailsOrMiddlewareOrTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction>, contractDetailsOrMiddlewareOrTypedHandler?: ContractDetailsOrMiddlewareOrTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction>, ...middlewareOrMiddlewareWithTypedHandler: MiddlewareOrMiddlewareWithTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction>[]): this;
     registerNestableMiddlewareHandler<Path extends `/${string}`, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, LocalsObj extends Record<string, unknown>>(registrationMethod: NestableRouterBasedHandler<RouterHandler, Internal>, pathOrContractDetailsOrMiddlewareOrTypedHandler: Path | ContractDetailsOrMiddlewareOrTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction> | ConstrainedForklaunchRouter<SV, RouterHandler>, contractDetailsOrMiddlewareOrTypedHandler?: ContractDetailsOrMiddlewareOrTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction> | ConstrainedForklaunchRouter<SV, RouterHandler>, ...middlewareOrMiddlewareWithTypedHandler: (MiddlewareOrMiddlewareWithTypedHandler<SV, 'middleware', Path, P, ResBodyMap, ReqBody, ReqQuery, ReqHeaders, ResHeaders, LocalsObj, BaseRequest, BaseResponse, NextFunction> | ConstrainedForklaunchRouter<SV, RouterHandler>)[]): this;
@@ -779,13 +895,14 @@ declare class ForklaunchExpressLikeRouter<SV extends AnySchemaValidator, BasePat
 declare abstract class ForklaunchExpressLikeApplication<SV extends AnySchemaValidator, Server extends ExpressLikeRouter<RouterHandler, Server>, RouterHandler, BaseRequest, BaseResponse, NextFunction> extends ForklaunchExpressLikeRouter<SV, '/', RouterHandler, Server, BaseRequest, BaseResponse, NextFunction> {
     readonly schemaValidator: SV;
     readonly internal: Server;
+    readonly postEnrichMiddleware: RouterHandler[];
     readonly openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>;
     /**
      * Creates an instance of the Application class.
      *
      * @param {SV} schemaValidator - The schema validator.
      */
-    constructor(schemaValidator: SV, internal: Server, openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>);
+    constructor(schemaValidator: SV, internal: Server, postEnrichMiddleware: RouterHandler[], openTelemetryCollector: OpenTelemetryCollector<MetricsDefinition>);
     abstract listen(...args: unknown[]): void;
 }
 
@@ -963,7 +1080,7 @@ declare const getCodeForStatus: (status: string) => null | StatusCode;
  *
  * @returns {unknown} The return value of the original `send` method, typically the response itself.
  */
-declare function enrichExpressLikeSend<SV extends AnySchemaValidator, P extends ParamsDictionary, ResBodyMap extends Record<number, unknown>, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>>(instance: unknown, req: ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>, res: ForklaunchResponse<ResBodyMap, ForklaunchResHeaders & ResHeaders, LocalsObj>, originalSend: ForklaunchStatusResponse<ForklaunchSendableData>['send'] | ForklaunchStatusResponse<ForklaunchSendableData>['json'], data: ForklaunchSendableData, shouldEnrich: boolean): void;
+declare function enrichExpressLikeSend<SV extends AnySchemaValidator, P extends ParamsDictionary, ResBodyMap extends Record<number, unknown>, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>>(instance: unknown, req: ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>, res: ForklaunchResponse<unknown, ResBodyMap, ForklaunchResHeaders & ResHeaders, LocalsObj>, originalOperation: ForklaunchStatusResponse<ForklaunchSendableData>['json'] | ForklaunchStatusResponse<ForklaunchSendableData>['jsonp'], originalSend: ForklaunchStatusResponse<ForklaunchSendableData>['send'], data: ForklaunchSendableData | File | Blob | AsyncGenerator<Record<string, unknown>> | null | undefined, shouldEnrich: boolean): void;
 
 /**
  * Generates a Swagger document from given routers.
@@ -976,6 +1093,47 @@ declare function enrichExpressLikeSend<SV extends AnySchemaValidator, P extends
  */
 declare function generateSwaggerDocument<SV extends AnySchemaValidator>(schemaValidator: SV, port: string | number, routers: ForklaunchRouter<SV>[]): OpenAPIObject;
 
+/**
+ * Discriminates the body type from the given contract details and returns information
+ * necessary for parsing and validation.
+ *
+ * @template SV - Schema validator type.
+ * @template Path - Route path type.
+ * @template P - Params schema type.
+ * @template ResBodyMap - Response body map type.
+ * @template ReqBody - Request body type.
+ * @template ReqQuery - Request query object type.
+ * @template ReqHeaders - Request headers object type.
+ * @template ResHeaders - Response headers object type.
+ * @param contractDetails - The HTTP contract details.
+ * @returns An object containing the content type, parser type, and schema.
+ * @throws If no body-related information is found in the contract details.
+ */
+declare function discriminateBody<SV extends AnySchemaValidator>(schemaValidator: SV, body: Body<SV> | undefined): {
+    contentType: string;
+    parserType: 'json' | 'text' | 'multipart' | 'urlEncoded' | 'file';
+    schema: SV['_ValidSchemaObject'];
+} | undefined;
+/**
+ * Discriminates all response body types from the given contract details and returns
+ * information necessary for parsing and validation for each status code.
+ *
+ * @template SV - Schema validator type.
+ * @template Path - Route path type.
+ * @template P - Params schema type.
+ * @template ResBodyMap - Response body map type.
+ * @template ReqQuery - Request query object type.
+ * @template ReqHeaders - Request headers object type.
+ * @template ResHeaders - Response headers object type.
+ * @param contractDetails - The contract details containing response schemas.
+ * @returns A record mapping status codes to content type, parser type, and schema info.
+ */
+declare function discriminateResponseBodies<SV extends AnySchemaValidator>(schemaValidator: SV, responses: ResponsesObject<SV>): Record<number, {
+    contentType: string;
+    parserType: "json" | "text" | "serverSentEvent" | "file" | "multipart";
+    schema: SV["_ValidSchemaObject"];
+}>;
+
 declare const ATTR_API_NAME = "api.name";
 declare const ATTR_CORRELATION_ID = "correlation.id";
 
@@ -1007,7 +1165,7 @@ declare class PinoLogger {
 }
 declare function logger(level: LevelWithSilentOrString, meta?: AnyValueMap): PinoLogger;
 
-declare function recordMetric<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ResBodyMap extends Record<string, unknown>, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>>(req: ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>, res: ForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj>): void;
+declare function recordMetric<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ResBodyMap extends Record<string, unknown>, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>>(req: ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>, res: ForklaunchResponse<unknown, ResBodyMap, ResHeaders, LocalsObj>): void;
 
 type DocsConfiguration = ({
     type: 'scalar';
@@ -1015,4 +1173,4 @@ type DocsConfiguration = ({
     type: 'swagger';
 };
 
-export { ATTR_API_NAME, ATTR_CORRELATION_ID, type ApiClient, type AuthMethods, type AuthMethodsBase, type Body, type BodyObject, type ConstrainedForklaunchRouter, type ContractDetails, type ContractDetailsExpressLikeSchemaHandler, type ContractDetailsOrMiddlewareOrTypedHandler, type DocsConfiguration, type ErrorContainer, type ExpressLikeAuthMapper, type ExpressLikeHandler, type ExpressLikeRouter, type ExpressLikeSchemaAuthMapper, type ExpressLikeSchemaHandler, type ExpressLikeTypedHandler, type ExtractedParamsObject, type ForklaunchBaseRequest, ForklaunchExpressLikeApplication, ForklaunchExpressLikeRouter, type ForklaunchNextFunction, type ForklaunchRequest, type ForklaunchResErrors, type ForklaunchResHeaders, type ForklaunchResponse, type ForklaunchRoute, type ForklaunchRouter, type ForklaunchSendableData, type ForklaunchStatusResponse, HTTPStatuses, type HeadersObject, type HttpContractDetails, type HttpMethod, type LiveTypeFunction, type LiveTypeRouteDefinition, LogFn, LoggerMeta, type MapParamsSchema, type MapReqBodySchema, type MapReqHeadersSchema, type MapReqQuerySchema, type MapResBodyMapSchema, type MapResHeadersSchema, type MapSchema, type Method, MetricsDefinition, type MiddlewareContractDetails, type MiddlewareOrMiddlewareWithTypedHandler, type NestableRouterBasedHandler, type NumberOnlyObject, OpenTelemetryCollector, type ParamsDictionary, type ParamsObject, type PathBasedHandler, type PathMatch, type PathOrMiddlewareBasedHandler, type PathParamHttpContractDetails, type PathParamMethod, type QueryObject, type RequestContext, type ResolvedForklaunchRequest, type ResponseCompiledSchema, type ResponseShape, type ResponsesObject, type SchemaAuthMethods, type StatusCode, type StringOnlyObject, TelemetryOptions, type TypedHandler, type TypedMiddlewareDefinition, type TypedNestableMiddlewareDefinition, delete_, enrichExpressLikeSend, evaluateTelemetryOptions, generateSwaggerDocument, get, getCodeForStatus, head, isClientError, isForklaunchRequest, isForklaunchRouter, isInformational, isRedirection, isServerError, isSuccessful, isValidStatusCode, logger, meta, metricsDefinitions, middleware, options, patch, post, put, recordMetric, trace, typedHandler };
+export { ATTR_API_NAME, ATTR_CORRELATION_ID, type ApiClient, type AuthMethods, type AuthMethodsBase, type Body, type BodyObject, type ConstrainedForklaunchRouter, type ContractDetails, type ContractDetailsExpressLikeSchemaHandler, type ContractDetailsOrMiddlewareOrTypedHandler, type DocsConfiguration, type ErrorContainer, type ExpressLikeAuthMapper, type ExpressLikeHandler, type ExpressLikeRouter, type ExpressLikeSchemaAuthMapper, type ExpressLikeSchemaHandler, type ExpressLikeTypedHandler, type ExtractBody, type ExtractContentType, type ExtractResponseBody, type ExtractedParamsObject, type FileBody, type ForklaunchBaseRequest, ForklaunchExpressLikeApplication, ForklaunchExpressLikeRouter, type ForklaunchNextFunction, type ForklaunchRequest, type ForklaunchResErrors, type ForklaunchResHeaders, type ForklaunchResponse, type ForklaunchRoute, type ForklaunchRouter, type ForklaunchSendableData, type ForklaunchStatusResponse, HTTPStatuses, type HeadersObject, type HttpContractDetails, type HttpMethod, type JsonBody, type LiveTypeFunction, type LiveTypeRouteDefinition, LogFn, LoggerMeta, type MapParamsSchema, type MapReqBodySchema, type MapReqHeadersSchema, type MapReqQuerySchema, type MapResBodyMapSchema, type MapResHeadersSchema, type MapSchema, type Method, MetricsDefinition, type MiddlewareContractDetails, type MiddlewareOrMiddlewareWithTypedHandler, type MultipartForm, type NestableRouterBasedHandler, type NumberOnlyObject, OpenTelemetryCollector, type ParamsDictionary, type ParamsObject, type PathBasedHandler, type PathMatch, type PathOrMiddlewareBasedHandler, type PathParamHttpContractDetails, type PathParamMethod, type QueryObject, type RawTypedResponseBody, type RequestContext, type ResolvedForklaunchRequest, type ResponseBody, type ResponseCompiledSchema, type ResponseShape, type ResponsesObject, type SchemaAuthMethods, type ServerSentEventBody, type StatusCode, type StringOnlyObject, TelemetryOptions, type TextBody, type TypedBody, type TypedHandler, type TypedMiddlewareDefinition, type TypedNestableMiddlewareDefinition, type TypedResponseBody, type UnknownBody, type UnknownResponseBody, type UrlEncodedForm, delete_, discriminateBody, discriminateResponseBodies, enrichExpressLikeSend, evaluateTelemetryOptions, generateSwaggerDocument, get, getCodeForStatus, head, isClientError, isForklaunchRequest, isForklaunchRouter, isInformational, isRedirection, isServerError, isSuccessful, isValidStatusCode, logger, meta, metricsDefinitions, middleware, options, patch, post, put, recordMetric, trace, typedHandler };