Type Alias ModalObOp

pub type ModalObOp<Id> = Path<ModalObType<Id>, ModeApp<ModalOp<Id>>>;

An object operation in a modal double theory.

Aliased Type

enum ModalObOp<Id> {
    Id(ModeApp<Id>),
    Seq(NonEmpty<ModeApp<ModalOp<Id>>>),
}

Variants

Id(ModeApp<Id>)

The identity, or empty, path at a vertex.

Seq(NonEmpty<ModeApp<ModalOp<Id>>>)

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

Implementations

impl<Id> ModalObOp<Id>

pub fn generator(id: Id) -> Self

Constructs the object operation for a generator.

pub fn concat(list: List, arity: usize, ob_type: ModalObType<Id>) -> Self

Constructs a concatenation operation for a list modality.