Class DefaultTypeAssignability<Specifics>

This implementation for assignability checks step-by-step (1) equality, (2) implicit conversion, and (3) sub-type relationships of the source and target type.

Type Parameters

Specifics extends TypirSpecifics

Implements

TypeAssignability

Index

Constructors

Properties

algorithms conversion equality subtype

Methods

getAssignabilityProblem getAssignabilityResult isAssignable

Constructors

constructor

new DefaultTypeAssignability<Specifics extends TypirSpecifics>(
services: TypirServices<Specifics>,
): DefaultTypeAssignability<Specifics>
Type Parameters
- Specifics extends TypirSpecifics
Parameters
- services: TypirServices<Specifics>
Returns DefaultTypeAssignability<Specifics>
- Defined in services/assignability.ts:63

Properties

`Protected` `Readonly`algorithms

algorithms: GraphAlgorithms

`Protected` `Readonly`conversion

conversion: TypeConversion

`Protected` `Readonly`equality

equality: TypeEquality

`Protected` `Readonly`subtype

subtype: SubType

Methods

getAssignabilityProblem

getAssignabilityProblem(
source: Type,
target: Type,
): undefined | AssignabilityProblem
Parameters
- source: Type
- target: Type
Returns undefined | AssignabilityProblem
Implementation of TypeAssignability.getAssignabilityProblem
- Defined in services/assignability.ts:74

getAssignabilityResult

getAssignabilityResult(source: Type, target: Type): AssignabilityResult
Parameters
- source: Type
- target: Type
Returns AssignabilityResult
Implementation of TypeAssignability.getAssignabilityResult
- Defined in services/assignability.ts:79

isAssignable

isAssignable(source: Type, target: Type): boolean
Parameters
- source: Type
- target: Type
Returns boolean
Implementation of TypeAssignability.isAssignable
- Defined in services/assignability.ts:70