Enum Expr 

pub enum Expr {
    Bool(bool),
    U64(u64),
    U64Max,
    String(String),
    NamedVariant {
        enum_name: EnumTypeId,
        variant: EnumVariantId,
    },
    FieldAccess {
        base: Box<Expr>,
        field: FieldId,
    },
    EnumVariantIs {
        value: Box<Expr>,
        enum_name: EnumTypeId,
        variant: EnumVariantId,
    },
    EnumStringSetPayload {
        value: Box<Expr>,
        enum_name: EnumTypeId,
        variant: EnumVariantId,
        field: FieldId,
    },
    EmptySet,
    EmptyMap,
    SeqLiteral(Vec<Expr>),
    CurrentPhase,
    Phase(PhaseId),
    Field(FieldId),
    Binding(String),
    Variant(String),
    None,
    IfElse {
        condition: Box<Expr>,
        then_expr: Box<Expr>,
        else_expr: Box<Expr>,
    },
    Not(Box<Expr>),
    And(Vec<Expr>),
    Or(Vec<Expr>),
    Eq(Box<Expr>, Box<Expr>),
    Neq(Box<Expr>, Box<Expr>),
    Add(Box<Expr>, Box<Expr>),
    Sub(Box<Expr>, Box<Expr>),
    Gt(Box<Expr>, Box<Expr>),
    Gte(Box<Expr>, Box<Expr>),
    Lt(Box<Expr>, Box<Expr>),
    Lte(Box<Expr>, Box<Expr>),
    Contains {
        collection: Box<Expr>,
        value: Box<Expr>,
    },
    MapContainsKey {
        map: Box<Expr>,
        key: Box<Expr>,
    },
    SeqStartsWith {
        seq: Box<Expr>,
        prefix: Box<Expr>,
    },
    SeqElements(Box<Expr>),
    Len(Box<Expr>),
    Count {
        collection: Box<Expr>,
        value: Box<Expr>,
    },
    Head(Box<Expr>),
    MapKeys(Box<Expr>),
    MapGet {
        map: Box<Expr>,
        key: Box<Expr>,
    },
    Some(Box<Expr>),
    Call {
        helper: String,
        args: Vec<Expr>,
    },
    Quantified {
        quantifier: Quantifier,
        binding: String,
        over: Box<Expr>,
        body: Box<Expr>,
    },
}

Variants

Bool(bool)

U64(u64)

U64Max

String(String)

NamedVariant

Fields

enum_name: EnumTypeId

variant: EnumVariantId

FieldAccess

Fields

base: Box<Expr>

field: FieldId

EnumVariantIs

Fields

value: Box<Expr>

enum_name: EnumTypeId

variant: EnumVariantId

EnumStringSetPayload

Fields

value: Box<Expr>

enum_name: EnumTypeId

variant: EnumVariantId

field: FieldId

EmptySet

EmptyMap

SeqLiteral(Vec<Expr>)

CurrentPhase

Phase(PhaseId)

Field(FieldId)

Binding(String)

Variant(String)

None

IfElse

Fields

condition: Box<Expr>

then_expr: Box<Expr>

else_expr: Box<Expr>

Not(Box<Expr>)

And(Vec<Expr>)

Or(Vec<Expr>)

Eq(Box<Expr>, Box<Expr>)

Neq(Box<Expr>, Box<Expr>)

Add(Box<Expr>, Box<Expr>)

Sub(Box<Expr>, Box<Expr>)

Gt(Box<Expr>, Box<Expr>)

Gte(Box<Expr>, Box<Expr>)

Lt(Box<Expr>, Box<Expr>)

Lte(Box<Expr>, Box<Expr>)

Contains

Fields

collection: Box<Expr>

value: Box<Expr>

MapContainsKey

Fields

map: Box<Expr>

key: Box<Expr>

SeqStartsWith

Fields

seq: Box<Expr>

prefix: Box<Expr>

SeqElements(Box<Expr>)

Len(Box<Expr>)

Count

Fields

collection: Box<Expr>

value: Box<Expr>

Head(Box<Expr>)

MapKeys(Box<Expr>)

MapGet

Fields

map: Box<Expr>

key: Box<Expr>

Some(Box<Expr>)

Call

Fields

helper: String

args: Vec<Expr>

Quantified

Fields

quantifier: Quantifier

binding: String

over: Box<Expr>

body: Box<Expr>

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.

impl Eq for Expr

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> 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 Expr