type-challenges-judge

Type Challenges Judge

Problems

Progress

Chainable Options

提出詳細

type Chainable<T extends Record<string, any> = {}> = {
  option<K extends string, V>(key: K extends keyof T ? never : K, value: V): 
     Chainable<T & Record<K, V>>
  get(): T
}

提出日時	2022-10-12 13:59:32
問題	Chainable Options
ユーザー	yotarotsukada
ステータス	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
}