Enum ezno_checker::types::Constructor

pub enum Constructor {
    BinaryOperator {
        lhs: TypeId,
        operator: MathematicalAndBitwise,
        rhs: TypeId,
        result: TypeId,
    },
    CanonicalRelationOperator {
        lhs: TypeId,
        operator: CanonicalEqualityAndInequality,
        rhs: TypeId,
    },
    TypeOperator(TypeOperator),
    TypeExtends(TypeExtends),
    ConditionalResult {
        condition: TypeId,
        truthy_result: TypeId,
        otherwise_result: TypeId,
        result_union: TypeId,
    },
    Image {
        on: TypeId,
        with: Box<[SynthesisedArgument]>,
        result: TypeId,
    },
    Property {
        on: TypeId,
        under: PropertyKey<'static>,
        result: TypeId,
        mode: AccessMode,
    },
    Awaited {
        on: TypeId,
        result: TypeId,
    },
    KeyOf(TypeId),
}

• Some of these can be specialised, others are only created via event specialisation
• Note that no || and && etc. This is handled using Constructor::ConditionalResult
• Unary operations are encoded via Constructor::BinaryOperator equivalents

Variants

BinaryOperator

Fields

lhs: TypeId

operator: MathematicalAndBitwise

rhs: TypeId

result: TypeId

for add + number intrinsics

CanonicalRelationOperator

Fields

lhs: TypeId

operator: CanonicalEqualityAndInequality

rhs: TypeId

TypeOperator(TypeOperator)

JS type based operations

TypeExtends(TypeExtends)

TS operation

ConditionalResult

TODO constraint is res

Fields

condition: TypeId

TODO this can only be poly types

truthy_result: TypeId

otherwise_result: TypeId

result_union: TypeId

Image

Output of a function where on is dependent (or sometimes for const functions one of with is dependent)

Fields

on: TypeId

with: Box<[SynthesisedArgument]>

result: TypeId

Property

Access

Fields

on: TypeId

under: PropertyKey<'static>

result: TypeId

mode: AccessMode

Awaited

For await a poly type

Fields

on: TypeId

result: TypeId

KeyOf(TypeId)

From TS keyof. Also

Trait Implementations

impl Clone for Constructor

fn clone(&self) -> Constructor

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Constructor

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.