Struct Expr 

pub struct Expr {
    pub kind: ExprKind,
    pub ty: TypeId,
    pub category: Category,
}

An expression, its type, and what may be done with it.

Twenty four bytes: the kind, the type it has, and the category it is in. The type is in the node rather than in a table beside it, which is the opposite of what the untyped tree does with spans, because everything that walks this tree reads the type at every node and almost nothing reads the span at any node.

Fields

kind: ExprKind

What the expression is.

ty: TypeId

The type it has, after every conversion that applies to it.

category: Category

What may be done with it.

Implementations

impl Expr

pub const fn new(kind: ExprKind, ty: TypeId, category: Category) -> Expr

An expression of the given kind, type and category.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Expr

impl Debug for Expr

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

Formats the value using the given formatter.

impl Eq for Expr

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Expr