Enum Expr

pub enum Expr<'a, 'f> {
    Const(ConstValue),
    Ident(Ident<'a, 'f>),
    Unary(Spanned<'f, UnaryOp>, Spanned<'f, Box<Expr<'a, 'f>>>),
    Binary(Spanned<'f, BinaryOp>, Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>),
    NAry(NAryOp, Spanned<'f, Vec<Spanned<'f, Expr<'a, 'f>>>>),
    Slice(Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>, Option<Spanned<'f, Box<Expr<'a, 'f>>>>),
    Ternary {
        op: TernaryOp,
        condition: Spanned<'f, Box<Expr<'a, 'f>>>,
        then: Spanned<'f, Box<Expr<'a, 'f>>>,
        otherwise: Spanned<'f, Box<Expr<'a, 'f>>>,
    },
    NamedClock(Spanned<'f, ClockExpr<'a, 'f>>),
    CallByName(Spanned<'f, Ident<'a, 'f>>, Vec<Spanned<'f, StaticArg<'a, 'f>>>, Vec<Spanned<'f, Expr<'a, 'f>>>),
    CreateStruct {
        ty_name: Spanned<'f, Ident<'a, 'f>>,
        fields: Vec<(Spanned<'f, Ident<'a, 'f>>, Spanned<'f, Expr<'a, 'f>>)>,
        base_value: Option<Spanned<'f, Box<Expr<'a, 'f>>>>,
    },
    Merge(Spanned<'f, Ident<'a, 'f>>, Vec<Spanned<'f, MergeCase<'a, 'f>>>),
    CallByPos(Spanned<'f, (Spanned<'f, Ident<'a, 'f>>, Vec<StaticArg<'a, 'f>>)>, Vec<Spanned<'f, Expr<'a, 'f>>>),
}

An expression

Variants

Const(ConstValue)

Constant value

Ident(Ident<'a, 'f>)

Identifier

Unary(Spanned<'f, UnaryOp>, Spanned<'f, Box<Expr<'a, 'f>>>)

Unary operation

Tuple Fields

0: Spanned<'f, UnaryOp>

Operator

1: Spanned<'f, Box<Expr<'a, 'f>>>

Operand

Binary(Spanned<'f, BinaryOp>, Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>)

Binary operation

Tuple Fields

0: Spanned<'f, BinaryOp>

Operator

1: Spanned<'f, Box<Expr<'a, 'f>>>

LHS

2: Spanned<'f, Box<Expr<'a, 'f>>>

RHS

NAry(NAryOp, Spanned<'f, Vec<Spanned<'f, Expr<'a, 'f>>>>)

N-ary operation

Tuple Fields

0: NAryOp

Operator

1: Spanned<'f, Vec<Spanned<'f, Expr<'a, 'f>>>>

Operands

Slice(Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>, Spanned<'f, Box<Expr<'a, 'f>>>, Option<Spanned<'f, Box<Expr<'a, 'f>>>>)

Slice access (tab[x..y])

Tuple Fields

0: Spanned<'f, Box<Expr<'a, 'f>>>

Array

1: Spanned<'f, Box<Expr<'a, 'f>>>

Start

2: Spanned<'f, Box<Expr<'a, 'f>>>

End

3: Option<Spanned<'f, Box<Expr<'a, 'f>>>>

Step

Ternary

Ternary expression

Fields

op: TernaryOp

Operator

condition: Spanned<'f, Box<Expr<'a, 'f>>>

Condition

then: Spanned<'f, Box<Expr<'a, 'f>>>

Value if the condition is true

otherwise: Spanned<'f, Box<Expr<'a, 'f>>>

Value if the condition is false

NamedClock(Spanned<'f, ClockExpr<'a, 'f>>)

A clock expression

CallByName(Spanned<'f, Ident<'a, 'f>>, Vec<Spanned<'f, StaticArg<'a, 'f>>>, Vec<Spanned<'f, Expr<'a, 'f>>>)

Node call

Not sure what the difference with Expr::CallByPos is… TODO

Tuple Fields

0: Spanned<'f, Ident<'a, 'f>>

The name of the node

1: Vec<Spanned<'f, StaticArg<'a, 'f>>>

The static arguments

2: Vec<Spanned<'f, Expr<'a, 'f>>>

The dynamic arguments

CreateStruct

Structure creation

Fields

ty_name: Spanned<'f, Ident<'a, 'f>>

Type name

fields: Vec<(Spanned<'f, Ident<'a, 'f>>, Spanned<'f, Expr<'a, 'f>>)>

Fields (name and value)

base_value: Option<Spanned<'f, Box<Expr<'a, 'f>>>>

Base structure (fields that are not specified will be copied from this structure)

Merge(Spanned<'f, Ident<'a, 'f>>, Vec<Spanned<'f, MergeCase<'a, 'f>>>)

Merge operation

Tuple Fields

0: Spanned<'f, Ident<'a, 'f>>

Not sure what that is TODO

1: Vec<Spanned<'f, MergeCase<'a, 'f>>>

The different cases of the merge

CallByPos(Spanned<'f, (Spanned<'f, Ident<'a, 'f>>, Vec<StaticArg<'a, 'f>>)>, Vec<Spanned<'f, Expr<'a, 'f>>>)

Node call

Not sure what the difference with Expr::CallByName is… TODO

Tuple Fields

0: Spanned<'f, (Spanned<'f, Ident<'a, 'f>>, Vec<StaticArg<'a, 'f>>)>

The node name and its static arguments

TODO: shouldn’t that be two different fields?

1: Vec<Spanned<'f, Expr<'a, 'f>>>

The dynamic arguments

Trait Implementations

impl<'a, 'f> Clone for Expr<'a, 'f>

fn clone(&self) -> Expr<'a, 'f>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, 'f> Debug for Expr<'a, 'f>

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

Formats the value using the given formatter.