import { type ContractBuilder, type ContractProcedure } from '@ts-pf/contract';
import type { MiddlewareFn } from './middleware.js';
import { type ImplementedProcedure, type ImplementedRouter } from './runtime.js';
export declare function createImplementer<T>(contract: T): Implementer<T, object>;
export type ProcedureBuilder<TInput, TOutput, TCtx, TErrors extends Record<string, unknown> = Record<string, unknown>> = {
    use: (mw: MiddlewareFn<TCtx, unknown, TOutput>) => ProcedureBuilder<TInput, TOutput, TCtx, TErrors>;
    useAfter: (mw: MiddlewareFn<TCtx, TInput, TOutput>) => ProcedureBuilder<TInput, TOutput, TCtx, TErrors>;
    handler: (fn: (opts: {
        input: TInput;
        context: TCtx;
        errors: import('./middleware.js').ErrorFactory<TErrors>;
        path: string[];
        signal?: AbortSignal;
    }) => TOutput | Promise<TOutput>) => ImplementedProcedure;
};
export type Implementer<T, TCtx> = {
    $context: <C>() => Implementer<T, C>;
    use: (mw: MiddlewareFn<TCtx, unknown, unknown>) => Implementer<T, TCtx>;
    useAfter: (mw: MiddlewareFn<TCtx, unknown, unknown>) => Implementer<T, TCtx>;
    middleware: (fn: MiddlewareFn<TCtx, unknown, unknown>) => MiddlewareFn<TCtx, unknown, unknown>;
    router: (impl: RouterImpl<T, TCtx>) => ImplementedRouter<T>;
} & {
    [K in keyof T as K extends '~pf' ? never : K]: T[K] extends ContractBuilder<infer I, infer O, infer _E, infer _M> ? ProcedureBuilder<I, O, TCtx, _E> : T[K] extends ContractProcedure<infer I, infer O, infer _E, infer _M> ? ProcedureBuilder<I, O, TCtx, _E> : Implementer<T[K], TCtx>;
};
export type RouterImpl<T, TCtx> = {
    [K in keyof T as K extends '~pf' ? never : K]: T[K] extends ContractBuilder<infer _I, infer _O, infer _E, infer _M> ? ImplementedProcedure : T[K] extends ContractProcedure<infer _I, infer _O, infer _E, infer _M> ? ImplementedProcedure : RouterImpl<T[K], TCtx>;
};
//# sourceMappingURL=implement.d.ts.map