Struct IrPatternApplication 

pub struct IrPatternApplication {
    pub pattern: String,
    pub alias: String,
    pub type_args: Vec<IrType>,
    pub value_args: Vec<IrPatternArgument>,
    pub generated: Vec<String>,
    pub definition_span: SourceSpan,
    pub application_span: SourceSpan,
}

Fields

pattern: String

alias: String

type_args: Vec<IrType>

value_args: Vec<IrPatternArgument>

generated: Vec<String>

definition_span: SourceSpan

Source span of the pattern <Name> { ... } DEFINITION this application expanded, so provenance can point back at where the reused shape lives.

application_span: SourceSpan

Source span of the apply <Name> as <alias> { ... } APPLICATION site.

Trait Implementations

impl Clone for IrPatternApplication

fn clone(&self) -> IrPatternApplication

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrPatternApplication

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

Formats the value using the given formatter.

impl Eq for IrPatternApplication

impl PartialEq for IrPatternApplication

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrPatternApplication