import type { StandardSchemaV1 } from "@tsimpl/validation";
import type { Trait } from "@tsimpl/core";
import type { ReplaceSelf, ReplaceSelfInTuple } from "./replace-self.js";
type StaticDispatch<TTrait extends Trait> = {
    [Key in keyof TTrait]: TTrait[Key] extends (self: infer SelfArg, ...args: infer Args) => infer Result ? <TSelf>(self: ReplaceSelf<SelfArg, TSelf>, ...args: ReplaceSelfInTuple<Args, TSelf>) => ReplaceSelf<Result, TSelf> : <TSelf>(self: ReplaceSelf<TTrait[Key], TSelf>) => ReplaceSelf<TTrait[Key], TSelf>;
};
export type TraitDescriptor<TTrait extends Trait> = {
    name: string;
    key: symbol;
    symbol: symbol;
    methods: readonly (keyof TTrait)[];
    methodSet: ReadonlySet<PropertyKey>;
    defaults?: Readonly<Record<PropertyKey, unknown>>;
    abstractMethods?: ReadonlySet<PropertyKey>;
};
export type TraitToken<TTrait extends Trait> = TraitDescriptor<TTrait> & StaticDispatch<TTrait> & {
    [Symbol.toPrimitive](): symbol;
} & StandardSchemaV1<unknown, unknown> & symbol;
export {};