Type Alias IfNon<T, Then, Else>

IfNon: IfAny<T, Else, Then>

Conditional type that succeeds if all conditions are false.

Type Parameters

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

Remarks

Evaluates to Then if all conditions in the tuple are false. Otherwise resolves to Else.

Empty tuples evaluate to Then.

Example

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