и использование этого для ввода функции разрешит любые произвольные типы для аргументов.
нципе, я хочу что-то вроде этого:
export type ReturnValueMapper<Func extends (...args: Args[] /* impossible */ ) => any, ReturnValue> = (...args: Args[]) => ReturnValue;
Я почти уверен, что это невозможно, но я не нашел точного подтверждения.
Вариант использования улучшает типы дляперекомпоновать с withStateHandlers, включив определение обновлений состояния следующим образом:
interface StateUpdaters {
update(field: string): void; // I don't want to specify Partial<State> here
}