Trait ferrite_session::UncloakRow

pub trait UncloakRow<F>: RowApp<F> where
    F: TyCon, {
    type Uncloaked: Send + 'static;
    fn full_cloak_row(row: Self::Uncloaked) -> Self::Applied;
    fn full_uncloak_row(row: AppliedSum<Self, F>) -> Self::Uncloaked;
}

Associated Types

type Uncloaked: Send + 'static

Loading content...

Required methods

fn full_cloak_row(row: Self::Uncloaked) -> Self::Applied

fn full_uncloak_row(row: AppliedSum<Self, F>) -> Self::Uncloaked

Loading content...

Implementations on Foreign Types

impl<F, A, R> UncloakRow<F> for (A, R) where
    A: Send + 'static,
    R: UncloakRow<F>,
    F: TypeApp<A>, 

type Uncloaked = Sum<F::Applied, R::Uncloaked>

fn full_cloak_row(row1: Self::Uncloaked) -> Self::Applied

fn full_uncloak_row(row1: AppliedSum<Self, F>) -> Self::Uncloaked

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

type Uncloaked = Bottom

fn full_cloak_row(row: Self::Uncloaked) -> Self::Applied

fn full_uncloak_row(row: AppliedSum<Self, F>) -> Self::Uncloaked

Loading content...

Implementors

Loading content...