Enum ExprKind

pub enum ExprKind {
    Empty,
    Closure(Closure),
    Tuple(Tuple),
    Structor(Structor),
    Array(Array),
    ArrayRep(ArrayRep),
    AddrOf(AddrOf),
    Quote(Quote),
    Literal(Literal),
    Group(Group),
    Block(Block),
    Assign(Assign),
    Modify(Modify),
    Binary(Binary),
    Unary(Unary),
    Member(Member),
    Index(Index),
    Cast(Cast),
    Path(Path),
    Let(Let),
    Match(Match),
    While(While),
    If(If),
    For(For),
    Break(Break),
    Return(Return),
    Continue,
}

Any of the different Expressions

Variants

Empty

An empty expression: ( )

Closure(Closure)

A Closure expression: | Expr | ( -> Ty)? Expr

Tuple(Tuple)

A Tuple expression: ( Expr (, Expr)+ )

Structor(Structor)

A Struct creation expression: Path { (Fielder ,)* Fielder? }

Array(Array)

An Array literal: [ Expr (, Expr)* ]

ArrayRep(ArrayRep)

An Array literal constructed with repeat syntax [ Expr ; Literal ]

AddrOf(AddrOf)

An address-of expression: & mut? Expr

Quote(Quote)

A backtick-quoted expression

Literal(Literal)

A Literal: 0x42, 1e123, 2.4, “Hello”

Group(Group)

A Grouping expression ( Expr )

Block(Block)

A Block expression: { Stmt* Expr? }

Assign(Assign)

An Assignment expression: Expr (= Expr)+

Modify(Modify)

A Modify-assignment expression: Expr (ModifyKind Expr)+

Binary(Binary)

A Binary expression: Expr (BinaryKind Expr)+

Unary(Unary)

A Unary expression: UnaryKind* Expr

Member(Member)

A Member access expression: Expr MemberKind*

Index(Index)

An Array Index expression: a[10, 20, 30]

Cast(Cast)

A Cast expression: Expr as Ty

Path(Path)

A path expression: ::? PathPart (:: PathPart)*

Let(Let)

A local bind instruction, let Sym = Expr

Match(Match)

A Match expression: match Expr { (MatchArm ,)* MatchArm? }

While(While)

A While expression: while Expr Block Else?

If(If)

An If expression: if Expr Block Else?

For(For)

A For expression: for Pattern in Expr Block Else?

Break(Break)

A Break expression: break Expr?

Return(Return)

A Return expression return Expr?

Continue

A continue expression: continue

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExprKind

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

Formats the value using the given formatter.

impl Default for ExprKind

fn default() -> ExprKind

Returns the “default value” for a type.

impl Display for ExprKind

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

Formats the value using the given formatter.

impl From<AddrOf> for ExprKind

fn from(value: AddrOf) -> Self

Converts to this type from the input type.

impl From<Array> for ExprKind

fn from(value: Array) -> Self

Converts to this type from the input type.

impl From<ArrayRep> for ExprKind

fn from(value: ArrayRep) -> Self

Converts to this type from the input type.

impl From<Assign> for ExprKind

fn from(value: Assign) -> Self

Converts to this type from the input type.

impl From<Binary> for ExprKind

fn from(value: Binary) -> Self

Converts to this type from the input type.

impl From<Block> for ExprKind

fn from(value: Block) -> Self

Converts to this type from the input type.

impl From<Box<AddrOf>> for ExprKind

fn from(value: Box<AddrOf>) -> Self

Converts to this type from the input type.

impl From<Box<Array>> for ExprKind

fn from(value: Box<Array>) -> Self

Converts to this type from the input type.

impl From<Box<ArrayRep>> for ExprKind

fn from(value: Box<ArrayRep>) -> Self

Converts to this type from the input type.

impl From<Box<Assign>> for ExprKind

fn from(value: Box<Assign>) -> Self

Converts to this type from the input type.

impl From<Box<Binary>> for ExprKind

fn from(value: Box<Binary>) -> Self

Converts to this type from the input type.

impl From<Box<Block>> for ExprKind

fn from(value: Box<Block>) -> Self

Converts to this type from the input type.

impl From<Box<Break>> for ExprKind

fn from(value: Box<Break>) -> Self

Converts to this type from the input type.

impl From<Box<Cast>> for ExprKind

fn from(value: Box<Cast>) -> Self

Converts to this type from the input type.

impl From<Box<Closure>> for ExprKind

fn from(value: Box<Closure>) -> Self

Converts to this type from the input type.

impl From<Box<For>> for ExprKind

fn from(value: Box<For>) -> Self

Converts to this type from the input type.

impl From<Box<Group>> for ExprKind

fn from(value: Box<Group>) -> Self

Converts to this type from the input type.

impl From<Box<If>> for ExprKind

fn from(value: Box<If>) -> Self

Converts to this type from the input type.

impl From<Box<Index>> for ExprKind

fn from(value: Box<Index>) -> Self

Converts to this type from the input type.

impl From<Box<Let>> for ExprKind

fn from(value: Box<Let>) -> Self

Converts to this type from the input type.

impl From<Box<Literal>> for ExprKind

fn from(value: Box<Literal>) -> Self

Converts to this type from the input type.

impl From<Box<Match>> for ExprKind

fn from(value: Box<Match>) -> Self

Converts to this type from the input type.

impl From<Box<Member>> for ExprKind

fn from(value: Box<Member>) -> Self

Converts to this type from the input type.

impl From<Box<Modify>> for ExprKind

fn from(value: Box<Modify>) -> Self

Converts to this type from the input type.

impl From<Box<Path>> for ExprKind

fn from(value: Box<Path>) -> Self

Converts to this type from the input type.

impl From<Box<Quote>> for ExprKind

fn from(value: Box<Quote>) -> Self

Converts to this type from the input type.

impl From<Box<Return>> for ExprKind

fn from(value: Box<Return>) -> Self

Converts to this type from the input type.

impl From<Box<Tuple>> for ExprKind

fn from(value: Box<Tuple>) -> Self

Converts to this type from the input type.

impl From<Box<Unary>> for ExprKind

fn from(value: Box<Unary>) -> Self

Converts to this type from the input type.

impl From<Box<While>> for ExprKind

fn from(value: Box<While>) -> Self

Converts to this type from the input type.

impl From<Break> for ExprKind

fn from(value: Break) -> Self

Converts to this type from the input type.

impl From<Cast> for ExprKind

fn from(value: Cast) -> Self

Converts to this type from the input type.

impl From<Closure> for ExprKind

fn from(value: Closure) -> Self

Converts to this type from the input type.

impl From<For> for ExprKind

fn from(value: For) -> Self

Converts to this type from the input type.

impl From<Group> for ExprKind

fn from(value: Group) -> Self

Converts to this type from the input type.

impl From<If> for ExprKind

fn from(value: If) -> Self

Converts to this type from the input type.

impl From<Index> for ExprKind

fn from(value: Index) -> Self

Converts to this type from the input type.

impl From<Let> for ExprKind

fn from(value: Let) -> Self

Converts to this type from the input type.

impl From<Literal> for ExprKind

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl From<Match> for ExprKind

fn from(value: Match) -> Self

Converts to this type from the input type.

impl From<Member> for ExprKind

fn from(value: Member) -> Self

Converts to this type from the input type.

impl From<Modify> for ExprKind

fn from(value: Modify) -> Self

Converts to this type from the input type.

impl From<Path> for ExprKind

fn from(value: Path) -> Self

Converts to this type from the input type.

impl From<Quote> for ExprKind

fn from(value: Quote) -> Self

Converts to this type from the input type.

impl From<Return> for ExprKind

fn from(value: Return) -> Self

Converts to this type from the input type.

impl From<Tuple> for ExprKind

fn from(value: Tuple) -> Self

Converts to this type from the input type.

impl From<Unary> for ExprKind

fn from(value: Unary) -> Self

Converts to this type from the input type.

impl From<While> for ExprKind

fn from(value: While) -> Self

Converts to this type from the input type.

impl Hash for ExprKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ExprKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Walk for ExprKind

fn visit_in<'a, V: Visit<'a>>(&'a self, v: &mut V)

Calls the respective visit_* function in V

fn children<'a, V: Visit<'a>>(&'a self, v: &mut V)

Walks the children of self, visiting them in V

impl WeightOf for ExprKind

fn weight_of(&self) -> usize

Approximates the size of a syntax tree without including pointer/indirection or padding.

impl Eq for ExprKind

impl StructuralPartialEq for ExprKind