Skip to main content

SumApp

ferrite_session::internal::functional

Trait SumApp

pub trait SumApp<'a, F>: RowConwhere
    F: TyCon,{
    type Applied: Sized + Send + 'a;
}

Required Associated Types§

type Applied: Sized + Send + 'a

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementations on Foreign Types§

impl<'a, F, A: 'a, R> SumApp<'a, F> for (A, R)
where F: TyCon + 'a, R: RowCon + 'a,

type Applied = Sum<App<'a, F, A>, AppSum<'a, R, F>>

impl<'a, F> SumApp<'a, F> for ()
where F: TyCon,

type Applied = Bottom

Implementors§