Как типизировать зависимость вывода функции от типа аргумента?

Question

[romaro]

Пробую так, но не работает:

type F = {
  (p1: string): string,
  (p1: number): number,
}

const fn: F = (p1: number) => { return ++p1 };

const a = fn(5);

Видимо, нужно использовать обобщенный тип, но не совсем понятно, как вынести это в самостоятельное описание типа (Type = {}):

function fn<T extends number | string>(p1: T): T { return p1 };

Comments

[WbICHA]

type F<T extends string | number> = (v: T) => T;

Answer 1

[Alexander Barison]

Может такой вариант подойдет?

type Example = <T = string | number>(arg: T) => T;

const FuncExample: Example = (arg) => {
  // Логика
  return arg
};

// type test = number
const test = FuncExample<number>(12);

Comments

[romaro]

Тут наверное лучше наследоваться от типа, чтобы каждый раз не указывать очевидный тип перед вызовом функции:

type F = <T extends string | number>(p: T) => T;
const f: F = (p) => p;
f(55);

[Alexander Barison]

romaro, да, согласен