Type Alias DeepRequired<T>

DeepRequired: T extends Primitive
    ? T
    : T extends AnyFn
        ? T
        : T extends MutableMap<infer K, infer V>
            ? MutableMap<DeepRequired<K>, DeepRequired<V>>
            : T extends ReadonlyMap<infer K, infer V>
                ? ReadonlyMap<DeepRequired<K>, DeepRequired<V>>
                : T extends MutableSet<infer V>
                    ? MutableSet<DeepRequired<V>>
                    : T extends ReadonlySet<infer V>
                        ? ReadonlySet<DeepRequired<V>>
                        : T extends Record<string, any>
                        | readonly unknown[]
                            ? { [K in keyof T]-?: DeepRequired<T[K]> }
                            : T

type PartialData = { a?: number; b?: { c?: string[] } };
type RequiredData = DeepRequired<PartialData>;
// Result: { a: number; b: { c: string[] } }
Copy