Type Challenges Judge

Problems

Progress

Chainable Options

提出詳細

type Chainable<O = {}> = {
  option: <K extends string | number | symbol, V>(k: K extends keyof O ? never : K, v: V) => Chainable<O & {
    [P in K]: V
  }>,
  get: () => O
}
提出日時2023-04-30 03:02:21
問題Chainable Options
ユーザーDowanna
ステータスAccepted
テストケース
import type { Alike, Expect } from '@type-challenges/utils'

declare const a: Chainable

const result1 = a
  .option('foo', 123)
  .option('bar', { value: 'Hello World' })
  .option('name', 'type-challenges')
  .get()

const result2 = a
  .option('name', 'another name')
  // @ts-expect-error
  .option('name', 'last name')
  .get()

type cases = [
  Expect<Alike<typeof result1, Expected1>>,
  Expect<Alike<typeof result2, Expected2>>,
]

type Expected1 = {
  foo: number
  bar: {
    value: string
  }
  name: string
}

type Expected2 = {
  name: string
}