Struct ferrite_session::internal::functional::AppSum

pub struct AppSum<'a, Row, F> {
    pub row: Box<dyn HasSumApp<'a, Row, F> + 'a>,
}

Fields

row: Box<dyn HasSumApp<'a, Row, F> + 'a>

Implementations

impl<'a, Row, F> AppSum<'a, Row, F> where
    F: TyCon,
    Row: SumApp<'a, F>, 

pub fn new(row: Row::Applied) -> AppSum<'a, Row, F> where
    F: TyCon,
    Row: SumApp<'a, F>,
    Row::Applied: Send, 

pub fn get_sum(self) -> Row::Applied

Trait Implementations

impl<'a, Row, F, T> Deserialize<'a> for AppSum<'a, Row, F> where
    F: TyCon,
    T: Send + 'static,
    Row: SumApp<'a, F, Applied = T>,
    T: Serialize + for<'de> Deserialize<'de>, 

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
    D: Deserializer<'a>, 

Deserialize this value from the given Serde deserializer.

impl<Row, F, T> ForwardChannel for AppSum<'static, Row, F> where
    F: TyCon,
    F: Send + 'static,
    Row: 'static,
    Row: SumApp<'static, F, Applied = T>,
    T: ForwardChannel, 

fn forward_to(self, sender: OpaqueSender, receiver: OpaqueReceiver)

fn forward_from(sender: OpaqueSender, receiver: OpaqueReceiver) -> Self

impl<Row, F> Serialize for AppSum<'static, Row, F> where
    F: TyCon,
    Row: SumApp<'static, F>,
    Row::Applied: Send + 'static + Serialize + for<'de> Deserialize<'de>, 

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.