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