Enum Expr 

pub enum Expr {
    Literal(Literal),
    Let {
        ty: Spanned<Type>,
        definition: Box<Spanned<Self>>,
        body: Box<Spanned<Self>>,
    },
    Perform {
        input: Box<Spanned<Self>>,
        output: Spanned<Type>,
    },
    Continue {
        input: Box<Spanned<Self>>,
        output: Option<Spanned<Type>>,
    },
    Handle {
        expr: Box<Spanned<Self>>,
        handlers: Vec<Handler>,
    },
    Apply {
        function: Spanned<Type>,
        link_name: Option<LinkName>,
        arguments: Vec<Spanned<Self>>,
    },
    Product(Vec<Spanned<Self>>),
    Match {
        of: Box<Spanned<Self>>,
        cases: Vec<MatchCase>,
    },
    Typed {
        ty: Spanned<Type>,
        item: Box<Spanned<Self>>,
    },
    Hole,
    Function {
        parameters: Vec<Spanned<Type>>,
        body: Box<Spanned<Self>>,
    },
    Array(Vec<Spanned<Self>>),
    Set(Vec<Spanned<Self>>),
    Include(String),
    Import {
        ty: Spanned<Type>,
        uuid: Option<Uuid>,
    },
    Export {
        ty: Spanned<Type>,
    },
    Attribute {
        attr: Box<Spanned<Self>>,
        item: Box<Spanned<Self>>,
    },
    Brand {
        brands: Vec<String>,
        item: Box<Spanned<Self>>,
    },
    Label {
        label: String,
        item: Box<Spanned<Self>>,
    },
    NewType {
        ident: String,
        ty: Spanned<Type>,
        expr: Box<Spanned<Self>>,
    },
    Comment {
        position: CommentPosition,
        text: String,
        item: Box<Spanned<Self>>,
    },
    Card {
        uuid: Uuid,
        item: Box<Spanned<Self>>,
        next: Option<Box<Spanned<Self>>>,
    },
}

Variants

Literal(Literal)

Let

Fields

ty: Spanned<Type>

definition: Box<Spanned<Self>>

body: Box<Spanned<Self>>

Perform

Fields

input: Box<Spanned<Self>>

output: Spanned<Type>

Continue

Fields

input: Box<Spanned<Self>>

output: Option<Spanned<Type>>

Handle

Fields

expr: Box<Spanned<Self>>

handlers: Vec<Handler>

Apply

Fields

function: Spanned<Type>

link_name: Option<LinkName>

arguments: Vec<Spanned<Self>>

Product(Vec<Spanned<Self>>)

Match

Fields

of: Box<Spanned<Self>>

cases: Vec<MatchCase>

Typed

Fields

ty: Spanned<Type>

item: Box<Spanned<Self>>

Hole

Function

Fields

parameters: Vec<Spanned<Type>>

body: Box<Spanned<Self>>

Array(Vec<Spanned<Self>>)

Set(Vec<Spanned<Self>>)

Include(String)

Import

Fields

ty: Spanned<Type>

uuid: Option<Uuid>

Export

Fields

ty: Spanned<Type>

Attribute

Fields

attr: Box<Spanned<Self>>

item: Box<Spanned<Self>>

Brand

Fields

brands: Vec<String>

item: Box<Spanned<Self>>

Label

Fields

label: String

item: Box<Spanned<Self>>

NewType

Fields

ident: String

ty: Spanned<Type>

expr: Box<Spanned<Self>>

Comment

Fields

position: CommentPosition

text: String

item: Box<Spanned<Self>>

Card

Fields

uuid: Uuid

item: Box<Spanned<Self>>

next: Option<Box<Spanned<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.

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