Typescript RecursiveRequired generic type

recursive-required.ts

type RecursiveRequired<T> = Required<{
  [P in keyof T]: T[P] extends object | undefined ? RecursiveRequired<Required<T[P]>> : T[P];
}>;

type ExampleType = {
  a?: number;
  b: number;
  c?: {
    d?: {
      e?: number;
      f: boolean;
      g?: {
        h: string
      }
    }
  }
}

type ExampleTypeRequired = RecursiveRequired<ExampleType>

const data: ExampleTypeRequired = {
  a: 1,
  b: 1,
  c: {
    d: {
      e: 1,
      f: false,
      g: {
        h: 'hello'
      }
    }
  }
}

This also works with arrays, which comes in handy in my case.

type ExampleType = {
  a: number;
  b: {name:string}[]
}

type ExampleTypeRequired = RecursiveRequired<ExampleType>

declare const exampleData: ExampleTypeRequired;

exampleData.b[0].name // always: string, no warnings

Thanks for the gist!

You’re welcome! ☺️

appreciate it

Thanks! 🤗

thanks for your gist!!!

Inspired by you, implemented using the -? operator.

type RequiredDeep<T> = {
  [P in keyof T]-?: T[P] extends object | undefined ? RequiredDeep<T[P]> : T[P];
};

Supports function

export type DeepRequired<T> = T extends Function
	? T
	: T extends object
		? {
				[P in keyof T]-?: DeepRequired<T[P]>
			}
		: T

was looking for this, thanks @gomezcabo!