Type alias IsNotTrue<T, $O>

🎭 predicate

Validate if T is not true.

Example

type R = IsNotTrue<boolean> // boolean
type R = IsNotTrue<true> // false
type R = IsNotTrue<false> // true

type R = IsNotTrue<number> // true
type R = IsNotTrue<unknown> // true
type R = IsNotTrue<string | boolean> // boolean
Copy

🔢 customize

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

Example

type R = IsNotTrue<boolean, { selection: 'filter' }> // false
type R = IsNotTrue<true, { selection: 'filter' }> // never
type R = IsNotTrue<false, { selection: 'filter' }> // false

type R = IsNotTrue<number, { selection: 'filter' }> // number
type R = IsNotTrue<never, { selection: 'filter' }> // never
type R = IsNotTrue<unknown, { selection: 'filter' }> // unknown
type R = IsNotTrue<string | boolean, { selection: 'filter' }> // string | false
type R = IsNotTrue<string | true, { selection: 'filter' }> // string
Copy

🔢 customize:

Disable distribution of union types.

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

🔢 customize

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

Example

type R = IsNotTrue<true, $SelectionBranch> // $Else
type R = IsNotTrue<boolean, $SelectionBranch> // $Then | $Else
type R = IsNotTrue<string, $SelectionBranch> // $Then
Copy