Enum passerine::compiler::ast::ASTPattern

pub enum ASTPattern {
    Symbol(String),
    Data(Data),
    Chain(Vec<Spanned<ASTPattern>>),
    Label(String, Box<Spanned<ASTPattern>>),
    Tuple(Vec<Spanned<ASTPattern>>),
}

Represents a Pattern during the AST phase of compilation. A pattern is like a very general type, because Passerine uses structural row-based typing.

Variants

Symbol(String)

Data(Data)

Chain(Vec<Spanned<ASTPattern>>)

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

Tuple(Vec<Spanned<ASTPattern>>)

Implementations

impl ASTPattern

pub fn label(name: String, pattern: Spanned<ASTPattern>) -> ASTPattern

Trait Implementations

impl Clone for ASTPattern

fn clone(&self) -> ASTPattern

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ASTPattern

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

Formats the value using the given formatter.

impl PartialEq<ASTPattern> for ASTPattern

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

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

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

This method tests for !=.

impl StructuralPartialEq for ASTPattern

impl TryFrom<AST> for ASTPattern

type Error = String

The type returned in the event of a conversion error.

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

Tries to convert an AST into a Pattern. Patterns mirror the ASTs they are designed to destructure. During parsing, they are just parsed as ASTs - When the compiler can determine that an AST is actually a pattern, It performs this conversion.

impl TryFrom<ASTPattern> for CSTPattern

type Error = String

The type returned in the event of a conversion error.

fn try_from(ast_pattern: ASTPattern) -> Result<Self, Self::Error>

Directly maps ASTPatterns to CSTPatterns. This function may become a bit more complex once 'where' is added.