oak_lean/language/
mod.rs

1#![doc = include_str!("readme.md")]
2use oak_core::{Language, LanguageCategory};
3
4/// Lean language definition.
5#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
6#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
7pub struct LeanLanguage {}
8
9impl Language for LeanLanguage {
10    const NAME: &'static str = "lean";
11    const CATEGORY: LanguageCategory = LanguageCategory::Programming;
12
13    type TokenType = crate::lexer::token_type::LeanTokenType;
14    type ElementType = crate::parser::element_type::LeanElementType;
15    type TypedRoot = crate::ast::LeanRoot;
16}
17
18impl LeanLanguage {
19    /// Creates a new Lean language instance.
20    pub fn new() -> Self {
21        Self {}
22    }
23}
24
25impl Default for LeanLanguage {
26    fn default() -> Self {
27        Self {}
28    }
29}
oak_lean/language/mod.rs

oak_lean/language/
mod.rs
