Skip to main content

oak_lean/
lib.rs

1#![doc = include_str!("readme.md")]
2#![feature(new_range_api)]
3#![warn(missing_docs)]
4#![doc(html_logo_url = "https://raw.githubusercontent.com/ygg-lang/oaks/refs/heads/dev/documents/logo.svg")]
5#![doc(html_favicon_url = "https://raw.githubusercontent.com/ygg-lang/oaks/refs/heads/dev/documents/logo.svg")]
6//! Lean support for the Oak language framework.
7
8/// AST module.
9pub mod ast;
10/// Builder module.
11pub mod builder;
12
13/// Type definitions module.
14/// Language configuration module.
15pub mod language;
16/// Lexer module.
17pub mod lexer;
18/// LSP module.
19#[cfg(any(feature = "lsp", feature = "oak-highlight", feature = "oak-pretty-print"))]
20pub mod lsp;
21/// MCP module.
22#[cfg(feature = "mcp")]
23pub mod mcp;
24
25/// Parser module.
26pub mod parser;
27
28pub use crate::{
29    ast::LeanRoot,
30    builder::LeanBuilder,
31    language::LeanLanguage,
32    lexer::{LeanLexer, token_type::LeanTokenType},
33    parser::{LeanParser, element_type::LeanElementType},
34};
35
36// Highlighter implementation.
37#[cfg(feature = "oak-highlight")]
38pub use crate::lsp::highlighter::LeanHighlighter;
39
40// LSP implementation.
41#[cfg(feature = "lsp")]
42pub use crate::lsp::LeanLanguageService;
43
44// MCP service implementation.
45#[cfg(feature = "mcp")]
46pub use crate::mcp::serve_lean_mcp;