import { Options } from './options';
export interface MultimethodConstructor {
    <P extends unknown[]>(options: Options<P, Awaitable<string>>): Multimethod<P>;
    <P extends unknown[]>(options: Options<P, Promise<string>>): AsyncMultimethod<P>;
    new <P extends unknown[]>(options: Options<P, Awaitable<string>>): Multimethod<P>;
    new <P extends unknown[]>(options: Options<P, Promise<string>>): AsyncMultimethod<P>;
}
export interface Multimethod<P extends unknown[] = unknown[], R = never> {
    (...args: P): R;
    extend<MR>(methods: Methods<P, MR, 'super'>): Multimethod<P, Result<R | MR>>;
    extend<MR>(methods: Methods<P, Awaitable<MR>, 'super'>): Multimethod<P, Result<R | MR | Promise<MR>>>;
    decorate(decorators: Decorators<P, R, 'super'>): Multimethod<P, R>;
}
export interface AsyncMultimethod<P extends unknown[] = unknown[], R = never> {
    (...args: P): Promise<R>;
    extend<MR>(methods: Methods<P, Awaitable<MR>, 'super'>): AsyncMultimethod<P, R | MR>;
    decorate(decorators: Decorators<P, Awaitable<R>, 'super'>): AsyncMultimethod<P, R>;
}
export declare type Methods<P extends unknown[] = unknown[], R = unknown, Super extends 'super' = never> = Record<string, Method<P, R> | Array<Method<P, R> | Super>>;
export declare type Method<P extends unknown[] = unknown[], R = unknown> = (bindings: PatternBindings, ...args: P) => R;
export declare type Decorators<P extends unknown[] = unknown[], R = unknown, Super extends 'super' = never> = Record<string, Decorator<P, R> | Array<Decorator<P, R> | Super>>;
export declare type Decorator<P extends unknown[] = unknown[], R = unknown> = (bindings: PatternBindings, method: (...args: P) => R, args: P) => R;
export declare type PatternBindings = {
    [name in string]?: string;
};
/**
 * Type operator that computes the return type of a multimethod, given the
 * union T = T1 | T2 | ... of the return types of the multimethod's methods.
 */
declare type Result<T> = (T extends Promise<any> ? 1 : never) extends never ? T : (T extends Promise<any> ? never : 1) extends never ? Promise<T extends Promise<infer U> ? U : T> : (T extends Promise<infer U> ? U : T) | Promise<T extends Promise<infer U> ? U : T>;
declare type Awaitable<T> = T | Promise<T>;
export {};