мульти типизированных остальные определений типа параметра

Question

Я пытаюсь написать файл описание машинописи для этого библиотека JavaScript: https://github.com/CRogers/pun

Проблемы в настоящее время находится с функцией pun.match, которая чередуется любой другой аргумент как ADT объект или как анонимная функция. Я хотел бы описать это в определении машинописи, как-то вдоль линий:

export function match<K extends ADT, V>([syntax here for ...: K,() => V]): V; 

Я подозреваю, что это не представляется возможным. Если это не так, есть ли способ обхода, который я могу сделать?

Спасибо.

Answer 1

Я подозреваю, что это действительно невозможно. Если это не так, есть ли способ обхода, который я могу сделать?

Невозможно. Обход использование any[]:

export function match(...args:any[]): any; 

В качестве альтернативы вы можете определить его в течение первых нескольких (п) случаях:

declare function match<K extends ADT, V>(k: K, v:() => V, k2?: K, v2?:() => V, k3?: K, v3?:() => V): V;