Trait coproduct::UnionAt

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

    fn inject(x: X) -> Self;
    unsafe fn take(self) -> X;
}

This trait is implemented for Unions where variant I has type X.

Required Associated Types

type Pruned

The coproduct minus its Ith variant

Required Methods

fn inject(x: X) -> Self

Create a union that contains the given value.

unsafe fn take(self) -> X

Convert a union to the contained type.

Safety

If the active variant of the coproduct is not at index I, calling this method is undefined behaviour.

Implementors

impl<I, X, H, T> UnionAt<There<I>, X> for Union<H, T>where
    T: UnionAt<I, X>,

type Pruned = Union<H, <T as UnionAt<I, X>>::Pruned>

impl<X, Rest> UnionAt<Here, X> for Union<X, Rest>

type Pruned = Rest