Trait eff::coproduct::Embed

pub trait Embed<Target, Indices> {
    fn embed(self) -> Target;
}

A trait for embedding self into a wider coproduct type

Required methods

fn embed(self) -> Target

Embed self into the target type

Loading content...

Implementations on Foreign Types

impl<Target> Embed<Target, !> for !

fn embed(self) -> Target

Loading content...

Implementors

impl<E, Rest, Target, HeadIndex, TailIndices> Embed<Target, Either<Wrap<HeadIndex>, TailIndices>> for Either<E, Rest> where
    E: Effect,
    Target: Inject<E, HeadIndex>,
    Rest: Embed<Target, TailIndices>, 

fn embed(self) -> Target

Loading content...