Enum passerine::compiler::ast::AST

pub enum AST {
    Symbol(String),
    Data(Data),
    Block(Vec<Spanned<AST>>),
    Form(Vec<Spanned<AST>>),
    Pattern(ASTPattern),
    ArgPat(ArgPat),
    Assign {
        pattern: Box<Spanned<ASTPattern>>,
        expression: Box<Spanned<AST>>,
    },
    Lambda {
        pattern: Box<Spanned<ASTPattern>>,
        expression: Box<Spanned<AST>>,
    },
    Composition {
        argument: Box<Spanned<AST>>,
        function: Box<Spanned<AST>>,
    },
    Print(Box<Spanned<AST>>),
    Label(String, Box<Spanned<AST>>),
    Syntax {
        arg_pat: Box<Spanned<ArgPat>>,
        expression: Box<Spanned<AST>>,
    },
}

Represents an item in a sugared AST. Which is the direct result of parsing Each syntax-level construct has it's own AST variant. When macros are added, for instance, they will be here, But not in the CST, which is the desugared syntax tree, and represents language-level constructs

Variants

Symbol(String)

Data(Data)

Block(Vec<Spanned<AST>>)

Form(Vec<Spanned<AST>>)

Pattern(ASTPattern)

ArgPat(ArgPat)

Assign

Fields of Assign

pattern: Box<Spanned<ASTPattern>>expression: Box<Spanned<AST>>

Lambda

Fields of Lambda

pattern: Box<Spanned<ASTPattern>>expression: Box<Spanned<AST>>

Composition

Fields of Composition

argument: Box<Spanned<AST>>function: Box<Spanned<AST>>

Print(Box<Spanned<AST>>)

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

Syntax

Fields of Syntax

arg_pat: Box<Spanned<ArgPat>>expression: Box<Spanned<AST>>

Implementations

impl AST

pub fn assign(pattern: Spanned<ASTPattern>, expression: Spanned<AST>) -> AST

Shortcut for creating an AST::Assign variant.

pub fn lambda(pattern: Spanned<ASTPattern>, expression: Spanned<AST>) -> AST

Shortcut for creating an AST::Lambda variant.

pub fn composition(argument: Spanned<AST>, function: Spanned<AST>) -> AST

pub fn syntax(arg_pat: Spanned<ArgPat>, expression: Spanned<AST>) -> AST

Shortcut for creating an AST::Syntax variant. i.e. a macro definition

Trait Implementations

impl Clone for AST

pub fn clone(&self) -> AST

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AST

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

Formats the value using the given formatter.

impl PartialEq<AST> for AST

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

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

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

This method tests for !=.

impl StructuralPartialEq for AST

impl TryFrom<AST> for ASTPattern

type Error = String

The type returned in the event of a conversion error.

pub fn try_from(ast: AST) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<AST> for ArgPat

type Error = String

The type returned in the event of a conversion error.

pub fn try_from(ast: AST) -> Result<Self, Self::Error>

Performs the conversion.