Type Alias IsAny<T, $O>

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

🎭 predicate

Validate if T is any.

Type Parameters

T
$O extends IsAny.$Options = {}

Example

type R = IsAny<any> // true

type R = IsAny<never> // false
type R = IsAny<unknown> // false
type R = IsAny<string | boolean> // false

🌪️ filter

Filter to ensure T is any.

Example

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

🔱 branching

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

Example

type R = IsAny<any, $Selection.Branch> // $Then
type R = IsAny<string, $Selection.Branch> // $Else
type R = IsAny<unknown, IsAny.$Branch> // $Unknown
type R = IsAny<never, IsAny.$Branch> // $Never
type R = IsAny<void, IsAny.$Branch> // $Void

Type Alias IsAny<T, $O>

Type Parameters

Example

Example

Example

Settings