oxilean_codegen/lcnf/
lcnfletvalue_traits.rs

1//! # LcnfLetValue - Trait Implementations
2//!
3//! This module contains trait implementations for `LcnfLetValue`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::LcnfLetValue;
12use std::fmt;
13
14impl fmt::Display for LcnfLetValue {
15    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
16        match self {
17            LcnfLetValue::App(func, args) => {
18                write!(f, "{}(", func)?;
19                for (i, a) in args.iter().enumerate() {
20                    if i > 0 {
21                        write!(f, ", ")?;
22                    }
23                    write!(f, "{}", a)?;
24                }
25                write!(f, ")")
26            }
27            LcnfLetValue::Proj(name, idx, var) => write!(f, "{}.{} {}", name, idx, var),
28            LcnfLetValue::Ctor(name, tag, args) => {
29                write!(f, "{}#{}", name, tag)?;
30                if !args.is_empty() {
31                    write!(f, "(")?;
32                    for (i, a) in args.iter().enumerate() {
33                        if i > 0 {
34                            write!(f, ", ")?;
35                        }
36                        write!(f, "{}", a)?;
37                    }
38                    write!(f, ")")?;
39                }
40                Ok(())
41            }
42            LcnfLetValue::Lit(lit) => write!(f, "{}", lit),
43            LcnfLetValue::Erased => write!(f, "erased"),
44            LcnfLetValue::FVar(id) => write!(f, "{}", id),
45            LcnfLetValue::Reset(var) => write!(f, "reset({})", var),
46            LcnfLetValue::Reuse(slot, name, tag, args) => {
47                write!(f, "reuse({}, {}#{}(", slot, name, tag)?;
48                for (i, a) in args.iter().enumerate() {
49                    if i > 0 {
50                        write!(f, ", ")?;
51                    }
52                    write!(f, "{}", a)?;
53                }
54                write!(f, "))")
55            }
56        }
57    }
58}
oxilean_codegen/lcnf/lcnfletvalue_traits.rs

oxilean_codegen/lcnf/
lcnfletvalue_traits.rs
