Type Alias Reverse<T, R>

Reverse: ReturnType<
    T extends [infer F, ...(infer L)]
        ? () => Reverse<L, [F, ...R]>
        : () => R,
>

🔍 Expanded Type Evaluation (Compiler API)

type Reverse<T, R> = (T extends [infer F, ...infer L] ? () => Reverse<L, [F, ...R]> : () => R) extends (...args: any) => infer R ? R : any

reverse a Tuple

Type Parameters

T extends any[]
R extends any[] = []