Type Alias CurriedParams<F>

CurriedParams: F extends (a: infer A) => infer R ? [A, ...CurriedParams<R>] : []

Extract parameter types from a curried function.

Type Parameters

F
Curried function type

Remarks

Builds a tuple of all parameter types from a curried function recursively. Used for type-level analysis of curried signatures.

Example

type CurriedFn = ( a: string ) => ( b: number ) => ( c: boolean ) => void;
type Params = CurriedParams< CurriedFn >;
// [ string, number, boolean ]