Enum Expr 

pub enum Expr {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    Str(String),
    FString(Vec<FStringPart>),
    Root,
    Current,
    Ident(String),
    Chain(Box<Expr>, Vec<Step>),
    BinOp(Box<Expr>, BinOp, Box<Expr>),
    UnaryNeg(Box<Expr>),
    Not(Box<Expr>),
    Kind {
        expr: Box<Expr>,
        ty: KindType,
        negate: bool,
    },
    Coalesce(Box<Expr>, Box<Expr>),
    Object(Vec<ObjField>),
    Array(Vec<ArrayElem>),
    Pipeline {
        base: Box<Expr>,
        steps: Vec<PipeStep>,
    },
    ListComp {
        expr: Box<Expr>,
        vars: Vec<String>,
        iter: Box<Expr>,
        cond: Option<Box<Expr>>,
    },
    DictComp {
        key: Box<Expr>,
        val: Box<Expr>,
        vars: Vec<String>,
        iter: Box<Expr>,
        cond: Option<Box<Expr>>,
    },
    SetComp {
        expr: Box<Expr>,
        vars: Vec<String>,
        iter: Box<Expr>,
        cond: Option<Box<Expr>>,
    },
    GenComp {
        expr: Box<Expr>,
        vars: Vec<String>,
        iter: Box<Expr>,
        cond: Option<Box<Expr>>,
    },
    Lambda {
        params: Vec<String>,
        body: Box<Expr>,
    },
    Let {
        name: String,
        init: Box<Expr>,
        body: Box<Expr>,
    },
    IfElse {
        cond: Box<Expr>,
        then_: Box<Expr>,
        else_: Box<Expr>,
    },
    GlobalCall {
        name: String,
        args: Vec<Arg>,
    },
    Cast {
        expr: Box<Expr>,
        ty: CastType,
    },
    Patch {
        root: Box<Expr>,
        ops: Vec<PatchOp>,
    },
    DeleteMark,
}

Variants

Null

Bool(bool)

Int(i64)

Float(f64)

Str(String)

FString(Vec<FStringPart>)

Root

Current

Ident(String)

Chain(Box<Expr>, Vec<Step>)

BinOp(Box<Expr>, BinOp, Box<Expr>)

UnaryNeg(Box<Expr>)

Not(Box<Expr>)

Kind

Fields

expr: Box<Expr>

ty: KindType

negate: bool

Coalesce(Box<Expr>, Box<Expr>)

Object(Vec<ObjField>)

Array(Vec<ArrayElem>)

Pipeline

Fields

base: Box<Expr>

steps: Vec<PipeStep>

ListComp

Fields

expr: Box<Expr>

vars: Vec<String>

iter: Box<Expr>

cond: Option<Box<Expr>>

DictComp

Fields

key: Box<Expr>

val: Box<Expr>

vars: Vec<String>

iter: Box<Expr>

cond: Option<Box<Expr>>

SetComp

Fields

expr: Box<Expr>

vars: Vec<String>

iter: Box<Expr>

cond: Option<Box<Expr>>

GenComp

Fields

expr: Box<Expr>

vars: Vec<String>

iter: Box<Expr>

cond: Option<Box<Expr>>

Lambda

Fields

params: Vec<String>

body: Box<Expr>

Let

Fields

name: String

init: Box<Expr>

body: Box<Expr>

IfElse

Fields

cond: Box<Expr>

then_: Box<Expr>

else_: Box<Expr>

GlobalCall

Fields

name: String

args: Vec<Arg>

Cast

Fields

expr: Box<Expr>

ty: CastType

Patch

Fields

root: Box<Expr>

ops: Vec<PatchOp>

DeleteMark

Implementations

impl Expr

pub fn maybe_chain(self, steps: Vec<Step>) -> Self

Wrap in a Chain if steps is non-empty, otherwise return self.

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 Debug for Expr

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

Formats the value using the given formatter.