Trait coproduct::At

pub trait At<I, X> {
    type Pruned;

    fn inject(x: X) -> Self;
    fn uninject(self) -> Result<X, Self::Pruned>;
}

Required Associated Types

type Pruned

Required Methods

fn inject(x: X) -> Self

fn uninject(self) -> Result<X, Self::Pruned>

Implementors

impl<I, X, U: Copy> At<I, X> for CopyableCoproduct<U>where
    U: UnionAt<I, X>,
    U::Pruned: Copy,
    I: Count,

type Pruned = CopyableCoproduct<<U as UnionAt<I, X>>::Pruned>

impl<I, X, U: IndexedDrop> At<I, X> for Coproduct<U>where
    U: UnionAt<I, X>,
    U::Pruned: IndexedDrop,
    I: Count,

type Pruned = Coproduct<<U as UnionAt<I, X>>::Pruned>