Enum enso_prelude::at_least_one_of_two::AtLeastOneOfTwo [−][src]
pub enum AtLeastOneOfTwo<T1, T2> { First(T1), Second(T2), Both(T1, T2), }
Expand description
A struct similar to Option
and Either
. It can contain the first value, or the second value,
or both of them at the same time.
Variants
Implementations
Trait Implementations
Auto Trait Implementations
impl<T1, T2> RefUnwindSafe for AtLeastOneOfTwo<T1, T2> where
T1: RefUnwindSafe,
T2: RefUnwindSafe,
impl<T1, T2> Send for AtLeastOneOfTwo<T1, T2> where
T1: Send,
T2: Send,
impl<T1, T2> Sync for AtLeastOneOfTwo<T1, T2> where
T1: Sync,
T2: Sync,
impl<T1, T2> Unpin for AtLeastOneOfTwo<T1, T2> where
T1: Unpin,
T2: Unpin,
impl<T1, T2> UnwindSafe for AtLeastOneOfTwo<T1, T2> where
T1: UnwindSafe,
T2: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
The inverse inclusion map: attempts to construct self
from the equivalent element of its
superset. Read more
pub fn is_in_subset(&self) -> bool
pub fn is_in_subset(&self) -> bool
Checks if self
is actually part of its subset T
(and can be converted to it).
pub fn to_subset_unchecked(&self) -> SS
pub fn to_subset_unchecked(&self) -> SS
Use with care! Same as self.to_subset
but without any property checks. Always succeeds.
pub fn from_subset(element: &SS) -> SP
pub fn from_subset(element: &SS) -> SP
The inclusion map: converts self
to the equivalent element of its superset.