import { AnyCodec, Input, Output } from "../common/codec.js";
import { Codec, Expand, Narrow } from "../common/mod.js";
import { InputObject, ObjectMembers, OutputObject } from "./object.js";
export declare class Variant<T extends string, I, O> {
    readonly tag: T;
    readonly codec: Codec<I, O>;
    constructor(tag: T, codec: Codec<I, O>);
}
export type AnyVariant = Variant<any, never, unknown>;
export declare function variant<T extends string, E extends AnyCodec[]>(tag: T, ...members: ObjectMembers<E>): Variant<T, InputObject<E>, OutputObject<E>>;
export type InputTaggedUnion<K extends keyof any, M extends Record<number, AnyVariant>> = {
    [I in keyof M]: Expand<Readonly<Record<K, Extract<M[I], AnyVariant>["tag"]>> & Input<Extract<M[I], AnyVariant>["codec"]>>;
}[keyof M & number];
export type OutputTaggedUnion<K extends keyof any, M extends Record<number, AnyVariant>> = {
    [I in keyof M]: Expand<Record<K, Extract<M[I], AnyVariant>["tag"]> & Output<Extract<M[I], AnyVariant>["codec"]>>;
}[keyof M & number];
export declare function taggedUnion<K extends keyof any, M extends [] | Record<number, Variant<any, never, unknown>>>(tagKey: K, members: M): Codec<InputTaggedUnion<K, M>, OutputTaggedUnion<K, M>>;
export declare function literalUnion<T extends Narrow>(members: Record<number, T>): Codec<T>;