Struct LeanBuilder 

pub struct LeanBuilder<'config> { /* private fields */ }

Builder for constructing Lean AST from source text.

Implementations

impl<'config> LeanBuilder<'config>

pub fn new(config: &'config LeanLanguage) -> Self

Creates a new Lean builder with the given language configuration.

Trait Implementations

impl<'config> Builder<LeanLanguage> for LeanBuilder<'config>

fn build<'a, S: Source + ?Sized>( &self, source: &'a S, edits: &[TextEdit], cache: &'a mut impl BuilderCache<LeanLanguage>, ) -> OakDiagnostics<LeanRoot>

Builds the higher-level structure (typically an AST) from the source text.