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
59
60
61
62
63
64
65
66
use crate::{
ty::{struct_ty, Type},
value::Value,
};
use std::fmt::{Debug, Display};
#[derive(Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct StructValue(pub Vec<Value>);
impl StructValue {
pub fn new(values: Vec<Value>) -> Self {
StructValue(values)
}
pub fn zero<'a>(tys: impl IntoIterator<Item = &'a Type>) -> Self {
StructValue::new(tys.into_iter().map(Value::zero).collect())
}
pub fn ty(&self) -> Type {
struct_ty(self.0.iter().map(Value::ty).collect())
}
}
impl Display for StructValue {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
let mut first = true;
write!(f, "{{")?;
for v in &self.0 {
if !first {
write!(f, ", ")?;
}
write!(f, "{}", v)?;
first = false;
}
write!(f, "}}")
}
}
impl Debug for StructValue {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
write!(f, "{}", self)
}
}
impl StructValue {
pub fn extract_field(&self, idx: usize) -> Value {
self.0[idx].clone()
}
pub fn insert_field(&mut self, idx: usize, value: Value) {
self.0[idx] = value;
}
}