Enum Sum4 

pub enum Sum4<A, B, C, D> {
    In1(A),
    In2(B),
    In3(C),
    In4(D),
}

A disjoint union of four types.

Variants

In1(A)

First injection.

In2(B)

Second injection.

In3(C)

Third injection.

In4(D)

Fourth injection.

Implementations

impl<A, B, C, D> Sum4<A, B, C, D>

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

Eliminate by providing one function per variant.

pub fn tag(&self) -> u8

Tag of the active variant (1-indexed).

pub fn is_first(&self) -> bool

Whether this is the first variant.

pub fn is_second(&self) -> bool

Whether this is the second variant.

pub fn is_third(&self) -> bool

Whether this is the third variant.

pub fn is_fourth(&self) -> bool

Whether this is the fourth variant.

Trait Implementations

impl<A: Clone, B: Clone, C: Clone, D: Clone> Clone for Sum4<A, B, C, D>

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

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, D: Debug> Debug for Sum4<A, B, C, D>

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

Formats the value using the given formatter.

impl<A: PartialEq, B: PartialEq, C: PartialEq, D: PartialEq> PartialEq for Sum4<A, B, C, D>

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

impl<A, B, C, D> StructuralPartialEq for Sum4<A, B, C, D>