use arc_gc::gc::GC;
use crate::{
lambda::runnable::{Runnable, RuntimeError, StepResult},
types::{
object::{OnionObject, OnionObjectCell, OnionStaticObject},
tuple::OnionTuple,
},
};
#[derive(Clone)]
pub struct Mapping {
pub(crate) container: OnionStaticObject,
pub(crate) mapper: OnionStaticObject,
pub(crate) collected: Vec<OnionStaticObject>,
pub(crate) current_index: usize,
}
impl Runnable for Mapping {
fn set_argument(
&mut self,
_argument: OnionStaticObject,
_gc: &mut GC<OnionObjectCell>,
) -> Result<(), RuntimeError> {
Ok(()) }
fn copy(&self, _gc: &mut GC<OnionObjectCell>) -> Box<dyn Runnable> {
Box::new(Mapping {
container: self.container.clone(),
mapper: self.mapper.clone(),
collected: self.collected.clone(),
current_index: self.current_index,
})
}
fn receive(
&mut self,
step_result: StepResult,
_gc: &mut GC<OnionObjectCell>,
) -> Result<(), RuntimeError> {
match step_result {
StepResult::Return(result) => {
self.collected.push(result);
self.current_index += 1; Ok(())
}
StepResult::Error(err) => Err(err),
_ => Err(RuntimeError::DetailedError(
"Unexpected step result in mapping".to_string(),
)),
}
}
fn step(&mut self, gc: &mut GC<OnionObjectCell>) -> Result<StepResult, RuntimeError> {
self.container
.weak()
.with_data(|container| match container {
OnionObject::Tuple(tuple) => {
if let Some(element) = tuple.elements.get(self.current_index) {
let element_clone = element.clone();
self.mapper.weak().with_data(|mapper_obj| match mapper_obj {
OnionObject::Lambda(lambda) => {
let OnionObject::Tuple(params) = &*lambda.parameter.try_borrow()?
else {
return Err(RuntimeError::InvalidType(format!(
"Map's parameter must be a tuple, got {:?}",
lambda.parameter
)));
};
let argument =
params.clone_and_named_assignment(&OnionTuple::new(vec![
element_clone,
]))?;
let runnable = lambda.create_runnable(argument, &self.mapper, gc)?;
Ok(StepResult::NewRunnable(runnable))
}
OnionObject::Boolean(false) => Ok(StepResult::Continue),
_ => {
self.collected.push(element_clone.stabilize());
Ok(StepResult::Continue)
}
})
} else {
Ok(StepResult::Return(OnionTuple::new_static_no_ref(
self.collected.clone(),
)))
}
}
_ => Err(RuntimeError::InvalidType(
"Container must be a tuple".to_string(),
)),
})
}
fn format_context(&self) -> Result<serde_json::Value, RuntimeError> {
return Ok(serde_json::json!({
"type": "Mapping",
"container": self.container.to_string(),
"mapper": self.mapper.to_string(),
"collected": self.collected.iter().map(|o| o.to_string()).collect::<Vec<_>>(),
"current_index": self.current_index,
}));
}
}