oxilean_parse/macro_parser/syntaxkind_traits.rs
1//! # SyntaxKind - Trait Implementations
2//!
3//! This module contains trait implementations for `SyntaxKind`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::SyntaxKind;
12use std::fmt;
13
14impl fmt::Display for SyntaxKind {
15 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16 match self {
17 SyntaxKind::Term => write!(f, "term"),
18 SyntaxKind::Command => write!(f, "command"),
19 SyntaxKind::Tactic => write!(f, "tactic"),
20 SyntaxKind::Level => write!(f, "level"),
21 SyntaxKind::Attr => write!(f, "attr"),
22 }
23 }
24}