Enum Either 

pub enum Either<L, R> {
    Left(L),
    Right(R),
}

Variants

Left(L)

Contains the left value

Right(R)

Contains the right value

Implementations

impl<L, R> Either<L, R>

pub fn left(self) -> Option<L>

Converts to the left value, if any.

pub fn __VERUS_SPEC_left(self) -> Option<L>

pub fn right(self) -> Option<R>

Converts to the right value, if any.

pub fn __VERUS_SPEC_right(self) -> Option<R>

pub fn is_left(&self) -> bool

Returns true if the left value is present.

pub fn __VERUS_SPEC_is_left(&self) -> bool

pub fn is_right(&self) -> bool

Returns true if the right value is present.

pub fn __VERUS_SPEC_is_right(&self) -> bool

Trait Implementations

impl<L: Clone, R: Clone> Clone for Either<L, R>

fn clone(&self) -> Either<L, R>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: Debug, R: Debug> Debug for Either<L, R>

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

Formats the value using the given formatter.

impl<L: PartialEq, R: PartialEq> PartialEq for Either<L, R>

fn eq(&self, other: &Either<L, R>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L: Copy, R: Copy> Copy for Either<L, R>

impl<L: Eq, R: Eq> Eq for Either<L, R>

impl<L, R> StructuralPartialEq for Either<L, R>