Enum InvalidVDblGraph

pub enum InvalidVDblGraph<E, ProE, Sq> {
    Dom(E),
    Cod(E),
    Src(ProE),
    Tgt(ProE),
    SquareDom(Sq),
    SquareCod(Sq),
    SquareSrc(Sq),
    SquareTgt(Sq),
    NotSquare(Sq),
}

An invalid assignment in a virtual double graph.

Variants

Dom(E)

Edge with an invalid domain.

Cod(E)

Edge with an invalid codomain.

Src(ProE)

Proedge with an invalid source.

Tgt(ProE)

Proedge with an invalid target.

SquareDom(Sq)

Square with an invalid domain.

SquareCod(Sq)

Square with an invalid codomain.

SquareSrc(Sq)

Square with an invalid source.

SquareTgt(Sq)

Square with an invalid target.

NotSquare(Sq)

Square with incompatible sides.

Trait Implementations

impl<E: Debug, ProE: Debug, Sq: Debug> Debug for InvalidVDblGraph<E, ProE, Sq>

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

Formats the value using the given formatter.

impl<E, ProE, Sq> Display for InvalidVDblGraph<E, ProE, Sq>

where E: Display, ProE: Display, Sq: Display,

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

Formats the value using the given formatter.

impl<E, ProE, Sq> Error for InvalidVDblGraph<E, ProE, Sq>

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 From<InvalidVDblGraph<QualifiedName, QualifiedName, QualifiedName>> for InvalidDblTheory

fn from( err: InvalidVDblGraph<QualifiedName, QualifiedName, QualifiedName>, ) -> Self

Converts to this type from the input type.