Type Alias IfAny<T, Then, Else>

IfAny: T extends readonly [
    infer H extends boolean,
    ...(infer R extends boolean[]),
]
    ? If<H, Then, IfAny<R, Then, Else>>
    : Else

Conditional type that succeeds if any condition is true.

Type Parameters

T extends readonly boolean[]
Tuple of boolean conditions
Then
Result if any condition is true
Else = never
Result if all conditions are false

Remarks

Evaluates to Then if at least one condition in the tuple is true. Otherwise resolves to Else.

Empty tuples evaluate to Else.

Example

type A = IfAny< [ false, true ], 'ok', 'fail' >;   // 'ok'
type B = IfAny< [ false, false ], 'ok', 'fail' >;  // 'fail'