Enum Expr 

pub enum Expr<'a> {
    Literal(LitValue<'a>, Span),
    Variable(&'a str, Span),
    Unary {
        op: UnaryOp,
        rhs: Box<Expr<'a>>,
        span: Span,
    },
    Binary {
        op: BinOp,
        lhs: Box<Expr<'a>>,
        rhs: Box<Expr<'a>>,
        span: Span,
    },
    Ternary {
        cond: Box<Expr<'a>>,
        then: Box<Expr<'a>>,
        otherwise: Box<Expr<'a>>,
        span: Span,
    },
    Cond {
        arms: Vec<(Expr<'a>, Expr<'a>)>,
        otherwise: Box<Expr<'a>>,
        span: Span,
    },
    Call {
        callee: Box<Expr<'a>>,
        args: Vec<Expr<'a>>,
        span: Span,
    },
    MethodCall {
        recv: Box<Expr<'a>>,
        method: &'a str,
        args: Vec<Expr<'a>>,
        lambda: Option<Box<Expr<'a>>>,
        span: Span,
    },
    FieldAccess {
        recv: Box<Expr<'a>>,
        field: &'a str,
        span: Span,
    },
    Index {
        recv: Box<Expr<'a>>,
        key: Box<Expr<'a>>,
        bracket: bool,
        span: Span,
    },
    ObjectLiteral(ObjectBody<'a>),
    ListLiteral(Vec<Expr<'a>>, Span),
    Lambda {
        params: Vec<&'a str>,
        body: LambdaBody<'a>,
        span: Span,
    },
    SchemaInstance {
        schema: &'a str,
        schema_alias: Option<&'a str>,
        body: ObjectBody<'a>,
        span: Span,
    },
}

Variants

Literal(LitValue<'a>, Span)

Variable(&'a str, Span)

Unary

Fields

op: UnaryOp

rhs: Box<Expr<'a>>

span: Span

Binary

Fields

op: BinOp

lhs: Box<Expr<'a>>

rhs: Box<Expr<'a>>

span: Span

Ternary

Fields

cond: Box<Expr<'a>>

then: Box<Expr<'a>>

otherwise: Box<Expr<'a>>

span: Span

Cond

cond \n (bool -> value)+ else -> value \n end (D14). Left of each -> must be Bool; else is mandatory. First true arm wins.

Fields

arms: Vec<(Expr<'a>, Expr<'a>)>

otherwise: Box<Expr<'a>>

span: Span

Call

Fields

callee: Box<Expr<'a>>

args: Vec<Expr<'a>>

span: Span

MethodCall

Fields

recv: Box<Expr<'a>>

method: &'a str

args: Vec<Expr<'a>>

lambda: Option<Box<Expr<'a>>>

Trailing-lambda: xs.map (a, b) -> ... end

span: Span

FieldAccess

Fields

recv: Box<Expr<'a>>

field: &'a str

span: Span

Index

List indexing xs[0] (bracket=true) or a dynamic object key obj."#{name}" (bracket=false, D11). Brackets are forbidden on objects (E0318).

Fields

recv: Box<Expr<'a>>

key: Box<Expr<'a>>

bracket: bool

span: Span

ObjectLiteral(ObjectBody<'a>)

ListLiteral(Vec<Expr<'a>>, Span)

Lambda

Fields

params: Vec<&'a str>

body: LambdaBody<'a>

span: Span

SchemaInstance

Only through new (D4) schema_alias - an imported schema new mod.Name (D12)

Fields

schema: &'a str

schema_alias: Option<&'a str>

body: ObjectBody<'a>

span: Span

Trait Implementations

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<'a> PartialEq for Expr<'a>

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

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for Expr<'a>