use crate::effect::writer::WriterEffect;
use crate::effect::Effect;
use crate::Semigroup;
pub struct WriterAndThen<E, F> {
pub(crate) inner: E,
pub(crate) f: F,
}
impl<E, F> std::fmt::Debug for WriterAndThen<E, F> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("WriterAndThen")
.field("inner", &"<effect>")
.field("f", &"<function>")
.finish()
}
}
impl<E, F, E2> Effect for WriterAndThen<E, F>
where
E: WriterEffect,
E2: WriterEffect<Error = E::Error, Env = E::Env, Writes = E::Writes>,
F: FnOnce(E::Output) -> E2 + Send,
{
type Output = E2::Output;
type Error = E::Error;
type Env = E::Env;
async fn run(self, env: &Self::Env) -> Result<Self::Output, Self::Error> {
let value = self.inner.run(env).await?;
(self.f)(value).run(env).await
}
}
impl<E, F, E2> WriterEffect for WriterAndThen<E, F>
where
E: WriterEffect,
E::Writes: Semigroup,
E2: WriterEffect<Error = E::Error, Env = E::Env, Writes = E::Writes>,
F: FnOnce(E::Output) -> E2 + Send,
{
type Writes = E::Writes;
async fn run_writer(self, env: &Self::Env) -> (Result<E2::Output, E::Error>, Self::Writes) {
let (result1, writes1) = self.inner.run_writer(env).await;
match result1 {
Ok(value) => {
let next_effect = (self.f)(value);
let (result2, writes2) = next_effect.run_writer(env).await;
(result2, writes1.combine(writes2))
}
Err(e) => (Err(e), writes1),
}
}
}