Type Alias IsUnknown<T, $O>

IsUnknown: $Special<
    T,
    {
        $any: $ResolveBranch<$O, [$Any, $Else]>;
        $else: $ResolveBranch<$O, [$Else]>;
        $never: $ResolveBranch<$O, [$Never, $Else]>;
        $unknown: $ResolveBranch<$O, [$Then], T>;
        $void: $ResolveBranch<$O, [$Void, $Else]>;
    },
>

🎭 predicate

Validate if T is exactly unknown.

Type Parameters

Example

type R = IsUnknown<unknown> // true

type R = IsUnknown<number> // false
type R = IsUnknown<never> // false

🔢 customize

Filter to ensure T is exactly unknown.

Example

type R = IsUnknown<unknown, { selection: 'filter' }> // unknown

type R = IsUnknown<number, { selection: 'filter' }> // never
type R = IsUnknown<never, { selection: 'filter' }> // never

🔢 customize

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

Example

type R = IsUnknown<unknown, $SelectionBranch> // $Then
type R = IsUnknown<string, $SelectionBranch> // $Else

Settings

Member Visibility