oak_lean/language/
mod.rs

1//! Lean 语言定义
2//!
3//! 定义Lean 语言的核心结构体，实现了 oak-core Language trait
4use crate::kind::LeanSyntaxKind;
5use oak_core::Language;
6
7/// Lean 语言定义
8#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
9pub struct LeanLanguage;
10
11impl Language for LeanLanguage {
12    type SyntaxKind = LeanSyntaxKind;
13    type TypedRoot = ();
14}
15
16impl LeanLanguage {
17    /// 创建新的 Lean 语言实例
18    pub fn new() -> Self {
19        Self
20    }
21}
22
23impl Default for LeanLanguage {
24    fn default() -> Self {
25        Self::new()
26    }
27}