Struct DiscreteTabModel

pub struct DiscreteTabModel { /* private fields */ }

A finitely presented model of a discrete tabulator theory.

A model of a discrete tabulator theory is a normal lax functor from the theory into the double category of profunctors that preserves tabulators. For the definition of “preserving tabulators,” see the dev docs.

Implementations

impl DiscreteTabModel

pub fn new(theory: Rc<DiscreteTabTheory>) -> Self

Creates an empty model of the given theory.

pub fn tabulated(&self, mor: TabMor) -> TabOb

Convenience method to turn a morphism into an object.

pub fn tabulated_gen(&self, f: QualifiedName) -> TabOb

Convenience method to turn a morphism generator into an object.

pub fn iter_invalid(&self) -> impl Iterator<Item = InvalidDblModel> + '_

Iterates over failures of model to be well defined.

Trait Implementations

impl Category for DiscreteTabModel

type Ob = TabOb

Type of objects in category.

type Mor = Path<TabOb, TabEdge>

Type of morphisms in category.

fn has_ob(&self, x: &Self::Ob) -> bool

Does the category contain the value as an object?

fn has_mor(&self, path: &Self::Mor) -> bool

Does the category contain the value as a morphism?

fn dom(&self, path: &Self::Mor) -> Self::Ob

Gets the domain of a morphism in the category.

fn cod(&self, path: &Self::Mor) -> Self::Ob

Gets the codomain of a morphism in the category.

fn compose(&self, path: Path<Self::Ob, Self::Mor>) -> Self::Mor

Composes a path of morphisms in the category.

fn compose2(&self, f: Self::Mor, g: Self::Mor) -> Self::Mor

Composes a pair of morphisms with compatible (co)domains.

fn id(&self, x: Self::Ob) -> Self::Mor

Constructs the identity morphism at an object.

fn morphisms_are_equal(&self, f: Self::Mor, g: Self::Mor) -> bool

Are the two morphisms in the category equal?

impl Clone for DiscreteTabModel

fn clone(&self) -> DiscreteTabModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl DblModel for DiscreteTabModel

type ObType = TabObType

Rust type of object types defined in the theory.

type MorType = TabMorType

Rust type of morphism types defined in the theory.

type ObOp = Path<TabObType, TabObProj>

Type of operations on objects defined in the theory.

type MorOp = TabMorOp

Type of operations on morphisms defined in the theory.

type Theory = DiscreteTabTheory

The type of double theory that this is a model of.

fn theory(&self) -> &Self::Theory

The double theory that this model is a model of.

fn ob_type(&self, ob: &Self::Ob) -> Self::ObType

Type of an object.

fn mor_type(&self, mor: &Self::Mor) -> Self::MorType

Type of a morphism.

fn ob_act(&self, _ob: Self::Ob, _op: &Self::ObOp) -> Self::Ob

Acts on an object with an object operation.

fn mor_act( &self, _path: Path<Self::Ob, Self::Mor>, _op: &Self::MorOp, ) -> Self::Mor

Acts on a sequence of morphisms with a morphism operation.

impl FgCategory for DiscreteTabModel

type ObGen = QualifiedName

Type of an object generator.

type MorGen = QualifiedName

Type of a morphism generator

fn ob_generators(&self) -> impl Iterator<Item = Self::ObGen>

Iterates over object generators.

fn mor_generators(&self) -> impl Iterator<Item = Self::MorGen>

Iterates over morphism generators.

fn mor_generator_dom(&self, f: &Self::MorGen) -> Self::Ob

The domain of a morphism generator

fn mor_generator_cod(&self, f: &Self::MorGen) -> Self::Ob

The codomain of a morphism generator

fn objects(&self) -> impl Iterator<Item = Self::Ob>

Iterates over basic objects.

fn morphisms(&self) -> impl Iterator<Item = Self::Mor>

Iterates over basic morphisms.

impl FgDblModel for DiscreteTabModel

fn ob_generator_type(&self, ob: &Self::ObGen) -> Self::ObType

Type of an object generator.

fn mor_generator_type(&self, mor: &Self::MorGen) -> Self::MorType

Type of a morphism generator.

fn ob_generators_with_type( &self, obtype: &Self::ObType, ) -> impl Iterator<Item = Self::ObGen>

Iterates over object generators with the given object type.

fn mor_generators_with_type( &self, mortype: &Self::MorType, ) -> impl Iterator<Item = Self::MorGen>

Iterates over morphism generators with the given morphism type.

fn objects_with_type( &self, obtype: &Self::ObType, ) -> impl Iterator<Item = Self::Ob>

Iterators over basic objects with the given object type.

fn morphisms_with_type( &self, mortype: &Self::MorType, ) -> impl Iterator<Item = Self::Mor>

Iterates over basic morphisms with the given morphism type.

impl MutDblModel for DiscreteTabModel

fn add_ob(&mut self, x: Self::ObGen, ob_type: Self::ObType)

Adds an object generator to the model.

fn make_mor(&mut self, f: Self::MorGen, mor_type: Self::MorType)

Adds a morphism generator to the model without setting its (co)domain.

fn get_dom(&self, f: &Self::MorGen) -> Option<&Self::Ob>

Gets the domain of a morphism generator, if it is set.

fn get_cod(&self, f: &Self::MorGen) -> Option<&Self::Ob>

Gets the codomain of a morphism generator, if it is set.

fn set_dom(&mut self, f: Self::MorGen, x: Self::Ob)

Sets the domain of a morphism generator.

fn set_cod(&mut self, f: Self::MorGen, x: Self::Ob)

Sets the codomain of a morphism generator.

fn add_mor( &mut self, f: Self::MorGen, dom: Self::Ob, cod: Self::Ob, mor_type: Self::MorType, )

Adds a morphism generator to the model.

impl PartialEq for DiscreteTabModel

fn eq(&self, other: &Self) -> 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 Validate for DiscreteTabModel

type ValidationError = InvalidDblModel

The type of a validation error.

fn validate(&self) -> Result<(), NonEmpty<Self::ValidationError>>

Validates the object.

impl Eq for DiscreteTabModel