Struct Binding

pub struct Binding<L: Language> {
    pub name: String,
    pub bound_var: CoreBoundVar<L>,
}

Records a single binding, used when parsing [Binder].

Fields

name: String

Name the user during during parsing

bound_var: CoreBoundVar<L>

The bound var representation.

Trait Implementations

impl<L: Clone + Language> Clone for Binding<L>

fn clone(&self) -> Binding<L>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<L: Language> CoreParse<L> for Binding<L>

Binding grammar is $kind $name, e.g., ty Foo.

fn parse<'t>(scope: &Scope<L>, text: &'t str) -> ParseResult<'t, Self>

Parse a single instance of this type, returning an error if no such instance is present.

fn parse_many<'t>( scope: &Scope<L>, text: &'t str, close_char: char, ) -> ParseResult<'t, Vec<Self>>

Parse many instances of self, expecting close_char to appear after the last instance (close_char is not consumed).

fn parse_comma<'t>( scope: &Scope<L>, text: &'t str, close_char: char, ) -> ParseResult<'t, Vec<Self>>

Comma separated list with optional trailing comma.

impl<L: Debug + Language> Debug for Binding<L>

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

Formats the value using the given formatter.