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
use super::{coproduct::Embed, Context, Effectful, Poll};
use std::marker::PhantomData;
use std::pin::Pin;
pub struct EmbedEffect<C, Target, Indices>(C, PhantomData<(Target, Indices)>);
impl<C, Target, Indices> EmbedEffect<C, Target, Indices> {
pub(crate) fn new(source: C) -> Self {
Self(source, PhantomData)
}
}
impl<C, Target, Indices> Effectful for EmbedEffect<C, Target, Indices>
where
C: Effectful,
C::Effect: Embed<Target, Indices>,
{
type Output = C::Output;
type Effect = Target;
#[inline]
fn poll(self: Pin<&mut Self>, cx: &Context) -> Poll<Self::Output, Self::Effect> {
use Poll::*;
match unsafe { self.map_unchecked_mut(|this| &mut this.0) }.poll(cx) {
Done(v) => Done(v),
Effect(e) => Effect(e.embed()),
Pending => Pending,
}
}
}