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)

Tuple Fields of Symbol

0: UniqueSymbol

Data(Data)

Tuple Fields of Data

0: Data

Block(Vec<Spanned<SST>>)

Tuple Fields of Block

0: 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 Fields of Label

0: String1: Box<Spanned<SST>>

Tuple(Vec<Spanned<SST>>)

Tuple Fields of Tuple

0: 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.

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