brrr-lint 0.1.0

A fast linter and language server for F* (FStar) with autofix capabilities
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! F* Language Server Protocol library.
//!
//! This crate provides a complete LSP implementation for F*.

pub mod config;
pub mod connection;
pub mod document;
pub mod error;
pub mod lint;
pub mod protocol;
pub mod server;

pub use config::{FstarConfig, LspSettings};
pub use error::{FstarError, Result};
pub use lint::{LintConfig, LintEngine, OutputFormat};
pub use server::FstarServer;