Enum InvalidDblModelMorphism

pub enum InvalidDblModelMorphism<Ob, Mor> {
    Ob(Ob),
    Mor(Mor),
    MissingOb(Ob),
    MissingMor(Mor),
    ObType(Ob),
    MorType(Mor),
    Dom(Mor),
    Cod(Mor),
}

An invalid assignment in a double model morphism defined explicitly by data.

Note that, by specifying a model morphism via its action on generators, we obtain for free that identities are sent to identities and composites of generators are sent to their composites in the codomain.

Variants

Ob(Ob)

Invalid data

Mor(Mor)

Invalid data

MissingOb(Ob)

Missing data

MissingMor(Mor)

Missing data

ObType(Ob)

Type error

MorType(Mor)

Type error

Dom(Mor)

Not functorial

Cod(Mor)

Not functorial

Trait Implementations

impl<Ob: Clone, Mor: Clone> Clone for InvalidDblModelMorphism<Ob, Mor>

fn clone(&self) -> InvalidDblModelMorphism<Ob, Mor>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Ob: Debug, Mor: Debug> Debug for InvalidDblModelMorphism<Ob, Mor>

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

Formats the value using the given formatter.

impl<'de, Ob, Mor> Deserialize<'de> for InvalidDblModelMorphism<Ob, Mor>

where Ob: Deserialize<'de>, Mor: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Ob, Mor> Display for InvalidDblModelMorphism<Ob, Mor>

where Ob: Display, Mor: Display,

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

Formats the value using the given formatter.

impl<Ob, Mor> Error for InvalidDblModelMorphism<Ob, Mor>

where Self: Debug + Display,

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl<Ob, Mor> From<InvalidDblModelMorphism<Ob, Mor>> for JsValue

where InvalidDblModelMorphism<Ob, Mor>: Serialize,

fn from(value: InvalidDblModelMorphism<Ob, Mor>) -> Self

Converts to this type from the input type.

impl<Ob, Mor> FromWasmAbi for InvalidDblModelMorphism<Ob, Mor>

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<Ob, Mor> IntoWasmAbi for InvalidDblModelMorphism<Ob, Mor>

where InvalidDblModelMorphism<Ob, Mor>: 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<Ob, Mor> OptionFromWasmAbi for InvalidDblModelMorphism<Ob, Mor>

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<Ob, Mor> OptionIntoWasmAbi for InvalidDblModelMorphism<Ob, Mor>

where InvalidDblModelMorphism<Ob, Mor>: Serialize,

fn none() -> Self::Abi

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

impl<Ob: PartialEq, Mor: PartialEq> PartialEq for InvalidDblModelMorphism<Ob, Mor>

fn eq(&self, other: &InvalidDblModelMorphism<Ob, Mor>) -> 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<Ob, Mor> RefFromWasmAbi for InvalidDblModelMorphism<Ob, Mor>

where Self: DeserializeOwned,

type Abi = <JsType as RefFromWasmAbi>::Abi

The Wasm ABI type references to Self are recovered from.

type Anchor = SelfOwner<InvalidDblModelMorphism<Ob, Mor>>

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<Ob, Mor> Serialize for InvalidDblModelMorphism<Ob, Mor>

where Ob: Serialize, Mor: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Ob, Mor> Tsify for InvalidDblModelMorphism<Ob, Mor>

const DECL: &'static str = "/**\n * An invalid assignment in a double model morphism defined explicitly by data.\\n *\\n * Note that, by specifying a model morphism via its action on generators, we\\n * obtain for free that identities are sent to identities and composites of\\n * generators are sent to their composites in the codomain.\\n\n */\nexport type InvalidDblModelMorphism<Ob, Mor> = { tag: \"Ob\"; content: Ob } | { tag: \"Mor\"; content: Mor } | { tag: \"MissingOb\"; content: Ob } | { tag: \"MissingMor\"; content: Mor } | { tag: \"ObType\"; content: Ob } | { tag: \"MorType\"; content: Mor } | { tag: \"Dom\"; content: Mor } | { tag: \"Cod\"; content: Mor };"

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<Ob, Mor> VectorFromWasmAbi for InvalidDblModelMorphism<Ob, Mor>

where Self: DeserializeOwned,

type Abi = <JsType as VectorFromWasmAbi>::Abi

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

impl<Ob, Mor> VectorIntoWasmAbi for InvalidDblModelMorphism<Ob, Mor>

where InvalidDblModelMorphism<Ob, Mor>: Serialize,

type Abi = <JsType as VectorIntoWasmAbi>::Abi

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

impl<Ob, Mor> WasmDescribe for InvalidDblModelMorphism<Ob, Mor>

fn describe()

impl<Ob, Mor> WasmDescribeVector for InvalidDblModelMorphism<Ob, Mor>

fn describe_vector()

impl<Ob, Mor> StructuralPartialEq for InvalidDblModelMorphism<Ob, Mor>