Struct Parser

pub struct Parser<'src, 'a> {
    pub entrypoint: Symbol<'src>,
    pub arena: &'a TermArena<'src, 'a>,
    pub bindings: BindingContext<'src, 'a>,
    pub symbol_table: HashMap<&'src str, WithSpan<'src, Symbol<'src>>>,
    pub lexer_database: LexerDatabase<'src>,
}

Fields

entrypoint: Symbol<'src>

arena: &'a TermArena<'src, 'a>

bindings: BindingContext<'src, 'a>

symbol_table: HashMap<&'src str, WithSpan<'src, Symbol<'src>>>

lexer_database: LexerDatabase<'src>

Implementations

impl<'src, 'a> Parser<'src, 'a>

pub fn type_check(&self) -> Vec<TypeError<'src>>

pub fn is_active(&self, tag: &Tag<'src>) -> bool