Enum ExprKind 

pub enum ExprKind {
    Literal(Literal),
    Identifier(String),
    Binary {
        left: Box<Expr>,
        op: BinaryOp,
        right: Box<Expr>,
    },
    Unary {
        op: UnaryOp,
        operand: Box<Expr>,
    },
    Call {
        callee: Box<Expr>,
        args: Vec<Expr>,
    },
    MethodCall {
        receiver: Box<Expr>,
        method: String,
        type_args: Option<Vec<Type>>,
        args: Vec<Expr>,
    },
    FieldAccess {
        object: Box<Expr>,
        field: String,
    },
    Index {
        object: Box<Expr>,
        index: Box<Expr>,
    },
    Array(Vec<Expr>),
    Map(Vec<(Expr, Expr)>),
    Tuple(Vec<Expr>),
    StructLiteral {
        name: String,
        fields: Vec<StructLiteralField>,
    },
    EnumConstructor {
        enum_name: String,
        variant: String,
        args: Vec<Expr>,
    },
    Lambda {
        params: Vec<(String, Option<Type>)>,
        return_type: Option<Type>,
        body: Box<Expr>,
    },
    Paren(Box<Expr>),
    Cast {
        expr: Box<Expr>,
        target_type: Type,
    },
    TypeCheck {
        expr: Box<Expr>,
        check_type: Type,
    },
    IsPattern {
        expr: Box<Expr>,
        pattern: Pattern,
    },
    If {
        condition: Box<Expr>,
        then_branch: Box<Expr>,
        else_branch: Option<Box<Expr>>,
    },
    Block(Vec<Stmt>),
    Return(Vec<Expr>),
    Range {
        start: Box<Expr>,
        end: Box<Expr>,
        inclusive: bool,
    },
}

Variants

Literal(Literal)

Identifier(String)

Binary

Fields

left: Box<Expr>

op: BinaryOp

right: Box<Expr>

Unary

Fields

op: UnaryOp

operand: Box<Expr>

Call

Fields

callee: Box<Expr>

args: Vec<Expr>

MethodCall

Fields

receiver: Box<Expr>

method: String

type_args: Option<Vec<Type>>

args: Vec<Expr>

FieldAccess

Fields

object: Box<Expr>

field: String

Index

Fields

object: Box<Expr>

index: Box<Expr>

Array(Vec<Expr>)

Map(Vec<(Expr, Expr)>)

Tuple(Vec<Expr>)

StructLiteral

Fields

name: String

fields: Vec<StructLiteralField>

EnumConstructor

Fields

enum_name: String

variant: String

args: Vec<Expr>

Lambda

Fields

params: Vec<(String, Option<Type>)>

return_type: Option<Type>

body: Box<Expr>

Paren(Box<Expr>)

Cast

Fields

expr: Box<Expr>

target_type: Type

TypeCheck

Fields

expr: Box<Expr>

check_type: Type

IsPattern

Fields

expr: Box<Expr>

pattern: Pattern

If

Fields

condition: Box<Expr>

then_branch: Box<Expr>

else_branch: Option<Box<Expr>>

Block(Vec<Stmt>)

Return(Vec<Expr>)

Range

Fields

start: Box<Expr>

end: Box<Expr>

inclusive: bool

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a duplicate 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 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 StructuralPartialEq for ExprKind