fix: inference of ResponseType<HttpRoute>

Instead of `never` this should be something like the union of all
responses with `any` or `unknown` body.

Author: bitgopatmcl

packages/io-ts-http/src/httpResponse.ts

@@ -2,11 +2,13 @@ import * as t from 'io-ts';
 
 import { Status } from '@api-ts/response';
 
-export type HttpResponse = t.Props;
+export type HttpResponse = {
+  [K: string]: t.Mixed;
+};
 
-export type KnownResponses<Response extends HttpResponse> = {
-  [K in keyof Response]: K extends Status ? K : never;
-}[keyof Response];
+type KnownResponses<Response extends HttpResponse> = {
+  [K in Status]: K extends keyof Response ? K : never;
+}[Status];
 
 export const HttpResponseCodes: { [K in Status]: number } = {
   ok: 200,

packages/io-ts-http/src/httpRoute.ts

@@ -1,7 +1,8 @@
 import * as t from 'io-ts';
 
-import { HttpResponse, KnownResponses } from './httpResponse';
+import { HttpResponse } from './httpResponse';
 import { HttpRequestCodec } from './httpRequest';
+import { Status } from '@api-ts/response';
 
 export type Method = 'GET' | 'POST' | 'PUT' | 'DELETE';
 
@@ -14,11 +15,13 @@ export type HttpRoute = {
 
 export type RequestType<T extends HttpRoute> = t.TypeOf<T['request']>;
 export type ResponseType<T extends HttpRoute> = {
-  [K in KnownResponses<T['response']>]: {
-    type: K;
-    payload: t.TypeOf<T['response'][K]>;
-  };
-}[KnownResponses<T['response']>];
+  [K in Status]: K extends keyof T['response']
+    ? {
+        type: K;
+        payload: t.TypeOf<T['response'][K]>;
+      }
+    : never;
+}[Status];
 
 export type ApiSpec = {
   [Key: string]: {