Struct terrors::OneOf

pub struct OneOf<E: TypeSet> { /* private fields */ }

Implementations

impl<E> OneOf<E>

where E: TypeSet,

pub fn narrow<Target, Remainder, Index>( self ) -> Result<Target, OneOf<Remainder>>

where E::TList: Contains<Target, Index> + Narrow<Target, Index, Remainder = Remainder::TList>, Remainder: TypeSet, Target: 'static,

pub fn new<T, Index>(t: T) -> OneOf<E>

where T: Any, E::TList: Contains<T, Index>,

Trait Implementations

impl<E: Debug + TypeSet> Debug for OneOf<E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> From<T> for OneOf<(T,)>

where T: Any,

fn from(t: T) -> OneOf<(T,)>

Converts to this type from the input type.