Type Challenges Judge

Problems

Progress

PartialByKeys

提出詳細

type Merge<F,S,X=Omit<F,keyof S> & S> = {
  [ K in keyof X ]: X[K]
}
type PartialKeyOnly<T,Key> = {
  [ K in keyof T as K extends Key ? K : never]?: T[K]
}
type PartialByKeys<T,Key extends keyof T=keyof T> =
  Merge<T,PartialKeyOnly<T,Key>>
提出日時2023-09-15 13:30:22
問題PartialByKeys
ユーザーsankantsu
ステータスWrong Answer
テストケース
import type { Equal, Expect } from '@type-challenges/utils'

interface User {
  name: string
  age: number
  address: string
}

interface UserPartialName {
  name?: string
  age: number
  address: string
}

interface UserPartialNameAndAge {
  name?: string
  age?: number
  address: string
}

type cases = [
  Expect<Equal<PartialByKeys<User, 'name'>, UserPartialName>>,
  Expect<Equal<PartialByKeys<User, 'name' | 'unknown'>, UserPartialName>>,
  Expect<Equal<PartialByKeys<User, 'name' | 'age'>, UserPartialNameAndAge>>,
  Expect<Equal<PartialByKeys<User>, Partial<User>>>,
]