Skip to main content

oxilean_kernel/reduce/
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;
12
13impl std::fmt::Display for ReductionRule {
14    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
15        match self {
16            ReductionRule::Beta => write!(f, "beta"),
17            ReductionRule::Delta => write!(f, "delta"),
18            ReductionRule::Zeta => write!(f, "zeta"),
19            ReductionRule::Iota => write!(f, "iota"),
20            ReductionRule::Proj => write!(f, "proj"),
21            ReductionRule::Quot => write!(f, "quot"),
22            ReductionRule::NatLit => write!(f, "nat_lit"),
23            ReductionRule::StrLit => write!(f, "str_lit"),
24            ReductionRule::None => write!(f, "none"),
25        }
26    }
27}