bock-lsp 0.1.0

Language Server Protocol implementation for the Bock language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! Bock Language Server Protocol implementation.
//!
//! Provides an LSP server over stdio that editors can connect to for
//! diagnostics, hover, go-to-definition, and other Bock tooling features.
//!
//! This crate exposes [`BockLanguageServer`] and a [`run_stdio`] entry point
//! used by `bock-cli` to launch the server.

mod diagnostics;
mod goto_definition;
mod hover;
mod pipeline;
mod server;
mod type_display;

pub use diagnostics::{severity_to_lsp, span_to_range, to_lsp_diagnostic};
pub use goto_definition::{find_definition, position_to_offset, DefinitionResult};
pub use hover::{hover, HoverResult};
pub use pipeline::{check_document, CheckResult};
pub use server::BockLanguageServer;
pub use type_display::format_type;

use tower_lsp::{LspService, Server};

/// Launch the Bock LSP server over stdio.
///
/// Blocks the current thread until the client disconnects. Intended to be
/// invoked from an async runtime by `bock lsp`.
pub async fn run_stdio() {
    let stdin = tokio::io::stdin();
    let stdout = tokio::io::stdout();
    let (service, socket) = LspService::new(BockLanguageServer::new);
    Server::new(stdin, stdout, socket).serve(service).await;
}