oxilean_codegen/lcnf/lcnfarg_traits.rs
1//! # LcnfArg - Trait Implementations
2//!
3//! This module contains trait implementations for `LcnfArg`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::LcnfArg;
12use std::fmt;
13
14impl fmt::Display for LcnfArg {
15 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16 match self {
17 LcnfArg::Var(id) => write!(f, "{}", id),
18 LcnfArg::Lit(lit) => write!(f, "{}", lit),
19 LcnfArg::Erased => write!(f, "erased"),
20 LcnfArg::Type(ty) => write!(f, "@{}", ty),
21 }
22 }
23}