Type Alias TabMor

pub type TabMor<V, E> = Path<TabOb<V, E>, TabEdge<V, E>>;

Morphism in a model of a discrete tabulator theory.

Aliased Type

enum TabMor<V, E> {
    Id(TabOb<V, E>),
    Seq(NonEmpty<TabEdge<V, E>>),
}

Variants

Id(TabOb<V, E>)

The identity, or empty, path at a vertex.

Seq(NonEmpty<TabEdge<V, E>>)

A nontrivial path, comprising a non-empty vector of consecutive edges.

Trait Implementations

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

fn from(value: E) -> Self

Converts to this type from the input type.