Enum TabEdge

pub enum TabEdge<V, E> {
    Basic(E),
    Square {
        dom: Box<TabMor<V, E>>,
        cod: Box<TabMor<V, E>>,
        pre: Box<TabEdge<V, E>>,
        post: Box<TabEdge<V, E>>,
    },
}

“Edge” in a model of a discrete tabulator theory.

Morphisms of these two forms generate all the morphisms in the model.

Variants

Basic(E)

Basic morphism between any two objects.

Square

Generating morphism between tabulated morphisms, a commutative square.

Fields

dom: Box<TabMor<V, E>>

The domain, a tabulated morphism.

cod: Box<TabMor<V, E>>

The codomain, a tabulated morphism.

pre: Box<TabEdge<V, E>>

Edge that acts by pre-composition onto codomain.

post: Box<TabEdge<V, E>>

Edge that acts by post-composition onto domain.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

fn from(value: E) -> Self

Converts to this type from the input type.

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

fn eq(&self, other: &TabEdge<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 TabEdge<V, E>

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