Flavour
```ts type Curry< F extends (...args: any[]) => any, P extends any[] = Parameters, R = ReturnType > = P extends [infer F, ...infer Rest] ? Rest extends [] ?...
``` type Shift = T extends [infer F, ... infer Rest] ? Rest : [] // 测试用例 type S0 = Shift type S1 = Shift type S2 = Shift ```
```ts type Includes = E extends T[number] ? true : false type I0 = Includes // false type I1 = Includes // true type I2 = Includes // true ```
```ts type Tail = T extends [infer F, ...infer Rest] ? Rest : [] // 你的实现代码 // 测试用例 type T0 = Tail // [] type T1 = Tail // [2]...
```ts type Responder = { text?: () => string; json?: () => string; secure?: boolean; }; type RequireAtLeastOne< ObjectType, KeysType extends keyof ObjectType = keyof ObjectType, > = Omit &...
``` type Unshift = [E, ...T] // 你的实现代码 // 测试用例 type Arr0 = Unshift; // [1] type Arr1 = Unshift; // [0, 1, 2, 3] ```
```ts type Head = T extends [infer R, ...infer Rest] ? R : never // 你的实现代码 // 测试用例 type H0 = Head; // never type H1 = Head; // 1...
```ts type Foo = { readonly a: number; readonly b: string; readonly c: boolean; }; type Mutable = { -readonly[ k in Keys]: T[k] } & Omit // 你的实现代码 const...
``` type MergeType = { [k in (keyof T | keyof U)]: k extends keyof U ? U[k] : k extends keyof T ? T[k] : never } type Foo...