Skip to main content

oxilean_kernel/trace/
reductionrule_traits.rs

1//! # ReductionRule - Trait Implementations
2//!
3//! This module contains trait implementations for `ReductionRule`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::ReductionRule;
12use std::fmt;
13
14impl fmt::Display for ReductionRule {
15    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16        match self {
17            ReductionRule::Beta => write!(f, "beta"),
18            ReductionRule::Delta => write!(f, "delta"),
19            ReductionRule::Iota => write!(f, "iota"),
20            ReductionRule::Zeta => write!(f, "zeta"),
21            ReductionRule::Eta => write!(f, "eta"),
22            ReductionRule::Quot => write!(f, "quot"),
23        }
24    }
25}