Struct ferrite_session::prelude::AppSum

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

Fields

row: Box<dyn HasSumApp<Row, F>>

Implementations

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

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

Trait Implementations

impl<'a, Row, F, T> Deserialize<'a> for AppSum<Row, F> where
    F: TyCon,
    T: Send + 'static,
    Row: SumApp<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<Row, F> where
    F: TyCon,
    F: Send + 'static,
    Row: SumApp<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<Row, F> where
    F: TyCon,
    Row: SumApp<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.