I have come up with this but it feels incredibly incorrect and honestly kinda disgusting and it still doesn't do the return types correctly ``` import type { Context, Env } from "hono"; import type { RouteOutput } from "./routing"; import type { z, ZodType } from "zod"; type MaybePromise = T | Promise; type ExtractZodSchema = T extends ZodType ? T : never; type ValidKeys = "query" | "param" | "header" | "json" | "form"; type InputFromRequest = { param: Request extends { params: infer P } ? z.output> : never; query: Request extends { query: infer Q } ? z.output> : never; header: Request extends { headers: infer H } ? z.output> : never; json: Request extends { body: { content: { "application/json": { schema: infer Schema } } }; } ? z.output> : never; form: Request extends { body: { content: { "multipart/form-data": { schema: infer Schema } } }; } ? z.output> : never; }; type MergeInput> = { [K in keyof I]: I[K]; }; type ExtractResponseContent = R extends { responses: infer Responses } ? { [K in keyof Responses]: Responses[K] extends { content: infer Content } ? Content : never; }[keyof Responses] : never; type ValidatedContext< E extends Env, I extends Record, > = Context & { req: { valid: (key: K) => I[K]; }; }; export type RouteHandler< R extends RouteOutput, E extends Env = Env, > = ( c: ValidatedContext>>, ) => MaybePromise>; ```

Handler type

Similar Threads

Similar Threads

Similar Threads