Struct ModalInstanceTerm 

pub struct ModalInstanceTerm {
    pub mor: ModalMor,
    pub base: ModalInstanceBase,
}

A term in an instance of a modal double model: a single model morphism applied to a base built from instance generators.

As in the discrete case, composition of model morphisms is reflected inside mor itself — via ModalMor::Composite for sequential composition and ModalMor::List for list-tupling — rather than by nesting term constructors. A tree-shaped multicategory composite such as f([g(x), y]) therefore normalizes to one ModalMor applied once to a base of bare generators; applications never nest. When mor is the identity (ModalMor::Composite(Path::Id(ob))), the term denotes base directly, and that Id object must agree with the fiber of base in the surrounding instance.

The only recursion that survives lives in base, through ModalInstanceBase::List (mirroring ModalOb::List) and ModalInstanceBase::ObApp (mirroring ModalOb::App): this is what lets a generator over a nested list object be written inline as e.g. [x, y], or an element of a product object as @tensor [x, y]. A base holds only generators, lists, and object-operation applications — never a morphism — so the “no application inside an application” invariant is enforced structurally.

Fields

mor: ModalMor

Model morphism applied to base.

base: ModalInstanceBase

The base of instance generators at the root of the term.

Trait Implementations

impl Clone for ModalInstanceTerm

fn clone(&self) -> ModalInstanceTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModalInstanceTerm

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

Formats the value using the given formatter.

impl InstanceTerm for ModalInstanceTerm

type Mor = ModalMor

The type of morphisms from the associated model.

impl PartialEq for ModalInstanceTerm

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

impl StructuralPartialEq for ModalInstanceTerm