Type alias IsNotVoid<T, $O>

🎭 predicate

Validate if T is not void.

Example

type R = IsNotVoid<void> // false

type R = IsNotVoid<never> // true
type R = IsNotVoid<unknown> // true
type R = IsNotVoid<string | boolean> // true

type R = IsNotVoid<string | void> // boolean
Copy

🔢 customize

Filter to ensure T is not void, otherwise returns never.

Example

type R = IsNotVoid<void, { selection: 'filter' }> // never

type R = IsNotVoid<never, { selection: 'filter' }> // never
type R = IsNotVoid<unknown, { selection: 'filter' }> // unknown
type R = IsNotVoid<string | void, { selection: 'filter' }> // string
Copy

🔢 customize:

Disable distribution of union types.

Example

type R = IsNotVoid<void | string> // boolean
type R = IsNotVoid<void | string, { distributive: false }> // true
Copy

🔢 customize

Use unique branch identifiers to allow precise processing of the result.

Example

type R = IsNotVoid<void, $SelectionBranch> // $Else
type R = IsNotVoid<string, $SelectionBranch> // $Then
Copy