@taserjs/router 0.1.13 → 0.2.0

package/dist/cjs/types/index.d.cts

@@ -1,297 +0,0 @@
-import { Awaitable, TaserCookieJar, TaserHeaders } from '@taserjs/router-core';
-import { RouterMiddlewaresRegister, RouterRegister, RouterRoutesRegister } from '../index.js';
-import { MergeMiddlewareField, MergeMiddlewareInputField, MergePart, RequestShape, Simplify, UnionToIntersection, UnitRuntimeContext } from './type-utils.js';
-import { ReturnsMap, ValidHandlerReply } from './returns.js';
-import { Schema } from './schema.js';
-import { EmptyAppContext, ExtractState, Method, MiddlewareDefinition, MiddlewareRequirements, MiddlewareReturnFromParts, MiddlewareUnit, NextFn, ValidatorParts } from './units.js';
-export type { Awaitable } from '@taserjs/router-core';
-export type { SchemaRequestShape, InferInput, InferOutput, Schema, StandardSchemaV1, } from './schema.js';
-export type { MergeMiddlewareField, MergeMiddlewareInputField, MergePart, RequestShape, Simplify, UnitRuntimeContext, UnwrapPart, } from './type-utils.js';
-export type { EmptyReturns, EnforceHandlerReply, HandlerReply, HasReturns, MergeReturns, ReplyFor, ReturnsMap, StatusCode, ValidHandlerReply, } from './returns.js';
-export type { EmptyAppContext, ExtractState, HttpMethod, IsUnknown, Method, MiddlewareDefinition, MiddlewareRequirements, MiddlewareReturnFromParts, MiddlewareUnit, MiddlewareUnitBuilder, NextFn, NextResult, StandaloneMiddlewareContext, StateBrand, ValidatorParts, } from './units.js';
-export type AppContext = RouterRegister extends {
-    AppContext: infer C;
-} ? C : EmptyAppContext;
-export type RoutePath = RouterRegister extends {
-    RoutePath: infer P;
-} ? P : never;
-export type LayoutId = RouterRegister extends {
-    LayoutId: infer L;
-} ? L : never;
-export type LayoutTree = RouterRegister extends {
-    LayoutTree: infer T;
-} ? T : Record<never, never>;
-export type LayoutMiddlewaresMap = RouterMiddlewaresRegister extends {
-    LayoutMiddlewares: infer M;
-} ? M : RouterRegister extends {
-    LayoutMiddlewares: infer M;
-} ? M : Record<never, never>;
-export type RouteByPathMethod = RouterRoutesRegister extends {
-    RouteByPathMethod: infer R;
-} ? R : RouterRegister extends {
-    RouteByPathMethod: infer R;
-} ? R : Record<never, never>;
-export type LayoutBuilder<TAppContext extends Record<string, unknown> = AppContext> = <const Layout extends LayoutId>(layout: Layout) => MiddlewareBuilder<Layout, readonly [], TAppContext>;
-type ParseParam<Segment extends string> = Segment extends "*" ? {
-    _splat: string;
-} : Segment extends `:${infer Name extends string}` ? Name extends "" ? {} : {
-    [K in Name]: string;
-} : {};
-type ParseParamsFromSegments<S extends string> = S extends `${infer Segment}/${infer Rest}` ? ParseParam<Segment> & ParseParamsFromSegments<Rest> : ParseParam<S>;
-export type PathParams<Path extends string> = Path extends `/${infer Rest}` ? ParseParamsFromSegments<Rest> : ParseParamsFromSegments<Path>;
-export type LayoutParams<Layout extends string> = PathParams<Layout>;
-export type ResolveParams<TPathParams, TSchemaParams> = TSchemaParams extends Record<string, unknown> ? [keyof TSchemaParams] extends [never] ? TPathParams : Simplify<Omit<TPathParams, keyof TSchemaParams> & TSchemaParams> : TPathParams;
-type LayoutParent<Layout extends LayoutId> = Layout extends keyof LayoutTree ? LayoutTree[Layout] extends {
-    parent: infer P extends LayoutId;
-} ? P : null : null;
-type LayoutMiddlewares<Layout extends LayoutId> = [Layout] extends [keyof LayoutMiddlewaresMap] ? LayoutMiddlewaresMap[Layout] extends {
-    readonly __acc?: infer Acc extends readonly unknown[];
-} ? Acc : LayoutMiddlewaresMap[Layout] extends readonly unknown[] ? LayoutMiddlewaresMap[Layout] : readonly [] : readonly [];
-type ResolveLayoutMiddlewares<Layout extends LayoutId | null, Depth extends readonly unknown[] = []> = Depth["length"] extends 10 ? readonly [] : [Layout] extends [LayoutId] ? LayoutParent<Layout> extends infer Parent extends LayoutId ? readonly [
-    ...ResolveLayoutMiddlewares<Parent, [...Depth, unknown]>,
-    ...LayoutMiddlewares<Layout>
-] : readonly [...LayoutMiddlewares<Layout>] : readonly [];
-export type ResolveLayoutIdChain<L extends LayoutId | null, Depth extends readonly unknown[] = []> = Depth["length"] extends 10 ? readonly [] : L extends LayoutId ? readonly [...ResolveLayoutIdChain<LayoutParent<L>, [...Depth, unknown]>, L] : readonly [];
-export type ResolveLayoutMiddlewaresState<Layout extends LayoutId | null> = Layout extends LayoutId ? MergeMiddlewareField<ResolveLayoutMiddlewares<Layout>, "state"> : {};
-export type ResolveLayoutsState<Layouts extends LayoutId | readonly LayoutId[]> = Layouts extends LayoutId ? ResolveLayoutMiddlewaresState<Layouts> : Layouts extends readonly LayoutId[] ? UnionToIntersection<Layouts[number] extends infer L extends LayoutId ? ResolveLayoutMiddlewaresState<L> : never> : {};
-/** Fold layout middleware Acc from a route's layoutChain (shallow → deep). */
-type ResolveLayoutChainMiddlewares<Chain extends readonly LayoutId[]> = Chain extends readonly [
-    infer Head extends LayoutId,
-    ...infer Rest
-] ? readonly [
-    ...LayoutMiddlewares<Head>,
-    ...ResolveLayoutChainMiddlewares<Rest extends readonly LayoutId[] ? Rest : readonly []>
-] : readonly [];
-type RouteEntry<Path extends RoutePath, TMethod extends Method> = RouteByPathMethod[Path] extends {
-    [K in TMethod]: infer Entry;
-} ? Entry : never;
-type RouteLayoutChain<Path extends RoutePath, TMethod extends Method> = RouteEntry<Path, TMethod> extends {
-    layouts: infer Chain extends readonly LayoutId[];
-} ? Chain : readonly [];
-export type RouteLayoutMiddlewares<Path extends RoutePath, TMethod extends Method> = ResolveLayoutChainMiddlewares<RouteLayoutChain<Path, TMethod>>;
-export type RouteLayoutField<Path extends RoutePath, TMethod extends Method, Field extends "query" | "params" | "body" | "state"> = MergeMiddlewareField<RouteLayoutMiddlewares<Path, TMethod>, Field>;
-export type RouteLayoutInputField<Path extends RoutePath, TMethod extends Method, Field extends "query" | "params" | "body"> = MergeMiddlewareInputField<RouteLayoutMiddlewares<Path, TMethod>, Field>;
-type RouteResolvedField<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Field extends "query" | "params" | "body" | "state"> = RouteLayoutField<Path, TMethod, Field> & MergeMiddlewareField<Acc, Field>;
-export type RouteChainContext<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], TQuery, TParams, TBody, TAppContext extends Record<string, unknown> = AppContext> = Simplify<TAppContext & UnitRuntimeContext & {
-    query: MergePart<TQuery, RouteResolvedField<Path, TMethod, Acc, "query">>;
-    params: ResolveParams<PathParams<Path>, MergePart<TParams, RouteResolvedField<Path, TMethod, Acc, "params">>>;
-    body: MergePart<TBody, RouteResolvedField<Path, TMethod, Acc, "body">>;
-    state: RouteResolvedField<Path, TMethod, Acc, "state">;
-    headers: TaserHeaders;
-    cookies: TaserCookieJar;
-}>;
-export type RouteHandleContext<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends {
-    query?: unknown;
-    params?: unknown;
-    body?: unknown;
-}, TAppContext extends Record<string, unknown> = AppContext> = Simplify<TAppContext & UnitRuntimeContext & {
-    path: Path;
-    method: TMethod;
-    query: Simplify<MergePart<Validators extends {
-        query?: infer Q;
-    } ? Q : unknown, RouteResolvedField<Path, TMethod, Acc, "query">>>;
-    params: Simplify<ResolveParams<PathParams<Path>, MergePart<Validators extends {
-        params?: infer P;
-    } ? P : unknown, RouteResolvedField<Path, TMethod, Acc, "params">>>>;
-    body: Simplify<MergePart<Validators extends {
-        body?: infer B;
-    } ? B : unknown, RouteResolvedField<Path, TMethod, Acc, "body">>>;
-    state: Simplify<RouteResolvedField<Path, TMethod, Acc, "state">>;
-    headers: TaserHeaders;
-    cookies: TaserCookieJar;
-}>;
-export type RouteHandleContextWithoutBody<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends {
-    query?: unknown;
-    params?: unknown;
-}, TAppContext extends Record<string, unknown> = AppContext> = Simplify<TAppContext & UnitRuntimeContext & {
-    path: Path;
-    method: TMethod;
-    query: Simplify<MergePart<Validators extends {
-        query?: infer Q;
-    } ? Q : unknown, RouteResolvedField<Path, TMethod, Acc, "query">>>;
-    params: Simplify<ResolveParams<PathParams<Path>, MergePart<Validators extends {
-        params?: infer P;
-    } ? P : unknown, RouteResolvedField<Path, TMethod, Acc, "params">>>>;
-    body: never;
-    state: Simplify<RouteResolvedField<Path, TMethod, Acc, "state">>;
-    headers: TaserHeaders;
-    cookies: TaserCookieJar;
-}>;
-type RouteResolvedInputField<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Field extends "query" | "params" | "body"> = RouteLayoutInputField<Path, TMethod, Field> & MergeMiddlewareInputField<Acc, Field>;
-type IsNever<T> = [T] extends [never] ? true : false;
-type IsEmptyObject<T> = [keyof T] extends [never] ? true : false;
-export type IsLayoutAllowed<TRequiredLayouts, TChain extends readonly LayoutId[]> = [
-    TRequiredLayouts
-] extends [never] ? true : [unknown] extends [TRequiredLayouts] ? true : [null] extends [TRequiredLayouts] ? true : [undefined] extends [TRequiredLayouts] ? true : TRequiredLayouts extends LayoutId ? TRequiredLayouts extends TChain[number] ? true : false : TRequiredLayouts extends readonly LayoutId[] ? [TRequiredLayouts[number] & TChain[number]] extends [never] ? false : true : true;
-export type IsRequirementsSatisfied<TActual extends {
-    query?: unknown;
-    params?: unknown;
-    body?: unknown;
-    state?: unknown;
-}, TRequires extends MiddlewareRequirements> = [TRequires] extends [never] ? true : [unknown] extends [TRequires] ? true : [null] extends [TRequires] ? true : [undefined] extends [TRequires] ? true : [IsEmptyObject<TRequires>] extends [true] ? true : (TRequires extends {
-    state: infer S extends Record<string, unknown>;
-} ? [TActual["state"]] extends [S] ? true : false : true) extends false ? false : (TRequires extends {
-    query: infer Q extends Record<string, unknown>;
-} ? [TActual["query"]] extends [Q] ? true : false : true) extends false ? false : (TRequires extends {
-    params: infer P extends Record<string, unknown>;
-} ? [TActual["params"]] extends [P] ? true : false : true) extends false ? false : (TRequires extends {
-    body: infer B;
-} ? unknown extends B ? true : [TRequires["body"]] extends [undefined] ? true : [TActual["body"]] extends [B] ? true : false : true) extends false ? false : true;
-export type IsStateSatisfied<TActualState, TRequiredState> = IsRequirementsSatisfied<{
-    state: TActualState;
-}, {
-    state: TRequiredState extends Record<string, unknown> ? TRequiredState : {};
-}>;
-type InputFacet<T, K extends string> = IsNever<T> extends true ? {} : IsEmptyObject<T> extends true ? {} : {
-    [Key in K]: T;
-};
-type RouteQueryInput<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts> = Simplify<MergePart<RequestShape<Validators extends {
-    queryIn?: infer QI;
-} ? QI : unknown, Validators extends {
-    query?: infer Q;
-} ? Q : unknown>, RouteResolvedInputField<Path, TMethod, Acc, "query">>>;
-type RouteParamsInput<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts> = Simplify<ResolveParams<PathParams<Path>, MergePart<RequestShape<Validators extends {
-    paramsIn?: infer PI;
-} ? PI : unknown, Validators extends {
-    params?: infer P;
-} ? P : unknown>, RouteResolvedInputField<Path, TMethod, Acc, "params">>>>;
-type RouteBodyInput<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts> = Simplify<MergePart<RequestShape<Validators extends {
-    bodyIn?: infer BI;
-} ? BI : unknown, Validators extends {
-    body?: infer B;
-} ? B : unknown>, RouteResolvedInputField<Path, TMethod, Acc, "body">>>;
-export type RouteHandleInputWithoutBody<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts = {}> = Simplify<InputFacet<RouteQueryInput<Path, TMethod, Acc, Validators>, "query"> & InputFacet<RouteParamsInput<Path, TMethod, Acc, Validators>, "params">>;
-export type RouteHandleInput<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts = {}> = Simplify<RouteHandleInputWithoutBody<Path, TMethod, Acc, Validators> & InputFacet<RouteBodyInput<Path, TMethod, Acc, Validators>, "body">>;
-export type InferRouteInputFromPath<Path extends RoutePath, TMethod extends Method> = RouteEntry<Path, TMethod> extends {
-    route: infer Route;
-} ? Route extends {
-    $Infer: {
-        Input: infer I;
-    };
-} ? I : never : never;
-export type MiddlewareLayoutField<Layout extends LayoutId, Field extends "query" | "params" | "body" | "state"> = [LayoutParent<Layout>] extends [infer Parent extends LayoutId] ? MergeMiddlewareField<ResolveLayoutMiddlewares<Parent>, Field> : {};
-type MiddlewareChainField<Layout extends LayoutId, Acc extends readonly unknown[], Field extends "query" | "params" | "body" | "state"> = MiddlewareLayoutField<Layout, Field> & MergeMiddlewareField<Acc, Field>;
-export type MiddlewareChainContext<Layout extends LayoutId, Acc extends readonly unknown[], TQuery = unknown, TParams = unknown, TBody = unknown, TAppContext extends Record<string, unknown> = AppContext> = Simplify<TAppContext & {
-    readonly request: Request;
-    readonly method: Method;
-    readonly url: URL;
-    readonly headers: TaserHeaders;
-    readonly cookies: TaserCookieJar;
-    query: Simplify<MergePart<TQuery, MiddlewareChainField<Layout, Acc, "query">>>;
-    params: Simplify<ResolveParams<LayoutParams<Layout>, Simplify<MergePart<TParams, MiddlewareChainField<Layout, Acc, "params">>>>>;
-    body: Simplify<MergePart<TBody, MiddlewareChainField<Layout, Acc, "body">>>;
-    state: Simplify<MiddlewareChainField<Layout, Acc, "state">>;
-}>;
-export type MiddlewareBuilder<Layout extends LayoutId, Acc extends readonly unknown[] = readonly [], TAppContext extends Record<string, unknown> = AppContext> = {
-    readonly layout: Layout;
-    readonly middlewares: readonly MiddlewareDefinition[];
-    readonly __acc?: Acc;
-    use<TAcc, TReturns extends ReturnsMap = {}, TRequiredLayouts = unknown, TRequires extends MiddlewareRequirements = {}>(unit: [
-        IsLayoutAllowed<TRequiredLayouts, ResolveLayoutIdChain<Layout>>,
-        IsRequirementsSatisfied<{
-            query: MiddlewareChainField<Layout, Acc, "query">;
-            params: MiddlewareChainField<Layout, Acc, "params">;
-            body: MiddlewareChainField<Layout, Acc, "body">;
-            state: MiddlewareChainField<Layout, Acc, "state">;
-        }, TRequires>
-    ] extends [true, true] ? MiddlewareUnit<TAcc, TReturns, TRequiredLayouts, TRequires> : never): MiddlewareBuilder<Layout, readonly [...Acc, TAcc], TAppContext>;
-    use<R = unknown>(fn: (ctx: Simplify<TAppContext & {
-        readonly request: Request;
-        readonly method: Method;
-        readonly url: URL;
-        readonly headers: TaserHeaders;
-        readonly cookies: TaserCookieJar;
-        query: Simplify<MergePart<unknown, MiddlewareChainField<Layout, Acc, "query">>>;
-        params: Simplify<ResolveParams<LayoutParams<Layout>, Simplify<MergePart<unknown, MiddlewareChainField<Layout, Acc, "params">>>>>;
-        body: Simplify<MergePart<unknown, MiddlewareChainField<Layout, Acc, "body">>>;
-        state: Simplify<MiddlewareChainField<Layout, Acc, "state">>;
-    }>, next: NextFn) => Awaitable<R>): MiddlewareBuilder<Layout, readonly [...Acc, MiddlewareReturnFromParts<unknown, unknown, unknown, ExtractState<R>>], TAppContext>;
-};
-export type RouteExport<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], TReturns extends ReturnsMap = {}, TOutput = Response> = {
-    readonly path: Path;
-    readonly method: TMethod | "ANY" | "ALL";
-    readonly methods?: readonly Method[];
-    readonly middlewares: readonly MiddlewareDefinition[];
-    readonly __acc?: Acc;
-    readonly returns?: TReturns;
-    readonly bodyMode?: "json" | "form" | "urlencoded";
-    handler: (ctx: unknown) => Awaitable<Response>;
-    readonly $Infer: {
-        Context: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleContextWithoutBody<Path, TMethod, Acc, {}> : RouteHandleContext<Path, TMethod, Acc, {}>;
-        Input: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleInputWithoutBody<Path, TMethod, Acc, {}> : RouteHandleInput<Path, TMethod, Acc, {}>;
-        Output: TOutput;
-    };
-    query?: Schema<unknown>;
-    params?: Schema<unknown>;
-    body?: Schema<unknown>;
-};
-type RouteHandleResult<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[], Validators extends ValidatorParts, TReturns extends ReturnsMap = {}, TOutput = Response, TAppContext extends Record<string, unknown> = AppContext> = Omit<RouteExport<Path, TMethod, Acc, TReturns, TOutput>, "$Infer"> & {
-    readonly $Infer: {
-        Context: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleContextWithoutBody<Path, TMethod, Acc, Validators, TAppContext> : RouteHandleContext<Path, TMethod, Acc, Validators, TAppContext>;
-        Input: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleInputWithoutBody<Path, TMethod, Acc, Validators> : RouteHandleInput<Path, TMethod, Acc, Validators>;
-        Output: TOutput;
-    };
-};
-export type RouteContractBuilderBase<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[] = readonly [], Validators extends ValidatorParts = {}, TReturns extends ReturnsMap = {}, TAppContext extends Record<string, unknown> = AppContext> = {
-    readonly path: Path;
-    readonly method: TMethod;
-    readonly $Infer: {
-        Context: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleContextWithoutBody<Path, TMethod, Acc, Validators, TAppContext> : RouteHandleContext<Path, TMethod, Acc, Validators, TAppContext>;
-        Input: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleInputWithoutBody<Path, TMethod, Acc, Validators> : RouteHandleInput<Path, TMethod, Acc, Validators>;
-        Output: TReturns;
-    };
-    query<TQuery, TQueryIn = unknown>(schema: Schema<TQuery, TQueryIn>): RouteContractBuilder<Path, TMethod, Acc, Omit<Validators, "query" | "queryIn"> & {
-        query: TQuery;
-        queryIn: TQueryIn;
-    }, TReturns, TAppContext>;
-    params<TParams, TParamsIn = unknown>(schema: Schema<TParams, TParamsIn>): RouteContractBuilder<Path, TMethod, Acc, Omit<Validators, "params" | "paramsIn"> & {
-        params: TParams;
-        paramsIn: TParamsIn;
-    }, TReturns, TAppContext>;
-    returns<const M extends ReturnsMap>(map: M): RouteContractBuilder<Path, TMethod, Acc, Validators, Omit<TReturns, keyof M> & M, TAppContext>;
-    handler<R extends Response = Response>(fn: (ctx: TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? RouteHandleContextWithoutBody<Path, TMethod, Acc, Validators, TAppContext> : RouteHandleContext<Path, TMethod, Acc, Validators, TAppContext>) => Awaitable<R>, ..._assert: [R] extends [ValidHandlerReply<R, TReturns>] ? [] : [
-        {
-            expected: ValidHandlerReply<R, TReturns>;
-            actual: R;
-        }
-    ]): RouteHandleResult<Path, TMethod, Acc, Validators, TReturns, R, TAppContext>;
-};
-export type RouteContractBuilder<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[] = readonly [], Validators extends ValidatorParts = {}, TReturns extends ReturnsMap = {}, TAppContext extends Record<string, unknown> = AppContext> = RouteContractBuilderBase<Path, TMethod, Acc, Validators, TReturns, TAppContext> & (TMethod extends "GET" | "DELETE" | "HEAD" | "OPTIONS" ? {} : {
-    body<TBody, TBodyIn = unknown>(schema: Schema<TBody, TBodyIn>): RouteContractBuilder<Path, TMethod, Acc, Omit<Validators, "body" | "bodyIn"> & {
-        body: TBody;
-        bodyIn: TBodyIn;
-    }, TReturns, TAppContext>;
-    body<Mode extends "json" | "form" | "urlencoded", TBody, TBodyIn = unknown>(mode: Mode, schema: Schema<TBody, TBodyIn>): RouteContractBuilder<Path, TMethod, Acc, Omit<Validators, "body" | "bodyIn"> & {
-        body: TBody;
-        bodyIn: TBodyIn;
-    }, TReturns, TAppContext>;
-});
-export type RouteMiddlewareBuilder<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[] = readonly [], Validators extends ValidatorParts = {}, TReturns extends ReturnsMap = {}, TAppContext extends Record<string, unknown> = AppContext> = RouteContractBuilder<Path, TMethod, Acc, Validators, TReturns, TAppContext> & {
-    use<TAcc, UReturns extends ReturnsMap = {}, TRequiredLayouts = unknown, TRequires extends MiddlewareRequirements = {}>(unit: [
-        IsLayoutAllowed<TRequiredLayouts, RouteLayoutChain<Path, TMethod>>,
-        IsRequirementsSatisfied<{
-            query: RouteResolvedField<Path, TMethod, Acc, "query">;
-            params: ResolveParams<PathParams<Path>, RouteResolvedField<Path, TMethod, Acc, "params">>;
-            body: RouteResolvedField<Path, TMethod, Acc, "body">;
-            state: RouteResolvedField<Path, TMethod, Acc, "state">;
-        }, TRequires>
-    ] extends [true, true] ? MiddlewareUnit<TAcc, UReturns, TRequiredLayouts, TRequires> : never): RouteMiddlewareBuilder<Path, TMethod, readonly [...Acc, TAcc], Validators, Omit<TReturns, keyof UReturns> & UReturns, TAppContext>;
-    use<R = unknown>(fn: (ctx: RouteChainContext<Path, TMethod, Acc, unknown, unknown, unknown, TAppContext>, next: NextFn) => Awaitable<R>): RouteMiddlewareBuilder<Path, TMethod, readonly [...Acc, MiddlewareReturnFromParts<unknown, unknown, unknown, ExtractState<R>>], Validators, TReturns, TAppContext>;
-};
-export type RouteBuilder<Path extends RoutePath, TMethod extends Method, Acc extends readonly unknown[] = readonly [], Validators extends ValidatorParts = {}, TReturns extends ReturnsMap = {}, TAppContext extends Record<string, unknown> = AppContext> = RouteMiddlewareBuilder<Path, TMethod, Acc, Validators, TReturns, TAppContext>;
-export type RouteDefinition<Path extends RoutePath = RoutePath, TMethod extends Method = Method, Acc extends readonly unknown[] = readonly unknown[], Validators extends ValidatorParts = ValidatorParts, TReturns extends ReturnsMap = ReturnsMap, TOutput = Response, TAppContext extends Record<string, unknown> = AppContext> = RouteHandleResult<Path, TMethod, Acc, Validators, TReturns, TOutput, TAppContext>;
-export type InferRouteContext<R> = R extends {
-    $Infer: {
-        Context: infer C;
-    };
-} ? C : never;
-export type InferRouteInput<R> = R extends {
-    $Infer: {
-        Input: infer I;
-    };
-} ? I : never;
-export type InferRouteOutput<R> = R extends {
-    $Infer: {
-        Output: infer O;
-    };
-} ? O : never;

package/dist/cjs/types/returns.d.cts

@@ -1,34 +0,0 @@
-import { ReplyOf } from '@taserjs/router-utils/reply';
-import { StatusCode } from '@taserjs/router-utils';
-import { Simplify } from './type-utils.js';
-import { Schema, InferOutput } from './schema.js';
-export type { StatusCode };
-/** Status-code → Standard Schema map for route/middleware/handler outputs. */
-export type ReturnsMap = {
-    readonly [status: number]: Schema<unknown> | undefined;
-};
-/** Later map wins on overlapping status keys. */
-export type MergeReturns<A extends ReturnsMap, B extends ReturnsMap> = Omit<A, keyof B> & B;
-/** Typed reply union for statuses declared in a returns map. */
-export type ReplyFor<M extends ReturnsMap> = {
-    [S in keyof M & number]: M[S] extends Schema<unknown> ? ReplyOf<S, Simplify<InferOutput<M[S]>>> : never;
-}[keyof M & number];
-export type EmptyReturns = {};
-/** True when no status schemas have been declared yet. */
-export type HasReturns<M extends ReturnsMap> = [keyof M] extends [never] ? false : true;
-/**
- * Validate a concrete reply `R` against returns map `M`.
- * Declared statuses must match schema output; undeclared statuses stay open
- * (same rule as runtime `validateReply`).
- */
-export type ValidHandlerReply<R, M extends ReturnsMap> = R extends ReplyOf<infer S, infer B> ? S extends keyof M ? M[S] extends Schema<unknown> ? B extends Simplify<InferOutput<M[S]>> ? R : never : R : R : R extends Response ? R : never;
-/**
- * Narrow a handler return so declared statuses are schema-checked without
- * breaking multi-status unions (avoids circular `R extends …<R>` constraints).
- */
-export type EnforceHandlerReply<R, M extends ReturnsMap> = [R] extends [ValidHandlerReply<R, M>] ? R : ValidHandlerReply<R, M>;
-/**
- * Expected `.handler` return type for a returns map.
- * Prefer constraining handler generics with {@link EnforceHandlerReply}.
- */
-export type HandlerReply<M extends ReturnsMap> = HasReturns<M> extends true ? ReplyFor<M> | Response : Response;

package/dist/cjs/types/schema.d.cts

@@ -1,14 +0,0 @@
-import { StandardSchemaV1 } from '@standard-schema/spec';
-import { RequestShape } from './type-utils.js';
-export type { StandardSchemaV1 } from '@standard-schema/spec';
-/**
- * A Standard Schema validator.
- * `TOutput` is the validated/output type; `TInput` is the pre-parse input (request shape).
- */
-export type Schema<TOutput = unknown, TInput = unknown> = StandardSchemaV1<TInput, TOutput>;
-/** Infers the output type from a Standard Schema. */
-export type InferOutput<S> = S extends StandardSchemaV1<unknown, infer O> ? O : never;
-/** Infers the input type from a Standard Schema. */
-export type InferInput<S> = S extends StandardSchemaV1<infer I, unknown> ? I : never;
-/** Pre-parse request shape from a Standard Schema. */
-export type SchemaRequestShape<S> = S extends StandardSchemaV1<infer I, infer O> ? RequestShape<I, O> : S;

package/dist/cjs/types/type-utils.d.cts

@@ -1,50 +0,0 @@
-import { TaserCookieJar, TaserHeaders } from '@taserjs/router-core';
-import { HttpMethod, HttpVerb } from '@taserjs/router-utils/http';
-export type Method = HttpMethod;
-export type { HttpMethod, HttpVerb };
-export type MiddlewareFieldName = "query" | "params" | "body" | "state";
-export type MiddlewareInputFieldName = "query" | "params" | "body";
-export type UnwrapPart<T> = unknown extends T ? {} : T;
-export type MergePart<T, Base> = unknown extends T ? Base : Base & T;
-/** Collapse intersections so `Omit`/`keyof` treat the result as one object type. */
-export type Simplify<T> = [T] extends [infer U] ? {
-    [K in keyof U]: U[K];
-} : never;
-/**
- * Request prop: when schema input is `unknown` (e.g. zod coerce),
- * fall back to the validated output type.
- */
-type RequestPropType<TIn, TOut> = [unknown] extends [Exclude<TIn, undefined>] ? TOut : TIn;
-/**
- * Pre-parse request shape. Prefer input types (defaults → optional),
- * but replace `unknown` input props with output types.
- */
-export type RequestShape<TIn, TOut> = unknown extends TIn ? UnwrapPart<TOut> : Simplify<{
-    [K in keyof TIn]: K extends keyof TOut ? RequestPropType<TIn[K], TOut[K]> : TIn[K];
-}>;
-export type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends (value: infer Value) => void ? Value : never;
-export type MiddlewareField<Middleware, Field extends MiddlewareFieldName> = Field extends "query" ? Middleware extends {
-    query: infer Query;
-} ? Query : {} : Field extends "params" ? Middleware extends {
-    params: infer Params;
-} ? Params : {} : Field extends "body" ? Middleware extends {
-    body: infer Body;
-} ? Body : {} : Field extends "state" ? Middleware extends {
-    state: infer State;
-} ? State : {} : {};
-export type MiddlewareInputField<Middleware, Field extends MiddlewareInputFieldName> = Middleware extends {
-    input: {
-        [K in Field]: infer V;
-    };
-} ? V : {};
-export type MergeMiddlewareField<Middlewares extends readonly unknown[], Field extends MiddlewareFieldName> = Middlewares extends readonly [] ? {} : Middlewares extends readonly [infer Head, ...infer Tail] ? MiddlewareField<Head, Field> & MergeMiddlewareField<Tail, Field> : MiddlewareField<Middlewares[number], Field>;
-export type MergeMiddlewareInputField<Middlewares extends readonly unknown[], Field extends MiddlewareInputFieldName> = Middlewares extends readonly [] ? {} : Middlewares extends readonly [infer Head, ...infer Tail] ? MiddlewareInputField<Head, Field> & MergeMiddlewareInputField<Tail, Field> : MiddlewareInputField<Middlewares[number], Field>;
-export type RuntimeContextFields = {
-    request: Request;
-    method: Method;
-    url: URL;
-    headers: TaserHeaders;
-    cookies: TaserCookieJar;
-    var: Record<string, unknown>;
-};
-export type UnitRuntimeContext = Omit<RuntimeContextFields, "var">;

package/dist/cjs/types/units.d.cts

@@ -1,71 +0,0 @@
-import { MiddlewareDefinition as CoreMiddlewareDefinition, TaserCookieJar, TaserHeaders } from '@taserjs/router-core';
-import { RequestShape, Simplify, UnitRuntimeContext, UnwrapPart } from './type-utils.js';
-import { ReturnsMap } from './returns.js';
-import { Schema } from './schema.js';
-export type { HttpMethod, Method } from './type-utils.js';
-export type { EmptyReturns, MergeReturns, ReturnsMap, HandlerReply, HasReturns, StatusCode, ValidHandlerReply, EnforceHandlerReply, } from './returns.js';
-/** Default empty app context for standalone units without a bound router instance. */
-export type EmptyAppContext = Record<never, never>;
-export type ValidatorParts = {
-    query?: unknown;
-    params?: unknown;
-    body?: unknown;
-    queryIn?: unknown;
-    paramsIn?: unknown;
-    bodyIn?: unknown;
-};
-export declare const StateBrand: unique symbol;
-export type NextResult<TState = unknown> = Response & {
-    readonly [StateBrand]?: TState;
-};
-export type ExtractStateFromUnion<T> = T extends {
-    readonly [StateBrand]?: infer S;
-} ? [S] extends [never] ? never : [unknown] extends [S] ? {} : S : never;
-export type ExtractState<T> = [ExtractStateFromUnion<Awaited<T>>] extends [never] ? {} : ExtractStateFromUnion<Awaited<T>>;
-export type IsUnknown<T> = [unknown] extends [T] ? true : false;
-export type NextFn<TExpectedState = unknown> = IsUnknown<TExpectedState> extends true ? <S extends Record<string, unknown> = {}>(state?: S) => Promise<NextResult<S>> : (state: TExpectedState) => Promise<NextResult<TExpectedState>>;
-export type MiddlewareDefinition = CoreMiddlewareDefinition<ReturnsMap>;
-export type MiddlewareReturnFromParts<TQuery, TParams, TBody, TState, TQueryIn = TQuery, TParamsIn = TParams, TBodyIn = TBody> = {
-    query: UnwrapPart<TQuery>;
-    params: UnwrapPart<TParams>;
-    body: UnwrapPart<TBody>;
-    state: UnwrapPart<TState>;
-    /** Pre-parse shapes merged into route `$Infer.Input`. */
-    input: {
-        query: RequestShape<TQueryIn, TQuery>;
-        params: RequestShape<TParamsIn, TParams>;
-        body: RequestShape<TBodyIn, TBody>;
-    };
-};
-export type MiddlewareRequirements = {
-    query?: Record<string, unknown>;
-    params?: Record<string, unknown>;
-    body?: unknown;
-    state?: Record<string, unknown>;
-};
-export type DefineMiddlewareResult<TQuery, TParams, TBody, TState, R, TQueryIn = TQuery, TParamsIn = TParams, TBodyIn = TBody, TReturns extends ReturnsMap = {}, TLayout = null, TRequires extends MiddlewareRequirements = {}> = MiddlewareUnit<MiddlewareReturnFromParts<TQuery, TParams, TBody, IsUnknown<TState> extends true ? ExtractState<R> : TState, TQueryIn, TParamsIn, TBodyIn>, TReturns, TLayout, TRequires>;
-export type StandaloneMiddlewareContext<TQuery = unknown, TParams = unknown, TBody = unknown, TAppContext extends Record<string, unknown> = EmptyAppContext, TState = {}, TRequires extends MiddlewareRequirements = {}> = Simplify<TAppContext & UnitRuntimeContext & {
-    query: Simplify<UnwrapPart<TQuery> & (TRequires["query"] extends Record<string, unknown> ? TRequires["query"] : {})>;
-    params: Simplify<UnwrapPart<TParams> & (TRequires["params"] extends Record<string, unknown> ? TRequires["params"] : {})>;
-    body: Simplify<UnwrapPart<TBody> & (unknown extends TRequires["body"] ? {} : [TRequires["body"]] extends [undefined] ? {} : TRequires["body"])>;
-    state: Simplify<UnwrapPart<TState> & (TRequires["state"] extends Record<string, unknown> ? TRequires["state"] : {})>;
-    headers: TaserHeaders;
-    cookies: TaserCookieJar;
-}>;
-export declare const MiddlewareUnitBrand: unique symbol;
-export type MiddlewareUnit<TAcc = unknown, TReturns extends ReturnsMap = {}, TRequiredLayouts = unknown, TRequires extends MiddlewareRequirements = {}> = MiddlewareDefinition & {
-    readonly [MiddlewareUnitBrand]: true;
-    readonly __middlewareAcc: TAcc;
-    readonly __returns?: TReturns;
-    readonly __requiredLayouts?: TRequiredLayouts;
-    readonly __requirements?: TRequires;
-};
-export type MiddlewareUnitBuilder<TQuery = unknown, TParams = unknown, TBody = unknown, TReturns extends ReturnsMap = {}, TRequiredLayouts = unknown, TRequires extends MiddlewareRequirements = {}, TAppContext extends Record<string, unknown> = EmptyAppContext, TInheritedState = {}, TQueryIn = unknown, TParamsIn = unknown, TBodyIn = unknown, TExpectedState = unknown> = MiddlewareUnit<MiddlewareReturnFromParts<TQuery, TParams, TBody, IsUnknown<TExpectedState> extends true ? {} : TExpectedState, TQueryIn, TParamsIn, TBodyIn>, TReturns, TRequiredLayouts, TRequires> & {
-    query<Q, QIn = unknown>(schema: Schema<Q, QIn>): MiddlewareUnitBuilder<Q, TParams, TBody, TReturns, TRequiredLayouts, TRequires, TAppContext, TInheritedState, QIn, TParamsIn, TBodyIn, TExpectedState>;
-    params<P, PIn = unknown>(schema: Schema<P, PIn>): MiddlewareUnitBuilder<TQuery, P, TBody, TReturns, TRequiredLayouts, TRequires, TAppContext, TInheritedState, TQueryIn, PIn, TBodyIn, TExpectedState>;
-    body<B, BIn = unknown>(schema: Schema<B, BIn>): MiddlewareUnitBuilder<TQuery, TParams, B, TReturns, TRequiredLayouts, TRequires, TAppContext, TInheritedState, TQueryIn, TParamsIn, BIn, TExpectedState>;
-    body<Mode extends "json" | "form" | "urlencoded", B, BIn = unknown>(mode: Mode, schema: Schema<B, BIn>): MiddlewareUnitBuilder<TQuery, TParams, B, TReturns, TRequiredLayouts, TRequires, TAppContext, TInheritedState, TQueryIn, TParamsIn, BIn, TExpectedState>;
-    returns<const M extends ReturnsMap>(map: M): MiddlewareUnitBuilder<TQuery, TParams, TBody, Omit<TReturns, keyof M> & M, TRequiredLayouts, TRequires, TAppContext, TInheritedState, TQueryIn, TParamsIn, TBodyIn, TExpectedState>;
-    requires<Requires extends MiddlewareRequirements>(): MiddlewareUnitBuilder<TQuery, TParams, TBody, TReturns, TRequiredLayouts, TRequires & Requires, TAppContext, TInheritedState, TQueryIn, TParamsIn, TBodyIn, TExpectedState>;
-    handler<R>(fn: (ctx: StandaloneMiddlewareContext<TQuery, TParams, TBody, TAppContext, TInheritedState, TRequires>, next: NextFn<TExpectedState>) => R): DefineMiddlewareResult<TQuery, TParams, TBody, IsUnknown<TExpectedState> extends true ? ExtractState<R> : TExpectedState, R, TQueryIn, TParamsIn, TBodyIn, TReturns, TRequiredLayouts, TRequires>;
-};

package/dist/esm/builder/app.d.ts

@@ -1,11 +0,0 @@
-import { RouteManifestShape, TaserRuntime } from '@taserjs/router-core';
-export declare class TaserServeView<THasNotFound extends boolean = boolean> {
-    protected readonly runtime: TaserRuntime<THasNotFound>;
-    readonly fetch: (request: Request, env?: unknown, executionCtx?: unknown) => THasNotFound extends true ? Promise<Response> | Response : Promise<Response | undefined> | Response | undefined;
-    readonly request: (path: string, init?: RequestInit) => THasNotFound extends true ? Promise<Response> : Promise<Response | undefined>;
-    constructor(runtime: TaserRuntime<THasNotFound>);
-}
-export declare class TaserApp<TManifest extends RouteManifestShape = RouteManifestShape, THasNotFound extends boolean = boolean> extends TaserServeView<THasNotFound> {
-    readonly __manifest?: TManifest;
-    constructor(runtime: TaserRuntime<THasNotFound>, manifest?: TManifest);
-}

package/dist/esm/builder/app.js

@@ -1,26 +0,0 @@
-//#region src/builder/app.ts
-var TaserServeView = class {
-	runtime;
-	fetch;
-	request;
-	constructor(runtime) {
-		this.runtime = runtime;
-		this.fetch = (request, env, executionCtx) => {
-			return this.runtime.fetch(request, env, executionCtx);
-		};
-		this.request = (path, init) => {
-			return this.runtime.request(path, init);
-		};
-	}
-};
-var TaserApp = class extends TaserServeView {
-	__manifest;
-	constructor(runtime, manifest) {
-		super(runtime);
-		if (manifest !== void 0) this.__manifest = manifest;
-	}
-};
-//#endregion
-export { TaserApp, TaserServeView };
-
-//# sourceMappingURL=app.js.map

package/dist/esm/builder/app.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"app.js","names":[],"sources":["../../../src/builder/app.ts"],"sourcesContent":["import type { RouteManifestShape, TaserRuntime } from \"@taserjs/router-core\";\n\nexport class TaserServeView<THasNotFound extends boolean = boolean> {\n  readonly fetch: (\n    request: Request,\n    env?: unknown,\n    executionCtx?: unknown,\n  ) => THasNotFound extends true\n    ? Promise<Response> | Response\n    : Promise<Response | undefined> | Response | undefined;\n\n  readonly request: (\n    path: string,\n    init?: RequestInit,\n  ) => THasNotFound extends true ? Promise<Response> : Promise<Response | undefined>;\n\n  constructor(protected readonly runtime: TaserRuntime<THasNotFound>) {\n    this.fetch = (request: Request, env?: unknown, executionCtx?: unknown) => {\n      return this.runtime.fetch(request, env, executionCtx as never);\n    };\n    this.request = (path: string, init?: RequestInit) => {\n      return this.runtime.request(path, init);\n    };\n  }\n}\n\nexport class TaserApp<\n  TManifest extends RouteManifestShape = RouteManifestShape,\n  THasNotFound extends boolean = boolean,\n> extends TaserServeView<THasNotFound> {\n  readonly __manifest?: TManifest;\n\n  constructor(runtime: TaserRuntime<THasNotFound>, manifest?: TManifest) {\n    super(runtime);\n    if (manifest !== undefined) {\n      this.__manifest = manifest;\n    }\n  }\n}\n"],"mappings":";AAEA,IAAa,iBAAb,MAAoE;CAcnC;CAb/B;CAQA;CAKA,YAAY,SAAwD;EAArC,KAAA,UAAA;EAC7B,KAAK,SAAS,SAAkB,KAAe,iBAA2B;GACxE,OAAO,KAAK,QAAQ,MAAM,SAAS,KAAK,YAAqB;EAC/D;EACA,KAAK,WAAW,MAAc,SAAuB;GACnD,OAAO,KAAK,QAAQ,QAAQ,MAAM,IAAI;EACxC;CACF;AACF;AAEA,IAAa,WAAb,cAGU,eAA6B;CACrC;CAEA,YAAY,SAAqC,UAAsB;EACrE,MAAM,OAAO;EACb,IAAI,aAAa,KAAA,GACf,KAAK,aAAa;CAEtB;AACF"}

package/dist/esm/builder/constants.d.ts

@@ -1,3 +0,0 @@
-/** Input schema keys validated by middleware and route handlers. Headers/cookies are parsed only. */
-export declare const SCHEMA_KEYS: readonly ["query", "params", "body"];
-export type SchemaKey = (typeof SCHEMA_KEYS)[number];

package/dist/esm/builder/constants.js

@@ -1,11 +0,0 @@
-//#region src/builder/constants.ts
-/** Input schema keys validated by middleware and route handlers. Headers/cookies are parsed only. */
-var SCHEMA_KEYS = [
-	"query",
-	"params",
-	"body"
-];
-//#endregion
-export { SCHEMA_KEYS };
-
-//# sourceMappingURL=constants.js.map

package/dist/esm/builder/constants.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"constants.js","names":[],"sources":["../../../src/builder/constants.ts"],"sourcesContent":["/** Input schema keys validated by middleware and route handlers. Headers/cookies are parsed only. */\nexport const SCHEMA_KEYS = [\"query\", \"params\", \"body\"] as const;\n\nexport type SchemaKey = (typeof SCHEMA_KEYS)[number];\n"],"mappings":";;AACA,IAAa,cAAc;CAAC;CAAS;CAAU;AAAM"}

package/dist/esm/builder/middleware-unit.d.ts

@@ -1,34 +0,0 @@
-import { BodyMode } from '@taserjs/router-core';
-import { ReturnsMap } from '../types/returns.js';
-import { Schema } from '../types/schema.js';
-declare class MiddlewareUnitBuilderImpl {
-    private readonly validators;
-    private bodyMode;
-    private returnsMap;
-    readonly __requiredLayouts: string | readonly string[] | undefined;
-    readonly __middlewareAcc: unknown;
-    constructor(requiredLayouts?: string | readonly string[]);
-    query(schema: Schema<unknown>): this;
-    params(schema: Schema<unknown>): this;
-    body(modeOrSchema: BodyMode | Schema<unknown>, schema?: Schema<unknown>): this;
-    returns(map: ReturnsMap): this;
-    requires(): this;
-    handler(fn: (ctx: any, next: any) => any): {
-        __middlewareAcc: unknown;
-        __requiredLayouts?: string | readonly string[];
-        returns?: ReturnsMap;
-        __returns?: ReturnsMap;
-        bodyMode?: BodyMode;
-        handler?: (ctx: any, next: any) => any;
-    };
-    toUnit(fn?: (ctx: any, next: any) => any): {
-        __middlewareAcc: unknown;
-        __requiredLayouts?: string | readonly string[];
-        returns?: ReturnsMap;
-        __returns?: ReturnsMap;
-        bodyMode?: BodyMode;
-        handler?: (ctx: any, next: any) => any;
-    };
-}
-export declare function createMiddlewareUnitBuilder(requiredLayouts?: string | readonly string[]): MiddlewareUnitBuilderImpl;
-export {};