import type { Infer, Pred } from 'runtyp';
import { type BuiltinRouteFailures, type DefineErrorsInput, type RouteFailuresFor } from './defineErrors';
import { emptyObjectInput } from './routeDefaults';
import { type RouteHandler, type RouteMeta, type RouteAuth, type RouteScope, type McpRouteConfig, type WiredRoute } from './types';
/** Route preds and meta — the fields on `route()` besides `handler`. */
export type RouteContractInput = {
    input?: Pred<any>;
    output?: Pred<any>;
    errors?: DefineErrorsInput;
    meta: RouteMeta;
    auth?: RouteAuth;
    scope?: RouteScope;
    mcp?: McpRouteConfig;
};
type RouteBase = {
    meta: RouteMeta;
    auth?: RouteAuth;
    scope?: RouteScope;
    mcp?: McpRouteConfig;
};
type InferPred<T> = T extends Pred<infer U> ? U : never;
type InferredInput<I> = [I] extends [undefined] ? Infer<typeof emptyObjectInput> : InferPred<I>;
type InferredOutput<O> = [O] extends [undefined] ? void : InferPred<O>;
/** Route with no domain errors — builtins only on the handler return type. */
export declare function route<I extends Pred<any> | undefined, O extends Pred<any> | undefined, Ctx>(def: RouteBase & {
    input?: I;
    output?: O;
    errors?: undefined;
    handler: RouteHandler<InferredInput<I>, InferredOutput<O>, Ctx, BuiltinRouteFailures>;
}): WiredRoute<InferredInput<I>, InferredOutput<O>, Ctx>;
/** Route with domain errors declared on `errors:`. */
export declare function route<I extends Pred<any> | undefined, O extends Pred<any> | undefined, Ctx, const E extends DefineErrorsInput>(def: RouteBase & {
    input?: I;
    output?: O;
    errors: E;
    handler: RouteHandler<InferredInput<I>, InferredOutput<O>, Ctx, RouteFailuresFor<E>>;
}): WiredRoute<InferredInput<I>, InferredOutput<O>, Ctx>;
export {};