Enum TabOb 

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

Object in a model of a discrete tabulator theory.

Variants

Basic(QualifiedName)

Basic or generating object.

Tabulated(Box<TabMor>)

A morphism viewed as an object of a tabulator.

Implementations

impl TabOb

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

Extracts a basic object or nothing.

pub fn tabulated(self) -> Option<TabMor>

Extracts a tabulated morphism or nothing.

pub fn unwrap_basic(self) -> QualifiedName

Unwraps a basic object, or panics.

pub fn unwrap_tabulated(self) -> TabMor

Unwraps a tabulated morphism, or panics.

Trait Implementations

impl Clone for TabOb

fn clone(&self) -> TabOb

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TabOb

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

Formats the value using the given formatter.

impl From<QualifiedName> for TabOb

fn from(value: QualifiedName) -> Self

Converts to this type from the input type.

impl PartialEq for TabOb

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

impl StructuralPartialEq for TabOb