import {Depth} from '../Object/_Internal'
import {BuiltInObject} from '../Misc/BuiltInObject'

/**
 * @hidden
 */
export type ComputeRaw<A extends any> =
    A extends Function
    ? A
    : {
        [K in keyof A]: A[K]
      } & {}

/**
 * @hidden
 */
export type ComputeFlat<A extends any> =
    A extends BuiltInObject
    ? A
    : {
        [K in keyof A]: A[K]
      } & {}

/**
 * @hidden
 */
export type ComputeDeep<A extends any> =
    A extends BuiltInObject
    ? A
    : {
        [K in keyof A]: ComputeDeep<A[K]>
      } & {}

/**
 * Force TS to load a type that has not been computed (to resolve composed
 * types that TS haven't fully resolved, for display purposes mostly).
 * @param A to compute
 * @returns `A`
 * @example
 * ```ts
 * import {A} from 'ts-toolbelt'
 *
 * type test0 = A.Compute<{x: 'x'} & {y: 'y'}> // {x: 'x', y: 'y'}
 * ```
 */
export type Compute<A extends any, depth extends Depth = 'deep'> = {
    'flat': ComputeFlat<A>
    'deep': ComputeDeep<A>
}[depth]