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
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

//! Error types for the F* LSP server.

use thiserror::Error;

/// Main error type for the F* LSP server.
#[derive(Error, Debug)]
pub enum FstarError {
    #[error("F* process error: {0}")]
    Process(String),

    #[error("F* process not found: {0}")]
    FstarNotFound(String),

    #[error("Protocol error: {0}")]
    Protocol(String),

    #[error("Configuration error: {0}")]
    Config(String),

    #[error("IO error: {0}")]
    Io(#[from] std::io::Error),

    #[error("JSON error: {0}")]
    Json(#[from] serde_json::Error),

    #[error("Query timeout after {0}ms")]
    Timeout(u64),

    #[error("Query cancelled")]
    Cancelled,

    #[error("Connection closed")]
    ConnectionClosed,

    #[error("Invalid position: line {line}, column {column}")]
    InvalidPosition { line: u32, column: u32 },
}

pub type Result<T> = std::result::Result<T, FstarError>;