pub struct ModelDiagramPresentation {
pub ob_generators: Vec<DiagramObGenerator>,
pub mor_generators: Vec<DiagramMorGenerator>,
}Expand description
Presentation of a free diagram in a model.
Fields§
§ob_generators: Vec<DiagramObGenerator>Generating objects.
mor_generators: Vec<DiagramMorGenerator>Generating morphisms.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for ModelDiagramPresentation
impl<'de> Deserialize<'de> for ModelDiagramPresentation
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<ModelDiagramPresentation> for JsValuewhere
ModelDiagramPresentation: Serialize,
impl From<ModelDiagramPresentation> for JsValuewhere
ModelDiagramPresentation: Serialize,
Source§fn from(value: ModelDiagramPresentation) -> Self
fn from(value: ModelDiagramPresentation) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
impl FromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
Source§impl IntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
impl IntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
Source§impl OptionFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
impl OptionFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
Source§impl OptionIntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
impl OptionIntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
Source§impl RefFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
impl RefFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
Source§type Abi = <JsType as RefFromWasmAbi>::Abi
type Abi = <JsType as RefFromWasmAbi>::Abi
The Wasm ABI type references to
Self are recovered from.Source§type Anchor = SelfOwner<ModelDiagramPresentation>
type Anchor = SelfOwner<ModelDiagramPresentation>
The type that holds the reference to
Self for the duration of the
invocation of the function that has an &Self parameter. This is
required to ensure that the lifetimes don’t persist beyond one function
call, and so that they remain anonymous.Source§impl Serialize for ModelDiagramPresentation
impl Serialize for ModelDiagramPresentation
Source§impl Tsify for ModelDiagramPresentation
impl Tsify for ModelDiagramPresentation
const DECL: &'static str = "/**\n * Presentation of a free diagram in a model.\n */\nexport interface ModelDiagramPresentation {\n /**\n * Generating objects.\n */\n obGenerators: DiagramObGenerator[];\n /**\n * Generating morphisms.\n */\n morGenerators: DiagramMorGenerator[];\n}"
const SERIALIZATION_CONFIG: SerializationConfig
type JsType = JsType
fn into_js(&self) -> Result<Self::JsType, Error>where
Self: Serialize,
fn from_js<T>(js: T) -> Result<Self, Error>
Source§impl VectorFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
impl VectorFromWasmAbi for ModelDiagramPresentationwhere
Self: DeserializeOwned,
type Abi = <JsType as VectorFromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[Self]>
Source§impl VectorIntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
impl VectorIntoWasmAbi for ModelDiagramPresentationwhere
ModelDiagramPresentation: Serialize,
type Abi = <JsType as VectorIntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[Self]>) -> Self::Abi
Source§impl WasmDescribeVector for ModelDiagramPresentation
impl WasmDescribeVector for ModelDiagramPresentation
Auto Trait Implementations§
impl Freeze for ModelDiagramPresentation
impl RefUnwindSafe for ModelDiagramPresentation
impl Send for ModelDiagramPresentation
impl Sync for ModelDiagramPresentation
impl Unpin for ModelDiagramPresentation
impl UnwindSafe for ModelDiagramPresentation
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
Source§type Abi = <T as IntoWasmAbi>::Abi
type Abi = <T as IntoWasmAbi>::Abi
Same as
IntoWasmAbi::AbiSource§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as
IntoWasmAbi::into_abi, except that it may throw and never
return in the case of Err.§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.