import type { BuiltInObject } from "@effect-ts/core/Utils";
type AllKeys<T> = T extends any ? keyof T : never;
type OptionalKeys<T> = T extends any ? {
    [K in keyof T]-?: {} extends Pick<T, K> ? K : never;
}[keyof T] : never;
type Idx<T, K extends PropertyKey, D = never> = T extends any ? K extends keyof T ? T[K] : D : never;
type PartialKeys<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>> extends infer O ? {
    [P in keyof O]: O[P];
} : never;
export type Primitive = boolean | string | number | bigint | symbol | undefined | null;
export type Widen<T> = [T] extends [BuiltInObject] | [Primitive] ? T : [T] extends [Array<unknown>] ? {
    [K in keyof T]: Widen<T[K]>;
} : [T] extends [ReadonlyArray<unknown>] ? {
    [K in keyof T]: Widen<T[K]>;
} : [
    T
] extends [object] ? PartialKeys<{
    [K in AllKeys<T>]: Widen<Idx<T, K>>;
}, Exclude<AllKeys<T>, keyof T> | OptionalKeys<T>> : T;
export {};
//# sourceMappingURL=Widen.type.d.ts.map