Morphisms between diagrammatic instances: data structures and validation

packages/catlog-wasm/src/model_diagram.rs

@@ -8,6 +8,7 @@ use serde::{Deserialize, Serialize};
 use tsify::Tsify;
 use wasm_bindgen::prelude::*;
 
+use catlog::dbl::discrete::model_diagram::InvalidDiscreteDblModelDiagram;
 use catlog::dbl::model::{DblModel as _, DiscreteDblModel, FgDblModel, MutDblModel};
 use catlog::dbl::model_diagram as diagram;
 use catlog::dbl::model_morphism::DiscreteDblModelMapping;
@@ -275,9 +276,7 @@ impl DblModelDiagram {
 /// Result of validating a diagram in a model.
 #[derive(Serialize, Deserialize, Tsify)]
 #[tsify(into_wasm_abi, from_wasm_abi)]
-pub struct ModelDiagramValidationResult(
-    pub JsResult<(), Vec<diagram::InvalidDiscreteDblModelDiagram>>,
-);
+pub struct ModelDiagramValidationResult(pub JsResult<(), Vec<InvalidDiscreteDblModelDiagram>>);
 
 /// Elaborates a diagram defined by a notebook into a catlog diagram.
 #[wasm_bindgen(js_name = "elaborateDiagram")]

packages/catlog/src/dbl/discrete/model.rs

@@ -145,6 +145,10 @@ impl Category for DiscreteDblModel {
     fn compose(&self, path: Path<Self::Ob, Self::Mor>) -> Self::Mor {
         self.category.compose(path)
     }
+
+    fn morphisms_are_equal(&self, p1: Self::Mor, p2: Self::Mor) -> bool {
+        self.category.morphisms_are_equal(p1, p2)
+    }
 }
 
 impl FgCategory for DiscreteDblModel {