Enum InvalidDblModel

pub enum InvalidDblModel<Id> {
    Dom(Id),
    Cod(Id),
    ObType(Id),
    MorType(Id),
    DomType(Id),
    CodType(Id),
    EqLhs(Id),
    EqRhs(Id),
    EqSrc(Id),
    EqTgt(Id),
}

A failure of a model of a double theory to be well defined.

We currently are encompassing error variants for all kinds of double theories in a single enum. That will likely become unviable but it’s convenient for now.

TODO: We are missing the case that an equation has different composite morphism types on left and right hand sides.

Variants

Dom(Id)

Domain of basic morphism is undefined or invalid.

Cod(Id)

Codomain of basic morphism is missing or invalid.

ObType(Id)

Basic object has invalid object type.

MorType(Id)

Basic morphism has invalid morphism type.

DomType(Id)

Domain of basic morphism has type incompatible with morphism type.

CodType(Id)

Codomain of basic morphism has type incompatible with morphism type.

EqLhs(Id)

Equation has left hand side that is not a well defined path.

EqRhs(Id)

Equation has right hand side that is not a well defined path.

EqSrc(Id)

Equation has different sources on left and right hand sides.

EqTgt(Id)

Equation has different sources on left and right hand sides.

Trait Implementations

impl<Id: Clone> Clone for InvalidDblModel<Id>

fn clone(&self) -> InvalidDblModel<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for InvalidDblModel<Id>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, Id> Deserialize<'de> for InvalidDblModel<Id>

where Id: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Id> From<InvalidDblModel<Id>> for JsValue

where InvalidDblModel<Id>: Serialize,

fn from(value: InvalidDblModel<Id>) -> Self

Converts to this type from the input type.

impl<Id> FromWasmAbi for InvalidDblModel<Id>

where Self: DeserializeOwned,

type Abi = <JsType as FromWasmAbi>::Abi

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: Self::Abi) -> Self

Recover a Self from Self::Abi.

impl<Id> IntoWasmAbi for InvalidDblModel<Id>

where InvalidDblModel<Id>: Serialize,

type Abi = <JsType as IntoWasmAbi>::Abi

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> Self::Abi

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl<Id> OptionFromWasmAbi for InvalidDblModel<Id>

where Self: DeserializeOwned,

fn is_none(js: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl<Id> OptionIntoWasmAbi for InvalidDblModel<Id>

where InvalidDblModel<Id>: Serialize,

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl<Id: PartialEq> PartialEq for InvalidDblModel<Id>

fn eq(&self, other: &InvalidDblModel<Id>) -> 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<Id> RefFromWasmAbi for InvalidDblModel<Id>

where Self: DeserializeOwned,

type Abi = <JsType as RefFromWasmAbi>::Abi

The Wasm ABI type references to Self are recovered from.

type Anchor = SelfOwner<InvalidDblModel<Id>>

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.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl<Id> Serialize for InvalidDblModel<Id>

where Id: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Id> Tsify for InvalidDblModel<Id>

const DECL: &'static str = "/**\n * A failure of a model of a double theory to be well defined.\\n\\nWe currently are encompassing error variants for all kinds of double theories in\\na single enum. That will likely become unviable but it\\\'s convenient for now.\\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<Id> = { tag: \"Dom\"; content: Id } | { tag: \"Cod\"; content: Id } | { tag: \"ObType\"; content: Id } | { tag: \"MorType\"; content: Id } | { tag: \"DomType\"; content: Id } | { tag: \"CodType\"; content: Id } | { tag: \"EqLhs\"; content: Id } | { tag: \"EqRhs\"; content: Id } | { tag: \"EqSrc\"; content: Id } | { tag: \"EqTgt\"; content: Id };"

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>

where T: Into<JsValue>, Self: DeserializeOwned,

impl<Id> VectorFromWasmAbi for InvalidDblModel<Id>

where Self: DeserializeOwned,

type Abi = <JsType as VectorFromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[Self]>

impl<Id> VectorIntoWasmAbi for InvalidDblModel<Id>

where InvalidDblModel<Id>: Serialize,

type Abi = <JsType as VectorIntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[Self]>) -> Self::Abi

impl<Id> WasmDescribe for InvalidDblModel<Id>

fn describe()

impl<Id> WasmDescribeVector for InvalidDblModel<Id>

fn describe_vector()

impl<Id: Eq> Eq for InvalidDblModel<Id>

impl<Id> StructuralPartialEq for InvalidDblModel<Id>