Enum Sum3 

pub enum Sum3<A, B, C> {
    In1(A),
    In2(B),
    In3(C),
}

A coproduct of three types.

Variants

In1(A)

First injection.

In2(B)

Second injection.

In3(C)

Third injection.

Implementations

impl<A, B, C> Sum3<A, B, C>

pub fn elim<D>( self, f1: impl FnOnce(A) -> D, f2: impl FnOnce(B) -> D, f3: impl FnOnce(C) -> D, ) -> D

Eliminate by providing one function per variant.

pub fn is_first(&self) -> bool

Return true if this is the first variant.

pub fn is_second(&self) -> bool

Return true if this is the second variant.

pub fn is_third(&self) -> bool

Return true if this is the third variant.

Trait Implementations

impl<A: Clone, B: Clone, C: Clone> Clone for Sum3<A, B, C>

fn clone(&self) -> Sum3<A, B, C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug, B: Debug, C: Debug> Debug for Sum3<A, B, C>

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

Formats the value using the given formatter.

impl<A: PartialEq, B: PartialEq, C: PartialEq> PartialEq for Sum3<A, B, C>

fn eq(&self, other: &Sum3<A, B, C>) -> 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<A: Eq, B: Eq, C: Eq> Eq for Sum3<A, B, C>

impl<A, B, C> StructuralPartialEq for Sum3<A, B, C>