Тип потока: Возвращаемый тип функции должен быть таким же, как аргументы обратного вызова?

Question

У меня есть следующая функция -

function wrapper(callback) {
  // operation
}

Мне нужно, чтобы возвращаемый тип wrapper был таким же, как первый (единственный) аргумент, переданный в callback. Например,

wrapper(({paramA, paramB}) => {}) 
// returns { paramA: somveVal, paramB: someVal }

Это вообще возможно?

Answer 1

function wrapper<T>(callback: T => mixed): T { ...}

Обратите внимание, что эта подпись невыполнима, если вы на самом деле не хотите, чтобы она была общей.

Answer 2

Если я хорошо понимаю, вам нужно что-то вроде этого:

Например, объявить type CallBack:

type CallBack = {|
  paramA: any,
  paramB: any,
 // Or use other type instead any.
|}

И annotate функция :

const wrapper = (fn: (x: CallBack) => CallBack): CallBack => ({ paramA: 1, paramB: 2 });

Пример потока: Проба потока