Type Alias IsNotUnknown<T, $O>

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

🎭 predicate

Validate if T is not exactly unknown.

Type Parameters

T
$O extends IsNotUnknown.$Options = {}

Example

type R = IsNotUnknown<unknown> // false

type R = IsNotUnknown<number> // true
type R = IsNotUnknown<never> // true

🔢 customize

Filter to ensure T is not exactly unknown.

Example

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

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

🔢 customize

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

Example

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

Type Alias IsNotUnknown<T, $O>

Type Parameters

Example

Example

Example

Settings