Enum arithmetic_typing::error::ErrorContext

#[non_exhaustive]
pub enum ErrorContext<Prim: PrimitiveType> {
    None,
    Lvalue(Type<Prim>),
    FnDefinition {
        args: Tuple<Prim>,
    },
    FnCall {
        definition: Type<Prim>,
        call_signature: Type<Prim>,
    },
    Assignment {
        lhs: Type<Prim>,
        rhs: Type<Prim>,
    },
    TypeCast {
        source: Type<Prim>,
        target: Type<Prim>,
    },
    UnaryOp(UnaryOpContext<Prim>),
    BinaryOp(BinaryOpContext<Prim>),
    TupleIndex {
        ty: Type<Prim>,
    },
    ObjectFieldAccess {
        ty: Type<Prim>,
    },
}

Context of a Error corresponding to a top-level operation that has errored. Generally, contains resolved types concerning the operation, such as operands of a binary arithmetic op.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

None

No context.

Lvalue(Type<Prim>)

Processing lvalue (before assignment).

FnDefinition

Function definition.

Fields

args: Tuple<Prim>

Types of function arguments.

FnCall

Function call.

Fields

definition: Type<Prim>

Function definition. Note that this is not necessarily a Function.

call_signature: Type<Prim>

Signature of the call.

Assignment

Assignment.

Fields

lhs: Type<Prim>

Left-hand side of the assignment.

rhs: Type<Prim>

Right-hand side of the assignment.

TypeCast

Type cast.

Fields

source: Type<Prim>

Source type of the casted value.

target: Type<Prim>

Target type of the cast.

UnaryOp(UnaryOpContext<Prim>)

Unary operation.

BinaryOp(BinaryOpContext<Prim>)

Binary operation.

TupleIndex

Tuple indexing operation.

Fields

ty: Type<Prim>

Type being indexed.

ObjectFieldAccess

Field access for an object.

Fields

ty: Type<Prim>

Type being accessed.

Trait Implementations

impl<Prim: Clone + PrimitiveType> Clone for ErrorContext<Prim>

fn clone(&self) -> ErrorContext<Prim>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prim: Debug + PrimitiveType> Debug for ErrorContext<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> From<BinaryOpContext<Prim>> for ErrorContext<Prim>

fn from(value: BinaryOpContext<Prim>) -> Self

Converts to this type from the input type.

impl<Prim: PrimitiveType> From<UnaryOpContext<Prim>> for ErrorContext<Prim>

fn from(value: UnaryOpContext<Prim>) -> Self

Converts to this type from the input type.