Struct LeanLanguageService 

pub struct LeanLanguageService { /* private fields */ }

Implementations

impl LeanLanguageService

pub fn new(config: LeanLanguage) -> Self

Trait Implementations

impl LanguageService for LeanLanguageService

Available on crate feature lsp only.

type Lang = LeanLanguage

The language type this service supports.

type Vfs = MemoryVfs

The VFS type used for source management.

fn vfs(&self) -> &Self::Vfs

Returns a reference to the underlying Virtual File System.

fn workspace(&self) -> &WorkspaceManager

Returns a reference to the workspace manager.

fn get_source(&self, uri: &str) -> Option<<Self::Vfs as Vfs>::Source>

Retrieves the source content for a given URI from the VFS.

fn get_root( &self, _uri: &str, ) -> impl Future<Output = Option<RedNode<'_, Self::Lang>>> + Send

Retrieves the root red node of a file for the given URI.

fn with_root<'a, R, F>( &'a self, uri: &'a str, f: F, ) -> impl Future<Output = Option<R>> + Send + 'a

where R: Send, F: FnOnce(RedNode<'a, Self::Lang>) -> R + Send + 'a,

Executes a closure with the root red node of a file.

fn with_roots<'a, R, F>( &'a self, uris: Vec<String>, f: F, ) -> impl Future<Output = Vec<R>> + Send + 'a

where R: Send + 'static, F: Fn(RedNode<'a, Self::Lang>) -> R + Send + Sync + 'a,

Executes a closure with multiple root nodes in parallel.

fn hover( &self, _uri: &str, _range: Range<usize>, ) -> impl Future<Output = Option<Hover>> + Send

Provides hover information for a specific range in a file.

fn folding_ranges( &self, _uri: &str, ) -> impl Future<Output = Vec<FoldingRange>> + Send

Provides folding ranges for a file.

fn document_symbols<'a>( &'a self, uri: &'a str, ) -> impl Future<Output = Vec<StructureItem>> + Send + 'a

Provides document symbols (structure) for a file.

fn workspace_symbols<'a>( &'a self, query: String, ) -> impl Future<Output = Vec<WorkspaceSymbol>> + Send + 'a

Provides workspace-wide symbol search based on a query string.

fn list_all_files( &self, root_uri: &str, ) -> impl Future<Output = Vec<String>> + Send

Recursively lists all files in the VFS starting from the given root URI.

fn definition<'a>( &'a self, uri: &'a str, range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Finds the definition(s) of a symbol at the specified range.

fn document_highlight<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<DocumentHighlight>> + Send + 'a

Provides document highlights for a symbol at the specified range.

fn code_action<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<CodeAction>> + Send + 'a

Provides code actions for a specific range in a file.

fn formatting<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = Vec<TextEdit>> + Send + 'a

Provides formatting edits for a file.

fn range_formatting<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<TextEdit>> + Send + 'a

Provides range formatting edits for a file.

fn rename<'a>( &'a self, _uri: &'a str, _range: Range<usize>, _new_name: String, ) -> impl Future<Output = Option<WorkspaceEdit>> + Send + 'a

Provides rename edits for a symbol at the specified range.

fn semantic_tokens<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = Option<SemanticTokens>> + Send + 'a

Provides semantic tokens for a file.

fn completion<'a>( &'a self, _uri: &'a str, _offset: usize, ) -> impl Future<Output = Vec<CompletionItem>> + Send + 'a

Provides completion items for a file at the specified position.

fn signature_help<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Option<SignatureHelp>> + Send + 'a

Provides signature help for a symbol at the specified range.

fn inlay_hint<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<InlayHint>> + Send + 'a

Provides inlay hints for a file.

fn references<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Finds all references to a symbol at the specified range.

fn type_definition<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Finds the type definition of a symbol at the specified range.

fn implementation<'a>( &'a self, _uri: &'a str, _range: Range<usize>, ) -> impl Future<Output = Vec<LocationRange>> + Send + 'a

Finds the implementation(s) of a symbol at the specified range.

fn initialize<'a>( &'a self, _params: InitializeParams, ) -> impl Future<Output = ()> + Send + 'a

Handles an LSP initialize request.

fn initialized<'a>(&'a self) -> impl Future<Output = ()> + Send + 'a

Called when the language server is fully initialized.

fn shutdown<'a>(&'a self) -> impl Future<Output = ()> + Send + 'a

Called when the language server is shut down.

fn did_save<'a>(&'a self, _uri: &'a str) -> impl Future<Output = ()> + Send + 'a

Called when a file is saved in the editor.

fn did_close<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = ()> + Send + 'a

Called when a file is closed in the editor.

fn diagnostics<'a>( &'a self, _uri: &'a str, ) -> impl Future<Output = Vec<Diagnostic>> + Send + 'a

Provides diagnostics for a file.