pub enum InvalidDblModel {
Dom(QualifiedName),
Cod(QualifiedName),
ObType(QualifiedName),
MorType(QualifiedName),
DomType(QualifiedName),
CodType(QualifiedName),
Eq(usize, NonEmpty<InvalidPathEq>),
}
Expand description
A failure of a model of a double theory to be well defined.
TODO: We are missing the case that an equation has different composite morphism types on left and right hand sides.
Variants§
Dom(QualifiedName)
Domain of morphism generator is undefined or invalid.
Cod(QualifiedName)
Codomain of morphism generator is missing or invalid.
ObType(QualifiedName)
Object generator has invalid object type.
MorType(QualifiedName)
Morphism generator has invalid morphism type.
DomType(QualifiedName)
Domain of morphism generator has type incompatible with morphism type.
CodType(QualifiedName)
Codomain of morphism generator has type incompatible with morphism type.
Eq(usize, NonEmpty<InvalidPathEq>)
Equation between morphisms has one or more errors.
Trait Implementations§
Source§impl Clone for InvalidDblModel
impl Clone for InvalidDblModel
Source§fn clone(&self) -> InvalidDblModel
fn clone(&self) -> InvalidDblModel
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for InvalidDblModel
impl Debug for InvalidDblModel
Source§impl<'de> Deserialize<'de> for InvalidDblModel
impl<'de> Deserialize<'de> for InvalidDblModel
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<InvalidDblModel> for JsValuewhere
InvalidDblModel: Serialize,
impl From<InvalidDblModel> for JsValuewhere
InvalidDblModel: Serialize,
Source§fn from(value: InvalidDblModel) -> Self
fn from(value: InvalidDblModel) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
impl FromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
Source§impl IntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
impl IntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
Source§impl OptionFromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
impl OptionFromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
Source§impl OptionIntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
impl OptionIntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
Source§impl PartialEq for InvalidDblModel
impl PartialEq for InvalidDblModel
Source§impl RefFromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
impl RefFromWasmAbi for InvalidDblModelwhere
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<InvalidDblModel>
type Anchor = SelfOwner<InvalidDblModel>
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 InvalidDblModel
impl Serialize for InvalidDblModel
Source§impl Tsify for InvalidDblModel
impl Tsify for InvalidDblModel
const DECL: &'static str = "/**\n * A failure of a model of a double theory to be well defined.\\n\\nTODO: We are missing the case that an equation has different composite morphism\\ntypes on left and right hand sides.\\n\n */\nexport type InvalidDblModel = { tag: \"Dom\"; content: QualifiedName } | { tag: \"Cod\"; content: QualifiedName } | { tag: \"ObType\"; content: QualifiedName } | { tag: \"MorType\"; content: QualifiedName } | { tag: \"DomType\"; content: QualifiedName } | { tag: \"CodType\"; content: QualifiedName } | { tag: \"Eq\"; content: [number, NonEmpty<InvalidPathEq>] };"
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 InvalidDblModelwhere
Self: DeserializeOwned,
impl VectorFromWasmAbi for InvalidDblModelwhere
Self: DeserializeOwned,
type Abi = <JsType as VectorFromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[Self]>
Source§impl VectorIntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
impl VectorIntoWasmAbi for InvalidDblModelwhere
InvalidDblModel: Serialize,
type Abi = <JsType as VectorIntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[Self]>) -> Self::Abi
Source§impl WasmDescribeVector for InvalidDblModel
impl WasmDescribeVector for InvalidDblModel
impl Eq for InvalidDblModel
impl StructuralPartialEq for InvalidDblModel
Auto Trait Implementations§
impl Freeze for InvalidDblModel
impl RefUnwindSafe for InvalidDblModel
impl Send for InvalidDblModel
impl Sync for InvalidDblModel
impl Unpin for InvalidDblModel
impl UnwindSafe for InvalidDblModel
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.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::Abi
Source§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.