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