Struct Parser 

pub struct Parser { /* private fields */ }

Parser state.

Implementations

impl Parser

pub fn new(tokens: Vec<Token>) -> Self

Create a new parser from tokens.

pub fn is_eof(&self) -> bool

Check if we’re at the end of input. Return true when the token stream is exhausted.

pub fn advance(&mut self) -> Token

Advance past the current token and return it.

Public so that callers that drive the parser declaration-by-declaration (e.g. the build executor) can skip past error positions.

impl Parser

pub fn parse_decl(&mut self) -> Result<Located<Decl>, ParseError>

Parse a top-level declaration.

impl Parser

pub fn parse_expr(&mut self) -> Result<Located<SurfaceExpr>, ParseError>

Parse an expression (entry point, lowest precedence).

impl Parser

pub fn parse_binders(&mut self) -> Result<Vec<Binder>, ParseError>

Parse binders for lambda, forall, variable declarations.

Supports:

• (x : T) – explicit
• {x : T} – implicit
• [x : T] – instance
• {{x : T}} – strict implicit
• x – simple binder without type
• Multiple binder groups