Trait HasSumApp 

pub trait HasSumApp<'a, Row, F>: Send {
    // Required methods
    fn get_sum(self: Box<Self>) -> Box<Row::Applied>
       where F: TyCon,
             Row: SumApp<'a, F>;
    fn get_sum_borrow<'b>(&'b self) -> &'b Row::Applied
       where F: TyCon,
             Row: SumApp<'a, F>;
}

Required Methods

fn get_sum(self: Box<Self>) -> Box<Row::Applied>

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

fn get_sum_borrow<'b>(&'b self) -> &'b Row::Applied

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, S, Row, F> HasSumApp<'a, Row, F> for S

where F: TyCon, S: Send, Row: SumApp<'a, F, Applied = S>,