Enum InvalidDblModel 

pub enum InvalidDblModel {
    Dom(QualifiedName),
    Cod(QualifiedName),
    ObType(QualifiedName),
    MorType(QualifiedName),
    DomType(QualifiedName),
    CodType(QualifiedName),
    Eqn(Option<usize>, NonEmpty<InvalidModelEqn>),
    UnsupportedFeature(Feature),
    InvalidLink(QualifiedName),
}

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.

Eqn(Option<usize>, NonEmpty<InvalidModelEqn>)

Equation between morphisms has one or more errors.

FIXME: should not really be an Option, fix after issue 1017 is resolved..

UnsupportedFeature(Feature)

Tried to us a feature not yet supported by the elaborator.

InvalidLink(QualifiedName)

No link provided for instantiation cell, or wrong type of link.

Trait Implementations

impl Clone for InvalidDblModel

fn clone(&self) -> InvalidDblModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvalidDblModel

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

Formats the value using the given formatter.

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

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<InvalidDblModel> for JsValue

where InvalidDblModel: Serialize,

fn from(value: InvalidDblModel) -> Self

Converts to this type from the input type.

impl FromWasmAbi for InvalidDblModel

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 IntoWasmAbi for &InvalidDblModel

where InvalidDblModel: 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 IntoWasmAbi for InvalidDblModel

where InvalidDblModel: 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 OptionFromWasmAbi for InvalidDblModel

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 OptionIntoWasmAbi for InvalidDblModel

where InvalidDblModel: Serialize,

fn none() -> Self::Abi

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

impl PartialEq for InvalidDblModel

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

where Self: DeserializeOwned,

type Abi = <JsType as RefFromWasmAbi>::Abi

The Wasm ABI type references to Self are recovered from.

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.

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

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

impl Serialize for InvalidDblModel

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Tsify for InvalidDblModel

const DECL: &'static str = "/**\n * A failure of a model of a double theory to be well defined.\n *\n * TODO: We are missing the case that an equation has different composite morphism\n * types on left and right hand sides.\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: \"Eqn\"; content: [number | undefined, NonEmpty<InvalidModelEqn>] } | { tag: \"UnsupportedFeature\"; content: Feature } | { tag: \"InvalidLink\"; content: QualifiedName };"

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 VectorFromWasmAbi for InvalidDblModel

where Self: DeserializeOwned,

type Abi = <JsType as VectorFromWasmAbi>::Abi

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

impl VectorIntoWasmAbi for InvalidDblModel

where InvalidDblModel: Serialize,

type Abi = <JsType as VectorIntoWasmAbi>::Abi

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

impl WasmDescribe for InvalidDblModel

fn describe()

impl WasmDescribeVector for InvalidDblModel

fn describe_vector()

impl Eq for InvalidDblModel

impl StructuralPartialEq for InvalidDblModel