Enum TabOb

pub enum TabOb<V, E> {
    Basic(V),
    Tabulated(Box<TabMor<V, E>>),
}

Object in a model of a discrete tabulator theory.

Variants

Basic(V)

Basic or generating object.

Tabulated(Box<TabMor<V, E>>)

A morphism viewed as an object of a tabulator.

Implementations

impl<V, E> TabOb<V, E>

pub fn basic(self) -> Option<V>

Extracts a basic object or nothing.

pub fn tabulated(self) -> Option<TabMor<V, E>>

Extracts a tabulated morphism or nothing.

pub fn unwrap_basic(self) -> V

Unwraps a basic object, or panics.

pub fn unwrap_tabulated(self) -> TabMor<V, E>

Unwraps a tabulated morphism, or panics.

Trait Implementations

impl<V: Clone, E: Clone> Clone for TabOb<V, E>

fn clone(&self) -> TabOb<V, E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V, E> From<V> for TabOb<V, E>

fn from(value: V) -> Self

Converts to this type from the input type.

impl<V: PartialEq, E: PartialEq> PartialEq for TabOb<V, E>

fn eq(&self, other: &TabOb<V, E>) -> 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<V: Eq, E: Eq> Eq for TabOb<V, E>

impl<V, E> StructuralPartialEq for TabOb<V, E>