Enum passerine::compiler::sst::SST

pub enum SST {
    Symbol(UniqueSymbol),
    Data(Data),
    Block(Vec<Spanned<SST>>),
    Assign {
        pattern: Box<Spanned<SSTPattern>>,
        expression: Box<Spanned<SST>>,
    },
    Lambda {
        pattern: Box<Spanned<SSTPattern>>,
        expression: Box<Spanned<SST>>,
        scope: Scope,
    },
    Call {
        fun: Box<Spanned<SST>>,
        arg: Box<Spanned<SST>>,
    },
    Label(String, Box<Spanned<SST>>),
    Tuple(Vec<Spanned<SST>>),
    FFI {
        name: String,
        expression: Box<Spanned<SST>>,
    },
}

Represents an item in a hoisted SST. Each langauge-level construct has it’s own SST variant. Note that symbols have been substituted. At this point in compilation the scope of each local is known.

Variants

Symbol(UniqueSymbol)

Data(Data)

Block(Vec<Spanned<SST>>)

Assign

Fields of Assign

pattern: Box<Spanned<SSTPattern>>expression: Box<Spanned<SST>>

Lambda

Fields of Lambda

pattern: Box<Spanned<SSTPattern>>expression: Box<Spanned<SST>>scope: Scope

Call

Fields of Call

fun: Box<Spanned<SST>>arg: Box<Spanned<SST>>

Label(String, Box<Spanned<SST>>)

Tuple(Vec<Spanned<SST>>)

FFI

Fields of FFI

name: Stringexpression: Box<Spanned<SST>>

Implementations

impl SST

pub fn assign(pattern: Spanned<SSTPattern>, expression: Spanned<SST>) -> SST

Shortcut for creating an SST::Assign variant.

pub fn lambda(
    pattern: Spanned<SSTPattern>,
    expression: Spanned<SST>,
    scope: Scope
) -> SST

Shortcut for creating an SST::Lambda variant.

pub fn label(name: &str, expression: Spanned<SST>) -> SST

Shortcut for creating a SST::Label variant.

pub fn call(fun: Spanned<SST>, arg: Spanned<SST>) -> SST

Shortcut for creating a SST::Lambda variant.

pub fn ffi(name: &str, expression: Spanned<SST>) -> SST

Trait Implementations

impl Clone for SST

fn clone(&self) -> SST

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SST

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

Formats the value using the given formatter.

impl PartialEq<SST> for SST

fn eq(&self, other: &SST) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for SST