hono 4.11.1 → 4.11.3

package/README.md

@@ -63,8 +63,8 @@ The migration guide is available on [docs/MIGRATION.md](docs/MIGRATION.md).
 Contributions Welcome! You can contribute in the following ways.
 
 - Create an Issue - Propose a new feature. Report a bug.
-- Pull Request - Fix a bug and typo. Refactor the code.
-- Create third-party middleware - Instruct below.
+- Pull Request - Fix a bug or typo. Refactor the code.
+- Create third-party middleware - See instructions below.
 - Share - Share your thoughts on the Blog, X, and others.
 - Make your application - Please try to use Hono.
 

package/dist/cjs/validator/utils.js

@@ -0,0 +1,16 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var utils_exports = {};
+module.exports = __toCommonJS(utils_exports);

package/dist/types/client/types.d.ts

@@ -84,19 +84,14 @@ export interface ClientResponse<T, U extends number = StatusCode, F extends Resp
     formData(): Promise<FormData>;
     arrayBuffer(): Promise<ArrayBuffer>;
 }
-type HonoURL<Prefix extends string, Path extends string, Arg> = IsLiteral<Prefix> extends true ? TrimEndSlash<Prefix> extends `${infer Protocol}://${infer Rest}` ? Rest extends `${infer Hostname}/${infer P}` ? ParseHostName<Hostname> extends [infer Host extends string, infer Port extends string] ? Arg extends {
+type BuildSearch<Arg, Key extends 'query'> = Arg extends {
+    [K in Key]: infer Query;
+} ? IsEmptyObject<Query> extends true ? '' : `?${string}` : '';
+type BuildPathname<P extends string, Arg> = Arg extends {
     param: infer Param;
-} ? Arg extends {
-    query: infer Query;
-} ? IsEmptyObject<Query> extends true ? TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<P>, Param>}`, ''> : TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<P>, Param>}`, `?${string}`> : TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<P>, Param>}`, ''> : Arg extends {
-    query: infer Query;
-} ? IsEmptyObject<Query> extends true ? TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<P>}`, ''> : TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<P>}`, `?${string}`> : TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<P>}`, ''> : never : ParseHostName<Rest> extends [infer Host extends string, infer Port extends string] ? Arg extends {
-    param: infer Param;
-} ? Arg extends {
-    query: infer Query;
-} ? IsEmptyObject<Query> extends true ? TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<Path>, Param>}`, ''> : TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<Path>, Param>}`, `?${string}`> : TypedURL<`${Protocol}:`, Host, Port, `${ApplyParam<TrimStartSlash<Path>, Param>}`, ''> : Arg extends {
-    query: infer Query;
-} ? IsEmptyObject<Query> extends true ? TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<Path>}`, ''> : TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<Path>}`, `?${string}`> : TypedURL<`${Protocol}:`, Host, Port, `/${TrimStartSlash<Path>}`, ''> : never : URL : URL;
+} ? `${ApplyParam<TrimStartSlash<P>, Param>}` : `/${TrimStartSlash<P>}`;
+type BuildTypedURL<Protocol extends string, Host extends string, Port extends string, P extends string, Arg> = TypedURL<`${Protocol}:`, Host, Port, BuildPathname<P, Arg>, BuildSearch<Arg, 'query'>>;
+type HonoURL<Prefix extends string, Path extends string, Arg> = IsLiteral<Prefix> extends true ? TrimEndSlash<Prefix> extends `${infer Protocol}://${infer Rest}` ? Rest extends `${infer Hostname}/${infer P}` ? ParseHostName<Hostname> extends [infer Host extends string, infer Port extends string] ? BuildTypedURL<Protocol, Host, Port, P, Arg> : never : ParseHostName<Rest> extends [infer Host extends string, infer Port extends string] ? BuildTypedURL<Protocol, Host, Port, Path, Arg> : never : URL : URL;
 type ParseHostName<T extends string> = T extends `${infer Host}:${infer Port}` ? [Host, Port] : [T, ''];
 type TrimStartSlash<T extends string> = T extends `/${infer R}` ? TrimStartSlash<R> : T;
 type TrimEndSlash<T extends string> = T extends `${infer R}/` ? TrimEndSlash<R> : T;

package/dist/types/types.d.ts

@@ -445,35 +445,35 @@ export interface OnHandlerInterface<E extends Env = Env, S extends Schema = Blan
     <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = BlankInput>(methods: M[], path: P, ...handlers: [H<E, MergePath<BasePath, P>, I, R>, ...H<E, MergePath<BasePath, P>, I, R>[]]): HonoBase<E, S & ToSchema<M, MergePath<BasePath, P>, I, MergeTypedResponse<R>>, BasePath, MergePath<BasePath, P>>;
     <M extends string, const Ps extends string[], I extends Input = BlankInput, R extends HandlerResponse<any> = any, E2 extends Env = E>(methods: M | M[], paths: Ps, ...handlers: H<E2, MergePath<BasePath, Ps[number]>, I, R>[]): HonoBase<E, S & ToSchema<M, MergePath<BasePath, Ps[number]>, I, MergeTypedResponse<R>>, BasePath, Ps extends [...string[], infer LastPath extends string] ? MergePath<BasePath, LastPath> : never>;
 }
-export type ToSchema<M extends string, P extends string, I extends Input | Input['in'], RorO> = IsAny<RorO> extends true ? Simplify<{
+type ToSchemaOutput<RorO, I extends Input | Input['in']> = RorO extends TypedResponse<infer T, infer U, infer F> ? {
+    output: unknown extends T ? {} : T;
+    outputFormat: I extends {
+        outputFormat: string;
+    } ? I['outputFormat'] : F;
+    status: U;
+} : {
+    output: unknown extends RorO ? {} : RorO;
+    outputFormat: unknown extends RorO ? 'json' : I extends {
+        outputFormat: string;
+    } ? I['outputFormat'] : 'json';
+    status: StatusCode;
+};
+export type ToSchema<M extends string, P extends string, I extends Input | Input['in'], RorO> = IsAny<RorO> extends true ? {
     [K in P]: {
-        [K2 in M as AddDollar<K2>]: Simplify<{
+        [K2 in M as AddDollar<K2>]: {
             input: AddParam<ExtractInput<I>, P>;
-        } & {
             output: {};
             outputFormat: ResponseFormat;
             status: StatusCode;
-        }>;
+        };
     };
-}> : [RorO] extends [never] ? {} : [RorO] extends [Promise<void>] ? {} : Simplify<{
+} : [RorO] extends [never] ? {} : [RorO] extends [Promise<void>] ? {} : {
     [K in P]: {
         [K2 in M as AddDollar<K2>]: Simplify<{
             input: AddParam<ExtractInput<I>, P>;
-        } & (RorO extends TypedResponse<infer T, infer U, infer F> ? {
-            output: unknown extends T ? {} : T;
-            outputFormat: I extends {
-                outputFormat: string;
-            } ? I['outputFormat'] : F;
-            status: U;
-        } : {
-            output: unknown extends RorO ? {} : RorO;
-            outputFormat: unknown extends RorO ? 'json' : I extends {
-                outputFormat: string;
-            } ? I['outputFormat'] : 'json';
-            status: StatusCode;
-        })>;
+        } & ToSchemaOutput<RorO, I>>;
     };
-}>;
+};
 export type Schema = {
     [Path: string]: {
         [Method: `$${Lowercase<string>}`]: Endpoint;
@@ -532,8 +532,8 @@ export type TypedResponse<T = unknown, U extends StatusCode = StatusCode, F exte
     _format: F;
 };
 type MergeTypedResponse<T> = T extends Promise<void> ? T : T extends Promise<infer T2> ? T2 extends TypedResponse ? T2 : TypedResponse : T extends TypedResponse ? T : TypedResponse;
-type MergeTypedResponseStrict<T> = T extends Promise<infer T2> ? T2 extends TypedResponse ? T2 : never : T extends TypedResponse ? T : never;
-type MergeMiddlewareResponse<T> = MergeTypedResponseStrict<ExtractHandlerResponse<T>>;
+type ExtractTypedResponseOnly<T> = T extends TypedResponse ? T : never;
+type MergeMiddlewareResponse<T> = T extends (c: any, next: any) => Promise<infer R> ? Exclude<R, void> extends never ? never : Exclude<R, void> extends Response | TypedResponse<any, any, any> ? ExtractTypedResponseOnly<Exclude<R, void>> : never : T extends (c: any, next: any) => infer R ? R extends Response | TypedResponse<any, any, any> ? ExtractTypedResponseOnly<R> : never : never;
 export type FormValue = string | Blob;
 export type ParsedFormValue = string | File;
 export type ValidationTargets<T extends FormValue = ParsedFormValue, P extends string = string> = {

package/dist/types/validator/index.d.ts

@@ -4,3 +4,4 @@
  */
 export { validator } from './validator';
 export type { ValidationFunction } from './validator';
+export type { InferInput } from './utils';

package/dist/types/validator/utils.d.ts

@@ -0,0 +1,29 @@
+import type { FormValue, ParsedFormValue, ValidationTargets } from '../types';
+import type { UnionToIntersection } from '../utils/types';
+/**
+ * Checks if T is a literal union type (e.g., 'asc' | 'desc')
+ * that should be preserved in input types.
+ * Returns true for union literals, false for single literals or wide types.
+ */
+export type IsLiteralUnion<T, Base> = [Exclude<T, undefined>] extends [Base] ? [Exclude<T, undefined>] extends [UnionToIntersection<Exclude<T, undefined>>] ? false : true : false;
+type IsOptionalUnion<T> = [unknown] extends [T] ? false : undefined extends T ? true : false;
+type SimplifyDeep<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type InferInputInner<Output, Target extends keyof ValidationTargets, T extends FormValue> = SimplifyDeep<{
+    [K in keyof Output]: IsLiteralUnion<Output[K], string> extends true ? Output[K] : IsOptionalUnion<Output[K]> extends true ? Output[K] : Target extends 'form' ? T | T[] : Target extends 'query' ? string | string[] : Target extends 'param' ? string : Target extends 'header' ? string : Target extends 'cookie' ? string : unknown;
+}>;
+/**
+ * Utility type to infer input types for validation targets.
+ * Preserves literal union types (e.g., 'asc' | 'desc') while using
+ * the default ValidationTargets type for other values.
+ *
+ * @example
+ * ```ts
+ * // In @hono/zod-validator or similar:
+ * type Input = InferInput<z.input<Schema>, 'query'>
+ * // { orderBy: 'asc' | 'desc', page: string | string[] }
+ * ```
+ */
+export type InferInput<Output, Target extends keyof ValidationTargets, T extends FormValue = ParsedFormValue> = [Exclude<Output, undefined>] extends [never] ? {} : [Exclude<Output, undefined>] extends [object] ? undefined extends Output ? SimplifyDeep<InferInputInner<Exclude<Output, undefined>, Target, T>> | undefined : SimplifyDeep<InferInputInner<Output, Target, T>> : {};
+export {};

package/dist/types/validator/validator.d.ts

@@ -1,14 +1,15 @@
 import type { Context } from '../context';
 import type { Env, MiddlewareHandler, TypedResponse, ValidationTargets, FormValue } from '../types';
+import type { InferInput } from './utils';
 type ValidationTargetKeysWithBody = 'form' | 'json';
 type ValidationTargetByMethod<M> = M extends 'get' | 'head' ? Exclude<keyof ValidationTargets, ValidationTargetKeysWithBody> : keyof ValidationTargets;
 export type ValidationFunction<InputType, OutputType, E extends Env = {}, P extends string = string> = (value: InputType, c: Context<E, P>) => OutputType | TypedResponse | Promise<OutputType> | Promise<TypedResponse>;
 export type ExtractValidationResponse<VF> = VF extends (value: any, c: any) => infer R ? R extends Promise<infer PR> ? PR extends TypedResponse<infer T, infer S, infer F> ? TypedResponse<T, S, F> : PR extends Response ? PR : PR extends undefined ? never : never : R extends TypedResponse<infer T, infer S, infer F> ? TypedResponse<T, S, F> : R extends Response ? R : R extends undefined ? never : never : never;
 export declare const validator: <InputType, P extends string, M extends string, U extends ValidationTargetByMethod<M>, P2 extends string = P, VF extends (value: unknown extends InputType ? ValidationTargets[U] : InputType, c: Context<any, P2>) => any = (value: unknown extends InputType ? ValidationTargets[U] : InputType, c: Context<any, P2>) => any, V extends {
-    in: { [K in U]: K extends "json" ? unknown extends InputType ? ExtractValidatorOutput<VF> : InputType : { [K2 in keyof ExtractValidatorOutput<VF>]: ValidationTargets<FormValue>[K][K2]; }; };
+    in: { [K in U]: K extends "json" ? unknown extends InputType ? ExtractValidatorOutput<VF> : InputType : InferInput<ExtractValidatorOutput<VF>, K, FormValue>; };
     out: { [K in U]: ExtractValidatorOutput<VF>; };
 } = {
-    in: { [K in U]: K extends "json" ? unknown extends InputType ? ExtractValidatorOutput<VF> : InputType : { [K2 in keyof ExtractValidatorOutput<VF>]: ValidationTargets<FormValue>[K][K2]; }; };
+    in: { [K in U]: K extends "json" ? unknown extends InputType ? ExtractValidatorOutput<VF> : InputType : InferInput<ExtractValidatorOutput<VF>, K, FormValue>; };
     out: { [K in U]: ExtractValidatorOutput<VF>; };
 }, E extends Env = any>(target: U, validationFunc: VF) => MiddlewareHandler<E, P, V, ExtractValidationResponse<VF>>;
 export type ExtractValidatorOutput<VF> = VF extends (value: any, c: any) => infer R ? R extends Promise<infer PR> ? PR extends Response | TypedResponse<any, any, any> ? never : PR : R extends Response | TypedResponse<any, any, any> ? never : R : never;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hono",
-  "version": "4.11.1",
+  "version": "4.11.3",
   "description": "Web framework built on Web Standards",
   "main": "dist/cjs/index.js",
   "type": "module",
@@ -661,7 +661,7 @@
     "@types/glob": "^9.0.0",
     "@types/jsdom": "^21.1.7",
     "@types/node": "^24.3.0",
-    "@typescript/native-preview": "7.0.0-dev.20250523.1",
+    "@typescript/native-preview": "7.0.0-dev.20251220.1",
     "@vitest/coverage-v8": "^3.2.4",
     "arg": "^5.0.2",
     "bun-types": "^1.2.20",