Struct DblModelDiagram

pub struct DblModelDiagram<Map, Dom>(pub Map, pub Dom);

A diagram in a model of a double theory.

This struct owns its data, namely, the domain of the diagram (a model) and the model mapping itself.

Tuple Fields

0: Map

1: Dom

Implementations

impl<Map, Dom> DblModelDiagram<Map, Dom>

where Map: DblModelMapping,

pub fn ob(&self, i: &Map::DomOb) -> Map::CodOb

Gets an object indexed by the diagram.

pub fn mor(&self, h: &Map::DomMor) -> Map::CodMor

Gets a morphism indexed by the diagram.

impl<DomId, CodId, Cat> DblModelDiagram<DiscreteDblModelMapping<DomId, CodId>, DiscreteDblModel<DomId, Cat>>

where DomId: Eq + Clone + Hash, CodId: Eq + Clone + Hash, Cat: FgCategory, Cat::Ob: Hash, Cat::Mor: Hash,

pub fn validate_in( &self, model: &DiscreteDblModel<CodId, Cat>, ) -> Result<(), NonEmpty<InvalidDiscreteDblModelDiagram<DomId>>>

Validates that the diagram is well-defined in the given model.

Assumes that the model is valid. If it is not, this function may panic.

pub fn iter_invalid_in<'a>( &'a self, model: &'a DiscreteDblModel<CodId, Cat>, ) -> impl Iterator<Item = InvalidDiscreteDblModelDiagram<DomId>> + 'a

Iterates over failures of the diagram to be valid in the given model.

pub fn infer_missing_from(&mut self, model: &DiscreteDblModel<CodId, Cat>)

Infer missing data in the diagram from the model, where possible.

Assumes that the model is valid.

Trait Implementations

impl<Map: Clone, Dom: Clone> Clone for DblModelDiagram<Map, Dom>

fn clone(&self) -> DblModelDiagram<Map, Dom>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'__derive_more_into, Map, Dom> From<&'__derive_more_into DblModelDiagram<Map, Dom>> for (&'__derive_more_into Map, &'__derive_more_into Dom)

fn from(value: &'__derive_more_into DblModelDiagram<Map, Dom>) -> Self

Converts to this type from the input type.

impl<'__derive_more_into, Map, Dom> From<&'__derive_more_into mut DblModelDiagram<Map, Dom>> for (&'__derive_more_into mut Map, &'__derive_more_into mut Dom)

fn from(value: &'__derive_more_into mut DblModelDiagram<Map, Dom>) -> Self

Converts to this type from the input type.

impl<Map, Dom> From<DblModelDiagram<Map, Dom>> for (Map, Dom)

fn from(value: DblModelDiagram<Map, Dom>) -> Self

Converts to this type from the input type.