Skip to main content

oxilean_kernel/whnf/
whnfreductionorder_traits.rs

1//! # WhnfReductionOrder - Trait Implementations
2//!
3//! This module contains trait implementations for `WhnfReductionOrder`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::WhnfReductionOrder;
12
13impl std::fmt::Display for WhnfReductionOrder {
14    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
15        match self {
16            WhnfReductionOrder::BetaFirst => write!(f, "beta-first"),
17            WhnfReductionOrder::DeltaFirst => write!(f, "delta-first"),
18            WhnfReductionOrder::StructuralOnly => write!(f, "structural-only"),
19        }
20    }
21}