Getting the return type of a function which uses generics

by

I might as well put this in an answer although it doesn’t look like it will meet your needs. TypeScript currently has neither generic values, higher kinded types, nor typeof on arbitrary expressions. Generics in TypeScript are sort of “shallow” that way. So as far as I know there’s unfortunately no way to describe a type function that plugs type parameters into generic functions and checks the result:

// doesn't work, don't try it
type GenericReturnType<F, T> = F extends (x: T) => (infer U) ? U : never

function thinger<T>(thing: T): T {
  return thing;
}

// just {}, 🙁
type ReturnThinger<T> = GenericReturnType<typeof thinger, T>;

So all I can do for you is suggest workarounds. The most obvious workaround would be to use a type alias to describe what thinger() returns, and then use it multiple places. This is a “backwards” version of what you want; instead of extracting the return type from the function, you build the function from the return type:

type ThingerReturn<T> = T; // or whatever complicated type you have

// use it here
declare function thinger<T>(thing: T): ThingerReturn<T>;

// and here
interface ThingHolder<T> {
  thing: ThingerReturn<T>;
}

// and then this works 🙂 
const myThingHolder: ThingHolder<{ a: string }> = {
  thing: thinger({ a: "lol" }),
};

Does that help? I know it’s not what you wanted, but hopefully it’s at least a possible path forward for you. Good luck!

More Related Contents:

  1. In TypeScript, how to get the keys of an object type whose values are of a given type?
  2. How to fix TS2322: “could be instantiated with a different subtype of constraint ‘object'”?
  3. Generic type to get enum keys as union string in typescript?
  4. Create a new object from type parameter in generic class
  5. TypeScript how to create a generic type alias for a generic function?
  6. Typescript: infer type of generic after optional first generic
  7. Why can’t I return a generic ‘T’ to satisfy a Partial?
  8. How to create a Partial-like that requires a single property to be set
  9. Typescript, merge object types?
  10. Parameters generic of overloaded function doesn’t contain all options
  11. Types for function that applys name of function and arguments
  12. Typescript: How can I make entries in an ES6 Map based on an object key/value type
  13. Why this CustomExtract returns an different result from default Extract?
  14. Higher-order type functions in TypeScript?
  15. Typescript Function with Generic Return Type
  16. Typescript Key-Value relation preserving Object.entries type
  17. ‘compile-time’ way to get all property names defined interface
  18. Why can’t the generic interface in TS infer the type correctly?
  19. Mapping tuple-typed value to different tuple-typed value without casts
  20. Typescript ReturnType of generic function
  21. Eliminate nevers to make union possible
  22. Is it possible to generate string literal combinations with template literal in TypeScript?
  23. TypeScript: Why can’t I assign a valid field of an object with type { a: “a”, b: “b” }
  24. extend and only specify known properties?
  25. Generic type extending union is not narrowed by type guard
  26. Iterable cannot confirm generic T in function
  27. typescript difference between placement of generics arguments
  28. Generic and typeof T in the parameters
  29. How to make “handler” lookup for “dispatcher” style function be typed correctly
  30. Modules vs. Namespaces: What is the correct way to organize a large typescript project?

Leave a Comment