Interface IndexedTypeConflict

Common interface of all problems/errors/messages which should be shown to users of DSLs which are type-checked with Typir. This approach makes it easier to introduce additional errors by users of Typir, compared to a union type, e.g. export type TypirProblem = ValueConflict | IndexedTypeConflict | ...

interface IndexedTypeConflict {
    $problem: "IndexedTypeConflict";
    actual: undefined | Type;
    expected: undefined | Type;
    propertyIndex?: number;
    propertyName?: string;
    subProblems: TypirProblem[];
}

Hierarchy (View Summary)

Properties

$problem actual expected propertyIndex? propertyName? subProblems

Properties

$problem

$problem: "IndexedTypeConflict"

actual

actual: undefined | Type

expected

expected: undefined | Type

OptionalpropertyIndex

propertyIndex?: number

OptionalpropertyName

propertyName?: string

subProblems

subProblems: TypirProblem[]

Settings

Member Visibility

On This Page

Properties