Type alias IsNotBigint<T, $O>

🎭 predicate

Validate if T is not bigint nor bigint literals.

Example

type R = IsNotBigint<bigint> // false
type R = IsNotBigint<1n> // false

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

🔢 customize

Filter to ensure T is not bigint nor bigint literals, otherwise returns never.

Example

type R = IsNotBigint<bigint, { selection: 'filter' }> // never
type R = IsNotBigint<1n, { selection: 'filter' }> // never

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

🔢 customize:

Validate if T is not exactly bigint.

Example

type R = IsNotBigint<bigint, { exact: true }> // false
type R = IsNotBigint<1n, { exact: true }> // true
Copy

🔢 customize

Disable distribution of union types.

Example

type R = IsNotBigint<bigint | 1> // boolean
type R = IsNotBigint<bigint | 1, { distributive: false }> // true
Copy

🔢 customize

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

Example

type R = IsNotBigint<string, $SelectionBranch> // $Then
type R = IsNotBigint<bigint, $SelectionBranch> // $Else
Copy