Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

How to unwrap the type of a Promise?

Say I have the following code:

async promiseOne() {   return 1 } // => Promise<number>  const promisedOne = promiseOne()  typeof promisedOne // => Promised<number> 

How would I go about extracting the type of the promise result (in this simplified case a number) as its own type?

like image 625
fny Avatar asked Dec 28 '17 16:12

fny


1 Answers

TypeScript 4.5

The Awaited type is now built in to the language, so you don't need to write one yourself.

type T = Awaited<Promise<PromiseLike<number>> // => number 

TypeScript 4.1 through 4.4

You can implement this yourself, with several possible definitions. The simplest is:

type Awaited<T> = T extends PromiseLike<infer U> ? U : T // Awaited<Promise<number>> = number 

Note that this type uses PromiseLike rather than Promise. This is important to properly handle user-defined awaitable objects.

This uses a conditional type to check if T looks like a promise, and unwrap it if it does. However, this will improperly handle Promise<Promise<string>>, unwrapping it to Promise<string>. Awaiting a promise can never give a second promise, so a better definition is to recursively unwrap promises.

type Awaited<T> = T extends PromiseLike<infer U> ? Awaited<U> : T // Awaited<Promise<Promise<number>>> = number 

The definition used by TypeScript 4.5 (source) is more complicated than this to cover edge cases that do not apply to most use cases, but it can be dropped in to any TypeScript 4.1+ project.

TypeScript 2.8 through 4.0

Before TypeScript 4.1, the language did not have intentional support for recursive type aliases. The simple version shown above will still work, but a recursive solution requires an additional object type to trick the compiler into thinking that that the type is not recursive, and then pulling the property out that we want with an indexed access type.

type Awaited<T> = T extends PromiseLike<infer U>   ? { 0: Awaited<U>; 1: U }[U extends PromiseLike<any> ? 0 : 1]   : T 

This is officially not supported, but in practice, completely fine.

TypeScript before 2.8

Before TypeScript 2.8 this is not directly possible. Unwrapping a promise-like type without the conditional types introduced in 2.8 would require that the generic type be available on the object, so that indexed access types can be used to get the value.

If we limit the scope of the type to a single level of promises, and only accept promises, it is technically possible to do this in 2.8 by using declaration merging to add a property to the global Promise<T> interface.

interface Promise<T> {     __promiseValue: T } type Awaited<T extends Promise<any>> = T["__promiseValue"]  type T = Awaited<Promise<string>> // => string 
like image 129
Gerrit0 Avatar answered Sep 28 '22 13:09

Gerrit0