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;
}
}