import { AnyCodec, Codec, Expand, Input, Output, U2I } from "../common/mod.js";
export declare function field<K extends keyof any, VI, VO>(key: K, $value: Codec<VI, VO>): Codec<Expand<Readonly<Record<K, VI>>>, Expand<Record<K, VO>>>;
export declare function optionalField<K extends keyof any, VI, VO>(key: K, $value: Codec<VI, VO>): Codec<Expand<Readonly<Partial<Record<K, VI>>>>, Expand<Partial<Record<K, VO>>>>;
export type InputObject<T extends AnyCodec[]> = Expand<U2I<{
    x: {};
} | {
    [K in keyof T]: {
        x: Input<T[K]>;
    };
}[number]>["x"]>;
export type OutputObject<T extends AnyCodec[]> = Expand<U2I<{
    x: {};
} | {
    [K in keyof T]: {
        x: Output<T[K]>;
    };
}[number]>["x"]>;
type UnionKeys<T> = T extends T ? keyof T : never;
export type ObjectMembers<T extends AnyCodec[]> = [
    ...never extends T ? {
        [K in keyof T]: AnyCodec extends T[K] ? AnyCodec : UnionKeys<Input<T[K]>> & {
            [L in keyof T]: K extends L ? never : UnionKeys<Input<T[L]>>;
        }[number] extends (infer O extends keyof any) ? [O] extends [never] ? Codec<Input<T[K]> & {}> : Codec<{
            [_ in O]?: never;
        }> : never;
    } : T
];
export declare function object<T extends AnyCodec[]>(...members: ObjectMembers<T>): Codec<InputObject<T>, OutputObject<T>>;
export {};