Type alias Assignable<A, B, $O>

🎭 predicate

Validate if A is assignable to B.

Example

type R = Assignable<any, any> // true
type R = Assignable<any, 1> // true
type R = Assignable<unknown, unknown> // true
type R = Assignable<never, never> // true
type R = Assignable<1, 1> // true
type R = Assignable<'a', 'a'> // true
type R = Assignable<'a', 'b'> // false
type R = Assignable<'a', string> // true
Copy

🔢 customize

Filter to ensure A is assignable to B.

Example

type R = Assignable<any, any, { selection: 'filter' }> // any
type R = Assignable<1, number, { selection: 'filter' }> // 1
Copy

🔢 customize

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

Example

type R = Assignable<any, any, Assignable.$Branch> // $Then
Copy

🔢 customize

Override special types branch.

Example

type R = Assignable<any, any, { $any: 1 }> // 1
type R = Assignable<unknown, any, { $unknown: 1 }> // 1
type R = Assignable<never, any, { $never: 1 }> // 1
Copy