quaderi/ts-zen

TS Zen

ts-zen's Issues

Seems to have some issue in _Set

This seems less buggy:

export type NormalizedPathKey = string | symbol

export type NonemptyTuple<X extends unknown = unknown, HasIdx extends number = 0> = (
  X[] & { [k in HasIdx | 0]: X}
) | (
  readonly X[]  & { readonly [k in HasIdx | 0]: X }
)

export type NonemptyPathTuple = NonemptyTuple<NormalizedPathKey>
type Rest<T extends readonly any[]> = 
    T extends readonly [any, ...(infer U)] ? U : T;

export type _Set<
  Object,
  Path extends NonemptyPathTuple,
  Value = unknown
> = Path[0] extends keyof Object
  ? (
    {
      [key in (keyof Object | Path[0])]: Path[0] extends key
        ? (
          Rest<Path> extends NonemptyPathTuple
            ? _Set<Object[Path[0]], Rest<Path>, Value>
            : Value
        )
        : Object[key]
    }
  ) : (
    {
      [key in (keyof Object | Path[0])]: key extends keyof Object
        ? Object[key] : (
          Rest<Path> extends NonemptyPathTuple
            ? _Set<{}, Rest<Path>, Value>
            : Value
        )
    }
  )

  const nestedObject = {
    a: {
        b: {
            c: {
                d: 'Hello',
                foo: 'bar'
            } ,
            bar: 'baz'
        }
    } 
} as const
type NestedObject = typeof nestedObject
const pathABCD = [  'a', 'b', 'c', 'd'] as const

type PathABCD = typeof pathABCD

const goodbye = 'Goodbye' as const
type Goodbye = typeof goodbye
type NestedObjectWithGoodbyeSet = _Set<NestedObject, PathABCD, Goodbye>
const x: NestedObjectWithGoodbyeSet = {
    a: {
        b: {
            bar: "baz",
            c: {
                d: "Goodbye",
                foo: "bar",
            }
        }
    }
}