@younho9/types/types/invariant-of-deep.d.ts

A set of utility types for TypeScript

import type {Primitive} from 'type-fest';

import type {InvariantOf} from './invariant-of.js';

/**
 * Make type as Invariant deeply
 *
 * @category Utilities
 */
export type InvariantOfDeep<Type> = Type extends Primitive
  ? InvariantOf<Type>
  : InvariantOf<{
      [KeyType in keyof Type]: InvariantOfDeep<Type[KeyType]>;
    }>;