Enum Expression

pub enum Expression {
    Abs {
        argument: String,
        body: Box<Expression>,
        annotation: Annotation,
    },
    Accessor {
        expression: Box<Expression>,
        field: String,
        annotation: Annotation,
    },
    App {
        abstraction: Box<Expression>,
        argument: Box<Expression>,
        annotation: Annotation,
    },
    Case {
        alternatives: Vec<Alternative>,
        expressions: Vec<Expression>,
        annotation: Annotation,
    },
    Constructor {
        name: String,
        type_: String,
        fields: Vec<String>,
        annotation: Annotation,
    },
    Let {
        expression: Box<Expression>,
        binds: Vec<Decl>,
        annotation: Annotation,
    },
    Literal {
        value: Literal,
        annotation: Annotation,
    },
    ObjectUpdate {
        expression: Box<Expression>,
        updates: Vec<(String, Expression)>,
        annotation: Annotation,
    },
    Var {
        value: Qualified,
        annotation: Annotation,
    },
}

Variants

Abs

Fields

argument: String

body: Box<Expression>

annotation: Annotation

Accessor

Fields

expression: Box<Expression>

field: String

annotation: Annotation

App

Fields

abstraction: Box<Expression>

argument: Box<Expression>

annotation: Annotation

Case

Fields

alternatives: Vec<Alternative>

expressions: Vec<Expression>

annotation: Annotation

Constructor

Fields

name: String

type_: String

fields: Vec<String>

annotation: Annotation

Let

Fields

expression: Box<Expression>

binds: Vec<Decl>

annotation: Annotation

Literal

Fields

value: Literal

annotation: Annotation

ObjectUpdate

Fields

expression: Box<Expression>

updates: Vec<(String, Expression)>

annotation: Annotation

Var

Fields

value: Qualified

annotation: Annotation

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expression

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Expression

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