type JSONCodecTransformer = (value: unknown) => unknown;
/**
 * The shape shared by every {@link JSONCodecKind}, whatever its type
 * arguments are. Method syntax lets kinds with different value types live in
 * the same list.
 */
export interface AnyJSONCodecKind {
    readonly kind: string;
    test(value: object): boolean;
    serialize(value: object, options: unknown, serializer: JSONCodecTransformer): unknown;
    parse(value: unknown, options: unknown, parser: JSONCodecTransformer): unknown;
}
export declare class JSONCodecKind<TKind extends string, TSerialized, TParsed extends object, TSerializeOptions extends object = {}, TParseOptions extends object = {}> {
    readonly kind: TKind;
    readonly test: (value: object) => value is TParsed;
    readonly serialize: (value: TParsed, options: TSerializeOptions, serializer: JSONCodecTransformer) => TSerialized | Promise<TSerialized>;
    readonly parse: (value: TSerialized & {
        '~kind': TKind;
    }, options: TParseOptions, parser: JSONCodecTransformer) => TParsed | Promise<TParsed>;
    constructor(kind: TKind, test: (value: object) => value is TParsed, serialize: (value: TParsed, options: TSerializeOptions, serializer: JSONCodecTransformer) => TSerialized | Promise<TSerialized>, parse: (value: TSerialized & {
        '~kind': TKind;
    }, options: TParseOptions, parser: JSONCodecTransformer) => TParsed | Promise<TParsed>);
}
type KindSerializeOptions<TKind> = TKind extends {
    serialize: (value: never, options: infer T, serializer: never) => unknown;
} ? T : {};
type KindParseOptions<TKind> = TKind extends {
    parse: (value: never, options: infer T, parser: never) => unknown;
} ? T : {};
export type JSONCodeKindSerializeOptions<TKinds extends readonly AnyJSONCodecKind[]> = TKinds extends readonly [
    infer TFirst,
    ...infer TRest extends readonly AnyJSONCodecKind[]
] ? KindSerializeOptions<TFirst> & JSONCodeKindSerializeOptions<TRest> : {};
export type JSONCodeKindParseOptions<TKinds extends readonly AnyJSONCodecKind[]> = TKinds extends readonly [
    infer TFirst,
    ...infer TRest extends readonly AnyJSONCodecKind[]
] ? KindParseOptions<TFirst> & JSONCodeKindParseOptions<TRest> : {};
export declare class JSONCodec<TKinds extends readonly AnyJSONCodecKind[]> {
    protected readonly kinds: Map<string, AnyJSONCodecKind>;
    constructor(...kinds: TKinds);
    private _isKind;
    private _getKind;
    private transform;
    private _parse;
    parse(text: string, options: JSONCodeKindParseOptions<TKinds>): Promise<unknown>;
    private _stringify;
    stringify(value: unknown, options: JSONCodeKindSerializeOptions<TKinds>): Promise<string>;
}
export {};