Trait ferrite_session::RowApp

pub trait RowApp<F>: RowCon where
    F: TyCon, {
    type Applied: Send + 'static;
}

Associated Types

type Applied: Send + 'static

Loading content...

Implementations on Foreign Types

impl<F, A, R> RowApp<F> for (A, R) where
    A: Send + 'static,
    F: TyCon,
    R: RowCon, 

type Applied = Sum<Applied<F, A>, AppliedSum<R, F>>

impl<F> RowApp<F> for () where
    F: TyCon, 

type Applied = Bottom

Loading content...

Implementors

Loading content...