import { type MessageFormat } from "./sendrecv.ts";
import { type TaggedWebSocket } from "./taggedws.ts";
export interface Procedure<TSend, TRecv = TSend, R = void> {
    (helpers: ProcedureHelpers<TSend, TRecv>): Generator<ProcedureCommand<TSend, TRecv>, R, TRecv>;
}
export interface ProcedureHelpers<TSend, TRecv = TSend> {
    send: (payload: TSend) => SendCommand<TSend>;
    recv: () => RecvCommand<TRecv>;
    expect: (predicate: (message: TRecv) => boolean) => RecvCommand<TRecv>;
    settle: (promise: Promise<unknown>) => SettleCommand;
}
export type ProcedureCommand<TSend, TRecv = TSend> = SendCommand<TSend> | RecvCommand<TRecv> | SettleCommand;
export interface SendCommand<TSend> {
    action: "send";
    payload: TSend;
}
export interface RecvCommand<TRecv> {
    action: "recv";
    predicate?: (payload: TRecv) => boolean;
    strict: boolean;
}
export interface SettleCommand {
    action: "settle";
    promise: Promise<unknown>;
}
export interface ExecProcedureOptions<TSend, TRecv = TSend, R = void> {
    ws: TaggedWebSocket;
    procedure: Procedure<TSend, TRecv, R>;
    format: MessageFormat<TSend, TRecv>;
}
export declare function execProcedure<TSend, TRecv = TSend, R = void>(options: ExecProcedureOptions<TSend, TRecv, R>): Promise<R>;
//# sourceMappingURL=procedure.d.ts.map