Trait eff::coproduct::EmbedRest

pub trait EmbedRest<Target, Index> {
    fn embed_rest(self) -> Target;
}

Required methods

fn embed_rest(self) -> Target

Loading content...

Implementors

impl<Head, Tail, N, Rest> EmbedRest<Either<Head, Tail>, Succ<N>> for Rest where
    Head: Effect,
    Rest: EmbedRest<Tail, N>, 

fn embed_rest(self) -> Either<Head, Tail>

impl<T> EmbedRest<T, Zero> for T

fn embed_rest(self) -> T

Loading content...